Families of Cyclic Cubic Fields

Steve Balady

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

2015-11-16

Abstract:We describe a procedure for generating families of cyclic cubic fields with explicit fundamental units. This method generates all known families and gives new ones.

Number Theory

What problem does this paper attempt to address?

A family of cyclic quartic monogenic polynomials

P. Voutier

2024-09-19

Abstract:We produce an explicit family of totally real cyclic quartic polynomials that are monogenic in many cases, and conjecturally are monogenic and generating distinct quartic fields infinitely often.

Number Theory
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
Group theoretic approach to cyclic cubic fields

Siham Aouissi,Daniel C. Mayer

DOI: https://doi.org/10.3390/math12010126

2024-01-03

Abstract:Let (k1,k2,k3,k4) be a quartet of cyclic cubic number fields sharing a common conductor c=pqr divisible by exactly three prime(power)s p,q,r. For those components k of the quartet whose 3-class group Cl(3,k) = Z/3Z x Z/3Z is elementary bicyclic, the automorphism group M = Gal(F(3,2,k)/k) of the maximal metabelian unramified 3-extension of k is determined by conditions for cubic residue symbols between p,q,r and for ambiguous principal ideals in subfields of the common absolute 3-genus field k* of k1,k2,k3,k4. With the aid of the relation rank d2(M), it is decided whether M coincides with the Galois group G = Gal(F(3,infinity,k)/k) of the maximal unramified pro-3-extension of k.

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
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.
Families of curves over any finite field with a class number greater than the Lachaud - Martin-Deschamps bounds

Stéphane Ballet,Robert Rolland

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

2009-06-30

Number Theory

Abstract:We study and explicitly construct some families of asymptotically exact sequences of algebraic function fields. It turns out that these families have an asymptotical class number widely greater than the general Lachaud - Martin-Deschamps bounds. We emphasize that we obtain asymptotically exact sequences of algebraic function fields over any finite field $\F_q$, in particular when $q$ is not a square and that these sequences are dense towers.
Families of Unramified Extensions of Number Fields

Gene Ward Smith

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

2012-09-24

Number Theory

Abstract:Algebraic methods are used to construct families of unramified abelian extensions of some families of number fields with specified Galois groups.
Arithmetic Problems in Cubic and Quartic Function Fields

Tobias Bembom

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

2010-07-08

Abstract:One of the main themes in this thesis is the description of the signature of both the infinite place and the finite places in cubic function fields of any characteristic and quartic function fields of characteristic at least 5. For these purposes, we provide a new theory which can be applied to cubic and quartic function fields and to even higher dimensional function fields. One of the striking advantages of this theory to other existing methods is that is does not use the concept of p-adic completions and we can dispense of Cardano's formulae. Another key result comprises the construction of cubic function fields of unit rank 1 and 2, with an obvious fundamental system. One of the main ingredients for such constructions is the definition of the maximum value. This definition is new and very prolific in the context of finding fundamental systems. We conclude the thesis with miscellaneous results on the divisor class number h, including a new approach for finding divisors of h.

Number Theory
On cubic polynomials with the cyclic Galois group

Yury Kochetkov

2024-01-20

Abstract:A cubic Galois polynomial is a cubic polynomial with rational coefficients that defines a cubic Galois field. Its discriminant is a full square and its roots $x_1,x_2,x_3$ (enumerated in some order) are real. There exists (and only one) quadratic polynomial $q$ with rational coefficients such that $q(x_1)=x_2, q(x_2)=x_3, q(x_3)=x_1$. The polynomial $r=q(q)\text{ mod } p$ cyclically permutes roots of $p$ in the opposite order: $r(x_1)=x_3, r(x_3)=x_2, r(x_2)=x_1$. We prove that there exist a unique Galois polynomial $p_1$ and a unique Galois polynomial $p_2$ such that the polynomial $q$ cyclically permutes roots of $p_1$ and the polynomial $r$ do the same with roots of $p_2$. Polynomials $p$ and $p_1$ (and also $p$ and $p_2$) will be called \emph{coupled}. Two polynomials are \emph{linear equivalent}, if one of them is obtained from another by a linear change of variable. By $C(p)$ we denote the class of polynomials, linear equivalent to $p$. The coupling realizes a bijection between classes $C(p)$ and $C(p_1)$ (and between classes $C(p)$ and $C(p_2)$). Classes $C(p)$ and $C(p_1)$ (and classes $C(p)$ and $C(p_2)$) will be called \emph{adjacent}. We consider a graph: its vertices -- are classes of the linear equivalency and two vertices are connected by an edge, if the corresponded classes are adjacent. Connected components of this graph will be called \emph{superclasses}. In this work we give a description of superclasses.

