scholarly journals Computation of Euclidean minima in totally definite quaternion fields

2019 ◽  
Vol 15 (01) ◽  
pp. 43-66
Author(s):  
Jean-Paul Cerri ◽  
Pierre Lezowski
Keyword(s):  
Number Field ◽  
Number Fields ◽  
Quaternion Field ◽  
Norm Form

We describe an algorithm that allows to compute the Euclidean minimum (for the norm form) of any order of a totally definite quaternion field over a number field [Formula: see text] of degree strictly greater than [Formula: see text]. Our approach is a generalization of the previous work dealing with number fields. The algorithm was practically implemented when [Formula: see text] has degree [Formula: see text].

scholarly journals Hyperbolic tessellations and generators of for imaginary quadratic fields

2021 ◽  
Vol 9 ◽  
Author(s):  
David Burns ◽  
Rob de Jeu ◽  
Herbert Gangl ◽  
Alexander D. Rahm ◽  
Dan Yasaki
Keyword(s):  
Number Field ◽  
Number Fields ◽  
Quadratic Fields ◽  
Quadratic Number ◽  
Imaginary Quadratic Fields ◽  
Quadratic Number Fields ◽  
Formula Group ◽  
Imaginary Quadratic Number ◽  
Direct Calculations

Abstract We develop methods for constructing explicit generators, modulo torsion, of the $K_3$ -groups of imaginary quadratic number fields. These methods are based on either tessellations of hyperbolic $3$ -space or on direct calculations in suitable pre-Bloch groups and lead to the very first proven examples of explicit generators, modulo torsion, of any infinite $K_3$ -group of a number field. As part of this approach, we make several improvements to the theory of Bloch groups for $ K_3 $ of any field, predict the precise power of $2$ that should occur in the Lichtenbaum conjecture at $ -1 $ and prove that this prediction is valid for all abelian number fields.

scholarly journals On the complex dynamics of birational surface maps defined over number fields

2016 ◽  
Vol 0 (0) ◽  
Author(s):  
Mattias Jonsson ◽  
Paul Reschke
Keyword(s):  
Number Field ◽  
Complex Dynamics ◽  
Energy Condition ◽  
Height Function ◽  
Number Fields ◽  
Projective Surface ◽  
Complex Projective Surface ◽  
Canonical Height ◽  
Dynamical Degree ◽  
Complex Projective

AbstractWe show that any birational selfmap of a complex projective surface that has dynamical degree greater than one and is defined over a number field automatically satisfies the Bedford–Diller energy condition after a suitable birational conjugacy. As a consequence, the complex dynamics of the map is well behaved. We also show that there is a well-defined canonical height function.

Number fields with large minimal index containing quadratic subfields

2018 ◽  
Vol 14 (09) ◽  
pp. 2333-2342 ◽  
Author(s):  
Henry H. Kim ◽  
Zack Wolske
Keyword(s):  
Number Field ◽  
Number Fields ◽  
Upper Bounds ◽  
Minimal Index

In this paper, we consider number fields containing quadratic subfields with minimal index that is large relative to the discriminant of the number field. We give new upper bounds on the minimal index, and construct families with the largest possible minimal index.

scholarly journals A Density of Ramified Primes

2021 ◽  
Vol 8 (1) ◽  
Author(s):  
Stephanie Chan ◽  
Christine McMeekin ◽  
Djordjo Milovic
Keyword(s):  
Number Field ◽  
Class Number ◽  
Joint Distribution ◽  
Number Fields ◽  
Character Sums ◽  
Prime Ideals ◽  
Odd Degree ◽  
Narrow Class

AbstractLet K be a cyclic number field of odd degree over $${\mathbb {Q}}$$ Q with odd narrow class number, such that 2 is inert in $$K/{\mathbb {Q}}$$ K / Q . We define a family of number fields $$\{K(p)\}_p$$ { K ( p ) } p , depending on K and indexed by the rational primes p that split completely in $$K/{\mathbb {Q}}$$ K / Q , in which p is always ramified of degree 2. Conditional on a standard conjecture on short character sums, the density of such rational primes p that exhibit one of two possible ramified factorizations in $$K(p)/{\mathbb {Q}}$$ K ( p ) / Q is strictly between 0 and 1 and is given explicitly as a formula in terms of the degree of the extension $$K/{\mathbb {Q}}$$ K / Q . Our results are unconditional in the cubic case. Our proof relies on a detailed study of the joint distribution of spins of prime ideals.

Prime splitting in abelian number fields and linear combinations of Dirichlet characters

2014 ◽  
Vol 10 (04) ◽  
pp. 885-903 ◽  
Author(s):  
Paul Pollack
Keyword(s):  
Number Field ◽  
Nonzero Element ◽  
Number Fields ◽  
Upper Bounds ◽  
Prime Ideals ◽  
Linear Combinations ◽  
Dirichlet Characters ◽  
Abelian Number Field ◽  
Splitting Type ◽  
A Finite Group

Let 𝕏 be a finite group of primitive Dirichlet characters. Let ξ = ∑χ∈𝕏 aχ χ be a nonzero element of the group ring ℤ[𝕏]. We investigate the smallest prime q that is coprime to the conductor of each χ ∈ 𝕏 and that satisfies ∑χ∈𝕏 aχ χ(q) ≠ 0. Our main result is a nontrivial upper bound on q valid for certain special forms ξ. From this, we deduce upper bounds on the smallest unramified prime with a given splitting type in an abelian number field. For example, let K/ℚ be an abelian number field of degree n and conductor f. Let g be a proper divisor of n. If there is any unramified rational prime q that splits into g distinct prime ideals in ØK, then the least such q satisfies [Formula: see text].

