Euclidean Rings of S-integers in Complex Quadratic Fields

Kyle Hammer,Kevin McGown,Skip Moses

DOI: https://doi.org/10.1080/00029890.2023.2294675

2024-01-06

American Mathematical Monthly

Abstract:We give an elementary approach to studying whether rings of S -integers in complex quadratic fields are Euclidean with respect to the S -norm.

mathematics

What problem does this paper attempt to address?

Ring class invariants over imaginary quadratic fields

Ick Sun Eum,Ja Kyung Koo,Dong Hwa Shin

DOI: https://doi.org/10.48550/arXiv.1007.2309

2011-02-01

Abstract:We show by adopting Schertz's argument with the Siegel-Ramachandra invariant that singular values of certain quotients of the $\Delta$-function generate ring class fields over imaginary quadratic fields.

Number Theory
Subrings in Quadratic Fields Which Are Not Universal for GE 2

H You,S Chen

DOI: https://doi.org/10.1093/qmath/hag008

2003-01-01

The Quarterly Journal of Mathematics

Abstract:Let F be a quadratic field and let S be a finite set of places containing S-infinity, the set of infinite places in F. Let v be a finite place outside S, S' = S boolean OR {v}, R = O-S, and R' = O-S'. In this paper, some examples are given to show that if the prime ideal P in R corresponding to v is non-principal or the natural homomorphism R-* --> (R/P)(*) is not surjective then, although R is universal for GE(2), R' may not be universal for GE(2).
Sails for universal quadratic forms

Vítězslav Kala,Siu Hang Man

2024-03-27

Abstract:We establish a new connection between sails, a key notion in the geometric theory of generalised continued fractions, and arithmetic of totally real number fields, specifically, universal quadratic forms and additively indecomposable integers. Our main application is to biquadratic fields, for which we show that if their signature rank is at least 3, then ranks of universal forms and numbers of indecomposables grow as a power of the discriminant. We also construct a family in which these numbers grow only logarithmically.

Number Theory
Universally defining subrings in function fields

Nicolas Daans,Philip Dittmann

2024-04-03

Abstract:We establish that all rings of $S$-integers are universally definable in function fields in one variable over certain ground fields including global and non-archimedean local fields. That is, we show that the complement of such a ring of $S$-integers is always a diophantine set. As a technical tool, we use a reciprocity exact sequence for quadratic Witt groups in function fields over almost arbitrary base fields (of any characteristic), which is new and of potentially independent interest.

Number Theory,Logic
On the existence of euclidean ideal class in quadratic, cubic and quartic extensions

Srilakshmi Krishnamoorthy,Sunil Kumar Pasupulati

DOI: https://doi.org/10.48550/arXiv.2110.00225

2021-10-01

Number Theory

Abstract:Lenstra introduced the notion of Euclidean ideal class. We prove the existence of the Euclidean ideal class in abelian quartic fields. As a corollary, we prove that any biquadratic field with class number two has a Euclidean ideal class. We also prove the existence of a Euclidean ideal class in certain cubic and quadratic extensions.
Non-integrality of some Steinberg modules

Jeremy Miller,Peter Patzt,Jennifer C. H. Wilson,Dan Yasaki

DOI: https://doi.org/10.1112/topo.12132

2019-10-21

Abstract:We prove that the Steinberg module of the special linear group of a quadratic imaginary number ring which is not Euclidean is not generated by integral apartments. Assuming the generalized Riemann hypothesis, this shows that the Steinberg module of a number ring is generated by integral apartments if and only if the ring is Euclidean. We also construct new cohomology classes in the top dimensional cohomology group of the special linear group of some quadratic imaginary number rings.

Algebraic Topology,Geometric Topology,Number Theory
A Remark on K-2 of the Rings of Integers of Totally Real Number Fields

Xuejun Guo

DOI: https://doi.org/10.1080/00927870701404333

2007-01-01

Communications in Algebra

