https://arxiv.org/api/OdzXa/ZFtmtGsYOpeGLu1TdKGLk 2026-09-12T19:58:16Z 30857 15 15 http://arxiv.org/abs/2608.29757v2 2026-09-10T04:33:22Z

We study the Schur-positive cone in $\Rspace_{n,\mathbb R}\coloneqq \operatorname{span}_{\mathbb R}\{p_d^{n/d}:d\mid n\}$ through its basis $Q_{n,d}\coloneqq\ell_{n/d}^{(1)}[p_d]$, where $\ell_m^{(1)}$ is the Frobenius characteristic of the representation induced to $S_m$ from a faithful linear character of the subgroup generated by an $m$-cycle; brackets denote plethysm. A Boolean $Q$-sum is a sum of distinct elements of this basis. We give a unified proof of four conjectures of Sundaram on Schur positivity by classifying all Schur-positive Boolean $Q$-sums; the case of sums over divisors up to a prescribed bound recovers Hou's theorem. Specifically, for a nonempty set $J$ of divisors of $n$, the sum $\sum_{d\in J}Q_{n,d}$ is Schur-positive exactly when $1\in J$ and, for even $n$, $n\in J$ implies $n/2\in J$. The same character estimates prove the Ramanujan-square conjecture of Shareshian and Sundaram: the function $\sum_{d\mid n}c_d(n/d)^2p_d^{n/d}$, where $c_d(r)$ is the Ramanujan sum, has a positive coefficient of $s_λ$ for every $n\ge1$ and $λ\vdash n$, except when $n\equiv2\pmod4$ and $λ=(1^n)$, in which case the coefficient is zero. We prove that an element of this space has integral Schur coefficients if and only if its $Q$-coordinates are integral. The Boolean classification also determines the convex hull of the Schur-positive Boolean points with $Q_{n,1}$-coordinate $1$. We compute its Ehrhart polynomial and volume, prove its integer decomposition property, and determine the Hilbert basis of its cone. For $n\ge18$, we prove that setting the coefficient of $s_{(n)}$ or $s_{(1^n)}$ equal to $0$ or $1$ defines a facet of the section of the Schur-positive cone with $Q_{n,1}$-coordinate $1$. The positivity results and coordinate formulas also yield inequalities for major-index residue multiplicities.

2026-08-30T12:41:14Z 55 pages. Substantially revised and expanded; title changed from "Divisor lattices and Schur positivity in cyclic induction". The Schur-positivity classification is extended to arbitrary Boolean Q-sums. New results include a proof of Shareshian and Sundaram's Ramanujan-square conjecture, the integral character lattice, and polyhedral properties of the Schur cone Young-Tak Oh http://arxiv.org/abs/2609.11045v1 2026-09-10T03:47:28Z

Let $F$ be a nonarchimedean local field of characteristic zero and let $n\geq2$. For $r=n,n+1$, let $Π_r$ be an irreducible tempered representation of ${\rm GL}_r(F)$ of conductor one and with trivial central character. We evaluate the Rankin--Selberg integral of opposite newforms in $Π_{n+1}\times Π_n$ explicitly and show that its central value is nonzero. As an application, this implies a case of Disegni--Zhang's conjecture on the nonvanishing of local relative characters.

2026-09-10T03:47:28Z 10 pages, comments welcome! Dongwen Liu Lei Zhang http://arxiv.org/abs/2609.10968v1 2026-09-10T01:41:59Z

In this paper, we develop a general theory of quasi-Whittaker supermodules over Lie superalgebras induced from an arbitrary ideal. We determine the quasi-Whittaker vectors in universal supermodules, establish an irreducibility criterion, and classify several families of irreducible supermodules. The odd part produces a new irreducibility phenomenon absent from the Lie algebra setting. As applications, we determine all irreducible quasi-Whittaker supermodules over the $N=1$ super Schrödinger algebra and the $N=1$ $\frac{3}{2}$-conformal Galilei superalgebra, and over the complete spectrum-generating superalgebra in a special case.

2026-09-10T01:41:59Z Wenting Gao Baiying He Shiyuan Liu Jialin Xu http://arxiv.org/abs/2609.10941v1 2026-09-10T01:02:24Z

