http://arxiv.org/api/ykHgFr60wQHdnRc1afehu9LyD64 2025-04-22T00:00:00-04:00 27713 30 15 http://arxiv.org/abs/2504.14030v1 2025-04-18T18:38:24Z 2025-04-18T18:38:24Z

We give a uniform construction of irreducible polynomial representations of all classical groups, including spin groups, using semistandard domino tableaux. We also give an explicit decomposition of the homogeneous coordinate ring of the flag variety for classical groups and explicit generators for the ideal of functions vanishing on this variety.

William M. McGovern 13 pages http://arxiv.org/abs/2006.12942v2 2025-04-18T18:21:18Z 2020-06-23T12:37:48Z

The commuting variety of a reductive Lie algebra $\mathfrak{g}$ is the underlying variety of a well defined subscheme of $\mathfrak{g}\times\mathfrak{g}$. In this note, it is proved that this scheme is normal and Cohen-Macaulay. In particular, its ideal of definition is a prime ideal. As a matter of fact, this theorem results from a so called Property (P) for a simple Lie algebra. This property says that some cohomology complexes are exact.

Jean-Yves Charbonnel IMJ-PRG http://arxiv.org/abs/2504.14012v1 2025-04-18T18:04:48Z 2025-04-18T18:04:48Z

We introduce new objects, called $(G,c)$-bands, associated with a simple simply-connected algebraic group $G$, and a Coxeter element $c$ in its Weyl group. We show that bands of a given type are the $K$-points of an infinite dimensional affine scheme, whose ring of regular functions has a cluster algebra structure. We also show that two important invariant sub-algebras of this ring are cluster sub-algebras. These three cluster structures have already appeared in different contexts related to the representation theories of quantum affine algebras, their Borel sub-algebras, and shifted quantum affine algebras. In this paper we show that they all belong to a common geometric setting.

Luca Francone Bernard Leclerc 66 pages, 11 figures http://arxiv.org/abs/2504.13783v1 2025-04-18T16:34:34Z 2025-04-18T16:34:34Z

We consider a family of potential quasi-lisse affine vertex algebras $L_{k_m}(D_4)$ at levels $k_m =-6 + \frac{4}{2m+1}$. In the case $m=0$, the irreducible $L_{k_0}(D_4)$--modules were classified in arXiv:1205.3003, and it was proved in arXiv:1610.05865 that $L_{k_0}(D_4)$ is a quasi-lisse vertex algebra. We conjecture that $L_{k_m}(D_4)$ is quasi-lisse for every $m \in {\mathbb{Z}}_{>0}$, and that it contains a unique irreducible ordinary module. In this article we prove this conjecture for $m=1$, by using mostly computational methods. We show that the maximal ideal in the universal affine vertex algebra $V^{k_1}(D_4)$ is generated by three singular vectors of conformal weight six. The explicit formulas were obtained using software. Then we apply Zhu's theory and classify all irreducible $L_{k_1}(D_4)$--modules. It turns out that $L_{k_1}(D_4)$ has $405$ irreducible modules in the category $\mathcal O$, but a unique irreducible ordinary module. Finally, we prove that $L_{k_1}(D_4)$ is quasi-lisse by showing that its associated variety is contained in the nilpotent cone of $D_4$.

Dražen Adamović Ivana Vukorepa 13 pages http://arxiv.org/abs/2502.21184v2 2025-04-18T11:36:06Z 2025-02-28T16:00:09Z

In this paper, we present an independent proof of the Cauchy identities for staircase matrices, originally discovered in arXiv:2411.03117, using the combinatorics of the Bruhat poset and the bubble-sort procedure. Additionally, we derive new insights into certain coefficients appearing in one of these identities. The first part of the paper focuses on combinatorial aspects. It is self-contained, of independent interest, and introduces a generalization of parabolic Bruhat graphs for monotone functions on an arborescent poset. The second part examines the intersections of Demazure modules within a given integrable representation. Finally, we propose a generalization of the classical Howe duality for staircase matrices in terms of the corresponding distributive lattice of Demazure submodules. Computing the associated character yields the desired Cauchy identities for staircase matrices.

Anton Khoroshkin Ievgen Makedonskyi Tiny corrections, References added http://arxiv.org/abs/2504.13506v1 2025-04-18T06:57:38Z 2025-04-18T06:57:38Z

Given a number field with absolute Galois group $\mathcal{G}$, a finite Galois module $M$, and a Selmer system $\mathcal{L}$, this article gives a method to compute Sel$_\mathcal{L}$, the Selmer group of $M$ attached to $\mathcal{L}$. First we describe an algorithm to obtain a resolution of $M$ where the morphisms are given by Hecke operators. Then we construct another group $H^1_S(\mathcal{G}, M)$ and we prove, using the properties of Hecke operators, that $H^1_S(\mathcal{G}, M)$ is a Selmer group containing Sel$_\mathcal{L}$. Then, we discuss the time complexity of this method.

