Field-independent Kronecker-plethysm isomorphisms
Pith reviewed 2026-05-18 17:55 UTC · model grok-4.3
The pith
An explicit isomorphism connects tensor invariants to plethysm spaces over any field.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We construct an explicit field-independent SL2-equivariant isomorphism between an invariant space of tensors and a plethysm space. The existence of such an isomorphism was only known in characteristic 0, and only indirectly via character theory. Our isomorphism naturally extends the web of field-independent isomorphisms given by Hermite reciprocity, Hodge duality, and the Wronskian isomorphism. This is a characteristic free generalization of a classical situation in characteristic zero: certain rectangular Kronecker coefficients coincide with certain plethysm coefficients, and their non-negativity proves the unimodality of the q-binomial coefficient. We also give a short combinatorial field-
What carries the argument
The Hermite reciprocity map on combinatorially chosen bases of the tensor invariants and plethysm spaces, which acts as a triangular matrix with 1s on the diagonal and remains an isomorphism after base change to any field.
Load-bearing premise
The chosen combinatorial bases for the tensor invariants and plethysm spaces make the Hermite reciprocity map triangular with ones on the diagonal, and this property survives base change to any field.
What would settle it
For small degrees such as 4, form the matrix of the explicit isomorphism over the field with two elements and check whether its determinant is nonzero.
Figures
read the original abstract
We construct an explicit field-independent SL$_2$-equivariant isomorphism between an invariant space of tensors and a plethysm space. The existence of such an isomorphism was only known in characteristic 0, and only indirectly via character theory. Our isomorphism naturally extends the web of field-independent isomorphisms given by Hermite reciprocity, Hodge duality, and the Wronskian isomorphism. This is a characteristic free generalization of a classical situation in characteristic zero: certain rectangular Kronecker coefficients coincide with certain plethysm coefficients, and their non-negativiy proves the unimodality of the $q$-binomial coefficient. We also give a short combinatorial field-independent proof that the Hermite reciprocity map over the standard basis is a triangular matrix with 1s on the main diagonal.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs an explicit SL_2-equivariant isomorphism between an invariant space of tensors and a plethysm space that remains an isomorphism after arbitrary base change to any field. It extends the web of field-independent isomorphisms including Hermite reciprocity, Hodge duality, and the Wronskian isomorphism. A short combinatorial proof is given that the Hermite reciprocity map with respect to standard monomial bases is triangular with 1s on the diagonal, independent of characteristic; this is used to establish the main isomorphism and to recover non-negativity statements for certain Kronecker and plethysm coefficients.
Significance. If the explicit map and triangularity argument hold, the result supplies the first characteristic-free, combinatorially explicit realization of isomorphisms previously known only indirectly via character theory in characteristic zero. The counting argument on tableaux/monomials for triangularity is a clear strength, as it avoids any division, positivity, or characteristic-dependent identities and immediately implies the map is an isomorphism over any field. This strengthens the network of field-independent maps and yields a combinatorial proof of unimodality for the q-binomial coefficient via non-negativity of the relevant coefficients.
minor comments (2)
- The precise definition of the monomial bases and the ordering used for triangularity (mentioned in the final paragraph on Hermite reciprocity) would benefit from an explicit low-degree example (e.g., for partitions of weight 4 or 5) to make the counting argument immediately verifiable.
- In the extension to the Kronecker-plethysm case, the precise identification of the tensor invariant space with the relevant rectangular Kronecker multiplicity space could be stated with an equation number or diagram for clarity.
Simulated Author's Rebuttal
We thank the referee for their positive and encouraging report, which accurately summarizes the main contributions of the paper. We are pleased that the referee recognizes the value of the explicit field-independent isomorphism and the combinatorial proof of triangularity.
Circularity Check
Explicit combinatorial construction with direct counting proof
full rationale
The paper constructs the SL2-equivariant isomorphism explicitly from combinatorial bases on tensor invariants and plethysm spaces. The central step is a short combinatorial proof that the Hermite reciprocity map, with respect to the standard monomial bases, yields a triangular matrix with 1s on the diagonal; this is established by a direct counting argument on tableaux that makes no reference to characteristic, fitted parameters, or prior results by the authors. The argument is self-contained, extends the web of known isomorphisms (Hermite, Hodge, Wronskian) in a field-independent manner, and does not reduce any prediction or uniqueness claim to its own inputs by definition or self-citation. No load-bearing circular steps are present.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard representation theory of SL2 holds over arbitrary fields and admits explicit bases for invariants and plethysms
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/ArithmeticFromLogic.leanLogicNat.equivNat unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We construct an explicit field-independent SL2-equivariant isomorphism Km,ℓ : (Symℓm(Fℓ×ℓ×2))SLℓ(F)×SLℓ(F) → Symm Symℓ F2 ... triangular matrix with 1s on the main diagonal
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The algebra (Sym•(Fℓ×ℓ×2))SLℓ(F)×SLℓ(F) is generated by the set {Mℓ(k) | 0≤k≤ℓ}
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Koszul modules and G reen's conjecture
Marian Aprodu, Gavril Farkas, Stefan Papadima, Claudiu Raicu, and Jerzy Weyman. Koszul modules and G reen's conjecture. Inventiones mathematicae , 218:657--720, 2019
work page 2019
-
[2]
An overview of mathematical issues arising in the geometric complexity theory approach to V P V N P
Peter B \"u rgisser, Joseph M Landsberg, Laurent Manivel, and Jerzy Weyman. An overview of mathematical issues arising in the geometric complexity theory approach to V P V N P . SIAM Journal on Computing , 40(4):1179--1209, 2011
work page 2011
-
[3]
The lattice of integer partitions
Thomas Brylawski. The lattice of integer partitions. Discrete mathematics , 6(3):201--219, 1973
work page 1973
-
[4]
Permanent versus determinant, obstructions, and K ronecker coefficients
Peter B \"u rgisser. Permanent versus determinant, obstructions, and K ronecker coefficients. S \'e minaire Lotharingien de Combinatoire , 75:B75a, 2016
work page 2016
-
[5]
Completeness classes in algebraic complexity theory
Peter B \"u rgisser. Completeness classes in algebraic complexity theory. arXiv:2406.06217, 2024
-
[6]
An Introduction to Quiver Representations
Harm Derksen and Jerzy Weyman. An Introduction to Quiver Representations . Graduate Studies in Mathematics. American Mathematical Society, 2017
work page 2017
-
[7]
Representation theory: a first course , volume 129
William Fulton and Joe Harris. Representation theory: a first course , volume 129. Springer Science & Business Media, 2013
work page 2013
-
[8]
The computational complexity of plethysm coefficients
Nick Fischer and Christian Ikenmeyer. The computational complexity of plethysm coefficients. computational complexity , 29:1--43, 2020
work page 2020
-
[9]
Geometric Complexity Theory, Tensor Rank, and L ittlewood- R ichardson Coefficients
Christian Ikenmeyer. Geometric Complexity Theory, Tensor Rank, and L ittlewood- R ichardson Coefficients . PhD thesis, Universit\"at Paderborn, 2012
work page 2012
-
[10]
On vanishing of K ronecker coefficients
Christian Ikenmeyer, Ketan Mulmuley, and Michael Walter. On vanishing of K ronecker coefficients. computational complexity , 26:949--992, 2017
work page 2017
-
[11]
Rectangular K ronecker coefficients and plethysms in geometric complexity theory
Christian Ikenmeyer and Greta Panova. Rectangular K ronecker coefficients and plethysms in geometric complexity theory. Advances in Mathematics , 319:40--66, 2017
work page 2017
-
[12]
The -structure of the G reen ring of G L (2, F _p ) in characteristic p , I I
Frank Kouwenhoven. The -structure of the G reen ring of G L (2, F _p ) in characteristic p , I I . Communications in Algebra , 18(6):1673--1700, 1990
work page 1990
-
[13]
Serge Lang. Undergraduate algebra . Springer, 3rd edition, 2005
work page 2005
-
[14]
Serge Lang. Algebra , volume 211. Springer Science & Business Media, revised 3rd edition, 2012
work page 2012
-
[15]
On rectangular K ronecker coefficients
Laurent Manivel. On rectangular K ronecker coefficients. Journal of Algebraic Combinatorics , 33(1):153--162, 2011
work page 2011
-
[16]
Representations of the general linear group with multilinear constructions
Eoghan McDowell. Representations of the general linear group with multilinear constructions . PhD thesis, Royal H olloway, U niversity of L ondon, 2021
work page 2021
-
[17]
Modular plethystic isomorphisms for two-dimensional linear groups
Eoghan McDowell and Mark Wildon. Modular plethystic isomorphisms for two-dimensional linear groups. Journal of Algebra , 602:441--483, 2022
work page 2022
-
[18]
Unimodality of G aussian coefficients: a constructive proof
Kathleen M O'Hara. Unimodality of G aussian coefficients: a constructive proof. Journal of Combinatorial Theory, Series A , 53(1):29--52, 1990
work page 1990
-
[19]
Strict unimodality of q-binomial coefficients
Igor Pak and Greta Panova. Strict unimodality of q-binomial coefficients. Comptes Rendus Math \'e matique , 351(11-12):415--418, 2013
work page 2013
-
[20]
Unimodality via K ronecker products
Igor Pak and Greta Panova. Unimodality via K ronecker products. Journal of Algebraic Combinatorics , 40:1103--1120, 2014
work page 2014
-
[21]
Hermite reciprocity and S chwarzenberger bundles
Claudiu Raicu and Steven V Sam. Hermite reciprocity and S chwarzenberger bundles. In Commutative Algebra: Expository Papers Dedicated to David Eisenbud on the Occasion of his 75th Birthday , pages 689--721. Springer, 2021
work page 2021
-
[22]
Positivity problems and conjectures in algebraic combinatorics
Richard P Stanley. Positivity problems and conjectures in algebraic combinatorics. Mathematics: frontiers and perspectives , 295:319, 2000
work page 2000
-
[23]
Algorithms in invariant theory
Bernd Sturmfels. Algorithms in invariant theory . Springer Science & Business Media, 2008
work page 2008
-
[24]
A. Skowroński and Jerzy Weyman. The algebras of semi-invariants of quivers. Transformation Groups , 5:361--402, 12 2000
work page 2000
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.