SearcharxivSearch

arXiv · 2404.04457

The Homological Spectrum and Nilpotence Theorems for Lie Superalgebra Representations

Abstract

Balmer recently showed that there is a general notion of a nilpotence theorem for tensor triangulated categories through the use of homological residue fields and the connection with the homological spectrum. The homological spectrum (like the theory of $\pi$-points) can be viewed as a topological space that provides an important realization of the Balmer spectrum. Let ${\mathfrak g}={\mathfrak g}_{\bar{0}}\oplus {\mathfrak g}_{\bar{1}}$ be a classical Lie superalgebra over ${\mathbb C}$. In this paper, the authors consider the tensor triangular geometry for the stable category of finite-dimensional Lie superalgebra representations: $\text{stab}({\mathcal F}_{({\mathfrak g},{\mathfrak g}_{\bar{0}})})$, The localizing subcategories for the detecting subalgebra ${\mathfrak f}$ are classified which answers a question of Boe, Kujawa, and Nakano. As a consequence of these results, the authors prove a nilpotence theorem and determine the homological spectrum for the stable module category of ${\mathcal F}_{({\mathfrak f},{\mathfrak f}_{\bar{0}})}$. The authors verify Balmer's ``Nerves of Steel'' Conjecture for ${\mathcal F}_{({\mathfrak f},{\mathfrak f}_{\bar{0}})}$. Let $F$ (resp. $G$) be the associated supergroup (scheme) for ${\mathfrak f}$ (resp. ${\mathfrak g}$). Under the condition that $F$ is a splitting subgroup for $G$, the results for the detecting subalgebra can be used to prove a nilpotence theorem for $\text{stab}({\mathcal F}_{({\mathfrak g},{\mathfrak g}_{\bar{0}})})$, and to determine the homological spectrum in this case. Now using natural assumptions in terms of realization of supports, the authors provide a method to explicitly realize the Balmer spectrum of $\text{stab}({\mathcal F}_{({\mathfrak g},{\mathfrak g}_{\bar{0}})})$, and prove the Nerves of Steel Conjecture in this case.

Explore related subjects

Keep this discovery

BibTeXRIS

Matthew H. Hamil, Daniel K. Nakano. 2024-04-06. The Homological Spectrum and Nilpotence Theorems for Lie Superalgebra Representations. https://arxiv.org/abs/2404.04457

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

KEEP EXPLORING

Related papers

Quasi-Whittaker supermodules over Lie superalgebras

In this paper, we develop a general theory of quasi-Whittaker supermodules over Lie superalgebras induced from an arbitrary ideal. We determine the quasi-Whittaker vectors in universal supermodules, establish an irreducibility criterion, and classify several families of irreducible supermodules. The odd part produces a new irreducibility phenomenon absent from the Lie algebra setting. As applications, we determine all irreducible quasi-Whittaker supermodules over the $N=1$ super Schr\"odinger algebra and the $N=1$ $\frac{3}{2}$-conformal Galilei superalgebra, and over the complete spectrum-generating superalgebra in a special case.

math.RT

Rankin--Selberg integrals of opposite conductor--one newforms

Let $F$ be a nonarchimedean local field of characteristic zero and let $n\geq2$. For $r=n,n+1$, let $\Pi_r$ be an irreducible tempered representation of ${\rm GL}_r(F)$ of conductor one and with trivial central character. We evaluate the Rankin--Selberg integral of opposite newforms in $\Pi_{n+1}\times \Pi_n$ explicitly and show that its central value is nonzero. As an application, this implies a case of Disegni--Zhang's conjecture on the nonvanishing of local relative characters.

math.RT

Obstructions to Jacobi-Finiteness of Quivers with Potentials

We show that Jacobi-finite potentials need not exist on finite $2$-acyclic quivers. Our main tool is a matrix-valued Golod--Shafarevich--Vinberg inequality for quotients of completed path algebras by finitely many, possibly nonhomogeneous, topological relations. Applied to cyclic derivatives, it yields a potential-dependent obstruction to the finite-dimensionality of completed Jacobian algebras. We then construct a purely quiver-level criterion excluding every Jacobi-finite potential on a given quiver, and exhibit a family of quivers for which every potential has an infinite-dimensional Jacobian algebra.

math.RT