https://arxiv.org/api/Coc7Sl5YrrqTmSf89e+SsGB72b0 2026-07-23T05:09:04Z 30429 165 15 http://arxiv.org/abs/2607.06927v1 2026-07-08T02:41:47Z

The paper aims to provide a categorification of the Brenti--Welker identity involving Eulerian numbers in (Adv. Appl. Math. 42 (2009): 545--556) by lifting it from an enumerative equality to an isomorphism of symmetric group representations. To do so, we study the decomposition of the tensor product of $(\mathbb{C}^r)^{\otimes n}$ and modules affording Foulkes characters as modules of the symmetric group. The main ingredient of the proof is a combinatorial identity which may be of independent interest.

2026-07-08T02:41:47Z 13 pages Advances in Applied Mathematics 176 (2026), 103048 Deke Zhao Zhankui Xiao 10.1016/j.aam.2026.103048 http://arxiv.org/abs/2607.06926v1 2026-07-08T02:39:48Z

We consider the recently constructed Segal--Sugawara vectors for the orthosymplectic Lie superalgebras. We calculate their images with respect to the Harish-Chandra homomorphism and extend this calculation to the associated Sugawara operators and Casimir elements. We also produce higher Gaudin Hamiltonians and elements of the quantum shift-of-argument subalgebras in the orthosymplectic enveloping algebra. In the Appendix, we review analogous results for the general linear Lie superalgebras.

2026-07-08T02:39:48Z 50 pages Alexander Molev Madeline Nurcombe Eric Ragoucy http://arxiv.org/abs/2607.06899v1 2026-07-08T01:52:14Z

Let $G$ be a locally compact group and let $\widetilde{G}$ be a central extension that splits over a maximal compact subgroup $K$ of $G$. We derive an explicit cocycle that lifts the natural action of $G$ on the homogeneous space $G/K$ to an action of $\widetilde{G}$. As an application, for a non-Archimedean local field $F$, we construct a connected locally finite tree on which the metaplectic covers of $\operatorname{GL}_2(F)$ act by automorphisms, providing a geometric analog of the Bruhat--Tits tree of $\operatorname{GL}_2(F)$. Furthermore, under suitable transitivity assumptions, we prove that $(\widetilde{G},\widetilde{K})$ is a Gelfand pair. Finally, we describe the associated parabolic and contraction subgroups with respect to $\widetilde{G}$ from the perspective of the geometry of the constructed tree.

2026-07-08T01:52:14Z 15 pages Corina Ciobotaru Peter Vang Uttenthal http://arxiv.org/abs/2607.06749v1 2026-07-07T19:31:08Z

We lift a product rule in the Cartan subalgebra of quantum $\mathfrak{sl}_2$ to a filtration of the plethystic representation $Δ^{(n,m)}\mathrm{Sym}^d E$ of the affine group scheme of the algebraic group $\mathrm{SL}_2$, where $E$ is the natural representation and $Δ^{(n,m)}$ the Weyl functor. This is a significant step towards a categorification of quantum $\mathfrak{sl}_2$. Our filtration is an addition to a growing family of field-independent isomorphisms of $\mathrm{SL}_2$ representations that include Hermite reciprocity and the Wronskian isomorphism. It is the first such field-independent result requiring multiple filtration layers. It is proved by combinatorial techniques using the authors' symmetric functions model for Weyl modules.

2026-07-07T19:31:08Z 23 pages, comments welcome Álvaro Gutiérrez Álvaro L. Martínez Michał Szwej Mark Wildon http://arxiv.org/abs/2607.06710v1 2026-07-07T18:25:15Z