Number Theory
Some new infinite families of non-$p$-rational real quadratic fields

Gary McConnell

2024-06-21

Abstract:Fix a finite collection of primes $\{ p_j \}$, not containing $2$ or $3$. Using some observations which arose from attempts to solve the SIC-POVMs problem in quantum information, we give a simple methodology for constructing an infinite family of simultaneously non-$p_j$-rational real quadratic fields, unramified above any of the $p_j$. Alternatively these may be described as infinite sequences of instances of $\mathbb{Q}(\sqrt{D})$, for varying $D$, where every $p_j$ is a $k$-Wall-Sun-Sun prime, or equivalently a generalised Fibonacci-Wieferich prime. One feature of these techniques is that they may be used to yield fields $K=\mathbb{Q}(\sqrt{D})$ for which a $p$-power cyclic component of the torsion group of the Galois groups of the maximal abelian pro-$p$-extension of $K$ unramified outside primes above $p$, is of size $p^a$ for $a\geq1$ arbitrarily large.

Number Theory,Quantum Physics
A note on the class number of certain real cyclotomic fields

Om Prakash

DOI: https://doi.org/10.1007/s13226-024-00544-0

2024-01-26

Indian Journal of Pure and Applied Mathematics

Abstract:We construct an infinite family of real cyclotomic fields with non-trivial class group. This result generalizes some results of [ 6 ] in the sense that our family includes theirs.

mathematics
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
Fundamental Unit System and Class Number of Real Bicyclic Biquadratic Number Fields

KP Wang

DOI: https://doi.org/10.3792/pjaa.77.147

2001-01-01

Abstract:In this note, we study the unit groups and class numbers of three classes of bicyclic biquadratic number fields. Following Wada and Zhang's methods, the unit group and class number of a bicyclic biquadratic number field can be represented by the fundamental units and class numbers of their quadratic subgroups. The reason why this method works in our case is that the fundamental unit of the quadratic subfields of our bicyclic biquadratic fields can be determined explicitly.
Heights and periods of algebraic cycles in families

Ziyang Gao,Shou-Wu Zhang

2024-10-29

Abstract:We consider the Beilinson-Bloch heights and Abel-Jacobian periods of homologically trivial Chow cycles in families. For the Beilinson-Bloch heights, we show that for any $g\ge 3$, we can construct a Zariski open dense subset $\mathcal{M}_g^{\mathrm{amp}}$ of $\mathcal{M}_g$, the coarse moduli of curves of genus $g$ over $\mathbb{Q}$, such that the heights of Ceresa cycles and Gross-Schoen cycles over $\mathcal{M}_g^{\mathrm{amp}}$ have a lower bound and satisfy the Northcott property. For the Abel-Jacobi periods, we prove that the Ceresa and Gross-Schoen cycle over every non-$\bar{\mathbb{Q}}$ point in $\mathcal{M}_g^{\mathrm{amp}}$ is non-torsion. We also prove results and make conjectures for any family $X \rightarrow S$ of smooth projective varieties and homologically trivial cocycles $Z$ defined over a number field. Using the Betti strata, we construct a Zariski open subset $S^{\mathrm{amp}}$ of $S_{\mathbb{C}}$ over which $Z_s$ is non-torsion for all transcendental points $s$ and prove a criterion for $S^{\mathrm{amp}}$ to be dense. We conjecture the rationality of $S^{\mathrm{amp}}$ and also conjecture that $S^{\mathrm{amp}}$ is precisely the open locus on which the Beilinson-Bloch height of $Z_s$ has a lower bound and satisfies the Northcott property.

Algebraic Geometry,Number Theory
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
Familles de polynomes liees aux courbes modulaires X_1(l) unicursales et points rationnels non-triviaux de courbes elliptiques quotient

Franck Leprevost,Michael E. Pohst,Andreas M. Schoepp

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

2003-01-31

