Computing quadratic function fields with high 3-rank via cubic field tabulation

DOI10.1216/RMJ-2015-45-6-1985MaRDI QIDQ261672zbMATH OpenOpenAlexFDO

Authors Pieter Rozenhart, Michael J. Jacobson jun., Renate Scheidler

Publication date 24 March 2016

Published in Rocky Mountain Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1003.1287, https://projecteuclid.org/euclid.rmjm/1457960344

zbMATH Keywords

ideal class groupquadratic function fieldthree rank

Mathematics Subject Classification ID

Quadratic extensions (11R11) Arithmetic theory of algebraic function fields (11R58) Class groups and Picard groups of orders (11R65) Algebraic number theory computations (11Y40)

Abstract: This paper presents an algorithm for generating all imaginary and unusual discriminants up to a fixed degree bound that define a quadratic function field of positive 3-rank. Our method makes use of function field adaptations of a method due to Belabas for finding quadratic number fields of high 3-rank and of a refined function field version of a theorem due to Hasse. We provide numerical data for discriminant degree up to 11 over the finite fields $mathbb{F}_5,mathbb{F}_7,mathbb{F}_{11}$ and $mathbb{F}_{13}$. A special feature of our technique is that it produces quadratic function fields of minimal genus for any given 3-rank. Taking advantage of certain $mathbb{F}_q(t)$-automorphisms in conjunction with Horner's rule for evaluating polynomials significantly speeds up our algorithm in the imaginary case; this improvement is unique to function fields and does not apply to number field tabulation. These automorphisms also account for certain divisibility properties in the number of fields found with positive 3-rank. Our numerical data mostly agrees with the predicted heuristics of Friedman-Washington and partial results on the distribution of such values due to Ellenberg-Venkatesh-Westerland for quadratic function fields over the finite field $finfldqq$ where $qequiv-1pmod3$. The corresponding data for $qequiv1pmod3$ does not agree closely with the previously mentioned heuristics and results, but does agree more closely with some recent number field conjectures of Malle and some work in progress on proving such conjectures for function fields due to Garton.

Recommendations

• Computation of the Class Number and Class Group of a Complex Cubic Field
• Tabulation of Cubic Function Fields with Imaginary and Unusual Hessian
• On Totally Real Cubic Fields
• On the Computation of a Table of Complex Cubic Fields with Discriminant D > -10 6
• scientific article; zbMATH DE number 850105
• Construction of all cubic function fields of a given square-free discriminant
• On the Computation of Unit Groups and Class Groups of Totally Real Quartic Fields
• Unconditional class group tabulation of imaginary quadratic fields to \(| \Delta| < 2^{40}\)
• A fast algorithm to compute cubic fields
• On computing non-Galois cubic global function fields of prescribed discriminant in characteristic \(>3\)

Cites work

• scientific article; zbMATH DE number 5896096 (Why is no real title available?)
• scientific article; zbMATH DE number 4134176 (Why is no real title available?)
• scientific article; zbMATH DE number 3889661 (Why is no real title available?)
• scientific article; zbMATH DE number 1009708 (Why is no real title available?)
• scientific article; zbMATH DE number 1033192 (Why is no real title available?)
• Algorithmic Number Theory
• Class group frequencies of real quadratic function fields: The degree 4 case
• Cohen-Lenstra heuristic and roots of unity
• Cohen-Lenstra heuristics and the Spiegelungssatz: function fields
• Constructing and tabulating dihedral function fields
• Construction of all cubic function fields of a given square-free discriminant
• Construction of hyperelliptic function fields of high three-rank
• Homological stability for Hurwitz spaces and the Cohen-Lenstra conjecture over function fields
• New Computations Concerning the Cohen-Lenstra Heuristics
• On Some Families of Imaginary Quadratic Fields
• On computing non-Galois cubic global function fields of prescribed discriminant in characteristic \(>3\)
• On quadratic fields with large 3-rank
• On real quadratic function fields of Chowla type with ideal class number one
• On the distribution of class groups of number fields
• Random Dieudonné modules, random \(p\)-divisible groups, and random curves over finite fields
• Random matrices, the Cohen-Lenstra heuristics, and roots of unity
• Results of Cohen-Lenstra type for quadratic function fields
• Statistics of number fields and function fields
• Tabulation of Cubic Function Fields with Imaginary and Unusual Hessian
• Tabulation of cubic function fields via polynomial binary cubic forms
• The Scholz theorem in function fields
• The distribution of class groups of function fields

Cited in

(5)

• On quadratic fields with large 3-rank
• Tabulation of Cubic Function Fields with Imaginary and Unusual Hessian
• Imaginary quadratic function fields with ideal class group of prime exponent
• Tabulation of cubic function fields via polynomial binary cubic forms
• On computing non-Galois cubic global function fields of prescribed discriminant in characteristic \(>3\)

Describes a project that uses

Uses Software

• NTL

This page was built for publication: Computing quadratic function fields with high 3-rank via cubic field tabulation

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