scholarly journals Composition of binary quadratic forms over number fields

2021 ◽  
Vol 71 (6) ◽  
pp. 1339-1360
Author(s):  
Kristýna Zemková
Keyword(s):  
Number Field ◽  
Quadratic Forms ◽  
Number Fields ◽  
Binary Quadratic Form ◽  
Base Number ◽  
Binary Quadratic Forms ◽  
Quadratic Number Field ◽  
Totally Positive ◽  
Equivalent Conditions ◽  
Narrow Class

Abstract In this article, the standard correspondence between the ideal class group of a quadratic number field and the equivalence classes of binary quadratic forms of given discriminant is generalized to any base number field of narrow class number one. The article contains an explicit description of the correspondence. In the case of totally negative discriminants, equivalent conditions are given for a binary quadratic form to be totally positive definite.

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 An extended inhomogeneous minimum

1976 ◽  
Vol 22 (4) ◽  
pp. 431-441
Author(s):  
E. S. Barnes
Keyword(s):  
Number Field ◽  
Class Number ◽  
Quadratic Forms ◽  
Quadratic Number ◽  
Binary Quadratic Forms ◽  
Quadratic Number Field ◽  
Inhomogeneous Minimum ◽  
Norm Form

AbstractA new arithmetic invariant E(f) is defined for integral binary quadratic forms f. It has the property that, denoting by fm the norm-form of a quadratic number field Q(m), E(fm) < 1 if and only if Q(m) has class number one.

FINITENESS RESULTS FOR REGULAR DEFINITE TERNARY QUADRATIC FORMS OVER ${\mathbb Q}(\sqrt{5})$

2007 ◽  
Vol 03 (04) ◽  
pp. 541-556 ◽  
Author(s):  
WAI KIU CHAN ◽  
A. G. EARNEST ◽  
MARIA INES ICAZA ◽  
JI YOUNG KIM
Keyword(s):  
Quadratic Form ◽  
Number Field ◽  
Quadratic Forms ◽  
Positive Definite ◽  
Integral Quadratic Form ◽  
Ring Of Integers ◽  
Ternary Quadratic Forms ◽  
Totally Positive ◽  
Finiteness Result

Let 𝔬 be the ring of integers in a number field. An integral quadratic form over 𝔬 is called regular if it represents all integers in 𝔬 that are represented by its genus. In [13,14] Watson proved that there are only finitely many inequivalent positive definite primitive integral regular ternary quadratic forms over ℤ. In this paper, we generalize Watson's result to totally positive regular ternary quadratic forms over [Formula: see text]. We also show that the same finiteness result holds for totally positive definite spinor regular ternary quadratic forms over [Formula: see text], and thus extends the corresponding finiteness results for spinor regular quadratic forms over ℤ obtained in [1,3].

scholarly journals On S-class number relations of algebraic tori in Galois extensions of global fields

1991 ◽  
Vol 124 ◽  
pp. 133-144 ◽  
Author(s):  
Masanori Morishita
Keyword(s):  
Class Number ◽  
Quadratic Forms ◽  
Euler Number ◽  
Number Fields ◽  
Binary Quadratic Forms ◽  
Algebraic Number Fields ◽  
Algebraic Tori ◽  
Genus Theory ◽  
Class Number Formula ◽  
Number Formula

As an interpretation and a generalization of Gauss’ genus theory on binary quadratic forms in the language of arithmetic of algebraic tori, Ono [02] established an equality between a kind of “Euler number E(K/k)” for a finite Galois extension K/k of algebraic number fields and other arithmetical invariants associated to K/k. His proof depended on his Tamagawa number formula [01] and Shyr’s formula [Sh] which follows from the analytic class number formula of a torus. Later, two direct proofs were given by Katayama [K] and Sasaki [Sa].

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.

scholarly journals On some class number relations for Galois extensions

1987 ◽  
Vol 107 ◽  
pp. 121-133 ◽  
Author(s):  
Takashi Ono
Keyword(s):  
Number Field ◽  
Algebraic Number ◽  
Class Number ◽  
Quadratic Forms ◽  
Algebraic Number Field ◽  
Narrow Sense ◽  
Binary Quadratic Forms ◽  
Finite Degree ◽  
Algebraic Tori ◽  
Number Of Classes

Let k be an algebraic number field of finite degree over Q, the field of rationals, and K be an extension of finite degree over k. By the use of the class number of algebraic tori, we can introduce an arithmetical invariant E(K/k) for the extension K/k. When k = Q and K is quadratic over Q, the formula of Gauss on the genera of binary quadratic forms, i.e. the formula where = the class number of K in the narrow sense, the number of classes is a genus of the norm form of K/Q and tK = the number of distinct prime factors of the discriminant of K, may be considered as an equality between E(K/Q) and other arithmetical invariants of K.

scholarly journals There are no universal ternary quadratic forms over biquadratic fields

2020 ◽  
Vol 63 (3) ◽  
pp. 861-912 ◽  
Author(s):  
Jakub Krásenský ◽  
Magdaléna Tinková ◽  
Kristýna Zemková
Keyword(s):  
Quadratic Forms ◽  
Number Fields ◽  
Ring Of Integers ◽  
Ternary Quadratic Forms ◽  
Mild Conditions ◽  
Positive Unit ◽  
Positive Elements ◽  
Totally Positive ◽  
Biquadratic Fields ◽  
Totally Real

AbstractWe study totally positive definite quadratic forms over the ring of integers $\mathcal {O}_K$ of a totally real biquadratic field $K=\mathbb {Q}(\sqrt {m}, \sqrt {s})$. We restrict our attention to classic forms (i.e. those with all non-diagonal coefficients in $2\mathcal {O}_K$) and prove that no such forms in three variables are universal (i.e. represent all totally positive elements of $\mathcal {O}_K$). Moreover, we show the same result for totally real number fields containing at least one non-square totally positive unit and satisfying some other mild conditions. These results provide further evidence towards Kitaoka's conjecture that there are only finitely many number fields over which such forms exist. One of our main tools are additively indecomposable elements of $\mathcal {O}_K$; we prove several new results about their properties.

Trace formulae and applications to class numbers

2014 ◽  
Vol 12 (6) ◽  
Author(s):  
Nicole Raulf
Keyword(s):  
Quadratic Forms ◽  
Hecke Operators ◽  
Class Numbers ◽  
Asymptotic Result ◽  
Quadratic Number ◽  
Binary Quadratic Forms ◽  
Quadratic Number Field ◽  
Ring Of Integers ◽  
Imaginary Quadratic Number ◽  
Trace Formulae

AbstractIn this paper we compute the trace formula for Hecke operators acting on automorphic forms on the hyperbolic 3-space for the group PSL2($\mathcal{O}_K $) with $\mathcal{O}_K $ being the ring of integers of an imaginary quadratic number field K of class number H K > 1. Furthermore, as a corollary we obtain an asymptotic result for class numbers of binary quadratic forms.

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.

Sign in / Sign up

Export Citation Format

Share Document