Quantum Toric Stacks: Geometric & Moduli Insights
- Quantum toric stacks are stack-theoretic generalizations of toric varieties that use quantum lattices to incorporate irrational generators and noncommutative structures.
- They extend classical toric geometry by employing analytic stacks, categorical equivalences, and controlled wall-crossing phenomena to model birational transitions.
- Their framework supports rich moduli spaces, mirror symmetry applications, and quantum cohomology analysis, unveiling deep insights into complex geometric structures.
A quantum toric stack is a stack-theoretic generalization of a toric variety in which the underlying combinatorial and geometric data allow non-rational, finitely generated subgroups—called “quantum lattices”—instead of the integral lattices characteristic of classical toric geometry. This extension admits irrational rays, non-commutative structures, and a much richer deformation and moduli theory than classical toric stacks, while preserving the local and global combinatorial tractability that makes toric geometry powerful for explicit computations. The formalism accommodates both analytic and categorical enhancements, interfaces effectively with the minimal model program and mirror symmetry, and provides a systematic framework for wall-crossing, birational transitions, and the study of moduli spaces with combinatorial stratifications.
1. Foundational Structure: Quantum Fans, Calibrations, and Stacks
The classical construction of a toric variety employs a rational simplicial fan in and a lattice . Quantum toric geometry replaces with a “quantum lattice,” i.e., a finitely generated subgroup such that the real span holds. The key combinatorial object is a quantum fan, denoted , where:
- is a collection of strongly convex polyhedral cones in generated by elements in , closed under faces and intersections;
- is a calibration, recording a choice of virtual and actual generators, such that the images of the standard basis vectors form a basis for (possibly irrational) and the “virtual generators” encode additional gerbe data;
- The 1-cones of are in bijection with for .
To each cone corresponds an analytic stack chart
with the group action defined via the exact sequence plus the exponential mapping to . These local pieces glue along common substacks to form the global quantum toric stack , formally a colimit over the category of .
The entire construction admits a presentation via a stack quotient: where is the union of toric charts and the -action is specified through Gale duality and the calibration data (Boivin, 2023, Katzarkov et al., 2020, Boivin, 14 Jan 2026).
2. Categorical Equivalence and Generalization of Toric Stacks
Quantum toric stacks generalize classical toric Deligne-Mumford stacks in two critical aspects:
- Equivalence of categories: The assignment provides an equivalence between the category of simplicial quantum fans (with morphisms given by compatible pairs of linear and group homomorphisms respecting calibrations and virtual generators) and the category of analytic toric stacks with prescribed dense quantum torus (Boivin, 2023, Katzarkov et al., 2020, Boivin, 14 Jan 2026).
- Non-rational phenomena: Allowing to be non-integral introduces non-Hausdorff transversals, infinite isotropy subgroups (in the irrational case), and new moduli phenomena, such as the presence of gerbe degrees of freedom and noncommutative deformations arising from non-integrality in the local torus charts (Katzarkov et al., 2020).
Classical toric stacks are precisely those quantum toric stacks for which is a lattice, are integral, and . In this case, the construction recovers the usual Borisov–Chen–Smith stack (Boivin, 14 Jan 2026).
3. Moduli Spaces and Combinatorial Stratification
The moduli of quantum toric stacks is organized by fixing a combinatorial type—a poset representing the face lattice of a fan—and then considering all calibrations that realize as the set of strongly convex cones. Up to isomorphism (i.e., modulo the natural action of and ), the moduli space is presented as a global quotient: where is a semialgebraic set corresponding to choices of quantum lattice generators ensuring all cones are simplicial with the desired intersection pattern; is the automorphism group of the combinatorics and calibration kernel. For complete simplicial types, is connected and is an (analytic) orbifold (Boivin, 2023, Boivin, 2 Apr 2025).
A universal quantum toric stack exists over , constructed as a bundle of stack quotients over . This universal family extends (via topological closure) to a compactification stratified by degenerations of the combinatorics—points where some cones shrink or become non-convex—yielding a real semialgebraic orbifold stratified by degenerate quantum fans (Boivin, 2023, Boivin, 2 Apr 2025).
The more refined object, the “quantum secondary fan” , organizes the gluing of all such moduli spaces across all combinatorial types, encoding wall-crossings, flips, and birational transitions between chambers (see §5 below for wall-crossing formulas) (Boivin, 2 Apr 2025).
4. Birational Geometry, Weighted Blow-ups, and Cobordisms
Quantum toric stacks possess a natural theory of birational morphisms, strictly extending the classical toric context. A birational morphism of quantum fans is specified by invertible linear maps , such that and the virtual generator structure is preserved or compatibly extended. These induce isomorphisms on open substacks and generate birational maps between the stacks and (Boivin, 14 Jan 2026).
Weighted blow-ups are constructed via star subdivisions along arbitrary real (possibly irrational) weight vectors . For integral weights, the process reproduces the classical weighted blow-up along toric strata; for rational or irrational , the operation factors through root stacks or minimal stack covers, endowing the exceptional divisors with quantum toric stack structures (often quantum projective bundles of lower polytopal complexity).
Cobordism-induced morphisms are defined using one higher-dimensional quantum fans projecting to the given stacks. A quantum cobordism between and is a complete fan in with projections inducing the lower-dimensional fans away from a “critical” cone. The induced birationality generalizes classical flips and connects stacks within the same birational class by zig-zags of weighted blow-ups/downs and wall-crossings.
The class of all birational morphisms forms a groupoid; any two quantum fans with the same support can be related by compositions of these moves, providing a categorical and combinatorial model for the full toric birational geometry, including irrational wall crossings (Boivin, 14 Jan 2026).
5. Wall-crossing, Secondary Fan, and Stratified Universal Moduli
The quantum secondary fan in controls the wall-crossing behavior and gluing of moduli spaces for quantum toric stacks with fixed numbers of rays and dimension. Each maximal cone (chamber) corresponds to a distinct combinatorial type of quantum fan; adjacent chambers share a non-simplicial refinement along a wall.
Transitions are governed by explicit wall-crossing formulas in the homogeneous coordinate description: where denotes the dual basis in (Boivin, 2 Apr 2025). This formula generalizes the GIT wall-crossing for classical toric stacks and enables the construction of a single augmented moduli stack over which all quantum toric stacks of a given live, stratified by combinatorial type and glued along these explicit birational maps as the parameter moves in the secondary fan.
Exemplary computations, such as the deformation class of quantum Hirzebruch surfaces, demonstrate cycles of wall-crossings and birational maps that parameterize families of quantum stacks over the secondary fan, unifying classical and quantum moduli across polytopal subdivisions (Boivin, 2 Apr 2025).
6. Mirror Symmetry, Quantum Cohomology, and Birational Invariants
Quantum toric stacks provide a testbed for mirror symmetry and wall-crossing phenomena in quantum cohomology and derived categories. The equivariant quantum cohomology ring of a toric Deligne–Mumford stack—presented as a quantum Stanley–Reisner ring—admits an explicit Landau–Ginzburg mirror description in terms of oscillatory integrals and twisted de Rham complexes (Coates et al., 2016). The analytic structure constants and flat connections (quantum -module) converge in the big equivariant setting; the mirror theorem asserts isomorphism between the quantum -module and the Saito structure associated to the mirror superpotential.
Under birational transformations (including weighted blow-ups with arbitrary real weights), there exist formal decompositions of the quantum -module corresponding to semiorthogonal decompositions of -theory aided by analytic sectorial lifts and -integral structures. These decompositions match the categorical semiorthogonal summands predicted by Orlov’s conjectures for classical birational geometry and extend naturally to the quantum case (Iritani, 2019).
Wall-crossing formulas for the I- and J-functions reflect the combinatorial modifications in the fan or quantum fan, while on the categorical level, wall-crossings induce semi-orthogonal decompositions in the derived categories via spherical functors associated to the birational modification (Boivin, 14 Jan 2026).
7. Notable Examples and Applications in Birational and Moduli Theory
Explicit geometric cases illustrate the full machinery:
- Quantum projective space : For the complete fan with rays, the moduli space is and its compactification is the simplex quotient, with degenerate boundary strata representing lower-dimensional polytopes (Boivin, 2023).
- Quantum Hirzebruch surfaces: Realizations of quantum fans with irrational parameters lead to a family of stacks glued along the secondary fan, exhibiting wall-crossings as explicit birational flips or blow-ups (Boivin, 2 Apr 2025).
- LVMB manifolds and non-commutative tori: When the generators of are irrational, the resulting stacks encode LVMB manifolds with non-Hausdorff transversals and infinite isotropy, displaying nontrivial foliation and quantum algebra phenomena (Katzarkov et al., 2020).
These constructions play a central role in the study of irrational toric birational phenomena, wall-crossing in mirror symmetry, and in extending the minimal model program to contexts beyond rational coefficients (Boivin, 14 Jan 2026).