Affine $\imath$quantum groups and Steinberg varieties of type C

2026-05-30T06:16:16Z

We provide a geometric realization of the quasi-split affine $\imath$quantum group of type AIII$_{2n-1}^{(τ)}$ in terms of equivariant K-groups of non-connected Steinberg varieties of type C. This uses a new Drinfeld type presentation of this affine $\imath$quantum group which admits very nontrivial Serre relations. We then construct à la Springer a family of finite-dimensional standard modules and irreducible modules of this $\imath$quantum group, and provide a composition multiplicity formula of the standard modules.

Temperley-Lieb Immanants of Ribbon Decomposition Matrices

2026-05-30T01:34:27Z

Ribbon decomposition matrices give determinantal formulas for skew Schur functions that include as special cases the classical Jacobi-Trudi, Giambelli, and Lascoux-Pragacz formulas. We prove that certain elements of Lusztig's dual canonical basis, called Temperley-Lieb immanants, are Schur-positive when evaluated on ribbon decomposition matrices. We conjecture that this positivity holds for all elements of the dual canonical basis. This is known in the special case of Jacobi-Trudi matrices by a result of Haiman.

Invariants of derived equivalences for admissible fractional Brauer graph algebras

2026-05-30T01:28:46Z

Characterizing derived equivalences between algebras via combinatorial structures has recently become a popular topic. In this paper, we study admissible fractional Brauer graph algebras, a new subclass of self-injective special biserial algebras, and provide several easily checkable combinatorial invariants for derived equivalences between them. In particular, we show that these algebras can be viewed as repetitive algebras and $r$-fold trivial extensions of gentle algebras.

Kleshchev multipartitions, affine Mirković-Vilonen polytopes, and representations of KLR algebras in type ${\tt A}^{(1)}_1$

2026-05-29T23:16:06Z

We construct explicit isomorphisms between three models for the $B(\infty)$ crystal in type ${\tt A}_1^{(1)}$: affine Mirković--Vilonen polytopes, Kleshchev multipartitions, and a new model we call upper ledge diagrams. We also present some clarifying results on these crystals, giving a direct method for completing an affine MV polytope from the data of one of its boundary root partitions, and a non-iterative recognition theorem which characterizes Kleshchev multipartitions in type ${\tt A}_1^{(1)}$. We apply these results to the representation theory of KLR algebras, where they yield a combinatorial dictionary between cuspidal- and cellular-theoretic frameworks, along with some augmented branching rules for real root functors of induction and restriction.

Properties of deformed mass and phase functions

2026-05-29T22:30:59Z

We establish basic properties of the deformed mass and phase functions on the space of stability conditions. We prove that these functions are continuous and deduce that the space of stability conditions admits a homeomorphic embedding into a product space of finite measures. Subsequently, we give a proof of the triangle inequality for deformed mass functions and provide estimates for the deformed mass of truncations of objects with respect to a slicing.

The high-dimension limit of characters of compact reductive Lie groups and restrictions on the production of quantum randomness

2026-05-29T20:57:35Z

For any element $g$ of compact reductive group $G$ we investigate the asymptotic behavior of its normalized irreducible character in the high-dimension limit, $\frac{χ_λ(g)}{d_λ}$. We show that when $G$ is simple the limit vanishes besides identity element. For semisimple groups one gets the same results under the additional assumption that dimensions of irreducible representations of all simple components are going to infinity. Using the notion of approximate $t$-designs we connect this observations with bounds on the production of quantum randomness in large quantum systems.

$p$-Parts of Stabilizers in Primitive Permutation Groups

2026-05-29T19:42:30Z

Let G be a primitive permutation group on a finite set Omega. Let p^2 divide |G|, for a prime p. We show that when G is solvable, there exists a subset of Omega whose stabilizer S has the property that 1<|S|_p<|G|_p. We offer a counting argument which should be helpful when G is not solvable.

$(P,φ)$-Tamari and higher torsion lattices of type $\mathbf{A}$

2026-05-29T19:07:19Z

The goal of this work is to study the combinatorics of the lattices of higher torsion classes of the higher Auslander and Nakayama algebras of type \textbf{A}. Combinatorial descriptions of these higher torsion classes were recently obtained by August \textit{et al.} (2025), and it was observed that the lattices that they form are not semidistributive. We study in some depth these lattices, proving in particular that the lattices of higher torsion classes of the higher Auslander algebras of type \textbf{A} are join-semidistributive, join-extremal and left modular. We also prove that the lattices of higher torsion classes of the higher Nakayama algebras of type \textbf{A} are lattice quotients of them. In order to prove these results, we define a general construction that produces a lattice, which we call $(P,φ)$-Tamari, for any choice of poset $P$ and chain $φ$ in $P$. We prove the lattice results for this general construction. When $P=φ$ is a chain, we recover the Tamari lattice, whereas the lattices of higher torsion classes that we study are obtained for another very particular choice.

Descent and finite permutation resolutions for discrete groups

2026-05-29T14:51:05Z

