-
Unrestricted quantum moduli algebras, III: Surfaces of arbitrary genus and skein algebras
Authors:
Stéphane Baseilhac,
Matthieu Faitg,
Philippe Roche
Abstract:
We prove that the quantum moduli algebra associated to a possibly punctured compact oriented surface and a complex semisimple Lie algebra $\mathfrak{g}$ is a Noetherian and finitely generated ring; if the surface has punctures, we prove also that it has no non-trivial zero divisors. Moreover, we show that the quantum moduli algebra is isomorphic to the skein algebra of the surface, defined by mean…
▽ More
We prove that the quantum moduli algebra associated to a possibly punctured compact oriented surface and a complex semisimple Lie algebra $\mathfrak{g}$ is a Noetherian and finitely generated ring; if the surface has punctures, we prove also that it has no non-trivial zero divisors. Moreover, we show that the quantum moduli algebra is isomorphic to the skein algebra of the surface, defined by means of the Reshetikhin-Turaev functor for the quantum group $U_q(\mathfrak{g})$, and which coincides with the Kauffman bracket skein algebra when $\mathfrak{g}=\mathfrak{sl}_2$.
△ Less
Submitted 20 June, 2023; v1 submitted 1 February, 2023;
originally announced February 2023.
-
Unrestricted Quantum Moduli Algebras, II: Noetherianity and Simple Fraction Rings at Roots of 1
Authors:
Stéphane Baseilhac,
Philippe Roche
Abstract:
We prove that the quantum graph algebra and the quantum moduli algebra associated to a punctured sphere and complex semisimple Lie algebra $\mathfrak{g}$ are Noetherian rings and finitely generated rings over $\mathbb{C}(q)$. Moreover, we show that these two properties still hold on $\mathbb{C}\big[q,q^{-1}\big]$ for the integral version of the quantum graph algebra. We also study the specializati…
▽ More
We prove that the quantum graph algebra and the quantum moduli algebra associated to a punctured sphere and complex semisimple Lie algebra $\mathfrak{g}$ are Noetherian rings and finitely generated rings over $\mathbb{C}(q)$. Moreover, we show that these two properties still hold on $\mathbb{C}\big[q,q^{-1}\big]$ for the integral version of the quantum graph algebra. We also study the specializations $\mathcal{L}_{0,n}^ε$ of the quantum graph algebra at a root of unity $ε$ of odd order, and show that $\mathcal{L}_{0,n}^ε$ and its invariant algebra under the quantum group $U_ε(\mathfrak{g})$ have classical fraction algebras which are central simple algebras of PI degrees that we compute.
△ Less
Submitted 6 June, 2024; v1 submitted 8 June, 2021;
originally announced June 2021.
-
Unrestricted Quantum Moduli Algebras. I. The Case of Punctured Spheres
Authors:
Stéphane Baseilhac,
Philippe Roche
Abstract:
Let $Σ$ be a finite type surface, and $G$ a complex algebraic simple Lie group with Lie algebra $\mathfrak{g}$. The quantum moduli algebra of $(Σ,G)$ is a quantization of the ring of functions of $X_G(Σ)$, the variety of $G$-characters of $π_1(Σ)$, introduced by Alekseev-Grosse-Schomerus and Buffenoir-Roche in the mid '90s. It can be realized as the invariant subalgebra of so-called graph algebras…
▽ More
Let $Σ$ be a finite type surface, and $G$ a complex algebraic simple Lie group with Lie algebra $\mathfrak{g}$. The quantum moduli algebra of $(Σ,G)$ is a quantization of the ring of functions of $X_G(Σ)$, the variety of $G$-characters of $π_1(Σ)$, introduced by Alekseev-Grosse-Schomerus and Buffenoir-Roche in the mid '90s. It can be realized as the invariant subalgebra of so-called graph algebras, which are $U_q(\mathfrak{g})$-module-algebras associated to graphs on $Σ$, where $U_q(\mathfrak{g})$ is the quantum group corresponding to $G$. We study the structure of the quantum moduli algebra in the case where $Σ$ is a sphere with $n+1$ open disks removed, $n\geq 1$, using the graph algebra of the "daisy" graph on $Σ$ to make computations easier. We provide new results that hold for arbitrary $G$ and generic $q$, and develop the theory in the case where $q=ε$, a primitive root of unity of odd order, and $G={\rm SL}(2,{\mathbb C})$. In such a situation we introduce a Frobenius morphism that provides a natural identification of the center of the daisy graph algebra with a finite extension of the coordinate ring $\mathcal{O}(G^n)$. We extend the quantum coadjoint action of De-Concini-Kac-Procesi to the daisy graph algebra, and show that the associated Poisson structure on the center corresponds by the Frobenius morphism to the Fock-Rosly Poisson structure on $\mathcal{O}(G^n)$. We show that the set of fixed elements of the center under the quantum coadjoint action is a finite extension of ${\mathbb C}[X_G(Σ)]$ endowed with the Atiyah-Bott-Goldman Poisson structure. Finally, by using Wilson loop operators we identify the Kauffman bracket skein algebra $K_ζ(Σ)$ at $ζ:={\rm i}ε^{1/2}$ with this quantum moduli algebra specialized at $q=ε$.
△ Less
Submitted 29 March, 2022; v1 submitted 5 December, 2019;
originally announced December 2019.
-
Non ambiguous structures on 3-manifolds and quantum symmetry defects
Authors:
Stéphane Baseilhac,
Riccardo Benedetti
Abstract:
The state sums defining the quantum hyperbolic invariants (QHI) of hyperbolic oriented cusped $3$-manifolds can be split in a "symmetrization" factor and a "reduced" state sum. We show that these factors are invariants on their own, that we call "symmetry defects" and "reduced QHI", provided the manifolds are endowed with an additional "non ambiguous structure", a new type of combinatorial structu…
▽ More
The state sums defining the quantum hyperbolic invariants (QHI) of hyperbolic oriented cusped $3$-manifolds can be split in a "symmetrization" factor and a "reduced" state sum. We show that these factors are invariants on their own, that we call "symmetry defects" and "reduced QHI", provided the manifolds are endowed with an additional "non ambiguous structure", a new type of combinatorial structure that we introduce in this paper. A suitably normalized version of the symmetry defects applies to compact $3$-manifolds endowed with $PSL_2(\mathbb{C})$-characters, beyond the case of cusped manifolds. Given a manifold $M$ with non empty boundary, we provide a partial "holographic" description of the non-ambiguous structures in terms of the intrinsic geometric topology of $\partial M$. Special instances of non ambiguous structures can be defined by means of taut triangulations, and the symmetry defects have a particularly nice behaviour on such "taut structures". Natural examples of taut structures are carried by any map** torus with punctured fibre of negative Euler characteristic, or by sutured manifold hierarchies. For a cusped hyperbolic $3$-manifold $M$ which fibres over $S^1$, we address the question of determining whether the fibrations over a same fibered face of the Thurston ball define the same taut structure. We describe a few examples in detail. In particular, they show that the symmetry defects or the reduced QHI can distinguish taut structures associated to different fibrations of $M$. To support the guess that all this is an instance of a general behaviour of state sum invariants of 3-manifolds based on some theory of 6j-symbols, finally we describe similar results about reduced Turaev-Viro invariants.
△ Less
Submitted 28 September, 2016; v1 submitted 3 June, 2015;
originally announced June 2015.
-
Analytic families of quantum hyperbolic invariants
Authors:
Stephane Baseilhac,
Riccardo Benedetti
Abstract:
We organize the quantum hyperbolic invariants (QHI) of $3$-manifolds into sequences of rational functions indexed by the odd integers $N\geq 3$ and defined on moduli spaces of geometric structures refining the character varieties. In the case of one-cusped hyperbolic $3$-manifolds $M$ we generalize the QHI and get rational functions $\mathcal{H}_N^{h_f,h_c,k_c}$ depending on a finite set of cohomo…
▽ More
We organize the quantum hyperbolic invariants (QHI) of $3$-manifolds into sequences of rational functions indexed by the odd integers $N\geq 3$ and defined on moduli spaces of geometric structures refining the character varieties. In the case of one-cusped hyperbolic $3$-manifolds $M$ we generalize the QHI and get rational functions $\mathcal{H}_N^{h_f,h_c,k_c}$ depending on a finite set of cohomological data $(h_f,h_c,k_c)$ called {\it weights}. These functions are regular on a determined Abelian covering of degree $N^2$ of a Zariski open subset, canonically associated to $M$, of the geometric component of the variety of augmented $PSL(2,\mathbb{C})$-characters of $M$. New combinatorial ingredients are a weak version of branchings which exists on every triangulation, and state sums over weakly branched triangulations, including a sign correction which eventually fixes the sign ambiguity of the QHI. We describe in detail the invariants of three cusped manifolds, and present the results of numerical computations showing that the functions $\mathcal{H}_N^{h_f,h_c,k_c}$ depend on the weights as $N\rightarrow + \infty$, and recover the volume for some specific choices of the weights.
△ Less
Submitted 2 April, 2015; v1 submitted 18 December, 2012;
originally announced December 2012.
-
Quantum coadjoint action and the $6j$-symbols of $U_qsl_2$
Authors:
Stéphane Baseilhac
Abstract:
We review the representation theory of the quantum group $U_εsl_2\mathbb{C}$ at a root of unity $ε$ of odd order, focusing on geometric aspects related to the 3-dimensional quantum hyperbolic field theories (QHFT). Our analysis relies on the quantum coadjoint action of De Concini-Kac-Procesi, and the theory of Heisenberg doubles of Poisson-Lie groups and Hopf algebras. We identify the 6j-symbols o…
▽ More
We review the representation theory of the quantum group $U_εsl_2\mathbb{C}$ at a root of unity $ε$ of odd order, focusing on geometric aspects related to the 3-dimensional quantum hyperbolic field theories (QHFT). Our analysis relies on the quantum coadjoint action of De Concini-Kac-Procesi, and the theory of Heisenberg doubles of Poisson-Lie groups and Hopf algebras. We identify the 6j-symbols of generic representations of $U_εsl2\mathbb{C}$, the main ingredients of QHFT, with a bundle morphism defined over a finite cover of the algebraic quotient $PSL_2\mathbb{C}/!/PSL_2\mathbb{C}$, of degree two times the order of $ε$. It is characterized by a non Abelian 3-cocycloid identity deforming the fundamental five term relation satisfied by the classical dilogarithm functions, that relates the volume of hyperbolic 3-polyhedra under retriangulation, and more generally, the simplicial formulas of Chern-Simons invariants of 3-manifolds with flat $sl_2\mathbb{C}$-connections.
△ Less
Submitted 18 January, 2011;
originally announced January 2011.
-
The Kashaev and quantum hyperbolic link invariants
Authors:
Stephane Baseilhac,
Riccardo Benedetti
Abstract:
We show that the link invariants derived from 3-dimensional quantum hyperbolic geometry can be defined by means of planar state sums based on link diagrams and a new family of enhanced Yang-Baxteroperators (YBO) that we compute explicitly. By a local comparison of the respective YBO's we show that these invariants coincide with the Kashaev specializations of the colored Jones polynomials. As a fur…
▽ More
We show that the link invariants derived from 3-dimensional quantum hyperbolic geometry can be defined by means of planar state sums based on link diagrams and a new family of enhanced Yang-Baxteroperators (YBO) that we compute explicitly. By a local comparison of the respective YBO's we show that these invariants coincide with the Kashaev specializations of the colored Jones polynomials. As a further application we disprove a conjecture about the semi-classical limits of quantum hyperbolic partition functions, by showing that it conflicts with the existence of hyperbolic links that verify the volume conjecture.
△ Less
Submitted 10 January, 2011;
originally announced January 2011.
-
Quantum hyperbolic geometry
Authors:
Stephane Baseilhac,
Riccardo Benedetti
Abstract:
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)$-charact…
▽ More
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 structures on punctured surfaces. Each QHFT associates in a constructive way to any triple $(Y,L_\Ff,ρ)$ with marked boundary components a tensor built on the matrix dilogarithms, which is holomorphic in the boundary parameters. We establish {\it surgery formulas} for QHFT partitions functions and describe their relations with the {\it quantum hyperbolic invariants} of \cite{BB1,BB2} (either defined for unframed links in closed manifolds and characters trivial at the link meridians, or hyperbolic {\it cusped} 3-manifolds). For every $PSL(2,\mc)$-character of a punctured surface, we produce new families of conjugacy classes of "moderately projective" representations of the map** class groups.
△ Less
Submitted 16 November, 2006;
originally announced November 2006.
-
3D Quantum Hyperbolic Field Theory
Authors:
Stéphane Baseilhac,
Riccardo Benedetti
Abstract:
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$, wit…
▽ More
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_\Ff,ρ)$ as above with parametrized boundary components a tensor, which is generically holomorphic w.r.t. the parameters for the restriction of $ρ$ to $\partial Y \setminus L_\Ff$. This gives new numerical invariants of 3-manifolds, such as Chern-Simons invariants of $PSL(2,\mc)$-characters of arbitrary link complements, or quantum invariants of compact hyperbolic cone manifolds. Also, for any $PSL(2,\mc)$-character of a surface of finite topological type, we obtain new conjugacy classes of linear representations of the map** class group. Finally, we discuss some evidences showing that the QHFTs are pertinent to 3D gravity.
△ Less
Submitted 16 September, 2004;
originally announced September 2004.
-
Problems on invariants of knots and 3-manifolds
Authors:
J. E. Andersen,
N. Askitas,
D. Bar-Natan,
S. Baseilhac,
R. Benedetti,
S. Bigelow,
M. Boileau,
R. Bott,
J. S. Carter,
F. Deloup,
N. Dunfield,
R. Fenn,
E. Ferrand,
S. Garoufalidis,
M. Goussarov,
E. Guadagnini,
H. Habiro,
S. K. Hansen,
T. Harikae,
A. Haviv,
M. -J. Jeong,
V. Jones,
R. Kashaev,
Y. Kawahigashi,
T. Kerler
, et al. (35 additional authors not shown)
Abstract:
This is a list of open problems on invariants of knots and 3-manifolds with expositions of their history, background, significance, or importance. This list was made by editing open problems given in problem sessions in the workshop and seminars on `Invariants of Knots and 3-Manifolds' held at Kyoto in 2001.
This is a list of open problems on invariants of knots and 3-manifolds with expositions of their history, background, significance, or importance. This list was made by editing open problems given in problem sessions in the workshop and seminars on `Invariants of Knots and 3-Manifolds' held at Kyoto in 2001.
△ Less
Submitted 9 June, 2004;
originally announced June 2004.
-
Classical and quantum dilogarithmic invariants of flat PSL(2,C)-bundles over 3-manifolds
Authors:
Stephane Baseilhac,
Riccardo Benedetti
Abstract:
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 ar…
▽ More
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 instance of five-term identity. We use the matrix dilogarithms to construct invariant state sums for closed oriented 3-manifolds $W$ endowed with a flat principal PSL(2,C)-bundle rho, and a fixed non empty link L if N>1, and for (possibly "marked") cusped hyperbolic 3-manifolds M. When N=1 the state sums recover known simplicial formulas for the volume and the Chern-Simons invariant. When N>$, the invariants for M are new; those for triples (W,L,rho) coincide with the quantum hyperbolic invariants defined in [Topology 43 (2004) 1373-1423], though our present approach clarifies substantially their nature. We analyse the structural coincidences versus discrepancies between the cases N=1 and N>1, and we formulate "Volume Conjectures", having geometric motivations, about the asymptotic behaviour of the invariants when N tends to infinity.
△ Less
Submitted 14 April, 2005; v1 submitted 19 June, 2003;
originally announced June 2003.
-
Quantum Hyperbolic Invariants Of 3-Manifolds With PSL(2,C)-Characters
Authors:
S. Baseilhac,
R. Benedetti
Abstract:
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…
▽ More
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.
△ Less
Submitted 19 June, 2003;
originally announced June 2003.
-
QHI Theory, II: Dilogarithmic and Quantum Hyperbolic Invariants of 3-Manifolds with PSL(2,C)-Characters
Authors:
Stephane Baseilhac,
Riccardo Benedetti
Abstract:
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 fix…
▽ More
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-classical limit of the QHI.
△ Less
Submitted 17 December, 2002; v1 submitted 4 November, 2002;
originally announced November 2002.
-
QHI, 3-manifolds scissors congruence classes and the volume conjecture
Authors:
Stephane Baseilhac,
Riccardo Benedetti
Abstract:
This is a survey of our work on Quantum Hyperbolic Invariants (QHI) of 3-manifolds. We explain how the theory of scissors congruence classes is a powerful geometric framework for QHI and for a `Volume Conjecture' to make sense.
This is a survey of our work on Quantum Hyperbolic Invariants (QHI) of 3-manifolds. We explain how the theory of scissors congruence classes is a powerful geometric framework for QHI and for a `Volume Conjecture' to make sense.
△ Less
Submitted 4 November, 2002;
originally announced November 2002.
-
Dilogarithme Quantique et 6j-Symboles Cycliques
Authors:
Stephane Baseilhac
Abstract:
Let $\mathcal{W}_N$ be a quantized Borel subalgebra of $U_q(sl(2,\mc))$, specialized at a primitive root of unity $ω= \exp(2iπ/N)$ of odd order $N >1$. One shows that the $6j$-symbols of cyclic representations of $\mathcal{W}_N$ are representations of the canonical element of a certain extension of the Heisenberg double of $\mathcal{W}_N$. This canonical element is a twisted $q$-dilogarithm. In…
▽ More
Let $\mathcal{W}_N$ be a quantized Borel subalgebra of $U_q(sl(2,\mc))$, specialized at a primitive root of unity $ω= \exp(2iπ/N)$ of odd order $N >1$. One shows that the $6j$-symbols of cyclic representations of $\mathcal{W}_N$ are representations of the canonical element of a certain extension of the Heisenberg double of $\mathcal{W}_N$. This canonical element is a twisted $q$-dilogarithm. In particular, one gives explicit formulas for these $6j$-symbols, and one constructs partial symmetrizations of them, the c-$6j$-symboles. The latters are at the basis of the construction of the quantum hyperbolic invariants of 3-manifolds.
△ Less
Submitted 26 February, 2002;
originally announced February 2002.
-
QHI Theory, I: 3-Manifolds Scissors Congruence Classes and Quantum Hyperbolic Invariants
Authors:
S. Baseilhac,
R. Benedetti
Abstract:
For any triple $(W,L,ρ)$, where W is a closed connected and oriented 3-manifold, L is a link in W and $ρ$ is a flat principal B-bundle over W (B is the Borel subgroup of $SL(2,\mc)$), one constructs a $\Dd$-scissors congruence class $\cG_{\Dd}(W,L,ρ)$ which belongs to a (pre)-Bloch group $\Pp (\Dd)$. The class $\cG_{\Dd}(W,L,ρ)$ may be represented by $\Dd$-triangulations $\Tt=(T,H,\Dd)$ of…
▽ More
For any triple $(W,L,ρ)$, where W is a closed connected and oriented 3-manifold, L is a link in W and $ρ$ is a flat principal B-bundle over W (B is the Borel subgroup of $SL(2,\mc)$), one constructs a $\Dd$-scissors congruence class $\cG_{\Dd}(W,L,ρ)$ which belongs to a (pre)-Bloch group $\Pp (\Dd)$. The class $\cG_{\Dd}(W,L,ρ)$ may be represented by $\Dd$-triangulations $\Tt=(T,H,\Dd)$ of $(W,L,ρ)$. For any $\Tt$ and any odd integer $N>1$, one defines a ``quantization'' $\Tt_N$ of $\Tt$ based on the representation theory of the quantum Borel subalgebra $\Ww_N$ of $U_q(sl(2,\mc))$ specialized at the root of unity $ω_N = \exp (2πi/N)$. Then one defines an invariant state sum $K_N(W,L,ρ):= K(\Tt_N)$ called a quantum hyperbolic invariant (QHI) of $(W,L,ρ)$. One introduces the class of hyperbolic-like triples. They carry also a classical scissors congruence class $\cG_{\Ii}(W,L,ρ)$, that belongs to the classical (pre)-Bloch group $\Pp (\Ii)$ and may be represented by explicit idealizations $\Tt_{\Ii}$ of some $\Dd$-triangulations $\Tt$ of a special type. One shows that $\cG_{\Ii}(W,L,ρ)$ lies in the kernel of a generalized Dehn homomorphism defined on $\Pp (\Ii)$, and that it induces an element of $H_3^δ(PSL(2,\mc);\mz)$ (discrete homology). One proves that $ \lim_{N\to \infty} (2iπ/N^2) \log [K_N(W,L,ρ)] = G(W,L,ρ)$ essentially depends of the geometry of the ideal triangulations representing $\cG_{\Ii}(W,L,ρ)$, and one motivates the strong reformulation of the Volume Conjecture, which would identify $G(W,L,ρ)$ with the evaluation $R(\cG_{\Ii}(W,L,ρ))$ of a certain refinement of the classical Rogers dilogarithm on the $\Ii$-scissors class.
△ Less
Submitted 24 January, 2002;
originally announced January 2002.
-
Quantum Hyperbolic State Sum Invariants of 3-Manifolds
Authors:
Stephane Baseilhac,
Riccardo Benedetti
Abstract:
Any triple $(W,L,ρ)$, where $W$ is a compact closed oriented 3-manifold, $L$ is a link in $W$ and $ρ$ is a flat principal $B$-bundle over $W$ ($B$ is the Borel subgroup of upper triangular matrices of $SL(2,\mc)$), can be encoded by suitable {\it distinguished} and {\it decorated} triangulations ${\cal T}=(T,H,{\cal D})$. For each $\cal T$, for each odd integer $N\geq 3$, one defines a state sum…
▽ More
Any triple $(W,L,ρ)$, where $W$ is a compact closed oriented 3-manifold, $L$ is a link in $W$ and $ρ$ is a flat principal $B$-bundle over $W$ ($B$ is the Borel subgroup of upper triangular matrices of $SL(2,\mc)$), can be encoded by suitable {\it distinguished} and {\it decorated} triangulations ${\cal T}=(T,H,{\cal D})$. For each $\cal T$, for each odd integer $N\geq 3$, one defines a state sum $K_N({\cal T})$, based on the Faddeev-Kashaev quantum dilogarithm at $ω=\exp(2πi/N)$, such that $K_N(W,L,ρ)=K_N({\cal T})$ is a well-defined complex valued invariant. The purely topological, conjectural invariants $K_N(W,L)$ proposed earlier by Kashaev correspond to the special case of the {\it trivial} flat bundle. Moreover, we extend the definition of these invariants to the case of flat bundles on $W\setminus L$ with non necessarily trivial holonomy along the meridians of the link's components, and also to 3-manifolds endowed with a $B$-flat bundle and with \emph{arbitrary} non-spherical parametrized boundary components. We point out some remarkable specializations of the invariants; among these, the so called {\it Seifert-type} invariants, when $W=S^3$: these seem to be good candidates in orther to fully reconduct the Jones polynomials in the main stream of quantum hyperbolic invariants. Finally, we try to set our results against the heuristic backgroud of the Euclidean analytic continuation of (2+1)-quantum gravity with negative cosmological constant, regarded as a gauge theory with the {\it non compact} group SO(3,1) as gauge group.
△ Less
Submitted 28 February, 2001; v1 submitted 29 January, 2001;
originally announced January 2001.
