Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.35287

The dimension block of a spherical fusion category

Andrew Schopieray
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $\mathcal{C}$ be a spherical fusion category with global dimension $D$. The Galois conjugates of the dimension character index a block of the $S$-matrix of the Drinfeld center, which we call the dimension block. We prove that for every character $χ$ of $\mathrm{Gal}(\mathbb{Q}(D)/\mathbb{Q})$, the twisted sum $\sum_σχ(σ)/σ(D)$ has absolute value at most $e^{-1}\mathfrak{f}(χ)^{-1/2}$, where $\mathfrak{f}(χ)$ is the conductor of $χ$ and $e$ is the order of the dimensional grading group of $\mathcal{C}$. As an application, we determine the possible global dimensions of spherical fusion categories below $\sqrt{5}$, extending the known classification up to $4\sqrt{3}/5$ of V.\ Ostrik and P.\ Etingof.

Explore related subjects

math.QA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Andrew Schopieray. 2026-09-28. The dimension block of a spherical fusion category. https://arxiv.org/abs/2609.35287

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

KEEP EXPLORING

Related papers

arXiv2026

The Lyubashenko Modular Functor for Drinfeld Centers via Non-Semisimple String-Nets

The Levin-Wen string-nets of a spherical fusion category $\mathcal{C}$ describe, by results of Kirillov and Bartlett, the representations of mapping class groups of closed surfaces obtained from the Turaev-Viro construction applied to $\mathcal{C}$. We provide a far-reaching generalization of this statement to arbitrary pivotal finite tensor categories, including non-semisimple or non-spherical ones: We show that the finitely cocompleted string-net modular functor built from the projective objects of a pivotal finite tensor category is equivalent to Lyubashenko's modular functor built from the Drinfeld center $Z(\mathcal{C})$.

math.QA↗
arXiv2026

The Quantum Double of Hopf Algebras Realized via Partial Dualization and the Tensor Category of Its Representations

In this paper, we aim to study the (generalized) quantum double $K^{\ast\mathrm{cop}}\bowtie_σH$ determined by a (skew) pairing between finite-dimensional Hopf algebras $K^{\ast\mathrm{cop}}$ and $H$, especially the tensor category $\mathsf{Rep}(K^{\ast\mathrm{cop}}\bowtie_σH)$ of its finite-dimensional representations. Specifically, we show that $K^{\ast\mathrm{cop}}\bowtie_σH$ is a left partially dualized (quasi-)Hopf algebra of $K^\mathrm{op}\otimes H$, and use this formulation to establish tensor equivalences from $\mathsf{Rep}(K^{\ast\mathrm{cop}}\bowtie_σH)$ to the categories ${}^K_K\mathcal{M}^K_H$ and ${}^{K^\ast}_{K^\ast}\mathcal{M}^{H^\ast}_{K^\ast}$ of two-sided two-cosided relative Hopf modules, as well as the category ${}_H\mathfrak{YD}^K$ of relative Yetter-Drinfeld modules.

math.QA↗
arXiv2026

Shifted symplectic structures and Poisson vertex algebra

We identify Poisson vertex algebra (PVA) Hamiltonian structures on arc spaces with Maurer--Cartan data arising from degree-$1$ graded symplectic geometry. Let $X$ be a smooth scheme of finite type and set $Y=T^*[1]X$. We prove that a degree-$2$ Hamiltonian on $Y_\infty$ defines a sheaf of PVAs on $X_\infty$ precisely when its class in the Lie algebra of local functionals satisfies the classical master equation; conversely, every such PVA bracket determines a unique degree-$2$ local functional. We further show that classical $R$-matrices are exactly Maurer--Cartan deformations of the corresponding PVA Hamiltonian structure. As applications, we classify a class of global scalar PVA structures on $\mathbb P^1$ and apply the $R$-matrix formalism to finite and affine classical $\mathcal W$-algebras. For the subregular $\mathfrak{sl}_3$ example, we construct a compatible Poisson pencil and the centrally reduced RDW system, whose generic reduction is a genus-two hyperelliptic system admitting an explicit Mumford-type Lax representation. Its affine counterpart yields constant and first-order differential $R$-deformations, together with commuting Hamiltonian flows.

math.QA↗