Purely inseparable points on curves of higher genus
type: Item
instance of: scholarly article
title: Purely inseparable points on curves of higher genus
zbMATH Open document ID: 0906.14016
author: Minhyong Kim
published in: Mathematical Research Letters
publication date: 1998-03-11T00:00:00Z
review text: Let \(k\) be a field of characteristic \(p>0\) and \(K\) be a function field of one variable over \(k\) (that is: a field of transcendental degree one over \(k)\). Let \(C/K: f(x,y)=0\) be a plane curve with coefficients in \(K\). Denote by \(f^{(n)} (x,y)\) the \(n\)-th twist of \(f\) with the Frobenius map of \(K\) and let \(C^{(n)}\) be the plane curve defined by the affine equation \(f^{(n)} (x,y)=0\). If \((x,y)\) is a \(K\)-rational point of \(C^{(n-1)}\), that is a solution of \(f^{(n-1)} (x,y)=0\), then obviously \((x,y)^{(1)}: =(x^p,y^p)\) is a \(K\)-rational point of \(C^{(n)}\). Such a solution of \(f^{(n)}\) is called old. A new solution of \(f^{(n)}\) is a solution which is not the image of a solution of \(f^{(n-1)}\) by the Frobenius element. -- In the paper under review the author proves the following result: Theorem 1. Assume that the genus of the curve \(C\) (over \(\overline K)\) is at least 2 and suppose that infinitely many of the equations \(f^{(n)} (x,y)=0\) have new solutions. Then there is a change of variables (that is a birational map of curves) in some finite extension of \(K\) which sends \(f\) to a polynomial with coefficients in a finite field. Note that conversely, if \(f\) is a polynomial which has coefficients in some finite field, then infinitely many \(f^{(n)}\) will be equal to \(f\), hence have solutions which are not Frobenius twists if \(f\) does. Using the geometric Mordell conjecture, the author gets the following: Corollary 1. Assume that the genus of the curve \(C\) (over \(\overline K)\) is at least 2 and suppose it is not birational over any finite extension to a curve defined over a finite field. Then the set of solutions of \(f(x,y)=0\) in the field \(K^{1/p^\infty}: =\lim_n K^{1/p^n}\) is finite.
reviewed by: David Harari
Mathematics Subject Classification ID: 14H25
Mathematics Subject Classification ID: 14G05
Mathematics Subject Classification ID: 12F15
zbMATH DE Number: 1117488
zbMATH Keywords: characteristic \(p\)
zbMATH Keywords: plane curve
zbMATH Keywords: Frobenius map
zbMATH Keywords: geometric Mordell conjecture
zbMATH Keywords: finite field
MaRDI profile type: Publication
full work available at URL: mrl.1997.v4.n5.a4
OpenAlex ID: W2151456332
DOI: 10.4310/MRL.1997.V4.N5.A4
description: scientific article; zbMATH DE number 1117488