Hermite Reciprocity in SL₂ Representations

• Hermite reciprocity is a rank‑2 phenomenon in representation theory that establishes an isomorphism between plethysms of binary forms, notably Symᵃ(Symᵇ U) ≅ Symᵇ(Symᵃ U).
• It connects combinatorial character formulas and invariant theory with geometric constructions like Schwarzenberger bundles to explain self-duality in syzygy theory and secant geometry.
• Recent advances lift the classical reciprocity to derived complex isomorphisms, generating new insights into self-duality and determinantal representations in algebraic geometry.

Searching arXiv for papers on Hermite reciprocity and related work. Hermite reciprocity is a phenomenon unique to representations of $\mathrm{SL}_2$ that relates plethysms of binary forms, most classically through the isomorphism $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$ for $U\cong \mathbf{C}^2$. In characteristic $0$ it appears as an isomorphism of $\mathrm{SL}_2$-modules; over an arbitrary base field it admits natural formulations involving exterior and divided powers; and in recent work it has been lifted from representation theory to isomorphisms of complexes, where it governs self-duality phenomena in syzygy theory, secant geometry, generalized Eagon–Northcott complexes, and the ideal-theoretic structure of varieties of powers of binary forms (Raicu et al., 2021, Reed, 9 Apr 2025, Raicu et al., 16 Feb 2026).

1. Classical statement and representation-theoretic setting

Let $U=\mathbf{C}^2$ with the standard $\mathrm{SL}(U)=\mathrm{SL}_2$ action. For $b\ge 0$, $\mathrm{Sym}^b U$ is the space of binary forms of degree $b$, and plethysm refers to modules such as $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$0. The classical theorem, proved by Hermite in 1854, states that for all $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$1,

$$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$2

as $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$3-modules, equivalently as $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$4-modules with central character. This symmetry is specific to rank $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$5; for higher-rank groups, plethysm need not commute (Raicu et al., 16 Feb 2026).

A more functorial formulation uses exterior and divided powers. For integers $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$6 with $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$7, there are canonical $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$8-equivariant isomorphisms

$$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$9

These statements hold over an arbitrary base field by working with divided powers $U\cong \mathbf{C}^2$0, and in characteristic $U\cong \mathbf{C}^2$1 one may replace $U\cong \mathbf{C}^2$2 by $U\cong \mathbf{C}^2$3 because complete reducibility holds. All constructions are $U\cong \mathbf{C}^2$4-equivariant, and $U\cong \mathbf{C}^2$5-equivariance can be restored by suitable determinant twists (Raicu et al., 2021).

Two points are often conflated. First, in the $U\cong \mathbf{C}^2$6 setting the reciprocity is not merely an equality of formal characters: it is an isomorphism of modules. Second, the phenomenon is not a generic plethystic symmetry; it is a rank-$U\cong \mathbf{C}^2$7 exception, and much of the modern literature is devoted to identifying the geometric and homological structures that explain why this exception persists in increasingly derived forms (Raicu et al., 2021).

2. Character formulas, combinatorics, and explicit decompositions

For $U\cong \mathbf{C}^2$8, one effective way to encode characters uses a single formal variable $U\cong \mathbf{C}^2$9. After specializing the diagonal torus weights $0$0 to $0$1, one has

$0$2

together with the formulas

$0$3

These identities make classical character-theoretic proofs efficient: one computes both sides of Hermite reciprocity and then invokes Schur’s lemma (Raicu et al., 16 Feb 2026).

A complementary combinatorial description decomposes

$0$4

where $0$5 is the number of partitions of $0$6 whose Ferrers diagram fits inside an $0$7 rectangle. This description is symmetric in $0$8 by construction, and parity forces $0$9 to occur only for $\mathrm{SL}_2$0 (Raicu et al., 2021).

Parameters	Decomposition	Reciprocity partner
$\mathrm{SL}_2$1	$\mathrm{SL}_2$2	$\mathrm{SL}_2$3
$\mathrm{SL}_2$4	$\mathrm{SL}_2$5	$\mathrm{SL}_2$6
$\mathrm{SL}_2$7	$\mathrm{SL}_2$8	self-symmetric

