Let $f:V^n\looparrowright M^m$ be a smooth generic immersion. Then the set of points, that have at least $k$ preimages is an image of a (non-generic) immersion. If the manifolds $V^n$ and $M^m$ are oriented and $m-n$ is even, then the manifold of $k$-fold points is also oriented. In this paper we compute the oriented bordism class of the manifold of $k$-fold points in terms of the differential $df$, provided the tangent bundle of the manifold $M^m$ has a nowhere zero cross-section.
The Bryant-Ferry-Mio-Weinberger surgery exact sequence for high-dimensional compact ANR homology manifolds is used to obtain transversality, splitting and bordism results for homology manifolds, generalizing previous work of Johnston.
The group of bordism classes of unoriented surfaces in 4-space is determined. The bordism classes are characterized by normal Euler numbers,double linking numbers, and triple linking numbers.
We construct a new family of toric manifolds generating the unitary bordism ring. Each manifold in the family is the complex projectivisation of the sum of a line bundle and a trivial bundle over a complex projective space. We also construct a family of special unitary quasitoric manifolds which contains polynomial generators of the special unitary bordism ring with 2 inverted in dimensions >8. Each manifold in the latter family is obtained from an iterated complex projectivisation of a sum of line bundles by amending the complex structure to make the first Chern class vanish.
We study bordism groups and bordism homology theories based on pseudomanifolds and stratified pseudomanifolds. The main seam of the paper demonstrates that when we uses classes of spaces determined by local link properties, the stratified and unstratified bordism theories are identical; this includes the known examples of pseudomanifold bordism theories, such as bordism of Witt spaces and IP spaces. Along the way, we relate the stratified and unstratified points of view for describing various (stratified) pseudomanifold classes.
It is one of the most important facts in 4-dimensional topology that not every spherical homology class of a 4-manifold can be represented by an embedded sphere. In 1978, M. Freedman and R. Kirby showed that in the simply connected case, many of the obstructions to constructing such a sphere vanish if one modifies the ambient 4-manifold by adding products of 2-spheres, a process which is usually called stabilisation. In this paper, we extend this result to non-simply connected 4-manifolds and show how it is related to the Spin^c-bordism groups of Eilenberg-MacLane spaces.
Using intersection theory in the context of Hilbert manifolds and geometric homology we show how to recover the main operations of string topology built by M. Chas and D. Sullivan. We also study and build an action of the homology of reduced Sullivan's chord diagrams on the singular homology of free loop spaces, extending previous results of R. Cohen and V. Godin and unifying part of the rich algebraic structure of string topology as an algebra over the prop of these reduced diagrams. Some of these operations are extended to spaces of maps from a sphere to a compact manifold.
We give bordism-finiteness results for manifolds with semi-simple group action. Consider the class of oriented manifolds which admit a circle action with isolated fixed points such that the action extends to an $S^3$-action with fixed point. We exhibit various subclasses, characterized by an upper bound for the Euler characteristic and properties of the first Pontrjagin class, which contain only finitely many oriented bordism types in any given dimension. Also we show finiteness results for homotopy complex projective spaces and complete intersections with $S^3$-action as above.
In this paper, we define a relative $L^2$-$ρ$-invariant for Dirac operators on odd-dimensional spin manifolds with boundary and show that they are invariants of the bordism classes of positive scalar curvature metrics which are collared near the boundary. As an application, we show that if a $4k+3$-dimensional spin manifold with boundary admits such a metric and if, roughly speaking, there exists a torsion element in the difference of the fundamental groups of the manifold and its boundary, then there are infinitely many bordism classes of such psc metrics on the given manifold. This result in…
Let $(Y,g)$ be a compact Riemannian manifold of positive scalar curvature (psc). It is well-known, due to Schoen-Yau, that any closed stable minimal hypersurface of $Y$ also admits a psc-metric. We establish an analogous result for stable minimal hypersurfaces with free boundary. Furthermore, we combine this result with tools from geometric measure theory and conformal geometry to study psc-bordism. For instance, assume $(Y_0,g_0)$ and $(Y_1,g_1)$ are closed psc-manifolds equipped with stable minimal hypersurfaces $X_0 \subset Y_0$ and $X_1\subset Y_1$. Under natural topological conditions, we…
We show that the Hopf elements, the Kervaire classes, and the $\barκ$-family in the stable homotopy groups of spheres are detected by the Hurewicz map from the sphere spectrum to the $C_2$-fixed points of the Real Brown-Peterson spectrum. A subset of these families is detected by the $C_2$-fixed points of Real Johnson-Wilson theory $E\mathbb{R}(n)$, depending on $n$.
We compute the equivariant bordism of free oriented $(\mathbb{Z}/p)^n$-manifolds as a module over $Ω_*^{SO}$, when $p$ is an odd prime. We show, among others, that this module is canonically isomorphic to a direct sum of suspensions of multiple tensor products of $Ω^{SO}_*(B \mathbb{Z}/p)$, and that it is generated by products of standard lens spaces. This considerably improves previous calculations by various authors. Our approach relies on the investigation of the submodule of the Brown-Peterson homology of $B (\mathbb{Z}/p)^n$ generated by elements coming from proper subgroups of $(\mathbb{…
Let $M$ be an oriented manifold and let $\frak N$ be a set consisting of oriented closed manifolds of the same odd dimension. We consider the topological space $G_{\frak N, M}$ of commutative diagrams. Each commutative diagram consists of a few manifolds from $\frak N$ that are mapped to $M$ and a few one point spaces $pt$ that are each mapped to a pair of manifolds from $\frak N$. We consider the oriented bordism group $Ω_*(G_{\frak N, M})=\oplus_{i=0}^{\infty} Ω_i(G_{\frak N, M}).$ We introduce the operations $\star$ and $[\cdot, \cdot]$ on $Ω_*(G_{\frak N,M})\otimes \mathbb Q,$ that make $Ω…
We prove that total spaces of $CP^2$-bundles generate the oriented cobordism ring $Ω_*$. Combined with the surgery lemma this yields a somewhat different proof of Gromov's and Lawson's theorem that all simply connected non-spin manifolds of dimension $\geq$ 5 carry a metric of positive scalar curvature.
We introduce an equivariant Pontrjagin-Thom construction which identifies equivariant cohomotopy classes with certain fixed point bordism classes. This provides a concrete geometric model for equivariant cohomotopy which works for any compact Lie group G. In the special case when G is finite or a torus, we show that our construction recovers the construction of Wasserman, providing a new perspective on equivariant bordism. We connect the results with bordisms of global quotient orbifolds, utilizing the machinery of Gepner-Henriques to describe bordisms of framed orbifolds in terms of equivaria…
Quantitative bordism over acyclic groups and Cheeger-Gromov $ρ$-invariants
POSTECH（浦项工科大学）；Institut de Mathématiques de Jussieu-Paris Rive Gauche, CNRS, Sorbonne Université, Université Paris Cité（巴黎左岸数学研究所，法国国家科学研究中心，索邦大学，巴黎西岱大学）
We construct geometric generators of the effective $S^1$-equivariant Spin- (and oriented) bordism groups with two inverted. We apply this construction to the question of which $S^1$-manifolds admit invariant metrics of positive scalar curvature. It turns out that, up to taking connected sums with several copies of the same manifold, the only obstruction to the existence of such a metric is an $\hat{A}$-genus of orbit spaces. This $\hat{A}$-genus generalizes a previous definition of Lott for orbit spaces of semi-free $S^1$-actions. As a further application of our results, we give a new proof of…
When can a map between manifolds be deformed away from itself? We describe a (normal bordism) obstruction which is often computable and in general much stronger than the classical primary obstruction in cohomology. In particular, it answers our question completely in a large dimension range. As an illustration we give explicit criteria in three sample settings: projections from Stiefel manifolds to Grassmannians, sphere bundle projections and maps defined on spheres. In the first example a theorem of Becker and Schultz concerning the framed bordism class of a compact Lie group plays a central …
Coincidences of maps between smooth manifolds are studied via a geometric approach which involves (nonstabilized) normal bordism theory and pathspaces.
Given smooth manifolds $V^n$ and $M^m$, an integer $k$, and an immersion $f:V\looparrowright M$, we have constructed an obstruction for existence of regular homotopy of $f$ to an immersion $f':V\looparrowright M$ without $k$-fold points. This obstruction takes values in certain framed bordism group, and for $(k+1)(n+1)\leq km$ turns out to be complete.
We give a bordism-theoretic characterisation of those closed almost contact (2q+1)-manifolds (with q > 2) which admit a Stein fillable contact structure. Our method is to apply Eliashberg's h-principle for Stein manifolds in the setting of Kreck's modified surgery. As an application, we show that any simply connected almost contact 7-manifold with torsion free second homotopy group is Stein fillable. We also discuss the Stein fillability of exotic spheres and examine subcritical Stein fillability.
Sz\H ucs proved in 2000 that the $r$-tuple-point manifold of a generic immersion is cobordant to the $Σ^{1_{r-1}}$-point manifold of its generic projection. Here we slightly extend this by showing that the natural mappings of these manifolds are bordant to each other. The main novelty of our approach is that we construct the bordism explicitly.
The ambient framed bordism class of the connecting manifold of two consecutive critical points of a Morse-Smale function is estimated by means of a certain Hopf invariant. Applications include new examples of non-smoothable Poincare duality spaces as well as an extension of the Morse complex.
We obtain complete geometric invariants of cobordism classes of oriented simple fold maps of (n+1)-dimensional manifolds into an n-dimensional manifold N in terms of immersions with prescribed normal bundles. We compute that this cobordism group of simple fold maps is isomorphic to the direct sum of the (n-1)th stable homotopy group of spheres and the (n-1)th stable homotopy group of the infinite dimensional projective space. By using geometric invariants defined in the author's earlier works, we also describe the natural map of the simple fold cobordism group to the fold cobordism group by na…
A generic smooth map of a closed $2k$-manifold into $(3k-1)$-space has a finite number of cusps ($Σ^{1,1}$-singularities). We determine the possible numbers of cusps of such maps. A fold map is a map with singular set consisting of only fold singularities ($Σ^{1,0}$-singularities). Two fold maps are fold bordant if there are cobordisms between their source- and target manifolds with a fold map extending the two maps between the boundaries, if the two targets agree and the target cobordism can be taken as a product with a unit interval then the maps are fold cobordant. We compute the cobordism …
The aim of this paper (inspired from a problem of Habegger) is to describe the set of cubical decompositions of compact manifolds mod out by a set of combinatorial moves analogous to the bistellar moves considered by Pachner, which we call bubble moves. One constructs a surjection from this set onto the the bordism group of codimension one immersions in the manifold. The connected sums of manifolds and immersions induce multiplicative structures which are respected by this surjection. We prove that those cubulations which map combinatorially into the standard decomposition of ${\bf R}^n$ for l…
M. Kontsevich constructed universal characteristic classes of smooth bundles with fiber a framed odd-dimensional integral homology sphere. In dimension 3, they are known to give a universal finite type invariants of homology 3-spheres. However, they have not been well understood for higher fiber dimensions. The purpose of the present paper is twofold. First, we obtain a bordism invariant of smooth unframed bundles with fiber a 5-dimensional homology sphere, which is defined as a sum of the simplest Kontsevich class and the second signature defect. It may be in some sense a higher dimensional a…
