Showing 1–50 of 58 results for author: Tillmann, S

On a volume invariant of 3-manifolds

Authors: Marc Kegel, Arunima Ray, Jonathan Spreer, Em Thompson, Stephan Tillmann

Abstract: This paper investigates a real-valued topological invariant of 3-manifolds called topological volume. For a given 3-manifold M it is defined as the smallest volume of the complement of a (possibly empty) hyperbolic link in M. Various refinements of this invariant are given, asymptotically tight upper and lower bounds are determined, and all non-hyperbolic closed 3-manifolds with topological volume… ▽ More This paper investigates a real-valued topological invariant of 3-manifolds called topological volume. For a given 3-manifold M it is defined as the smallest volume of the complement of a (possibly empty) hyperbolic link in M. Various refinements of this invariant are given, asymptotically tight upper and lower bounds are determined, and all non-hyperbolic closed 3-manifolds with topological volume of at most 3.07 are classified. Moreover, it is shown that for all but finitely many lens spaces, the volume minimiser is obtained by Dehn filling one of the cusps of the complement of the Whitehead link or its sister manifold. △ Less

Submitted 7 February, 2024; originally announced February 2024.

Comments: 26 pages, 5 figures

MSC Class: 57K10; 57K31; 57K32; 57R65

Complexity of 3-manifolds obtained by Dehn filling

Authors: William Jaco, J. Hyam Rubinstein, Jonathan Spreer, Stephan Tillmann

Abstract: Let $M$ be a compact 3--manifold with boundary a single torus. We present upper and lower complexity bounds for closed 3--manifolds obtained as even Dehn fillings of $M.$ As an application, we characterise some infinite families of even Dehn fillings of $M$ for which our method determines the complexity of its members up to an additive constant. The constant only depends on the size of a chosen tr… ▽ More Let $M$ be a compact 3--manifold with boundary a single torus. We present upper and lower complexity bounds for closed 3--manifolds obtained as even Dehn fillings of $M.$ As an application, we characterise some infinite families of even Dehn fillings of $M$ for which our method determines the complexity of its members up to an additive constant. The constant only depends on the size of a chosen triangulation of $M$, and the isotopy class of its boundary. We then show that, given a triangulation $\mathcal T$ of $M$ with $2$--triangle torus boundary, there exist infinite families of even Dehn fillings of $M$ for which we can determine the complexity of the filled manifolds with a gap between upper and lower bound of at most $13 |\mathcal T| + 7.$ This result is bootstrapped to obtain the gap as a function of the size of an ideal triangulation of the interior of $M$, or the number of crossings of a knot diagram. We also show how to compute the gap for explicit families of fillings of knot complements in the three-sphere. The practicability of our approach is demonstrated by determining the complexity up to a gap of at most 10 for several infinite families of even fillings of the figure eight knot, the pretzel knot $P(-2,3,7)$, and the trefoil. △ Less

Submitted 25 July, 2022; originally announced July 2022.

Comments: 23 pages, 10 figures, 3 tables

MSC Class: 57M25; 57N10

On the topology of character varieties of once-punctured torus bundles

Authors: Stephan Tillmann, Youheng Yao

Abstract: This paper presents, for the special case of once-punctured torus bundles, a natural method to study the character varieties of hyperbolic 3-manifolds that are bundles over the circle. The main strategy is to restrict characters to the fibre of the bundle, and to analyse the resulting branched covering map. This allows us to extend results of Steven Boyer, Erhard Luft and Xingru Zhang. Both… ▽ More This paper presents, for the special case of once-punctured torus bundles, a natural method to study the character varieties of hyperbolic 3-manifolds that are bundles over the circle. The main strategy is to restrict characters to the fibre of the bundle, and to analyse the resulting branched covering map. This allows us to extend results of Steven Boyer, Erhard Luft and Xingru Zhang. Both $SL(2, \mathbb{C})$-character varieties and $PSL(2, \mathbb{C})$-character varieties are considered. As an explicit application of these methods, we build on work of Baker and Petersen to show that there is an infinite family of hyperbolic once-punctured bundles with canonical curves of $PSL(2, \mathbb{C})$-characters of unbounded genus. △ Less

Submitted 29 June, 2022; originally announced June 2022.

Comments: 38 pages, 3 figures, 2 tables

MSC Class: 57M25; 57N10

A new family of minimal ideal triangulations of cusped hyperbolic 3-manifolds

Authors: J. Hyam Rubinstein, Jonathan Spreer, Stephan Tillmann

Abstract: 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. 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. △ Less

Submitted 2 December, 2021; originally announced December 2021.

Comments: 18 pages, 10 figures, 3 tables

MSC Class: 57M25; 57N10

The Thurston norm via spun-normal immersions

Authors: Daryl Cooper, Stephan Tillmann, William Worden

Abstract: A theory of transversely oriented spun-normal immersed surfaces in ideally triangulated 3--manifolds is developed in this paper, including linear functionals determining the boundary curves, Euler characteristic and homology class of these immersions. This is used to develop and implement an algorithm to compute the unit ball of the Thurston norm for cusped hyperbolic 3--manifolds of finite volume… ▽ More A theory of transversely oriented spun-normal immersed surfaces in ideally triangulated 3--manifolds is developed in this paper, including linear functionals determining the boundary curves, Euler characteristic and homology class of these immersions. This is used to develop and implement an algorithm to compute the unit ball of the Thurston norm for cusped hyperbolic 3--manifolds of finite volume. As an application of independent interest, we give an upper bound on the minimal entropy of pseudo-Anosov maps of surfaces with number of cusps bounded linearly in genus. △ Less

Submitted 9 September, 2021; originally announced September 2021.

Comments: 37 pages, 13 figures

MSC Class: 57K32 (Primary) 57K31; 57K10 (Secondary)

Slope norm and an algorithm to compute the crosscap number

Authors: William Jaco, J. Hyam Rubinstein, Jonathan Spreer, Stephan Tillmann

Abstract: We give three algorithms to determine the crosscap number of a knot in the 3-sphere using $0$-efficient triangulations and normal surface theory. Our algorithms are shown to be correct for a larger class of complements of knots in closed 3-manifolds. The crosscap number is closely related to the minimum over all spanning slopes of a more general invariant, the slope norm. For any irreducible 3-man… ▽ More We give three algorithms to determine the crosscap number of a knot in the 3-sphere using $0$-efficient triangulations and normal surface theory. Our algorithms are shown to be correct for a larger class of complements of knots in closed 3-manifolds. The crosscap number is closely related to the minimum over all spanning slopes of a more general invariant, the slope norm. For any irreducible 3-manifold $M$ with incompressible boundary a torus, we give an algorithm that, for every slope on the boundary that represents the trivial class in $H_1(M; \mathbb{Z}_2)$, determines the maximal Euler characteristic of any properly embedded surface having a boundary curve of this slope. We complement our theoretical work with an implementation of our algorithms, and compute the crosscap number of knots for which previous methods would have been inconclusive. In particular, we determine 196 previously unknown crosscap numbers in the census of all knots with up to 12 crossings. △ Less

