https://arxiv.org/api/53bPZjahLLtJWpBrBpwoDHGdhiI 2026-07-23T11:43:46Z 30429 285 15 http://arxiv.org/abs/2302.04226v3 2026-06-27T15:48:04Z

We introduce shifted analogues of key polynomials related to symplectic and orthogonal orbit closures in the complete flag variety. Our definitions are given by applying isobaric divided difference operators to the analogues of Schubert polynomials for orbit closures that correspond to dominant involutions. We show that our shifted key polynomials are linear combinations of key polynomials with nonnegative integer coefficients. We also prove that they are partial versions of the classical Schur $P$- and $Q$-polynomials. Finally, we examine $K$-theoretic generalizations of these functions, which give shifted forms of Lascoux polynomials. In the symplectic case, these generalizations are partial versions of the $GP$-polynomials introduced by Ikeda and Naruse. Besides developing basic properties, we identify a number of conjectures and open problems.

2023-02-08T17:55:08Z 47 pages; v3 minor updates; v4: minor corrections and added exposition, final version Ann. Comb. (2026) Eric Marberg Travis Scrimshaw 10.1007/s00026-026-00831-z http://arxiv.org/abs/2606.28945v1 2026-06-27T14:35:08Z

We solve large-$N$ Yang--Mills theory on $\mathbb{Z}^d$, for every $d\geq2$, at strong coupling, for structure group $\mathrm{U}(N)$ and for the heat-kernel action. More precisely, we prove that normalized Wilson loop expectations have infinite-volume large-$N$ limits, factorize at leading order, and admit an all-order $1/N$-expansion with exponentially local coefficients, whose leading order characterizes the master field. We also prove an area-law upper bound for the heat-kernel master field, with a stronger coefficientwise version. The proof is based on a rooted heat-kernel master loop equation. Unlike the Wilson-action equation or the two-dimensional Makeenko--Migdal equation, this equation does not close on Wilson loop observables alone; it closes on an extended space of loop observables coupled to compactly supported plaquette decorations. We prove a strong-coupling, order-truncated rooted trajectory expansion and then identify its leading term with the master field. The main inputs are the universal finite-$N$ duality formulas developed in the companion paper \cite{Lem26a} and large-$N$ heat-kernel estimates from \cite{LemMai25,LM2}.

2026-06-27T14:35:08Z 64 pages, 9 figures Thibaut Lemoine http://arxiv.org/abs/2606.28878v1 2026-06-27T11:44:57Z

In this paper, we prove a Dolbeault geometric Langlands equivalence for $\GL_r$ and for the Langlands dual pair $\SL_r/\PGL_r$ over an open locus of the Hitchin base which strictly contains the elliptic locus. This open locus contains the points corresponding to spectral curves with at worst type $A$ singularities, without any restriction on the number of irreducible components. The Dolbeault geometric Langlands equivalence considered here is the one formulated in our previous work with Tudor Pădurariu, which links categorical Donaldson--Thomas theory with the geometric Langlands correspondence. It relates coherent sheaves on moduli stacks of semistable Higgs bundles to the limit category associated with the full moduli stack of Higgs bundles. The use of limit categories is essential beyond the elliptic locus, where the full Higgs moduli stack is no longer quasi-compact and contains infinitely many Harder--Narasimhan strata. The key step is to prove the Whittaker normalization conjecture over the locus of spectral curves with type $A$ singularities, following and extending the strategy developed in the author's proof of the $\GL_2$ case over the reduced spectral curve locus. As a consequence, we also obtain the Dolbeault geometric Langlands conjecture for $\SL_2/\PGL_2$ over the reduced spectral curve locus.

2026-06-27T11:44:57Z 87 pages Yukinobu Toda http://arxiv.org/abs/2411.09188v3 2026-06-27T10:55:14Z

