Smooth actions of finite Oliver groups on spheres

In this article, we deal with the following two questions. For smooth actions of a given finite group G on spheres S, which smooth manifolds F occur as the fixed point sets in S, and which real G-vector bundles ν over F occur as the equivariant normal bundles of F in S? We focus on the case G is an Oliver group and answer both questions under some conditions imposed on G, F, and ν. We construct smooth actions of G on spheres by making use of equivariant surgery, equivariant thickening, and Oliver's equivariant bundle extension method modified by an equivariant wegde sum construction and an equivariant bundle subtraction procedure.     

A stable approach to the equivariant Hopf theorem

Let G be a finite group. For semi-free G-manifolds which are oriented in the sense of Waner [S. Waner, Equivariant RO(G)-graded bordism theories, Topology and its Applications 17 (1984) 1-26], the homotopy classes of G-equivariant maps into a G-sphere are described in terms of their degrees, and the degrees occurring are characterised in terms of congruences. This is first shown to be a stable problem, and then solved using methods of equivariant stable homotopy theory with respect to a semi-free G-universe.     

Equivariant fixed-point indices of iterated maps

We describe an equivariant version (for actions of a finite group G) of Dold’s index theory, [10], for iterated maps. Equivariant Dold indices are defined, in general, for a G-map U → X defined on an open G-subset of a G-ANR X (and satisfying a suitable compactness condition). A local index for isolated fixed-points is introduced, and the theorem of Shub and Sullivan on the vanishing of all but finitely many Dold indices for a continuously differentiable map is extended to the equivariant case. Homotopy Dold indices, arising from the equivariant Reidemeister trace, are also considered.      

The fibrewise Leray–Schauder index

The index constructed by Leray and Schauder in 1934 admits generalizations in two directions to infinite-dimensional fixed-point and vector field indices. We present the constructions of fibrewise equivariant indices of both types and illustrate the definitions by applications to the stable homo-topy Fuller index and Seiberg–Witten invariant. Dedicated to the memory of Jean Leray     

Positive open book decompositions of Stein fillable 3-manifolds along prescribed links

It is known by Loi and Piergallini that a closed, oriented, smooth 3-manifold is Stein fillable if and only if it has a positive open book decomposition. In the present paper we will show that for every link L in a Stein fillable 3-manifold there exists an additional knot L^′ to L such that the link L∪L^′ is the binding of a positive open book decomposition of the Stein fillable 3-manifold. To prove the assertion, we will use the divide, which is a generalization of real morsification theory of complex plane curve singularities, and 2-handle attachings along Legendrian curves.     

The degree of maps of free G-manifolds and the average

Suppose that G is a compact Lie group, M and N are orientable, free G-manifolds and f : M → N is an equivariant map. We show that the degree of f satisfies a formula involving data given by the classifying maps of the orbit spaces M/G and N/G. In particular, if the generator of the top dimensional cohomology of M/G with integer coefficients is in the image of the cohomology map induced by the classifying map for M, then the degree is one. The condition that the map be equivariant can be relaxed: it is enough to require that it be “nearly equivariant”, up to a positive constant. We will also discuss the G-average construction and show that the requirement that the map be equivariant can be replaced by a somewhat weaker condition involving the average of the map. These results are applied to maps into real, complex and quaternionic Stiefel manifolds. In particular, we show that a nearly equivariant map of a complex or quaternionic Stiefel manifold into itself has degree one. Dedicated to the memory of Jean Leray     

On complex structures in 8-dimensional vector bundles

Necessary and sufficient conditions for the existence of a complex structure in an 8-dimensional spin vector bundle over a closed connected spin manifold of dimension 8 are given in terms of characteristic classes. The result completes the papers by Heaps [H] and Thomas [T] on the same topic. Research supported by the grant 201/96/0310 of the Grant Agency of the Czech Republic.     

The degree of maps of free G-manifolds