Submitted 16 September, 2021; v1 submitted 17 August, 2021; originally announced August 2021.

Comments: 36 pages, 14 figures, 2 tables. Improved algorithms to work in quadrilateral coordinates and included computational results

MSC Class: 57K31; 57K10; 57K32

The Space of Strictly-convex Real-projective structures on a closed manifold

Authors: Daryl Cooper, Stephan Tillmann

Abstract: This is an expository proof that, if $M$ is a compact $n$-manifold with no boundary, then the set of holonomies of strictly-convex real-projective structures on $M$ is a subset of $\operatorname{Hom}(π_1M,\operatorname{PGL}(n+1,\mathbb RR))$ that is both open and closed. This is an expository proof that, if $M$ is a compact $n$-manifold with no boundary, then the set of holonomies of strictly-convex real-projective structures on $M$ is a subset of $\operatorname{Hom}(π_1M,\operatorname{PGL}(n+1,\mathbb RR))$ that is both open and closed. △ Less

Submitted 11 November, 2021; v1 submitted 14 September, 2020; originally announced September 2020.

Comments: Improved exposition, and figures added

MSC Class: 57M50

On properly convex real-projective manifolds with Generalized Cusp

Authors: Daryl Cooper, Stephan Tillmann

Abstract: Suppose $E$ is an end of an irreducible, properly convex, real-projective $n$-manifold $M$. If $π_1E$ contains a subgroup of finite index isomorphic to ${\mathbb Z}^{n-1}$, and $E\hookrightarrow M$ is $π_1$-injective, then $E$ is a generalized cusp. We list some consequences when all ends are of this type. Under certain hypotheses we prove the holonomy of a properly convex manifold is irreducible. Suppose $E$ is an end of an irreducible, properly convex, real-projective $n$-manifold $M$. If $π_1E$ contains a subgroup of finite index isomorphic to ${\mathbb Z}^{n-1}$, and $E\hookrightarrow M$ is $π_1$-injective, then $E$ is a generalized cusp. We list some consequences when all ends are of this type. Under certain hypotheses we prove the holonomy of a properly convex manifold is irreducible. △ Less

Submitted 14 September, 2020; originally announced September 2020.

MSC Class: 57M50

The space of properly-convex structures

Authors: Daryl Cooper, Stephan Tillmann

Abstract: Suppose $G$ is finitely generated group and $\mathcal{C}(G)$ consists of all $ρ:G\to\operatorname{PGL}(n+1,\mathbb{R})$ for which there exists a properly convex set in $\mathbb{R}\mathbb{P}^n$ that is preserved by $ρ(G)$. Then the image of $\mathcal{C}(G)$ is closed in the character variety. Suppose $G$ does not contain an infinite, normal, abelian subgroup and… ▽ More Suppose $G$ is finitely generated group and $\mathcal{C}(G)$ consists of all $ρ:G\to\operatorname{PGL}(n+1,\mathbb{R})$ for which there exists a properly convex set in $\mathbb{R}\mathbb{P}^n$ that is preserved by $ρ(G)$. Then the image of $\mathcal{C}(G)$ is closed in the character variety. Suppose $G$ does not contain an infinite, normal, abelian subgroup and $\mathcal{D}(G)\subset\mathcal{C}(G)$ is the subset of holonomies of properly-convex $n$-manifolds with fundamental group $G$. Then the image $\mathcal{D}(G)$ is closed in the character variety. If $M$ is the interior of a compact $n$-manifold and $G=π_1M$ is as above, and either $M$ is closed, or $π_1M$ contains a subgroup of infinite index isomorphic to $\mathbb{Z}^{n-1}$, then $\mathcal{D}(G)$ is closed. If, in addition, $M$ is the interior of a compact manifold $N$ such that every component of $\partial N$ is $π_1$-injective, and finitely covered by a torus, then every element of $\mathcal{D}(G)$ is the holonomy of a properly-convex structure on $M$, and $\mathcal{D}(G)$ is a union of connected components of a semi-algebraic set. △ Less

Submitted 14 September, 2020; originally announced September 2020.

MSC Class: 57M50; 22E15; 57S25

Projective structures on a hyperbolic 3-orbifold

Authors: Joan Porti, Stephan Tillmann

Abstract: We compute and analyse the moduli space of those real projective structures on a hyperbolic 3-orbifold that are modelled on a single ideal tetrahedron in projective space. Parameterisations are given in terms of classical invariants, traces, and geometric invariants, cross ratios. We compute and analyse the moduli space of those real projective structures on a hyperbolic 3-orbifold that are modelled on a single ideal tetrahedron in projective space. Parameterisations are given in terms of classical invariants, traces, and geometric invariants, cross ratios. △ Less

Submitted 5 January, 2021; v1 submitted 13 April, 2020; originally announced April 2020.

Comments: 9 pages, 1 figure

MSC Class: 57M25; 57N10

Tropical varieties associated to ideal triangulations: The Whitehead link complement

Authors: Stephan Tillmann

Abstract: This paper illustrates a computational approach to Culler-Morgan-Shalen theory using ideal triangulations, spun-normal surfaces and tropical geometry. Certain affine algebraic sets associated to the Whitehead link complement as well as their logarithmic limit sets are computed. The projective solution space of spun-normal surface theory is related to the space of incompressible surfaces and to the… ▽ More This paper illustrates a computational approach to Culler-Morgan-Shalen theory using ideal triangulations, spun-normal surfaces and tropical geometry. Certain affine algebraic sets associated to the Whitehead link complement as well as their logarithmic limit sets are computed. The projective solution space of spun-normal surface theory is related to the space of incompressible surfaces and to the unit ball of the Thurston norm. It is shown that all boundary curves of the Whitehead link complement are strongly detected by its character variety. The specific results obtained can be used to study the geometry and topology of the Whitehead link complement and its Dehn surgeries. The methods can be applied to any cusped hyperbolic 3--manifold of finite volume. △ Less

Submitted 11 November, 2019; originally announced November 2019.

Comments: 44 pages, 15 figures, 7 tables

MSC Class: 57M25; 57N10; 14A25

On Moduli Spaces of Convex Projective Structures on Surfaces: Outitude and Cell-Decomposition in Fock-Goncharov Coordinates

Authors: Robert Haraway, Robert Löwe, Dominic Tate, Stephan Tillmann

Abstract: Generalising a seminal result of Epstein and Penner for cusped hyperbolic manifolds, Cooper and Long showed that each decorated strictly convex projective cusped manifold has a canonical cell decomposition. Penner used the former result to describe a natural cell decomposition of decorated Teichmüller space of punctured surfaces. We extend this cell decomposition to the moduli space of decorated s… ▽ More Generalising a seminal result of Epstein and Penner for cusped hyperbolic manifolds, Cooper and Long showed that each decorated strictly convex projective cusped manifold has a canonical cell decomposition. Penner used the former result to describe a natural cell decomposition of decorated Teichmüller space of punctured surfaces. We extend this cell decomposition to the moduli space of decorated strictly convex projective structures of finite volume on punctured surfaces. The proof uses Fock and Goncharov's $\mathcal{A}$-coordinates for doubly decorated structures. In addition, we describe a simple, intrinsic edge-flip** algorithm to determine the canonical cell decomposition associated to a point in moduli space, and show that Penner's centres of Teichmüller cells are also natural centres of the cells in moduli space. We show that in many cases, the associated holonomy groups are semi-arithmetic. △ Less

