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].

scholarly journals Constructions of Dense Lattices over Number Fields

2020 ◽  
Vol 21 (1) ◽  
pp. 57
Author(s):  
Antonio A. Andrade ◽  
Agnaldo J. Ferrari ◽  
José C. Interlando ◽  
Robson R. Araujo
Keyword(s):  
Euclidean Space ◽  
Number Field ◽  
Number Fields ◽  
Canonical Homomorphism ◽  
Algebraic Integers ◽  
Algebraic Lattices ◽  
Ring Of Algebraic Integers ◽  
Center Density

In this work, we present constructions of algebraic lattices in Euclidean space with optimal center density in dimensions 2,3,4,5,6,8 and 12, which are rotated versions of the lattices Lambda_n, for n =2,3,4,5,6,8 and K_12. These algebraic lattices are constructed through canonical homomorphism via Z-modules of the ring of algebraic integers of a number field.

scholarly journals ON NUMBER FIELDS WITH EQUIVALENT INTEGRAL TRACE FORMS

2012 ◽  
Vol 08 (07) ◽  
pp. 1569-1580 ◽  
Author(s):  
GUILLERMO MANTILLA-SOLER
Keyword(s):  
Quadratic Form ◽  
Real Number ◽  
Number Field ◽  
Number Fields ◽  
Trace Form ◽  
Integral Quadratic Form ◽  
Trace Forms ◽  
Fundamental Discriminant ◽  
Totally Real

Let K be a number field. The integral trace form is the integral quadratic form given by tr k/ℚ(x2)|OK. In this article we study the existence of non-conjugated number fields with equivalent integral trace forms. As a corollary of one of the main results of this paper, we show that any two non-totally real number fields with the same signature and same prime discriminant have equivalent integral trace forms. Additionally, based on previous results obtained by the author and the evidence presented here, we conjecture that any two totally real quartic fields of fundamental discriminant have equivalent trace zero forms if and only if they are conjugated.

scholarly journals ON THE NUMBER OF ELLIPTIC CURVES WITH PRESCRIBED ISOGENY OR TORSION GROUP OVER NUMBER FIELDS OF PRIME DEGREE

2014 ◽  
Vol 57 (2) ◽  
pp. 465-473 ◽  
Author(s):  
FILIP NAJMAN
Keyword(s):  
Elliptic Curves ◽  
Number Field ◽  
Torsion Group ◽  
Number Fields ◽  
Prime Degree

AbstractLet p be a prime and K a number field of degree p. We determine the finiteness of the number of elliptic curves, up to K-isomorphism, having a prescribed property, where this property is either that the curve contains a fixed torsion group as a subgroup or that it has a cyclic isogeny of prescribed degree.

scholarly journals Geometric-progression-free sets over quadratic number fields

2017 ◽  
Vol 147 (2) ◽  
pp. 245-262
Author(s):  
Andrew Best ◽  
Karen Huan ◽  
Nathan McNew ◽  
Steven J. Miller ◽  
Jasmine Powell ◽  
...  
Keyword(s):  
Number Field ◽  
Number Fields ◽  
Geometric Progression ◽  
Quadratic Number ◽  
Quadratic Number Field ◽  
Ring Of Integers ◽  
Quadratic Number Fields ◽  
Geometric Progressions ◽  
Upper Density ◽  
Free Sets

In Ramsey theory one wishes to know how large a collection of objects can be while avoiding a particular substructure. A problem of recent interest has been to study how large subsets of the natural numbers can be while avoiding three-term geometric progressions. Building on recent progress on this problem, we consider the analogous problem over quadratic number fields. We first construct high-density subsets of the algebraic integers of an imaginary quadratic number field that avoid three-term geometric progressions. When unique factorization fails, or over a real quadratic number field, we instead look at subsets of ideals of the ring of integers. Our approach here is to construct sets ‘greedily’, a generalization of the greedy set of rational integers considered by Rankin. We then describe the densities of these sets in terms of values of the Dedekind zeta function. Next, we consider geometric-progression-free sets with large upper density. We generalize an argument by Riddell to obtain upper bounds for the upper density of geometric-progression-free subsets, and construct sets avoiding geometric progressions with high upper density to obtain lower bounds for the supremum of the upper density of all such subsets. Both arguments depend critically on the elements with small norm in the ring of integers.

scholarly journals On the Steinitz module and capitulation of ideals

2000 ◽  
Vol 160 ◽  
pp. 1-15
Author(s):  
Chandrashekhar Khare ◽  
Dipendra Prasad
Keyword(s):  
Number Field ◽  
Algebraic Curve ◽  
Class Group ◽  
Algebraic Curves ◽  
Finite Extension ◽  
Number Fields ◽  
Line Bundles ◽  
Exterior Power ◽  
Ring Of Integers ◽  
And Function

AbstractLet L be a finite extension of a number field K with ring of integers and respectively. One can consider as a projective module over . The highest exterior power of as an module gives an element of the class group of , called the Steinitz module. These considerations work also for algebraic curves where we prove that for a finite unramified cover Y of an algebraic curve X, the Steinitz module as an element of the Picard group of X is the sum of the line bundles on X which become trivial when pulled back to Y. We give some examples to show that this kind of result is not true for number fields. We also make some remarks on the capitulation problem for both number field and function fields. (An ideal in is said to capitulate in L if its extension to is a principal ideal.)

The Kernel of and the 4-Rank of K2(O)

