Pith. sign in

REVIEW 4 minor 12 references

The fundamental theorems of invariant theory for linearly oligomorphic groups

T0 review · 0 major / 4 minor · reviewed 2026-07-10 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The first and second fundamental theorems of invariant theory hold for the new infinite-dimensional groups that generalize the classical groups.

desk verdict Clean, self-contained FFT/SFT for the new oligomorphic groups; freeness rests on published strength and Brauer-category results that check out. read the letter →

arxiv 2607.08485 v1 pith:A2NIMUZC submitted 2026-07-09 math.RT

Alessandro Danelon , Andrew Snowden This is my paper · ORCID
classification math.RT MSC 13A5020G0515A72
keywords invarianttheoryfundamentaltheoremslinearlyoligomorphicgroupsuniversalhomogeneoustensorspacesSchurfunctorsstrengthofformsGL-varieties
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Classical invariant theory says that the polynomial functions fixed by the orthogonal group (or other classical groups) are freely generated by the obvious contractions of the defining form. This paper proves the same statements for a much larger family of groups: the automorphism groups of universal homogeneous λ-spaces. These are infinite-dimensional algebraic groups that contain the classical groups as special cases. The authors show that the ring of G-invariant symmetric forms on V^m is the free polynomial ring generated by the natural contractions of the defining multi-linear forms. The result supplies a complete description of the invariants and their algebraic relations, exactly as in the classical setting. A reader who cares about infinite-dimensional representation theory or about extending Weyl's theorems beyond finite-dimensional groups now has the analogous theorems in hand.

What carries the argument

The isomorphism Hom_G(S_μ(V),k) ≅ Hom(A_λ,A_μ) of Proposition 3.2, which converts G-invariants into morphisms of GL-varieties and thereby reduces the computation of the invariant ring to a dimension count plus algebraic independence of infinite-strength forms.

What would settle it

Compute the space of G-invariant degree-d forms on a concrete low-rank universal homogeneous λ-space (for example a single symmetric n-form with n small) and check whether its dimension equals the predicted dimension of the degree-d piece of Sym(S_λ(U)^*); a mismatch falsifies the main theorem.

Watch

Extended reading notes

Core claim

For the automorphism group G of a countable universal homogeneous λ-space (V,ω), the natural map Sym(S_λ(U)^*) o P(U ⊗ V)^G is an isomorphism of graded rings. Consequently the G-invariant symmetric forms on V^m are freely generated by the contractions [ω]_U obtained by pairing the defining λ-forms with a basis of S_λ(k^m).

Load-bearing premise

The identification of G-invariant multilinear functionals with the Hom-spaces of the downwards λ-Brauer category, taken from earlier work; if that identification fails for some pure tuples the dimension count and freeness both collapse.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 4 minor

Summary. The paper establishes the first and second fundamental theorems of invariant theory for the automorphism groups G of countable universal homogeneous λ-spaces (linearly oligomorphic groups introduced in [HS1]). For a pure tuple λ of partitions and m large enough relative to the lengths of the λ_i, the ring of G-invariant symmetric forms on V^m is the free polynomial ring generated by the contractions [ω]_U of the defining λ-forms with a basis of S_λ(k^m). Equivalently, the natural graded homomorphism Sym(S_λ(U)^*) o P(U ⊗ V)^G is an isomorphism (Theorem 5.2). The argument proceeds by computing Hom_G of tensor powers via the downwards λ-Brauer category (Proposition 3.1), reformulating this as an identification of G-invariants with maps of GL-varieties (Proposition 3.2), establishing automatic algebraicity of natural transformations (Proposition 3.3), relating universality of the λ-space to infinite strength of the associated symmetric forms (Proposition 4.3), and matching dimensions after algebraic independence (Corollary 4.4 + Lemma 5.4).

Significance. The result supplies the classical first and second fundamental theorems for a new family of infinite-dimensional algebraic groups that properly generalize the orthogonal, symplectic and related groups. The freeness statement is clean and parameter-free once the standing hypotheses (pure tuple, m ≥ ℓ(λ_i)) are fixed. The intermediate results on automatic algebraicity of natural transformations of Schur functors and on the equivalence between universality and infinite strength of the contracted forms are of independent interest and sit cleanly inside the existing literature on GL-varieties and high-strength tensors. The paper is short, self-contained once the cited isomorphisms from [HS1] and [Sno] are granted, and opens a natural line of inquiry for other linearly oligomorphic groups mentioned in the final remark.