In this paper, we study the extensions of KLRW algebras to tensor products of Verma module representations of $\mathfrak{sl}_2$. Our motivation is to construct a theory of Khovanov homology for knot complements in $S^3$ (and which also categorifies the Gukov-Manolescu two-variable series for knot complements), which will be done in the second part of this work. We construct the categorification of R-matrices for Verma modules as functors given by derived tensor products with diagrammatic bimodules and explicitly compute their projective resolutions. We also prove these braiding functors induce an action of the braid group on the relevant categories. Then, we describe how to incorporate strands in finite-dimensional representations of $\mathfrak{sl}_2$, thereby establishing functors that serve as the Khovanov homology on a braid complement. In the case of the unknot, this gives knot homologies in $S^1\times D^2$, which we compare to Annular Khovanov Homology through several examples and show they are very closely related, conjecturing they are of the same dimension. We conclude with a proposal for the categorification of the cups and caps of Verma module colored strands, which we build upon in the next paper.

2026-09-10T01:02:24Z Pedro Guicardi http://arxiv.org/abs/2609.10911v1 2026-09-09T23:42:29Z

For a partition $λ$, let $G_λ^{(β)}$ be the stable $β$-Grothendieck polynomial attached to $λ$. Each homogeneous component of the $β= 1$ specialization $G_λ^{(1)}$ is Schur-positive and hence positive in the fundamental basis of quasisymmetric functions. For $m\ge|λ|$, let $G_{λ,m}^{(1)}$ be the homogeneous degree $m$ component of $G_λ^{(1)}$. In this paper, we first give a direct proof of an expansion of $G_{λ,m}^{(1)}$ in the fundamental basis in terms of standard set-valued tableaux. We then use these tableaux as a basis to define a module of the $0$-Hecke algebra and show that the quasisymmetric characteristic of the resulting module is $G_{λ,m}^{(1)}$. We further show that this module decomposes as a direct sum of weak Bruhat interval modules.

2026-09-09T23:42:29Z 27 pages Young-Hun Kim http://arxiv.org/abs/2609.10869v1 2026-09-09T22:10:40Z

Let $\mathfrak L$ be a Frobenius maximal parabolic subalgebra of $\mathfrak{sl}_n$. For any $F\in\mathfrak L^*$ for which the Kirillov form $B_F(x,y)=F([x,y])$ is non-degenerate, let $\widehat F$ denote the associated principal element. We prove that the multiplicities of the eigenvalues of $\operatorname{ad}_{\widehat F}$ on $\mathfrak L$ form a unimodal sequence symmetric about $\frac12$. We also prove that the multiplicities of the eigenvalues of $\operatorname{ad}_{\widehat F}$ on $\mathfrak{gl}_n$ form a unimodal sequence symmetric about $0$. The proof relates the ranked meander associated to $\mathfrak L$ to the order ideals of a related fence poset through Panyushev reduction. The known unimodality of the rank polynomial of the fence poset implies that of the meander, which in turn determines a good grading of $\mathfrak{gl}_n$ in the sense of Elashvili and Kac. We prove that this grading coincides with that induced by the principal element and that the pyramid associated to this grading may be filled in such a way that its good element $e$ lies in $\mathfrak L$. The two unimodality results then follow from the injectivity properties of $\operatorname{ad}_e$ coming from the good grading and the duality induced by the bilinear form $B_F$.

2026-09-09T22:10:40Z Anthony Giaquinto John Irving Aaron Lauve Mitja Mastnak http://arxiv.org/abs/2606.15981v2 2026-09-09T22:04:10Z

Given a resolution $\widetilde{\mathrm{Gr}}^{\underlineλ} \rightarrow \overline{\mathrm{Gr}}^λ$ of an affine Schubert variety for $GL_n$, we define its noncommutative version -- a sheaf of algebras on $\overline{\mathrm{Gr}}^λ$, derived equivalent to $\widetilde{\mathrm{Gr}}^{\underlineλ}$ as well as its Steinberg versions in both zero and positive characteristics. This, in particular, allows us to define the perversely-exotic t-structure on the derived category of equivariant coherent sheaves on $\widetilde{\mathrm{Gr}}^{\underlineλ}$, analogously to Bezrukavnikov--Mirković in the case of Springer resolution. We study the basis of classes of irreducible objects in the equivariant K-theory, and explicitly identify it with the (parabolic) Kazhdan--Lusztig canonical basis in a certain cell quotient. This allows us to relate it to the canonical basis for the quantum affine group. In the course of the proof, we establish some properties of coherent-constructible equivalences.

2026-06-14T19:07:30Z 47 pages. Version 2: Section 4.7 corrected and extended Ilya Dumanski Vasily Krylov http://arxiv.org/abs/2605.12880v4 2026-09-09T20:52:39Z

Ribbon decomposition matrices give determinantal formulas for skew Schur functions that include as special cases the classical Jacobi-Trudi, Giambelli, and Lascoux-Pragacz formulas. We prove that certain elements of Lusztig's dual canonical basis, called Temperley-Lieb immanants, are Schur-positive when evaluated on ribbon decomposition matrices. We conjecture that this positivity holds for all elements of the dual canonical basis. This is known in the special case of Jacobi-Trudi matrices by a result of Haiman.