Abstract:Let F be a totally real number field with degree n = [F: Q] >= 3. Mazur and Urbanowicz proved that ifK2OF similar or equal to (Z/2Z)([F:Q]) (*)and F is not Q(zeta(7) +zeta(-1)(7)) or Q(zeta(9) + zeta(-1)(9)), then F must be one of the 14 cases listed in Mazur and Urbanowicz (1992). In this article, it is proved that 3 of these 14 cases don't satisfy (*), while all the other cases satisfy (*). Hence we find all totally real number fields which satisfy (*).
Elliptic units for complex cubic fields

Nicolas Bergeron,Pierre Charollois,Luis E. García

2023-11-30

Abstract:We propose a conjecture extending the classical construction of elliptic units to complex cubic number fields $K$. The conjecture concerns special values of the elliptic gamma function, a holomorphic function of three complex variables arising in mathematical physics whose transformation properties under $\mathrm{SL}_3(\mathbf{Z})$ were studied by Felder and Varchenko in the early 2000s. Using this function we construct complex numbers that we conjecture to be units in narrow ray class fields of $K$. We also propose a reciprocity law for the action of the Galois group on these units in the style of Shimura. To support our conjecture we offer numerical evidence and also prove a new type of Kronecker limit formula relating the logarithm of the modulus of these complex numbers to the derivatives at $s = 0$ of partial zeta functions of $K$. Our constructions unveil the role played by the elliptic gamma function in Hilbert's twelfth problem for complex cubic fields.

Number Theory
On indefinite and potentially universal quadratic forms over number fields

Fei Xu,Yang Zhang

DOI: https://doi.org/10.48550/arXiv.2004.02090

2021-11-01

Abstract:A number field $k$ admits a binary integral quadratic form which represents all integers locally but not globally if and only if the class number of $k$ is bigger than one. In this case, there are only finitely many classes of such binary integral quadratic forms over $k$. A number field $k$ admits a ternary integral quadratic form which represents all integers locally but not globally if and only if the class number of $k$ is even. In this case, there are infinitely many classes of such ternary integral quadratic forms over $k$. An integral quadratic form over a number field $k$ with more than one variables represents all integers of $k$ over the ring of integers of a finite extension of $k$ if and only if this quadratic form represents $1$ over the ring of integers of a finite extension of $k$.

Number Theory
SIC-POVMs and orders of real quadratic fields

Gene S. Kopp,Jeffrey C. Lagarias

2024-09-27

Abstract:We consider the problem of counting and classifying symmetric informationally complete positive operator-valued measures (SICs or SIC-POVMs), that is, sets of $d^2$ equiangular lines in $\mathbb{C}^d$. For $4 \leq d \leq 90$, we show the number of known equivalence classes of Weyl--Heisenberg covariant SICs in dimension $d$ equals the cardinality of the ideal class monoid of (not necessarily invertible) ideal classes in the real quadratic order of discriminant $(d+1)(d-3)$. Equivalently, this is the number of $\mathbf{GL}_2(\mathbb{Z})$ conjugacy classes in $\mathbf{SL}_2(\mathbb{Z})$ of trace $d-1$. We conjecture the equality extends to all $d \geq 4$. We prove that this conjecture implies more that one equivalence class of Weyl--Heisenberg covariant SICs for every $d > 22$. We refine the "class field hypothesis" of Appleby, Flammia, McConnell, and Yard (<a class="link-https" data-arxiv-id="1604.06098" href="https://arxiv.org/abs/1604.06098">arXiv:1604.06098</a>) to predict the exact class field generated by the ratios of vector entries for the equiangular lines defining a Weyl--Heisenberg covariant SIC. The class fields conjecturally associated to SICs in dimension $d$ have a natural partial order under inclusion; we show the natural inclusions of these fields in the partial order are strict, except in a small family of cases.

Number Theory,Metric Geometry,Quantum Physics
On the Non p-Rationality and Iwasawa Invariants of Certain Real Quadratic Fields

Peikai Qi,Matt Stokes

2024-08-07

