Some remarks on the theory of cyclotomic function fields (Q5948862): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1976640194 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Class of Polynomials / rank
 
Normal rank
Property / cites work
 
Property / cites work: On a certain \(l\)-adic representation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3856844 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Explicit Class Field Theory for Rational Function Fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Number of divisor classes in algebraic function fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Cohomology Groups of Units for Z p -Extensions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cyclotomic function fields with divisor class number one / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the theory of congruence function fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Grunwald-Hasse-Wang's theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Der Primdivisorsatz für algebraische Funktionenkörper über einem endlichen Konstantenkörper / rank
 
Normal rank
Property / cites work
 
Property / cites work: On an analogue of a conjecture of Gross / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 21:19, 3 June 2024

scientific article; zbMATH DE number 1672104
Language Label Description Also known as
English
Some remarks on the theory of cyclotomic function fields
scientific article; zbMATH DE number 1672104

    Statements

    Some remarks on the theory of cyclotomic function fields (English)
    0 references
    12 November 2001
    0 references
    Let \(k={\mathbb F}_q(T)\) be a rational function field of characteristic \(p\). If \(M\in{\mathbb F}_q[T]\) and \(\Lambda_M\) denotes the \(M\)-torsion points of the Carlitz module, then \(k(\Lambda_M)\) is called the \(M\)-th cyclotomic extension of \(k\). If \(P\in{\mathbb F}_q[T]\) is irreducible, the authors show that \(\lim\limits_{\longleftarrow}\text{Gal}(k(\Lambda_{P^n})/k)\) has infinite \({\mathbb Z}_p\)-rank. This boils down to determining the group structure of \(({\mathbb F}_q[T]/(P^n))^*\), which is in general not cyclic. Secondly, the authors prove \(\lim\limits_{\deg(M)\to\infty}\frac{[k(\Lambda_M):k]}{g_M}=0\), where \(g_M\) denotes the genus of \(k(\Lambda_M)\). Thus an analogue of the Brauer-Siegel theorem due to \textit{M. Madan} and \textit{D. Madden} [Commun. Algebra 8, 1687-1697 (1980; Zbl 0435.12006)] can be applied which then says that \(\lim\limits_{g_M\to\infty}\frac{\ln h_M}{g_M\ln q}=1\), where \(h_M\) is the divisor class number of \(k(\Lambda_M)\). Finally, an analogue of a conjecture of B. H. Gross on the \(p\)-primary part \(C_S(p)\) of the \(S\)-class group of \({\mathbb Z}_p\)-extensions is discussed, where \(S\) is the set of ramified places. Using a criterion by \textit{M. Madan} and \textit{G. D. Villa-Salvador} [ Manuscr. Math. 61, 327-345 (1988; Zbl 0648.12012)], two geometric \({\mathbb Z}_p\)-extensions of \(k\) are constructed, one where the Galois invariant part of \(C_S(p)\) is finite and one where it is infinite. We point out that the statement in the middle of page 501 is not correct. It is easy to construct geometric cyclic extensions of \(k\) of degree \(p\) in which the infinite place is inert. These cannot be contained in any \(k(\Lambda_M)\) since in cyclotomic extensions the infinite place has inertia degree~1. Thus a small additional effort is needed to show that the two examples are indeed contained in a cyclotomic tower.
    0 references
    0 references
    cyclotomic function field
    0 references
    Galois group
    0 references
    Brauer-Siegel theorem
    0 references
    \({\mathbb Z}_p\)-extension
    0 references
    Gross's conjecture
    0 references
    0 references