Suppose that M and N are orientable, closed, connected manifolds with free actions of compact Lie groups G and H of the same dimension, and suppose that u : G → H is a homomorphism. We study the degree of maps f : M → N that are “equivariant up to u”. For abelian actions and for a power map such maps satisfy the condition f(λx) = λ ^r x. To Albrecht Dold and Edward Fadell     

Generalized Dirichlet to Neumann operator on invariant differential forms and equivariant cohomology

In recent work, Belishev and Sharafutdinov show that the generalized Dirichlet to Neumann (DN) operator Λ on a compact Riemannian manifold M with boundary ∂M determines de Rham cohomology groups of M. In this paper, we suppose G is a torus acting by isometries on M. Given X in the Lie algebra of G and the corresponding vector field XM on M, Witten defines an inhomogeneous coboundary operator dXM=d+ιXM on invariant forms on M. The main purpose is to adapt Belishev-Sharafutdinov?s boundary data to invariant forms in terms of the operator dXM in order to investigate to what extent the equivariant topology of a manifold is determined by the corresponding variant of the DN map. We define an operator ΛXM on invariant forms on the boundary which we call the XM-DN map and using this we recover the XM-cohomology groups from the generalized boundary data (∂M,ΛXM). This shows that for a Zariski-open subset of the Lie algebra, ΛXM determines the free part of the relative and absolute equivariant cohomology groups of M. In addition, we partially determine the ring structure of XM-cohomology groups from ΛXM. These results explain to what extent the equivariant topology of the manifold in question is determined by ΛXM.     

Embeddings of homology equivalent manifolds with boundary

We prove a theorem on equivariant maps implying the following two corollaries:(1) Let N and M be compact orientable n-manifolds with boundaries such that M⊂N, the inclusion M→N induces an isomorphism in integral cohomology, both M and N have (n−d−1)-dimensional spines and . Then the restriction-induced map Embm(N)→Embm(M) is bijective. Here Embm(X) is the set of embeddings X→Rm up to isotopy (in the PL or smooth category).(2) For a 3-manifold N with boundary whose integral homology groups are trivial and such that N?D³ (or for its special 2-spine N) there exists an equivariant map , although N does not embed into R³.The second corollary completes the answer to the following question: for which pairs (m,n) for each n-polyhedron N the existence of an equivariant map implies embeddability of N into Rm? An answer was known for each pair (m,n) except (3,3) and (3,2).     

A fiberwise analogue of the Borsuk-Ulam theorem for sphere bundles over a 2-cell complex

For a vector bundle α, let indα denote the largest integer m for which there exists a Z/2-map from Sm−1 to S(α). We prove that the equality indα=dimα holds for every vector bundle α over the complex Sn−1k_∪en, where n?2 and k≠0, if and only if either k is even and n≠2,3,4,8 or k is odd.     

On smooth Chas-Sullivan loop product in Quillen's geometric complex cobordism of Hilbert manifolds

In [A.J. Baker, C. Ozel, Complex cobordism of Hilbert manifolds with some applications to flag varieties, Contemp. Math. 258 (2000) 1-19], by using Fredholm index we developed a version of Quillen's geometric cobordism theory for infinite dimensional Hilbert manifolds. This cobordism theory has a graded group structure under topological union operation and has push-forward maps for complex orientable Fredholm maps. In [C. Ozel, On Fredholm index, transversal approximations and Quillen's geometric complex cobordism of Hilbert manifolds with some applications to flag varieties of loop groups, in preparation], by using Quinn's Transversality Theorem [F. Quinn, Transversal approximation on Banach manifolds, Proc. Sympos. Pure Math. 15 (1970) 213-222], it has been shown that this cobordism theory has a graded ring structure under transversal intersection operation and has pull-back maps for smooth maps. It has been shown that the Thom isomorphism in this theory was satisfied for finite dimensional vector bundles over separable Hilbert manifolds and the projection formula for Gysin maps has been proved. In [M. Chas, D. Sullivan, String topology, math.GT/9911159, 1999], Chas and Sullivan described an intersection product on the homology of loop space LM. In [R.L. Cohen, J.D.S. Jones, A homotopy theoretic realization of string topology, math.GT/0107187, 2001], R. Cohen and J. Jones described a realization of the Chas-Sullivan loop product in terms of a ring spectrum structure on the Thom spectrum of a certain virtual bundle over the loop space. In this paper, we will extend this product on cobordism and bordism theories.     