Abstract:Let $p$ be an odd prime, and $m,r \in \mathbb{Z}^+$ with $m$ coprime to $p$. In this paper we investigate the real quadratic fields $K = \mathbb{Q}(\sqrt{m^2p^{2r} + 1})$. We first show that for $m < C$, where constant $C$ depends on $p$, the fundamental unit $\varepsilon$ of $K$ satisfies the congruence $\varepsilon^{p-1} \equiv 1 \mod{p^2}$, which implies that $K$ is a non $p$-rational field. Varying $r$ then gives an infinite family of non $p$-rational fields. When $m = 1$ and $p$ is a non-Wieferich prime, we use a criterion of Fukuda and Komatsu to show that if $p$ does not divide the class number of $K$, then the Iwasawa invariants for cyclotomic $\mathbb{Z}_p$-extension of $K$ vanish. We conjecture that there are infinitely many $r$ such that $p$ does not divide the class number of $K$.

Number Theory
On the classification of quadratic forms over an integral domain of a global function field

Rony A. Bitan

DOI: https://doi.org/10.1016/j.jnt.2017.03.007

2017-05-30

Abstract:Let $C$ be a smooth projective curve defined over the finite field $\mathbb{F}_q$ ($q$ is odd) and let $K=\mathbb{F}_q(C)$ be its function field. Any finite set $S$ of closed points of $C$ gives rise to an integral domain $\mathcal{O}_S:=\mathbb{F}_q[C-S]$ in $K$. We show that given an $\mathcal{O}_S$-regular quadratic space $(V,q)$ of rank $n \geq 3$, the set of genera in the proper classification of quadratic $\mathcal{O}_S$-spaces isomorphic to $(V,q)$ in the flat or étale topology, is in $1:1$ correspondence with ${_2\text{Br}}(\mathcal{O}_S)$, thus there are $2^{|S|-1}$ such. If $(V,q)$ is isotropic, then $\text{Pic}(\mathcal{O}_S)/2$ classifies the forms in the genus of $(V,q)$. For $n \geq 5$ this is true for all genera, hence the full classification is via the abelian group $H^2_{\text{ét}}(\mathcal{O}_S,\underline{\mu}_2)$.

Algebraic Geometry
A Universal Quaternary Quadratic Form over Gaussian Integers

Felix Sidokhine

DOI: https://doi.org/10.48550/arXiv.1310.6293

2013-10-23

Number Theory

Abstract:In this article we show that the form $x^2 + iy^2 + z^2 + iw^2$ represents all gaussian integers. The main tools used in this proof are Fermat's little theorem (over finite field extensions), the Mordell-Niven theorem (representation of some gaussians), and the generalized Euler-identity over finite field extensions.
Modular invariants for real quadratic fields and Kloosterman sums

Nickolas Andersen,William Duke

DOI: https://doi.org/10.2140/ant.2020.14.1537

2024-10-17

Abstract:We investigate the asymptotic distribution of integrals of the $j$-function that are associated to ideal classes in a real quadratic field. To estimate the error term in our asymptotic formula, we prove a bound for sums of Kloosterman sums of half-integral weight that is uniform in every parameter. To establish this estimate we prove a variant of Kuznetsov's formula where the spectral data is restricted to half-integral weight forms in the Kohnen plus space, and we apply Young's hybrid subconvexity estimates for twisted modular $L$-functions.

Number Theory
On units with Galois complex conjugates of equal absolute value

Stefan Deaconu

2024-10-12

Abstract:We prove, using a theorem of Northcott, that if a number field K with s real embeddings and 2t complex ones has a group of units U such that all elements in U have all its complex conjugates of same absolute value, then one necessarily has t = 1. This fact has an interesting implication in complex hermitian geometry, namely it describes all Oeljeklaus-Toma manifolds carrying locally conformally Kahler structures. It is then shown that the same method also works for the situation concerning the existence of pluriclosed metrics on Oeljeklaus-Toma manifolds.

Number Theory
Arithmetic invariant rings of some irreducible complex reflection groups

David Mundelius

2023-03-15

Abstract:In this article it is determined which integral reflection representations of the symmetric groups and the primitive complex reflection groups of degree $2$ have rings of invariants which are isomorphic to polynomial rings.

Commutative Algebra
Exceptional zeros of Rankin-Selberg $L$-functions and joint Sato-Tate distributions

