Generic orbits, normal bases, and generation degree for fields of rational invariants

Ben Blum-Smith; Harm Derksen

arxiv: 2506.05650 · v3 · pith:P2DDTV5Dnew · submitted 2025-06-06 · 🧮 math.AC

Generic orbits, normal bases, and generation degree for fields of rational invariants

Ben Blum-Smith , Harm Derksen This is my paper

Pith reviewed 2026-05-22 01:23 UTC · model grok-4.3

classification 🧮 math.AC

keywords invariant theoryrational invariantsNoether numberspanning degreefinite group representationsfield of invariants

0 comments

The pith

For faithful representations of finite groups in coprime characteristic, the field of rational invariants is generated by invariant polynomials of degree at most twice the spanning degree plus one.

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

The paper proves an upper bound on the field Noether number in terms of the spanning degree for rational invariants under a finite group action. It shows that when the base field characteristic is coprime to the group order and the representation is faithful, the smallest degree d such that invariants of degree at most d generate the invariant field as a field extension is at most 2 times the spanning degree plus 1. The bound is demonstrated to be sharp. Additional results establish monotonicity properties of the spanning degree and prove that it is always bounded above by the group order minus one, refining earlier work.

Core claim

For a faithful linear representation V of a finite group G in coprime characteristic, if β_field is the minimum d such that the invariant polynomials of degree ≤ d generate the field k(V)^G of rational invariants as a field, and D_span is the minimum d such that the polynomials of degree ≤ d span the rational function field k(V) as a vector space over k(V)^G, then β_field ≤ 2 D_span + 1, and this is sharp.

What carries the argument

The inequality β_field ≤ 2 D_span + 1 that bounds the field Noether number by the spanning degree of the representation.

If this is right

The generation degree of the rational invariant field is controlled by the spanning degree of the representation.
The spanning degree is monotonically nondecreasing as the group G increases.
The spanning degree is monotonically nonincreasing as the representation space V increases.
The spanning degree is always at most one less than the order of the group.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The bound suggests that computing a basis for the vector space span can directly limit the search for generators of the invariant field.
The sharpness result indicates that examples exist where the generation degree is essentially twice the spanning degree.
The inequalities for D_span may help compare different representations or group actions without requiring coprimeness.

Load-bearing premise

The representation is faithful and the characteristic of the base field does not divide the order of the group.

What would settle it

A counterexample consisting of a faithful representation V of a finite group G over a field whose characteristic is coprime to |G| in which the rational invariant field k(V)^G requires polynomials of degree strictly greater than 2 D_span + 1 to generate it.

read the original abstract

For a faithful linear representation $V$ of a finite group $G$ in coprime characteristic, we show that if the field Noether number $\beta_{\mathrm{field}}$ is the minimum $d$ such that the invariant polynomials of degree $\leq d$ generate the field $k(V)^G$ of rational invariants as a field, and the spanning degree $D_\mathrm{span}$ is the minimum $d$ such that the polynomials of degree $\leq d$ span the rational function field $k(V)$ as a vector space over $k(V)^G$, then $\beta_{\mathrm{field}} \leq 2D_\mathrm{span} + 1$, and this is sharp. This generalizes a recent result of Edidin and Katz. We also study $D_\mathrm{span}$. We show that it is related to various quantities previously studied in invariant and representation theory. Dropping the coprime characteristic hypothesis, we prove several basic inequalities, including that it is monotonically nondecreasing in $G$, nonincreasing in $V$, and satisfies $D_\mathrm{span} \leq |G|-1$. The latter refines a recent result of Kollar and Pham.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper proves β_field ≤ 2 D_span + 1 for rational invariants under faithful representations in coprime characteristic and shows this is sharp, while also refining the bound on D_span to |G|−1 in greater generality.

read the letter

The main thing to know is that the authors prove β_field ≤ 2 D_span + 1 for the field of rational invariants under a faithful representation in coprime characteristic, and they show the bound is sharp. They do this by linking the minimal degree for field generators to the spanning degree of the full function field over the invariants. The argument uses the generic orbit to produce a normal basis and then applies linear algebra over the invariant field. Sharpness is verified explicitly for the regular representation of cyclic groups of prime order. This extends the Edidin-Katz theorem. They also give monotonicity properties for D_span and prove D_span ≤ |G| - 1 without the coprime assumption, which refines the Kollar-Pham result. The paper does a good job keeping the hypotheses clear and using them only where necessary. The stress-test confirms the steps in sections 3 and 4 avoid circularity and rely on standard separability and basis arguments. The additional inequalities come from direct comparisons of invariant rings. The soft spot is the narrow scope of the main theorem. It requires coprimeness and faithfulness, so it does not cover all representations that come up in practice. That said, the authors state this upfront and handle the general case for the other claims. No major issues with the evidence or logic appear from the available details. This paper is for specialists in invariant theory who work with rational invariants and degree questions. Someone looking for concrete relations between these quantities will get something useful out of it. It is not revolutionary, but the refinements are worth checking. I would recommend sending it out for peer review. The central inequality is new and the sharpness example gives it some teeth.

