[论文解读] Plethysm and orbit harmonics

Hai Zhu|arXiv (Cornell University)|Feb 13, 2026

Advanced Combinatorial Mathematics被引用 0

一句话总结

该论文将轨道谐波应用于无序集合分区的轨迹，以获得对 plethysm h_a[h_b] 和 h_b[h_a] 的分级 S_n-模的细化，并探索与 Foulkes 猜想及相关商环的联系。

ABSTRACT

Let $Π_{(b^a)}$ be the locus of unordered set partitions of $[ab]$ with $a$ blocks of size $b$. We embed unordered set partitions of $[n]$ into the affine space $\mathbb{C}^{\binom{[n]}{2}}$ with coordinate ring $\mathbb{C}\Big[\mathbf{x}_{\binom{[n]}{2}}\Big]$. Then, we apply orbit harmonics to $Π_{(2^a)}$ and $Π_{(a^2)}$, yielding graded $\mathfrak{S}_{2a}$-modules whose graded character formulae respectively refine the Schur expansions of $h_a[h_2]$ and $h_2[h_a]$ according to $λ_1$. We further extend this $λ_1$-separation phenomenon to quotients of $\mathbb{C}^{\binom{[n]}{2}}$ where $n$ is odd. Combining $Π_{(b^a)},Π_{(a^b)}$ and orbit harmonics, we propose a conjecture related to Foulkes' conjecture, and we prove the special case $b=2$. We also apply orbit harmonics to the locus $Π_{n,m}$ of unordered set partitions of $[n]$ without blocks of size greater than $m$, yielding a graded $\mathfrak{S}_n$-module $R(Π_{n,m})$. We determine the standard monomial basis of $R(Π_{n,m})$ with respect to any monomial order, as well as its graded character formula.

研究动机与目标

• Motivate the study of orbit harmonics as a tool to understand plethysm and Foulkes’ conjecture via loci of unordered set partitions.
• Construct and analyze graded S_n-modules associated to Pi_(b^a), Pi_(a^b), and Pi_{n,m} by embedding partitions into affine space and applying orbit harmonics.
• Derive explicit graded Frobenius character formulas and identify standard monomial bases for the resulting quotient rings.
• Propose conjectures linking Pi_(b^a) and Pi_(a^b) and prove a special case (b=2).
• Extend the framework to odd n and to quotients of the polynomial ring to illuminate Specht module structures.

提出的方法

• Embed unordered set partitions into C^{binom([n],2)} via zeta coordinates that encode block structure.
• Form graded quotient rings R(Z) = C[x]/gr I(Z) from vanishing ideals using orbit harmonics.
• Compute graded Frobenius characters grFrob(R(Z);q) to refine plethysm expansions according to lambda_1.
• Establish generator sets for gr I(Pi_(2^a)) and gr I(Pi_(a^2)) and relate them to known loci such as PM_{2a}.
• Prove special case b=2 of a conjecture comparing grI(Pi_(b^a)) and grI(Pi_(a^b)).
• Determine standard monomial bases for R(Pi_{n,m}) and provide their graded character formulas.]
• research_questions:[

实验结果

研究问题

• RQ1 Does grI(Pi_(b^a)) refine the Schur expansion of h_a[h_b] according to lambda_1, and similarly for h_b[h_a]?
• RQ2 Can one establish a conjectural inclusion or surjection between grI(Pi_(b^a)) and grI(Pi_(a^b)) that would yield a graded refinement of Foulkes’ conjecture?
• RQ3 What is the graded S_n-module structure of R(Pi_(n,m)) and its connection to Specht modules via grFrob?
• RQ4 What are explicit generators and standard monomial bases for the orbit harmonics rings associated to Pi_(2^a), Pi_(a^2), and Pi_{n,m}?
• RQ5 How do the odd-n extensions and quotient rings I(n), J(n) fit into the lambda_1-separation phenomenon?

主要发现

• grFrob(R(Pi_(2^a));q) = sum_{lambda ⊢ 2a, lambda is even} q^{(2a−λ1)/2} · s_λ.
• grFrob(R(Pi_(a^2));q) = sum_{d=0}^{⌊a/2⌋} q^d · s_(2a−2d, 2d).
• Frobenius and graded Frobenius of R(Pi_{n,m}) adhere to a formula restricting lambda1 and partition length; grFrob(R(Pi_{n,m});q) involves sums with h_m(h_i) factors.
• grFrob(C[x_{binom([n],2)}]/I(n);q) = sum_{lambda ⊢ n, 2|lambda_i for i>1} q^{(n−λ1)/2} · s_λ.
• grFrob(C[x_{binom([n],2)}]/J(n);q) = sum_{d=0}^{⌊n/4⌋} q^d · s_(n−2d, 2d).
• Theorem 3.5 shows R(Pi_(a^2))_d corresponds to the Specht module V^{(2a−2d,2d)} for 0 ≤ d ≤ ⌊a/2⌋, giving a graded, irreducible decomposition aligned with lambda1 values