The principal W-algebra of $\mathfrak{psl}_{2|2}$

2026-03-16T11:59:48Z

We study the structure and representation theory of the principal W-algebra $\mathsf{W}^{\mathsf{k}}_{\mathrm{pr}}$ of $\mathsf{V}^{\mathsf{k}}(\mathfrak{psl}_{2|2})$. The defining operator product expansions are computed, as is the Zhu algebra, and these results are used to classify irreducible highest-weight modules. In particular, for $\mathsf{k} = \pm \frac{1}{2}$, $\mathsf{W}^{\mathsf{k}}_{\mathrm{pr}}$ is not simple and the corresponding simple quotient is the symplectic fermion vertex algebra. We use this fact, along with inverse hamiltonian reduction, to study relaxed highest-weight and logarithmic modules for the small $N=4$ superconformal algebra at central charges $-9$ and $-3$.

Twisted endoscopic character relation for toral supercuspidal L-packets of classical groups

2026-03-16T11:13:08Z

We prove that Kaletha's toral supercuspidal L-packets satisfy the twisted endoscopic character relation in some cases, including the case of general linear groups equipped with an involution. Consequently, we verify that Kaletha's construction of the local Langlands correspondence for toral supercuspidal representations of quasi-split symplectic or special orthogonal groups coincides with Arthur's. The strategy is to emulate Kaletha's proof of the standard endoscopic character relation in the twisted setting by appealing to Waldspurger's framework ``l'endoscopie tordue n'est pas si tordue''.

Twisted character formula for toral supercuspidal representations

2026-03-16T11:04:55Z

We establish an explicit formula for twisted Harish-Chandra characters of toral supercuspidal representations of p-adic reductive groups under several technical assumptions. Our setup especially includes the case of a quasi-split group equipped with an involution.

Algebras of generalized quaternion type: biregular case

2026-03-16T10:39:36Z

This paper provides the next step towards classification of algebras of generalized quaternion type. Previously algebras with 2-regular Gabriel quiver were classified (a quiver is 2-regular if at each vertex, two arrows start and two arrows end). Here we classify the algebras where at each vertex, either one arrow starts and one arrow ends, or else two arrows start and two arrows end. Our main result shows that that any such algebra (up to socle equivalence) is either a weighted surface algebra, or a higher spherical algebra.

A new model for the quantum mechanics of the Hydrogen atom

2026-03-16T08:29:03Z

In this paper we introduce a new model for the quantum-mechanical system of the hydrogen atom. We start with a four-dimensional Lorentzian quadratic space $(V,q)$ and let $C \subset V$ be the corresponding cone. The Hilbert space of our model, denoted by $H$, consists of $L^2$ functions on the cone, and observables are represented by operators in the algebra $D(C)$ of algebraic differential operators on $C$. We introduce a distinguished Schwartz subspace $H^{\infty}$ of $H$ that is naturally a $D(C)$-module. The Schrödinger operator in our system is represented by a Schrödinger family of operators in $D(C)$. We compute the spectrum of the Schrödinger family in the Schwartz space $H^{\infty}$ and show that it coincides with the spectrum in physics, and that solutions in $H^{\infty}$ correspond to the usual solutions in physics. The main differences from the standard model are as follows. First, we use the cone $C$ instead of $\mathbb{R}^3$ as our configuration space. As a result, the group of geometric symmetries of our configuration space is $O(q)\simeq O(3,1)$ rather than $O(3)\ltimes \mathbb{R}^3$. Second, we use only algebraic operators with no singularities. Third, we do not impose any specific boundary conditions on solutions of our equations; these are all encoded in the Schwartz space $H^{\infty}$.

Morphisms from projective spaces to flags of minimal parabolic subgroups

2026-03-16T07:20:48Z

We classify nonconstant morphisms $\mathbb{P}^m \to G/P$ for $m \le 4$ when $G = SL(n,\mathbb{C})$ (type~$A$) for a minimal parabolic subgroup $P$. Using the Borel presentation of cohomology and explicit Schubert intersection identities, we show that there is no nonconstant morphism $\mathbb{P}^2 \to G/B$; for minimal parabolic subgroup $P_{α_i}$, there are no nonconstant morphisms $\mathbb{P}^3 \to G/P_{α_i}$ when $i \in \{1, n-1\}$, while such morphisms exist for $1 < i < n-1$; and, after correcting an earlier error (pointed out by Yanjie Li), we give an elementary proof that there is no nonconstant morphism $\mathbb{P}^4 \to G/P_{α_i}$ for any minimal parabolic subgroup. The proofs are elementary and cohomological.

Derived categories of Quot schemes on smooth curves and tautological bundles

2026-03-16T04:50:02Z

We define a categorical action of the shifted quantum loop group of $\mathfrak{sl}_2$ on the derived categories of Quot schemes of finite length quotient sheaves on a smooth projective curve. As an application, we obtain a semi-orthogonal decomposition of the derived categories of Quot schemes, of representation theoretic origin. We use this decomposition to calculate the cohomology of interesting tautological vector bundles over the Quot scheme.

