We prove that a closed 4-manifold has shadow-complexity zero if and only if it is a kind of 4-dimensional graph manifold, which decomposes into some particular blocks along embedded copies of S^2 x S^1, plus some complex projective spaces. We deduce a classification of all 4-manifolds with finite fundamental group and shadow-complexity zero.
In this paper we find infinitely many Mazur type manifolds and corks with shadow complexity one among the 4-manifolds constructed from contractible special polyhedra having one true vertex by using the notion of Turaev's shadow. We also find such manifolds among 4-manifolds constructed from Bing's house. Our manifolds with shadow complexity one contain the Mazur manifolds $W^{\pm }(l,k)$ which were studied by Akbulut and Kirby.
In terms of Turaev's shadows, we provide a sufficient condition for a compact, smooth, acyclic 4-manifold with boundary the 3-sphere to be diffeomorphic to the standard 4-ball. As a consequence, we prove that if a compact, smooth, acyclic 4-manifold with boundary the 3-sphere has shadow-complexity at most 2, then it is diffeomorphic to the standard 4-ball.
We give a self-contained introduction to the theory of Turaev's shadows as a tool to study 3 and 4-manifolds. The goal of the present paper twofold: on one side it is intended to be a shortcut to a basic use of the theory of shadows, on the other side it gives a sketchy overview of some of the recent results on shadows. No original result is proved here and most of the details of the proofs are not included.
We construct an infinite family $\{ C_{n,k}\}_{k=1}^{\infty}$ of corks of Mazur type satisfying $2n\leq \mathrm{sc}^{\mathrm{sp}}(C_{n,k})\leq O(n^{3/2})$ for any positive integer $n$. Furthermore, using these corks, we construct an infinite family $\{(W_{n,k},W'_{n,k})\}_{k=1}^{\infty}$ of exotic pairs of $4$-manifolds with boundary whose special shadow-complexities satisfy the above inequalities. We also discuss exotic pairs with small shadow-complexity.
Our purpose is to classify acyclic 4-manifolds having shadow complexity zero. In this paper, we focus on simple polyhedra and discuss this problem combinatorially. We consider a shadowed polyhedron $X$ and a simple polyhedron $X_0$ that is obtained by collapsing from $X$. Then we prove that there exists a canonical way to equip internal regions of $X_0$ with gleams so that two 4-manifolds reconstructed from $X_0$ and $X$ are diffeomorphic. We also show that any acyclic simple polyhedron whose singular set is a union of circles can collapse onto a disk. As a consequence of these results, we pro…
Turaev's shadow can be seen locally as the Stein factorization of a stable map. In this paper, we define the notion of stable map complexity for a compact orientable 3-manifold bounded by (possibly empty) tori counting, with some weights, the minimal number of singular fibers of codimension 2 of stable maps into the real plane, and prove that this number equals the minimal number of vertices of its branched shadows. In consequence, we give a complete characterization of hyperbolic links in the 3-sphere whose exteriors have stable map complexity 1 in terms of Dehn surgeries, and also give an ob…
We study the set of all closed oriented smooth 4-manifolds experimentally, according to a suitable complexity defined using Turaev's shadows. This complexity roughly measures how complicated the 2-skeleton of the 4-manifold is. We characterise here all the closed oriented 4-manifolds that have complexity at most one. They are generated by a certain set of 20 blocks, that are some basic 4-manifolds with boundary consisting of copies of $S^2 \times S^1$, plus connected sums with some copies of $\mathbb{CP}^2$ with either orientation. All the manifolds generated by these blocks are doubles. Many …
We define and study branched shadows of 4-manifolds as a combination of branched spines of 3-manifolds and Turaev's shadows. We use these objects to combinatorially represent 4-manifolds equipped with $Spin^c$-structures and homotopy classes of almost complex structures. We then use branched shadows to study complex 4-manifolds and prove that each almost complex structure on a 4-handlebody is homotopic to a complex one.
A shadowed polyhedron is a simple polyhedron equipped with half integers on regions, called gleams, which represents a compact, oriented, smooth 4-manifold. The polyhedron is embedded in the 4-manifold and it is called a shadow of that manifold. A subpolyhedron of a shadow represents a possibly singular subsurface in the 4-manifold. In this paper, we focus on contractible shadows obtained from the unit disk by attaching annuli along generically immersed closed curves on the disk. In this case, the 4-manifold is always a 4-ball. Milnor fibers of plane curve singularities and complexified real l…
We provide sufficient conditions assuring that a suitably decorated 2-polyhedron can be thickened to a compact 4-dimensional Stein domain. We also study a class of flat polyhedra in 4-manifolds and find conditions assuring that they admit Stein, compact neighborhoods. We base our calculations on Turaev's shadows suitably "smoothed"; the conditions we find are purely algebraic and combinatorial. Applying our results, we provide examples of hyperbolic 3-manifolds admitting "many" positive and negative Stein fillable contact structures, and prove a 4-dimensional analogue of Oertel's result on inc…
This is a PhD thesis about low dimensional topology, in particular knot thory in 3-manifolds also different from the 3-sphere, topological applications of quantum invariants, and Turaev's shadows. There is an introduction and a survey for these topics. The thesis uses skein theory and focues on the connected sum of copies of S^1xS^2 and on the 3-tours as ambient manifolds. The skein space of the 3-torus is computed. The Tait conjecture and Eisermann's theorem have been extended to the connected sums of copies of S^1xS^2. The knots and links in S^1xS^2 whose crossing number is at most 3 are tab…
We combine Gromov's amenable localization technique with the Poincaré duality to study the traversally generic vector flows on smooth compact manifolds $X$ with boundary. Such flows generate well-understood stratifications of $X$ by the trajectories that are tangent to the boundary in a particular canonical fashion. Specifically, we get lower estimates of the numbers of connected components of these flow-generated strata of any given codimension. These universal bounds are basically expressed in terms of the normed homology of the fundamental groups $π_1(D(X))$, where $D(X)$ denotes the double…
It is known since 1954 that every 3-manifold bounds a 4-manifold. Thus, for instance, every 3-manifold has a surgery diagram. There are several proofs of this fact, including constructive proofs, but there has been little attention to the complexity of the 4-manifold produced. Given a 3-manifold M of complexity n, we show how to construct a 4-manifold bounded by M of complexity O(n^2). Here we measure ``complexity'' of a piecewise-linear manifold by the minimum number of n-simplices in a triangulation. It is an open question whether this quadratic bound can be replaced by a linear bound. The p…
We consider the classical problem of a position of n-dimensional manifold M in R^{n+2}. We show that we can define the fundamental (n+1)-cycle and the shadow fundamental (n+2)-cycle for a fundamental quandle of a knotting M to R^{n+2}. In particular, we show that for any fixed quandle, quandle coloring, and shadow quandle coloring, of a diagram of M embedded in R^{n+2} we have (n+1)- and (n+2)-(co)cycle invariants (i.e. invariant under Roseman moves). We speculate on a similar construction for general Yang-Baxter operators.
We prove that every smoothly embedded surface in a 4--manifold can be isotoped to be in bridge position with respect to a given trisection of the ambient 4--manifold; that is, after isotopy, the surface meets components of the trisection in trivial disks or arcs. Such a decomposition, which we call a \emph{generalized bridge trisection}, extends the authors' definition of bridge trisections for surfaces in $S^4$. Using this new construction, we give diagrammatic representations called \emph{shadow diagrams} for knotted surfaces in 4--manifolds. We also provide a low-complexity classification f…
The triangulation complexity of a compact 3-manifold is the minimal number of tetrahedra in any triangulation of the 3-manifold. We compute the triangulation complexity of all elliptic 3-manifolds and all sol 3-manifolds, to within a universally bounded multiplicative error.
We classify all closed non-orientable P2-irreducible 3-manifolds with complexity up to 7, fixing two mistakes in our previous complexity-up-to-6 classification. We show that there is no such manifold with complexity less than 6, five with complexity 6 (the four flat ones and the filling of the Gieseking manifold, which is of type Sol, and three with complexity 7 (one manifold of type Sol, and the two manifolds of type H2xR with smallest base orbifolds).
We establish two-sided bounds for the complexity of two infinite series of closed orientable 3-dimensional hyperbolic manifolds, the Lobell manifolds and the Fibonacci manifolds.
Virtual $3$-manifolds were introduced by S.V. Matveev in 2009 as natural generalizations of the classical $3$-manifolds. In this paper, we introduce a notion of complexity of a virtual $3$-manifold. We investigate the values of the complexity for virtual 3-manifolds presented by special polyhedra with one or two $2$-components. On the basis of these results, we establish the exact values of the complexity for a wide class of hyperbolic $3$-manifolds with totally geodesic boundary.
There are found exact values of (Matveev) complexity for the 2-parameter family of hyperbolic 3-manifolds with boundary constructed by Paoluzzi and Zimmermann. Moreover, $ε$-invariants for these manifolds are calculated.
We give a summary of known results on Matveev's complexity of compact 3-manifolds. The only relevant new result is the classification of all closed orientable irreducible 3-manifolds of complexity 10.
We classify all closed non-orientable P2-irreducible 3-manifolds having complexity up to 6 and we describe some having complexity 7. We show in particular that there is no such manifold with complexity less than 6, and that those having complexity 6 are precisely the 4 flat non-orientable ones and the filling of the Gieseking manifold, which is of type Sol. The manifolds having complexity 7 we describe are Seifert manifolds of type H2 x S1 and a manifold of type Sol.
We define an invariant, which we call surface-complexity, of closed 3-manifolds by means of Dehn surfaces. The surface-complexity of a manifold is a natural number measuring how much the manifold is complicated. We prove that it fulfils interesting properties: it is subadditive under connected sum and finite-to-one on P2-irreducible manifolds. Moreover, for P2-irreducible manifolds, it equals the minimal number of cubes in a cubulation of the manifold, except for the sphere S3, the projective space RP3 and the lens space L41, which have surface-complexity zero. We will also give estimations of…
After a short summary of known results on surface-complexity of closed 3-manifolds, we will classify all closed orientable 3-manifolds with surface-complexity one.
We give an upper bound for the Matveev complexity of the whole class of closed connected orientable prime graph manifolds that is sharp for all 14502 graph manifolds of the Recognizer catalogue (available at \texttt{http://matlas.math.csu.ru/?page=search}).
A filling Dehn sphere $Σ$ in a closed 3-manifold $M$ is a sphere transversely immersed in $M$ that defines a cell decomposition of $M$. Every closed 3-manifold has a filling Dehn sphere. The Montesinos complexity of a $3$-manifold $M$ is defined as the minimal number of triple points among all the filling Dehn spheres of $M$. A sharp upper bound for the Montesinos complexity of the connected sum of two 3-manifolds is given.
We deal with Matveev complexity of compact orientable 3-manifolds represented via Heegaard diagrams. This lead us to the definition of modified Heegaard complexity of Heegaard diagrams and of manifolds. We define a class of manifolds which are generalizations of Dunwoody manifolds, including cyclic branched coverings of two-bridge knots and links, torus knots, some pretzel knots, and some theta-graphs. Using modified Heegaard complexity, we obtain upper bounds for their Matveev complexity, which linearly depend on the order of the covering. Moreover, using homology arguments due to Matveev and…
We describe an algorithm which has enabled us to give a complete list, without repetitions, of all closed oriented irreducible 3-manifolds of complexity up to 9. More interestingly, we have actually been able to give a "name" to each such manifold, by recognizing its canonical decomposition into Seifert fibred spaces and hyperbolic manifolds. The algorithm relies on the extension of Matveev's theory of complexity to the case of manifolds bounded by suitably marked tori, and on the notion of assembling of two such manifolds. We show that every manifold is an assembling of manifolds which cannot…
The idea of computing Matveev complexity by using Heegaard decompositions has been recently developed by two different approaches: the first one for closed 3-manifolds via crystallization theory, yielding the notion of Gem-Matveev complexity; the other one for compact orientable 3-manifolds via generalized Heegaard diagrams, yielding the notion of modified Heegaard complexity. In this paper we extend to the non-orientable case the definition of modified Heegaard complexity and prove that for closed 3-manifolds Gem-Matveev complexity and modified Heegaard complexity coincide. Hence, they turn o…
We present new lower bounds on the complexity of Dehn surgery manifolds of knots, using our recent result on the Cheeger-Gromov rho invariants and triangulations. As an application, we give explicit examples of closed hyperbolic 3-manifolds with fixed first homology for which the gap between the Gromov norm and the complexity is arbitrarily large.
A new lower bound on the complexity of a 3-manifold is given using the Z2-Thurston norm. This bound is shown to be sharp, and the minimal triangulations realising it are characterised using normal surfaces consisting entirely of quadrilateral discs.
We extend Matveev's complexity of 3-manifolds to PL compact manifolds of arbitrary dimension, and we study its properties. The complexity of a manifold is the minimum number of vertices in a simple spine. We study how this quantity changes under the most common topological operations (handle additions, finite coverings, drilling and surgery of spheres, products, connected sums) and its relations with some geometric invariants (Gromov norm, spherical volume, volume entropy, systolic constant). Complexity distinguishes some homotopically equivalent manifolds and is positive on all closed aspheri…
We consider hyperbolic manifolds with boundary, which admit an ideal triangulation with n ideal triangles and one edge. We prove that the number of these manifolds is $\exp(n\ln(n)+O(n))$.