The Action of the Lie Algebra $\mathfrak{sl}_n$ on Colored Graphs and Multicolored Johnson Graphs

2026-07-14T18:59:38Z

We consider the space of $(n-1)$-colored graphs on a fixed set of $N$ vertices. Each edge position of the complete graph $K_N$ has $n$ possible states: the absence of an edge and $n-1$ colors. This gives a natural identification of the space of such graphs with the tensor power $(\mathbb C^n)^{\otimes m}$, where $m=\binom N2$, and defines on it the diagonal action of the Lie algebra $\mathfrak{gl}_n$, and, after restriction, the action of $\mathfrak{sl}_n$. For a fixed profile $α=(α_0,\dots,α_{n-1})$, we consider the graph $J(m;α)$ whose vertices are colored graphs of this profile and whose adjacency is defined by a single exchange of states in two edge positions. This graph is the transposition graph on the set of words with fixed profile, also known as the \emph{multislice}. The main result is an expression of the adjacency operator in terms of the root operators of $\mathfrak{sl}_n$ and a derivation of its spectrum by means of the quadratic Casimir operator of $\mathfrak{gl}_n$ and the Schur--Weyl decomposition. It is proved that the adjacency operator belongs to the center of the algebra $\End_{S_m}(\mathcal C_α)$. The contribution of each spectral block to the multiplicity of the corresponding eigenvalue is described in terms of a Kostka number and the dimension of a Specht module. For $n=2$, one obtains the classical Johnson graph and its known spectrum. As applications, a formula for the valency is established, connectivity is proved, the Hoffman bound for independent sets is obtained, and the three-state case is considered in detail; in this case the natural symmetrized subspace realizes the module $\Sym^m(\mathbb C^3)$.

Fano 4-fold quiver moduli from subspace quivers

2026-07-14T15:34:25Z

We classify the moduli spaces of representations of subspace quivers which are Fano fourfolds, under a natural assumption on the dimension vector. These moduli spaces can also be described as GIT quotients of products of Grassmannians by the diagonal action of a projective linear group, and there are exactly four of them. They are rational, of pure Hodge-Tate type, infinitesimally rigid, and have finite automorphism groups, with Picard ranks 5, 6, 6 and 7, making them interesting examples in the classification of Fano fourfolds of large Picard rank, as they are not toric or products. Two are known varieties: Manivel's Segre cousin of the Segre cubic 3-fold, and the Fano model of the blowup of $\mathbb{P}^4$ in six points. The other two appear to be new: one is an involution surface bundle over $\mathbb{P}^2$, and the other is a "Segre cousin once-removed", whose geometry closely parallels that of the Segre cousin. Using techniques from quiver moduli, which we survey, we describe the geometry of all four fourfolds in detail.

Record compositions of alternating permutations and noncommutative symmetric functions

2026-07-14T15:22:24Z

