Related papers: The size function for cyclic cubic fields
We prove that approximately $96.23\%$ of cubic fields, ordered by discriminant, have genus number one, and we compute the exact proportion of cubic fields with a given genus number. We also compute the average genus number. Finally, we show…
Let $F$ be the function field of a smooth curve over the $p$-adic number field $\Q_p$. We show that for each prime-to-$p$ number $n$ the $n$-torsion subgroup $\H^2(F,\mu_n)={}_n\Br(F)$ is generated by $\Z/n$-cyclic classes; in fact the…
We prove the existence of secondary terms of order $X^{5/6}$ in the asymptotic formulas for the average size of the genus number of cubic fields and for the number of cubic fields with a given genus number, establishing improved error…
We give practical algorithms for computing the divisor class group and the gonality of a curve over a finite field, achieving several orders of magnitude speedup over existing methods for sufficiently large genus or residue field. The…
Let D be a division algebra with center F. A maximal subfield of D is defined to be a field K such that CD(K) = K; that is, K is its own centralizer in D. A maximal subfield K is said to be self-invariant if it normalises by itself, i.e.…
Formulas about the side lengths, diagonal lengths or radius of the circumcircle of a cyclic polygon in Euclidean geometry, hyperbolic geometry or spherical geometry can be unified.
In this paper, we determine the 2-rank of the class group of certain classes of real cyclic quartic number fields. Precisely, we consider the case in which the quadratic subfield is Q(\sqrt{l}) with l=2 or a prime congruent to 1 mod 8.
Let $K$ be a cyclic cubic field and $\mathcal{O}_K$ be its ring of integers. In this note we prove that all cyclic cubic number fields with conductors in the interval $ [73, 11971]$ and with class number one are Euclidean.
By Dirichlet's Unit Theorem, under the log embedding the units in the ring of integers of a number field form a lattice, called the log-unit lattice. We investigate the geometry of these lattices when the number field is a biquadratic or…
We examine situations, where representations of a finite-dimensional $F$-algebra $A$ defined over a separable extension field $K/F$, have a unique minimal field of definition. Here the base field $F$ is assumed to be a $C_1$-field. In…
We use the differentiability of the arithmetic volume function and an arithmetic Bertini type theorem to classify when one can find a closed point on the generic fiber of an arithmetic variety, whose heights with respect to some finite…
We define the Iitaka dimension of a numerical cycle class and develop its theory. We conjecture that the Iitaka dimension is integer-valued, and give some evidence in this direction. We focus on two cases of geometric interest: Schubert…
In this paper we present a conjecture on the construction of generalised elliptic units above number fields with exactly one complex place. These elliptic units obtained as values of multiple elliptic Gamma functions. These form a…
A {\em cyclic graph} is a graph with at each vertex a cyclic order of the edges incident with it specified. We characterize which real-valued functions on the collection of cubic cyclic graphs are partition functions of a real vertex model…
We prove a generalization of a result of Bhargava regarding the average size $\mathrm{Cl}(K)[2]$ as $K$ varies among cubic fields. For a fixed set of rational primes $S$, we obtain a formula for the average size of $\mathrm{Cl}(K)/\langle S…
The multiplicative group of a finite field is well known to be cyclic; in this note, we determine the finite fields whose multiplicative groups are direct sum indecomposable. We obtain our classification using a direct argument and also as…
We generalize the concept of reduced Arakelov divisors and define $C$-reduced divisors for a given number $C \geq 1$. These $C$-reduced divisors have remarkable properties which are similar to the properties of reduced ones. In this paper,…
Some PARI programs have bringed out a property for the non-genus part of the class number of the imaginary quadratic fields, with respect to $(\sqrt D\,)^{\varepsilon}$, where $D$ is the absolute value of the discriminant and $\varepsilon…
For a family of weight functions invariant under a finite reflection group, the boundedness of a maximal function on the unit sphere is established and used to prove a multiplier theorem for the orthogonal expansions with respect to the…
We shall define a general notion of dimension, and study groups and rings whose interpretable sets carry such a dimensio. In particular, we deduce chain conditions for groups, definability results for fields and domains, and show that…