This paper continues the work of \cite{fang2023lusztigsheavesintegrablehighest} and \cite{fang2023lusztigsheavestensorproducts}. For a symmetrizable generalized Cartan matrix $C$ and the corresponding quantum group $\mathbf{U}$, we consider an associated quiver $Q$ equipped with an admissible automorphism $a$. We construct a category $\widetilde{\mathcal{Q}/\mathcal{N}}$ obtained from localizations of Lusztig sheaves for the corresponding framed and $2$-framed quivers with automorphism. The Grothendieck groups of these categories realize the integrable highest weight module $L(λ)$ and the tensor product $L(λ_1)\otimes L(λ_2)$ of integrable highest weight $\mathbf{U}$-modules. After quotienting by traceless objects, Lusztig sheaves yield the signed canonical bases of $L(λ)$ and $L(λ_1)\otimes L(λ_2)$. As applications, we recover symmetrizable crystal structures on Nakajima quiver varieties, Nakajima tensor product varieties, and Lusztig nilpotent varieties of preprojective algebras.

2024-11-14T05:01:10Z In this version, we include a new section that provides a geometric realization of the tensor product of integrable highest weight modules Yixin Lan Yumeng Wu Jie Xiao http://arxiv.org/abs/2412.04995v3 2026-06-27T06:45:33Z

The persistence barcode, which can be obtained from the interval decomposition of a persistence module, plays a pivotal role in applications of persistent homology. For multi-parameter persistent homology, which lacks a complete discrete invariant, and where persistence modules are no longer always interval decomposable, many alternative invariants have been proposed. Many of these invariants are akin to persistence barcodes, in that they assign (signed) multisets of intervals. Furthermore, to any interval decomposable module, those invariants assign the multiset of intervals that correspond to its summands. Naturally, identifying the relationships among invariants of this type, or ordering them by their discriminating power, is a fundamental question. To address this, we formalize the notion of barcoding invariants and compare them by comparing their kernels, which are taken as a measure of their (in-)discriminating power. We show that any two different barcoding invariants $f$ and $g$ with the same basis are incomparable; i.e. one cannot be strictly finer than the other. Furthermore, we identify what we call a transfer isomorphism between the kernels of $f$ and $g$, implying that, given any pair of persistence modules that are not distinguishable via $f$ but are via $g$, one can generate another pair of persistence modules that are so via $f$, but not via $g$. One implication of the existence of the transfer isomorphism is that introducing a new barcoding invariant does not add any value in terms of its generic discriminating power, even if it is distinct from the existing barcoding invariants. Another implication is a novel characterization of the generalized persistence diagram without involving Möbius inversion. Along the way, we generalize several recent results on the discriminative power of invariants for poset representations within our unified framework.

2024-12-06T12:44:03Z 37 pages. Notable changes from v2: (1) No longer treats isomorphic kernels as implying equivalent discriminating power. (2) Introduces the term "transfer isomorphism" and emphasizes its role. (3) Refines the conditions of Theorem 4.3 (formerly Theorem 4.1) Emerson G. Escolar Woojin Kim http://arxiv.org/abs/2606.28096v1 2026-06-26T13:54:27Z

We study $\mathfrak{sl}(2)$-modules that are free of finite rank over $U(\mathfrak h)$, where $\mathfrak h$ is a fixed Cartan subalgebra of $\mathfrak{sl}(2)$. These modules form a natural class of non-weight modules. The coherent families obtained from this class via the weighting functor are identified. We also study a distinguished class of indecomposable $U(\mathfrak h)$-free modules defined in terms of Jordan blocks and give a recursive description of their socle filtrations. Finally, we apply the general results to exponential modules arising from the first Weyl algebra and obtain simplicity criteria for these modules.

2026-06-26T13:54:27Z 41 pages Dimitar Grantcharov Khoa Nguyen Kaiming Zhao http://arxiv.org/abs/2606.28091v1 2026-06-26T13:52:04Z