Referee Report

0 major / 4 minor

Summary. The paper proves that for a faithful linear representation V of a finite group G over a field of characteristic coprime to |G|, the field Noether number β_field (minimal d such that degree-≤d invariants generate the rational invariant field k(V)^G) satisfies β_field ≤ 2 D_span + 1, where D_span is the minimal d such that degree-≤d polynomials span k(V) as a vector space over k(V)^G; the bound is shown to be sharp. This generalizes a result of Edidin and Katz. Dropping the coprimeness hypothesis, the paper establishes that D_span is monotonically nondecreasing in G, nonincreasing in V, and satisfies D_span ≤ |G|−1, refining a result of Kollar and Pham. The arguments rely on generic orbits producing normal bases and a linear-algebra bound over the invariant field, with sharpness verified by direct computation on the regular representation of cyclic groups of prime order.

Significance. If the central inequality holds, the work supplies a concrete, sharp relation between two natural invariants of rational actions that should be useful for estimating generation degrees in invariant theory. The explicit sharpness example for cyclic groups and the direct, non-circular proofs of the monotonicity and upper-bound results for D_span are clear strengths. The manuscript applies standard tools from representation theory and field theory in a transparent way and credits the two recent papers it generalizes or refines.

minor comments (4)

[Abstract] Abstract: the sharpness statement is clear, but a one-sentence indication of the explicit example (regular representation of cyclic groups of prime order) would help readers immediately see the bound is attained.
[§3] §3: the separability of the generic orbit map is invoked to guarantee a normal basis of the expected dimension; a short remark confirming that coprimeness is used exactly here (and nowhere else in the bound) would improve readability.
[§4] §4: the linear-algebra argument that produces the field generators from the normal basis is the core of the inequality; spelling out the dimension count in one additional displayed equation would make the step from spanning degree to field generation degree fully explicit.
[§5] The comparison of invariant rings used to prove D_span ≤ |G|−1 is direct, but the notation for the inclusion of rings could be made uniform with the earlier sections to avoid minor confusion for readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive report, the accurate summary of our results, and the recommendation of minor revision. We appreciate the recognition of the sharpness of the bound, the direct proofs, and the transparent use of standard tools. Since no specific major comments appear in the report, the point-by-point section below is empty.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The central inequality β_field ≤ 2 D_span + 1 is derived from the relationship between the minimal degree of field generators for k(V)^G and the spanning degree of k(V) over k(V)^G. This follows from constructing a normal basis via generic orbits (using separability from the coprimeness and faithfulness hypotheses) and then applying a linear algebra bound over the invariant field in Sections 3 and 4. Sharpness is established by direct computation on the regular representation of cyclic groups of prime order, which is independent of the general proof. The monotonicity, D_span ≤ |G|-1, and other inequalities are obtained by direct comparison of invariant rings and representations without reference to the target bound or to any self-citation chain. No step reduces by definition or by construction to a fitted input or prior self-referential result.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper works entirely within the standard framework of invariant theory over fields; it introduces no new fitted numerical parameters, no new postulated entities, and relies only on background facts from commutative algebra and representation theory that are already established in the literature.

axioms (2)

domain assumption The base field k has characteristic coprime to |G|.
Explicitly required in the setup of the main theorem.
domain assumption V is a faithful linear representation of the finite group G.
Stated as the hypothesis under which the inequality and sharpness hold.

pith-pipeline@v0.9.0 · 5745 in / 1445 out tokens · 61977 ms · 2026-05-22T01:23:34.351295+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.3: βfield ≤ 2 Dspan + 1 … under char k ∤ |G| (Section 2.4–2.5, matrix equations over the invariant field K).
IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean absolute_floor_iff_bare_distinguishability unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Proposition 2.10 (graded normal basis theorem) extracting Vreg ≅ kG inside krV s≤Dspan.

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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Geometry of numbers and degree bounds for rational invariants
math.AC 2026-04 unverdicted novelty 7.0

Proves new degree bounds for fields of rational invariants of finite group representations using Euclidean lattices and Minkowski's geometry of numbers theorem.