Searcharxiv⌕ Search

arXiv · 2610.07929

Stability of plethysm coefficients and modified polynomial induction

Abstract

The plethysm coefficient $\langle h_n[h_m], s_λ\rangle$ is the multiplicity of the Weyl module $W_λ(\mathbb{C}^N)$ in the representation $\mathrm{Sym}^n(\mathrm{Sym}^m(\mathbb{C}^N))$ of $GL_N(\mathbb{C})$. We give short proofs of two stability results: the theorem of Bowman and Paget that $\langle h_n[h_m], s_{λ[mn]} \rangle$ is constant for $m, n \geq |λ|$, and Brion's theorem that $\langle h_n[h_{m+d}],\allowbreak s_{λ+(nd)} \rangle$ stabilizes as $d \to \infty$. A key step is the stability of vector partition functions. We show that the stable value in the theorem of Bowman and Paget equals $\langle h_{\lfloor|λ|/2\rfloor}[H-h_1], s_λ\rangle$. Our main new result connects this stable value to the multiplicity of the Weyl module in a representation of $GL_{|λ|}(\C)$. We give a formula for the stable Foulkes' coefficient in terms of a certain vector-partition function.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Soumyadip Sarkar. 2026-10-06. Stability of plethysm coefficients and modified polynomial induction. https://arxiv.org/abs/2610.07929

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The double super Yangians in type A for arbitrary $0^m 1^n$-sequences and their bosonic representations

In this paper, we introduce the double super Yangian $\mathrm{DY}_{h}(\mathfrak{gl}_{m|n}^{\mathfrak{s}})$ and $\mathrm{DY}_{h}(\mathfrak{sl}_{m|n}^{\mathfrak{s}})$ associated with any fixed $0^{m}1^{n}$-sequence $\mathfrak{s}$. First, we establish an explicit isomorphism between the Drinfeld and R-matrix presentations of $\mathrm{DY}_{h}(\mathfrak{gl}^{\mathfrak{s}}_{m|n})$. We then generalize the notion of the quantum Berezinian to $\mathrm{DY}_{h}(\mathfrak{gl}_{m|n}^{\mathfrak{s}})$, and employ it to construct the R-matrix presentation of $\mathrm{DY}_{h}(\mathfrak{sl}_{m|n}^{\mathfrak{s}})$ and prove that it is isomorphic to the Drinfeld presentation. As an application, we present level-1 bosonic representations for $\mathrm{DY}_{h}(\mathfrak{gl}_{m|n}^{\mathfrak{s}})$ and $\mathrm{DY}_{h}(\mathfrak{sl}_{m|n}^{\mathfrak{s}})$ in terms of their Drinfeld current generators.

math.RT↗

Tilting mutation of gentle algebras and its combinatorial description

Tilting mutation provides a natural way to construct derived-equivalent algebras by replacing an indecomposable summand of a tilting object. Holm, Schröer and Zimmermann~\cite{HSZ01} (see also the appendix of~\cite{AA08}) have described combinatorial transformations of the quiver and relations of a gentle algebra that yield derived equivalences via tilting complexes. In this paper, we develop a self-contained module-theoretic framework for tilting mutation via generalized $\mathrm{BB}$-tilting modules. For a gentle algebra $A=\mathbb{k} Q/\langle I\rangle$ and a vertex $k\in Q_0$, we first give a necessary and sufficient condition, expressed in terms of the arrows and relations incident with $k$, for the corresponding minimal left approximation of $P(k)$ to yield a tilting mutation. This criterion applies uniformly to vertices with or without loops. When the mutation exists, we determine the irreducible morphisms between the indecomposable summands of the mutated tilting module and use them to construct explicitly the Gabriel quiver and defining relations of its endomorphism algebra. In particular, we also provide a combinatorial mutation $(Q,I)\mapsto(Q',I')$ of gentle pairs such that $μ_k^+(A)\cong \mathbb{k} Q'/\langle I'\rangle,$ so the resulting algebra is again gentle and derived equivalent to $A$. Finally, we formulate the dual cotilting mutation and its combinatorial description via opposite gentle pairs.

math.RT↗

Tensor Product Does Not Behave Additively on Delooping Level

The Finitistic Dimension Conjecture is one of the most important homological conjectures in the representation theory of finite-dimensional algebras. Recently, Gélinas arXiv:2004.04828 proposed the notion of "delooping level" to study the finitistic dimension Conjecture. This article reports a misconception between the delooping level and the tensor product of algebras. Namely, for finite-dimensional algebras $A$ and $B$, the difference $\operatorname{dell}(A\otimes_{\mathbf{k}}B) - \left(\operatorname{dell}(A)+ \operatorname{dell}(B)\right)$ can be arbitrarily large or negative.

math.RT↗