We prove the stability of the Langlands-Shahidi local $γ$-factor for the exterior cube representation of $\mathrm{GL}_6$. More precisely, if $π_1$ and $π_2$ are irreducible admissible generic representations of $\mathrm{GL}_6(F)$ with the same central character, then \[ γ(s,π_1\otimesχ,\wedge^3,ψ)= γ(s,π_2\otimesχ,\wedge^3,ψ) \] for every sufficiently ramified character $χ$ of $F^\times$, where $χ$ is regarded as a character of $\mathrm{GL}_6(F)$ through the determinant. The proof uses the realization of the exterior cube representation by the maximal parabolic subgroup of the simply connected group of type $E_6$. We give an explicit description of the relevant geometric quotient $U_M\backslash N'$, compute its invariant measure, and relate Shahidi's partial Bessel functions to partial Bessel integrals on the Levi subgroup. The desired stability then follows from an asymptotic expansion of these partial Bessel integrals and the vanishing of highly ramified Mellin transforms.

2026-06-26T13:52:04Z Taiwang Deng Dongming She http://arxiv.org/abs/2606.28085v1 2026-06-26T13:47:45Z

Let $q$ range over odd prime powers and let $G_q=\mathrm{GL}_2(\mathbb{F}_q)$. Fix a prime number $\ell$. Motivated by work of Peluse and Soundararajan on Miller's conjecture for character tables of symmetric groups, we study the proportion of entries in the character table of $G_q$ which are not divisible by $\ell$, in the sense of divisibility in the ring of algebraic integers. We prove that $N_\ell(q)=\frac{q^4}{2}+O_ε(q^{3+ε})$ for every $ε>0$, where $N_\ell(q)$ denotes the number of entries which are not divisible by $\ell$. We also show that the number of zero entries is $\frac{q^4}{2}+O_ε(q^{3+ε})$. Consequently, the proportion of all entries not divisible by $\ell$ tends to $1/2$, while the proportion of nonzero entries not divisible by $\ell$ tends to $1$. This differs significantly from the symmetric-group case, where almost every character-table entry is divisible by any fixed prime. We also prove an angular equidistribution result for the nonzero character values as $q\to\infty$. We show that the arguments become equidistributed in $[0,2π]$. This proves an analogue of Miller's question on the distribution of signs among the nonzero entries in character tables of symmetric groups.

2026-06-26T13:47:45Z Version 1: 22 pages Anwesh Ray Mishty Ray http://arxiv.org/abs/2606.26776v2 2026-06-26T10:53:20Z

Motivated by the twin homomorphism problem for Coxeter groups and the corresponding Hecke monoids, we find a large class of its solutions originating from standard homomorphisms of Artin monoids and their compositions. These homomorphisms are expected to be injective when they are optimal and injective on generators, which generalizes the homogeneous homomorphisms and the famous Tits conjecture settled by Crisp and Paris. We classify disjoint standard homomorphisms and conjecture the complete classification when the domain is of rank two.

2026-06-25T09:06:18Z AmsLaTeX+amsrefs, 79 pages; some misprints corrected. Parts of this paper appeared previously in the preprint arXiv:2405.18821. The current paper has been substantially reorganized and includes new approaches Arkady Berenstein Jacob Greenstein Jian-Rong Li http://arxiv.org/abs/2606.27901v1 2026-06-26T09:52:49Z

We identify the zonal and character spherical functions for quantum symmetric pairs with the symmetric Koornwinder--Macdonald polynomials. To this end, the methods of Letzter's 2004 paper are translated to modern conventions and right coideal subalgebras, and extended to non-standard cases and cases with non-reduced restricted root systems. For the last elusive Satake type, FII, a conjecture is provided.

2026-06-26T09:52:49Z Philip Schlösser http://arxiv.org/abs/2411.18427v4 2026-06-26T09:37:07Z