Submitted 11 November, 2019; originally announced November 2019.

Comments: 44 pages, 16 Figures

MSC Class: 57M50 (51M10; 51A05; 20H10; 22E40)

Computing closed essential surfaces in 3-manifolds

Authors: Benjamin A. Burton, Stephan Tillmann

Abstract: We present a practical algorithm to test whether a 3-manifold given by a triangulation or an ideal triangulation contains a closed essential surface. This property has important theoretical and algorithmic consequences. As a testament to its practicality, we run the algorithm over a comprehensive body of closed 3-manifolds and knot exteriors, yielding results that were not previously known. The… ▽ More We present a practical algorithm to test whether a 3-manifold given by a triangulation or an ideal triangulation contains a closed essential surface. This property has important theoretical and algorithmic consequences. As a testament to its practicality, we run the algorithm over a comprehensive body of closed 3-manifolds and knot exteriors, yielding results that were not previously known. The algorithm derives from the original Jaco-Oertel framework, involves both enumeration and optimisation procedures, and combines several techniques from normal surface theory. Our methods are relevant for other difficult computational problems in 3-manifold theory, such as the recognition problem for knots, links and 3-manifolds. △ Less

Submitted 30 December, 2018; originally announced December 2018.

Comments: 25 pages, 15 figures; journal version of the conference paper arXiv:1212.1531

MSC Class: 57M25; 57N10

Traversing three-manifold triangulations and spines

Authors: J. Hyam Rubinstein, Henry Segerman, Stephan Tillmann

Abstract: A celebrated result concerning triangulations of a given closed 3-manifold is that any two triangulations with the same number of vertices are connected by a sequence of so-called 2-3 and 3-2 moves. A similar result is known for ideal triangulations of topologically finite non-compact 3-manifolds. These results build on classical work that goes back to Alexander, Newman, Moise, and Pachner. The ke… ▽ More A celebrated result concerning triangulations of a given closed 3-manifold is that any two triangulations with the same number of vertices are connected by a sequence of so-called 2-3 and 3-2 moves. A similar result is known for ideal triangulations of topologically finite non-compact 3-manifolds. These results build on classical work that goes back to Alexander, Newman, Moise, and Pachner. The key special case of 1-vertex triangulations of closed 3-manifolds was independently proven by Matveev and Piergallini. The general result for closed 3-manifolds can be found in work of Benedetti and Petronio, and Amendola gives a proof for topologically finite non-compact 3-manifolds. These results (and their proofs) are phrased in the dual language of spines. The purpose of this note is threefold. We wish to popularise Amendola's result; we give a combined proof for both closed and non-compact manifolds that emphasises the dual viewpoints of triangulations and spines; and we give a proof replacing a key general position argument due to Matveev with a more combinatorial argument inspired by the theory of subdivisions. △ Less

Submitted 26 June, 2019; v1 submitted 6 December, 2018; originally announced December 2018.

Comments: Minor corrections. To appear in L'Enseignement Mathématique. 41 pages, 42 figures

MSC Class: 57Q15; 57Q25; 52B70; 57N10; 57M50; 57M27

Reflections on trisection genus

Authors: Michelle Chu, Stephan Tillmann

Abstract: The Heegaard genus of a 3-manifold, as well as the growth of Heegaard genus in its finite sheeted cover spaces, has extensively been studied in terms of algebraic, geometric and topological properties of the 3-manifold. This note shows that analogous results concerning the trisection genus of a smooth, orientable 4-manifold have more general answers than their counterparts for 3-manifolds. In the… ▽ More The Heegaard genus of a 3-manifold, as well as the growth of Heegaard genus in its finite sheeted cover spaces, has extensively been studied in terms of algebraic, geometric and topological properties of the 3-manifold. This note shows that analogous results concerning the trisection genus of a smooth, orientable 4-manifold have more general answers than their counterparts for 3-manifolds. In the case of hyperbolic 4-manifolds, upper and lower bounds are given in terms of volume and a trisection of the Davis manifold is described. △ Less

Submitted 13 September, 2018; originally announced September 2018.

Comments: 5 pages

MSC Class: 57Q15; 57N13; 51M10; 57M50

On minimal ideal triangulations of cusped hyperbolic 3-manifolds

Authors: William Jaco, Hyam Rubinstein, Jonathan Spreer, Stephan Tillmann

Abstract: 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-puncture… ▽ More 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. △ Less

Submitted 6 September, 2019; v1 submitted 8 August, 2018; originally announced August 2018.

Comments: 34 pages, 20 figures, Accepted for publication by the Journal of Topology

MSC Class: 57Q15; 57N10; 57M50; 57M27

Ideal points of character varieties, algebraic non-integral representations, and undetected closed essential surfaces in 3-manifolds

Authors: Alex Casella, Charles Katerba, Stephan Tillmann

Abstract: Closed essential surfaces in a three-manifold can be detected by ideal points of the character variety or by algebraic non-integral representations. We give examples of closed essential surfaces not detected in either of these ways. For ideal points, we use Chesebro's module-theoretic interpretation of Culler-Shalen theory. As a corollary, we construct an infinite family of closed hyperbolic Haken… ▽ More Closed essential surfaces in a three-manifold can be detected by ideal points of the character variety or by algebraic non-integral representations. We give examples of closed essential surfaces not detected in either of these ways. For ideal points, we use Chesebro's module-theoretic interpretation of Culler-Shalen theory. As a corollary, we construct an infinite family of closed hyperbolic Haken 3-manifolds with no algebraic non-integral representations into PSL(2, C), resolving a question of Shanuel and Zhang. △ Less

Submitted 13 August, 2018; v1 submitted 7 August, 2018; originally announced August 2018.

Comments: 9 pages, 1 figure. Version 2 includes internally referenced ancillary files

MSC Class: 57M27

Moduli spaces of real projective structures on surfaces: Notes on a paper by V.V. Fock and A.B. Goncharov

Authors: Alex Casella, Dominic Tate, Stephan Tillmann

Abstract: These notes grew out of our learning and applying the methods of Fock and Goncharov concerning moduli spaces of real projective structures on surfaces with ideal triangulations. We give a self-contained treatment of Fock and Goncharov's description of the moduli space of framed marked properly convex projective structures with minimal or maximal ends, and deduce results of Marquis and Goldman as c… ▽ More These notes grew out of our learning and applying the methods of Fock and Goncharov concerning moduli spaces of real projective structures on surfaces with ideal triangulations. We give a self-contained treatment of Fock and Goncharov's description of the moduli space of framed marked properly convex projective structures with minimal or maximal ends, and deduce results of Marquis and Goldman as consequences. We also discuss the Poisson structure on moduli space and its relationship to Goldman's Poisson structure on the character variety. △ Less

