State space models (SSMs) are an emerging alternative to Transformers. SSMs offer linear-time inference and parallel training, but most implementations make the parallel scan efficient by making the recurrence diagonal: each channel of the hidden state is multiplied by an input-dependent real or complex number. These numbers commute, so the state records which inputs occurred but not their order. We formalize this with representation theory, which explains and fixes the state-tracking failures previously reported for SSMs. The state update defines a linear representation of the monoid of input sequences, and we show that an SSM tracks a group at every sequence length exactly when that group is a quotient of the group generated by its transition matrices. Two consequences follow. Diagonal real- and complex-valued SSMs can track only commutative groups, while the transition matrices of…
These are notes to supplement my talks at the Current Developments in Mathematics Conference in 2026. They are an expository account of recent work in the study of braid varieties and their relation to low-dimensional contact and symplectic topology. A driving theme is the development and use of Demazure weaves to construct cluster algebra structures on the coordinate rings of such braid varieties.
Let $\mathfrak{g}$ be a symmetrizable Kac--Moody algebra, let $q\in\mathbb{C}^\times$ not be a root of unity, and let $\mathbf{U}=U_q(L\mathfrak{g})$ be the corresponding quantum loop algebra, equipped with Hernandez' deformed Drinfeld coproduct. For every diagram involution $τ$ of $\mathfrak{g}$, we introduce a coideal subalgebra $\mathbf{B}$ in a topological completion of $\mathbf{U}$, obtained by adapting the Letzter-Kolb construction of quantum symmetric pairs to the Drinfeld generators of $\mathbf{U}$. We derive necessary constraints on the parameters defining $\mathbf{B}$ from a minimality condition on its intersection with the quantum loop Cartan subalgebra $\mathbf{U}^0\subset\mathbf{U}$. We show that $\mathbf{B}$ yields a topological realization of the quasi-split $\imath$quantum loop group $\mathbf{U}^\imath$ associated with $τ$, in the presentation recently obtained by…
For a unital associative ring $R$, let $\operatorname{silp}(R)$ be the supremum of the injective dimensions of all projective right $R$-modules, and let $\operatorname{spli}(R)$ be the supremum of the projective dimensions of all injective right $R$-modules. We construct an explicit non-Noetherian unital algebra \[R=k1\oplus \frac{k(0\longrightarrow1\longrightarrow2\longrightarrow\cdots)} {\langle\text{all paths of length }2\rangle}\] over any field and prove that $\operatorname{silp}(R)=1$ and $\operatorname{spli}(R)=\infty. $ The algebra is the unitization of the non-unital path algebra of the one-sided infinite ray modulo paths of length two. The example answers the question whether $\operatorname{silp=spli}$ raised by Gedrich and Gruenberg.
We give explicit and recursive formulas for the Poincaré polynomials of Dani--Mainkar nilmanifolds associated with path graphs. We also prove that these polynomials are unimodal, and we calculate a range of Betti numbers asymptotically. As an application, we derive a sharp lower bound for the dimension of the total de Rham cohomology of a Dani--Mainkar nilmanifold.
We give a key polynomial of degree fourteen whose expansion in Demazure $t$-atoms has a coefficient with a negative term. This computation disproves the conjectured Demazure atom positivity of flagged LLT polynomials and the corresponding stable atom positivity assertion for modified nonsymmetric Macdonald polynomials.
The trace map of a finite group gives a perfect duality between conjugacy classes and irreducible complex representations. For reductive $p$-adic groups, an analogous duality holds due to the classical work of Bernstein, Deligne and Kazhdan. In this paper, we study this trace map for modular representations of reductive $p$-adic groups in characteristic $\ell\ne p$. The failure of the duality is measured by the kernel of the trace map on the cocenter of the ``big Hecke algebra''. Our main theorem expresses this kernel in terms of corresponding kernels for finite-dimensional Hecke algebras associated with normalizers of parahoric subgroups in suitable central quotients of Levi subgroups, reducing a problem on infinite-dimensional algebras to finite-dimensional ones. We also show that projective representations provide a natural complementary subspace on the compact part of the cocenter.…
We study Chern characteristic classes of normal vector bundles of complex generalized flag submanifolds $G_{n-1}/P_{n-1}$ in complex generalized flag manifolds $G_n/P_n$. This procedure can be regarded as the relative version of Schubert calculus for the pair $G_{n-1}/P_{n-1}$ and $G_n/P_n$. The CW structure and additive structure of the cohomology of $\mathrm{Gr}(n, k)$ allows inductive calculation of Chern classes of the canonical and complementary canonical vector bundles over $\mathrm{Gr}(n, k)$. The combination of representation theory and algebraic geometry allows to derive analogous properties for the isotropic Grassmannians $\mathrm{LGr}(m, k)$ and $\mathrm{OGr}(m, k)$ via their embeddings in $\mathrm{Gr}(m, k)$. Then the induced CW structure yields the additive structure on the cohomology of $\mathrm{LGr}(m, k)$ and $\mathrm{OGr}(m, k)$, and consequently leads to the…
Let $k$ be a fixed positive integer and $p$ be an odd prime such that $\gcd(p-1,k)=1$. For sufficiently large primes $p$, we show that the equation $AX^k+BY^k=C$ has solutions $X,Y \in \mathrm{GL}(2, \mathbb{F}_p)$, where $A$ and $B$ are fixed matrices in $\mathrm{GL}(2, \mathbb{F}_p)$, and $C$ is a fixed matrix in $\mathrm{M}(2,\mathbb{F}_p).$ Our proof relies on Fourier analysis over $\mathrm{GL}(2, \mathbb{F}_p).$
Let $V^{\Bbbk}(\mathfrak{g})$ be the universal affine vertex algebra attached to a finite-dimensional complex simple Lie algebra at arbitrary level, and let $M=\bigoplus_{N=0}^{\infty}M_N$ be a $V^{\Bbbk}(\mathfrak{g})$ -module. We give an explicit formula for every genus-one trace of affine currents as a finite sum over cycle partitions. We then show the convergence of all fixed zero-mode trace series, hence absolute locally uniform convergence of the current traces and their meromorphic continuation on the elliptic configuration space. The same conclusion is obtained for arbitrary affine-state insertions. Finally, we compute the cases of at most four currents and the nodal limit $q\to 0$, in which the type-1 and type-2 elliptic cycle coefficients degenerate to rational genus-zero cycle coefficients and the module trace reduces to the ground-state space.
Let $\mathcal{O}$ be a Dedekind domain, $\mathfrak{p}$ a prime ideal of residue order $q$, and $\mathcal{O}_r=\mathcal{O}/\mathfrak{p}^r$ which is a finite chain ring; the motivating example is $\mathbb{Z}/p^r$. The free projective geometry $\mathbb{P}^{d-1}_{fr}(\mathcal{O}_r)$ is the graph whose vertices are the nontrivial free submodules of $\mathcal{O}_r^{d}$, two of them adjacent when one strictly contains the other. For every $d$, $q$ and $r$ we reduce its adjacency matrix to explicit symmetric matrices (blocks) of size at most $d-1$. There is one block for each signature (a partition with at most $d/2$ parts, each at most $r$) and we show that every block, at every depth, is a single universal matrix $L(s,σ)$ evaluated at the number $s$ of parts of the signature $λ$ and at $σ=2rs-|λ|$. The same blocks give the spectrum of the subgraph induced on any set of levels, and for two…
We study continuous representations of topological monoids on discrete modules via a finite-restriction reconstruction method. For an arbitrary topological monoid $\mathscr{M}$, we construct a transformation monoid $\mathscr{E}_\mathscr{M}$ whose uniformly continuous representations are equivalent to continuous representations of $\mathscr{M}$ on discrete modules. By the finite-restriction reconstruction, these categories are equivalent to categories of sheaves of modules over special sites. We illustrate this method by several examples, including various realizations of $\mathrm{FA}$-modules and continuous representations of $\operatorname{End}_A(\varinjlim_r A^r)$ for a finite ring $A$.
In this paper we consider Grothendieck groups of extended module categories $\C_m(A)=m\text{-}\modu A$, where $A$ is a finite-dimensional algebra over a field and $m$ is a positive integer. We show that the relation subgroup of the split Grothendieck group of $\C_m(A)$ is generated by Auslander--Reiten extriangles if and only if $\C_m(A)$ has finitely many indecomposable objects up to isomorphism. To this end, we establish a criterion for extriangulated categories with bounded negative extension sequences and a finite extension generator. We then apply this criterion to extended module categories and recover the two-term silting criterion of Padrol, Palu, Pilaud and Plamondon. We also use the cohomological Euler characteristic to determine the rank of the relation subgroup. In particular, when $A$ is hereditary and representation-finite, we explicitly describe the indecomposable objects…
Let $\mathcal C$ be a Hom-finite Krull--Schmidt extriangulated category over a commutative artin ring. Write ${\rm Rel}(\mathcal C)$ for the subgroup of the split Grothendieck group generated by the relations of all $\mathbb E$-triangles, and ${\rm AR}(\mathcal C)$ for the subgroup generated by those coming from Auslander--Reiten $\mathbb E$-triangles. We first prove that either one-sided finiteness condition on Hom supports implies ${\rm Rel}(\mathcal C)={\rm AR}(\mathcal C)$. For incoming Hom supports, the proof uses a Jordan--Hölder filtration of the contravariant defect. The outgoing case follows by duality. This gives a new proof of the implication from local finiteness to generation by Auslander--Reiten relations. Our argument uses defects and induction on their composition length. In this way, it avoids the radical filtration argument used by Zhu and Zhuang. We then sssume that…
We construct two-parameter Baxter $\mathbb{Q}$-operators for the transfer matrices of noncompact open $SL(2,\mathbb{C})$ BC-type spin chains with general boundary interactions, treating both one-boundary and two-boundary models. The $\mathbb{Q}$-operators are defined as traces of general monodromy matrices over infinite-dimensional auxiliary spaces carrying principal series representations of $SL(2,\mathbb{C})$. At specific values of parameters the two-parameter $\mathbb{Q}$-operators degenerate into simpler one-parameter Baxter operators. We prove that the general transfer matrices factorize into products of these one-parameter $Q$-operators. We provide both an algebraic derivation based on local operator identities and a diagrammatic proof using Feynman diagrammatic techniques. Finally, we apply the quantum Separation of Variables (SoV) method to the spectral problem of the…
Let $Q$ be a quiver and let $\mathbf{d}$ be a dimension vector. We prove that the affinized BPS cohomology of the stack of $\mathbf{d}$-dimensional representations of the preprojective algebra $Π_Q$ is generated by its reduced virtual fundamental class under the action of tautological classes. This is a generalisation to singular quiver varieties of the Kirwan surjectivity statement of McGerty-Nevins for smooth framed quiver varieties. We prove that the statement holds for every King stability condition. To prove this, we attach legs to vertices of $Q$ and construct a correspondence with a smooth quiver variety for the extended quiver. This correspondence sends the reduced virtual fundamental class of the singular preprojective quiver stack to the Vandermonde determinant capped with the fundamental class of the smooth preprojective quiver stack for the leg-extended quiver. We construct…
We show that non-counital Frobenius algebras with injective comultiplication coincide with QF-3 algebras, thereby providing a new characterization of QF-3 algebras. As an application, we recover that gendo-Frobenius algebras, self-injective algebras, and more generally Morita algebras, all admit an injective non-counital Frobenius algebra structure. Furthermore, we construct a canonical family of injective comultiplications on QF-3 algebras that admit a counit if and only if the algebra is Frobenius. This settles a question of Hernandez--Walton--Yadav and unifies a wealth of results in the literature. We conclude with applications to topological quantum field theories and Poincaré duality algebras.
The goal of this paper is to start proving the Broué--Digne--Michel conjectures concerning the cohomology of Deligne--Lusztig varieties attached to roots of the full twist. The main result establishes that the $\mathrm{Ext}$-algebras of the cohomology complexes attached to roots of the full twist are concentrated in degree $0$. The main idea is to reduce the problem to a calculation in the Hecke category. The resulting argument is essentially topological and applies to all realizations of the Hecke category.
Let $\mathbb{G}$ be a generic reductive group in the sense of Broué--Malle--Michel. We construct a category over $\mathbb{Z}[t,t^{-1}]$ which interpolates between the various categories of unipotent representations of $\mathbb{G}(q)$ as we specialize $t$ to $q$. We use this category to show two properties of the unipotent decomposition matrix of $\mathbb{G}(q)$ mod $\ell$ (not dividing $q$): that, uniformly in $(q,\ell)$, there are finitely many such matrices and that for $\ell$ large enough, depending only on $\mathbb{G}$, this decomposition matrix depends only on the root of unity corresponding to $q$ mod $\ell$. We also prove that for $q$ and $q'$ two prime powers that are $\ell$-adically close enough, the categories of unipotent mod $\ell$ representations of $\mathbb{G}(q)$ and $\mathbb{G}(q')$ are equivalent.
This paper provides a conceptual understanding of the Mackey bijection from the admissible dual of a real reductive group $G$ into the admissible dual of its Cartan motion group $G_0$, by studying the primitive spectrum of a Hecke algebra over $\mathbb{C}[t]$ arising from the contraction of $G$ to $G_0$. If $K$ denotes a maximal compact subgroup of $G$, our approach leads to the following two results: the admissible Mackey bijection is a piecewise homeomorphism, each piece being defined by the length of the lowest $K$-types; the Hecke algebras of $G$ and $G_0$ have, up to $K$-types not exceeding a certain length, the same periodic cyclic homology.
In this paper, we study the geometry of certain affine Springer fibers. In particular, we generalize the construction of Lusztig in "Remarks on affine Springer fibres" to identify a locally closed subvariety in terms of some Lagrangian in the resolution of the nilpotent Slodowy slice. We use this description to prove some geometric properties of these affine Springer fibers, including existence of affine pavings and equidimensionality of affine Spaltenstein varieties.
We prove that the Artin--Schelter Gorenstein and Artin--Schelter regular properties descend from a graded Ore extension to its coefficient algebra, for every twisting automorphism and every skew derivation. We then determine the dual reflection groups of graded Ore extensions for all gradings compatible with the Ore structure. They are exactly the semidirect products of a dual reflection group of the coefficient algebra by the cyclic group generated by the degree of the new variable, meeting it trivially, and a nonzero skew derivation never contributes a new degree. For iterated Ore extensions we characterize the dual reflection groups by an order formula analogous to the theorem of Shephard, Todd and Chevalley, and we prove the binomial conjecture of Buzaglo and Rogalski for these algebras. We show that their covariant rings are complete intersections of growth type, whose Ext-algebras…
We generalize Mirković's construction of Zastava spaces. These spaces form an inductive system, giving a generalization of affine and Beilinson--Drinfeld Grassmannians as indschemes, defined for any integral symmetric matrix $κ$ with even diagonal entries. When $κ$ is the Cartan matrix from a simply-laced Kac--Moody algebra, we also construct an action of the Tits group on the generalized affine Grassmannian.
We investigate the orbifold theory for condensable algebras in fusion categories $\mathcal{C}$. We prove that the algebra automorphism group of a condensable algebra $A$ is finite and explicitly characterize its elements in terms of the fusion action and indecomposable $\mathcal{C}_{A}^0$-bimodule decomposition of $\mathcal{C}_{A}$. We further show that a finite group action on $A$ gives rise to a group extension of the category $\mathcal{C}_{A}^0$ in $\mathcal{C}_{A}$. Conversely, every such group extension arises from a finite group of algebra automorphisms of $A$. Finally, we also construct a canonical maximal group extension of $\mathcal{C}_{A}^0$, thereby providing a categorical framework for the classical correspondence among finite group actions, fixed-point algebras, and twisted modules.
The homogeneous coordinate ring of a Grassmannian variety $\mathrm{Gr}_{k,n}$ is equipped with a structure of a cluster algebra. The frozen variables are identified with the Plücker coordinates corresponding to length-$k$ segments of ${\mathbb Z}_n$. We study two families of algebras: the first family is obtained by specializing all the frozen variables and the second corresponds to the specialization of the nonwrapping variables. We construct flat bases in both families and study their affine spectra. The special fibers of the families are cones over projective varieties. We identify the irreducible components of these projective varieties with certain positroid varieties.