Function fields of class number one

DOI10.1016/J.JNT.2015.02.005MaRDI QIDQ2343187zbMATH OpenOpenAlexFDO

Authors Qibin Shen, Shuhui Shi

Publication date 4 May 2015

Published in Journal of Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1412.3505

zbMATH Keywords

class number onecongruence function fields

Mathematics Subject Classification ID

Class numbers, class groups, discriminants (11R29) Arithmetic theory of algebraic function fields (11R58)

Abstract: In 1975, [LMQ] listed 7 function felds over fnite felds (up to isomorphism) with positive genus and class number (i.e., the size of the divisor class group of degree zero) one and claimed to prove that these were the only ones such. In [S1], Claude Strirpe found 8th one! In this paper, we fix the argument in [LMQ] to show that this 8th example could have been found by [LMQ] method and is the only one, so that the list is now complete.

Review text

Let \(K\) be a congruence function field with field of constants the finite field \({\mathbb F}_q\) of \(q\) elements. In [Acta Arith. 20, 423--432 (1972; Zbl 0237.12007)], \textit{M. L. Madan} and \textit{C. S. Queen} showed that with one possible exception, there exist seven function fields \(K\) of positive genus and class number one. The possible exception would be a field of genus \(4\) over \({\mathbb F}_2\) and such that \(N_1=N_2=N_3=0\) and \(N_4=1\) where \(N_i\) denotes the number of places in \(K\) of degree \(i\). In [\textit{J. R. C. Leitzel} et al., J. Number Theory 7, 11--27 (1975; Zbl 0318.12009)] Leitzel, M. Madan and C. Queen claimed that such exception in fact does not exist. However in [J. Number Theory 143, 402--404 (2014; Zbl 1296.11144)] \textit{C. Stirpe} found a field \(K\) over \({\mathbb F}_2\) of genus \(4\) and class number one. The method of Leitzel, Madan and Queen consisted of showing that the possible field \(K\) should be defined by the intersection of a cubic surface and a quadratic surface. Then the problem is reduced to checking \(64\) cases. Thus the problem was merely computational. They had to verify if some of these cases satisfy \(N_1=N_2=N_3=0\) and \(N_4=1\). Sixty three of these fields fail this condition but exactly one satisfies the condition. The paper under review just checks again the cases given by Leitzel, Madan and Queen fixing the gap. The same result appears in a paper of \textit{P. Mercuri} and \textit{C. Stirpe} [J. Number Theory 154, 365--374 (2015; Zbl 1323.11094)]. In the paper of Mercuri and Stirpe it is also given a structural proof of the uniqueness of the field \(K\) over \({\mathbb F}_2\) of genus \(4\) and class number \(1\). They use the basic properties of function fields and class field theory to show the existence of a unique function field \(K/{\mathbb F}_2\) of genus \(4\) and such that \(N_1=N_2=N_3=0\) and \(N_4=1\).

Recommendations

• Classification of algebraic function fields with class number one
• Congruence function fields with class number one
• The relative class number one problem for function fields. I
• Algebraic function fields of class number one
• A counterexample to `Algebraic function fields with small class number'

Cites work

• A counterexample to `Algebraic function fields with small class number'
• Algebraic function fields of class number one
• Algebraic function fields with small class number
• Gauss’ class number problem for imaginary quadratic fields
• scientific article; zbMATH DE number 2130773 (Why is no real title available?)
• On unique factorization in certain rings of algebraic functions
• Shtukas and Jacobi sums

Cited in

(15)

• Rabinowitsch times six
• The relative class number one problem for function fields. I
• Variation of a theme of Landau-Shanks in positive characteristic
• Classification of algebraic function fields with class number one
• Congruence function fields with class number one
• scientific article; zbMATH DE number 3620015 (Why is no real title available?)
• Maps between curves and arithmetic obstructions
• Algebraic function fields of class number one
• Cyclotomic function fields with ideal class number one
• The relative class number one problem for function fields. III
• Isogeny classes of abelian varieties over finite fields in the LMFDB
• The submodularity of the covolume function in global function fields
• Weber's class number problem and its variants
• The \(p\)-adic limits of class numbers in \(\mathbb{Z}_p\)-towers
• A counterexample to `Algebraic function fields with small class number'

This page was built for publication: Function fields of class number one

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2343187)