Submitted 11 January, 2018; originally announced January 2018.

Comments: 65 pages, 26 fugures

MSC Class: 57M50; 51M10; 51A05; 20F65

Determining the trisection genus of orientable and non-orientable PL 4-manifolds through triangulations

Authors: Jonathan Spreer, Stephan Tillmann

Abstract: Gay and Kirby recently introduced the concept of a trisection for arbitrary smooth, oriented closed 4-manifolds, and with it a new topological invariant, called the trisection genus. This paper improves and implements an algorithm due to Bell, Hass, Rubinstein and Tillmann to compute trisections using triangulations, and extends it to non-orientable 4-manifolds. Lower bounds on trisection genus ar… ▽ More Gay and Kirby recently introduced the concept of a trisection for arbitrary smooth, oriented closed 4-manifolds, and with it a new topological invariant, called the trisection genus. This paper improves and implements an algorithm due to Bell, Hass, Rubinstein and Tillmann to compute trisections using triangulations, and extends it to non-orientable 4-manifolds. Lower bounds on trisection genus are given in terms of Betti numbers and used to determine the trisection genus of all standard simply connected PL 4-manifolds. In addition, we construct trisections of small genus directly from the simplicial structure of triangulations using the Budney-Burton census of closed triangulated 4-manifolds. These experiments include the construction of minimal genus trisections of the non-orientable 4-manifolds $S^3 \tilde{\times} S^1$ and $\mathbb{R}P^4$. △ Less

Submitted 27 September, 2018; v1 submitted 13 December, 2017; originally announced December 2017.

Comments: 16 pages, 2 figures, 5 tables

MSC Class: 57Q15; 57N13; 14J28; 57R65

Journal ref: 34th International Symposium on Computational Geometry (SoCG 2018), Leibniz International Proceedings in Informatics (LIPIcs), vol. 99, 71:1-71:13, 2018

Z2-Thurston Norm and Complexity of 3-Manifolds, II

Authors: William Jaco, J. Hyam Rubinstein, Jonathan Spreer, Stephan Tillmann

Abstract: In this sequel to earlier papers by three of the authors, we obtain a new bound on the complexity of a closed 3--manifold, as well as a characterisation of manifolds realising our complexity bounds. As an application, we obtain the first infinite families of minimal triangulations of Seifert fibred spaces modelled on Thurston's geometry $\widetilde{\text{SL}_2(\mathbb{R})}.$ In this sequel to earlier papers by three of the authors, we obtain a new bound on the complexity of a closed 3--manifold, as well as a characterisation of manifolds realising our complexity bounds. As an application, we obtain the first infinite families of minimal triangulations of Seifert fibred spaces modelled on Thurston's geometry $\widetilde{\text{SL}_2(\mathbb{R})}.$ △ Less

Submitted 19 December, 2017; v1 submitted 29 November, 2017; originally announced November 2017.

Comments: 21 pages, 10 figures

MSC Class: 57Q15; 57N10; 57M50; 57M27

Journal ref: Algebr. Geom. Topol. 20 (2020) 503-529

Occupants in simplicial complexes

Authors: Steffen Tillmann

Abstract: Let $M$ be a smooth manifold and $K\subset M$ be a simplicial complex of codimension at least 3. Functor calculus methods lead to a homotopical formula of $M\setminus K$ in terms of spaces $M\setminus T$ where $T$ is a finite subset of $K$. This is a generalization of the author's previous work with Michael Weiss where the subset $K$ is assumed to be a smooth submanifold of $M$ and uses his genera… ▽ More Let $M$ be a smooth manifold and $K\subset M$ be a simplicial complex of codimension at least 3. Functor calculus methods lead to a homotopical formula of $M\setminus K$ in terms of spaces $M\setminus T$ where $T$ is a finite subset of $K$. This is a generalization of the author's previous work with Michael Weiss where the subset $K$ is assumed to be a smooth submanifold of $M$ and uses his generalization of manifold calculus adapted for simplicial complexes. △ Less

Submitted 19 November, 2017; originally announced November 2017.

Journal ref: Algebr. Geom. Topol. 19 (2019) 1265-1298

Computing trisections of 4-manifolds

Authors: Mark Bell, Joel Hass, J. Hyam Rubinstein, Stephan Tillmann

Abstract: Algorithms that decompose a manifold into simple pieces reveal the geometric and topological structure of the manifold, showing how complicated structures are constructed from simple building blocks. This note describes a way to algorithmically construct a trisection, which describes a $4$-dimensional manifold as a union of three $4$-dimensional handlebodies. The complexity of the $4$-manifold is… ▽ More Algorithms that decompose a manifold into simple pieces reveal the geometric and topological structure of the manifold, showing how complicated structures are constructed from simple building blocks. This note describes a way to algorithmically construct a trisection, which describes a $4$-dimensional manifold as a union of three $4$-dimensional handlebodies. The complexity of the $4$-manifold is captured in a collection of curves on a surface, which guide the gluing of the handelbodies. The algorithm begins with a description of a manifold as a union of pentachora, or $4$-dimensional simplices. It transforms this description into a trisection. This results in the first explicit complexity bounds for the trisection genus of a $4$-manifold in terms of the number of pentachora ($4$-simplices) in a triangulation. △ Less

Submitted 7 November, 2017; originally announced November 2017.

Comments: 15 pages, 9 figures

Linear representations of 3-manifold groups over rings

Authors: Stefan Friedl, Montek Gill, Stephan Tillmann

Abstract: The fundamental groups of compact 3-manifolds are known to be residually finite. Feng Luo conjectured that a stronger statement is true, by only allowing finite groups of the form $PGL(2,R),$ where $R$ is some finite commutative ring with identity. We give an equivalent formulation of Luo's conjecture via faithful representations and provide various examples and a counterexample. The fundamental groups of compact 3-manifolds are known to be residually finite. Feng Luo conjectured that a stronger statement is true, by only allowing finite groups of the form $PGL(2,R),$ where $R$ is some finite commutative ring with identity. We give an equivalent formulation of Luo's conjecture via faithful representations and provide various examples and a counterexample. △ Less

Submitted 20 March, 2017; originally announced March 2017.

Comments: 17 pages

MSC Class: 57M27; 57M50

Unravelling the Dodecahedral Spaces

Authors: Jonathan Spreer, Stephan Tillmann

Abstract: The hyperbolic dodecahedral space of Weber and Seifert has a natural non-positively curved cubulation obtained by subdividing the dodecahedron into cubes. We show that the hyperbolic dodecahedral space has a 6-sheeted irregular cover with the property that the canonical hypersurfaces made up of the mid-cubes give a very short hierarchy. Moreover, we describe a 60-sheeted cover in which the associa… ▽ More The hyperbolic dodecahedral space of Weber and Seifert has a natural non-positively curved cubulation obtained by subdividing the dodecahedron into cubes. We show that the hyperbolic dodecahedral space has a 6-sheeted irregular cover with the property that the canonical hypersurfaces made up of the mid-cubes give a very short hierarchy. Moreover, we describe a 60-sheeted cover in which the associated cubulation is special. We also describe the natural cubulation and covers of the spherical dodecahedral space (aka Poincaré homology sphere). △ Less

