On the tame kernels of imaginary cyclic quartic fields with class number one

DOI10.1016/J.JNT.2019.02.005MaRDI QIDQ2631704zbMATH OpenOpenAlexFDO

Authors Long Zhang, Kejian Xu

Publication date 16 May 2019

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

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

zbMATH Keywords

tame kernelcyclic quartic fieldobject-oriented programmulti-threaded parallel computing

Mathematics Subject Classification ID

Class numbers, class groups, discriminants (11R29) Algebraic number theory computations (11Y40) (K)-theory of global fields (11R70) Étale cohomology, higher regulators, zeta and (L)-functions ((K)-theoretic aspects) (19F27) Higher symbols, Milnor (K)-theory (19D45)

Abstract: Tate first proposed a method to determine $K_{2}mathcal{O}_F,$ the tame kernel of $F,$ and gave the concrete computations for some special quadratic fields with small discriminant. After that, many examples for quadratic fields with larger discriminants are given, and similar works also have been done for cubic fields and for some special quartic fields with discriminants not large. In the present paper, we investigate the case of more general imaginary cyclic quartic field $F=mathbbQBig(sqrt-(D+BsqrtD)Big)$ with class number one and large discriminants. The key problem is how to decrease the huge theoretical bound appearing in the computation to a manageable one and the main difficulty is how to deal with the large-scale data emerged in the process of computation. To solve this problem we have established a general architecture for the computation, in particular we have done the works: (1) the PARI's functions are invoked in C++ codes; (2) the parallel programming approach is used in C++ codes; (3) in the design of algorithms and codes, the object-oriented viewpoint is used, so an extensible program is obtained. As an application of our program, we prove that $K_{2}mathcal{O}_F$ is trivial in the following three cases: $B=1,D=2$ or $B=2,D=13$ or $B=2,D=29.$ In the last case, the discriminant of $F$ is 24389, hence, we can claim that our architecture also works for the computation of the tame kernel of a number field with discriminant less than 25000.

Recommendations

• Tame and wild kernels of quadratic imaginary number fields
• The tame kernel of imaginary quadratic fields with class number 2 or 3
• scientific article; zbMATH DE number 5171258
• A remark on computing the tame kernel of quadratic imaginary fields
• The Tame Kernel of Multiquadratic Number Fields
• Tame kernels of quaternion number fields
• Computing the tame kernel of quadratic imaginary fields
• On class numbers of imaginary quadratic and quartic fields
• Class numbers of imaginary cyclic quartic fields and related quaternary systems
• scientific article; zbMATH DE number 1559510

Cites work

• scientific article; zbMATH DE number 3799905 (Why is no real title available?)
• A finiteness theorem for K\(_2\) of a number field
• Bounds for computing the tame kernel
• Calculation of the Class Numbers of Imaginary Cyclic Quartic Fields
• Computation of \(K_ 2\mathbb{Z}[\frac{1+\sqrt{-35}}{2}]\)
• Computation of \(K_ 2\mathbb{Z}[\sqrt {-6}]\)
• Computing the Tame Kernel of ℚ(ζ₈)
• Computing the tame kernel of quadratic imaginary fields
• Generalization of Thue's theorem and computation of the group \(K_ 2 O_ F\)
• Generators and relations for \(K_{2}O_{F}\)
• Higher algebraic K-theory: I
• On tame kernels and second regulators of number fields and their subfields
• On the \(p\)-rank of tame kernel of number fields
• Tame and wild kernels of quadratic imaginary number fields
• Tame kernels of cubic cyclic fields
• The integers of a cyclic quartic field
• The tame kernel of \(\mathbb Q(\zeta_5)\) is trivial

Cited in

(3)

• A remark on computing the tame kernel of quadratic imaginary fields
• The shortest vector problem and tame kernels of cyclotomic fields
• The tame kernel of imaginary quadratic fields with class number 2 or 3

This page was built for publication: On the tame kernels of imaginary cyclic quartic fields with class number one

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