minor comments (4)
  1. [§5] The standing hypothesis m ≥ ℓ(λ_i) is used repeatedly (Proposition 2.2, the construction of [ω]_U, Theorem 5.2) but is never collected into a single global assumption at the beginning of §5; a one-line reminder would improve readability.
  2. [§3.2] In the proof of Proposition 3.2 the identification Hom_{S_d}(S_μ, E_d) o Hom(A_λ, A_μ) is obtained by Schur–Weyl and adjunction; it would help the reader to note explicitly that the resulting map coincides with γ_μ (or that injectivity of γ_μ is enough, as is later done).
  3. [§4] Lemma 4.6 cites [BO, Example 3.3] for the strength of x_1^d + … + x_{2s}^d; a parenthetical indication that the same lower bound follows from the elementary formula for the strength of a sum of powers would make the argument self-contained for readers unfamiliar with that reference.
  4. Typographical inconsistencies appear in the running heads and in a few places (e.g., “INV ARIANT”, “λ -space” with extra spaces). These are purely cosmetic.

Circularity Check

1 steps flagged · score 2.0 of 10

No significant circularity: freeness of the invariant ring is obtained by an independent dimension count plus external strength theorems, not by redefining the generators in terms of the conclusion.

  1. self citation load bearing [Proposition 3.1 and its proof]
    "This is a reformulation of results from [HS1] and [Sno]. Precisely, in [Sno, §5.2], we introduced the downwards λ-Brauer category D(λ) … By [HS1, Lemma 4.12] … there is a natural isomorphism Hom_G(V^{⊗n}, V^{⊗m}) = Hom_{D(λ)}([n],[m]). The map β_d is exactly this isomorphism when n = d and m = 0."

    The isomorphism that supplies the graded dimensions of the invariant spaces is taken wholesale from prior work of the same authors. While the cited statements are independent theorems (not redefined here), they are the sole source of the dimension count used in Lemma 5.4; if those earlier isomorphisms fail, freeness collapses. This is ordinary self-citation rather than definitional circularity, but it is load-bearing for the main theorem.

full rationale

The paper's central claim (Theorem 5.2) asserts that the natural map Sym(S_λ(U)^*) o P(U ⊗ V)^G is an isomorphism, so the G-invariants are the free polynomial ring on the forms [ω]_U. The argument proceeds by (i) constructing the map from the defining forms of the universal homogeneous λ-space, (ii) proving algebraic independence of those forms via the external strength theorems of [ESS] and [KaZ] (Corollary 4.4), and (iii) matching graded dimensions via Schur–Weyl and the isomorphism Hom_G(S_μ(V), k) ≅ Hom(A_λ, A_μ) of Proposition 3.2. The only self-citations that appear are for the existence of the universal homogeneous space ([HS1, Thm A]) and for the identification Hom_G(V^{⊗d}, k) ≅ E_d ([HS1, Lem. 4.12] + [Sno, §5.2]). Those results are independent published theorems; they are not redefined in terms of the invariant ring being computed, nor do they force freeness by construction. The internal steps (Cauchy decomposition, fully-faithful embedding of Prop. 2.2, strength comparison of Prop. 4.3, and the dimension count of Lem. 5.4) are self-contained and do not feed the conclusion back into the hypotheses. Consequently the derivation is not circular; the modest self-citation load is ordinary and non-load-bearing for the freeness statement itself.

Assumptions & free parameters 0 free parameters · 6 assumptions · 1 invented entities

The paper is pure characteristic-zero representation theory. It imports the existence/uniqueness of universal homogeneous λ-spaces and the Brauer-category description of Hom-spaces from prior work of the same authors, plus standard Schur–Weyl and strength theorems. No numerical parameters are fitted; the only non-standard objects are the groups themselves, already introduced elsewhere.

assumptions (6)
  • domain assumption Existence and uniqueness (up to isomorphism) of a countable universal homogeneous λ-space for every pure tuple λ (Theorem 2.1 = [HS1, Thm A])
    Invoked at the start of §3 and used throughout to define G; without it the automorphism group is not defined.
  • domain assumption Hom_G(V^{⊗n}, V^{⊗m}) ≅ Hom_{D(λ)}([n],[m]) ([HS1, Lemma 4.12])
    Reformulated as Prop. 3.1; supplies the concrete description of the invariant functionals that later becomes the source of the free generators.
  • standard math A collection of homogeneous forms of infinite strength is algebraically independent ([ESS, Thm 1.1])
    Used in Cor. 4.4 to obtain freeness once infinite strength is established.
  • standard math A countable λ-space with λ = [(d_i)] is universal iff the forms have infinite strength ([KaZ, Cor. 1.6])
    Used in Prop. 4.3 to equate universality of (V,ω) with infinite strength of the associated symmetric forms.
  • standard math Schur–Weyl duality and the Cauchy decomposition of Sym^d(U ⊗ V)
    Used repeatedly to convert between Specht modules, Schur functors and maps of GL-varieties (e.g., proof of Prop. 3.2 and Lemma 5.3).
  • domain assumption Base field k algebraically closed of characteristic zero
    Stated in §1; needed for complete reducibility of polynomial representations of GL and for Specht modules to be irreducible.