The classical literature also supplies an explicit invariant-theoretic route through transvectants. If $\mathrm{SL}_2$9 and $U=\mathbf{C}^2$0 are binary forms, then the $U=\mathbf{C}^2$1-th transvectant $U=\mathbf{C}^2$2 is defined by polarization and contraction with the $U=\mathbf{C}^2$3-invariant bilinear form on $U=\mathbf{C}^2$4. In particular, the first transvectant agrees, up to scalar, with the Jacobian determinant of the gradients. Hermite’s construction uses suitable transvectant operators to produce an explicit intertwiner between the plethysms (Raicu et al., 16 Feb 2026).

3. Cohomological realizations and Schwarzenberger bundles

A geometric realization begins with the Hilbert scheme $U=\mathbf{C}^2$5 and the incidence correspondence

$U=\mathbf{C}^2$6

With projections $U=\mathbf{C}^2$7, one defines the Schwarzenberger bundle $U=\mathbf{C}^2$8 on $U=\mathbf{C}^2$9. It fits into the exact sequence

$\mathrm{SL}(U)=\mathrm{SL}_2$0

with $\mathrm{SL}(U)=\mathrm{SL}_2$1 and $\mathrm{SL}(U)=\mathrm{SL}_2$2. Taking the $\mathrm{SL}(U)=\mathrm{SL}_2$3-th exterior power and computing cohomology yields Hermite reciprocity, and the algebraic and geometric constructions agree compatibly across all $\mathrm{SL}(U)=\mathrm{SL}_2$4 (Raicu et al., 2021).

The exterior powers of Schwarzenberger bundles have supernatural cohomology. For $\mathrm{SL}(U)=\mathrm{SL}_2$5, one has

$\mathrm{SL}(U)=\mathrm{SL}_2$6

where $\mathrm{SL}(U)=\mathrm{SL}_2$7 is multiplication of binary forms. The associated root sequence is

$\mathrm{SL}(U)=\mathrm{SL}_2$8

This identifies $\mathrm{SL}(U)=\mathrm{SL}_2$9 as a special case of the Eisenbud–Schreyer construction (Raicu et al., 2021).

The same geometry controls secant varieties of rational normal curves. If $b\ge 0$0 is the degree-$b\ge 0$1 Veronese image of $b\ge 0$2, then the $b\ge 0$3-secant variety $b\ge 0$4 is resolved by the total space of the Schwarzenberger bundle $b\ge 0$5 on $b\ge 0$6. The coordinate ring is resolved by the Eagon–Northcott complex of a Hankel matrix, and the resulting secant variety is normal, arithmetically Cohen–Macaulay, and has rational singularities. At the module-theoretic level, Hermite reciprocity becomes equivalent to a canonical self-duality

$b\ge 0$7

between rank-one maximal Cohen–Macaulay modules on the affine cone of the secant variety; on degree-$b\ge 0$8 generators this restricts to

$b\ge 0$9

Thus the reciprocity isomorphism is realized as the generator of a $\mathrm{Sym}^b U$0-dimensional space of sections

$\mathrm{Sym}^b U$1

This furnishes a geometric explanation for the relation between plethysm and self-duality (Raicu et al., 2021).

4. Derived Hermite reciprocity

Recent work lifts the classical theorem from modules to complexes. Fix $\mathrm{Sym}^b U$2 and set $\mathrm{Sym}^b U$3. On $\mathrm{Sym}^b U$4 there is an $\mathrm{Sym}^b U$5-equivariant sheaf map

$\mathrm{Sym}^b U$6

whose cokernel is $\mathrm{Sym}^b U$7 and whose kernel is a rank $\mathrm{Sym}^b U$8 bundle $\mathrm{Sym}^b U$9. This $b$0 is the universal syzygy among the sections defining the embedding

$b$1

From $b$2 one constructs symmetric power complexes $b$3 and exterior power complexes $b$4, with cohomology sheaves described by exterior powers of $b$5 and $b$6 (Raicu et al., 16 Feb 2026).

The derived form of Hermite reciprocity states that for all $b$7,

$b$8

as complexes on $b$9, equivariantly for $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$00. Termwise, this yields

$$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$01