Amdeberhan, Shareshian, and Stanley recently proved that a function $\varphi$ arising in the theory of partition Eisenstein series counts the alternating permutations of $\{1,\dots,2n\}$ with a given `record' partition, and they asked whether there is a similar theory for record compositions, suggesting a role for noncommutative symmetric functions. Here we solve their open problem by showing that the number of alternating permutations of $\{1,\dots,2n\}$ with record composition $(α_1,\dots,α_\ell)$ is \[ \prod_{j=1}^{\ell}\binom{2s_j-1}{2α_j-1}E_{2α_j-1}, \] where $s_j=α_1+\dots+α_j$, $E_k$ is an Euler number, and the record composition of $w=a_1a_2\dots a_{2n}$ (so $a_1>a_2\dotsb$) lists the factor lengths obtained by cutting $a_1a_3\dots a_{2n-1}$ before each left-to-right maximum other than the first. These numbers are the coefficients of a natural lift of the degree-$n$ sprout symmetric function with seed $\sec(\sqrt{t}\,)$ to noncommutative symmetric functions, expanded in products of noncommutative power sums of the first kind. An analogous refinement holds for every sprout sequence whose seed is given by the exponential formula. AxiomProver autonomously produced and verified the results in this paper in Lean.

A Proof of Sundaram's Bounded-Interval Higher Lie Positivity Conjecture

2026-07-14T13:17:46Z

For positive integers $n$ and $M$, Sundaram defined $ F_{n,M}=\sum_{\substack{d\mid n\\d\le M}} Lie_{n/d}[p_d] $ and conjectured that every coefficient in its Schur expansion is a nonnegative integer. We prove the conjecture. The power-sum expansion isolates the contribution of the identity class, and the proof divides Young diagrams at the intrinsic majority threshold. If the first row or first column contains more than half of the boxes, the Bernstein creation formula separates each rectangular-cycle character value into a hook constant and a remainder supported only on short cycles. The restrictions of the trivial and sign characters to the cyclic subgroup evaluate the constants exactly, whereas a uniform binomial contraction controls every distance from the boundary at once. If neither a row nor a column has a majority, Swanson's opposite-hook estimate gives a Catalan-scale lower bound for the dimension. The Fomin--Lulov rectangular-character estimate, together with uniform bounds for the truncated Möbius weights, then shows that the identity class dominates. Sundaram's plethystic identity consequently implies that $\prod_{r=1}^M(1-p_r)^{-1}$ is Schur-positive for every fixed $M$. We also record a degree-$12$ counterexample to a separate congruence-class product conjecture attributed to Richard Stanley.

Semi-infinite parabolic IC-sheaf

2026-07-14T13:04:16Z

Let G be a connected reductive group, P its parabolic subgroup. We consider the parabolic semi-infinite category of sheaves on the affine Grassmanian of G and construct the parabolic version of the semi-infinite IC-sheaf of each orbit. We establish some of its properties and relate it to sheaves on the Drinfeld compactification of the moduli stack Bun_P of P-torsors on a curve. We also relate the parabolic semi-infinite IC-sheaf with the dual baby Verma object on the spectral side.

A universal leading-residue formula for Witten zeta functions

2026-07-14T12:58:23Z

Let $Φ$ be an irreducible crystallographic root system of rank $r$, with Coxeter number $h$, Weyl group $W$, Cartan matrix $C_Φ$, and invariant degrees $2=d_1\leq\cdots\leq d_r=h$. We prove that Au's normalized Witten zeta function $ξ_Φ(s)$ has a simple pole at $s=2/h$, with residue $\mathop{\rm Res}_{s=2/h}ξ_Φ(s)=\frac{2(2π)^{r/2}\sqrt{\det C_Φ}}{h|W|}\frac{\prod_{i=1}^{r-1}Γ(1-d_i/h)}{Γ(1-1/h)^r}$. The proof identifies the leading lattice coefficient with a convergent spherical Coxeter-discriminant integral at the critical exponent and evaluates this integral using the boundary pole of the Macdonald--Mehta--Opdam identity. Proper parabolic strata are shown to be strictly subcritical. This establishes Au's gamma-product-shape conjecture and his prediction in type $A_4$. We also obtain a direct, non-Tauberian asymptotic, with an explicit constant for every simple type, for the number of irreducible representations of dimension at most $X$.

Fusion rules and rigidity for weight modules over the simple admissible affine $\mathfrak{sl}(2)$ and $\mathcal{N}=2$ superconformal vertex operator superalgebras

2026-07-14T10:38:00Z

We prove that the categories of weight modules over the simple $\mathfrak{sl}(2)$ and $\mathcal{N}=2$ superconformal vertex operator algebras at fractional admissible levels and central charges are rigid (and hence the categories of weight modules are braided ribbon categories) and that the decomposition formulae of fusion products of simple projective modules conjectured by Thomas Creutzig, David Ridout and collaborators hold (including when the decomposition involves summands that are indecomposable yet not simple). In addition to solving this old open problem, we develop new techniques for the construction of intertwining operators by means of integrating screening currents over certain cycles, which are expected to be of independent interest, due to their applicability to many other algebras. In the example of $\mathfrak{sl}(2)$ these new techniques allow us to give explicit formulae for a logarithmic intertwining operator from a pair of simple projective modules to the projective cover of the tensor unit, namely, the vertex operator algebra as a module over itself.

Note on factorization categories

2026-07-14T10:25:07Z

We systematically study the commutative factorization categories over the Ran space. We fill in what we consider as a gap in the construction of the factorizable Satake functor in the constructible setting in arXiv:1708.07205, arXiv:1608.00284. To do so, we summarize four different constructions of commutative factorization sheaves of categories on Ran and establish some relations between them. We also generalize the Drinfeld-Plücker formalism from arXiv:1708.07205, arXiv:2310.0638. In addition, we study the commutative factorization categories Fact(C) with an additional grading of C. We apply our results to relate the versions of the Satake functors for the Ran space with that of the configuration space of colored divisors on a curve. This paper is a companion of arXiv:2508.01527.

Möbius functions for pseudo-Levi subgroups in finite general linear and symplectic groups

2026-07-14T08:56:12Z

In this paper, we compute the Möbius function on the set of pseudo-Levi subgroups containing a fixed maximal torus of two families of finite groups, $GL_n(q)$ and $Sp_{2n}(q)$, for some natural number $n$ and a prime power $q$. The Möbius function for the set of pseudo-Levi subgroups of a finite group $G$ is important for an explicit evaluation of the formula expressing the decomposition of tensor products of characters, as proved in Theorem 2 of the paper ''Multiplicity of characters of finite reductive groups and Drinfeld doubles'' [arXiv:2512.01432].

Representation theory of the principal equivariant $\mathcal{W}$-algebra and Langlands duality

2026-07-14T08:51:15Z

We study the structure and the representation theory of a certain class of vertex algebras. Our study was partly motivated by the quantum geometric Langlands program and we explain what some of our results mean in this framework. We begin our investigation with the vertex algebra of chiral differential operators on a reductive group $\mathcal{D}_{G}^κ$ for generic levels. In particular, we prove that its vertex algebraic structure is essentially unique. We also study its representation theory and show that the geometric Satake equivalence degenerates. The latter leads us to formulate a vertex-algebraic version of the fundamental local equivalence of Gaitsgory and Lurie. In turn, this brings us to study the representation theory of the principal equivariant affine $\mathcal{W}$-algebra $\mathcal{W}_{G}^κ$, defined by Arakawa as the principal quantum Hamiltonian reduction of $\mathcal{D}_{G}^κ$. We construct a family of simple modules for $\mathcal{W}_{G}^κ$ whose combinatorics matches that of the representation theory of the Langlands dual group. Finally, we establish the fundamental local equivalence when the group is an algebraic torus or is simple adjoint of classical simply laced type.

Homomorphisms between standard modules of generalized Reedy categories

2026-07-14T08:31:53Z

We develop a representation-theoretic approach to generalized Reedy categories through a systematic study of homomorphism spaces between standard modules. For a broad class of these categories, we provide a uniform, computable framework that reduces abstract homological constructions to elementary linear algebra and spectral graph theory via incidence matrices and morphism fibers. As a primary application, we establish a uniform extension of the Dold--Kan correspondence for categories arising from rooted trees, encompassing the categories of finite chains, finite sets and partial injections, and finite spiders. Crucially, this machinery unifies and provides a singular conceptual basis for several classic, seemingly disparate results across algebraic topology and representation theory, including Kuhn's decomposition theorem for vector spaces and the Thévenaz--Webb semisimplicity theorem for Mackey functors.

W-algebras as conformal extensions of affine VOAs

2026-07-14T07:46:21Z

We provide a criterion for a vertex operator superalgebra homomorphism from an affine vertex algebra to another vertex superalgebra to be conformal, and an additional criterion that guarantees that this homomorphism is surjective. This situation is applied to W-algebras and W-superalgebras and we list all cases where our criterion applies. This gives many new examples of W-algebras that collapse to affine vertex algebras or are conformal extensions. In particular, we provide many examples of simple W-algebras at non-admissible levels that collapse to admissible level affine vertex algebras.

Euler Characteristics of Generic Quiver Grassmannians: Semi-Invariants and Localization

2026-07-14T07:41:06Z

Let $Q$ be a finite acyclic quiver and let $\operatorname{Gr}_β(V)$ be a generic quiver Grassmannian arising from a dominant incidence morphism. Combining its regular-zero-locus description with Chern--Gauss--Bonnet and the covariant formula of Derksen--Schofield--Weyman, we express $χ_{\mathrm{top}}(\operatorname{Gr}_β(V))$ as a finite signed sum of covariant multiplicities, equivalently of semi-invariant weight-space dimensions on one flag-extended quiver. We also give a finite torus-localization formula for arbitrary $Q$. We illustrate these results in the cases of generalized Kronecker quivers.

Modular orthogonal Yangians

2026-07-14T07:37:32Z

We study the (extended) orthogonal Yangians associated to the Lie algebras types $B$ and $D$ over a field of positive characteristic. We define the $p$-center for the Yangians and obtain an explicit description of the center in terms of Drinfeld generators, showing that the center is generated by its Harish-Chandra center together with a large $p$-center.

The Derived Auslander--Iyama Correspondence II: Bimodule Calabi--Yau Structures

2026-07-14T07:33:26Z

Let $d$ be a positive integer. In a previous article we established a bijective correspondence between the following classes of objects, considered up to the appropriate notion of equivalence: differential graded algebras (dg) with finite-dimensional $0$-th cohomology such that the canonical generator of their perfect derived category is a basic $d\ZZ$-cluster tilting object, and basic Frobenius algebras that are twisted $(d+2)$-periodic as bimodules. In this article, we prove a variant of our general correspondence for bimodule right Calabi--Yau dg algebras. A novel ingredient is a new cohomology theory which contains obstructions to the existence and uniqueness of minimal $A_\infty$-bimodule structures on a graded bimodule. As an application of our results, we obtain, to our knowledge, the first example of an algebraic triangulated category with a triangulated Calabi--Yau structure that cannot be lifted to a bimodule right Calabi--Yau structure on any of its dg enhancements.