Polyhedra, Moduli,
and Quantum Geometry

Web working edition

B Conventions at a glance

These conventions locate the normalizations used in the chapter formulas. Their geometric and analytic hypotheses remain those of the referenced statements; a convention does not assert an existence or convergence theorem.

Quantity Convention in this monograph
Surface/ambient hyperbolic curvature −1-1; the area-one rescaling ĝ=A−1g\widehat g=A^{-1}g has curvature −A-A; (8.3).
Complex hyperbolic curvature Holomorphic sectional curvature −1-1, with ωCH=−2i∂∂‾log⁡𝒜\omega_{\mathrm{CH}}=-2i\partial\bar\partial\log\mathcal A; (7.6).
Flat weights Deficit 2πμi2\pi\mu_i, opening 2π(1−μi)2\pi(1-\mu_i), 0<μi<10<\mu_i<1, ∑iμi=2\sum_i\mu_i=2; (7.1).
Three volume scales AA is boundary area, WW is enclosed three-volume, and VWPV_{\mathrm{WP}} is moduli volume; Section 11.
Flat WP limit A−1ωWP→ωCH/2A^{-1}\omega_{\mathrm{WP}}\to\omega_{\mathrm{CH}}/2, locally on open moduli at fixed weights; (8.5).
WP form ∑j⁡dℓj∧⁡dτj\sum_j\mathop{}\!\mathrm d\ell_j\wedge\mathop{}\!\mathrm d\tau_j, with full twist period ℓj\ell_j; (1.1). For the raw Beltrami pairing HH, the complex form is i∑j,kHjk‾⁡dtj∧⁡dt‾ki\sum_{j,k}H_{j\bar k}\mathop{}\!\mathrm dt_j\wedge\mathop{}\!\mathrm d\bar t_k; Section 1.
Boundary components Labeled, unparametrized, with lengths fixed before integration; a zero length denotes a cusp; Section 1.
Volumes Orbifold/stack volumes include ineffective stabilizers; V=∫ωWPd/d!V=\int\omega_{\mathrm{WP}}^{d}/d!; Section 1.
Punctured-torus volume V1,1(0)=π2/12V_{1,1}(0)=\pi^2/12; effective volume π2/6\pi^2/6; (1.2).
Four-punctured-sphere volume V0,4(0)=2π2V_{0,4}(0)=2\pi^2; the direct integral includes both labeled orientation sheets; (3.5).
Cone parameter Opening θ\theta, formal length L=iθL=i\theta, deficit 2π−θ2\pi-\theta. Geometric volumes require positive area and the specified chamber corrections; (5.1), (5.6).
Ideal tetrahedral zz Cross-ratio of ambient ideal vertices; it need not equal the intrinsic conformal cross-ratio; Section 3.
Exterior and interior angles Exterior θe\theta_e is a dual metric edge length, with sum 2π2\pi around an ideal vertex; (2.2). Schläfli uses interior αe\alpha_e: ⁡dW=−12∑eℓe⁡dαe\mathop{}\!\mathrm dW=-\frac12\sum_e\ell_e\mathop{}\!\mathrm d\alpha_e; (11.4).
Lambda length eδ/2e^{\delta/2} for signed decorated distance δ\delta, with no additional 2\sqrt2; (3.2), (22.3).
Planar Hessian and gauge Leading–trailing coordinates have u|B=0u|_B=0 and −Du2𝒱=2LII-D_u^2\mathcal V=2L_{II}; (9.3), (9.4). The boundary response is grounded or taken modulo constants; (9.7).
Compact quantum integers [n]qalg=(qalgn−qalg−n)/(qalg−qalg−1)[n]_{q_{\mathrm{alg}}}=(q_{\mathrm{alg}}^n-q_{\mathrm{alg}}^{-n})/(q_{\mathrm{alg}}-q_{\mathrm{alg}}^{-1}); the compact root is eπi/re^{\pi i/r}; (10.2).
Colored Jones and volume roots Reduced JN(unknot;qJ)=1J_N(\text{unknot};q_J)=1; form the polynomial before qJ=e2πi/Nq_J=e^{2\pi i/N}. Chen–Yang RT/TV use their separate odd-rr root convention; (10.4), (10.5).
Chen–Murakami 6j6j ξr=e2πi/r\xi_r=e^{2\pi i/r}, rr odd, source q=ξr2q=\xi_r^2 and qalg=ξrq_{\mathrm{alg}}=\xi_r. The refined prefactor in (11.6) requires the exact label sequence stated there, beyond the leading-limit hypotheses.
Continuous semiclassical scale h=2πb2h=2\pi b^2, volume-action ℏvol=πb2=h/2\hbar_{\mathrm{vol}}=\pi b^2=h/2; (14.24). These differ from ℏr=4πi/r\hbar_r=4\pi i/r in (10.20).
Regular Barnes normalization Upward contour with measure ⁡dw/i\mathop{}\!\mathrm dw/i; the Airy expansion is for the pole-cleared ℛ̂b\widehat{\mathcal R}_b and bounded real ζ\zeta; (15.1), (15.3), (15.4).
Liouville charges and marks Physics αi=μi/(2b)\alpha_i=\mu_i/(2b), probabilistic βi=2αi\beta_i=2\alpha_i, Q=b+b−1Q=b+b^{-1}; marks 0,1,z,∞0,1,z,\infty carry labels 1,2,3,41,2,3,4; (10.21), (13.1).
Relative torsion normalization The B=−trB=-\mathop{\mathrm{tr}} peripheral factor in (12.13) is specific to that bilinear form; torsion, Goldman form and peripheral factors must be rescaled together.
Closed-curve sums Unoriented free-homotopy classes unless stated otherwise; primitivity and iteration are specified separately; Sections 18, 23.
Positive geometric trace tγ=2cosh⁡(ℓγ/2)=|tr⁡ρ̃(γ)|t_\gamma=2\cosh(\ell_\gamma/2)=|\mathop{\mathrm{tr}}\widetilde\rho(\gamma)| for a hyperbolic element; compatible lift signs are retained in trace identities; (18.1).
Coefficient basis TC=∏α⊂Ctr⁡ρ(α)T_C=\prod_{\alpha\subset C}\mathop{\mathrm{tr}}\rho(\alpha), T⌀=1T_\varnothing=1, with unnegated traces and parallel multiplicities; (23.2).
Twisted Selberg sum Closed genus-g≥2g\ge2 surface; unoriented primitive δ\delta and iterate kk have weight ℓδ/sinh⁡(kℓδ/2)\ell_\delta/\sinh(k\ell_\delta/2); (23.4).
Coefficient heat transform HC(t)=e−t/4(4πt)−1/2∫e−L2/(4t)⁡dσC(L)H_C(t)=e^{-t/4}(4\pi t)^{-1/2}\int e^{-L^2/(4t)}\,\mathop{}\!\mathrm d\sigma_C(L); (23.12).
Coefficient Laplace parameter Kernel e−sLe^{-sL}; product parameter v=s+1/2v=s+1/2; (23.13), (23.31).
Total multicurve count All nonzero integral laminations, including disconnected and parallel supports; (24.2).
Primitive lamination Gcd of distinct-support weights is one; connectedness is an additional condition; (24.5).
Support variable zz Exponent counts distinct geodesic supports, not parallel copies; (24.16).
One-crossing torus curves Primitive curves with one transverse double point; each simple class gives two N-type and one H-type labels, including equal-length multiplicity; (18.8).
Basmajian sum Coefficient 22 for oriented orthogeodesics, 44 for unoriented arcs counted once; (22.6).
Cusp orthospectrum Simple cusp-to-cusp arcs, signed truncation dd at horocycle length HH: H↦kHH\mapsto kH gives d↦d−2log⁡kd\mapsto d-2\log k; e−d/H2e^{-d}/H^2 is invariant; (22.4).
Cusp-normal rays The almost-everywhere intersection/gap discussion is for complete finite-area surfaces without geodesic boundary; Section 22.
Cuff phase matching Use one common cuff coordinate after reversing one induced orientation: (s,p)↦(s+τ,p)(s,p)\mapsto(s+\tau,p), with pp the signed tangential unit velocity; (21.1), (21.2).
Peripheral logarithms PSL2(ℂ)_2(\mathbb C) multiplier logs u,vu,v; eigenvalues m=eu/2m=e^{u/2}, l=ev/2l=e^{v/2} with fixed lift signs; smooth filling pu+qv=2πipu+qv=2\pi i; (16.1), (16.2).
Peripheral polarization Ω=12⁡dv∧⁡du\Omega=\frac12\mathop{}\!\mathrm dv\wedge\mathop{}\!\mathrm du, P=v/2P=v/2, [P̂,û]=ℏ[\widehat P,\widehat u]=\hbar; l̂\widehat l shifts uu by ℏ\hbar; (10.15), (10.18).
Real filling source Adding jLxjLx fixes the source conjugate to angular holonomy θ=Lx\theta=Lx; on a geometric cone branch, j=ℓcore/2j=\ell_{\mathrm{core}}/2 and θ\theta is the cone angle; (16.4), (16.5).
Holomorphic filling action F′=vF^{\prime}=v and ΔV=12ℑ𝒮*\Delta V=\frac12\Im\mathcal S^*, with 𝒮\mathcal S as in (16.10); (16.11).
Norm-ball gauge and counts ABA_B counts all nonzero signed lattice points, PBP_B the primitive ones, boundary included. The shortest gauge value is one; λγ=ℓγ/sX\lambda_\gamma=\ell_\gamma/s_X for systole sXs_X; Sections 30.1, 31. The earlier AXA_X in Section 29.1 includes the origin and uses hyperbolic length units.
Flow and area scales Teichmüller time uses gt=diag⁡(et,e−t)g_t=\operatorname{diag}(e^t,e^{-t}); for h=dim⁡ℂ𝒬h=\dim_{\mathbb C}\mathcal Q, area cutoff LL has exponent hh and period scale L\sqrt L has exponent 2h2h; (27.2), Section 27.3. The unit-speed geodesic flow in Section 26.1 uses diag⁡(et/2,e−t/2)\operatorname{diag}(e^{t/2},e^{-t/2}).
Weighted correlations CF,G(t)=∫F(G∘gt)⁡dμC_{F,G}(t)=\int F(G\circ g_t)\,\mathop{}\!\mathrm d\mu is bilinear; use F¯\overline F for the Hermitian version. The full-rate converse assumes the count for (h+V)G(h+V)G; Theorem 27.4.

Source conventions. The local form scale is fixed by (1.1) and the raw Beltrami pairing in Section 1. Ineffective stabilizer weights are a separate operation. Penner’s logarithmic triangle form is used with the ordered-endpoint conversion from Mondello in Section 3; the direct tetrahedral integral (3.5) and trace density (A.2) give independent normalization checks within the monograph. The Delaunay-form constants of [50, Sections 3.2.3–3.2.4] are therefore not imported unchanged into (3.1). The metric-map formula (2.5) uses Budd’s disintegrated measure and label-and-orientation-preserving automorphism weights [48, Section 1.1 and Corollary 2]. The ledger book/claims/section32-appendixb.json records inherited source-statement audits, current convention dependencies, and finite computational support. It does not claim a new complete review of the external proofs.