Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2605.19167

On geometrically reductive tensor categories

Kevin Coulembier
View original source ↗Read source document ↗Export metadata ↓

Abstract

We prove the conjecture that higher Verlinde categories are geometrically reductive. This is one of the two properties required in order for recent results on algebraic geometry in tensor categories to apply to these categories. We also reduce two further conjectures concerning geometric reductivity for tensor categories to other conjectures appearing in the literature.

Explore related subjects

math.RT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Kevin Coulembier. 2026-05-29. On geometrically reductive tensor categories. https://arxiv.org/abs/2605.19167

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

KEEP EXPLORING

Related papers

arXiv2026

Koszulity in the category $\mathcal{O}$ of the periplectic Lie Superalgebra $\mathfrak{pe}(2)$

The main result of this paper is to establish precisely which blocks in the Category $\mathcal{O}$ of the periplectic Lie superalgebra $\mathfrak{pe}(2)$ are Koszul. It is known that $\mathcal{O}(\mathfrak{pe}(2))$ has three blocks up to equivalence; one generic block and two integral blocks. The generic block is known to be Koszul, and the principle integral block is verifiably not Koszul. In this paper, we prove that the remaining of the three blocks of $\mathcal{O}(\mathfrak{pe}(2))$ is Koszul. This is done by explicitly computing the endomorphism algebra of projective modules in this block and then proving that it is Koszul inductively. Along the way, we compute all $\mathrm{Ext}$ groups between simples in this block. To compute the endomorphism algebra we are aided by a computer algebra tool developed in Mathematica, inspired by a post on Stack Exchange.

math.RT↗
arXiv2026

Sign components of diagonal superspace coinvariants

We prove the sign-isotypic components of the coinvariant rings $R_n^{(2,1)}$ and $R_n^{(2,0)} \otimes R_n^{(0,1)}$ are isomorphic and show that the triply-graded multiplicity of this sign character is the Schröder polynomial $S_n(q,t,a)$, divided by $1+a$. This settles the sign-character component of a conjecture of Zabrocki (2019) on a module for the Delta theorem and proves a conjecture of F. Bergeron (2020) on the multiplicity of the sign character of $R_n^{(2,1)}$. Finally, using a result of Hogancamp (2017), we enhance a recent result of Gorsky--Mellit (2026) which relates the Khovanov--Rozansky homology of the $(n,n+1)$-torus knot to $R_n^{(2,0)} \otimes R_n^{(0,1)}$, by showing that the associated Poincaré series for this knot can be computed from the sign component of $R_n^{(2,1)}$.

math.RT↗
arXiv2026

Reflexive modules and Auslander-type conditions

We study the category $\mathop{\mathrm{ref}}Λ$ of reflexive modules over a two-sided Noetherian ring $Λ$. We show that the category $\mathop{\mathrm{ref}}Λ$ is quasi-abelian if and only if $Λ$ satisfies certain Auslander-type condition on the minimal injective resolution of the ring itself. Furthermore, we establish a Morita theorem which characterizes the category of reflexive modules among quasi-abelian categories in terms of generator-cogenerators.

math.RT↗