We find the exact values of complexity for an infinite series of 3-manifolds. Namely, by calculating hyperbolic volumes, we show that c(N_n)=2n, where $c$ is the complexity of a 3-manifold and N_n is the total space of the punctured torus bundle over S^1 with monodromy 2&1 1&1 ^n$. We also apply a recent result of Matveev and Pervova to show that c(M_n) \ge 2Cn with C\approx 0.598, where a compact manifold M_n is the total space of the torus bundle over S^1 with the same monodromy as N_n, and discuss an approach to the conjecture c(M_n)=2n+5 based on the equality c(N_n)=2n.
The notion of a (stably) decomposable fiber bundle is introduced. In low dimensions, for torus fiber bundles over a circle the notion translates into a property of elements of the special linear group of integral matrices. We give a complete characterization of the stably decomposable torus fiber bundle of fiber-dimension less than 4 over the circle.
We define new Hamiltonian isotopy invariants for a monotone Lagrangian torus embedded in a symplectic 4-manifold. We show that, in the standard symplectic 4-space, these invariants distinguish a monotone Clifford torus from a Chekanov torus.
In this paper we give an algebraic description of fundamental groups of orbits of circle-valued smooth functions from some subspace of the space of smooth functions with isolated singularities on $2$-torus $T^2$ with respect to the action of the group of diffeomorphisms of $T^2$.
We determine the Lagrangian monodromy group L(T) and the smooth monodromy group S(T) of a Clifford torus T in the symplectic 4-space. We show that L(T) is isomorphic to the infinite dihedral group, and S(T) is generated by three reflections. We give explicit formulas for both groups. We also show that if a Lagrangian torus is smoothly isotopic to a Clifford torus then the smooth isotopy can be chosen to be Lagrangian outside of a disc.
We determine the rank of the fundamental group of those hyperbolic 3-manifolds fibering over the circle whose monodromy is a sufficiently high power of a pseudo-Anosov map. Moreover, we show that any two generating sets with minimal cardinality are Nielsen equivalent.
Let $M$ be a once-punctured torus bundle over $S^1$ with monodromy $h$. We show that, under certain hypotheses on $h$, "most" Dehn-fillings of $M$ (in some cases all but finitely many) are virtually $\mathbb{Z}$-representable. We apply our results to show that surgeries on the figure-eight knot with even numerator are virtually $\mathbb{Z}$-representable.
As an application of the construction of open books on plumbed 3-manifolds, we construct elliptic open books on torus bundles over the circle. In certain cases these open books are compatible with Stein fillable contact structures and have minimal genus.
In this paper it is proven that there is at most one way, up to isotopy, in which a connected, hyperbolic, orientable 3-manifold can fiber over the circle with monodromy in the Torelli group.
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…
Characterizing $3$-dimensional manifolds represented as connected sums of Lens spaces, $S^2 \times S^1$, and torus bundles over the circle by certain Morse-Bott functions
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…
A surface $F$ in a 3-manifold $M$ is called cylindrical if $M$ cut open along $F$ admits an essential annulus $A$. If, in addition, $(A, \partial A)$ is embedded in $(M, F)$, then we say that $F$ is strongly cylindrical. Let $M$ be a connected 3-manifold that admits a triangulation using $t$ tetrahedra and $F$ a two-sided connected essential closed surface of genus $g(F)$. We show that if $g(F)$ is at least $38 t$, then $F$ is strongly cylindrical. As a corollary, we give an alternative proof of the assertion that every closed hyperbolic 3-manifold admits only finitely many fibrations over the…
Given a torus bundle $Y$ over the circle and a cohomology class $[ω]\in H^2(Y;\mathbb{Z})$ which evaluates nontrivially on the fiber, we compute the Heegaard Floer homology of $Y$ with twisted coefficients in the universal Novikov ring.
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.
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.
Given a matrix $A\in SL(N,\Z)$, form the semidirect product $G=\Z^N\rtimes_A \Z$ where the $\Z$ factor acts on $\Z^N$ by $A$. Such a $G$ arises naturally as the fundamental group of an $N$-dimensional torus bundle which fibers over the circle. In this paper we prove that if $A$ has distinct eigenvalues not lying on the unit circle, then there exists a finite index subgroup $H\leq G$ possessing rational growth series for some generating set. In contrast, we show that if $A$ has at least one eigenvalue not lying on the unit circle, then $G$ is not almost convex for any generating set.
We show that if the monodromy of a 3-manifold M that fibers over the circle has large translation distance in the curve complex, then the rank of the fundamental group of M is 2g+1, where g is the genus of the fiber.
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.
The fixed-point index of a homeomorphism of Jordan curves measures the number of fixed-points, with multiplicity, of the extension of the homeomorphism to the full Jordan domains in question. The now-classical Circle Index Lemma says that the fixed-point index of a positive-orientation-preserving homeomorphism of round circles is always non-negative. We begin by proving a generalization of this lemma, to accommodate Jordan curves bounding domains which do not disconnect each other. We then apply this generalization to give a new proof of Schramm's Incompatibility Theorem, which was used by Sch…
Given a closed hyperbolic 3-manifold T_ψthat fibers over the circle with monodromy ψ: S -> S, the monodromy $ψ$ determines an isometry of Teichmuller space with its Weil-Petersson metric whose translation distance ||ψ||_WP is positive. We show there is a constant K >= 1 depending only on the topology of S so that the volume of T_ψsatisfies ||ψ||_WP/K <= vol(T_ψ) <= K ||ψ||_WP.
We compute the Chekanov-Eliashberg contact homology of what we call the Legendrian closure of a positive braid. We also construct an augmentation for each such link diagram. Then we apply the monodromy techniques established in an earlier paper to a certain natural loop in the space L' of positive Legendrian (p,q) torus knots to show that L' has a nontrivial fundamental group, which is mapped non-injectively into the fundamental group of K by the map induced by inclusion (here, K is the space of all smooth positive (p,q) torus knots). This is the first example that Legendrian and classical kno…
In this paper, we study strong symplectic fillability and Stein fillability of some tight contact structures on negative parabolic and negative hyperbolic torus bundles over the circle. For the universally tight contact structure with twisting $π$ in $S^1$-direction on a negative parabolic torus bundle, we completely determine its strong symplectic fillability and Stein fillability. For the universally tight contact structure with twisting $π$ in $S^1$-direction on a negative hyperbolic torus bundle, we give a necessary condition for it being strongly symplectically fillable. For the virtually…
Motivated by the moduli theory of taut contact circles on spherical 3-manifolds, we relate taut contact circles to transversely holomorphic flows. We give an elementary survey of such 1-dimensional foliations from a topological viewpoint. We describe a complex analogue of the classical Godbillon-Vey invariant, the so-called Bott invariant, and a logarithmic monodromy of closed leaves. The Bott invariant allows us to formulate a generalised Gauß-Bonnet theorem. We compute these invariants for the Poincaré foliations on the 3-sphere and derive rigidity statements, including a uniformisation theo…
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 study weak versus strong symplectic fillability of some tight contact structures on torus bundles over the circle. In particular, we prove that almost all of these tight contact structures are weakly, but not strongly symplectically fillable. For the 3-torus this theorem was established by Eliashberg.
We study the coarse geometry of the moduli space of dilation tori with two singularities and the dynamical properties of the action of the Teichmuller flow on this moduli space. This leads to a proof that the vertical foliation of a dilation torus is almost always Morse-Smale. As a corollary, we get that the generic piecewise affine circle homeomorphism with two break points -with respect to the Lebesgue measure- is Morse-Smale.
We prove hyperbolic 3-manifolds are geometrically inflexible: a unit quasiconformal deformation of a Kleinian group extends to an equivariant bi-Lipschitz diffeomorphism between quotients whose pointwise bi-Lipschitz constant decays exponentially in the distance form the boundary of the convex core for points in the thick part. Estimates at points in the thin part are controlled by similar estimates on the complex lengths of short curves. We use this inflexibility to give a new proof of the convergence of pseudo-Anosov double-iteration on the quasi-Fuchsian space of a closed surface, and the r…
A $g$-tuple of disjoint, linearly independent circles in a Riemann surface of genus $g$ determines a `Heegaard torus' in its $g$-fold symmetric product. Changing the circles by a handleslide produces a new torus. It is proved that, for symplectic forms with certain properties, these two tori are Hamiltonian-isotopic Lagrangian submanifolds. This provides an alternative route to the handleslide-invariance of Ozsvath-Szabo's Heegaard Floer homology.
We study random elements of subgroups (and cosets) of the mapping class group of a closed hyperbolic surface, in part through the properties of their mapping tori. In particular, we study the distribution of the homology of the mapping torus (with rational, integer, and finite field coefficients, the hyperbolic volume (whenever the manifold is hyperbolic), the dilatation of the monodromy, the injectivity radius, and the bottom eigenvalue of the Laplacian on these mapping tori. We also study mapping tori of punctured surface bundles, and various invariants of their Dehn fillings. We also study …
We study harmonic maps from a 3-manifold with boundary to $\mathbb{S}^1$ and prove a special case of dihedral rigidity of three dimensional cubes whose dihedral angles are $π/ 2$. Furthermore we give some applications to mapping torus hyperbolic 3-manifolds.
We study the projective derivative as a cocycle of Möbius transformations over groups of circle diffeomorphisms. By computing precise expressions for this cocycle, we obtain several results about reducibility and almost reducibility to a cocycle of rotations. We also introduce an extension of this cocycle to the diagonal action on the 3-torus for which we generalize the previous results.
Given a triangulation of a closed surface, we consider a cross ratio system that assigns a complex number to every edge satisfying certain polynomial equations per vertex. Every cross ratio system induces a complex projective structure together with a circle pattern on the closed surface. In particular, there is an associated conformal structure. We show that for any triangulated torus, the projection from the space of cross ratio systems with prescribed Delaunay angles to the Teichmüller space is a covering map with at most one branch point. Our approach is based on a notion of discrete holom…