Lattices which can be represented as lattices of intervals

2026-03-15T22:59:48Z

We investigate lattices that can be represented as sublattices of the lattice of all convex subsets of a linearly ordered set $(X, \leq)$ and as lattices of convex subsets of $(X, \leq)$. A representation theory for general lattices is presented and also some applications in general topology are given.

$\mathfrak{b}$-Hurwitz numbers from refined topological recursion

2026-03-15T18:41:18Z

We prove that single $G$-weighted $\mathfrak{b}$-Hurwitz numbers with internal faces are computed by refined topological recursion on a rational spectral curve, for certain rational weights $G$. Consequently, the $\mathfrak{b}$-Hurwitz generating function analytically continues to a rational curve. In particular, our results cover the cases of $\mathfrak{b}$-monotone Hurwitz numbers, and the enumeration of maps and bipartite maps (with internal faces) on non-oriented surfaces. As an application, we prove that the correlators of the Gaussian, Jacobi and Laguerre $β$-ensembles are computed by refined topological recursion.

Group and algebra hyperdeterminant

2026-03-15T13:37:18Z

In 1896, Dedekind posed the problem of factoring the group determinant in the non-abelian case to Frobenius, whose solution sparked the birth of finite-group representation theory. Several decades earlier, Cayley introduced the notion of the combinatorial hyperdeterminant of a $d$-way tensor, which is the most natural generalization of an ordinary determinant. In this note, we solve the problem of factoring the group hyperdeterminant. We reduce the computation of the group hyperdeterminant to the computation of the hyperdeterminant at the matrix multiplication tensor and derive a nice closed formula. Further, we extend this notion to associative algebra tensors and show that this polynomial is nonzero if and only if the algebra is semisimple.

Maximal green sequences for quantum and Poisson CGL extensions

2026-03-15T13:32:57Z

We prove that the quantum and classical cluster algebras for all members of the axiomatically defined classes of symmetric quantum and Poisson Cauchon-Goodearl-Letzter extensions possess maximal green sequences in the sense of Keller. Previously, maximal green sequences were constructed for explicit families of cluster algebras; many of those can be recovered from the general result for CGL extensions.

Tensor modules over the Lie algebras of divergence zero vector fields on $\mathbb{C}^n$

2026-03-15T09:21:10Z

Let $n\geq 2$ be an integer, $S_n$ be the Lie algebra of vector fields on $\mathbb{C}^n$ with zero divergence, and $D_n$ be the Weyl algebra over the polynomial algebra $A_n=\mathbb{C}[t_1,t_2,\cdots,t_n]$. In this paper, we study the simplicity of the tensor $S_n$-module $F(P,M)$, where $P$ is a simple $D_n$-module and $M$ is a simple $\mathfrak{sl}_n$-module. We obtain the necessary and sufficient conditions for $F(P,M)$ to be an irreducible module, and determine all simple subquotients of $F(P,M)$ when it is reducible.

The jet schemes of the nilpotent cone of $\mathfrak{gl}_n$ over $\mathbb{F}_\ell$ and analytic properties of the Chevalley map

2026-03-14T20:22:26Z

We prove dimension bounds on the jet schemes of the variety of nilpotent matrices (and of related varieties) in positive characteristic. This result has applications to the analytic properties of the Chevalley map that sends a matrix to its characteristic polynomial. We show that our dimension bound implies, under the assumption of existence of resolution of singularities in positive characteristic, that the Chevalley map pushes a smooth compactly supported measure to a measure whose density function is $L^t$ for any $t<\infty$. We also prove this analytic property of the Chevalley map, unconditionally, when the characteristic of the field exceeds $n/2$. The zero characteristic counterpart of this result is an important step in the proof of the celebrated Harish-Chandra's integrability theorem. In a sequel work [AGKSb], we show that also in positive characteristic, this analytic statement implies Harish-Chandra's integrability theorem for cuspidal representations of the general linear group.

Big Algebra in Type $A$ for the Coordinate Ring of the Matrix Space

2026-03-14T19:33:50Z

In this paper, we consider the big algebra recently introduced by Hausel for the $\mathrm{GL}_n$-action on the coordinate ring of the matrix space $\mathrm{Mat}(n,r)$. In particular, we obtain explicit formulas for the big algebra generators in terms of differential operators with polynomial coefficients. We show that big algebras in type $A$ are commutative and relate them to the Bethe subalgebra in the Yangian $\operatorname{Y}(\mathfrak{gl}_{n})$. We apply these results to big algebras of symmetric powers of the standard representation of $\mathrm{GL}_n$.

Free field realization of the Ding-Iohara algebra at general levels

2026-03-14T13:34:07Z

We present a unified free field realization of the Ding-Iohara algebra at arbitrary levels, which satisfies a generalized form of the Serre relations. This realization, constructed using six free boson fields, arises from a specialized factorization of the structure function in the defining relations of the algebra. Based on this construction, we then develop intertwining operators for the Ding-Iohara algebra.