We give a new proof of the celebrated theorem of Knutson and Tao that the spectra of triples $A, B, A+B$ of Hermitian matrices exactly correspond to positions of boundary rays of honeycombs. Most importantly, our proof gives new insights into why honeycombs are related to Hermitian matrices in the first place. Our proof is axiomatic: We distill four essential properties shared by honeycombs and spectra of Hermitian triples, and show that any two objects sharing these four properties must be equivalent. In this way, we argue that honeycombs are `model organisms' for Hermitian triples: they are families of objects satisfying the same defining properties, but in more obvious ways.

2026-07-07T18:25:15Z 26 pages, 11 figures, comments welcome! Ankur Moitra Alexander Postnikov Dora Woodruff http://arxiv.org/abs/2607.06543v1 2026-07-07T17:50:37Z

In this paper, we introduce various types of inner products and norms on the bicomplex number system $\mathbb{C}_2$, the bicomplex vector space ${\mathbb{C}_2}^{n}$, the space of bicomplex matrices ${C_2}^{m \times n}$, and the space of bicomplex polynomials $\mathbb{C}_2[ξ]_n$. We investigate the relationships among these inner products and norms, and establish several results. Furthermore, we prove that $\mathbb{C}_2$ and ${\mathbb{C}_2}^{n}$ are Banach algebras and Hilbert spaces. These results provide a unified framework for the study of inner product structures and normed linear spaces over bicomplex numbers and their associated spaces.

2026-07-07T17:50:37Z Prabhat Kumar Fahed Zulfeqarr Amit Ujlayan Anjali Anjali Akhil Prakash http://arxiv.org/abs/2607.06512v1 2026-07-07T17:16:41Z

In this paper, we prove that both the seminilpotent and the fully nilpotent CoHAs of $\mathbf{A}^2$ are commutative. This is a surprising result in strong contrast with the CoHA of $\mathbf{A}^2$ without nilpotency conditions, previously studied by Davison, which is related to the Lie algebra $W_{1+\infty}$ of differential operators on $\mathbf{C}^*$. The latter is highly noncommutative. Our proof combines two constraints on the Lie bracket on the affinized BPS Lie algebra: it is filtered with respect to the perverse filtration and it is graded with respect to the cohomological degree. In the case of the Jordan quiver and nilpotent CoHAs, these constraints force the Lie bracket to vanish. We also describe the equivariant nilpotent CoHAs in the presence of the action of a one-dimensional torus rescaling the first coordinate of $\mathbf{A}^2$ with weight $1$ and the second with weight $-1$. In this case, one obtains enveloping algebras of Rees Lie algebras associated with the nilpotent and the seminilpotent filtrations on the Lie algebra $W_{1+\infty}^+$, reminiscent of the description of the equivariant non-nilpotent CoHA given by Davison.

2026-07-07T17:16:41Z 20 pages Lucien Hennecart http://arxiv.org/abs/2512.06588v2 2026-07-07T17:06:30Z

We define the notion of a non-abelian Jacobi sum $\mathcal{J}^{\mathrm{dbl}}\left(π, χ\right)$ attached to an irreducible representation $π$ of a general linear group or a classical group over a finite field and a character $χ$ of the multiplicative group of the finite field or its quadratic extension. These sums emerge in the study of the doubling method of Piatetski-Shapiro--Rallis and Lapid--Rallis. For general linear groups, we express these non-abelian Jacobi sums in terms of Kondo's non-abelian Gauss sums. For classical groups and for characters that are not conjugate-dual, we give an explicit formula for these non-abelian Jacobi sums in terms of Gauss sums attached to the Deligne--Lusztig data of the representation, and we prove that these Jacobi sums are constant on geometric Lusztig series. Our results rely on a multiplicativity result of non-abelian Jacobi sums obtained by Girsch--Zelingher.

2025-12-06T22:54:21Z 44 pages. Comments are welcome! Calvin Yost-Wolff Elad Zelingher http://arxiv.org/abs/2507.06394v2 2026-07-07T17:01:37Z

In a previous work with Carmon, we defined Bessel--Speh functions. These are matrix coefficients of irreducible Speh representations of $\mathrm{GL}_{kc}(\mathbb{F})$, where $\mathbb{F}$ is a finite field. They arise from $(k,c)$ models, which are models that generalize the Whittaker model to Speh representations attached to irreducible generic representations. These constructions are finite field analogs of objects arising naturally in the generalized doubling method over $p$-adic fields, a recently active area of the Langlands program. In this article we study special values of Bessel--Speh functions which were used in our previous work with Carmon to define Ginzburg--Kaplan gamma factors. Our main result computes the special values of interest explicitly in terms of new arithmetic objects we introduce, called exotic matrix Kloosterman sums, which generalize both Katz's exotic Kloosterman sums and twisted matrix Kloosterman sums. We then show that exotic matrix Kloosterman sums can be expressed as products of modified Hall--Littlewood polynomials evaluated at roots of the characteristic polynomial of the Frobenius acting on Katz's exotic Kloosterman sheaf. As an application of our results, we establish new identities for Bessel functions of irreducible generic representations.

2025-07-08T21:02:09Z 53 pages. Comments are welcome! A significant portion of this work appeared originally in arXiv:2406.14262. This version contains all changes that were made for submission in JLMS Elad Zelingher 10.1112/jlms.70619 http://arxiv.org/abs/2512.24343v2 2026-07-07T16:52:54Z

The charge functions for n-dimensional partitions are known for n=2,3,4 in the literature. In a recent work, we gave the expression for arbitrary odd dimension; here we further conjecture a formula for all even-dimensional cases. This conjecture is proved rigorously for 6D, and numerically verified for 8D.

2025-12-30T16:53:48Z 10 pages, 3 figures; v2: major revisions Hao Feng Tian-Shun Chen Kilar Zhang http://arxiv.org/abs/2607.06490v1 2026-07-07T16:50:59Z

It is known since the seminal work of Guillemin and Sternberg that Lie subalgebras of finite codimension can be realized as subalgebras of formal vector fields over formal power series. In this note, we characterize the Lie subalgebras which admit a convergent realization in the sense of locally analytic vector fields. We give generalizations of these properties for the problem of output realization. We give reformulations and applications of these algebraic results in the context of control theory. In particular, we recover and clarify previous results on the realization of Chen-Fliess series for control-affine systems, the equivalence of control systems, the existence of embedded or canonical systems.

2026-07-07T16:50:59Z Karine Beauchard Jérémy Le Borgne Frédéric Marbach http://arxiv.org/abs/2607.06487v1 2026-07-07T16:47:25Z

We show that the quantum Frobenius morphism and its splitting are not fully compatible with the canonical basis for any finite-dimensional simple Lie algebra if the rank is sufficiently large. The incompatibility occurs at same place where Leclerc found his imaginary vectors, and where there are monomials in the tight monomial cone which do not belong to the canonical basis.

2026-07-07T16:47:25Z Felix Röhrich http://arxiv.org/abs/2606.16361v2 2026-07-07T16:40:25Z

Hernandez and Leclerc introduced the notion of monoidal categorification of cluster algebras. We define similarly the notion of monoidal categorifications of generalized cluster algebras: an abelian monoidal category $\mathcal M$ is said to be a monoidal categorification of a generalized cluster algebra $\mathcal A$ if the Grothendieck ring of $\mathcal M$ is isomorphic to the upper generalized cluster algebra $\mathcal A^{\mathrm{up}}$, and if cluster monomials (resp. cluster variables) of $\mathcal A$ correspond to classes of real simple (resp. real prime simple) objects of $\mathcal M$. Let $\varepsilon$ be a root of unity such that $\varepsilon^{2\ell}=1$ for some $\ell\in\mathbb{Z}_{\geq 2}$. Denote by $\mathcal{C}_{\varepsilon}$ the category of finite-dimensional modules of the restricted quantum loop algebra $U_\varepsilon^{\res}(L\mathfrak{sl}_k)$ at root $\varepsilon$ of unity, and let $\mathcal{C}_{\varepsilon, ξ}$ be a full subcategory of $\mathcal{C}_{\varepsilon}$ determined by a bipartition $ξ: I \to \{0,1\}$ of the Dynkin diagram. For $k=3$, Gleitz conjectured that the Grothendieck ring of $\mathcal C_{\varepsilon,ξ}$ is isomorphic to a generalized cluster algebra of rank $2\ell-2$, and that generalized cluster monomials correspond to classes of simple modules. This conjecture is a special case of a more general conjecture of Fraser. In this paper, we prove the first part of Gleitz's conjecture. More precisely, for $k=3$ and arbitrary $\ell\ge2$, we prove that the Grothendieck ring of $\mathcal C_{\varepsilon,ξ}$ is isomorphic to a generalized cluster algebra of rank $2\ell-2$. We also classify the real Kirillov--Reshetikhin modules of $U^{\mathrm{res}}_\varepsilon(L\mathfrak{sl}_3)$ and obtain mutation sequences for the real Kirillov--Reshetikhin modules from the initial seed of the generalized cluster algebra.

2026-06-15T07:56:39Z 29 pages Xiao-Juan An Jian-Rong Li Yan-Feng Luo http://arxiv.org/abs/2509.16626v2 2026-07-07T11:59:48Z

We investigate invertible projective representations and their 2-categorical analogues using the language of TQFTs with defects. The main result is a freeness property for invertible projective representatios. While trivial in the 1-categorical setting, this result becomes interesting for 2-representations: as an application, only relying only on invertibility of Clifford algebras and Fock bimodules in the Morita 2-category of super vector spaces we recover Ludewig--Roos' result that the Clifford/Fock construction is a projective 2-representation of the category of Lagrangian correspondences.

2025-09-20T11:05:15Z 31 pages. A critical inaccuracy in the proof of Theorem 4.32 from v1 has been fixed. We thank Matthias Ludewig for having pointed our attention to this inaccuracy Domenico Fiorenza Chetan Vuppulury http://arxiv.org/abs/2607.06164v1 2026-07-07T11:39:30Z

We show that the Brauer group of any resolution of singularities of the moduli space of semistable quiver representations is trivial. We do this by extending the quiver-curve dictionary, translating a proof of the analogous result by Biswas-Hogadi-Holla for moduli of vector bundles on a curve to the setting of moduli of quiver representations, giving an algebro-geometric proof. This gives a new proof of this triviality, first proved by Le Bruyn-Schofield, building on algebraic (resp. cohomological) vanishing results due to Saltman (resp. Colliot-Thélène-Sansuc). Reversing the logic, our approach gives a new algebro-geometric proof of these vanishing results.

2026-07-07T11:39:30Z 15 pages, all comments welcome Pieter Belmans Gianni Petrella Sebastián Torres