Let $G$ be a discrete group with a finite-dimensional model for the classifying space for proper actions, and let $k$ be a commutative Noetherian ring of finite global dimension. In this setting, we prove that the homotopy category of projective $kG$-modules, the stable module category of $kG$-modules as defined by Mazza-Symonds, and the derived category of permutation $kG$-modules with finite isotropy, admit descent to finite subgroups. As an application, we show that any $kG$-module of type $FP_\infty$ is a retract of a module that admits a finite resolution by finitely generated $\natural$-permutation modules with finite isotropy, generalizing a result of Balmer-Gallauer.

Vertex algebras and Teichmüller modular forms

2026-05-29T14:30:37Z

We associate to any holomorphic vertex algebra a collection of Teichmüller modular forms, one in each genus. In genus one we obtain the character of the vertex algebra, and we thus reprove Zhu's modularity result. In higher genus, we prove that these forms have an expansion in terms of the correlation functions of the vertex algebra. We propose applications to the Schottky problem, to the study of the slope of the effective cone of the moduli space of curves, and to the classification of holomorphic vertex algebras. In particular, we prove a uniqueness result for high genera partition functions of the moonshine vertex algebra.

Multi-welded twin groups

2026-05-29T13:33:56Z

For $k\geq 1$ and $n\geq 2$, we introduce the multi-welded twin group $M_kWT_n$, a natural welded analogue of the multi-virtual twin group. We show that $M_kWT_n$ arises naturally as a quotient of the universal welded braid group $UW_n(k)$, placing it within the unified framework of universal virtual and welded braid-type groups. We establish natural quotient maps relating $M_kWT_n$ to the multi-virtual twin group $M_kVT_n$, the welded twin group $WT_n$, and the corresponding virtual and welded braid-type groups. Several structural properties of $M_kWT_n$ are obtained. In particular, we compute its abelianization, prove that its commutator subgroup is perfect for $n\ge5$, and show that the symmetric group $S_n$ is its smallest non-abelian finite quotient. We also investigate the representation theory of $M_kWT_n$. In fact, we classify all non-trivial complex homogeneous $2$-local representations of $M_kWT_n$, showing that only one family survives under the additional twin and welded relations. Furthermore, we classify all non-trivial complex homogeneous $3$-local representations of $M_2WT_n$. We further investigate the reducibility and faithfulness properties of both the $2$-local and $3$-local representations.

Aldous-type Spectral Gaps in Generalized Symmetric Groups

2026-05-29T12:44:26Z

We prove an analog of Aldous' spectral gap conjecture in the generalized symmetric groups $G\wr S_n$ where $G$ is an arbitrary finite group. Moreover, we show that Caputo's extension of the conjecture to hypergraphs transfers to these groups whenever it holds in the ordinary symmetric group.

Integrality of Averages of Roots of Unity and Perfect Isometries

2026-05-29T11:08:59Z

We establish a criterion for the integrality of averages of roots of unity and apply it to settle a conjecture regarding the linearity of functions on $\mathbb{Z}_n$. Specifically, we prove that for any modulus $n \ge 1$, if a function $f: \mathbb{Z}_n \to \mathbb{Z}_n$ satisfies that the averages $\frac{1}{n} \sum_{x=0}^{n-1} ω^{f(x)+bx}$ (where $ω=e^{2πi/n}$) are algebraic integers for all $b \in \mathbb{Z}_n$, then $f$ is necessarily linear modulo $n$. This provides a short, elementary proof that works uniformly for all $n$ and avoids the finite-field machinery used in previous partial results. Furthermore, when $n=p^r$, we utilize a local-global integrality argument to show that any normalized sum of $p^r$-th roots of unity that is $p$-adically integral must be either $0$ or a single root of unity. As an application, we completely characterize the perfect isometries of the cyclic group $C_{p^r}$: they are precisely those induced by affine permutations $x \mapsto αx + β$ with $\gcd(α, p^r)=1$.

The classification of integral endotrivial complexes

2026-05-29T10:40:12Z

We describe the group of endotrivial complexes, i.e., the Picard group, of the derived category of permutation modules for a finite group over a commutative Noetherian ring. As a result, we deduce that not every endotrivial with integer coefficients arises from a homotopy representation, i.e., an invertible genuine equivariant spectrum. Along the way, we establish a descent result with respect to subgroups of prime-power order, show that oriented endotrivial complexes are line bundles, that is, locally trivial with respect to an open cover of the Balmer spectrum, and provide a topological construction of forerunner homomorphisms, answering a question of the second-named author.

Rank conditions and amenability for rings associated to graphs

2026-05-29T09:57:01Z

We study path rings, Cohn path rings, and Leavitt path rings associated to directed graphs, with coefficients in an arbitrary ring $R$. For each of these types of rings, we stipulate conditions on the graph that are necessary and sufficient to ensure that the ring satisfies either the rank condition or the strong rank condition whenever $R$ enjoys the same property. In addition, we apply our result for path rings and the strong rank condition to characterize the graphs that give rise to amenable path algebras and exhaustively amenable path algebras.