Fabrice Etienne UB, CANARI, IMB http://arxiv.org/abs/2406.19511v2 2025-04-17T20:22:55Z 2024-06-27T20:16:24Z

We give a new proof of a Fourier interpolation result first proved by Radchenko-Viazovska, deriving it from a vanishing result of the first cohomology of a Fuchsian group with coefficients in the Weil representation.

Mathilde Gerbelli-Gauthier Akshay Venkatesh 29 pages. Minor edits and new example in Section 6. Comments Welcome! http://arxiv.org/abs/2109.08230v3 2025-04-17T19:00:34Z 2021-09-16T21:27:45Z

This is a contribution to the study of $\operatorname {Irr}(G)$ as an $\operatorname {Aut}(G)$-set for $G$ a finite quasi-simple group. Focusing on the last open case of groups of Lie type $\mathrm D$ and $^2\mathrm D$, a crucial property is the so-called condition $A'(\infty)$ expressing that diagonal automorphisms and graph-field automorphisms of $G$ have transversal orbits in $\operatorname {Irr}(G)$. This is part of the stronger $A(\infty)$ condition introduced in the context of the reduction of the McKay conjecture to a question on quasi-simple groups. Our main theorem is that a minimal counter-example to condition $A(\infty)$ for groups of type $\mathrm D$ would still satisfy $A'(\infty)$. This will be used in a second paper to fully establish $A(\infty)$ for any type and rank. The present paper uses Harish-Chandra induction as a parametrization tool. We give a new, more effective proof of the theorem of Geck and Lusztig ensuring that cuspidal characters of arbitrary standard Levi subgroups of $G={\mathrm D}_{ l,\mathrm{sc}}(q)$ extend to their stabilizers in the normalizer of that Levi subgroup. This allows to control the action of automorphisms on these extensions. From there Harish Chandra theory leads naturally to a detailed study of associated relative Weyl groups and other extendibility problems in that context.

Britta Späth 55 pages, published Nagoya Mathematical Journal 252 (2023), 906-958. This version v3 takes into account renumbering of sections http://arxiv.org/abs/2312.02100v3 2025-04-17T18:49:45Z 2023-12-04T18:22:14Z

We study the mod $p$ equivariant quantum cohomology of conical symplectic resolutions. Using symplectic genus zero enumerative geometry, Fukaya and Wilkins defined operations on mod $p$ quantum cohomology deforming the classical Steenrod operations on mod $p$ cohomology. We conjecture that these quantum Steenrod operations on divisor classes agree with the $p$-curvature of the mod $p$ equivariant quantum connection, and verify this in the case of the Springer resolution. The key ingredient is a new compatibility relation between the quantum Steenrod operations and the shift operators.

Jae Hee Lee 35 pages, comments welcome! v2: added references, fixed minor typos; v3: accepted version http://arxiv.org/abs/2504.13066v1 2025-04-17T16:20:29Z 2025-04-17T16:20:29Z

A Young subgroup of the symmetric group $\mathcal{S}_{N}$ with three factors, is realized as the stabilizer $G_{n}$ of a monomial $x^{\lambda}$ ( $=x_{1}^{\lambda_{1}}x_{2}^{\lambda_{2}}\cdots x_{N}^{\lambda_{N}}$) with $\lambda=\left( d_{1}^{n_{1}},d_{2}^{n_{2}},d_{3}^{n_{3}}\right) $ (meaning $d_{j}$ is repeated $n_{j}$ times, $1\leq j\leq3$), thus is isomorphic to the direct product $\mathcal{S}_{n_{1}}\times\mathcal{S}_{n_{2}}\times \mathcal{S}_{n_{3}}$. The orbit of $x^{\lambda}$ under the action of $\mathcal{S}_{N}$ (by permutation of coordinates) spans a module $V_{\lambda}% $, the representation induced from the identity representation of $G_{n}$. The space $V_{\lambda}$ decomposes into a direct sum of irreducible $\mathcal{S}% _{N}$-modules. The spherical function is defined for each of these, it is the character of the module averaged over the group $G_{n}$. This paper concerns the value of certain spherical functions evaluated at a cycle which has no more than one entry in each of the three intervals $I_{j}=\left\{ i:\lambda_{i}=d_{j}\right\} ,1\leq j\leq3$. These values appear in the study of eigenvalues of the Heckman-Polychronakos operators in the paper by V. Gorin and the author (arXiv:2412:01938v1). The present paper determines the spherical function values for $\mathcal{S}_{N}$-modules $V$ of two-row tableau type, corresponding to Young tableaux of shape $\left[ N-k,k\right] $. The method is based on analyzing the effect of a cycle on $G_{n}$-invariant elements of $V$. These are constructed in terms of Hahn polynomials in two variables.

