English

Rational maps $H$ for which $K(tH)$ has transcendence degree 2 over $K$

Commutative Algebra 2017-11-06 v4

Abstract

We classify all rational maps HK(x)nH \in K(x)^n for which trdegKK(tH1,tH2,,tHn)2{\rm trdeg}_K K(tH_1,tH_2,\ldots,tH_n) \le 2, where KK is any field and tt is another indeterminate. Furthermore, we classify all such maps for which additionally JHH=trJHHJH \cdot H = {\rm tr} JH \cdot H (where JHJH is the Jacobian matrix of HH), i.e. i=1nHixiHk=i=1nHkxiHi \sum_{i=1}^n H_i \frac{\partial}{\partial x_i} H_k = \sum_{i=1}^n H_k \frac{\partial}{\partial x_i} H_i for all knk \le n. This generalizes a theorem of Paul Gordan and Max N\"other, in which both sides and the characteristic of KK are assumed to be zero. Besides this, we use some of our tools to obtain several results about KK-subalgebras RR of K(x)K(x) for which trdegKL=1{\rm trdeg}_K L = 1, where LL is the fraction field of RR. We start with some observations about to what extent, L\"uroth's theorem can be generalized.

Keywords

Cite

@article{arxiv.1501.06046,
  title  = {Rational maps $H$ for which $K(tH)$ has transcendence degree 2 over $K$},
  author = {Michiel de Bondt},
  journal= {arXiv preprint arXiv:1501.06046},
  year   = {2017}
}

Comments

32 pages + Maple 8 computations