On sectioning multiples of vector bundles and more general homomorphism bundles

We derive in a simple way some higher estimates of the number of every-where linearly independent cross-sections for even multiples of real vector bundles, and, more generally, for a certain class of homomorphism bundles, supposing that there exists at least one nowhere vanishing cross-section.     

Characteristic classes and transversality

Let ξ be a smooth vector bundle over a differentiable manifold M. Let be a generic bundle morphism from the trivial bundle of rank n−i+1 to ξ. We give a geometric construction of the Stiefel-Whitney classes when ξ is a real vector bundle, and of the Chern classes when ξ is a complex vector bundle. Using h we define a differentiable closed manifold and a map whose image is the singular set of h. The ith characteristic class of ξ is the Poincaré dual of the image, under the homomorphism induced in homology by ?, of the fundamental class of the manifold . We extend this definition for vector bundles over a paracompact space, using that the universal bundle is filtered by smooth vector bundles.     

Equivariant simplicial cohomology with local coefficients and its classification

We introduce equivariant twisted cohomology of a simplicial set equipped with simplicial action of a discrete group and prove that for suitable twisting function induced from a given equivariant local coefficients, the simplicial version of Bredon-Illman cohomology with local coefficients is isomorphic to equivariant twisted cohomology. The main aim of this paper is to prove a classification theorem for equivariant simplicial cohomology with local coefficients.     

Some metric properties on the GCF fraction expansion

In Schweiger (2003) [1], Fritz Schweiger introduced the algorithm of the generalized continued fraction (GCF), and in Zhong (2008) [2], T. Zhong studied some basic metric properties of the GCF. In this paper, under the restriction of −1<ε(k)?1, the “0-1” law and the central limit theorem of quotients in the GCF expansions are studied.     

Equivariant eilenberg maclane spaces K (G, μ, 1) for possibly non-connected or empty fixed point sets

Equivariant Eilenberg-MacLane spaces are constructed in [1, p. II.13], [3, p. 277], [8, p. 45], however, only for nonempty connected H-fixed point sets for all HG and in the pointed category. This is a reasonable assumption in equivariant homotopy theory (equivariant Posnikov-systems, homology, obstruction theory) but too restrictive for the study of equivariant manifolds. Therefore we develope a treatment of equivariant Eilenberg-MacLane spaces of type one in full generality. They are used, for example, in equivariant L-theory as reference spaces (see [5]) or in [4].     

On complex structures¶in 8-dimensional vector bundles

Necessary and sufficient conditions for the existence of a complex structure in an 8-dimensional spin vector bundle over a closed connected spin manifold of dimension 8 are given in terms of characteristic classes. The result completes the papers by Heaps [H] and Thomas [T] on the same topic. Received: 2 May 1997     

The Lyusternik–Shnirel'man category,¶vector bundles, and immersions of manifolds

One of our two main results exhibits for a vector bundle over a compact Hausdorff space X an interplay between its span, its possible splittings, and the Lyusternik–Shnirel'man category of X. The other main result, also on vector bundles and the Lyusternik–Shnirel'man category, enables us to derive certain inequalities connecting the immersion codimension, the stable span, and the Lyusternik–Shnirel'man category of a smooth closed manifold which is not stably parallelizable. Our results are applicable in various situations of general interest. Received: 4 September 1997     

A fiberwise analogue of the Borsuk-Ulam theorem for sphere bundles over a 2-cell complex II

We describe a finite complex B as I-trivial if there does not exist a Z₂-map from Si−1 to S(α) for any vector bundle α over B and any integer i with i>dimα. We prove that the m-fold suspension of projective plane FP² is I-trivial if and only if m≠0,2,4 for F=C, m≠0,4 for F=H. In the case where F is the Cayley algebra, the m-fold suspension is shown to be I-trivial for every m>0.