Let $(Γ,γ)$ be a crystallization of connected compact 3-manifold $M$ with $h$ boundary components. Let $\mathcal{G}(M)$ and $\mathit k (M)$ be the regular genus and gem-complexity of $M$ respectively, and let $\mathcal{G}(\partial M)$ be the regular genus of $\partial M$. We prove that
$$\mathit k (M)\geq 3 (\mathcal{G}(M)+h-1) \geq 3 (\mathcal{G} (\partial M)+h-1).$$ These bounds for gem-complexity of $M$ are sharp for several 3-manifolds with boundary. Further, we show that if $\partial M$ is connected and $\mathit k (M)< 3 (\mathcal{G} (\partial M)+1)$ then $M$ is a handlebody. In particular, we prove that $\mathit k (M) =3 \mathcal{G} (\partial M)$ if $M$ is a handlebody and $\mathit k (M) \geq 3 (\mathcal{G} (\partial M)+1)$ if $M$ is not a handlebody. Further, we obtain several combinatorial properties for a crystallization of 3-manifolds with boundary.
Minimal crystallizations of simply connected PL 4-manifolds are very natural objects. Many of their topological features are reflected in their combinatorial structure which, in addition, is preserved under the connected sum operation. We present a minimal crystallization of the standard PL K3 surface. In combination with known results this yields minimal crystallizations of all simply connected PL 4-manifolds of "standard" type, that is, all connected sums of $\mathbb{CP}^2$, $S^2 \times S^2$, and the K3 surface. In particular, we obtain minimal crystallizations of a pair of homeomorphic but …
The present paper is devoted to present a unifying survey about some special classes of crystallizations of compact PL $4$-manifolds with empty or connected boundary, called {\it semi-simple} and {\it weak semi-simple crystallizations}, with a particular attention to their properties of minimizing combinatorially defined PL-invariants, such as the {\it regular genus}, the {\it Gurau degree}, the {\it gem-complexity} and the {\it (gem-induced) trisection genus}. The main theorem, yielding a summarizing result on the topic, is an original contribution. Moreover, in the present paper the additivi…
For $d\geq 2$, the regular genus of a closed connected PL $d$-manifold $M$ is the least genus (resp., half of the genus) of an orientable (resp., a non-orientable) surface into which a crystallization of $M$ imbeds regularly. The regular genus of every orientable surface equals its genus, and the regular genus of every 3-manifold equals its Heegaard genus. For every closed connected PL $4$-manifold $M$, it is known that its regular genus $\mathcal G(M)$ is at least $2 χ(M) + 5m -4$, where $m$ is the rank of the fundamental group of $M$. In this article, we introduce the concept of "weak semi-s…
Simple crystallizations are edge-coloured graphs representing PL 4-manifolds with the property that the 1-skeleton of the associated triangulation equals the 1-skeleton of a 4-simplex. In the present paper, we prove that any (simply-connected) PL $4$-manifold $M$ admitting a simple crystallization admits a special handlebody decomposition, too; equivalently, $M$ may be represented by a framed link yielding $\mathbb S^3$, with exactly $β_2(M)$ components ($β_2(M)$ being the second Betti number of $M$). As a consequence, the regular genus of $M$ is proved to be the double of $β_2(M)$. Moreover, …
We have defined weight of the pair $(\langle S \mid R \rangle, R)$ for a given presentation $\langle S \mid R \rangle$ of a group, where the number of generators is equal to the number of relations. We present an algorithm to construct crystallizations of 3-manifolds whose fundamental group has a presentation with two generators and two relations. If the weight of $(\langle S \mid R \rangle, R)$ is $n$ then our algorithm constructs all the $n$-vertex crystallizations which yield $(\langle S \mid R \rangle, R)$. As an application, we have constructed some new crystallizations of 3-manifolds. We…
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…
The notion of Gem-Matveev complexity has been introduced within crystallization theory, as a combinatorial method to estimate Matveev's complexity of closed 3-manifolds; it yielded upper bounds for interesting classes of such manifolds. In this paper we extend the definition to the case of non-empty boundary and prove that for each compact irreducible and boundary-irreducible 3-manifold it coincides with the modified Heegaard complexity introduced by Cattabriga, Mulazzani and Vesnin. Moreover, via Gem-Matveev complexity, we obtain an estimation of Matveev's complexity for all Seifert 3-manifol…
We present the census of all non-orientable, closed, connected 3-manifolds admitting a rigid crystallization with at most 30 vertices. In order to obtain the above result, we generate, manipulate and compare, by suitable computer procedures, all rigid non-bipartite crystallizations up to 30 vertices.
By means of a slight modification of the notion of GM-complexity, the present paper performs a graph-theoretical approach to the computation of (Matveev's) complexity for closed orientable 3-manifolds. In particular, the existing crystallization catalogue C^{28}, due to Lins, is used to obtain upper bounds for the complexity of closed orientable 3-manifolds triangulated by at most 28 tetrahedra. The experimental results actually coincide with the exact values of complexity, for all but three elements. Moreover, in the case of at most 26 tetrahedra, the exact value of the complexity is shown to…
The aim of this paper is twofold. On the one hand, it provides a review of the links between random tensor models, seen as quantum gravity theories, and the PL-manifolds representation by means of edge-colored graphs (crystallization theory). On the other hand, the core of the paper is to establish results about the topological and geometrical properties of the Gurau-degree (or G-degree) of the represented manifolds, in relation with the motivations coming from physics. In fact, the G-degree appears naturally in higher dimensional tensor models as the quantity driving their 1/N expansion, exac…
Within crystallization theory, two interesting PL invariants for $d$-manifolds have been introduced and studied, namely {\it gem-complexity} and {\it regular genus}. In the present paper we prove that, for any closed connected PL $4$-manifold $M$, its gem-complexity $\mathit{k}(M)$ and its regular genus $ \mathcal G(M)$ satisfy: $$\mathit{k}(M) \ \geq \ 3 χ(M) + 10m -6 \ \ \ \text{and} \ \ \ \mathcal G(M) \ \geq \ 2 χ(M) + 5m -4,$$ where $rk(π_1(M))=m.$ These lower bounds enable to strictly improve previously known estimations for regular genus and gem-complexity of product 4-manifolds. Moreov…
We have introduced the weight of a group which has a presentation with number of relations is at most the number of generators. We have shown that the number of facets of any contracted pseudotriangulation of a connected closed 3-manifold $M$ is at least the weight of $π(M, \ast)$. This lower bound is sharp for the 3-manifolds $\mathbb{R P}^3$, $L(3,1)$, $L(5,2)$, $S^1\times S^1 \times S^1$, $S^2 \times S^1$, $S^2 \mbox{$\times \hspace{-2.8mm}_{-}$} S^1$ and $S^3/Q_8$, where $Q_8$ is the quaternion group. Moreover, there is a unique such facet minimal pseudotriangulation in each of these seven…
Within crystallization theory, (Matveev's) complexity of a 3-manifold can be estimated by means of the combinatorial notion of GM-complexity. In this paper, we prove that the GM-complexity of any lens space L(p,q), with p greater than 2, is bounded by S(p,q)-3, where S(p,q) denotes the sum of all partial quotients in the expansion of q/p as a regular continued fraction. The above upper bound had been already established with regard to complexity; its sharpness was conjectured by Matveev himself and has been recently proved for some infinite families of lens spaces by Jaco, Rubinstein and Tillm…
The idea of studying trisections of closed smooth $4$-manifolds via (singular) triangulations, endowed with a suitable vertex-labelling by three colors, is due to Bell, Hass, Rubinstein and Tillmann, and has been applied by Spreer and Tillmann to colored triangulations associated to the so called simple crystallizations of standard simply-connected $4$-manifolds. The present paper performs a generalization of these ideas along two different directions: first, we take in consideration also compact PL $4$-manifolds with connected boundary, introducing a possible extension of trisections to the b…
In this survey article, we are interested on minimal triangulations of closed pl manifolds. We present a brief survey on the works done in last 25 years on the following: (i) Finding the minimal number of vertices required to triangulate a given pl manifold. (ii) Given positive integers $n$ and $d$, construction of $n$-vertex triangulations of different $d$-dimensional pl manifolds. (iii) Classifications of all the triangulations of a given pl manifold with same number of vertices. In Section 1, we have given all the definitions which are required for the remaining part of this article. In Sec…
We construct infinitely many manifolds admitting both strongly irreducible and weakly reducible minimal genus Heegaard splittings. Both closed manifolds and manifolds with boundary tori are constructed.
We show that complete uniform visibility manifolds of finite volume with sectional curvature $-1 \leq K \leq 0$ have positive simplicial volumes. This implies that their minimal volumes are non-zero.
In this thesis, we use normal surface theory to understand certain properties of minimal triangulations of compact orientable 3-manifolds. We describe the collapsing process of normal 2-spheres and disks. Using some geometrical constructions to take connected sums of triangulated 3-manifolds, we obtain the following result: given a minimal triangulation of a closed orientable 3-manifold M, it takes polynomial time in the number of tetrahedra to check if M is reducible or not.
We address a conjecture that $π_1$-surjective maps between closed aspherical 3-manifolds having the same rank on $π_1$ must be of non-zero degree. The conjecture is proved for Seifert manifolds, which is used in constructing the first known example of minimum Haken manifold. Another motivation is to study epimorphisms of 3-manifold groups via maps of non-zero degree between 3-manifolds.
An estimate for the genus function in circle bundles over irreducible 3-manifolds is proven. This estimate is in many cases an equality and it relates the minimal genus of the surfaces representing a given homology class with the self-intersection of the class and the Thurston norm of the underlying 3-manifold.
Let N be a closed irreducible 3-manifold and assume N is not a graph manifold. We improve for all but finitely many S^1-bundles M over N the adjunction inequality for the minimal complexity of embedded surfaces. This allows us to completely determine the minimal complexity of embedded surfaces in all but finitely many S^1-bundles over a large class of 3-manifolds.
In this paper, we explore minimal contact triangulations on contact 3-manifolds. We give many explicit examples of contact triangulations that are close to minimal ones. The main results of this article say that on any closed oriented 3-manifold the number of vertices for minimal contact triangulations for overtwisted contact structures grows at most linearly with respect to the relative $d^3$ invariant. We conjecture that this bound is optimal. We also discuss, in great details, contact triangulations for a certain family of overtwisted contact structures on 3-torus.
We describe several methods to construct minimal foliations by hyperbolic surfaces on closed 3-manifolds, and discuss the properties of the examples thus obtained.
This paper uses results on the classification of minimal triangulations of 3-manifolds to produce additional results, using covering spaces. Using previous work on minimal triangulations of lens spaces, it is shown that the lens space $L(4k, 2k-1)$ and the generalised quaternionic space $S^3/Q_{4k}$ have complexity $k,$ where $k\ge 2.$ Moreover, it is shown that their minimal triangulations are unique.
We prove that the 8^4_2 link complement is the minimal volume orientable hyperbolic manifold with 4 cusps. Its volume is twice of the volume V_8 of the ideal regular octahedron, i.e. 7.32... = 2V_8. The proof relies on Agol's argument used to determine the minimal volume hyperbolic 3-manifolds with 2 cusps. We also need to estimate the volume of a hyperbolic 3-manifold with totally geodesic boundary which contains an essential surface with non-separating boundary.
Previous work of the authors studies minimal triangulations of closed 3-manifolds using a characterisation of low degree edges, embedded layered solid torus subcomplexes and 1-dimensional $\mathbb{Z}_2$-cohomology. The underlying blueprint is now used in the study of minimal ideal triangulations. As an application, it is shown that the monodromy ideal triangulations of the hyperbolic once-punctured torus bundles are minimal.
In 2018, M. Chu and S. Tillmann gave a lower bound for the trisection genus of a closed 4-manifold in terms of the Euler characteristic of $M$ and the rank of its fundamental group. We show that given a group $G$, there exist a 4-manifold $M$ with fundamental group $G$ with trisection genus achieving Chu-Tillmann's lower bound.
We establish isosystolic inequalities for a class of manifolds which includes the aspherical manifolds. In particular, we relate the systolic volume of aspherical manifolds first to their minimal entropy, then to the algebraic entropy of their fundamental groups.
Let M be a 4-manifold which admits a free circle action. We use twisted Alexander polynomials to study the existence of symplectic structures and the minimal complexity of surfaces in M. The results on the existence of symplectic structures summarize previous results of the authors in [FV08a,FV08,FV07]. The results on surfaces of minimal complexity are new.
In this paper we show that every three-dimensional closed hyperbolic manifold admits no locally geometric $1$-parameter family of closed minimal surfaces.
Previous work of the authors with Bus Jaco determined a lower bound on the complexity of cusped hyperbolic 3-manifolds and showed that it is attained by the monodromy ideal triangulations of once-punctured torus bundles. This paper exhibits an infinite family of minimal ideal triangulations of Dehn fillings on the link $8^3_9$ that also attain this lower bound on complexity.
In this paper, we show the existence of smoothly embedded closed minimal surfaces in infinite volume hyperbolic $3$-manifolds except some special cases.
Existence of Minimal Surfaces in Infinite Volume Hyperbolic 3-manifolds
UT Dallas, Dept. Math. Sciences（德克萨斯大学达拉斯分校数学科学系）；Department of Mathematics, The City University of New York（纽约市立大学数学系）；Department of Mathematics, University of Chicago（芝加哥大学数学系）；IMPA - Instituto Nacional de Matemática Pura e Aplicada（巴西纯粹与应用数学国家研究所）
Motivated by classical theorems on minimal surface theory in compact hyperbolic three-manifolds, we investigate the questions of existence and deformations for least area minimal surfaces in complete noncompact hyperbolic three-manifold of finite volume. We prove any closed immersed incompressible surface can be deformed to a closed immersed least area surface within its homotopy class in any cusped hyperbolic three-manifold. Our techniques highlight how special structures of these cusped hyperbolic three-manifolds prevent any least area minimal surface going too deep into the cusped region.
We prove that the Whitehead link complement and the (-2, 3, 8) pretzel link complement are the minimal volume orientable hyperbolic 3-manifolds with two cusps, with volume 3.66... = 4 x Catalan's constant. We use topological arguments to establish the existence of an essential surface which provides a lower bound on volume and strong constraints on the manifolds that realize that lower bound.
In a remarkable article published in 1982, M. Gromov introduced the concept of minimal volume, namely, the minimal volume of a manifold $M^n$ is defined to be the greatest lower bound of the total volumes of $M^n$ with respect to complete Riemannian metrics whose sectional curvature is bounded above in absolute value by 1. While the minimal curvature, introduced by G. Yun in 1996, is the smallest pinching of the sectional curvature among metrics of volume 1. The goal of this article is to provide estimates to minimal volume and minimal curvature on 4-dimensional compact manifolds involving som…
In this paper, we prove that if a quasi-Fuchsian 3-manifold $M$ contains a simple closed geodesic with complex length $\Lscr=l+iθ$ such that $θ/l\gg{}1$, then it contains at least two minimal surfaces which are incompressible in $M$.
A theorem on the existence of the unique minimal topologic handle decomposition of differentiable simply connected five-dimensional manifolds is proved. For a decomposition of this sort, the number of handles of each index is given.
The goal of this article is to establish estimates involving the Yamabe minimal volume, mixed minimal volume and some topological invariants on compact 4-manifolds. In addition, we provide topological sphere theorems for compact submanifolds of spheres and Euclidean spaces, provided that the full norm of the second fundamental form is suitably bounded.
We show that the Malcev Lie algebra of the fundamental group of a compact $2n+1$-dimensional Sasakian manifold with $n\ge 2$ admits a quadratic presentation by using Morgan's bigradings of minimal models of mixed-Hodge diagrams. By using bigradings of minimal models, we also simplify the proof of the result of Cappelletti-Montano, De Nicola, Marrero and Yudin on Sasakian nilmanifolds.
Let $(M^{n+1},\partial M,g)$ be a compact manifold with non-negative Ricci curvature, convex boundary and $2\leq n\leq 6$. We show that the min-max minimal hypersurface with respect to one-parameter families of hypersurfaces in $(M,\partial M)$ is orientable, of index one and multiplicity one.
For each pair $(e,σ)$ of integers satisfying $2e+3σ\ge 0$, $σ\leq -2$, and $e+σ\equiv 0\pmod{4}$, with four exceptions, we construct a minimal, simply connected symplectic 4-manifold with Euler characteristic $e$ and signature $σ$. We also produce simply connected, minimal symplectic 4-manifolds with signature zero (resp. signature -1) with Euler characteristic $4k$ (resp. $4k+1$) for all $k\ge 46$ (resp. $k\ge 49$).
In this paper, we show that a closed manifold $M^{n+1} (n \geq 7)$ endowed with a $C^\infty$-generic (Baire sense) metric contains infinitely many singular minimal hypersurfaces with optimal regularity. Moreover, for $2 \leq n \leq 6$, our argument also implies the denseness of the minimal hypersurfaces realizing min-max widths for generic metrics. This partially supports equidistribution of the minimal hypersurfaces realizing min-max widths conjectured by F.C. Marques, A. Neves and A. Song.
We study the number of Darboux charts needed to cover a closed connected symplectic manifold $(M,ω)$, and effectively estimate this number from below and from above in terms of the Lusternik--Schnirelmann category of $M$ and the Gromov width of $(M,ω)$.
We investigate the maximal solid tubes around short simple geodesics in hyperbolic three-manifolds and how complex length of curves relate to closed, incompressible, least area minimal surfaces. As applications, we prove, there are some closed hyperbolic three-manifolds fibering over the circle which are not foliated by closed incompressible minimal surfaces diffeomorphic to the fiber. We also show, the existence of quasi-Fuchsian manifolds containing arbitrarily many embedded closed incompressible minimal surfaces. Our strategy is to prove main theorems under natural geometric conditions on t…
It is well known that every quasi-Fuchsian manifold admits at least one closed incompressible minimal surface, and at most finitely many of them. In this paper, for any prescribed integer $N>0$, we construct a quasi-Fuchsian manifold which contains at least $2^N$ such minimal surfaces. As a consequence, there exists some simple close Jordan curve on $S^2_\infty$ such that there are at least $2^N$ disk-type complete minimal surface in $\mathbb{H}^3$ sharing this Jordan curve as the asymptotic boundary.
In this paper, we obtain results on rigidity of complete Riemannian manifolds with weighted Poincaré inequality. As an application, we prove that if $M$ is a complete $\frac{n-2}{n}$-stable minimal hypersurface in $\mathbb{R}^{n+1}$ with $n\geq 3$ and has bounded norm of the second fundamental form, then $M$ must either have only one end or be a catenoid.
We show that a group presented by a labelled oriented tree presentation in which the tree has diameter at most three is an HNN extension of a finitely presented group. From results of Silver, it then follows that the corresponding higher dimensional ribbon knots admit minimal Seifert manifolds.
By work of Uhlenbeck, the largest principal curvature of any least area fiber of a hyperbolic $3$-manifold fibering over the circle is bounded below by one. We give a short argument to show that, along certain families of fibered hyperbolic $3$-manifolds, there is a uniform lower bound for the maximum principal curvatures of a least area minimal surface which is greater than one.
For closed odd-dimensional manifolds with sectional curvature less or equal than -1, we define the minimal surface entropy that counts the number of surface subgroups. It attains the minimum if and only if the metric is hyperbolic. Moreover, we compute the entropy associated with other locally symmetric spaces and cusped hyperbolic 3-manifolds.
Piecewise Euclidean structures (identified solid Euclidean polyhedra) on topological 3-dimensional manifolds and pseudo-manifolds are constructed so that they admit pseudo-foliations, a generalized type of foliation. The construction of non-manifold point neighborhoods is done to preserve as much of the geometric, and vector space, structure of Euclidean space as possible. This enables structures, such as foliations and calibrations, to generalize over to pseudo-manifolds. The main result is that the cone of any compact topological surfaces can be given a piecewise flat metric structure that a…
We consider the minimal entropy problem, namely the question of whether there exists a smooth metric of minimal entropy, for certain classes of 3-manifolds. Among other resulsts, we show that if M is a closed, orientable, geometrizable 3-manifold with zero simplicial volume, then the minimal entropy can be solved for M if and only if M admits a metric modelled on 4 of the 8 standard 3-dimensional geometries, namely $S^3$, $S^2\times R$, $E^3$, or Nil.
We prove that all minimal symplectic four-manifolds are essentially irreducible. We also clarify the relationship between holomorphic and symplectic minimality of Kähler surfaces. This leads to a new proof of the deformation-invariance of holomorphic minimality for complex surfaces with even first Betti number which are not Hirzebruch surfaces.
We show that if $g$ is a Riemannian metric on a closed piecewise locally symmetric manifold $M$, then the lift of $g$ to the universal cover $\widetilde{M}$ has a discrete isometry group. We also show that the index $[\Isom(\widetilde{M}): π_1(M)]$ is bounded by a constant independent of $g$.