We deal with the category of finitely generated modules over an artin algebra $A$. Recall that an object in an abelian category is said to be a brick provided its endomorphism ring is a division ring. Simple modules are, of course, bricks, but in case $A$ is connected and not local, there do exist bricks which are not simple. The aim of this survey is to focus the attention to filtrations of modules where all factors are bricks, with bricks being ordered in some definite way. In general, a module category will have many oriented cycles. Recently, Demonet has proposed to look at so-called brick chains in order to deal with a very interesting directedness feature of a module category. These are the orderings of bricks which we will use. This is a survey which relies on recent investigations by a quite large group of mathematicians. We have singled out some important observations and have reordered them in order to obtain a completely self-contained (and elementary) treatment of the relevance of bricks in a module category. (Most of the papers we rely on are devoted to what is called $τ$-tilting theory, but for the results we are interested in, there is no need to deal with $τ$-tilting, or even with the Auslander-Reiten translation $τ$).

2024-11-27T15:09:51Z Assertion 6.1 has been corrected. There are several minor improvements. A (new) example of an algebra with infinite brick chain complexity will be contained in a separate note Claus Michael Ringel http://arxiv.org/abs/2606.27879v1 2026-06-26T09:21:35Z

We consider the category of finitely generated modules over an artin algebra $A$. It is known that any module $M$ has a brick chain filtration. We say that M has brick chain complexity at most $t$ provided $M$ has a brick chain filtration of length at most $t$. The brick chain complexity of A is by definition the supremum of the brick chain complexity of the indecomposable $A$-modules. The aim of this note is to calculate the brick chain complexity for some algebras. We will exhibit algebras with arbitrarily large brick chain complexity.

2026-06-26T09:21:35Z 9 pages Claus Michael Ringel http://arxiv.org/abs/2511.08779v2 2026-06-26T08:01:56Z

We prove that level one cyclotomic KLR algebras in type $\mathtt{C}_\infty$ are graded Morita equivalent to level two cyclotomic KLR algebras in type $\mathtt{A}_\infty$. We hence deduce the graded decomposition numbers and full submodule structures of all level one cyclotomic KLR algebras in type $\mathtt{C}_\infty$.

2025-11-11T21:02:56Z 18 pages. v2 has several improvements after comments from a referee Chris Bowman Robert Muth Liron Speyer Louise Sutton http://arxiv.org/abs/2407.10119v3 2026-06-26T07:40:55Z

Using the affine web category introduced in a prequel as a building block, we formulate a diagrammatic $\Bbbk$-linear monoidal category, the affine Schur category, for any commutative ring $\Bbbk$. We then formulate diagrammatic categories, the cyclotomic Schur categories, with arbitrary parameters at positive integral levels. Integral bases consisting of elementary diagrams are obtained for affine and cyclotomic Schur categories. A second diagrammatic basis, called a double SST basis, for any such cyclotomic Schur category is also established, leading to a conjectural higher level RSK correspondence. We show that the endomorphism algebras with the double SST bases are isomorphic to degenerate cyclotomic Schur algebras with their cellular bases, providing a first diagrammatic presentation of the latter. The presentations for the affine and cyclotomic Schur categories are much simplified when $\Bbbk$ is a field of characteristic zero.

2024-07-14T08:39:41Z v3:minor corrections, final published version, to appear in Transformation Groups Linliang Song Weiqiang Wang http://arxiv.org/abs/2606.27749v1 2026-06-26T06:09:19Z

For level one spherical automorphic forms on the upper half-plane, we prove directly that every automorphic form is a sum of a cusp form and a linear combination of Laurent coefficients of the standard Eisenstein series. This is the simplest instance of Franke's general theorem, which asserts that automorphic forms on a reductive group are spanned by Laurent coefficients of Eisenstein series induced from cuspidal automorphic forms on Levi subgroups. Unlike Franke's general argument, ours does not invoke Langlands' construction of the discrete automorphic spectrum from cuspidal Eisenstein series. It rests instead on basic analytic properties of automorphic forms and Green's identity.

2026-06-26T06:09:19Z 11 pages. Comments are welcome Devadatta G. Hegde