No Arabic abstract
This is a collection of notes on embedding problems for 3-manifolds. The main question explored is `which 3-manifolds embed smoothly in the 4-sphere? The terrain of exploration is the Burton/Martelli/Matveev/Petronio census of triangulated prime closed 3-manifolds built from 11 or less tetrahedra. There are 13766 manifolds in the census, of which 13400 are orientable. Of the 13400 orientable manifolds, only 149 of them have hyperbolic torsion linking forms and are thus candidates for embedability in the 4-sphere. The majority of this paper is devoted to the embedding problem for these 149 manifolds. At present 41 are known to embed. Among the remaining manifolds, embeddings into homotopy 4-spheres are constructed for 4. 67 manifolds are known to not embed in the 4-sphere. This leaves 37 unresolved cases, of which only 3 are geometric manifolds i.e. having a trivial JSJ-decomposition.
In this article we show that every closed orientable smooth $4$--manifold admits a smooth embedding in the complex projective $3$--space.
In this paper, we prove a number of inequalities between the signature and the Betti numbers of a 4-manifold with even intersection form. Furthermore, we introduce a new geometric group invariant and discuss some of its properties.
We construct a functor from the smooth 4-dimensional manifolds to the hyper-algebraic number fields, i.e. fields with non-commutative multiplication. It is proved that that the simply connected 4-manifolds correspond to the abelian extensions. We recover the Rokhlin and Donaldsons Theorems from the Galois theory of the non-commutative fields.
We prove that any mapping torus of a closed 3-manifold has zero simplicial volume. When the fiber is a prime 3-manifold, classification results can be applied to show vanishing of the simplicial volume, however the case of reducible fibers is by far more subtle. We thus analyse the possible self-homeomorphisms of reducible 3-manifolds, and use this analysis to produce an explicit representative of the fundamental class of the corresponding mapping tori. To this end, we introduce a new technique for understanding self-homeomorphisms of connected sums in arbitrary dimensions on the level of classifying spaces and for computing the simplicial volume. In particular, we extend our computations to mapping tori of certain connected sums in higher dimensions. Our main result completes the picture for the vanishing of the simplicial volume of fiber bundles in dimension four. Moreover, we deduce that dimension four together with the trivial case of dimension two are the only dimensions where all mapping tori have vanishing simplicial volume. As a group theoretic consequence, we derive an alternative proof of the fact that the fundamental group $G$ of a mapping torus of a 3-manifold $M$ is Gromov hyperbolic if and only if $M$ is virtually a connected sum $# S^2times S^1$ and $G$ does not contain $mathbb{Z}^2$.
We study finite type invariants of nullhomologous knots in a closed 3-manifold $M$ defined in terms of certain descending filtration ${mathscr{K}_n(M)}_{ngeq 0}$ of the vector space $mathscr{K}(M)$ spanned by isotopy classes of nullhomologous knots in $M$. The filtration ${mathscr{K}_n(M)}_{n geq 0}$ is defined by surgeries on special kinds of claspers in $M$ having one special leaf. More precisely, when $M$ is fibered over $S^1$ and $H_1(M)=mathbb{Z}$, we study how far the natural surgery map from the space of $mathbb{Q}[t^{pm 1}]$-colored Jacobi diagrams on $S^1$ of degree $n$ to the graded quotient $mathscr{K}_n(M)/mathscr{K}_{n+1}(M)$ can be injective for $nleq 2$. To do this, we construct a finite type invariant of nullhomologous knots in $M$ up to degree 2 that is an analogue of the invariant given in our previous paper arXiv:1503.08735, which is based on Lescops construction of $mathbb{Z}$-equivariant perturbative invariant of 3-manifolds.