Skip to content
DraconiticResearch
Search Sources API
182,469 studies31 sourcesUpdated 18 min ago
PreprintCC BY 4.0arXiv

Triangular prism equations for near-group categories: algebraic solutions and a unitary conjecture

Abstract

We derive the triangular prism equations (TPE) for near-group fusion rules of type G+|G|, where G is a finite abelian group. We prove that spherical categorification with trivial Frobenius--Schur indicator over any field in which |G| is invertible is equivalent to the solvability of the TPE system. For every cyclic group, we construct an explicit solution to the TPE system using hyperbolic gamma functions, yielding both a spherical category with negative simple-object dimensions and, after Galois conjugation, a pseudo-unitary category with positive dimensions. For scalar solutions with positive dimensions, we establish an exact singular-value formula and a uniform gap, which provide explicit sufficient criteria for unitarity. Finally, we show that the unitarity of the cyclic Galois-conjugated coefficients for arbitrary orders corresponds to a specialization of a real-multiplication conjecture implied by the order-one abelian Stark conjecture, revealing a deep connection between categorical unitarity and Hilbert's twelfth problem for real quadratic fields.

Related

  1. Finite images of braid group representations and algebraic solutions of KZ-type equations
    Haru Negami
    arXivPreprintCC BY-SA 4.0Full textAlgebra & number theoryMathematical physicsarXiv
  2. The Benson--Etingof--Ostrik conjecture for finite tensor categories
    Kevin Coulembier, Johannes Flake
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  3. A new class of smooth algebraic varieties with the density property and a counterexample to the Tóth-Varolin Conjecture
    Sushil Gorai
    arXivPreprintarXiv licenceFull textAlgebra & number theoryAnalysis & PDEsarXiv
  4. A Relative Telescope-Type Conjecture: Support and Generation in Half-Bounded Derived Categories
    Liangyu Zhu
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  5. An Algebraic Proof of the Non-Modularity of Solutions to the Canonical Modular Differential Equation
    Yuichi Sakai, Hiroyuki Tsutsumi
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
BibTeX
@misc{he2026triangular,
  title = {{Triangular prism equations for near-group categories: algebraic solutions and a unitary conjecture}},
  author = {Huixuan He and Zhengwei Liu and Fan Lu and Sebastien Palcoux and Yunxiang Ren},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2610.11652},
  eprint = {2610.11652},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2610.11652},
  note = {CC BY 4.0},
}
RIS
TY  - UNPB
TI  - Triangular prism equations for near-group categories: algebraic solutions and a unitary conjecture
AU  - Huixuan He
AU  - Zhengwei Liu
AU  - Fan Lu
AU  - Sebastien Palcoux
AU  - Yunxiang Ren
PY  - 2026
DA  - 2026/10/08
PB  - arXiv
DO  - 10.48550/arxiv.2610.11652
UR  - https://arxiv.org/abs/2610.11652
AB  - We derive the triangular prism equations (TPE) for near-group fusion rules of type G+|G|, where G is a finite abelian group. We prove that spherical categorification with trivial Frobenius--Schur indicator over any field in which |G| is invertible is equivalent to the solvability of the TPE system. For every cyclic group, we construct an explicit solution to the TPE system using hyperbolic gamma functions, yielding both a spherical category with negative simple-object dimensions and, after Galois conjugation, a pseudo-unitary category with positive dimensions. For scalar solutions with positive dimensions, we establish an exact singular-value formula and a uniform gap, which provide explicit sufficient criteria for unitarity. Finally, we show that the unitarity of the cyclic Galois-conjugated coefficients for arbitrary orders corresponds to a specialization of a real-multiplication conjecture implied by the order-one abelian Stark conjecture, revealing a deep connection between categorical unitarity and Hilbert's twelfth problem for real quadratic fields.
ER  -