The cobordism class of the multiple points of immersions
Gábor Braun
备注：
17 pages; LaTeX2e document, use of eLaTeX recommended, non-standard packages: xy, pxfonts, pbox. Accepted by Algebraic Geometry and Topology. Corrections and clarifications mainly due to the referee of the journal
Let f: M -> N be an even codimensional immersion between smooth manifolds. We derive an explicit formula for the Pontrjagin numbers and signature of the multiple point manifolds in terms of singular cohomology of M and N, the maps induced between these by f and the characteristic classes of the normal bundle.
The main trick is to solve a recursion in cohomology by the use of (generalized) formal power series.
In this paper, we introduce geometric technique of working with skew-framed manifolds. It allows us to study stable homotopy groups of some Thom spaces by geometric means. We schematically describe how our results (which are also of independent interest) can be applied to obtain a proof of the Baum-Browder theorem stating non-immersibility of $\RP^{10}$ to $\R^{15}$.
We give complete geometric invariants of cobordisms of fold maps with oriented singular set and cobordisms of even codimensional fold maps. These invariants are given in terms of cobordisms of stably framed manifolds and cobordisms of immersions with prescribed normal bundles defined by the author in his earlier works.
It is known that neither immersions nor maps with a fixed finite set of multisingularities are enough to realize all mod 2 homology classes in manifolds. In this paper we define the notion of realizing a homology class up to cobordism; it is shown that for realization in this weaker sense immersions are sufficient, but maps with a fixed finite set of multisingularities are still insufficient.
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…
For each integer q>0 there is a cohomology theory such that the zero cohomology group of a manifold N of dimension n is a certain group of cobordism classes of proper fold maps of manifolds of dimension n+q into N. We prove a splitting theorem for the spectrum representing the cohomology theory of fold maps. For even q, the splitting theorem implies that the cobordism group of fold maps to a manifold N is a sum of q/2 cobordism groups of framed immersions to N and a group related to diffeomorphism groups of manifolds of dimension q+1. Similarly, in the case of odd q, the cobordism group of fol…
This is a survey paper of author's results on cobordism groups and semigroups of fold maps and simple fold maps. The results include: establishing a relation between fold maps and immersions through geometrical invariants of cobordism classes of fold maps and simple fold maps in terms of immersions with prescribed normal bundles, detecting stable homotopy groups of spheres as direct summands of the cobordism semigroups of fold maps, Pontryagin-Thom type construction for -1 codimensional fold maps and estimations about the cobordism classes of manifolds which have fold maps into stably parallel…
We show the $\TT^2$-cobordism group of the category of 4-dimensional quasitoric manifolds is generated by the $\TT^2$-cobordism classes of $\CP^2$. We construct nice oriented $\TT^2$ manifolds with boundary where the boundary is the Hirzebruch surfaces. The main tool is the theory of quasitoric manifolds.
We show an equivalence of infinite loop spaces between the classify- ing space of the cobordism category, with infinite loop space structure induced by taking disjoint union of manifolds, and the infinite loop space associated to the Madsen-Tillmann spectrum.
(Co)bordisms of manifolds and maps are fundamental and important objects in algebraic and differential topology of manifolds and related studies were started by Thom etc.. Cobordisms of Morse functions were introduced and have been studied as a branch of the algebraic and differential topological theory of Morse functions and their higher dimensional versions, or the global singularity theory, by Kalmár, Ikegami, Sadykov, Saeki, Wrazidlo, Yamamoto etc. since 2000s. Cobordism relations are in most cases defined as the following for example; two closed manifolds of a fixed dimension or maps on t…
In \cite{baker-ozel}, 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 this work, by using Quinn's Transversality Theorem \cite{Quinn}, it will be shown that this cobordism theory has a graded ring structure under transversal intersection operation and has pull-back maps for smooth maps. It will be shown that the Thom isomorphism in this theory will be satisfied f…
We refer to an action of the group Z/p (p here is an odd prime) on a stably complex manifold as simple if all its fixed submanifolds have the trivial normal bundle. The important particular case of a simple action is an action with only isolated fixed points. The problem of cobordism classification of manifolds with simple action of Z/p was posed by V.M.Buchstaber and S.P.Novikov in 1971. The analogous question of cobordism classification with stricter conditions on Z/p-action was answered by Conner and Floyd. Namely, Conner and Floyd solved the problem in the case of simple actions with ident…
Toric orbifolds are a generalization of simplicial projective toric varieties. In this paper, we show that there is a resolution of singularities of a toric orbifold. In a different category, the class of quasi-contact toric manifolds contains the class of good contact toric manifolds. We prove that a quasi-contact toric manifold is equivariantly a boundary. Moreover, we conclude that good contact toric manifolds and generalized lens spaces are equivariantly boundaries.
This note proves that, for $F = \Bbb{R,C}$ or $\Bbb{H}$, the bordism classes of all non-bounding Grassmannian manifolds $G_k(F^{n+k})$, with $k < n$ and having real dimension $d$, constitute a linearly independent set in the unoriented bordism group ${\frak{N}}_d$ regarded as a ${\Bbb{Z}}_2$-vector space.
A smooth closed 3-manifold $M$ fibered by tori $T^2$ is characterized by an element $ϕ\in GL(2,\mathbb{Z})$. We show that $M$ is the boundary of a 4-manifold fibered by tori over a surface such that the bundle structure on $M$ is the restriction of the bundle structure on the 4-manifold if and only if $ϕ$ is from the commutator subgroup $(GL(2,\mathbb{Z}))'$. The notions of oriented and unoriented cobordisms in the class of closed 3-manifolds fibered by tori are introduced. It turns out that in this case the cobordisms form a group, namely $\mathbb{Z}_{12}$ in the oriented case and $\mathbb{Z}…
A general problem in complex cobordism theory is to find useful representatives for cobordism classes. One particularly convenient class of complex manifolds consists of smooth projective toric varieties. The bijective correspondence between these varieties and smooth polytopes allows us to examine which complex cobordism classes contain a smooth projective toric variety by studying the combinatorics of polytopes. These combinatorial properties determine obstructions to a complex cobordism class containing a smooth projective toric variety. However, the obstructions are only necessary conditio…
This paper deals with the question of J.Morava on existence of canonical complex cobordism class of singular submanifold. We present several solutions of this question for $X_r(ξ)$ -- the set of points where $\dimξ-r+1$ generic sections of a complex vector bundle $ξ$ are linearly dependent. The corresponding complex cobordism classes $Q_r(ξ)$ and $P_r(ξ)$ tend to have many nice properties, such as deformed sum formula, but they don't coincide with Chern classes $c_r^U(ξ)$. They also have relation to the theory of $IH$-small resolutions.
The aim of this paper is to give an $s$-cobordism classification of topological $4$-manifolds in terms of the standard invariants using the group of homotopy self-equivalences. Hambleton and Kreck constructed a braid to study the group of homotopy self-equivalences of $4$-manifolds. Using this braid together with the modified surgery theory of Kreck, we give an $s$-cobordism classification for certain $4$-manifolds with fundamental group $π$, such that cd $π\leq 2$.
In this note we classify the diffeomorphism classes rel. boundary of smooth h-cobordisms between two fixed 1-connected 4-manifolds in terms of isometries between the intersection forms.
We consider compact homogeneous spaces G/H of positive Euler characteristic endowed with an invariant almost complex structure J and the canonical action θof the maximal torus T ^{k} on G/H. We obtain explicit formula for the cobordism class of such manifold through the weights of the action θat the identity fixed point eH by an action of the quotient group W_G/W_H of the Weyl groups for G and H. In this way we show that the cobordism class for such manifolds can be computed explicitly without information on their cohomology. We also show that formula for cobordism class provides an explicit w…
Recently Galatius, Madsen, Tillmann and Weiss identified the homotopy type of the classifying space of the cobordism category of embedded d-dimensional manifolds [7] for each positive integer d. Their result lead to a new proof of the generalized standard Mumford conjecture. We extend the main theorem of [7] to the case of cobordism categories of embedded d-dimensional manifolds with prescribed singularities, and explain the relation of singular cobordism categories to the bordism version of the Gromov h-principle.
In this paper we define two regular homotopy invariants c and i for immersions of oriented 3-manifolds into R^5 in a geometric manner. The pair (c(f),i(f)) completely describes the regular homotopy class of the immersion f. The invariant i corresponds to the 3-dimensional obstruction that arises from Hirsch-Smale theory and extends the one defined in [10] for immersions with trivial normal bundle.
For a finite group $G$, we define an equivariant cobordism category $\mathcal{C}_d^G$. Objects of the category are $(d-1)$-dimensional closed smooth $G$-manifolds and morphisms are smooth $d$-dimensional equivariant cobordisms. We identify the homotopy type of its classifying space (i.e. geometric realization of its simplicial nerve) as the fixed points of the infinite loop space of an equivariant spectrum.
Let ${\frak M}_n$ be the set of equivariant unoriented cobordism classes of all $n$-dimensional 2-torus manifolds, where an $n$-dimensional 2-torus manifold $M$ is a smooth closed manifold of dimension $n$ with effective smooth action of a rank $n$ 2-torus group $({\Bbb Z}_2)^n$. Then ${\frak M}_n$ forms an abelian group with respect to disjoint union. This paper determines the group structure of ${\frak M}_n$ and shows that each class of ${\frak M}_n$ contains a small cover as its representative in the case $n=3$.
For a fixed closed manifold $P$, we construct a cobordism category of embedded manifolds with a single Baas-Sullivan singularity of type $P$. Our main theorem identifies the homotopy type of the classifying space of this cobordism category with that of the infinite loop-space of a certain spectrum related to the spectrum $\text{MT}(d)$ introduced in [arXiv:math/0605249]. We obtain an analogue of the Bockstein-Sullivan exact couple that arises between the classical bordism theories $MO$ and $MO_{P}$ on the level of cobordism categories.
We define parametrized cobordism categories and study their formal properties as bivariant theories. Bivariant transformations to a strongly excisive bivariant theory give rise to characteristic classes of smooth bundles with strong additivity properties. In the case of cobordisms between manifolds with boundary, we prove that such a bivariant transformation is uniquely determined by its value at the universal disk bundle. This description of bivariant transformations yields a short proof of the Dwyer-Weiss-Williams family index theorem for the parametrized A-theory Euler characteristic of a s…
We give a sufficient and necessary condition of the fundamental group homomorphism of a map between manifolds to induce homology equivalences. Moreover, a classification of one-sided h-cobordism of manifolds up to diffeomorphisms is obtained, based on Quillen's plus construction with Whitehead torsions.
Galatius, Madsen, Tillmann and Weiss have identified the homotopy type of the classifying space of the cobordism category with objects (d-1)-dimensional manifolds embedded in R^\infty. In this paper we apply the techniques of spaces of manifolds, as developed by the author and Galatius, to identify the homotopy type of the cobordism category with objects (d-1)-dimensional submanifolds of a fixed background manifold M. There is a description in terms of a space of sections of a bundle over M associated to its tangent bundle. This can be interpreted as a form of Poincare duality, relating a spac…
Our aim is to bring the theory of analogous polytopes to bear on the study of quasitoric manifolds, in the context of stably complex manifolds with compatible torus action. By way of application, we give an explicit construction of a quasitoric representative for every complex cobordism class as the quotient of a free torus action on a real quadratic complete intersection. We suggest a systematic description for omnioriented quasitoric manifolds in terms of combinatorial data, and explain the relationship with non-singular projective toric varieties (otherwise known as toric manifolds). By exp…
An n-dimensional μ-component boundary link is a codimension 2 embedding of spheres L=\bigsqcup_μS^n \subset S^{n+2} such that there exist μdisjoint oriented embedded (n+1)-manifolds which span the components of L. An F_μ-link is a boundary link together with a cobordism class of such spanning manifolds. The F_μ-link cobordism group C_n(F_μ) is known to be trivial when n is even but not finitely generated when n is odd. Our main result is an algorithm to decide whether two odd-dimensional F_μ-links represent the same cobordism class in C_{2q-1}(F_μ) assuming q>1. We proceed to compute the isomo…
Using the work of Dwyer, Weiss, and Williams we associate an invariant to any topologically trivial family of smooth h-cobordisms. This invariant is called the smooth structure class, and is closely related to the higher Franz--Reidemeister torsion of Igusa and Klein. We compute the smooth structure class in terms of a fiberwise generalized Morse function using fiberwise Poincaré--Hopf theory. This computation gives rise to a duality theorem for the smooth structure class that generalizes Milnor's duality theorem for the Whitehead torsion. From this result we deduce a vanishing theorem that im…
For a given list of closed manifolds $Σ_k=(P_1,...,P_k)$, we construct a cobordism category $\mathbf{Cob}_{d}^{Σ_{k}}$ of embedded manifolds with Baas-Sullivan singularities of type $Σ_k$. Our main results identify the homotopy type of the classifying spaces $B\mathbf{Cob}_{d}^{Σ_{k}}$ of these cobordism categories with that of the infinite loop-space of a certain spectrum, $\mathsf{MT}_{Σ_{k}}(d)$. Our results generalize of the work of Galatius, Madsen, Tillmann, and Weiss from arXiv:math/0605249. It also generalizes the work of Genauer on the cobordism categories of manifolds with corners fr…
We present a formula describing the action of a generalised Steenrod operation of $\Z_2$-type on the cohomology class represented by a proper self-transverse immersion $f\co M\imm X$, in terms of the equivariant double points of $f$ and the characteristic classes of its normal bundle. This generalises a classical result of R.\ Thom: If $α\in H^k(X;\Z_2)$ is the ordinary cohomology class represented by $f\co M\imm X$, then $\mathrm{Sq}^i(α)=f_* w_i(ν_f)$.
We start to study the problem of classifying smooth proper varieties over a field k from the standpoint of A^1-homotopy theory. Motivated by the topological theory of surgery, we discuss the problem of classifying up to isomorphism all smooth proper varieties having a specified A^1-homotopy type. Arithmetic considerations involving the sheaf of A^1-connected components lead us to introduce several different notions of connectedness in A^1-homotopy theory. We provide concrete links between these notions, connectedness of points by chains of affine lines, and various rationality properties of al…
We explicitly construct an SO(2)-action on a skeletal version of the 2-dimensional framed bordism bicategory. By the 2-dimensional Cobordism Hypothesis for framed manifolds, we obtain an SO(2)-action on the core of fully-dualizable objects of the target bicategory. This action is shown to coincide with the one given by the Serre automorphism. We give an explicit description of the bicategory of homotopy fixed points of this action, and discuss its relation to the classification of oriented 2d topological quantum field theories.
