arXiv Science⌕ Search

arXiv · 2610.11652

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.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Huixuan He, Zhengwei Liu, Fan Lu, Sebastien Palcoux, Yunxiang Ren. 2026-10-08. Triangular prism equations for near-group categories: algebraic solutions and a unitary conjecture. https://arxiv.org/abs/2610.11652

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Generalised Joyal disks, $Θ_d$-colored $(d+1)$-operads, and higher Deligne conjecture

The classical Deligne conjecture (which by now has found several different proofs) says that the Hochschild cohomological complex of a small dg category over a field $k$ has a structure of a $C(E_2,k)$-algebra. A similar statement for any small dg weak $d$-category is called the generalised Deligne conjecture, it says the cohomological Hochschild complex of a dg weak $d$-category (appropriately defined) admits an action of the operad $C(E_{d+1},k)$. This paper is the first in a series of papers, in which our goal is to construct a $(d+1)$-algebra providing a solution to the generalised Deligne conjecture, on the level of complexes. This paper contains the combinatorial core of this $(d+1)$-algebra structure, for any $d\ge 1$. Namely, we construct a colored $(d+1)$-operad in sets (in the sense of M.Batanin), denoted by $\mathbf{seq}_d$. Its category of colors (= the category of unary operations) is the category $Θ_d$ of A.Joyal [J], dual to the category of Joyal $d$-disks [J], [Be2,3]. For $d=1$, our $Δ$-colored operad $\mathbf{seq}_1$ coincides with the operad $\mathbf{seq}$ of D.Tamarkin [T3]. We prove that the construction indeed gives rise to a $(d+1)$-operad, and that this $Θ_d$-colored $(d+1)$-operad $\mathbf{seq}_d$ is contractible in the dg and in the topological condensations, for any $d\ge 1$. The contractibility of a $(d+1)$-operad $\mathcal{O}$ is a key property, which, due to the Batanin symmetrisation theorem [Ba1,2], endows any its ($d$-terminal) algebra with an $E_{d+1}$-algebra structure.

math.QA↗

Graded Satake diagrams and super-symmetric pairs

We list classical spherical subalgebras in basic matrix Lie superalgebras which are quantizable to coideal subalgebras in the standard quantum supergroups, for any choice of Borel subalgebra. We classify the corresponding Satake-type diagrams and prove that each of them defines a family of proper spherical subalgebras.

math.QA↗

Exponents of factorized groups and Kashina's conjecture for group-theoretical Hopf algebras

Let $G=FΓ$ be a factorization of a finite group, with neither factor assumed normal and with $F\capΓ$ allowed to be nontrivial. We prove that $\exp(G)$ divides $\operatorname{lcm}(|F|,|Γ|)$, or equivalently that $\gcd([G:F],[G:Γ])\exp(G)$ divides $|G|$. This answers a cohomological divisibility question posed by Natale. Combining the group-theoretic divisibility with Natale's exponent bound and a lifting argument, we prove Kashina's exponent conjecture, in the arbitrary-field formulation of Etingof and Gelaki, for every finite-dimensional semisimple and cosemisimple Hopf algebra $H$ over a field $k$ for which $\operatorname{Rep}(H\otimes_k\overline{k})$ is group-theoretical. The same argument proves the corresponding degree-three cohomological divisibility for coefficients in an arbitrary $G$-module. For complex group-theoretical categories, we also establish Frobenius-Schur exponent divisibility under a cohomological factorization hypothesis, without assuming a fiber functor. We derive applications to low-dimensional Hopf algebras and abelian extensions.

math.QA↗