2026-05-13T01:51:55Z Fix citations and acknowledgement Son Nguyen Pavlo Pylyavskyy http://arxiv.org/abs/2603.19391v3 2026-09-09T20:07:08Z

We give an account of mutation of theta functions in cluster scattering diagrams, starting with a notion of mutation that is related to, but different from, the notion of mutation defined by Gross, Hacking, Keel, and Kontsevich. This different approach to mutation leads to several applications. Three of the applications simplify the process of computing structure constants for multiplication of theta functions, and these are used in another paper on cluster scattering diagrams of affine type. Notable in these three applications is the appearance of mutation symmetries and dominance regions. The other two applications have to do with pointed reduced bases, a variation on the pointed bases of Fan Qin. We give a characterization of pointed reduced bases analogous to Qin's characterization of pointed bases. All of these applications take place in a version of Gross, Hacking, Keel, and Kontsevich's canonical algebra that can be constructed for an arbitrary exchange matrix.

2026-03-19T18:27:04Z 42 pages, 2 figures. v2: Updates to bibliography. v3: Small edits in response to comments from anonymous referees Nathan Reading Salvatore Stella http://arxiv.org/abs/2609.10701v1 2026-09-09T18:00:49Z

We study the restricted fan cut inside the dual fundamental Weyl chamber by the weights of a $27$-dimensional minuscule representation of $E_6$; the two such representations are dual and give the same arrangement. Only $11$ of the $27$ weights have kernels meeting its interior, and we prove that they determine the entire fan. It has exactly $14$ chambers and $18$ extreme rays, every chamber is a six-dimensional simplicial cone, and we determine all facets, rays, and incidence relations. The chamber count was previously obtained by Diaconescu and Entin; the simplicial structure, extreme rays, and incidence data are new. The geometry of the $27$ lines on a cubic surface then explains and organizes the resulting chamber architecture. We also enumerate all faces, compute both characteristic polynomials---the arrangement is not supersolvable---together with lattice indices and projective chamber volumes, and describe the oriented matroid. Our main result is representation-theoretic. A distinguished $14$-element visible subposet of the minuscule $\mathbf{56}$ of $E_7$, defined entirely inside $E_7$, has Hasse diagram equal to the chamber adjacency graph of the $E_6$ arrangement. Three canonical $7+7$ splittings of it, of types $A_7$, $D_7$, and $E_7$, are the visible traces of Levi-center $\mathfrak{u}(1)$-charge decompositions of the $\mathbf{56}$ and reproduce the three level-$8$ decompositions on the $E_6$ side. More strongly, the simple-root labels on its covers, transported by minimal-length coset representatives, recover chamber by chamber all six facets and, globally, the $11$ active weight hyperplanes and the boundary walls of the dual Weyl chamber. Thus the $E_7$ shadow records not merely the chamber graph but, once matched with the independent $E_6$ classification, the full local wall architecture of $I(E_6,\mathbf{27})$.

2026-09-09T18:00:49Z 118 pages, 9 sections, 4 appendices, 23 figures, 24 tables, 61 references Saber Ahmed Mboyo Esole http://arxiv.org/abs/2502.20994v3 2026-09-09T17:55:16Z

This paper is the first part of a series that intends to study resolving subcategories for gentle algebras over an algebraically closed field $\mathbb{K}$. In a general setting, we improve the precision of Takahashi's algorithm for resolving closure calculations in well-behaved abelian categories. Then, we modify the geometric model of Baur--Coelho-Simões and Opper--Plamondon--Schroll to compute such subcategories for gentle quivers that have a finite global dimension. Finally, we focus on gentle quivers $(Q,R)$ such that $Q$ is a directed tree, and we study monogeneous resolving subcategories, which are the ones generated by a single non-projective indecomposable $\mathbb{K}Q/\langle R \rangle$-module. Moreover, we prove that these subcategories are the join-irreducible elements of the poset of all resolving subcategories ordered by inclusion.

2025-02-28T12:29:23Z v2: Add Theorem 6.1 and Lemma 6.2. New abstract; v3: modifications following reviews Benjamin Dequêne Michaël Schoonheere http://arxiv.org/abs/2503.15446v3 2026-09-09T17:28:36Z