Charles F. Dunkl 14 pages. arXiv admin note: text overlap with arXiv:2503.04547 http://arxiv.org/abs/2303.12041v2 2025-04-17T14:01:53Z 2023-03-21T17:27:50Z

We develop the connection between the preprojective $K$-theoretic Hall algebra of a quiver $Q$ and the quantum loop group associated to $Q$ via stable envelopes of Nakajima quiver varieties.

Andrei Neguţ http://arxiv.org/abs/2405.05856v3 2025-04-17T13:19:31Z 2024-05-09T15:44:15Z

To a simple polarized hyperplane arrangement (not necessarily cyclic) $\mathbb{V}$, one can associate a stopped Liouville manifold (equivalently, a Liouville sector) $\left(M(\mathbb{V}),\xi\right)$, where $M(\mathbb{V})$ is the complement of finitely many hyperplanes in $\mathbb{C}^d$, obtained as the complexifications of the real hyperplanes in $\mathbb{V}$. The Liouville structure on $M(\mathbb{V})$ comes from a very affine embedding, and the stop $\xi$ is determined by the polarization. In this article, we study the symplectic topology of $\left(M(\mathbb{V}),\xi\right)$. In particular, we prove that their partially wrapped Fukaya categories are generated by Lagrangian submanifolds associated to the bounded and feasible chambers of $\mathbb{V}$. A computation of the Fukaya $A_\infty$-algebra of these Lagrangians then enables us to identity these wrapped Fukaya categories with the $\mathbb{G}_m^d$-equivariant hypertoric convolution algebras $\widetilde{B}(\mathbb{V})$ associated to $\mathbb{V}$. This confirms a conjecture of Lauda-Licata-Manion (arXiv:2009.03981) and provides evidence for the general conjecture of Lekili-Segal (arXiv:2304.10969) on the equivariant Fukaya categories of symplectic manifolds with Hamiltonian torus actions.

Sukjoo Lee Yin Li Si-Yang Liu Cheuk Yu Mak v3: Accepted version. Extended introductions and expositions, several typos fixed. 65 pages http://arxiv.org/abs/2504.12798v1 2025-04-17T09:59:46Z 2025-04-17T09:59:46Z

We prove a conjecture of Gorsky, Hogancamp, Mellit, and Nakagane in the Weyl group case. Namely, we show that the left and right adjoints of the parabolic induction functor between the associated Hecke categories of Soergel bimodules differ by the relative full twist.

Quoc P. Ho Penghui Li http://arxiv.org/abs/2503.04950v2 2025-04-17T02:58:12Z 2025-03-06T20:27:36Z

We study representation stability in the sense of Church, Ellenberg, and Farb \cite{FI-module} through the lens of symmetric function theory and the different symmetric function bases. We show that a sequence, $(F_n)_n$, where $F_n$ is a homogeneous symmetric function of degree $n$, has stabilizing Schur coefficients if and only if it has stabilizing monomial coefficients. More generally, we develop a framework for checking when stabilizing coefficients transfer from one symmetric function basis to another. We also see how one may compute representation stable ranges from the monomial expansions of the $F_n$.\parspace As applications, we reprove and refine the representation stability of diagonal coinvariant algebras, $DR_n$. We also observe new representation stability phenomena of the Garsia-Haiman modules. This establishes certain stability properties of the modified Macdonald polynomials, $\tilde{H}_{\mu[n]}[X;q,t]$, and the modified $q,t$-Kostka numbers, $\tilde{K}_{\mu[n],\nu[n]}(q,t)$. In an upcoming addition to the paper, these methods will be be applied to \textit{any} sequence $\tilde{H}_{\mu^{(n)}}[X;q,t]$ with $|\mu^{(n)}|=n$ and $\mu^{(n)}\subseteq \mu^{(n+1)}$.

Nikita Borisov 28 pages, 6 figures http://arxiv.org/abs/2504.11639v2 2025-04-17T02:08:15Z 2025-04-15T22:02:44Z

Given a field $K$ and an ample (not necessarily Hausdorff) groupoid $G$, we define the concept of a line bundle over $G$ inspired by the well known concept from the theory of C*-algebras. If $E$ is such a line bundle, we construct the associated twisted Steinberg algebra in terms of sections of $E$, which turns out to extend the original construction introduced independently by Steinberg in 2010, and by Clark, Farthing, Sims and Tomforde in a 2014 paper (originally announced in 2011). We also generalize (strictly, in the non-Hausdorff case) the 2023 construction of (cocycle) twisted Steinberg algebras of Armstrong, Clark, Courtney, Lin, Mccormick and Ramagge. We then extend Steinberg's theory of induction of modules, not only to the twisted case, but to the much more general case of regular inclusions of algebras. Our main result shows that, under appropriate conditions, every irreducible module is induced by an irreducible module over a certain abstractly defined isotropy algebra.

M. Dokuchaev R. Exel H. Pinedo This replacement corrects a misleading information in the last sentence of the abstract