Submitted 2 July, 2017; v1 submitted 26 February, 2017; originally announced February 2017.

Comments: 15 pages + 6 pages appendix, 7 figures, 4 tables

MSC Class: 57N10; 57M20; 57N35

Journal ref: 2016 MATRIX annals, MATRIX Book Ser., vol. 1, 323-347, 2018

Manifold calculus adapted for simplicial complexes

Authors: Steffen Tillmann

Abstract: We develop a generalization of manifold calculus in the sense of Goodwillie-Weiss where the manifold is replaced by a simplicial complex. We consider functors from the category of open subsets of a fixed simplical complex into the category of topological spaces and prove an analogue of the approximation theorem. Namely, under certain conditions such a functor can be approximated by a tower of (app… ▽ More We develop a generalization of manifold calculus in the sense of Goodwillie-Weiss where the manifold is replaced by a simplicial complex. We consider functors from the category of open subsets of a fixed simplical complex into the category of topological spaces and prove an analogue of the approximation theorem. Namely, under certain conditions such a functor can be approximated by a tower of (appropriately adapted) polynomial functors. △ Less

Submitted 19 November, 2017; v1 submitted 18 February, 2017; originally announced February 2017.

Comments: new introduction and some typos corrected

Groups and polytopes

Authors: Stefan Friedl, Wolfgang Lück, Stephan Tillmann

Abstract: In a series of papers the authors associated to an $L^2$-acyclic group $Γ$ an invariant $\mathcal{P}(Γ)$ that is a formal difference of polytopes in the vector space $H_1(Γ;\Bbb{R})$. This invariant is in particular defined for most 3-manifold groups, for most 2-generator 1-relator groups and for all free-by-cyclic groups. In most of the above cases the invariant can be viewed as an actual polytop… ▽ More In a series of papers the authors associated to an $L^2$-acyclic group $Γ$ an invariant $\mathcal{P}(Γ)$ that is a formal difference of polytopes in the vector space $H_1(Γ;\Bbb{R})$. This invariant is in particular defined for most 3-manifold groups, for most 2-generator 1-relator groups and for all free-by-cyclic groups. In most of the above cases the invariant can be viewed as an actual polytope. In this survey paper we will recall the definition of the polytope invariant $\mathcal{P}(Γ)$ and we state some of the main properties. We conclude with a list of open problems. △ Less

Submitted 6 November, 2016; originally announced November 2016.

Comments: 19 pages, 4 figures

Multisections of piecewise linear manifolds

Authors: J. Hyam Rubinstein, Stephan Tillmann

Abstract: Recently Gay and Kirby described a new decomposition of smooth closed $4$-manifolds called a trisection. This paper generalises Heegaard splittings of $3$-manifolds and trisections of $4$-manifolds to all dimensions, using triangulations as a key tool. In particular, we prove that every closed piecewise linear $n$-manifold has a multisection, i.e. can be divided into $k+1$ $n$-dimensional $1$-hand… ▽ More Recently Gay and Kirby described a new decomposition of smooth closed $4$-manifolds called a trisection. This paper generalises Heegaard splittings of $3$-manifolds and trisections of $4$-manifolds to all dimensions, using triangulations as a key tool. In particular, we prove that every closed piecewise linear $n$-manifold has a multisection, i.e. can be divided into $k+1$ $n$-dimensional $1$-handlebodies, where $n=2k+1$ or $n=2k$, such that intersections of the handlebodies have spines of small dimensions. Several applications, constructions and generalisations of our approach are given. △ Less

Submitted 23 November, 2017; v1 submitted 10 February, 2016; originally announced February 2016.

Comments: 23 pages, 6 figures

MSC Class: 52B70; 53C21; 57N15

Tessellating the moduli space of strictly convex projective structures on the once-punctured torus

Authors: Robert C. Haraway III, Stephan Tillmann

Abstract: We show that associating the Euclidean cell decomposition due to Cooper and Long to each point of the moduli space of framed strictly convex real projective structures of finite volume on the once-punctured torus gives this moduli space a natural cell decomposition. The proof makes use of coordinates due to Fock and Goncharov, the action of the map** class group as well as algorithmic real algeb… ▽ More We show that associating the Euclidean cell decomposition due to Cooper and Long to each point of the moduli space of framed strictly convex real projective structures of finite volume on the once-punctured torus gives this moduli space a natural cell decomposition. The proof makes use of coordinates due to Fock and Goncharov, the action of the map** class group as well as algorithmic real algebraic geometry. We also show that the decorated moduli space of framed strictly convex real projective structures of finite volume on the thrice-punctured sphere has a natural cell decomposition. △ Less

Submitted 8 May, 2017; v1 submitted 14 December, 2015; originally announced December 2015.

Comments: 22 pages, 7 figures; v2: small edits and correction of typographical errors

MSC Class: 57M50; 57N05; 14H15

An algorithm for the Euclidean cell decomposition of a cusped strictly convex projective surface

Authors: Stephan Tillmann, Sampson Wong

Abstract: Cooper and Long generalised Epstein and Penner's Euclidean cell decomposition of cusped hyperbolic manifolds of finite volume to non-compact strictly convex projective manifolds of finite volume. We show that Weeks' algorithm to compute this decomposition for a hyperbolic surface generalises to strictly convex projective surfaces. Cooper and Long generalised Epstein and Penner's Euclidean cell decomposition of cusped hyperbolic manifolds of finite volume to non-compact strictly convex projective manifolds of finite volume. We show that Weeks' algorithm to compute this decomposition for a hyperbolic surface generalises to strictly convex projective surfaces. △ Less

Submitted 5 December, 2015; originally announced December 2015.

Comments: 15 pages, 10 figures

MSC Class: 57M25; 57N10

Deforming convex projective manifolds

Authors: Daryl Cooper, Darren Long, Stephan Tillmann

Abstract: We study a properly convex real projective manifold with (possibly empty) compact, strictly convex boundary, and which consists of a compact part plus finitely many convex ends. We extend a theorem of Koszul which asserts that for a compact manifold without boundary the holonomies of properly convex structures form an open subset of the representation variety. We also give a relative version for n… ▽ More We study a properly convex real projective manifold with (possibly empty) compact, strictly convex boundary, and which consists of a compact part plus finitely many convex ends. We extend a theorem of Koszul which asserts that for a compact manifold without boundary the holonomies of properly convex structures form an open subset of the representation variety. We also give a relative version for non-compact (G,X)-manifolds of the openess of their holonomies. △ Less

Submitted 18 January, 2018; v1 submitted 19 November, 2015; originally announced November 2015.

Comments: Exposition improved and references added

MSC Class: 57M50

Journal ref: Geom. Topol. 22 (2018) 1349-1404

Pseudo-develo** maps for ideal triangulations II: Positively oriented ideal triangulations of cone-manifolds

Authors: Alex Casella, Feng Luo, Stephan Tillmann

Abstract: We generalise work of Young-Eun Choi to the setting of ideal triangulations with vertex links of arbitrary genus, showing that the set of all (possibly incomplete) hyperbolic cone-manifold structures realised by positively oriented hyperbolic ideal tetrahedra on a given topological ideal triangulation and with prescribed cone angles at all edges is (if non-empty) a smooth complex manifold of dimen… ▽ More We generalise work of Young-Eun Choi to the setting of ideal triangulations with vertex links of arbitrary genus, showing that the set of all (possibly incomplete) hyperbolic cone-manifold structures realised by positively oriented hyperbolic ideal tetrahedra on a given topological ideal triangulation and with prescribed cone angles at all edges is (if non-empty) a smooth complex manifold of dimension the sum of the genera of the vertex links. Moreover, we show that the complex lengths of a collection of peripheral elements give a local holomorphic parameterisation of this manifold. △ Less

Submitted 12 May, 2016; v1 submitted 7 September, 2015; originally announced September 2015.

Comments: 19 pages, 4 figures, 2 tables; to appear in the Proceedings of the American Mathematical Society

MSC Class: 57M25; 57N10

Thurston norm via Fox calculus

Authors: Stefan Friedl, Kevin Schreve, Stephan Tillmann

Abstract: In 1976 Thurston associated to a $3$-manifold $N$ a marked polytope in $H_1(N;\mathbb{R}),$ which measures the minimal complexity of surfaces representing homology classes and determines all fibered classes in $H^1(N;\mathbb{R})$. Recently the first and the last author associated to a presentation $π$ with two generators and one relator a marked polytope in $H_1(π;\mathbb{R})$ and showed that it d… ▽ More In 1976 Thurston associated to a $3$-manifold $N$ a marked polytope in $H_1(N;\mathbb{R}),$ which measures the minimal complexity of surfaces representing homology classes and determines all fibered classes in $H^1(N;\mathbb{R})$. Recently the first and the last author associated to a presentation $π$ with two generators and one relator a marked polytope in $H_1(π;\mathbb{R})$ and showed that it determines the Bieri-Neumann-Strebel invariant of $π$. In this paper, we show that if the fundamental group of a 3-manifold $N$ admits such a presentation $π$, then the corresponding marked polytopes in $H_1(N;\mathbb{R})=H_1(π;\mathbb{R})$ agree. △ Less

Submitted 20 July, 2015; originally announced July 2015.

Comments: 20 pages, 2 figures

MSC Class: 57M27; 57M05; 20J05; 57R19

Journal ref: Geom. Topol. 21 (2017) 3759-3784

Complexity functions on 1-dimensional cohomology

Authors: Daryl Cooper, Stephan Tillmann

Abstract: For a smooth, closed $n$-manifold $M$, we define an upper semi-continuous integer-valued complexity function on $H^1(M;{\mathbb R})$ using Morse theory. This measures how far an integral class is from being a fiber of a fibration. The fact complexity minimisers are open generalises Tischler's result on the openness of classes dual to fibrations. We then use this to define a complexity function on… ▽ More For a smooth, closed $n$-manifold $M$, we define an upper semi-continuous integer-valued complexity function on $H^1(M;{\mathbb R})$ using Morse theory. This measures how far an integral class is from being a fiber of a fibration. The fact complexity minimisers are open generalises Tischler's result on the openness of classes dual to fibrations. We then use this to define a complexity function on 1-dimensional cohomology of a finitely presented group, which is constant on open rays from the origin and vanishes precisely on the geometric invariant due to Bieri, Neumann and Strebel. △ Less

Submitted 5 June, 2015; originally announced June 2015.

Comments: 13 pages, to appear in Proceedings of the 5th Japanese-Australian Workshop on Real and Complex Singularities

MSC Class: 57M25; 57N10; 20E06

Occupants in manifolds

Authors: Steffen Tillmann, Michael S. Weiss

Abstract: Let K be a subset of a smooth manifold M. In some cases functor calculus methods lead to a homotopical formula for M minus K in terms of the subspaces M minus S, where S runs through the finite subsets of K. Let K be a subset of a smooth manifold M. In some cases functor calculus methods lead to a homotopical formula for M minus K in terms of the subspaces M minus S, where S runs through the finite subsets of K. △ Less

Submitted 3 February, 2016; v1 submitted 2 March, 2015; originally announced March 2015.

Comments: There is a sequel to this paper: title "Configuration categories and homotopy automorphisms". v2: some typos corrected, v3: some errors in section 1 corrected. v4: more errors corrected and therefore number of authors increased from 1 to 2. v5: more errors corrected especially in section 3. v6: just a few typos corrected and pointers added

MSC Class: 57R19; 55P65

Two-generator one-relator groups and marked polytopes

Authors: Stefan Friedl, Stephan Tillmann

Abstract: We use Fox calculus to assign a marked polytope to a `nice' group presentation with two generators and one relator. Relating the marked vertices to Novikov-Sikorav homology we show that they determine the Bieri-Neumann-Strebel invariant of the group. Furthermore we show that in many cases the marked polytope is an invariant of the underlying group and that in those cases the marked polytope also d… ▽ More We use Fox calculus to assign a marked polytope to a `nice' group presentation with two generators and one relator. Relating the marked vertices to Novikov-Sikorav homology we show that they determine the Bieri-Neumann-Strebel invariant of the group. Furthermore we show that in many cases the marked polytope is an invariant of the underlying group and that in those cases the marked polytope also determines the minimal complexity of all the associated HNN-splittings. △ Less

Submitted 14 January, 2015; originally announced January 2015.

Comments: 33 pages, 5 figures

MSC Class: 20J05; 20F65; 22E40; 57R19

2-manifold recognition is in logspace

Authors: Benjamin A. Burton, Murray Elder, Arkadius Kalka, Stephan Tillmann

Abstract: We prove that the homeomorphism problem for 2-manifolds can be decided in logspace. The proof relies on Reingold's logspace solution to the undirected $s,t$-connectivity problem in graphs. We prove that the homeomorphism problem for 2-manifolds can be decided in logspace. The proof relies on Reingold's logspace solution to the undirected $s,t$-connectivity problem in graphs. △ Less

Submitted 2 December, 2014; originally announced December 2014.

Comments: 11 pages, 2 figures

MSC Class: 57M99; 68Q15 ACM Class: F.2.2; F.1.3

Triangulations of 3-manifolds with essential edges

Authors: Craig D. Hodgson, J. Hyam Rubinstein, Henry Segerman, Stephan Tillmann

Abstract: We define essential and strongly essential triangulations of 3-manifolds, and give four constructions using different tools (Heegaard splittings, hierarchies of Haken 3-manifolds, Epstein-Penner decompositions, and cut loci of Riemannian manifolds) to obtain triangulations with these properties under various hypotheses on the topology or geometry of the manifold. We also show that a semi-angle str… ▽ More We define essential and strongly essential triangulations of 3-manifolds, and give four constructions using different tools (Heegaard splittings, hierarchies of Haken 3-manifolds, Epstein-Penner decompositions, and cut loci of Riemannian manifolds) to obtain triangulations with these properties under various hypotheses on the topology or geometry of the manifold. We also show that a semi-angle structure is a sufficient condition for a triangulation of a 3-manifold to be essential, and a strict angle structure is a sufficient condition for a triangulation to be strongly essential. Moreover, algorithms to test whether a triangulation of a 3-manifold is essential or strongly essential are given. △ Less

Submitted 29 April, 2015; v1 submitted 1 December, 2014; originally announced December 2014.

Comments: 30 pages, 14 figures. Exposition improved

MSC Class: 57N10; 57Q15

Bounds for the genus of a normal surface

Authors: William Jaco, Jesse Johnson, Jonathan Spreer, Stephan Tillmann

Abstract: This paper gives sharp linear bounds on the genus of a normal surface in a triangulated compact, orientable 3--manifold in terms of the quadrilaterals in its cell decomposition---different bounds arise from varying hypotheses on the surface or triangulation. Two applications of these bounds are given. First, the minimal triangulations of the product of a closed surface and the closed interval are… ▽ More This paper gives sharp linear bounds on the genus of a normal surface in a triangulated compact, orientable 3--manifold in terms of the quadrilaterals in its cell decomposition---different bounds arise from varying hypotheses on the surface or triangulation. Two applications of these bounds are given. First, the minimal triangulations of the product of a closed surface and the closed interval are determined. Second, an alternative approach to the realisation problem using normal surface theory is shown to be less powerful than its dual method using subcomplexes of polytopes. △ Less

Submitted 24 November, 2014; originally announced November 2014.

Comments: 38 pages, 25 figures

MSC Class: 57N10; 57Q15; 57M20; 57N35; 53A05

Journal ref: Geom. Topol. 20 (2016) 1625-1671

Even triangulations of n-dimensional pseudo-manifolds

Authors: J. Hyam Rubinstein, Stephan Tillmann

Abstract: This paper introduces even triangulations of n-dimensional pseudo-manifolds and links their combinatorics to the topology of the pseudo-manifolds. This is done via normal hypersurface theory and the study of certain symmetric representation. In dimension 3, necessary and sufficient conditions for the existence of even triangulations having one or two vertices are given. For Haken n-manifolds, an i… ▽ More This paper introduces even triangulations of n-dimensional pseudo-manifolds and links their combinatorics to the topology of the pseudo-manifolds. This is done via normal hypersurface theory and the study of certain symmetric representation. In dimension 3, necessary and sufficient conditions for the existence of even triangulations having one or two vertices are given. For Haken n-manifolds, an interesting connection between very short hierarchies and even triangulations is observed. △ Less

Submitted 4 June, 2014; originally announced June 2014.

Comments: 28 pages, 6 figures

MSC Class: 57M25; 57N10

Journal ref: Algebr. Geom. Topol. 15 (2015) 2949-2984

A new combinatorial class of 3-manifold triangulations

Authors: Feng Luo, Stephan Tillmann

Abstract: We define a new combinatorial class of triangulations of closed 3-manifolds, satisfying a weak version of 0-efficiency combined with a weak version of minimality, and study them using twisted squares. As an application, we obtain strong restrictions on the topology of a 3-manifold from the existence of non-smooth maxima of the volume function on the space of circle-valued angle structures. We define a new combinatorial class of triangulations of closed 3-manifolds, satisfying a weak version of 0-efficiency combined with a weak version of minimality, and study them using twisted squares. As an application, we obtain strong restrictions on the topology of a 3-manifold from the existence of non-smooth maxima of the volume function on the space of circle-valued angle structures. △ Less

Submitted 21 December, 2015; v1 submitted 18 December, 2013; originally announced December 2013.

Comments: 28 pages, 23 figures; colour printing recommended; to appear in AJM

MSC Class: 57M25; 57N10

A birationality result for character varieties

Authors: Ben Klaff, Stephan Tillmann

Abstract: Let M be an orientable, cusped hyperbolic 3-manifold of finite volume. We show that the restriction map from a Dehn surgery component in the PSL(2,C)-character variety of M to the character variety of the boundary of M is a birational isomorphism onto its image. This generalises a result by Nathan Dunfield. A key step in our proof is the exactness of Craig Hodgson's volume differential on the eige… ▽ More Let M be an orientable, cusped hyperbolic 3-manifold of finite volume. We show that the restriction map from a Dehn surgery component in the PSL(2,C)-character variety of M to the character variety of the boundary of M is a birational isomorphism onto its image. This generalises a result by Nathan Dunfield. A key step in our proof is the exactness of Craig Hodgson's volume differential on the eigenvalue variety. △ Less

Submitted 19 August, 2015; v1 submitted 23 September, 2013; originally announced September 2013.

Comments: 8 pages; minor corrections in light of referee's comments; to appear in Mathematical Research Letters

MSC Class: 57M27

Computing closed essential surfaces in knot complements

Authors: Benjamin A. Burton, Alexander Coward, Stephan Tillmann

Abstract: We present a new, practical algorithm to test whether a knot complement contains a closed essential surface. This property has important theoretical and algorithmic consequences; however, systematically testing it has until now been infeasibly slow, and current techniques only apply to specific families of knots. As a testament to its practicality, we run the algorithm over a comprehensive body of… ▽ More We present a new, practical algorithm to test whether a knot complement contains a closed essential surface. This property has important theoretical and algorithmic consequences; however, systematically testing it has until now been infeasibly slow, and current techniques only apply to specific families of knots. As a testament to its practicality, we run the algorithm over a comprehensive body of 2979 knots, including the two 20-crossing dodecahedral knots, yielding results that were not previously known. The algorithm derives from the original Jaco-Oertel framework, involves both enumeration and optimisation procedures, and combines several techniques from normal surface theory. This represents substantial progress in the practical implementation of normal surface theory, in that we can systematically solve a theoretically double exponential-time problem for significant inputs. Our methods are relevant for other difficult computational problems in 3-manifold theory, ranging from testing for Haken-ness to the recognition problem for knots, links and 3-manifolds. △ Less

Submitted 7 December, 2012; originally announced December 2012.

Comments: 27 pages, 11 figures

Journal ref: SCG '13: Proceedings of the 29th Annual Symposium on Computational Geometry, ACM, 2013, pp. 405-414

On Convex Projective Manifolds and Cusps

Authors: Daryl Cooper, Darren Long, Stephan Tillmann

Abstract: This study of properly or strictly convex real projective manifolds introduces notions of parabolic, horosphere and cusp. Results include a Margulis lemma and in the strictly convex case a thick-thin decomposition. Finite volume cusps are shown to be projectively equivalent to cusps of hyperbolic manifolds. This is proved using a characterization of ellipsoids in projective space. Except in dime… ▽ More This study of properly or strictly convex real projective manifolds introduces notions of parabolic, horosphere and cusp. Results include a Margulis lemma and in the strictly convex case a thick-thin decomposition. Finite volume cusps are shown to be projectively equivalent to cusps of hyperbolic manifolds. This is proved using a characterization of ellipsoids in projective space. Except in dimension 3, there are only finitely many topological types of strictly convex manifolds with bounded volume. In dimension 4 and higher, the diameter of a closed strictly convex manifold is at most 9 times the diameter of the thick part. There is an algebraic characterization of strict convexity in terms of relative hyperbolicity. △ Less

Submitted 5 June, 2012; v1 submitted 2 September, 2011; originally announced September 2011.

Comments: 52 pages, 10 figures, minor corrections and additional references

Pseudo-Develo** Maps for Ideal Triangulations I: Essential Edges and Generalised Hyperbolic Gluing Equations

Authors: Henry Segerman, Stephan Tillmann

Abstract: Let N be a topologically finite, orientable 3-manifold with ideal triangulation. We show that if there is a solution to the hyperbolic gluing equations, then all edges in the triangulation are essential. This result is extended to a generalisation of the hyperbolic gluing equations, which enables the construction of hyperbolic cone-manifold structures on N with singular locus contained in the 1-sk… ▽ More Let N be a topologically finite, orientable 3-manifold with ideal triangulation. We show that if there is a solution to the hyperbolic gluing equations, then all edges in the triangulation are essential. This result is extended to a generalisation of the hyperbolic gluing equations, which enables the construction of hyperbolic cone-manifold structures on N with singular locus contained in the 1-skeleton of the triangulation. △ Less

Submitted 6 July, 2011; originally announced July 2011.

Comments: 19 pages, 8 figures, to appear in the proceedings of Jacofest

MSC Class: 57M25; 57N10

Veering triangulations admit strict angle structures

Authors: Craig D. Hodgson, J. Hyam Rubinstein, Henry Segerman, Stephan Tillmann

Abstract: Agol recently introduced the concept of a veering taut triangulation, which is a taut triangulation with some extra combinatorial structure. We define the weaker notion of a "veering triangulation" and use it to show that all veering triangulations admit strict angle structures. We also answer a question of Agol, giving an example of a veering taut triangulation that is not layered. Agol recently introduced the concept of a veering taut triangulation, which is a taut triangulation with some extra combinatorial structure. We define the weaker notion of a "veering triangulation" and use it to show that all veering triangulations admit strict angle structures. We also answer a question of Agol, giving an example of a veering taut triangulation that is not layered. △ Less

Submitted 16 November, 2010; originally announced November 2010.

Comments: 15 pages, 9 figures

MSC Class: 57M50

Journal ref: Geom. Topol. 15 (2011) 2073-2089

Thurston's Spinning Construction and Solutions to the Hyperbolic Gluing Equations for Closed Hyperbolic 3-Manifolds

Authors: Feng Luo, Stephan Tillmann, Tian Yang

Abstract: We show that the hyperbolic structure on a closed, orientable, hyperbolic 3-manifold can be constructed from a solution to the hyperbolic gluing equations using any triangulation with essential edges. The key ingredients in the proof are Thurston's spinning construction and a volume rigidity result attributed by Dunfield to Thurston, Gromov and Goldman. As an application, we show that this gives a… ▽ More We show that the hyperbolic structure on a closed, orientable, hyperbolic 3-manifold can be constructed from a solution to the hyperbolic gluing equations using any triangulation with essential edges. The key ingredients in the proof are Thurston's spinning construction and a volume rigidity result attributed by Dunfield to Thurston, Gromov and Goldman. As an application, we show that this gives a new algorithm to detect hyperbolic structures on closed 3-manifolds. △ Less

Submitted 17 April, 2010; originally announced April 2010.

Comments: 17 pages

MSC Class: 57M25; 57N10

The Weber-Seifert dodecahedral space is non-Haken

Authors: Benjamin A. Burton, J. Hyam Rubinstein, Stephan Tillmann

Abstract: In this paper we settle Thurston's old question of whether the Weber-Seifert dodecahedral space is non-Haken, a problem that has been a benchmark for progress in computational 3-manifold topology over recent decades. We resolve this question by combining recent significant advances in normal surface enumeration, new heuristic pruning techniques, and a new theoretical test that extends the seminal… ▽ More In this paper we settle Thurston's old question of whether the Weber-Seifert dodecahedral space is non-Haken, a problem that has been a benchmark for progress in computational 3-manifold topology over recent decades. We resolve this question by combining recent significant advances in normal surface enumeration, new heuristic pruning techniques, and a new theoretical test that extends the seminal work of Jaco and Oertel. △ Less

Submitted 23 July, 2010; v1 submitted 25 September, 2009; originally announced September 2009.

Comments: 22 pages, 10 figures, 3 tables; v2: expanded introduction; v3: minor revisions (accepted for Trans. Amer. Math. Soc.)

MSC Class: 57N10

Journal ref: Transactions of the American Mathematical Society 364 (2012), no. 2, 911-932

Z2-Thurston Norm and Complexity of 3-Manifolds

Authors: William Jaco, J. Hyam Rubinstein, Stephan Tillmann

Abstract: 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. 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. △ Less

Submitted 26 June, 2009; originally announced June 2009.

Comments: 19 pages, 4 figures

MSC Class: 57M25; 57N10

Coverings and Minimal Triangulations of 3-Manifolds

Authors: William Jaco, J. Hyam Rubinstein, Stephan Tillmann

Abstract: 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… ▽ More 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. △ Less

Submitted 28 February, 2009; originally announced March 2009.

Comments: 8 pages, 3 figures

MSC Class: 57M25; 57N10

Journal ref: Algebr. Geom. Topol. 11 (2011) 1257-1265

Minimal triangulations for an infinite family of lens spaces

Authors: William Jaco, J. Hyam Rubinstein, Stephan Tillmann

Abstract: The notion of a layered triangulation of a lens space was defined by Jaco and Rubinstein in earlier work, and, unless the lens space is L(3,1), a layered triangulation with the minimal number of tetrahedra was shown to be unique and termed its "minimal layered triangulation." This paper proves that for each integer n>1, the minimal layered triangulation of the lens space L(2n,1) is its unique mi… ▽ More The notion of a layered triangulation of a lens space was defined by Jaco and Rubinstein in earlier work, and, unless the lens space is L(3,1), a layered triangulation with the minimal number of tetrahedra was shown to be unique and termed its "minimal layered triangulation." This paper proves that for each integer n>1, the minimal layered triangulation of the lens space L(2n,1) is its unique minimal triangulation. More generally, the minimal triangulations (and hence the complexity) are determined for an infinite family of lens spaces containing the lens spaces L(2n,1). △ Less

Submitted 15 May, 2008; originally announced May 2008.

Comments: 32 pages, 6 figures

MSC Class: 57M25; 57N10