scholarly journals A PRECISE RESULT ON THE ARITHMETIC OF NON-PRINCIPAL ORDERS IN ALGEBRAIC NUMBER FIELDS

2012 ◽  
Vol 11 (05) ◽  
pp. 1250087 ◽  
Author(s):  
ANDREAS PHILIPP
Keyword(s):  
Number Field ◽  
Algebraic Number ◽  
Theoretical Approach ◽  
Class Group ◽  
Algebraic Number Field ◽  
Number Fields ◽  
Algebraic Number Fields ◽  
Precise Result ◽  
Principal Order

Let R be an order in an algebraic number field. If R is a principal order, then many explicit results on its arithmetic are available. Among others, R is half-factorial if and only if the class group of R has at most two elements. Much less is known for non-principal orders. Using a new semigroup theoretical approach, we study half-factoriality and further arithmetical properties for non-principal orders in algebraic number fields.

scholarly journals Kummer theory for number fields and the reductions of algebraic numbers

2019 ◽  
Vol 15 (08) ◽  
pp. 1617-1633 ◽  
Author(s):  
Antonella Perucca ◽  
Pietro Sgobba
Keyword(s):  
Number Field ◽  
Arithmetic Progression ◽  
Direct Proof ◽  
Number Fields ◽  
Algebraic Numbers ◽  
Kummer Theory ◽  
Multiplicative Order ◽  
Higher Rank ◽  
Multiplicative Subgroup ◽  
Torsion Free

For all number fields the failure of maximality for the Kummer extensions is bounded in a very strong sense. We give a direct proof (without relying on the Bashmakov–Ribet method) of the fact that if [Formula: see text] is a finitely generated and torsion-free multiplicative subgroup of a number field [Formula: see text] having rank [Formula: see text], then the ratio between [Formula: see text] and the Kummer degree [Formula: see text] is bounded independently of [Formula: see text]. We then apply this result to generalize to higher rank a theorem of Ziegler from 2006 about the multiplicative order of the reductions of algebraic integers (the multiplicative order must be in a given arithmetic progression, and an additional Frobenius condition may be considered).

scholarly journals Higher genus theory

2020 ◽  
Author(s):  
Peter Koymans ◽  
Carlo Pagano
Keyword(s):  
Number Field ◽  
Quadratic Forms ◽  
Class Group ◽  
Quadratic Extension ◽  
Number Fields ◽  
Explicit Description ◽  
Quadratic Number ◽  
Quadratic Number Field ◽  
Genus Theory ◽  
Narrow Class

Abstract In $1801$, Gauss found an explicit description, in the language of binary quadratic forms, for the $2$-torsion of the narrow class group and dual narrow class group of a quadratic number field. This is now known as Gauss’s genus theory. In this paper, we extend Gauss’s work to the setting of multi-quadratic number fields. To this end, we introduce and parametrize the categories of expansion groups and expansion Lie algebras, giving an explicit description for the universal objects of these categories. This description is inspired by the ideas of Smith [ 16] in his recent breakthrough on Goldfeld’s conjecture and the Cohen–Lenstra conjectures. Our main result shows that the maximal unramified multi-quadratic extension $L$ of a multi-quadratic number field $K$ can be reconstructed from the set of generalized governing expansions supported in the set of primes that ramify in $K$. This provides a recursive description for the group $\textrm{Gal}(L/\mathbb{Q})$ and a systematic procedure to construct the field $L$. A special case of our main result gives an upper bound for the size of $\textrm{Cl}^{+}(K)[2]$.

scholarly journals On unramified cyclic extensions of degree l of algebraic number fields of degree l

1987 ◽  
Vol 107 ◽  
pp. 135-146 ◽  
Author(s):  
Yoshitaka Odai
Keyword(s):  
Number Field ◽  
Algebraic Number ◽  
Preceding Paper ◽  
Algebraic Number Field ◽  
Number Fields ◽  
Maximal Extension ◽  
Algebraic Number Fields ◽  
Cubic Field ◽  
Genus Field ◽  
Abelian Number Field

Let I be an odd prime number and let K be an algebraic number field of degree I. Let M denote the genus field of K, i.e., the maximal extension of K which is a composite of an absolute abelian number field with K and is unramified at all the finite primes of K. In [4] Ishida has explicitly constructed M. Therefore it is of some interest to investigate unramified cyclic extensions of K of degree l, which are not contained in M. In the preceding paper [6] we have obtained some results about this problem in the case that K is a pure cubic field. The purpose of this paper is to extend those results.

Trace form associated to cyclic number fields of ramified odd prime degree

2019 ◽  
Vol 19 (04) ◽  
pp. 2050080
Author(s):  
Robson R. Araujo ◽  
Ana C. M. M. Chagas ◽  
Antonio A. Andrade ◽  
Trajano P. Nóbrega Neto
Keyword(s):  
Number Field ◽  
Number Fields ◽  
Trace Form ◽  
Prime Degree ◽  
Ring Of Integers ◽  
Algebraic Lattices ◽  
Center Density

In this work, we computate the trace form [Formula: see text] associated to a cyclic number field [Formula: see text] of odd prime degree [Formula: see text], where [Formula: see text] ramified in [Formula: see text] and [Formula: see text] belongs to the ring of integers of [Formula: see text]. Furthermore, we use this trace form to calculate the expression of the center density of algebraic lattices constructed via the Minkowski embedding from some ideals in the ring of integers of [Formula: see text].

Sign in / Sign up

Export Citation Format

Share Document