1992 ◽  
Vol 35 (3) ◽  
pp. 295-302 ◽  
Author(s):  
Ruth I. Berger
Keyword(s):  
Number Field ◽  
Upper Bound ◽  
Class Group ◽  
Number Fields ◽  
Ideal Class ◽  
Ideal Class Group ◽  
Class Groups ◽  
Ring Of Integers

AbstractAn upper bound is given for the order of the kernel of the map on Sideal class groups that is induced by For some special types of number fields F the connection between the size of the above kernel for and the units and norms in are examined. Let K2(O) denote the Milnor K-group of the ring of integers of a number field. In some cases a formula by Conner, Hurrelbrink and Kolster is extended to show how closely the 4-rank of is related to the 4-rank of the S-ideal class group of

scholarly journals ON THE MERTENS–CESÀRO THEOREM FOR NUMBER FIELDS

2015 ◽  
Vol 93 (2) ◽  
pp. 199-210 ◽  
Author(s):  
ANDREA FERRAGUTI ◽  
GIACOMO MICHELI
Keyword(s):  
Zeta Function ◽  
Number Field ◽  
Number Fields ◽  
Algebraic Integers ◽  
Ring Of Integers ◽  
Dedekind Zeta Function ◽  
Natural Density ◽  
Suitable Notion

Let $K$ be a number field with ring of integers ${\mathcal{O}}$. After introducing a suitable notion of density for subsets of ${\mathcal{O}}$, generalising the natural density for subsets of $\mathbb{Z}$, we show that the density of the set of coprime $m$-tuples of algebraic integers is $1/{\it\zeta}_{K}(m)$, where ${\it\zeta}_{K}$ is the Dedekind zeta function of $K$. This generalises a result found independently by Mertens [‘Ueber einige asymptotische Gesetze der Zahlentheorie’, J. reine angew. Math. 77 (1874), 289–338] and Cesàro [‘Question 75 (solution)’, Mathesis 3 (1883), 224–225] concerning the density of coprime pairs of integers in $\mathbb{Z}$.

scholarly journals Normal Bases in Galois Extensions of Number Fields

1969 ◽  
Vol 34 ◽  
pp. 153-167 ◽  
Author(s):  
S. Ullom
Keyword(s):  
Number Field ◽  
Number Fields ◽  
Abstract Algebra ◽  
Normal Basis ◽  
Galois Module ◽  
Normal Bases ◽  
Ring Of Integers ◽  
Root Numbers ◽  
Fractional Ideal ◽  
Rings Of Integers

The notion of module together with many other concepts in abstract algebra we owe to Dedekind [2]. He recognized that the ring of integers OK of a number field was a free Z-module. When the extension K/F is Galois, it is known that K has an algebraic normal basis over F. A fractional ideal of K is a Galois module if and only if it is an ambiguous ideal. Hilbert [4, §§105-112] used the existence of a normal basis for certain rings of integers to develop the theory of root numbers — their decomposition already having been studied by Kummer.

scholarly journals Weak Arithmetic Equivalence

2015 ◽  
Vol 58 (1) ◽  
pp. 115-127 ◽  
Author(s):  
Guillermo Mantilla-Soler
Keyword(s):  
Zeta Function ◽  
Real Number ◽  
Number Field ◽  
Number Fields ◽  
Trace Form ◽  
Root Numbers ◽  
Local Root ◽  
Arithmetic Equivalence ◽  
Totally Real ◽  
Local Root Numbers

AbstractInspired by the invariant of a number field given by its zeta function, we define the notion of weak arithmetic equivalence and show that under certain ramification hypotheses this equivalence determines the local root numbers of the number field. This is analogous to a result of Rohrlich on the local root numbers of a rational elliptic curve. Additionally, we prove that for tame non-totally real number fields, the integral trace form is invariant under arithmetic equivalence

scholarly journals Determinants of subquotients of Galois representations associated with abelian varieties

2013 ◽  
Vol 13 (3) ◽  
pp. 517-559 ◽  
Author(s):  
Eric Larson ◽  
Dmitry Vaintrob
Keyword(s):  
Elliptic Curves ◽  
Abelian Variety ◽  
Number Field ◽  
Riemann Hypothesis ◽  
Galois Representations ◽  
Abelian Varieties ◽  
Number Fields ◽  
Torsion Points ◽  
Prime Degree ◽  
Rho A

AbstractGiven an abelian variety $A$ of dimension $g$ over a number field $K$, and a prime $\ell $, the ${\ell }^{n} $-torsion points of $A$ give rise to a representation ${\rho }_{A, {\ell }^{n} } : \mathrm{Gal} ( \overline{K} / K)\rightarrow {\mathrm{GL} }_{2g} ( \mathbb{Z} / {\ell }^{n} \mathbb{Z} )$. In particular, we get a mod-$\ell $representation ${\rho }_{A, \ell } : \mathrm{Gal} ( \overline{K} / K)\rightarrow {\mathrm{GL} }_{2g} ({ \mathbb{F} }_{\ell } )$ and an $\ell $-adic representation ${\rho }_{A, {\ell }^{\infty } } : \mathrm{Gal} ( \overline{K} / K)\rightarrow {\mathrm{GL} }_{2g} ({ \mathbb{Z} }_{\ell } )$. In this paper, we describe the possible determinants of subquotients of these two representations. These two lists turn out to be remarkably similar.Applying our results in dimension $g= 1$, we recover a generalized version of a theorem of Momose on isogeny characters of elliptic curves over number fields, and obtain, conditionally on the Generalized Riemann Hypothesis, a generalization of Mazur’s bound on rational isogenies of prime degree to number fields.

Sign in / Sign up

Export Citation Format

Share Document