Class numbers of orders in cubic fields

Anton Deitmar

DOI: https://doi.org/10.48550/arXiv.math/0005242

2001-09-20

Abstract:We give an asymptotic formula for class numbers of orders in cubic number fields.

Number Theory

What problem does this paper attempt to address?

On abelian cubic fields with large class number

Jérémy Dousselin

2023-03-10

Abstract:We investigate the large values of class numbers of cubic fields, showing that one can find arbitrary long sequences of "close" abelian cubic number fields with class numbers as large as possible. We also give a first step toward an explicit lower bound for extreme values of class numbers of abelian cubic fields.

Number Theory
Class Number and Regulator Computation in Purely Cubic Function Fields of Unit Rank Two

Felix Fontein,Eric Landquist,Renate Scheidler

DOI: https://doi.org/10.48550/arXiv.1001.4095

2010-01-23

Abstract:We describe and give computational results of a procedure to compute the divisor class number and regulator of most purely cubic function fields of unit rank 2. Our implementation is an improvement to Pollard's Kangaroo method in infrastructures, using distribution results of class numbers as well as information on the congruence class of the divisor class number, and an adaptation that efficiently navigates these torus-shaped infrastructures. Moreover, this is the first time that an efficient "square-root" algorithm has been applied to the infrastructure of a global field of unit rank 2. With the exception of certain function fields defined by Picard curves, our examples are the largest known divisor class numbers and regulators ever computed for a function field of genus 3.

Number Theory
On the asymptotics of cubic fields ordered by general invariants

Arul Shankar,Frank Thorne

2024-01-30

Abstract:In this article, we introduce a class of invariants of cubic fields termed generalized discriminants. We then obtain asymptotics for the families of cubic fields ordered by these invariants. In addition, we determine which of these families satisfy the Malle--Bhargava heuristic.

Number Theory
Class Number Formulas for Certain Biquadratic Fields

Elizabeth Athaide,Emma Cardwell,Christina Thompson

2023-09-08

Abstract:We consider the class numbers of imaginary quadratic extensions $F(\sqrt{-p})$, for certain primes $p$, of totally real quadratic fields $F$ which have class number one. Using seminal work of Shintani, we obtain two elementary class number formulas for many such fields. The first expresses the class number as an alternating sum of terms that we generate from the coefficients of the power series expansions of two simple rational functions that depend on the arithmetic of $F$ and $p$. The second makes use of expansions of $1/p$, where $p$ is a prime such that $p \equiv 3 \pmod{4}$ and $p$ remains inert in $F$. More precisely, for a generator $\varepsilon_F$ of the totally positive unit group of $\mathcal{O}_F$, the base-$\varepsilon_{F}$ expansion of $1/p$ has period length $\ell_{F,p}$, and our second class number formula expresses the class number as a finite sum over disjoint cosets of size $\ell_{F,p}$.

Number Theory
Average value of the divisor class numbers of real cubic function fields

Yoonjin Lee,Jungyun Lee,Jinjoo Yoo

DOI: https://doi.org/10.1515/math-2023-0160

2024-01-10

Open Mathematics

Abstract:We compute an asymptotic formula for the divisor class numbers of real cubic function fields K m = k ( m 3 ) , where F q is a finite field with q elements, q â‰¡ 1 ( mod 3 ) , k â‰” F q ( T ) is the rational function field, and m âˆˆ F q [ T ] is a cube-free polynomial; in this case, the degree of m is divisible by 3. For computation of our asymptotic formula, we find the average value of âˆ£ L ( s , Ï‡ ) âˆ£ 2 evaluated at s = 1 when Ï‡ goes through the primitive cubic even Dirichlet characters of F q [ T ] , where L ( s , Ï‡ ) is the associated Dirichlet L -function.

mathematics
Computations in Cubic Function Fields of Characteristic Three

Mark Bauer,Jonathan Webster

DOI: https://doi.org/10.48550/arXiv.1009.0737

2010-09-04

Abstract:This paper contains an account of arbitrary cubic function fields of characteristic three. We define a standard form for an arbitrary cubic curve and consider its function field. By considering an integral basis for the maximal order of these function fields, we are able to calculate the field discriminant and the genus. We also describe the splitting behavior of any place, and give composition and reduction algorithms for arithmetic in the ideal class group.

Number Theory
Upper Bound and Formula for Class Numbers of Abelian Function Fields

