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

DOI10.1016/J.JNT.2019.02.005zbMATH Open1445.11137arXiv1612.09362OpenAlexW2570358410MaRDI QIDQ2631704FDOQ2631704

Authors: Long Zhang, Kejian Xu 

Publication date: 16 May 2019

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

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.

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

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

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)

Cites Work

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

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)