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.
The notion of highly structured ring spectra of prime characteristic is made precise and is studied via the versal examples S//p for prime numbers p. These can be realized as Thom spectra, and therefore relate to other Thom spectra such as the unoriented bordism spectrum MO. We compute the Hochschild and André-Quillen invariants of the S//p. Among other applications, we show that S//p is not a commutative algebra over the Eilenberg-Mac Lane spectrum HF_p, although the converse is clearly true, and that MO is not a polynomial algebra over S//2.
We introduce characteristics into chromatic homotopy theory. This parallels the prime characteristics in number theory as well as in our earlier work on structured ring spectra and unoriented bordism theory. Here, the K(n)-local Hopkins-Miller classes $ζ_n$ take the places of the prime numbers, and this allows us to discuss higher bordism theories. We prove that the K(2)-localizations of the spectrum of topological modular forms as well as the string bordism spectrum have characteristic $ζ_2$.
This note provides a computation of the bordism groups of K-Witt spaces for fields K with characteristic 2. We provide a complete computation for the unoriented bordism groups. For the oriented bordism groups, a nearly complete computation is provided as well a discussion of the difficulty of resolving a remaining ambiguity in dimensions equivalent to 2 mod 4. This corrects an error in the char(K)=2 case of the author's prior computation of the bordism groups of K-Witt spaces for an arbitrary field K.
Farrell and Hsiang noticed that the geometric surgery groups defined By Wall, Chapter 9, do not have the naturality Wall claims for them. They were able to fix the problem by augmenting Wall's definitions to keep track of a line bundle. The definition of geometric Wall groups involves homology with local coefficients and these also lack Wall's claimed naturality. One would hope that a geometric bordism theory involving non-orientable manifolds would enjoy the same naturality as that enjoyed by homology with local coefficients. A setting for this naturality entirely in terms of local coefficien…
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 define new bordism and spin bordism invariants of certain subgroups of the mapping class group of a surface. In particular, they are invariants of the Johnson filtration of the mapping class group. The second and third terms of this filtration are the well-known Torelli group and Johnson subgroup, respectively. We introduce a new representation in terms of spin bordism, and we prove that this single representation contains all of the information given by the Johnson homomorphism, the Birman-Craggs homomorphism, and the Morita homomorphism.
Gordon and Litherland showed that all compact, unoriented, possibly non-orientable surfaces in $S^3$ bounded by a link are realted by attaching/deleting tubes and half twisted bands. In this note we give an elementary proof for this result.
Extending free actions of finite groups on unoriented surfaces
Centro de Investigación en Matemáticas(数学研究中心);Universidad Nacional Autónoma de México(墨西哥国立自治大学);Instituto de Matemáticas UNAM-Oaxaca(墨西哥国立自治大学瓦哈卡数学研究所)
Two link diagrams on compact surfaces are strongly equivalent if they are related by Reidemeister moves and orientation preserving homeomorphisms of the surfaces. They are stably equivalent if they are related by the two previous operations and adding or removing handles. Turaev and Turner constructed a link homology for each stable equivalence class by applying an unoriented topological quantum field theory (TQFT) to a geometric chain complex similar to Bar-Natan's one. In this paper, by using an unoriented homotopy quantum field theory (HQFT), we construct a link homology for each strong equ…
We extend our previous work from arXiv:1903.06863 on biquandle module invariants of oriented surface-links to the case of unoriented surface-links using bikei modules. The resulting infinite family of enhanced invariants proves be effective at distinguishing unoriented and especially non-orientable surface-links; in particular, we show that these invariants are more effective than the bikei homset cardinality invariant alone at distinguishing non-orientable surface-links. Moreover, as another application we note that our previous biquandle modules which do not satisfy the bikei module axioms a…
The groups of link bordism can be identified with homotopy groups via the Pontryagin-Thom construction. B.J. Sanderson computed the bordism group of 3 component surface-links using the Hilton-Milnor Theorem, and later gave a geometric interpretation of the groups in terms of intersections of Seifert hypersurfaces and their framings. In this paper, we geometrically represent every element of the bordism group uniquely by a certain standard form of a surface-link, a generalization of a Hopf link. The standard forms give rise to an inverse of Sanderson's geometrically defined invariant.
We consider a relation between two kinds of unknotting numbers defined by using a band surgery on unoriented knots; the band-unknotting number and H(2)-unknotting number, which we may characterize in terms of the first Betti number of surfaces in S^3 spanning the knot and the trivial knot. We also give several examples for these numbers.
We investigate link homology theories for stable equivalence classes of link diagrams on orientable surfaces. We apply (1+1)-dimensional unoriented topological quantum field theories to Bar-Natan's geometric formalism to define new theories for stable equivalence classes.
In this note we introduce a construction which assigns to an arbitrary manifold bundle its fiberwise orientation covering. This is used to show that the zeta classes of unoriented surface bundles are not divisible in the stable range.
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 construct two infinite sequences of immersions of the 3-sphere into 4-space, parameterized by the Dynkin diagrams of types A and D. The construction is based on immersions of 4-manifolds obtained as the plumbed immersions along the weighted Dynkin diagrams. We compute their Smale invariants and bordism classes of immersions by using Ekholm-Takase's formula in terms of singular Seifert surfaces. In order to construct singular Seifert surfaces for the immersions, we use the Kirby calculus.
A modular tensor category $\mathcal{C}$ gives rise to a Reshetikhin-Turaev type topological quantum field theory which is defined on 3-dimensional bordisms with embedded $\mathcal{C}$-coloured ribbon graphs. We extend this construction to include bordisms with surface defects which in turn can meet along line defects. The surface defects are labelled by $Δ$-separable symmetric Frobenius algebras and the line defects by "multi-modules" which are equivariant with respect to a cyclic group action. Our invariant cannot distinguish non-isotopic embeddings of 2-spheres, but we give an example where …
For any unoriented loop on a compact connected oriented surface with one boundary component, the generalized Dehn twist along the loop is defined as an automorphism of the completed group ring of the fundamental group of the surface. If the loop is simple, this is the usual right handed Dehn twist, in particular realized as a mapping class of the surface. We investigate the case when the loop has a single transverse double point, and show that in this case the generalized Dehn twist is not realized as a mapping class.
The paper contains a survey of train constructions for infinite symmetric groups and related groups. For certain pairs (a group $G$, a subgroup $K$), we construct categories, whose morphisms are two-dimensional surfaces tiled by polygons and colored in a certain way. A product of morphisms is a gluing of combinatorial bordisms. For a unitary representation of $G$ we assign a functor from the category of bordisms to the category of Hilbert spaces and bounded operators. The construction has numerous variations, instead of surfaces there arise also one-dimensional objects of Brauer diagram type, …
The present work introduces new perspectives in order to extend finite group actions from surfaces to 3-manifolds. We consider the Schur multiplier associated to a finite group $G$ in terms of principal $G$-bordisms in dimension two, called $G$-cobordisms. We are interested in the question of when a free action of a finite group on a closed oriented surface extends to a non-necessarily free action on a 3-manifold. We show the answer to this question is affirmative for abelian, dihedral, symmetric and alternating groups. As an application of our methods, we show that every non-necessarily free …
We give a topological interpretation of the core group invariant of a surface embedded in S^4. We show that the group is isomorphic to the free product of the fundamental group of the double branch cover of S^4 with the surface as a branched set, and the infinite cyclic group. We present a generalization for unoriented surfaces, for other cyclic branched covers, and other codimension two embeddings of manifolds in spheres. The method of computing the fundamental group of n-fold cyclic branched covers is related to the one described in R.H.Crowell, The derived group of a permutation representat…
We give a new and simple proof for the computation of the oriented and the unoriented fold cobordism groups of Morse functions on surfaces. We also compute similar cobordism groups of Morse functions based on simple stable maps of 3-manifolds into the plane. Furthermore, we show that certain cohomology classes associated with the universal complexes of singular fibers give complete invariants for all these cobordism groups. We also discuss invariants derived from hypercohomologies of the universal homology complexes of singular fibers. Finally, as an application of the theory of universal comp…
If $C$ is a spherical fusion category, the string-net construction associates to each closed oriented surface $Σ$ the vector space $Z_\text{SN}(Σ)$ of linear combinations of $C$-labelled graphs on $Σ$ modulo local relations, in a way which is functorial with respect to orientation-preserving diffeomorphisms of surfaces. We show how to extend this assignment to a 3-dimensional topological quantum field theory (TQFT), by defining how the surgery generators in Juhász' presentation of the oriented 3-dimensional bordism category act on the string-net vector spaces. We show that the resulting TQFT, …
In the eighties Goldman discovered a Lie algebra structure on the vector space generated by the free homotopy classes of oriented curves on an oriented surface. The Lie bracket [a,b] is defined as the signed sum over the intersection points of a and b of the loop product of at the intersection points. If one of the classes has a simple representative we give a combinatorial group theory description of the terms of the Lie bracket and prove that this bracket has as many terms, counted with multiplicity, as the minimal number of intersection points of a and b. In other words the bracket with a s…
We provide the first known example of a finite group action on an oriented surface $T$ that is free, orientation-preserving, and does not extend to an arbitrary (in particular, possibly non-free) orientation-preserving action on any compact oriented 3-manifold $N$ with boundary $\partial N = T$. This implies a negative solution to a conjecture of Domínguez and Segovia, as well as Uribe's evenness conjecture for equivariant unitary bordism groups. We more generally provide sufficient conditions that imply infinitely many such group actions on surfaces exist. Intriguingly, any group with such a …