Lr Ma,Xk Zhang

2006-01-01

Abstract:For any abelian function field K (i.e. any subfield of a cyclotomic function field L = k (Lambda(P)) over the rational function field k) with conductor being an irreducible polynomial over a finite field of odd characteristic, by studying the Carlitz-module structure and the character group of K, an explicit upper bound and a calculating formula of the relative divisor class number h(-) (K) of K are given. Our calculated results of K develop Rosen's recent results of L.
On the 3-rank of tame kernels of certain pure cubic number fields

YuanYuan Li,HouRong Qin

DOI: https://doi.org/10.1007/s11425-010-4088-2

2010-01-01

Science China Mathematics

Abstract:In this paper, we present some explicit formulas for the 3-rank of the tame kernels of certain pure cubic number fields, and give the density results concerning the 3-rank of the tame kernels. Numerical examples are given in Tables 1 and 2.
A computable formula for the class number of the imaginary quadratic field $Q(\sqrt{-p}), \ p=4n-1$

Jorge Garcia

DOI: https://doi.org/10.3934/era.2021065

2021-03-27

Abstract:A formula for the class number $h$ of the imaginary quadratic field $Q(\sqrt{-p}$ is obtained by counting on a specific way the quadratic residues of a prime number of the form $p=4n-1.$ Formulas for the sum of the quadratic residues are also found.

Number Theory
The mean number of -torsion elements in the class groups of cubic orders

Ashvin A. Swaminathan

DOI: https://doi.org/10.4171/cmh/584

2024-11-06

Commentarii Mathematici Helvetici

Abstract:We determine the mean number of 2-torsion elements in class groups of cubic orders, when such orders are enumerated by discriminant. Specifically, we prove that when isomorphism classes of totally real (resp., complex) cubic orders are enumerated by discriminant, the average 2 -torsion in the class group is 1 + \frac{1}{4} imes \frac{\zeta(2)}{\zeta(4)} (resp., 1 + \frac{1}{2} imes \frac{\zeta(2)}{\zeta(4)} ). In particular, we find that the average 2 -torsion in the class group increases when one ranges over all orders in cubic fields instead of restricting to the subfamily of rings of integers of cubic fields, where the average 2 -torsion in the class group was first determined in work of Bhargava to be \frac{5}{4} (resp., \frac{3}{2} ).By work of Bhargava–Varma, proving this result amounts to obtaining an asymptotic count of the number of "reducible" \operatorname{SL}_{3}(\mathbb{Z}) -orbits on the space \mathbb{Z}^{2} \otimes_{\mathbb{Z}}\operatorname{Sym}^{2} \mathbb{Z}^{3} of 3 imes 3 symmetric integer matrices having bounded invariants and satisfying local conditions. In this paper, we resolve the generalization of this orbit-counting problem where the dimension 3 is replaced by any fixed odd integer N \geq 3 . More precisely, we determine asymptotic formulas for the number of reducible \operatorname{SL}_{N}(\mathbb{Z}) -orbits on \mathbb{Z}^{2} \otimes_{\mathbb{Z}}\operatorname{Sym}^{2} \mathbb{Z}^{N} satisfying general infinite sets of congruence conditions.

mathematics
An algorithm to compute relative cubic fields

Anna Morra

DOI: https://doi.org/10.48550/arXiv.1103.2901

2011-08-26

Abstract:Let k be an imaginary quadratic number field (with class number 1). We describe a new, essentially linear-time algorithm, to list all isomorphism classes of cubic extensions L/k up to a bound X on the norm of the relative discriminant ideal. The main tools are Taniguchi's generalization of Davenport-Heilbronn parametrisation of cubic extensions, and reduction theory for binary cubic forms over imaginary quadratic fields. Finally, we give numerical data for k=Q(i), and we compare our results with ray class field algorithm ones, and with asymptotic heuristics, based on a generalization of Roberts' conjecture.

Number Theory
Theoretical and Experimental Approach to p-Class Field Towers of Cyclic Cubic Number Fields

Daniel C. Mayer

DOI: https://doi.org/10.48550/arXiv.2211.11123

2022-11-20

Number Theory

Abstract:Cyclic number fields of odd prime degree are constructed as ray class fields over the rational number field. They are collected in multiplets sharing a common conductor and discriminant. The algorithms are implemented in Magma and applied to all cyclic quintic and cyclic cubic fields with conductors below 100000. Our primary attention is devoted to the theory of cyclic cubic fields with two or three prime divisors of the conductor. These fields form doublets and quartets. Theoretical techniques comprise cubic residue conditions between the primes dividing the conductor, the structure of 3-class groups of all components of doublets and quartets, Galois cohomology of unit groups and ambiguous principal ideals, absolute genus fields and their bicyclic bicubic subfields, class number relations, transfer kernels and abelian quotient invariants of unramified cyclic cubic extensions and their impact on the class field tower, pattern recognition via Artin transfers on descendant trees of finite groups with order a power of 3, the Shafarevich Theorem on the relation rank of the 3-class field tower group, and the Galois action on the tower group and on its metabelianization. Rigorous proofs are given for the first occurrences of three-stage towers over cyclic cubic fields with elementary bicyclic or tricyclic or non-elementary bicyclic 3-class group. Experimentally, the second p-class groups and the length of the p-class tower are determined for all conductors below 100000 and for p=2,3,5, with the exception of the few intricate octets. An interesting application is able to identify and realize the closed groups by Andozhskii and Tsvetkov.
Kuroda's formula and arithmetic statistics

Stephanie Chan,Djordjo Milovic

DOI: https://doi.org/10.48550/arXiv.1905.09745

2019-05-23

Number Theory

Abstract:Kuroda's formula relates the class number of a multi-quadratic number field $K$ to the class numbers of its quadratic subfields $k_i$. A key component in this formula is the unit group index $Q(K) = [\mathcal{O}_{K}^{\times}: \prod_i\mathcal{O}_{k_i}^{\times}]$. We study how $Q(K)$ behaves on average in certain natural families of totally real biquadratic fields $K$ parametrized by prime numbers.
The mean number of $2$-torsion elements in the class groups of cubic orders

Ashvin Swaminathan

2024-08-31

Abstract:We determine the mean number of 2-torsion elements in class groups of cubic orders, when such orders are enumerated by discriminant. Specifically, we prove that when isomorphism classes of totally real (resp., complex) cubic orders are enumerated by discriminant, the average $2$-torsion in the class group is $1 + \frac{1}{4} \times \frac{\zeta(2)}{\zeta(4)}$ (resp., $1 + \frac{1}{2} \times \frac{\zeta(2)}{\zeta(4)}$). In particular, we find that the average $2$-torsion in the class group increases when one ranges over all orders in cubic fields instead of restricting to the subfamily of rings of integers of cubic fields, where the average $2$-torsion in the class group was first determined in work of Bhargava to be $\frac{5}{4}$ (resp., $\frac{3}{2}$). By work of Bhargava--Varma, proving this result amounts to obtaining an asymptotic count of the number of "reducible" $\operatorname{SL}_3(\mathbb{Z})$-orbits on the space $\mathbb{Z}^2 \otimes_{\mathbb{Z}} \operatorname{Sym}^2 \mathbb{Z}^3$ of $3 \times 3$ symmetric integer matrices having bounded invariants and satisfying local conditions. In this paper, we resolve the generalization of this orbit-counting problem where the dimension $3$ is replaced by any fixed odd integer $N \geq 3$. More precisely, we determine asymptotic formulas for the number of reducible $\operatorname{SL}_N(\mathbb{Z})$-orbits on $\mathbb{Z}^2 \otimes_{\mathbb{Z}} \operatorname{Sym}^2 \mathbb{Z}^N$ satisfying general infinite sets of congruence conditions.

Number Theory
On the distribution of class groups of number fields

Gunter Malle

DOI: https://doi.org/10.1063/1.3507135

2009-12-08

Abstract:We propose a modification of the predictions of the Cohen--Lenstra heuristic for class groups of number fields in the case where roots of unity are present in the base field. As evidence for this modified formula we provide a large set of computational data which show close agreement.

Number Theory
Group theory of cyclic cubic number fields

Daniel C. Mayer,Siham Aouissi,Bill Allombert,Abderazak Soullami

2024-06-10

Abstract:Astonishing new discoveries with quartets and octets of cyclic cubic fields sharing a common conductor are presented. Four kinds of graphs describing cubic residue conditions among the prime divisors of the conductor enforce elementary bi- or tricyclic 3-class groups and either a metabelian 3-class field tower group of coclass at least two or a closed Andozhskii-Tsvetkov group of order 6561. In the latter situation, abelian type invariants of first and second order are required for the identification.

Number Theory
Counting cusp forms by analytic conductor

Farrell Brumley,Djordje Milićević

2023-07-21

Abstract:Let $F$ be a number field and $n\geqslant 1$ an integer. The universal family is the set $\mathfrak{F}$ of all unitary cuspidal automorphic representations on ${\rm GL}_n$ over $F$, ordered by their analytic conductor. We prove an asymptotic for the size of the truncated universal family $\mathfrak{F}(Q)$ as $Q\rightarrow\infty$, under a spherical assumption at the archimedean places when $n\geqslant 3$. We interpret the leading term constant geometrically and conjecturally determine the underlying Sato--Tate measure. Our methods naturally provide uniform Weyl laws with logarithmic savings in the level and strong quantitative bounds on the non-tempered discrete spectrum for ${\rm GL}_n$.

Number Theory,Representation Theory
The Kummer ratio of the relative class number for prime cyclotomic fields

Neelam Kandhil,Alessandro Languasco,Pieter Moree,Sumaia Saad Eddin,Alisa Sedunova

2024-02-21

Abstract:Kummer's conjecture predicts the asymptotic growth of the relative class number of prime cyclotomic fields. We substantially improve the known bounds of Kummer's ratio under three scenarios: no Siegel zero, presence of Siegel zero and assuming the Riemann Hypothesis for the Dirichlet $L$-series attached to odd characters only. The numerical work in this paper extends and improves on our earlier preprint (arXiv:1908.01152) and demonstrates our theoretical results.

Number Theory
Tabulation of cubic function fields via polynomial binary cubic forms

Pieter Rozenhart,Michael Jacobson Jr.,Renate Scheidler

DOI: https://doi.org/10.48550/arXiv.1004.4785

2011-07-19

Abstract:We present a method for tabulating all cubic function fields over $\mathbb{F}_q(t)$ whose discriminant $D$ has either odd degree or even degree and the leading coefficient of $-3D$ is a non-square in $\mathbb{F}_{q}^*$, up to a given bound $B$ on the degree of $D$. Our method is based on a generalization of Belabas' method for tabulating cubic number fields. The main theoretical ingredient is a generalization of a theorem of Davenport and Heilbronn to cubic function fields, along with a reduction theory for binary cubic forms that provides an efficient way to compute equivalence classes of binary cubic forms. The algorithm requires $O(B^4 q^B)$ field operations as $B \rightarrow \infty$. The algorithm, examples and numerical data for $q=5,7,11,13$ are included.

Number Theory
Imaginary quadratic number fields with class groups of small exponent

Andreas-Stephan Elsenhans,Jürgen Klüners,Florin Nicolae

DOI: https://doi.org/10.48550/arXiv.1803.02056

2018-03-06

Abstract:Let $D<0$ be a fundamental discriminant and denote by $E(D)$ the exponent of the ideal class group $\text{Cl}(D)$ of $K={\mathbb Q}(\sqrt{D})$. Under the assumption that no Siegel zeros exist we compute all such $D$ with $E(D)$ is a divisor of $8$. We compute all $D$ with $|D|\leq 3.1\cdot 10^{20}$ such that $E(D)\leq 8$.

Number Theory

Class numbers of orders in cubic fields

On abelian cubic fields with large class number

Class Number and Regulator Computation in Purely Cubic Function Fields of Unit Rank Two

On the asymptotics of cubic fields ordered by general invariants

Class Number Formulas for Certain Biquadratic Fields

Average value of the divisor class numbers of real cubic function fields

Computations in Cubic Function Fields of Characteristic Three

Upper Bound and Formula for Class Numbers of Abelian Function Fields

On the 3-rank of tame kernels of certain pure cubic number fields

A computable formula for the class number of the imaginary quadratic field $Q(\sqrt{-p}), \ p=4n-1$

The mean number of -torsion elements in the class groups of cubic orders

An algorithm to compute relative cubic fields

Theoretical and Experimental Approach to p-Class Field Towers of Cyclic Cubic Number Fields

Kuroda's formula and arithmetic statistics

The mean number of $2$-torsion elements in the class groups of cubic orders

On the distribution of class groups of number fields

Group theory of cyclic cubic number fields

Counting cusp forms by analytic conductor

The Kummer ratio of the relative class number for prime cyclotomic fields

Tabulation of cubic function fields via polynomial binary cubic forms

Imaginary quadratic number fields with class groups of small exponent