Quantum Hyperbolic Invariants Of 3-Manifolds With PSL(2,C)-Characters
S. Baseilhac, R. Benedetti
备注：
49 pages, 17 figures. Together with our paper `Classical And Quantum Dilogarithmic Invariants Of Flat PSL(2,C)-Bundles Over 3-Manifolds' avalaible on the same ArXiv, this develops with full details the results announced in math.GT/0211061
We construct {\it quantum hyperbolic invariants} (QHI) for triples $(W,L,ρ)$, where $W$ is a compact closed oriented 3-manifold, $ρ$ is a flat principal bundle over $W$ with structural group $PSL(2,\mc)$, and $L$ is a non-empty link in $W$. These invariants are based on the Faddeev-Kashaev's {\it quantum dilogarithms}, interpreted as matrix valued functions of suitably decorated hyperbolic ideal tetrahedra. They are explicitely computed as state sums over the decorated hyperbolic ideal tetrahedra of the {\it idealization} of any fixed {\it $\Dd$-triangulation}; the $\Dd$-triangulations are simplicial 1-cocycle descriptions of $(W,ρ)$ in which the link is realized as a Hamiltonian subcomplex. We also discuss how to set the Volume Conjecture for the coloured Jones invariants $J_N(L)$ of hyperbolic knots $L$ in $S^3$ in the framework of the general QHI theory.
Let $S$ be a surface of genus $g$ at least $2$. A representation $ρ:π_1S\longrightarrow \text{PSL}_2\Bbb R$ is said to be purely hyperbolic if its image consists only of hyperbolic elements other than the identity. We may wonder under which conditions such representations arise as holonomy of a hyperbolic cone-structure on $S$. In this work we will characterize them completely, giving necessary and sufficient conditions.
We construct infinitely many noncommensurable non-cocompact Fuchsian groups $Δ$ of finite covolume sitting in PSL(2,Q) so that the set of hyperbolic fixed points of $Δ$ will contain a given finite collection of elements in the boundary of the hyperbolic plane.
Let $S$ be a closed surface of genus $g$. In this paper, we investigate the relationship between hyperbolic cone-structure on $S$ and representations of the fundamental group into $\text{PSL}_2\Bbb R$. We consider surfaces of genus greater than $g$ and we show that, under suitable conditions, every representation $ρ:π_1 S\longrightarrow \text{PSL}_2\Bbb R$ with Euler number $\mathcal{E}(ρ)=\pm\big(χ(S)+1\big)$ arises as holonomy of a hyperbolic cone-structure $σ$ on $S$ with a single cone point of angle $4π$. From this result, we derive that for surfaces of genus $2$ every representation with …
We give parallel constructions of an invariant R(W,f), based on the classical Rogers dilogarithm, and of quantum hyperbolic invariants (QHI), based on the Faddeev-Kashaev quantum dilogarithms, for flat PSL(2,C)-bundles f over closed oriented 3-manifolds W. All these invariants are explicitely computed as a sum or state sums over the same hyperbolic ideal tetrahedra of the idealization of any fixed simplicial 1-cocycle description of (W,f) of a special kind, called a D-triangulation. R(W,f) recovers the volume and the Chern-Simons invariant of f, and we conjecture that it determines the semi-cl…
We construct a new family of exact quantum field theories modeled on hyperbolic geometry, called {\it quantum hyperbolic field theories} (QHFTs). The QHFTs are defined for a $(2+1)$-bordism category based on the set of compact oriented 3-manifolds $Y$, equipped with properly embedded framed links $L_\Ff$ and with flat connections $ρ$ of principal $PSL(2,\C)$-bundles over $Y \setminus L_\Ff$, with arbitrary holonomy at the link meridians. A main point is the introduction of new parameters for the space of all $PSL(2,\C)$-characters of a punctured surface. Each QHFT associates to a triple $(Y,L_…
We introduce a family of matrix dilogarithms, which are automorphisms of C^N tensor C^N, N being any odd positive integer, associated to hyperbolic ideal tetrahedra equipped with an additional decoration. The matrix dilogarithms satisfy fundamental five-term identities that correspond to decorated versions of the 2 --> 3 move on 3-dimensional triangulations. Together with the decoration, they arise from the solution we give of a symmetrization problem for a specific family of basic matrix dilogarithms, the classical (N=1) one being the Rogers dilogarithm, which only satisfy one special instanc…
Let $M$ be a complete oriented hyperbolic $3$--manifold of finite volume. Using classifying spaces for families of subgroups we construct a class $β_P(M)$ in the Adamson relative homology group $H_3([PSL_2(\mathbb{C}):\bar{P}];\mathbb{Z})$, where $\bar{P}$ is the subgroup of parabolic transformations which fix $\infty$ in the Riemann sphere. We also prove that the classes $F(M)$ in the Takasu relative homology groups $H_3(PSL_2(\mathbb{C}),\bar{P};\mathbb{Z})$ constructed by Zickert, which are not well-defined and depend of a choice of decorations by horospheres, are all mapped to $β_P(M)$ via…
Let $M$ be a hyperbolizable $3$-manifold with boundary, and let $χ_0(M)$ be a component of the $PSL_2\mathbb{C}$-character variety of $M$ that contains the convex co-compact characters. We show that the peripheral map $i_*:χ_0(M)\rightarrowχ(\partial M)$ to the character variety of $\partial M$ is a birational isomorphism with its image, and in particular is generically a one-to-one map. This generalizes work of Dunfield (one cusped hyperbolic $3$-manifolds) and Klaff-Tillmann (finite volume hyperbolic $3$-manifolds). We use the Bonahon-Schläfli formula and volume rigidity of discrete co-compa…
Periodic geodesics on the modular surface correspond to periodic orbits of the geodesic flow in its unit tangent bundle $\mathrm{PSL}_2(\mathbb{Z})\backslash\mathrm{PSL}_2(\mathbb{R})$. The complement of any finite number of orbits is a hyperbolic $3$-manifold, which thus has a well-defined volume. We present strong numerical evidence that, in the case of the set of geodesics corresponding to the ideal class group of a real quadratic field, the volume has linear asymptotics in terms of the total length of the geodesics. This is not the case for general sets of geodesics
It is proved that the Hasse-Weil zeta functions of the canonical components of the ${\rm SL}_2$ (${\rm PSL}_2$)-character varieties of closed orientable complete hyperbolic $3$-manifolds of finite volume are equal to the Dedekind zeta functions of their trace fields (invariant trace fields). When the closed $3$-manifold is arithmetic, the special value at $s=2$ of the Hasse-Weil zeta function of the canonical component of the ${\rm PSL}_2$-character variety is expressed in terms of the hyperbolic volume of the manifold up to rational numbers.
We prove that any nonabelian, non-Fuchsian representation of a surface group into PSL(2,R) is the holonomy of a folded hyperbolic structure on the surface. Using similar ideas, we establish that any non-Fuchsian representation rho of a surface group into PSL(2,R) is strictly dominated by some Fuchsian representation j, in the sense that the hyperbolic translation lengths for j are uniformly larger than for rho; conversely, any Fuchsian representation j strictly dominates some non-Fuchsian representation rho, whose Euler class can be prescribed. This has applications to compact anti-de Sitter 3…
Let M be a twisted interval bundle over a nonorientable hyperbolizable surface. Let X(M) be the PSL(2,C)-character variety of π_1(M). We examine the dynamics of the action of Out(π_1(M)) on X(M), and in particular, we find an open set on which the action is properly discontinuous that is strictly larger than the interior of the deformation space of marked hyperbolic manifolds homotopy equivalent to M. Further, we identify which discrete and faithful representations can lie in a domain of discontinuity for the action of Out(π_1(M)) on X(M).
We study embedding of closed totally geodesic hyperbolic 2-orbifolds in the Bianchi orbifolds $\mathbb{H}^3/PSL(2,\mathcal{O}_d)$. Our main result shows that there is a constant $c$ such that for $d$ large enough there are at least $cd$ closed embedded totally geodesic hyperbolic 2-orbifolds. Moreover we provide a list which conjecturally consists of those $d$ for which $\mathbb{H}^3/PSL(2,\mathcal{O}_d)$ does not contain a closed embedded totally geodesic hyperbolic 2-orbifold.
The Bianchi groups ${\rm Bi}(d)={\rm PSL}(2,\mathcal{O}_d) < {\rm PSL}(2,\C)$ (where $\mathcal{O}_d$ denotes the ring of integers of $\Q (i\sqrt{d})$, with $d \geqslant 1$ squarefree) can be viewed as subgroups of ${\rm SO}(3,1)$ under the isomorphism ${\rm PSL}(2,\C) \simeq {\rm SO}^0(3,1)$. We study the deformations of these groups into the larger Lie groups ${\rm SU}(3,1)$ and ${\rm SL}(4,\R)$ for small values of $d$. In particular we show that ${\rm Bi}(3)$, which is rigid in ${\rm SO}(3,1)$, admits a 1-dimensional deformation space into ${\rm SU}(3,1)$ and ${\rm SL}(4,\R)$, whereas any de…
We construct arithmetic Kleinian groups that are profinitely rigid in the absolute sense: each is distinguished from all other finitely generated, residually finite groups by its set of finite quotients. The Bianchi group $\mathrm{PSL}(2,\mathbb{Z}[ω])$ with $ω^2+ω+1=0$ is rigid in this sense. Other examples include the non-uniform lattice of minimal co-volume in $\mathrm{PSL}(2,\mathbb{C})$ and the fundamental group of the Weeks manifold (the closed hyperbolic $3$-manifold of minimal volume).
In hep-th/9805025, a result for the symmetric 3-loop massive tetrahedron in 3 dimensions was found, using the lattice algorithm PSLQ. Here we give a more general formula, involving 3 distinct masses. A proof is devised, though it cannot be accounted as a derivation; rather it certifies that an Ansatz found by PSLQ satisfies a more easily derived pair of partial differential equations. The result is similar to Schläfli's formula for the volume of a bi-rectangular hyperbolic tetrahedron, revealing a novel connection between 3-loop diagrams and 1-loop boxes. We show that each reduces to a common …
We show that for a representation of the fundamental group of a triangulated closed 3-manifold (not necessarily hyperbolic) into $\PSL$ so that any edge loop has non-trivial image under the representation, there exist uncountably many solutions to the hyperbolic gluing equation whose associated representations are conjugate to the given representation, and whose volumes are equal to the volume of the given representation.
We study the vectorial length compactification of the space of conjugacy classes of maximal representations of the fundamental group $Γ$ of a closed hyperbolic surface $Σ$ in ${\rm PSL}(2,\mathbb R)^n$. We identify the boundary with the sphere $\mathbb P((\mathcal{ML})^n)$, where $\mathcal{ML}$ is the space of measured geodesic laminations on $Σ$. In the case $n=2$, we give a geometric interpretation of the boundary as the space of homothety classes of $\mathbb R^2$-mixed structures on $Σ$. We associate to such a structure a dual tree-graded space endowed with an $\mathbb R_+^2$-valued metric,…
Using the rings of Lipschitz and Hurwitz integers $\mathbb{H}(\mathbb{Z})$ and $\mathbb{H}ur(\mathbb{Z})$ in the quaternion division algebra $\mathbb{H}$, we define several Kleinian discrete subgroups of $PSL(2,\mathbb{H})$
We construct a new family, indexed by the odd integers $N\geq 1$, of $(2+1)$-dimensional quantum field theories called {\it quantum hyperbolic field theories} (QHFT), and we study its main structural properties. The QHFT are defined for (marked) $(2+1)$-bordisms supported by compact oriented 3-manifolds $Y$ with a properly embedded framed tangle $L_\Ff$ and an {\it arbitrary} $PSL(2,\C)$-character $ρ$ of $Y \setminus L_\Ff$ (covering, for example, the case of hyperbolic cone manifolds). The marking of QHFT bordisms includes a specific set of parameters for the space of pleated hyperbolic struc…
Let M be a nontrivial compression body without toroidal boundary components. We study the dynamics of the group of outer automorphisms of the fundamental group of M on the PSL(2,C)-character variety of M.
Let M be a compact, orientable, hyperbolizable 3-manifold with incompressible boundary which is not an interval bundle. We study the dynamics of the action of the outer automorphism group of the fundamental group of M on the relative PSL(2,C)-character variety.
Given a smooth spacelike surface $Σ$ of negative curvature in Anti-de Sitter space of dimension 3, invariant by a representation $ρ:π_1(S)\to\mathrm{PSL}_2\mathbb{R}\times\mathrm{PSL}_2\mathbb{R}$ where $S$ is a closed oriented surface of genus $\geq 2$, a canonical construction associates to $Σ$ a diffeomorphism $ϕ_Σ$ of $S$. It turns out that $ϕ_Σ$ is a symplectomorphism for the area forms of the two hyperbolic metrics $h$ and $h'$ on $S$ induced by the action of $ρ$ on $\mathbb{H}^2\times\mathbb{H}^2$. Using an algebraic construction related to the flux homomorphism, we give a new proof of …
This paper proves a theorem about Dehn surgery using a new theorem about PSL(2, C) character varieties. Confirming a conjecture of Boyer and Zhang, this paper shows that a small hyperbolic knot in a homotopy sphere having a non-trivial cyclic slope r has an incompressible surface with non-integer boundary slope strictly between r-1 and r+1. A corollary is that any small knot which has only integer boundary slopes has Property P. The proof uses connections between the topology of the complement of the knot, M, and the PSL(2, C) character variety of M that were discovered by Culler and Shalen. T…
In this paper, we classify all of the five-sided three-dimensional hyperbolic polyhedra with one ideal vertex, which have the shape of a triangular prism. We show how to find each such polyhedron in the upper half-space model by considering lines and circles in the plane. Finally, we give matrix generators in $\mathrm{PSL}_2(\mathbb C)$ for the orientation-preserving subgroup of each corresponding reflection group.
We study small Seifert possibly chiral cosmetic surgeries on not necessarily null-homologous knot in rational homology spheres. Using $PSL_2(\mathbb{C})$-character variety theory we give a sharp bound on the number of slopes producing the same small Seifert manifold if the ambient manifold satisfies some representation theoretic conditions.
We study some basic properties of the variety of characters in PSL(2,C) of a finitely generated group. In particular we give an interpretation of its points as characters of representations. We construct 3-manifolds whose variety of characters has arbitrarily many components that do not lift to SL(2,C). We also study the singular locus of the variety of characters of a free group.
In this paper we are interested in computing representations of the fundamental group of a 3-manifold into PSL(3;C) (in particular in PSL(2;C); PSL(3;R) and PU(2; 1)). The representations are obtained by gluing decorated tetrahedra of flags. We list complete computations (giving 0-dimensional or 1-dimensional solution sets) for the first complete hyperbolic non-compact manifolds with finite volume which are obtained gluing less than three tetrahedra with a description of the computer methods used to find them.
The gluing equations of a cusped hyperbolic 3-manifold $M$ are a system of polynomial equations in the shapes of an ideal triangulation $\calT$ of $M$ that describe the complete hyperbolic structure of $M$ and its deformations. Given a Neumann-Zagier datum (comprising the shapes together with the gluing equations in a particular canonical form) we define a formal power series with coefficients in the invariant trace field of $M$ that should (a) agree with the asymptotic expansion of the Kashaev invariant to all orders, and (b) contain the nonabelian Reidemeister-Ray-Singer torsion of $M$ as it…
Consider the exterior M of a hyperbolic knot lying in a closed, connected, orientable 3-manifold. Culler and Shalen defined norm on H_1(dM;R) using the SL(2,C) character variety of pi_1(M). The Culler-Shalen norm encodes many topological properties of M; in particular it provides information about Dehn fillings of M. Their construction may be applied to arbitrary curves in the SL_2(C)-character variety of a connected, compact, orientable, irreducible 3-manifold whose boundary is a torus, though in this generality one can only guarantee that it will define a seminorm. The first half of this pap…
The space AH(M) of marked hyperbolic 3-manifold homotopy equivalent to a compact 3-manifold with boundary M sits inside the PSL_2(C)-character variety X(M) of π_1(M). We study the dynamics of the action of Out(π_1(M)) on both AH(M) and X(M). The nature of the dynamics reflects the topology of M. The quotient AI(M)=AH(M)/Out(π_1(M)) may naturally be thought of as the moduli space of unmarked hyperbolic 3-manifolds homotopy equivalent to M and its topology reflects the dynamics of the action.
This is a survey on Reidemeister torsion for hyperbolic three-manifolds of finite volume. Torsions are viewed as topological invariants and also as functions on the variety of representations in $\operatorname{ SL}_2(\mathbb C)$. In both cases, the torsions may also be computed after composing with finite dimensional representations of $\operatorname{ SL}_2(\mathbb C)$. In addition the paper deals with the torsion of the adjoint representation as a function on the variety of $\operatorname{ PSL}_{n+1}(\mathbb C)$-characters, using that the first cohomology group with coefficients twisted by th…
Cauchy-compact flat spacetimes with extreme BTZ are Lorentzian analogue of complete hyperbolic surfaces of finite volume. Indeed, the latter are 2-manifolds locally modeled on the hyperbolic plane, with group of isometries $\mathrm{PSL}_2(\R)$, admitting finitely many cuspidal ends while the regular part of the former are 3-manifolds locally models on 3 dimensionnal Minkowski space, with group of isometries $\mathrm{PSL}_2(\R)\ltimes \RR^3$, admitting finitely many ends whose neighborhoods are foliated by cusps. We prove a Theorem akin to the classical parametrization result for finite volume …
This note introduces and studies an open set of PSL(2,C) characters of a nonabelian free group, on which the action of the outer automorphism group is properly discontinuous, and which is strictly larger than the set of discrete, faithful convex-cocompact (i.e. Schottky) characters. This implies, in particular, that the outer automorphism group does not act ergodically on the set of characters with dense image. Hence there is a difference between the geometric (discrete vs. dense) decomposition of the characters, and a natural dynamical decomposition.
For an oriented surface of genus g with b boundary components, we construct a rational map from a subset of C^{6g-6+3b} onto an open algebraic subset of the PSL(2,C)-character variety as an analogue of the Fenchel-Nielsen coordinates. After taking the quotient by an action of a finite group, we obtain a parametrization of a subset of the PSL(2,C)-character variety, and similarly for the SL(2,C)-character variety. We can systematically calculate a set of matrix generators by rational functions of the parameters. We give transformation formulae under elementary moves of pants decompositions.
Let $X$ be the space of isometry classes of ordered sextuples of points in the hyperbolic plane such that the product of the six corresponding rotations of angle $π$ is the identity. This space $X$ is closely related to the PSL$_2(\mathbb{R})$-character variety of the genus 2 surface $Σ$. In this article we study the topology and the natural symplectic structure on $X$, and we describe the action of the mapping class group of $Σ$ on $X$. This completes the classification of the ergodic components of the character variety in genus 2 initiated in our previous work.
Let $(S,g_0)$ be a hyperbolic surface, $ρ$ be a Hitchin representation for $PSL(n,\mathbb R)$, and $f$ be the unique $ρ$-equivariant harmonic map from $(\widetilde S, \widetilde g_0)$ to the corresponding symmetric space. We show its energy density satisfies $e(f)\geq 1$ and equality holds at one point only if $e(f)\equiv 1$ and $ρ$ is the base $n$-Fuchsian representation of $(S,g_0)$. In particular, we show given a Hitchin representation $ρ$ for $PSL(n,\mathbb R)$, every $ρ$-equivariant minimal immersion $f$ from a hyperbolic plane $\mathbb H^2$ into the corresponding symmetric space $X$ is d…
We explore the dynamics of the action of the mapping class group in genus 2 on the PSL(2,R)-character variety. We prove that this action is ergodic on the connected components of Euler class 1 and -1, as it was conjectured by Goldman. In the connected component of Euler class 0 there are two invariant open subsets, on one of them the action is ergodic. In this process we give a partial answer to a question of Bowditch.
We study the action of the mapping class group Mod(S) on the boundary dQ of quasifuchsian space Q. Among other results, Mod(S) is shown to be topologically transitive on the subset C in dQ of manifolds without a conformally compact end. We also prove that any open subset of the character variety X(pi_1(S),SL(2,C)) intersecting dQ does not admit a nonconstant Mod(S)-invariant meromorphic function. This is related to a question of Goldman.
We study totally geodesic planes in hyperbolic 3-manifolds $M$ having incompressible core and degenerate ends. We prove a Ratner-type phenomenon: a closed minimal $PSL(2,R)-$invariant subset of $M$ is either an immersed totally geodesic surface or all of $M$. We also show that for an arbitrary infinite volume hyperbolic 3-manifold $M$ without parabolics and with finitely generated fundamental group, the number of compact totally geodesic surfaces in $M$ is finite.
We establish some facts about the behavior of the rational-geometric subvariety of the $SL_2(\c)$ or $PSL_2(\c)$ character variety of a hyperbolic knot manifold under the restriction map to the $SL_2(\c)$ or $PSL_2(\c)$ character variety of the boundary torus, and use the results to get some properties about the A-polynomials and to prove the AJ conjecture for certain class of knots in $S^3$ including in particular any $2$-bridge knot over which the double branched cover of $S^3$ is a lens space of prime order.
In this paper, it is shown that every closed hyperbolic 3-manifold contains an immersed quasi-Fuchsian closed subsurface of odd Euler characteristic. The construction adopts the good pants method, and the primary new ingredient is an enhanced version of the connection principle, which allows one to connect any two frames with a path of frames in a prescribed relative homology class of the frame bundle. The existence result is applied to show that every uniform lattice of $\mathrm{PSL}(2,\mathbb{C})$ admits an exhausting nested sequence of sublattices with exponential homological torsion growth…
We use intersection theory techniques to define an invariant of closed 3-manifolds counting the characters of irreducible representations of the fundamental group in PSL(2,C). We note several properties of the invariant and compute the invariant for certain Seifert fibered spaces and for some Dehn surgeries on twist knots. We discuss the relationship between this invariant and the SL(2,C)-invariant.
We show that a PSL(2;R)-representation of a Fuchsian group induces the asymptotics of the Reidemeister torsion for the Seifert manifold corresponding to the euler class of the PSL(2;R)-representation. We also show that the limit of leading coefficient of the Reidemeister torsion is determined by the euler class of a PSL(2;R)-representation of a Fuchsian group. In particular, the leading coefficient of the Reidemeister torsion for the unit tangent bundle over a two-orbifold converges to $-χ\log2$ where $χ$ is the Euler characteristic of the two-orbifold. We also give a relation between $\mathbb…
Let M a 3-manifold with torus boundary which is a rational homology circle. We study deformations of reducible representations of p_1(M) into PSL_2(C) associated to a simple zero of the twisted Alexander polynomial. We also describe the local structure of the representation and character varieties.
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 build upon previous work with punctured tori to prove results for higher genus surfaces. Our techniques construct…