Number Theory

Abstract:Soit l un entier et E_{c,l} la famille de Kubert des courbes elliptiques definies sur Q munies d'un point rationnel A d'ordre l. On note F_{c,l} la courbe elliptique quotient de E_{c,l} par le groupe engendre' par A, et f_l l'isogenie de E_{c,l} sur F_{c,l}. Pour l = 3, 4, 5 et 6, nous construisons explicitement, pour des parametrisations convenables de c, des elements non-triviaux de F_{c,l}(Q) / (f_l(E_{c,l}(Q))), autrement dit, des points explicites de F_{c,l}(Q) qui ne sont l'image par f_l d'aucun element de E_{c,l}(Q). Ces points sont en general d'ordre infini. Nous donnons des applications de cette methode a la construction d'extensions cycliques de Q de degre' l, et retrouvons certains corps obtenus par Shanks et Gras. Dans un article ulterieur, nous etudierons les proprietes arithmetiques de certaines des extensions obtenues ici.
$K_2$ of families of elliptic curves over non-Abelian cubic and quartic fields

François Brunault,Rob de Jeu,Hang Liu,Fernando Rodriguez Villegas

2024-01-09

Abstract:We give two constructions of families of elliptic curves over cubic or quartic fields with three, respectively four, `integral' elements in the kernel of the tame symbol on the curves. The fields are in general non-Abelian, and the elements linearly independent. For their integrality, we prove a new criterion that does not ignore any torsion. We also verify Beilinson's conjecture numerically for just over 90 of the curves.

Number Theory,Algebraic Geometry,K-Theory and Homology
Cyclic Cubic Points on Higher Genus Curves

James Rawson

2024-05-22

Abstract:The distribution of degree $d$ points on curves is well understood, especially for low degrees. We refine this study to include information on the Galois group in the simplest interesting case: $d = 3$. For curves of genus at least 5, we show cubic points with Galois group $C_3$ arise from well-structured morphisms, along with providing computable tests for the existence of such morphisms. We prove the same for curves of lower genus under some geometric or arithmetic assumptions.

Number Theory
Cyclotomic Units in Function Fields

Sunghan Bae,Linsheng Yin

DOI: https://doi.org/10.1090/s0002-9939-08-09587-7

IF: 0.9709

2009-01-01

Proceedings of the American Mathematical Society

Abstract:Let k be a global function field over the finite field F(q) with a fixed place infinity of degree 1. Let K be a cyclic extension of degree dividing q - 1, in which infinity is totally ramified. For a certain abelian extension L of k containing K, there are two notions of the group of cyclotomic units arising from sign normalized rank 1 Drinfeld modules on k and on K. In this article we compare these two groups of cyclotomic units.
Pairs of cyclic cubic units with rational difference

Toru Komatsu

DOI: https://doi.org/10.1142/s1793042125500034

2024-08-18

International Journal of Number Theory

Abstract:International Journal of Number Theory, Ahead of Print. In this paper, we determine all the pairs of cubic units in cyclic cubic fields of which differences are nonzero rational. Consequently we show that for a cyclic cubic field, it is simplest if and only if it has such a pair of units.

mathematics

Families of Cyclic Cubic Fields

A family of cyclic quartic monogenic polynomials

Computations in Cubic Function Fields of Characteristic Three

Group theoretic approach to cyclic cubic fields

Group theory of cyclic cubic number fields

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

Families of curves over any finite field with a class number greater than the Lachaud - Martin-Deschamps bounds

Families of Unramified Extensions of Number Fields

Arithmetic Problems in Cubic and Quartic Function Fields

On cubic polynomials with the cyclic Galois group

Some new infinite families of non-$p$-rational real quadratic fields

A note on the class number of certain real cyclotomic fields

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

Fundamental Unit System and Class Number of Real Bicyclic Biquadratic Number Fields

Heights and periods of algebraic cycles in families

An algorithm to compute relative cubic fields

Familles de polynomes liees aux courbes modulaires X_1(l) unicursales et points rationnels non-triviaux de courbes elliptiques quotient

$K_2$ of families of elliptic curves over non-Abelian cubic and quartic fields

Cyclic Cubic Points on Higher Genus Curves

Cyclotomic Units in Function Fields

Pairs of cyclic cubic units with rational difference