A field theoretic proof of Hermite's theorem for function fields (Q500858): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
Import241208061232 (talk | contribs)
Normalize DOI.
 
(7 intermediate revisions by 6 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s00013-015-0818-6 / rank
Normal rank
 
Property / reviewed by
 
Property / reviewed by: Gabriel Daniel Villa-Salvador / rank
Normal rank
 
Property / reviewed by
 
Property / reviewed by: Gabriel Daniel Villa-Salvador / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s00013-015-0818-6 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2237841572 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Topics in the theory of Riemann surfaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3139838 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finiteness theorems for abelian varieties over number fields. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4368843 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4486426 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5612629 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Number theory III: Diophantine geometry / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4315731 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4254917 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2776773 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5490909 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3856855 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Small generators of function fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic Function Fields and Codes / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S00013-015-0818-6 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 19:37, 9 December 2024

scientific article
Language Label Description Also known as
English
A field theoretic proof of Hermite's theorem for function fields
scientific article

    Statements

    A field theoretic proof of Hermite's theorem for function fields (English)
    0 references
    0 references
    5 October 2015
    0 references
    For a number field \(K\) we have from Minkowski's theorem that \(|d_{ K/{\mathbb Q}}|\geq \frac{n^n}{n!}\big(\frac{\pi}{4}\big)^{n/2}\), where \(n=[K:{\mathbb Q}]\) and \(d_{K/{\mathbb Q}}\) is the discriminant. Hermite's classical theorem establishes that there exist only finitely many number fields with bounded discriminant. Thus, to prove Hermite's theorem, it suffices to show that there are only finitely many number fields of bounded discriminant and degree. There is a proof of Taguchi of the analogue of Hermite's theorem for global function fields. In this paper the author gives a more elementary proof using field theoretic techniques, inspired by a lemma of Faltings that compares semisimple \(\ell\)-adic Galois representations. Since constant extensions are unramified and inseparable extensions might have all the primes ramified, Hermite's theorem is given for geometric separable extensions. The main result is: For any \(B>0\), there exist only finitely many finite, separable, geometric extensions \(K/k\) with \(\deg_k(d_{K/k})<B\), where \(k={\mathbb F}(T)\), \({\mathbb F}\) is a finite field, and \(d_{K/k}\) is the discriminant of \(K/k\). Using the Riemann-Hurwitz genus formula, the proof of the main result is reduced to prove the weak form of Hermite's theorem: For any integers \(N,C>0\), there exist at most finitely many Galois extensions of global function fields \(K/k\) with \( [K:k]\leq N\) and \(\deg_k d_{K/k}<C\). To prove the weak form of Hermite's theorem, the author shows that if it were false, then it can be produced infinitely many geometric extensions with the same Galois group and bounded discriminant, and a uniform bound \(B^{\prime}\) such that every conjugacy class of the Galois group of norm \(> B^{\prime}\) is realizable. Then, by the Chebotarev density theorem, geometric extensions with the same Galois group and bounded discriminant, are determined by finitely many Frobenius conjugacy classes leading to a contradiction.
    0 references
    Riemann-Hurwitz genus formula
    0 references
    Hermite's theorem
    0 references
    global function fields
    0 references
    discriminant
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers