{"id":"a69b5ae6-ea2f-4893-8c4b-1e3c3a0182de","arxiv_id":"2607.08485","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"The G-invariant symmetric forms on V^m for the automorphism group G of a universal homogeneous λ-space are freely generated by the contractions of the defining forms with Schur functors on k^m.","lead":"This paper proves the first and second fundamental theorems of invariant theory for automorphism groups of universal homogeneous tensor spaces, which are infinite-dimensional groups generalizing the classical groups. These results describe the rings of invariant forms under these groups as free polynomial rings generated by explicit multi-linear contractions.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The Reader correctly isolates the only non-self-contained step (the identification Hom_G(V^{⊗d},k) ≅ E_d) and notes that it is a published theorem. The remainder of the argument is a clean dimension-count plus algebraic independence via infinite strength; both pieces are verified in the text. No stronger load-bearing concern exists, so the ACCEPT verdict and high confidence remain appropriate.","tokens_in":10333,"tokens_out":415,"duration_ms":5353,"concrete_test":"Independently recompute the graded dimension of Hom_G(Φ_d(V),k) for the single-partition case λ=((2)) (infinite orthogonal group) by enumerating the downwards Brauer diagrams of [SS] up to degree 6 and compare with dim Sym^d(S_{(2)}(k^m)^*); equality confirms that the external isomorphism used in Lemma 5.4 is correctly specialized.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Theorem 5.2) rests on two external isomorphisms (Proposition 3.1 via [HS1, Lemma 4.12] and [Sno, §5.2]; the strength results of [ESS] and [KaZ]) together with a short internal dimension-count argument (Lemma 5.4 + Corollary 4.4). Both external inputs are published theorems of the same circle of authors and are used exactly as stated; the internal steps (Schur–Weyl, Cauchy decomposition, fully-faithful embedding of Proposition 2.2, and the strength comparison of Proposition 4.3) are standard and check out line-by-line. No hidden assumption, circularity, or regime of failure appears for pure tuples under the standing hypotheses m ≥ ℓ(λ_i). The freeness statement therefore stands.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","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)^*) \to 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).","tokens_in":10514,"tokens_out":936,"duration_ms":7883,"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.","major_comments":[],"minor_comments":[{"comment":"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.","section":"§5"},{"comment":"In the proof of Proposition 3.2 the identification Hom_{S_d}(S_μ, E_d) \to 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).","section":"§3.2"},{"comment":"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.","section":"§4"},{"comment":"Typographical inconsistencies appear in the running heads and in a few places (e.g., “INV ARIANT”, “λ -space” with extra spaces). These are purely cosmetic.","section":null}],"recommendation":"accept","confidential_remarks":"The paper is a natural and clean sequel to [HS1] and [Sno]. The heavy self-citation is unavoidable and correctly scoped: the earlier results are used as black boxes and are not redefined in terms of the invariant ring being computed. Fit for a representation-theory or invariant-theory journal is excellent."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This paper does exactly what the abstract claims: it gives the first and second fundamental theorems for the automorphism groups of the universal homogeneous λ-spaces introduced in Harman–Snowden. The main statement (Theorem 5.2) is that the ring of G-invariant symmetric forms on V^m is freely generated by the contractions [ω]_U coming from the defining forms via Cauchy decomposition. That is new, and the argument is short and transparent once you grant two external isomorphisms.\n\nWhat works well is the packaging. They convert λ-forms to ordinary symmetric forms (Section 2.3), prove the conversion functor is fully faithful when m is large enough (Prop. 2.2), then compute the invariants by matching dimensions: injectivity from algebraic independence of infinite-strength forms (Cor. 4.4 + Prop. 4.3), surjectivity from the graded-vector-space isomorphism in Lemma 5.4 that ultimately rests on Prop. 3.2 and the downwards λ-Brauer category. The automatic-algebraicity result for natural transformations A_λ \to A_μ (Prop. 3.3) is a nice byproduct that will be useful on its own. The writing is economical and the citations to [HS1], [Sno], [ESS] and [KaZ] are used exactly as published theorems, not redefined.\n\nThe soft spots are real but minor and already flagged by the authors. Everything hinges on Hom_G(V^{⊗d},k) ≅ E_d (Prop. 3.1) and on the strength characterizations; if those earlier results fail for some pure tuples the freeness collapses. Under the standing hypotheses (pure λ, m ≥ ℓ(λ_i)) the internal steps check line-by-line and no circularity appears. The paper is deliberately limited to these groups; the final remark notes that other linearly oligomorphic examples exist and remain open.\n\nThis is for people already working in representation stability or infinite-dimensional invariant theory who need the classical package for these new groups. It is not a broad breakthrough, but it is solid, correctly derived, and worth a serious referee. I would send it out.","headline":"Clean, self-contained FFT/SFT for the new oligomorphic groups; freeness rests on published strength and Brauer-category results that check out.","tokens_in":11112,"tokens_out":580,"would_cite":true,"duration_ms":20014,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["13A50","20G05","15A72"],"pacs":[],"model":"grok-4.5","headline":"The first and second fundamental theorems of invariant theory hold for the new infinite-dimensional groups that generalize the classical groups.","keywords":["invariant theory","fundamental theorems","linearly oligomorphic groups","universal homogeneous tensor spaces","Schur functors","strength of forms","GL-varieties"],"falsifier":"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.","tokens_in":11208,"feed_emoji":"∞","tokens_out":684,"duration_ms":6956,"temperature":0.7,"pith_summary":"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.","feed_headline":"Invariant theory works for new infinite-dimensional groups","feed_subtitle":"The free generators of the classical theorems remain free for the larger oligomorphic groups","key_machinery":"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.","core_discovery":"For the automorphism group G of a countable universal homogeneous λ-space (V,ω), the natural map Sym(S_λ(U)^*) \to 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).","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Fundamental theorems hold for linearly oligomorphic groups","Free generators persist for oligomorphic group invariants","Classical invariant theorems extend to infinite oligomorphic groups","G-invariants of oligomorphic groups freely generated by contractions","Natural map isomorphism confirms free generators for oligomorphic groups"],"cache_read_input_tokens":128,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Fundamental theorems hold for linearly oligomorphic groups","Free generators persist for oligomorphic group invariants","Classical invariant theorems extend to infinite oligomorphic groups","G-invariants of oligomorphic groups freely generated by contractions","Natural map isomorphism confirms free generators for oligomorphic groups"]},"model":"grok-4.5","effort":"low","cost_usd":0.004878,"raw_usage":{"total_tokens":1257,"prompt_tokens":570,"num_sources_used":0,"completion_tokens":75,"cost_in_usd_ticks":48780000,"prompt_tokens_details":{"text_tokens":570,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":612,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":570,"tokens_out":75,"duration_ms":5429,"temperature":1.0,"reasoning_tokens":612,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-10T06:41:59.205146+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"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.","supporting_citations":[],"review_version":1}