invented entities (1)
  • linearly oligomorphic groups (automorphism groups of universal homogeneous λ-spaces)
    purpose: Provide the infinite-dimensional groups for which the fundamental theorems are proved
    Introduced in the cited prior work [HS1]; the present paper treats them as given and computes their invariants. No new independent evidence is supplied here beyond the invariant-ring calculation itself.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The fundamental theorems of invariant theory for linearly oligomorphic groups." pith.science (2026). https://pith.science/paper/A2NIMUZC

@misc{pith2026260708485,
  author       = {Pith},
  title        = {Pith review of: The fundamental theorems of invariant theory for linearly oligomorphic groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/A2NIMUZC}},
  note         = {Machine review of arXiv:2607.08485}
}
read the original abstract

In recent work, Harman and the second author introduced some new infinite dimensional algebraic groups that generalize the classical groups. In this paper, we establish versions of the first and second fundamental theorems of invariant theory for them.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

  1. [1]

    Universality of high-strength tensors

    Arthur Bik, Alessandro Danelon, Jan Draisma, Rob H. Eggermont. Universality of high-strength tensors. Vietnam J.\ Math. 50 (2022), pp. 557--580. doi:10.1007/s10013-021-00522-7 arXiv:2105.00016

    work page Pith review arXiv doi:10.1007/s10013-021-00522-7 2022

  2. [2]

    The geometry of polynomial representations

    Arthur Bik, Jan Draisma, Rob H. Eggermont, Andrew Snowden. The geometry of polynomial representations. Int.\ Math.\ Res.\ Not.\ IMRN 2023, no. 16, pp. 14131--14195. doi:10.1093/imrn/rnac220 arXiv:2105.12621

    work page Pith review arXiv doi:10.1093/imrn/rnac220 2023

  3. [3]

    On the strength of general polynomials

    Arthur Bik, Alessandro Oneto. On the strength of general polynomials. Linear Multilinear Algebra 70 (2022), no. 21, pp. 6114--6140. doi:10.1080/03081087.2021.1947955 arXiv:2005.08617v2

    work page doi:10.1080/03081087.2021.1947955 2022

  4. [4]

    Isogeny classes of cubic spaces

    Arthur Bik, Alessandro Danelon, Andrew Snowden. Isogeny classes of cubic spaces. arXiv:2207.13951

    work page Pith review arXiv

  5. [5]

    Oligomorphic permutation groups

    Peter J.\ Cameron. Oligomorphic permutation groups. London Mathematical Society Lecture Note Series, vol. 152, Cambridge University Press, Cambridge, 1990. doi:10.1017/CBO9780511549809

    work page doi:10.1017/cbo9780511549809 1990

  6. [6]

    Biquadratic spaces of length two

    Alessandro Danelon, Andrew Snowden. Biquadratic spaces of length two. arXiv:2412.20681

    work page Pith review arXiv

  7. [7]

    Big polynomial rings and Stillman's conjecture

    Daniel Erman, Steven Sam, Andrew Snowden. Big polynomial rings and Stillman's conjecture. Invent.\ Math. 218 (2019), no. 2, pp. 413--439. doi:10.1007/s00222-019-00889-y arXiv:1801.09852

    work page Pith review arXiv doi:10.1007/s00222-019-00889-y 2019

  8. [8]

    Ultrahomogeneous tensor spaces

    Nate Harman, Andrew Snowden. Ultrahomogeneous tensor spaces. Adv.\ Math. 443 (2024). doi:10.1016/j.aim.2024.109599 arXiv:2207.09626

    work page doi:10.1016/j.aim.2024.109599 2024

Show all 12 references
  1. [9]

    Tensor spaces and the geometry of polynomial representations

    Nate Harman, Andrew Snowden. Tensor spaces and the geometry of polynomial representations. arXiv:2407.19132

    arXiv

  2. [10]

    Properties of high rank subvarieties of affine spaces

    David Kazhdan, Tamar Ziegler. Properties of high rank subvarieties of affine spaces. Geom.\ Funct.\ Anal. 30 (2020), pp. 1063--1096. doi:10.1007/s00039-020-00542-4 arXiv:1902.00767

    2020 doi arXiv

  3. [11]

    Stable representation theory: beyond the classical groups

    Andrew Snowden. Stable representation theory: beyond the classical groups. arXiv:2109.11702

    arXiv

  4. [12]

    Stability patterns in representation theory

    Steven Sam, Andrew Snowden. Stability patterns in representation theory. Forum Math.\ Sigma 3 (2015), e11, 108 pp. doi:10.1017/fms.2015.10 arXiv:1302.5859

    2015 doi arXiv

Pith tools

Reviewed July 10, 2026 · model on record in the stance chip above.