Searcharxiv⌕ Search

arXiv · math/0201240

QHI Theory, I: 3-Manifolds Scissors Congruence Classes and Quantum Hyperbolic Invariants

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 $(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.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

S. Baseilhac, R. Benedetti. 2002-01-24. QHI Theory, I: 3-Manifolds Scissors Congruence Classes and Quantum Hyperbolic Invariants. https://arxiv.org/abs/math/0201240

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Links and singularities of stable maps from $3$-manifolds to surfaces

For any two links in the $3$-sphere, we provide a visual construction of a stable map $f$ from the $3$-sphere to the Euclidean plane such that $f$ has no cusp points, the set of definite (resp. indefinite) fold points of $f$ is isotopic to the first (resp. second) given link, and $f$ does not have a certain type of singular fibers. Moreover, we obtain a similar result for any $3$-manifold by setting the target space to the $2$-sphere.

math.GT↗

The Smoothability of Embedded Surfaces in 4-Manifolds Under Stabilizations

We study the smooth stabilization number of a locally flat embedded surface in a smooth $4$-manifold, defined as the minimum number of connected sums with $S^2\times S^2$ needed to make the surface topologically isotopic to a smooth embedding. We prove that a nonsmoothable locally flat surface in a closed, simply connected smooth $4$-manifold becomes smoothable after a single stabilization if its homology class is primitive and noncharacteristic and its complement has abelian fundamental group. This yields infinitely many examples of nonsmoothable surfaces with smooth stabilization number one. We also exhibit examples for which a single stabilization produces infinitely many pairwise smoothly nonisotopic representatives in the same topological isotopy class. In contrast, we construct a locally flat genus-eight surface representing $6h$ in $\mathbb{CP}^2$ whose smooth stabilization number is exactly two. More generally, we show that smooth stabilization numbers of locally flat embedded surfaces in $\mathbb{CP}^2$ are unbounded.

math.GT↗

Sections, pseudosections, and multisections of Lefschetz fibrations

We show that not every symplectic Lefschetz fibration over the $2$--sphere admits a smooth section, settling a long-standing open problem. To prove this, we develop a method for studying sections via lifts of monodromy factorizations with point-pushing maps and the induced handle decomposition of the total space, and apply it to an infinite family of Lefschetz fibrations. In contrast, we show that every Lefschetz fibration over $S^2$ admits positive multisections. Some of these examples admit no multisections with spherical components. We also construct signature-zero Lefschetz fibrations of every odd genus $g\geq 7$, which in turn give symplectic Lefschetz fibrations of any prescribed signature in each of these genera.

math.GT↗