and the compatibility of differentials is highly nontrivial. Character computations justify the termwise isomorphism by products of $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$02-binomial coefficients, but the proof of the complex isomorphism uses a geometric realization as derived pushforwards of Koszul complexes along the graph of $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$03, together with Beilinson’s equivalence and a self-duality coming from the Cartier divisor

$$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$04

In this sense, the derived theorem is not merely a restatement of classical plethysm symmetry; it is a self-duality statement internal to a syzygetic construction (Raicu et al., 16 Feb 2026).

5. Foulkes–Howe maps, powers of binary forms, and determinantal equations

The embedding $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$05 induces generalized Foulkes–Howe maps

$$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$06

A principal consequence of derived Hermite reciprocity is maximal rank: $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$07 is injective for $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$08 and surjective for $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$09; in particular,

$$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$10

is an isomorphism. A common misconception is that this distinguished geometric map must coincide with the classical Hermite isomorphism. It does not in general: for $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$11, the paper compares images of highest weight vectors and finds

$$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$12

The abstract reciprocity and the geometric Foulkes–Howe map therefore encode different structures (Raicu et al., 16 Feb 2026).

The same machinery resolves the variety

$$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$13

the locus of $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$14-th powers of binary $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$15-ics. Define the bilinear Jacobian/transvectant map

$$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$16

Then $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$17 if and only if $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$18, so the maximal minors of the sheaf map

$$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$19

cut out $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$20 set-theoretically. More strongly, for $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$21, the homogeneous ideal $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$22 is generated in degree $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$23 by those maximal minors; its minimal free resolution is linear and has projective dimension $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$24; and the number of minimal generators is

$$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$25

The determinantal presentation is encoded by the exact sequence

$$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$26

whose middle map is $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$27 and whose left map is the universal minors map $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$28; here $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$29 (Raicu et al., 16 Feb 2026).

Examples align with classical invariant theory. For $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$30, $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$31 is cut out by cubics; for $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$32, by quartics; and for $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$33, by quintics, where the maximal minors of $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$34 agree up to scalar with Hilbert’s classical degree-$$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$35 transvectant equations. This places Hermite reciprocity inside a concrete determinantal and syzygetic framework rather than only a character-theoretic one (Raicu et al., 16 Feb 2026).

6. New reciprocity maps, generalized Eagon–Northcott complexes, and current directions

A further development concerns generalized Eagon–Northcott complexes associated to Koszul-type maps. Given a map $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$36 of free modules, one has linear complexes $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$37 and $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$38, and a characteristic-free duality

$$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$39

Splicing these pieces gives generalized Eagon–Northcott complexes $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$40 with duality

$$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$41

In the generic determinantal case these complexes are not self-dual; self-duality is therefore a special phenomenon requiring specialization (Reed, 9 Apr 2025).

The 2025 work identifies such a specialization in the Koszul setting. Let $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$42 be a complex vector space of dimension $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$43, let $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$44 have dimension $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$45, and assume that the restricted sequence

$$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$46

has middle homology of finite length. Then $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$47 is self-dual. In the $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$48 specialization $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$49 and $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$50, this produces a new Hermite reciprocity isomorphism

$$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$51

described as not previously defined in the literature. For $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$52, the paper gives explicit matrices for this map and for an older Hermite isomorphism and shows that they differ on three $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$53 diagonal blocks (Reed, 9 Apr 2025).

This new map is used to prove self-duality by reducing, via the BGG correspondence, to a single lowest-degree check. In the same $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$54 specialization, the middle homology is the Weyman module used in proofs of the generic Green’s conjecture. The broader significance is that Hermite reciprocity now appears in three interconnected guises: as classical plethysm symmetry, as self-duality of modules on secant cones, and as self-duality of complexes controlling Koszul and Weyman modules. This suggests broader families of complex isomorphisms and further higher-rank analogues, although the strongest reciprocity phenomenon remains special to rank $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$55. Current open directions include extending the self-duality to other ranks, determining minimal free resolutions of the ideals $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$56 for all $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$57, and proving the conjectural regularity formula for powers $$\mathrm{Sym}^a(\mathrm{Sym}^b U)\cong \mathrm{Sym}^b(\mathrm{Sym}^a U)$$58 (Reed, 9 Apr 2025, Raicu et al., 16 Feb 2026).