https://arxiv.org/api/pVWSD/fher/npiQpfOqpu5g3pUI2026-07-23T04:34:06Z3042915015http://arxiv.org/abs/2212.09794v2Quantum max-flow in the bridge graph2026-07-08T17:55:59ZThe quantum max-flow is a linear algebraic version of the classical max-flow of a graph, used in quantum many-body physics to quantify the maximal possible entanglement between two regions of a tensor network state. In this work, we calculate the quantum max-flow exactly in the case of the bridge graph. The result is achieved by drawing connections to the theory of prehomogenous tensor spaces and the representation theory of quivers. Further, we highlight relations to invariant theory and to algebraic statistics.2022-12-19T19:07:37Z27 pages, final versionTransformation Groups, vol. 30, pp. 1751-1784 (2025)Fulvio GesmundoVladimir LysikovVincent Steffan10.1007/s00031-024-09863-2http://arxiv.org/abs/2607.07667v1On Two Algebraic Realizations of Schubert Calculus2026-07-08T17:23:14ZSchubert calculus on complex Grassmannians can be played by means of differential operators acting on Schur polynomials or Vertex Operators acting on exterior algebras. In this paper we develop this point of view systematically and complement it with a parallel exterior-algebra formalism, leading to what we call, respectively, the \emph{bosonic} and the \emph{fermionic} Schubert calculus. The two alluded realizations are related by (a finite type version of) the boson--fermion correspondence, thereby providing a unified framework connecting Schubert calculus and integrals on the Grassmannian, symmetric functions, exterior algebras and the representation theory of symmetric groups.2026-07-08T17:23:14Z37 pages,2 figuresAndré ContieroLetterio GattoParham Salehyanhttp://arxiv.org/abs/2607.07653v1Athinization of irreducible $\widehat{\mathfrak{gl}}_n$-modules with dominant highest weights2026-07-08T17:09:36ZWe study the Gelfand-Tsetlin realization of generic Verma modules for the affine Lie algebra $\widehat{\mathfrak{gl}}_n$ by viewing them as thin modules over the affine Yangian $Y(\widehat{\mathfrak{sl}}_n)$. By results of arXiv:0812.4656, these modules admit a basis indexed by periodic Gelfand-Tsetlin patterns with explicit formulas for the Yangian action, and we identify them with the evaluation modules introduced by Kodera arXiv:1806.09884.
Our main result describes the specialization from generic highest weights to dominant highest weights (not necessarily integral). We call the resulting construction athinization: an irreducible $\widehat{\mathfrak{gl}}_n$-module, which is not thin as a module over the affine Kac-Moody algebra, is realized as a thin module over the larger (and ''more affine'') algebra $Y(\widehat{\mathfrak{sl}}_n)$. Combinatorially, this realization is obtained by restricting the generic periodic Gelfand-Tsetlin basis to a distinguished subset of permitted patterns. We prove that the span of these patterns carries a well-defined affine Yangian action.
In particular, this construction yields explicit Gelfand-Tsetlin-type bases for admissible representations of $\widehat{\mathfrak{gl}}_n$ in the sense of Kac-Wakimoto, providing a new combinatorial realization of these modules. We compare the formulas for characters coming from this combinatorics with those for minimal models of $W$-algebras of the type $A_n$ via the principal specialization.
Further, we obtain analogous results for representations of $U_q\widehat{\mathfrak{gl}}_n$ via their realization as thin modules over the quantum toroidal algebra of $\mathfrak{gl}_n$.2026-07-08T17:09:36Z35 pagesMikhail BershteinEvgeny MukhinLeonid RybnikovAleksandr Trufanovhttp://arxiv.org/abs/2607.07555v1Magnitude of module categories2026-07-08T15:50:58ZWe define an invariant of the module category of a representation-finite algebra by the magnitude of its Auslander algebra. This invariant will be called the magnitude of the module category. For bound path algebras, it can be computed as the Euler characteristic of the Auslander--Reiten quiver, in a suitable sense. To aid the computation of our invariant, we define the Auslander--Reiten--Euler characteristic of a translation quiver. We build on classical results in Auslander--Reiten theory to determine the magnitude of module categories of biserial algebras, hereditary path algebras, radical square zero bound path algebras, and self-injective bound path algebras. In these cases, we express our invariant in terms of other known quantities, notably the rank of the Grothendieck group and Coxeter numbers of Dynkin quivers. Based on our calculations and results, we obtain a conjectural characterisation of representation-finite biserial algebras in terms of the magnitude of the module category and the rank of the Grothendieck group.2026-07-08T15:50:58ZComments welcome!Erlend D. BørveDaniel HoriatakisMartin Kalckhttp://arxiv.org/abs/2509.04234v4Simple harmonic oscillators from non-semisimple walled Brauer algebras2026-07-08T15:33:01ZWalled Brauer algebras $B_N ( m , n ) $ illuminate the combinatorics of mixed tensor representations of $U(N)$, with $m$ copies of the fundamental and $n$ copies of the anti-fundamental representation. They lie at the intersection of research in representation theory, AdS/CFT and quantum information theory. They have been used to study of correlators in multi-matrix models motivated by brane-anti-brane physics in AdS/CFT. They have been applied in computing and optimising fidelities of port-based quantum teleportation. There is a large $N$ regime, specifically $ N \ge (m+n)$ where the algebras are semi-simple and their representation theory more tractable. There are known combinatorial formulae for dimensions of irreducible representations and associated reduction multiplicities. The large $N$ regime has a stability property whereby these formulae are independent of $N$. In this paper we initiate a systematic study of the combinatorics in the non-semisimple regime of $ N = m +n - l $, with positive $l$. We introduce restricted Bratteli diagrams (RBD) which are useful as an instrument to process known data from the large $N$ regime to calculate representation theory data in the non-semisimple regime. We identify within the non-semisimple regime, a region of $(m,n)$-stability, where $ \min ( m, n ) \ge ( 2l -3) $ and the RBD take a stable form depending on $l$ only and not the choice of $ m,n$ within the region. In this regime, several aspects of the combinatorics of the RBD are controlled by a universal partition function for an infinite tower of simple harmonic oscillators closely related, but not identical, to the partition function of 2D non-chiral free scalar field theory.2025-09-04T14:10:25Z78 pages, 15 figures; revisions-v2,v3 - minor typos corrected; v4-code guide improvedSanjaye RamgoolamMichał Studzińskihttp://arxiv.org/abs/2607.07525v1Geometry and topology of the tempered Iwahori-spherical representations of a split semisimple $p$-adic group2026-07-08T15:20:05ZLet $\mathfrak{G}$ be a connected split $p$-adic group of type $B_n$, $C_n$ or $D_n$. Amongst the tempered representations of $\mathfrak{G}$ a key role is played by the Iwahori-spherical block. We provide a compact Hausdorff model for this space which allows us to compute the $K$-theory ranks for the corresponding $C^*$-algebra. The model, an extended quotient, is stratified by sectors. Underlying the approach of this paper is the interplay between the geometric extended quotient and the spectral extended quotient in the context of the ABPS conjecture.
We give geometric descriptions of every sector thus equipping the spectrum with a cellular structure. We classify the geometric structures arising in our model, and specifically discover real projective spaces along with cones and suspensions of these. These examples require a minor modification to our homotopy sector conjecture: we show that Langlands dual sectors are rationally (indeed dyadically) homotopy equivalent in all cases ($A_n, B_n, C_n, D_n, E_6, E_7$ and $E_8$).2026-07-08T15:20:05ZDominic MajdaGraham A. NibloRoger PlymenNick Wrighthttp://arxiv.org/abs/2607.07427v1$p$-adic Maass--Shimura operators on $μ$-ordinary Igusa varieties2026-07-08T13:57:35ZFor Shimura varieties of Hodge type, we optimally extend algebraic Maass--Shimura differential operators on $p$-integral nearly holomorphic automorphic forms to differential operators on $μ$-ordinary Mantovan Igusa varieties. We then show that the rank one operators can be integrated to an action of an explicit formal group. Via $p$-adic Fourier theory, this provides a $p$-adic interpolation by extending the action of a symmetric algebra of differential operators to the algebra of functions on the Tate module of the dual $p$-divisible group. Passing to the generic fiber, we obtain an action of an explicit algebra of $p$-adic locally analytic functions, and we show that the action of the subalgebra of locally constant functions is equivalent to a natural Hecke action and thus preserves classical forms. In the ordinary case, we further show that the locally analytic action extends to nearly overconvergent automorphic forms. Our results extend, clarify, and recover prior constructions.2026-07-08T13:57:35Z85 pages. Comments welcomeAndrew GrahamPol van HoftenSean Howehttp://arxiv.org/abs/2607.07412v1The Knop-Luna-Vust theory of spherical embeddings, extended to non-reductive groups2026-07-08T13:44:19ZWe extend the theory of spherical embeddings to actions of connected non-reductive groups. This generalization is formally very similar to the usual reductive case: equivariant embeddings are described essentially by collections of convex cones in a rational vector space.
We also show some new relationship between the combinatorics emerging in this case and the properties of the unipotent radical of the acting group. Finally, we apply our techniques to prove a characterization of log homogeneous varieties.2026-07-08T13:44:19Z27 pages, 2 figuresGuido Pezzinihttp://arxiv.org/abs/2311.11078v4A Lie group analog for the Monster Lie algebra2026-07-08T10:10:11ZThe Monster Lie algebra $\frak m $, which admits an action of the Monster finite simple group $\mathbb{M}$, was introduced by Borcherds as part of his work on the Conway--Norton Monstrous Moonshine conjecture. Here we construct an analog~$G(\frak m)$ of a Lie group or Kac--Moody group, associated to~$\frak m$. The group~$G(\frak m)$ is given by generators and relations, analogous to a construction of a Kac--Moody group given by Tits. In the absence of local nilpotence of the adjoint representation of $\frak m$, we introduce the notion of pro-summability of an infinite sum of operators. We use this to construct a complete pro-unipotent group $\Uhp$ of automorphisms of a completion $\widehat{\mathfrak{m}}=\frak n^-\ \oplus\ \frak h\ \oplus\ \widehat{\frak n}^+$ of~$\mathfrak{m}$, where $\widehat{\frak n}^+$ is the formal product of the positive root spaces of $\frak m$. The elements of $\widehat{U}^+$ are pro-summable infinite series with constant term 1. The group $\widehat{U}^+$ has a subgroup~$\widehat{U}^+_\text{im}$, which is an analog of a complete unipotent group corresponding to the positive imaginary roots of~$\frak m$.We construct analogs $\text{Exp}: \widehat{\mathfrak{n}}^+\to\widehat{U}^+$ and $\text{Ad} :\widehat{U}^+ \to \Aut(\widehat{\frak{n}}^+)$ of the classical exponential map and adjoint representation. We show that the action of $\mathbb{M}$ on $\mathfrak m$ induces an action of~$\mathbb{M}$ on~$\widehat{\frak m}$, and that this in turn induces an action of $\mathbb{M}$ on~$\widehat{U}^+$. We also show that the action of $\mathbb{M}$ on $\widehat{\mathfrak n}^+$ is compatible with the action of $\widehat{U}^+$ on $\widehat{\mathfrak n}^+$.2023-11-18T13:56:52ZLisa CarboneElizabeth JurisichScott H. Murrayhttp://arxiv.org/abs/2607.07211v1Extriangulated ideal quotients and $d$-Auslander categories2026-07-08T09:50:17ZBuilding on recent studies of 0-Auslander categories, we establish a connection between $d$-Auslander extriangulated categories and categories of $(d+2)$-term complexes up to homotopy. We give a precise homological condition under which an algebraic extriangulated category admits an extriangulated ideal quotient equivalent to $\mathcal{K}^{[-d-1,0]}(\mathcal{A})$. We then demonstrate that $d$-cluster-tilting subcategories in triangulated categories serve as a key source of $d$-Auslander extriangulated categories. Using these structural results, we answer a question posed by Iyama in the Appendix of arXiv:2509.08246 by proving that $\mathcal{K}^{[-d-1,0]}(\mathcal{N})$ admits a triangulated structure when $\mathcal{N}$ is a weakly idempotent complete algebraic $(d+4)$-angulated category.2026-07-08T09:50:17ZLior Silberberghttp://arxiv.org/abs/2607.03864v2Spherical subgroups in reductive algebraic groups2026-07-08T09:25:10ZIn a paper from 2015, we determined all spherical affine homogeneous varieties for simple algebraic groups in arbitrary characteristic. The present paper extends this classification to semisimple groups. This generalizes work done independently by Brion and Mikityuk in characteristic zero. Our primary approach relies on a lifting lemma to characteristic zero, enabling us to directly apply Brion's and Mikityuk's results.2026-07-04T13:11:57Z13 pages; v 2 very minor changesFriedrich KnopGerhard Roehrlehttp://arxiv.org/abs/2607.07066v1Multiplication Beyond Groups: Stratified Fourier Mechanisms in Transformer Circuits2026-07-08T06:49:48ZTransformers have demonstrated a remarkable ability to learn algorithmic reasoning, yet mechanistic analyses have mostly focused on globally invertible operations such as cyclic addition and group composition. In this work, we investigate how small transformers learn modular integer multiplication over composite moduli, a fundamentally non-invertible operation due to the presence of zero-divisors. We propose the monoid extension: a localized generalization of Group Composition via Representation (GCR) that suggests the learned computation does not rely on a single global representation space. Instead, the model partitions the input space into local hierarchical algebraic regions, where group-like structure survives and Fourier mechanisms can be applied. In transformers trained on square-free modular multiplication, we find that embeddings organize around these regions, attention exhibits class-sensitive routing and low-rank write directions, and local character features explain a large fraction of the model's output logits. Our results suggest that representation-theoretic mechanisms previously identified for group operations can extend beyond groups to more general structures.2026-07-08T06:49:48Z29 pages, 15 figures. Spotlight at the Mechanistic Interpretability Workshop at ICML 2026. First three authors contributed equally. Code at https://github.com/uw-math-ai/interpreting-monoidsZitong Andrew ChenJunaid HasanAkhil SrinivasanHemkesh BandiJarod Alperhttp://arxiv.org/abs/2607.06960v1From $(n+1)$-term subcategories to $(n+1)$-term complexes2026-07-08T03:37:57ZLet $n$ be a positive integer. Given an $n$-rigid subcategory $\mathcal{M}$ of an algebraic triangulated category $\mathcal{T}$, we explicitly construct an extriangulated functor from the $(n+1)$-term subcategory of $\mathcal{T}$ generated by $\mathcal{M}$ to the full subcategory of $(n+1)$-term complexes in the bounded homotopy category $K^b(\mathcal{M})$, which restricts to the identity on $\mathcal{M}$. In the broader context of reduced $(n-1)$-Auslander extriangulated categories, we provide necessary and sufficient conditions for such a functor to be full, in which case it induces an equivalence of extriangulated categories modulo a certain ideal. Furthermore, we establish a mutation-compatible bijection between the silting subcategories of these categories. Finally, we apply these results to $n$-cluster tilting subcategories and $n$-cluster tilting objects in $(n+1)$-Calabi-Yau categories.2026-07-08T03:37:57Z39 pages. Comments welcomeZhaotai ZhangYu ZhouBin Zhuhttp://arxiv.org/abs/2409.09372v4Markov traces on degenerate cyclotomic Hecke algebras2026-07-08T02:58:55ZLet $H_n(\boldsymbol{u})$ be the degenerate cyclotomic Hecke algebra with parameter $\boldsymbol{u}=(u_1, \ldots, u_m)$ over $\mathbb{C}(\boldsymbol{u})$. We define and construct the (non-)normalized Markov traces on the sequence $\{H_n(\boldsymbol{u})\}_{n=1}^{\infty}$. This allows us to provide a canonical symmetrizing form on $H_n(\boldsymbol{u})$ and show that the Brudan--Kleshchev trace on $H_n(\boldsymbol{u})$ is a specialization of the non-normalized Markov traces.2024-09-14T08:54:37ZWe made several improvements to the paper in response to referee commentsDeke Zhaohttp://arxiv.org/abs/2410.15063v2Characters of Ariki--Koike algebras2026-07-08T02:53:02ZIn this paper, we prove the Regev formulae for the characters of the Ariki--Koike algebras by applying the Schur--Sergeev reciprocity between the quantum superalgebras and the Ariki--Koike algebras, which is a generalization of the formulas in (D. Zhao, Israel J. Math. 229 (2019): 67--83 ). As a corollary, we provide the Regev formulae for the characters of the complex reflection group of type $G(m,1,n)$, which is a generalization of the formulas in (A. Regev, Israel J. Math. 195 (2013): 31--35).2024-10-19T10:54:38Z13 pages, comments, suggestions and corrections are welcomeJournal of Algebra 684 (2025), 773--791Deke Zhao10.1016/j.jalgebra.2025.07.023.