- The paper establishes a formal framework unifying BV-BFV quantization with RT invariants using derived symplectic geometry.
- It details a layered strategy that employs perturbative expansions, deformation quantization, and factorization homology to bridge different TQFT constructions.
- The work conjectures a natural E2-equivalence aligning perturbative data with modular tensor categories, providing rigorous foundations for 3D TQFT.
From BV-BFV Quantization to Reshetikhin–Turaev Invariants: A Technical Exposition
Introduction and Motivation
The manuscript "From BV-BFV Quantization to Reshetikhin-Turaev Invariants" (2604.04556) delineates a research program to synthesize perturbative and non-perturbative constructions in 3-dimensional TQFT, particularly linking the perturbative Batalin–Vilkovisky/Batalin–Fradkin–Vilkovisky (BV-BFV) quantization of Chern–Simons (CS) theory with the non-perturbative Reshetikhin–Turaev (RT) invariants. The work formally conjectures that the modular tensor category underlying RT theory is canonically realized as the E2-category output of perturbative CS quantization on the disk. The identification proceeds via factorization homology (FH) and the derived character stack endowed with its shifted symplectic structure.
The key technical ambition is the establishment of a natural equivalence between the extended TQFT functors generated by both constructions. To achieve this, the manuscript formulates a hierarchy of conjectures, a programmatic proof strategy, and a parallel between formally divergent perturbative data and the resurgent structure required to non-perturbatively recover RT invariants.
Overview of Technical Frameworks
BV-BFV Quantization in CS Theory
The BV-BFV formalism assigns to a 3-manifold with boundary a bulk odd symplectic (−1-shifted) BV space and a boundary even symplectic ($0$-shifted) BFV phase space, interrelated via compatibility constraints. In CS theory, the space of BV fields is the shifted de Rham complex, and the action is a superfield generalization of the classical CS functional. For manifolds with boundary, quantization is accomplished with gauge-fixing, resulting in a distributional kernel in the boundary BFV Hilbert space.
The partition function constructed in this framework is formal in the perturbative expansion parameter ℏ (or, equivalently, q=eℏ/2), producing power series whose terms correspond to Feynman diagram expansions localized at critical points of the action—i.e., flat connections.
Fundamental obstructions to connecting this data to the RT invariants include divergence of the perturbative expansion, Stokes phenomena controlling analytic continuation, and the mismatch between the analytic/gauge-theoretic and modular tensor category-based algebraic structures.
The RT Invariant and Extended TQFT
The RT invariant—non-perturbative, surgery-based, and framed topological—provides a (2+1)-dimensional TQFT constructed from a modular tensor category. At a technical level, the crucial algebraic object is the semisimplified representation category Repq(G), equipped with a ribbon, modular structure. The RT construction employs colored link invariants (via quantum group data) and normalization via the modular S-matrix to obtain invariants of closed 3-manifolds.
This modular category then extends to a (3−2−1)-TQFT through the cobordism hypothesis, associating vector spaces to surfaces and categories to circles, and enabling gluing via functorial composition and factorization homology of the underlying E2-algebra.
Theoretical Bridge: Derived Character Stack and Shifted Quantization
A pivotal insight is that both frameworks—perturbative and non-perturbative—are controlled by the derived moduli stack of local systems LocG(Σ) (the character stack), endowed with its canonical −10-shifted symplectic structure (where −11 is the dimension of the underlying manifold). This shifted structure enables a unification of the BV-BFV bulk/boundary hierarchy and the modular tensor category's algebraic structure under the umbrella of derived algebraic geometry.
Deformation quantization (in the sense of CPTVV, Safronov, and Etingof–Kazhdan) of these shifted stacks is conjectured to reproduce quantum group data up to categorical degree: −12-quantization for CS on the disk produces the braided monoidal (ribbon) category central to RT theory.
A central conjecture asserts the existence of a natural −13-equivalence between the −14-category output of BV-BFV quantization and the modular tensor category from the quantum group construction at root-of-unity specialization, mediated by derived character stack quantization. The chain of identifications is:
−15
Conjectural Program Structure and Proof Strategy
The core of the manuscript's technical proposal is the following layered strategy:
1. Classical Layer: Both BV-BFV and RT characterizations share −16 as the classical phase space.
2. Quantum Layer: BV-BFV perturbative data (as formal deformations) and RT quantum group data should be related by shifted deformation quantization of character stacks, with the −17 algebra extracted from the disk quantization. Key open problem: identification of the respective quantizations at the categorical and algebraic level.
3. Topological Layer: Factorization homology transports the (conjecturally) matched −18 data to higher-dimensional state spaces, ensuring that RT state spaces on surfaces coincide with those generated by BV-BFV via FH.
4. Field-Theoretic/Extended Layer: The equivalence should lift to a natural isomorphism of −19-extended TQFT functors. The extension to cobordism maps is governed by the quantization of Lagrangian correspondences, relating the derived Lagrangian structure on classical moduli to the linear maps produced by cobordism composition in RT theory.
This sequence is encapsulated by a series of conjectures (enumerated in detail in the paper) concerning $0$0-equivalence, quantization compatibility, extended functoriality, cellular–factorization compatibility, and the algebraic reconstruction of non-perturbative data by $0$1-Koszul duality.
Numerical Results, Contrasts, and Evidence
The paper does not focus primarily on new computations but rather situates the program within a web of established checks:
- Abelian $0$2: Complete agreement between perturbative, non-perturbative, and factorized constructions; the salient issues (divergence, non-semisimplicity, Stokes transitions) are trivialized.
- Lens spaces / Seifert manifolds: Explicit calculation verifies that the RT invariants match with semiclassical sums over flat connections, as predicted by the asymptotic expansion, up to all orders in $0$3.
- Higher genus ($0$4, mapping class group representations): The equality of RT and geometric quantization representations (e.g., projective $0$5 representations) has been established, and the asymptotic faithfulness theorems (e.g., Andersen) confirm that the quantum representations converge appropriately to the classical character variety action.
- Resurgence: Resurgent analysis (e.g., for the Poincaré homology sphere) confirms that the divergent perturbative expansions can, when summed with the correct Stokes data, reconstruct the RT invariant exactly, supporting an identification of analytic Stokes constants with categorical gluing data.
Theoretical and Practical Implications
Theoretical Implications: The unification via the derived character stack imposes severe constraints on possible TQFTs: the intricate interplay between local (perturbative/formal) and global (non-perturbative/categorical) structures in quantum topology is reducible, conjecturally, to algebraic geometry and higher category theory. Further, it motivates a categorified perspective on resurgence in QFT, where Stokes phenomena and alien derivatives find algebraic analogues in the morphisms and gluing data of the ind-coherent sheaf category on the character stack.
Practical Implications/Future Directions: Should the conjectural program succeed, it would provide computable, algebraic, and functorial machinery for 3-manifold invariants and extended TQFT constructions, with clear computational strategies via cellular models and factorization. Moreover, the framework has implications for 4D TQFT (e.g., through the Crane–Yetter theory), derived geometric Langlands duality, and the categorical understanding of anomalies and mapping class group actions in low-dimensional QFT.
Conclusion
The manuscript by Moshayedi constitutes a formal, technically rigorous synthesis of perturbative and non-perturbative constructions in 3D TQFT, packaged through the lens of derived algebraic geometry, factorization homology, and categorical quantization. The programmatic conjectures clarify the precise mathematical obstructions impeding the direct identification of the path-integral-based BV-BFV functor with the RT modular functor, and articulate a roadmap for resolving these via modern tools: shifted symplectic and derived geometry, $0$6-Koszul duality, and higher-categorical TQFT. These conjectures, if validated, establish not only a bridge between the two pillars of quantum topology algorithms but also a paradigm for encoding resurgence and non-perturbative effects algebraically.
