We show that the interior of the convex core of a quasifuchsian punctured-torus group admits an ideal decomposition (usually an infinite triangulation) which is canonical in two different senses: in a combinatorial sense via the pleating invariants, and in a geometric sense via an Epstein-Penner convex hull construction in Minkowski space. The result extends to certain non-quasifuchsian punctured-torus groups, and in fact to all of them if a strong version of the Pleating Lamination Conjecture is true.
We compute the number of systoles, the shortest simple closed geodesics and 2-systoles, the second shortest simple closed geodesics on hyperbolic surfaces homeomorphic to once-punctured torus and four-punctured sphere.
We generalize Dynnikov coordinate system previosly defined on the standard punctured disk to an orientable surface of genus-1 with n punctures and one boundary component.
Gang, Kim and Yoon have recently proposed a conjecture on a vanishing identity of adjoint Reidemeister torsions of hyperbolic 3-manifolds with torus boundary, from the viewpoint of wrapped M5-branes. In this paper, we provide infinitely many new supporting examples to this conjecture. These examples come from hyperbolic once-punctured torus bundles. We show that the vanishing identity holds for all hyperbolic once-punctured torus bundles with tunnel number one. We also show the vanishing identity does not hold for any torus knot exteriors.
In this paper we give a necessary and sufficient condition in which a sequence of Kleinian punctured torus groups converges. This result tells us that every exotically convergent sequence of Kleinian punctured torus groups is obtained by the method due to Anderson and Canary. Thus we obtain a complete description of the set of points at which the space of Kleinian punctured torus groups self-bumps. We also discuss geometric limits of sequences of Bers slices.
Let M be a hyperbolic manifold of finite volume which fibers over the circle with fiber a once punctured torus, and let S be an arbitrary incompressible surface in M. We determine the characteristic JSJ-subpair of M-S and show, in particular, that the guts of (M,S) is empty.
We prove the hyperbolization theorem for punctured torus bundles and two-bridge link complements by decomposing them into ideal tetrahedra which are then given hyperbolic structures, following Rivin's volume maximization principle.
A generalized torsion in a group, an non-trivial element such that some products of its conjugates is the identity. This is an obstruction for a group being bi-orderable. Though it is known that there is a non bi-orderable group without generalized torsions, it is conjectured that 3-manifold groups without generalized torsions are bi-orderable. In this paper, we find generalized torsions in the fundamental groups of once punctured torus bundles which are not bi-orderable. Our result contains a generalized torsion in a tunnel number two hyperbolic once punctured torus bundle.
We prove Thurston's bending measure conjecture for quasifuchsian once punctured torus groups. The conjecture states that the bending measures of the two components of the convex hull boundary uniquely determine the group.
Unlike in hyperbolic geometry, the monodromy ideal triangulation of a hyperbolic once-punctured torus bundle $M_f$ has no natural geometric realisation in Cauchy-Riemann (CR) space. By introducing a new type of $3$--cell, we construct a different cell decomposition $\mathcal{D}_f$ of $M_f$ that is always realisable in CR space. As a consequence, we show that every hyperbolic once-punctured torus bundle admits a branched CR structure, whose branch locus is the set of edges of $\mathcal{D}_f$. Furthermore, we explicitly compute the ramification order around each component of the branch locus and…
We classify right-veering homeomorphisms of the once-punctured torus using the Burau representation of the 3-strand braid group. We show that reducible and periodic mapping classes in B_3 can be identified as right-veering by consideration of the reduced version of the Burau representation. Given any element beta in B_3, we give a method to quickly determine its action on the generators of the fundamental group of the 3-times punctured disk. This action which determines whether beta is right-veering, left-veering, or neither.
In this paper, we determine the canonical polyhedral decomposition of every hyperbolic once-punctured torus bundle over the circle. In fact, we show that the only ideal polyhedral decomposition that is straight in the hyperbolic structure and that is invariant under a certain involution is the ideal triangulation defined by Floyd and Hatcher. Unlike previous work on this problem, the techniques we use are not geometric. Instead, they involve angled polyhedral decompositions, thin position and a version of almost normal surface theory.
In this paper, $S$ denotes a surface homeomorphic to a punctured torus or a pair of pants. Our interest is the study of \emph{\textbf{combinatorial $k$-systoles}} that is closed curves with self-intersection numbers greater than $k$ and with least combinatorial length. We show that the maximal intersection number $I^c_k$ of combinatorial $k$-systoles of $S$ grows like $k$ and $\underset{k\rightarrow+\infty}{\limsup}(I^c_k-k)=+\infty$. This result, in case of a pair of pants and a punctured torus, is a positive response to the combinatorial version of the Erlandsson - Parlier conjecture, origin…
We classify incompressible, boundary-incompressible, nonorientable surfaces in punctured-torus bundles over $S^1$. We use the ideas of Floyd, Hatcher, and Thurston. The main tool is to put our surface in the "Morse position" with respect to the projection of the bundle into the basis S^1.
Thurston's ending lamination conjecture proposes that a finitely generated Kleinian group is uniquely determined (up to isometry) by the topology of its quotient and a list of invariants that describe the asymptotic geometry of its ends. We present a proof of this conjecture for punctured-torus groups. These are free two-generator Kleinian groups with parabolic commutator, which should be thought of as representations of the fundamental group of a punctured torus. As a consequence we verify the conjectural topological description of the deformation space of punctured-torus groups (including Be…
We investigate the structure of the tri-pants graph, a simplicial graph introduced by Maloni and Palesi, whose vertices correspond to particular collections of homotopy classes of simple closed curves of the twice-punctured torus, called tri-pants, and whose edges connect two vertices whenever the corresponding pants differ by suitable elementary moves. In particular, by examining the relationship between the tri-pants graph and the dual of the Farey complex, we prove that the tri-pants graph is connected and has infinite diameter.
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 mapping 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.
We obtain new variations of the original McShane identity for those SL(2,C)-representations of the once punctured torus group which satisfy the Bowditch conditions, and also for those fixed up to conjugacy by an Anosov mapping class of the torus and satisfying the relative Bowditch conditions.
In this paper we study the typical speed of a generic earthquake trajectory leaving compact sets in the moduli space of the once-punctured torus. Mirzakhani showed that the earthquake flow is measurably equivalent to the horocyclic flow, which has been studied extensively. Our main result shows that the earthquake flow and the horocyclic flow behave very differently in cusp excursions. In particular, we prove a relation between the systole function and continued fractions and discuss the cusp excursions of earthquake trajectories.
We develop an algebraic representation for (1,1)-knots using the mapping class group of the twice punctured torus MCG(T,2). We prove that every (1,1)-knot in a lens space L(p,q) can be represented by the composition of an element of a certain rank two free subgroup of MCG(T,2) with a standard element only depending on the ambient space. As a notable examples, we obtain a representation of this type for all torus knots and for all two-bridge knots. Moreover, we give explicit cyclic presentations for the fundamental groups of the cyclic branched coverings of torus knots of type (k,ck+2).
We study earthquake deformations on Teichmüller space associated with simple closed curves of the once-punctured torus. We describe two methods to get an explicit form of the earthquake deformation for any simple closed curve. The first method is rooted in linear recurrence relations, the second in hyperbolic geometry. The two methods align, providing both an algebraic and geometric interpretation of the earthquake deformations. We convert the expressions to other coordinate systems for Teichmüller space to examine earthquake deformations further. Two families of curves are used as examples. E…
We describe a class $\mathcal{C}$ of punctured torus bundles such that, for each $M \in \mathcal{C}$, all but finitely many Dehn fillings on $M$ are virtually Haken. We show that $\mathcal{C}$ contains infinitely many commensurability classes, and we give evidence that $\mathcal{C}$ includes representatives of ``most'' commensurability classes of punctured torus bundles. In particular, we define an integer-valued complexity function on monodromies $f$ (essentially the length of the LR-factorization of $f_*$ in $PSL_2(\mathbb{Z})$), and use a computer to show that if the monodromy of $M$ has co…
We consider complex Fenchel-Nielsen coordinates on the quasi-Fuchsian space of punctured tori. These coordinates arise from a generalisation of Kra's plumbing construction and are related to earthquakes on Teichmueller space. They also allow us to interpolate between two coordinate systems on Teichmueller space, namely the classical Fuchsian space with Fenchel-Nielsen coordinates and the Maskit embedding. We also show how they relate to the pleating coordinates of Keen and Series.
Culler and Shalen, and later Yoshida, give ways to construct incompressible surfaces in 3-manifolds from ideal points of the character and deformation varieties, respectively. We work in the case of hyperbolic punctured torus bundles, for which the incompressible surfaces were classified by Floyd and Hatcher. We convert non fiber incompressible surfaces from their form to the form output by Yoshida's construction, and run his construction backwards to give (for non semi-fibers, which we identify) the data needed to construct ideal points of the deformation variety corresponding to those surfac…
We propose a method to compute complex volume of 2-bridge link complements. Our construction sheds light on a relationship between cluster variables with coefficients and canonical decompositions of link complements.
The main results of the paper is that we give a characteristics for an annulus sum and a once-punctured torus sum of two handlebodies to be a handlebody as follows: 1. The annulus sum $H=H_1\cup_A H_2$ of two handlebodies $H_1$ and $H_2$ is a handlebody if and only if the core curve of $A$ is a longitude for either $H_1$ or $H_2$. 2. Let $H=H_1\cup_T H_2$ be a surface sum of two handlebodies $H_1$ and $H_2$ along a once-punctured torus $T$. Suppose that $T$ is incompressible in both $H_1$ and $H_2$. Then $H$ is a handlebody if and only if the there exists a collection $\{δ, σ\}$ of simple clos…
We determine the PSL_2(C) and SL_2(C) character varieties of the once-punctured torus bundles with tunnel number one, i.e. the once-punctured torus bundles that arise from filling one boundary component of the Whitehead link exterior. In particular, we determine `natural' models for these algebraic sets, identify them up to birational equivalence with smooth models, and compute the genera of the canonical components. This enables us to compare dilatations of the monodromies of these bundles with these genera. We also determine the minimal polynomials for the trace fields of these manifolds. Ad…
Recent work of Chinburg, Reid, and Stover has shown that certain arithmetic and algebro-geometric properties of the character variety of a hyperbolic knot complement in the 3-sphere $M=S^3\setminus K$ yields topological and number theoretic information about Dehn fillings of M. Specifically, they show how the study of a certain extension problem for quaternion Azumaya algebras is related to topological invariants associated to these fillings. In this paper, we extend their work to the setting of hyperbolic once punctured torus bundles. Along the way, we exhibit new phenomenon in the relevant e…
We construct new coordinates for the Teichmüller space Teich of a punctured torus into $\bold{R} \times\bold{R}^+$. The coordinates depend on the representation of Teich as a space of marked Kleinian groups $G_μ$ that depend holomorphically on a parameter $μ$ varying in a simply connected domain in $\bold{C}$. They describe the geometry of the hyperbolic manifold $\bold{H}^3/G_μ$; they reflect exactly the visual patterns one sees in the limit sets of the groups $G_μ$; and they are directly computable from the generators of $G_μ$.
A triangulation of a surface with fixed topological type is called irreducible if no edge can be contracted to a vertex while remaining in the category of simplicial complexes and preserving the topology of the surface. A complete list of combinatorial structures of irreducible triangulations is made by hand for the once-punctured torus, consisting of exactly 297 non-isomorphic triangulations.
To each once-punctured-torus bundle, $T_ϕ$, over the circle with pseudo-Anosov monodromy $ϕ$, there are associated two tessellations of the complex plane: one, $Δ(ϕ)$, is (the projection from $\infty$ of) the triangulation of a horosphere at $\infty$ induced by the canonical decomposition into ideal tetrahedra, and the other, $CW(ϕ)$, is a fractal tessellation given by the Cannon-Thurston map of the fiber group switching back and forth between gray and white each time it passes through $\infty$. In this paper, we study the relation between $Δ(ϕ)$ and $CW(ϕ)$.
We construct a certain cross product of two copies of the braided dual $\tilde H$ of a quasitriangular Hopf algebra $H$, which we call the elliptic double $E_H$, and which we use to construct representations of the punctured elliptic braid group extending the well-known representations of the planar braid group attached to $H$. We show that the elliptic double is the universal source of such representations. We recover the representations of the punctured torus braid group obtained in arXiv:0805.2766, and hence construct a homomorphism to the Heisenberg double $D_H$, which is an isomorphism if…
We show that in any triangulation of a solid torus, there is a pre-core curve that lies in the 2-skeleton and that intersects the interior of each face in at most 10 straight arcs. By definition, a pre-core curve is a simple closed curve that becomes a core curve when a collar is attached to the boundary of the solid torus. This theorem imposes restrictions on the possible Riemannian metrics on a solid torus. It also has applications in knot theory.
In this paper we give a complete description of the space $ \QF $ of quasifuchsian punctured torus groups in terms of what we call {\em pleating invariants}. These are natural invariants of the boundary $\bch$ of the convex core of the associated hyperbolic 3-manifold $M$ and give coordinates for the non-Fuchsian groups $\QF - \F$. The pleating invariants of a component of $\bch$ consist of the projective class of its bending measure, together with the lamination length of a fixed choice of transverse measure in this class. Our description complements that of Minsky in \cite{MinskyPT}, in whic…
The Maskit embedding M of a surface Σis the space of geometrically finite groups on the boundary of quasifuchsian space for which the `top' end is homeomorphic to Σ, while the `bottom' end consists of two triply punctured spheres, the remains of Σwhen two fixed disjoint curves have been pinched. As such representations vary in the character variety, the conformal structure on the top side varies over the Teichmüller space T(Σ). We investigate M when Σis a twice punctured torus, using the method of pleating rays. Fix a projective measure class [μ] supported on closed curves on Σ. The pleating r…
The minimum number of self-intersection points for members of a free homotopy class of curves on the punctured torus is bounded above in terms of the number L of letters required for a minimal description of the class in terms of the generators of the fundamental group and their inverses: it is less than or equal to (L-2)^2/4 if L is even, and (L-1)(L-3)/4 if L is odd. The classes attaining this bound are explicitly described in terms of the generators; there are (L-2)^2 + 4 of them if L is even, and 2(L-1)(L-3) + 8 if L is odd; similar descriptions and totals are given for classes with self-i…
We describe a strategy for constructing reduced Khovanov homology for links in lens spaces by generalizing a symplectic interpretation of reduced Khovanov homology for links in $S^3$ due to Hedden, Herald, Hogancamp, and Kirk. The strategy relies on a partly conjectural description of the Fukaya category of the traceless $SU(2)$ character variety of the 2-torus with two punctures. From a diagram of a 1-tangle in a solid torus, we construct a corresponding object $(X,δ)$ in the $A_\infty$ category of twisted complexes over this Fukaya category. The homotopy type of $(X,δ)$ is an isotopy invaria…
A fast algorithm for counting intersections of two normal curves on a triangulated surface is proposed. It yields a convenient way for treating mapping class groups of punctured surfaces by presenting mapping classes by matrices, and the composition by an exotic matrix multiplication. An efficient solution of the word problem for mapping class groups of punctured surfaces is proposed, with efficiency understood in a more restrictive way than the most common one.
In this paper we provide a classification of fundamental group elements representing simple closed curves on the punctured Klein bottle, Similar to the Birman-Series classification of curves on the punctured torus[1]. In the process, an explicit description of the mapping class group is given. We then apply this to give a counterexample the simple loop conjecture for representations from the Klein bottle group to PGL(2,R).
Yair Minsky showed that punctured torus groups are classified by a pair of ending laminations (ν_-,ν_+). In this note, we show that there are ending laminations ν_+ such that for any choice of ν_-, the punctured torus group is transcendental as a subgroup of PSL_2 C.
Let $Δ$ be a hyperbolic triangle with a fixed area $φ$. We prove that for all but countably many $φ$, generic choices of $Δ$ have the property that the group generated by the $π$--rotations about the midpoints of the sides of the triangle admits no nontrivial relations. By contrast, we show for all $φ\in(0,π)\setminus\mathbb{Q}π$, a dense set of triangles does afford nontrivial relations, which in the generic case map to hyperbolic translations. To establish this fact, we study the deformation space $\mathfrak{C}_θ$ of singular hyperbolic metrics on a torus with a single cone point of angle $θ…
We prove the identity $$ \prod_γ\left(\frac{e^{l(γ)}+1}{e^{l(γ)}-1}\right)^{2h}=\exp\left(\frac{l_1+l_2+l_3}{2}\right), $$ (or $$ \prod_γ\left(\frac{t(γ)^2}{t(γ)^2-4}\right)^h=\frac{t_1+\sqrt{t_1^2-4}}{2}\cdot\frac{t_2+\sqrt{t_2^2-4}}{2}\cdot\frac{t_3+\sqrt{t_3^2-4}}{2} $$ in trace coordinates), where the product is over all simple closed geodesics on the once-punctured torus, $l(γ)=2\operatorname{arccosh}(t(γ)/2)$ is the length of the geodesic, and $l_i$ ($t_i$) are the lengths (traces) of any triple of simple geodesics $\{γ_i\}$ intersecting at a single point. The exponent $h=h(γ;\{γ_i\})$ i…
Let $Γ$ be a 3-dimensional Kleinian punctured torus group with ccidental parabolic transformations. The deformation space of $Γ$ in the group of Möbius transformations on the 2-sphere is well-known as the Maskit slice of punctured torus groups. In this paper, we study deformations $Γ'$ of $Γ$ in the group of Möbius transformations on the 3-sphere such that $Γ'$ does not contain screw parabolic transformations. We will show that the space of the deformations is realized as a domain of 3-space $\mathbb{R}^3$, which contains the Maskit slice of punctured torus groups as a slice through a plane. F…
We investigate triangulations of the two-dimensional sphere and torus with the faces properly colored white and black. We focus on matchings between white triangles and incident vertices. On the torus our objects are perfect pairings, whereas on the sphere this is only true after removing one triangle and its vertices. In the latter case, such matchings (first studied by Tutte) extend the notion of state in Kauffman's formal knot theory and we show that his Clock Theorem, in its form due to Gilmer and Litherland, also extends: the set of matchings naturally forms a distributive lattice. Here t…
We consider the relationship between hyperbolic cone-manifold structures on surfaces, and algebraic representations of the fundamental group into a group of isometries. A hyperbolic cone-manifold structure on a surface, with all interior cone angles being integer multiples of $2π$, determines a holonomy representation of the fundamental group. We ask, conversely, when a representation of the fundamental group is the holonomy of a hyperbolic cone-manifold structure. In this paper we prove results for the punctured torus; in the sequel, for higher genus surfaces. We show that a representation of…
