7
$\begingroup$

My question relates to constructing angled triangulations or hyperbolic triangulations for $3$--manifolds. Briefly, an angle triangulation can be considered as an assignment of a real number (called an angle) to each edge of a tetrahedron such that when we glue the tetrahedron up to obtain the $3$--manifold, around each edge the sum of the angles are $2\pi$, and around each vertex the sum of angles is $\pi$ (we also require that opposite edges of each tetrahedron have the same angle). In short, an angle structure corresponds to the linear part of Thurston's gluing equations -- it corresponds to a weak hyperbolic structure in that the induced metric on the manifold may not be complete.

Now I have assumed the topological conditions required to obtain a hyperbolic structure on the manifold via Thurston's hyperbolization theorem (i.e., the manifolds I am looking at are compact, irreducible, atoroidal with torus boundary) and I am able to explicitly construct special spines for these. Dual to these special spines are ideal triangulations (this comes from the work of Matveev).

My question is whether there are well known conditions for a special spine to be 'geometric'. That is given a special spine, we can look at the special spine as a special polyhedron onto which the manifold collapses. Does it follow that if I look at the special spine as a hyperbolic polyhedron, and I know that the special spine when thickened gives me a $3$--manifold, does this imply that the $3$--manifold is a hyperbolic $3$--manifold. Any discussion, questions and ideas will be appreciated. This is my first time posting here so apologies in advance if I have not followed protocol.

$\endgroup$
3
  • $\begingroup$ Maybe you could define what you mean by "hyperbolic polyhedron"? Presumably you want the faces to be hyperbolic polygons, glued isometrically along the edges (this is satisfied e.g. by the Ford domain special spine). But what condition do you want for the angles at each vertex? $\endgroup$
    – Ian Agol
    Jul 23, 2013 at 13:58
  • $\begingroup$ Yes, I want the faces to be hyperbolic polygons glued isometrically together along the edges. So I guess I am looking at is a decomposition of a 2-sphere with hyperbolic polygons glued together by isometries. Each vertex is either trivalent or quadrivalent. To give a bit more detail -- the special spine is actually obtained by decomposing the Haken manifold along a hierarchy such as that used by Waldhausen and Johannson. $\endgroup$
    – Don Shanil
    Jul 24, 2013 at 5:32
  • $\begingroup$ (continued) As you suggest another way of asking the question is 'what are the combinatorial conditions needed to get a special Ford spine?' $\endgroup$
    – Don Shanil
    Jul 24, 2013 at 5:59

1 Answer 1

5
$\begingroup$

If an ideal triangulation (or its dual spine) admits an angle structure (with positive angles), then the manifold must admit a complete hyperbolic metric of finite volume (see Theorem 10.2, an observation of Casson). However, when one straightens these tetrahedra in the complete hyperbolic metric, they might not be positively oriented. Casson also observed (after Igor Rivin) that the volume function on the space of angle structures is maximized at a complete hyperbolic structure; he made some attempt to find a different proof of geometrization of cusped hyperbolic manifolds using this approach (see Futer-Gueritaud for an exposition). However, as far as I know, there is no nice characterization of when an ideal triangulation with a positive angle structure admits a positive solution to Thurston's gluing equations.

One slight correction: an angle structure (with positive angles) gives rise to an incomplete hyperbolic metric on the complement of the 1-skeleton.

$\endgroup$
8
  • $\begingroup$ Casson was not obviously the first to make these observations, since a somewhat more special version of volume optimization argument (with a more general version alluded to) appeared in a paper (in annals of math) by one I. Rivin. The question of disoriented simplices was asked by the same I. Rivin, but even before that by one J. Weeks (in the context of Snappea) -- Jeff and I had long discussions of this at the Geometry center in around 1990-91 -- it turns out this happens surprisingly infrequently. Casson's contribution to the "Casson-Rivin program" appears in another one of my papers. $\endgroup$
    – Igor Rivin
    Jul 23, 2013 at 1:48
  • $\begingroup$ Which seems to have introduced the whole subject of angle structures. $\endgroup$
    – Igor Rivin
    Jul 23, 2013 at 1:49
  • $\begingroup$ Hey Igor, thanks for the correction, I obviously misremembered attributions. I've added a citation to the result in your paper (Theorem 10.2) due to Casson. I remember Casson discussing this approach to geometrization of cusped manifolds at MSRI a long time ago, but I forgot that the idea of volume maximization goes back to you. $\endgroup$
    – Ian Agol
    Jul 23, 2013 at 3:28
  • $\begingroup$ Thanks Ian for the reply, appreciate it. What I was actually looking for though was some sort of notion for an "angled special spine" with conditions on the singular 1-skeleton which if satisfied give me a angle structure on the dual triangulation. In particular I was wondering if I assume that the special polyhedron defining the spine was a hyperbolic polyhedron, does this say something about the existence of an angle or hyperbolic structure on the manifold. $\endgroup$
    – Don Shanil
    Jul 23, 2013 at 6:37
  • 1
    $\begingroup$ @user37434: there is a sort of dual angle structure on the special spine. Each corner of a polygon dual to an ideal edge will be "dual" to a dihedral corner of a tetrahedron, with $\alpha$. One places the angle $\pi-\alpha$ at the corner of the polygon. Then this angle structure has the property that the sum of the angles over every 3-cycle at a vertex is $2\pi$, and the sum of the "exterior angles" at a polygon is $2\pi$, corresponding to a Euclidean polygon. These sorts of angle structures in the 2-complex context were introduced by Gersten: ams.org/mathscinet-getitem?mr=919828 $\endgroup$
    – Ian Agol
    Jul 23, 2013 at 14:06

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.