Jesse Thorner

2024-04-10

Abstract:Let $\chi$ be an idele class character over a number field $F$, and let $\pi,\pi'$ be non-dihedral twist-inequivalent cuspidal automorphic representations of $\mathrm{GL}_2(\mathbb{A}_F)$. We prove the following results.

Number Theory
Imaginary quadratic fields $F$ with $X_0(15)(F)$ finite

Tim Evink

2024-05-15

Abstract:Caraiani and Newton have proven that if $F$ is an imaginary quadratic number field such that $X_0(15)$ has rank $0$ over $F$, then every elliptic curve over $F$ is modular. This paper is concerned with the quadratic fields $F=\mathbb{Q}(\sqrt{-p})$ for a prime number $p$. We give explicit conditions on $p$ under which the rank is $0$, and prove that these conditions are satisfied for $87,5\%$ of the primes for which the rank is expected to be even based on the parity conjecture. We also show these conditions are satisfied if and only if rank $0$ follows from a $4$-descent over $\mathbb{Q}$ on the quadratic twist $X_0(15)_{-p}$. To prove this, we perform two consecutive $2$-descents and prove this gives rank bounds equivalent to those obtained from a $4$-descent using visualisation techniques for $\mathrm{Sha}[2]$. In fact we prove a more general connection between higher descents for elliptic curves which seems interesting in its own right.

Number Theory
Iwasawa module of the cyclotomic $\mathbb{Z}_{2}$-extension of certain real quadratic fields

Josue Avila

2024-10-23

Abstract:For a real quadratic field $K=\mathbb{Q}(\sqrt{D})$, let $K_{\infty}$ denote the cyclotomic $\mathbb{Z}_{p}$-extension of $K$. Greenberg conjectured that the corresponding Iwasawa module $X_{\infty}$ is finite. Building on the work of Mouhib and Movahhedi, we provide new examples of real quadratic fields for which the conjecture holds, when $X_{\infty}$ is cyclic and the prime is $p=2$. Furthermore, we find a fundamental system of units for certain biquadratic fields of the form $\mathbb{Q}(\sqrt{2}, \sqrt{D})$ and show how to use it to calculate the order of $X_{\infty}$.

Number Theory
Sums of squares of integral multiples of an integral element of real bi-quadratic fields

Srijonee Shabnam Chaudhury

DOI: https://doi.org/10.1007/s11139-023-00828-9

2024-03-05

The Ramanujan Journal

Abstract:For any given positive integer m we construct certain totally positive algebraic integers of a real bi-quadratic field K and obtain some necessary conditions for which cannot be represented as sum of integral squares. We show this for integers that lie in quadratic subfields of K and for integers which are in K but not in any quadratic subfield of K . We provide examples in tabular form for each case to corroborate the results.

mathematics

Euclidean Rings of S-integers in Complex Quadratic Fields

Ring class invariants over imaginary quadratic fields

Subrings in Quadratic Fields Which Are Not Universal for GE 2

Sails for universal quadratic forms

Universally defining subrings in function fields

On the existence of euclidean ideal class in quadratic, cubic and quartic extensions

Non-integrality of some Steinberg modules

A Remark on K-2 of the Rings of Integers of Totally Real Number Fields

Elliptic units for complex cubic fields

On indefinite and potentially universal quadratic forms over number fields

SIC-POVMs and orders of real quadratic fields

On the Non p-Rationality and Iwasawa Invariants of Certain Real Quadratic Fields

On the classification of quadratic forms over an integral domain of a global function field

A Universal Quaternary Quadratic Form over Gaussian Integers

Modular invariants for real quadratic fields and Kloosterman sums

On units with Galois complex conjugates of equal absolute value

Arithmetic invariant rings of some irreducible complex reflection groups

Exceptional zeros of Rankin-Selberg $L$-functions and joint Sato-Tate distributions

Imaginary quadratic fields $F$ with $X_0(15)(F)$ finite

Iwasawa module of the cyclotomic $\mathbb{Z}_{2}$-extension of certain real quadratic fields

Sums of squares of integral multiples of an integral element of real bi-quadratic fields