Bounds on the number of non-rational subfields of a function field (Q1820819): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Horst G. Zimmer / rank | |||
Property / reviewed by | |||
Property / reviewed by: Horst G. Zimmer / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4143433 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5772619 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Castelnuovo's equivalence defect. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Normendomophsimen abelscher Varietäten. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the bound for the De Franchis - Severi theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Remark on Mordell's Conjecture / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5628266 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lectures on old and new results on algebraic curves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Teilkörper höheren Geschlechts eines algebraischen Funktionenkörpers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5623828 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3246484 / rank | |||
Normal rank |
Latest revision as of 19:10, 17 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Bounds on the number of non-rational subfields of a function field |
scientific article |
Statements
Bounds on the number of non-rational subfields of a function field (English)
0 references
1986
0 references
Let C be a smooth, geometrically connected, projective algebraic curve defined over a field \(K\). Denote by \(J_ C\) the Jacobian and by \(F=K(C)\) the function field of \(C\) over \(K\), and let \(g=g_ F\) be the genus of F. To every separable, nonconstant morphism \(f: C\to C'\) of \(C\) to an algebraic curve \(C'\) over \(K\) with function field \(F'=K(C')\) of genus g'\(\geq 2\), one can associate an invariant \(\gamma^*_ E\) in the K- endomorphism ring \(End_ K(J_ C)\) of \(J_ C\) by taking \[ \gamma^*_ E:=\gamma^*_ f:=f^*\circ f_*: J_ C\to^{f_*}J_{C'}\to^{f^*}J_ C\quad, \] where \(f_*\) (resp. \(f^*)\) is the direct (resp. inverse) image map acting on the respective Jacobian varieties and \(E\) is the image of \(F'\), \(E:=f^* F'\leq F\), a subfield of \(F\). The classical theorem of de Franchis states that a) the number of invariants \(\gamma^*_ E\in End_ K(J_ C)\) is finite, and b) for any fixed invariant \(\gamma^*_ E\in End_ K(J_ C)\), there are at most finitely many subfields \(E/K\) of \(F/K\). By modifying the classical proof of de Franchis in the setting of \textit{P. Samuel} [Lectures on old and new results on algebraic curves, Tata Inst. Fundam. Res. (Bombay 1966; Zbl 0165.241)], \textit{A. Howard} and \textit{A. J. Sommese} [Ann. Sc. Norm. Super. Pisa, Cl. Sci., IV. Ser. 10, 429-436 (1983; Zbl 0534.14016)], in the case of \(K={\mathbb{C}}\), gave an explicit upper bound for the number \(N_ F\) of non-rational subfields of \(F/K\) in terms of the genus g of \(F/K\). (An error in their result was corrected by the author.) In the present very interesting and important paper, an ''Angle theorem'' is proved and combined with a ''packing argument'' due to Mumford to obtain a new and effective proof of de Franchis' theorem. In fact the author establishes the following refined explicit bound. Let r be the rank of \(End_ K(J_ C)\). It is known that \(r\leq r(g)\) for \(r(g)=2g^ 2\) or \(=4g^ 2\), according as the characteristic of K is \(=0\) or \(\neq 0\), respectively. Then, if \(g>g'\geq 2\), the number \(N_ F(g')\) of separable subfields of \(F/K\) of genus \(g'\) satisfies the inequality \[ N_ F(g')\leq (C+1)^{r-1} - (C-1)^{r-1},\text{ where } C:=2 \sqrt{\frac{(g-g')g'}{(g'-1)g}}\quad. \] It follows from this estimate that the function field F/K has at most \[ (g-1) 2^{r(g)-2} (2^{r(g)-1} -1) \] separable subfields of genus \(\geq 2.\) Slightly weaker versions of the main theorems of this paper had been announced earlier [Tagungsberichte, Math. Forschungsinstitut Oberwolfach 35/81, p. 11 (1981)].
0 references
number of non-rational subfields
0 references
number of separable subfields
0 references
number of morphisms of algebraic curves
0 references
Chow coordinates
0 references
theorem of the base
0 references
Jacobian
0 references
genus
0 references
function field
0 references
Angle theorem
0 references
de Franchis' theorem
0 references