Generic orbits, normal bases, and generation degree for fields of rational invariants
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917496487936000 |
|---|---|
| author | Blum-Smith, Ben Derksen, Harm |
| author_facet | Blum-Smith, Ben Derksen, Harm |
| contents | For a faithful linear representation $V$ of a finite group $G$ in coprime characteristic, we show that if the field Noether number $β_{\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 $β_{\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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_05650 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Generic orbits, normal bases, and generation degree for fields of rational invariants Blum-Smith, Ben Derksen, Harm Commutative Algebra For a faithful linear representation $V$ of a finite group $G$ in coprime characteristic, we show that if the field Noether number $β_{\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 $β_{\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. |
| title | Generic orbits, normal bases, and generation degree for fields of rational invariants |
| topic | Commutative Algebra |
| url | https://arxiv.org/abs/2506.05650 |