English

Hilbert's fourteenth problem and field modifications

Commutative Algebra 2018-03-22 v1 Algebraic Geometry

Abstract

Let k(x)=k(x1,,xn)k({\bf x})=k(x_1,\ldots ,x_n) be the rational function field, and kLk(x)k\subsetneqq L\subsetneqq k({\bf x}) an intermediate field. Then, Hilbert's fourteenth problem asks whether the kk-algebra A:=Lk[x1,,xn]A:=L\cap k[x_1,\ldots ,x_n] is finitely generated. Various counterexamples to this problem were already given, but the case [k(x):L]=2[k({\bf x}):L]=2 was open when n=3n=3. In this paper, we study the problem in terms of the field-theoretic properties of LL. We say that LL is minimal if the transcendence degree rr of LL over kk is equal to that of AA. We show that, if r2r\ge 2 and LL is minimal, then there exists σAutkk(x1,,xn+1)\sigma \in {\mathop{\rm Aut}\nolimits}_kk(x_1,\ldots ,x_{n+1}) for which σ(L(xn+1))\sigma (L(x_{n+1})) is minimal and a counterexample to the problem. Our result implies the existence of interesting new counterexamples including one with n=3n=3 and [k(x):L]=2[k({\bf x}):L]=2.

Keywords

Cite

@article{arxiv.1803.08002,
  title  = {Hilbert's fourteenth problem and field modifications},
  author = {Shigeru Kuroda},
  journal= {arXiv preprint arXiv:1803.08002},
  year   = {2018}
}
R2 v1 2026-06-23T01:00:37.486Z