We study BPS loop operators in a 4d $\mathcal{N}=2$ $Sp(N)$ gauge theory with four hypermultiplets in the fundamental representation and one hypermultiplet in the anti-symmetric representation. The algebra of BPS loop operators in the $Ω$-background provides a deformation quantization of the Coulomb branch, which is expected to coincide with the quantized K-theoretic Coulomb branch in the mathematical literature. For the rank-one case, i.e., $Sp(1) \simeq SU(2)$, we show that the quantization of the Coulomb branch, evaluated using the supersymmetric localization formula, agrees with the polynomial representation of the spherical part of the double affine Hecke algebra (spherical DAHA) of $(C_1^{\vee}, C_1)$-type. For higher-rank cases, where $N \geq 2$, we conjecture that the quantized Coulomb branch of the 4d $\mathcal{N}=2$ $Sp(N)$ gauge theory is isomorphic to the spherical DAHA of $(C_N^{\vee}, C_N)$-type . As evidence for this conjecture, we show that the quantization of an 't Hooft loop agrees with the Koornwinder operator in the polynomial representation of the spherical DAHA.

2025-03-19T17:24:50Z 37 pages, minor revisions Yutaka Yoshida http://arxiv.org/abs/2609.10483v1 2026-09-09T17:23:55Z

We characterize the standard modules of $\GL_{2m}(\C)$ that are distinguished by $\GL_m(\HH)$. Let $δ_1,\dots, δ_{2m}$ be characters of $\mathbb{C}^\times$. Assume that $S = δ_1 \times \cdots \times δ_{2m}$ is a standard module of $\GL_{2m}(\mathbb{C})$. For each $i$, define ${δ_i^*} (z) = δ_i(\overline{z})^{-1}$ for $ z \in \mathbb{C}^\times$. In particular, we conclude that a standard module for $\GL_{2m}(\mathbb{C})$ is distinguished by $\GL_{m}(\mathbb{H})$ if and only if there exists an involution $p\in S_{2m}$ without fixed points such that $δ_{p(i)}=δ_i^*$ for every $i$. We first verify the hypotheses of the multiplicity estimate theorem of Suzuki and Tamori in \cite{ST}. The orbit calculation of Matringe, Offen, and Yang in \cite{MOYglobal} then gives the necessary condition and a dimension bound. Then local intertwining periods prove sufficiency.

2026-09-09T17:23:55Z 4 pages, no figures Alan Xuelun Hou Tudor Popescu http://arxiv.org/abs/2609.10440v1 2026-09-09T16:50:41Z

We establish local Ocneanu rigidity for separable algebra objects in Hom-finite monoidal categories C over an algebraically closed field k. A separability morphism contracts the first two Hochschild cohomology groups without requiring an abelian ambient category. Separable algebra structures and homomorphisms from separable sources have open algebraic-group orbits, and affine Bezout estimates give effective finiteness results. For Frobenius subalgebras, exchange relations replace the source and embedding data by a single self-dual idempotent. We prove that their separable inner-conjugacy classes are open in the exchange locus, yielding a bound of 2^(dim_k End_C(X)) for nonzero ambient algebras; connectedness gives the same bound on the actual number of subalgebras. As an application, we obtain an effective form of the Etingof-Walton finiteness theorem: every finite-dimensional semisimple Hopf algebra H over the complex numbers has at most 2^(dim_C H) left coideal subalgebras. In the unitary setting, we bound E-compatible intermediates of C*-algebra and von Neumann algebra inclusions up to unitary conjugacy, under finite-index and finite-center hypotheses. For irreducible subfactors, these improve the 9^[M:N] bound of Bakshi-Das-Liu-Ren to 2^[M:N].

2026-09-09T16:50:41Z 32 pages. An expanded internal version with additional explanations and string diagrams is included as supplementary material. Comments are welcome! Tinhinane Amina Azzouz Mainak Ghosh Sebastien Palcoux http://arxiv.org/abs/2609.10396v1 2026-09-09T16:16:16Z

Fix an integer $d\leq-2$. We characterize Hom-finite algebraic triangulated categories admitting a $(-d)$-simple-minded system as stable categories $\underline{\mathrm{CM}}(B)$ of proper $(-d)$-self-injective non-positive dg algebras; equivalently, each admits a $d$-stable locally finite strictly positive dg model whose cosingular dg quotient recovers the chosen enhancement. Under a $d$-Calabi--Yau hypothesis, we give a characterization theorem for acyclic negative cluster categories in terms of the finite graded extension algebra of a simple-minded system. At chain level, Hochschild and reduced cyclic localization identify right $(d+1)$-Calabi--Yau structures on the finite-dimensional part with normalized right $d$-Calabi--Yau structures on the cosingular quotient. Finally, when the Koszul dual is proper, the Brav--Dyckerhoff evaluation morphism is a quasi-isomorphism of mixed complexes, yielding left--right Calabi--Yau symmetry.

2026-09-09T16:16:16Z 29 pages, 1 figure Riku Fushimi