BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
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.
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 Zn−1, and E↪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 G is finitely generated group and C(G) consists of all ρ:G→PGL(n+1,R) for which there exists a properly convex set in RPn that is preserved by ρ(G). Then the image of C(G) is closed in the character variety. Suppose G does not contain an infinite, normal, abelian subgroup and D(G)⊂C(G) is the subset of holonomies of properly-convex n-manifolds with fundamental group G. Then the image 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 Zn−1, then D(G) is closed. If, in addition, M is the interior of a compact manifold N such that every component of ∂N is π1-injective, and finitely covered by a torus, then every element of D(G) is the holonomy of a properly-convex structure on M, and D(G) is a union of connected components of a semi-algebraic set.
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.
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 SL2(R).
In a series of papers the authors associated to an L2-acyclic group Γ an invariant P(Γ) that is a formal difference of polytopes in the vector space H1(Γ;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 P(Γ) and we state some of the main properties. We conclude with a list of open problems.
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.
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.
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.
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.
For a smooth, closed n-manifold M, we define an upper semi-continuous integer-valued complexity function on H1(M;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.
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.
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.
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.
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.
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.
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.
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.
Let M be a cusped 3-manifold, and let T be an ideal triangulation of M. The deformation variety D(T), a subset of which parameterises (incomplete) hyperbolic structures obtained on M using T, is defined and compactified by adding certain projective classes of transversely measured singular codimension-one foliations of M. This leads to a combinatorial and geometric variant of well-known constructions by Culler, Morgan and Shalen concerning the character variety of a 3-manifold.
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.
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.
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.
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.
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 S3/Q4k have complexity k, where k≥2. Moreover, it is shown that their minimal triangulations are unique.
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).
We describe a birational map between subvarieties in the character varieties of mutative 3-manifolds. By studying the birational map, one can decide in certain circumstances whether a mutation surface is detected by an ideal point of the character variety.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.