scholarly journals On indefinite and potentially universal quadratic forms over number fields

2021 ◽  
Author(s):  
Fei Xu ◽  
Yang Zhang
1991 ◽  
Vol 124 ◽  
pp. 133-144 ◽  
Author(s):  
Masanori Morishita

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


1994 ◽  
Vol 46 (1) ◽  
pp. 169-183 ◽  
Author(s):  
Jurgen Hurrelbrink

AbstractThis is about results on certain regular graphs that yield information about the structure of the ideal class group of quadratic number fields associated with these graphs. Some of the results can be formulated in terms of the quadratic forms x2 + 27y2, x2 + 32y2, x2 + 64y2.


Author(s):  
Peter Koymans ◽  
Carlo Pagano

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


2020 ◽  
Vol 63 (3) ◽  
pp. 861-912 ◽  
Author(s):  
Jakub Krásenský ◽  
Magdaléna Tinková ◽  
Kristýna Zemková

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.


Sign in / Sign up

Export Citation Format

Share Document