Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Classical 6j-symbols and the tetrahedron

Justin Roberts

TL;DR

The paper proves that the classical SU(2) $6j$-symbol associated with a labelled tetrahedron has a precise geometric asymptotic when the labels scale by $k$. It achieves this by realizing SU(2) irreps through geometric quantization (Borel–Weil–Bott) on spheres, assembling a 24-dimensional phase space, and applying stationary-phase methods on a reduced Kähler quotient to reduce the problem to two Euclidean tetrahedra related by Regge symmetry. The main result is the asymptotic formula $\\{ kakbkckdkekf \} \\sim \\sqrt{\\frac{2}{3\\pi k^3 V}} \, \\\cos\{ \\sum (ka+1) \\frac{\\theta_a}{2} + \\frac{\\pi}{4} \\}$ for Euclidean tetrahedra with volume $V$ and dihedral angles $\\theta_a$, while exponential decay occurs in the Minkowskian case. The work also reveals a geometric spin-off: from a generic Euclidean tetrahedron one obtains twelve scissors-congruent but non-congruent tetrahedra, connected to Regge symmetry and Dehn-Hadwiger-type invariants, enriching the interplay between representation theory and 3D geometry.

Abstract

A classical 6j-symbol is a real number which can be associated to a labelling of the six edges of a tetrahedron by irreducible representations of SU(2). This abstract association is traditionally used simply to express the symmetry of the 6j-symbol, which is a purely algebraic object; however, it has a deeper geometric significance. Ponzano and Regge, expanding on work of Wigner, gave a striking (but unproved) asymptotic formula relating the value of the 6j-symbol, when the dimensions of the representations are large, to the volume of an honest Euclidean tetrahedron whose edge lengths are these dimensions. The goal of this paper is to prove and explain this formula by using geometric quantization. A surprising spin-off is that a generic Euclidean tetrahedron gives rise to a family of twelve scissors-congruent but non-congruent tetrahedra.

Classical 6j-symbols and the tetrahedron

TL;DR

The paper proves that the classical SU(2) -symbol associated with a labelled tetrahedron has a precise geometric asymptotic when the labels scale by . It achieves this by realizing SU(2) irreps through geometric quantization (Borel–Weil–Bott) on spheres, assembling a 24-dimensional phase space, and applying stationary-phase methods on a reduced Kähler quotient to reduce the problem to two Euclidean tetrahedra related by Regge symmetry. The main result is the asymptotic formula for Euclidean tetrahedra with volume and dihedral angles , while exponential decay occurs in the Minkowskian case. The work also reveals a geometric spin-off: from a generic Euclidean tetrahedron one obtains twelve scissors-congruent but non-congruent tetrahedra, connected to Regge symmetry and Dehn-Hadwiger-type invariants, enriching the interplay between representation theory and 3D geometry.

Abstract

A classical 6j-symbol is a real number which can be associated to a labelling of the six edges of a tetrahedron by irreducible representations of SU(2). This abstract association is traditionally used simply to express the symmetry of the 6j-symbol, which is a purely algebraic object; however, it has a deeper geometric significance. Ponzano and Regge, expanding on work of Wigner, gave a striking (but unproved) asymptotic formula relating the value of the 6j-symbol, when the dimensions of the representations are large, to the volume of an honest Euclidean tetrahedron whose edge lengths are these dimensions. The goal of this paper is to prove and explain this formula by using geometric quantization. A surprising spin-off is that a generic Euclidean tetrahedron gives rise to a family of twelve scissors-congruent but non-congruent tetrahedra.

Paper Structure

This paper contains 34 sections, 8 theorems, 144 equations, 7 figures.

Table of Contents

  1. Introduction
  2. Definition and interpretation of $6j$--symbols
  3. Combinatorial definition
  4. Algebraic definition
  5. Heuristic interpretation
  6. Geometric quantization
  7. Borel--Weil--Bott
  8. Kähler geometry
  9. Hamiltonian group action
  10. Equivariant hermitian holomorphic line bundle
  11. Complexification
  12. Example
  13. Kähler quotients
  14. Reduction commutes with quantization
  15. Refinement of the Guillemin--Sternberg theorem
  16. ...and 19 more sections

Key Result

Theorem 1

Suppose a tetrahedron is admissibly labelled by the numbers $a,b,c,d,e,f$. Let $k$ be a natural number. As $k \rightarrow \infty$, there is an asymptotic formula (where the sum is over the six edges of the tetrahedron ).

Figures (7)

  • Figure 1: Pictorial representation
  • Figure 2: Mercedes and theta graphs
  • Figure 3: Writing the $6j$--symbol as a pairing
  • Figure 4: Localisation regions and generating vectors
  • Figure 5: Schematic configuration of vectors
  • ...and 2 more figures

Theorems & Definitions (25)

  • Theorem 1: Asymptotic formula
  • Definition 2
  • Remark
  • Definition 3
  • Lemma 4
  • proof : Proof (Sketch )
  • Remark
  • Remark
  • Remark
  • Theorem 5
  • ...and 15 more