Let $\mathbb{K}$ be an imaginary quadratic field such that $2$ splits into two primes $\mathfrak{p}$ and $\bar{\mathfrak{p}}$. Let $\mathbb{K}_{\infty}$ be the unique $\mathbb{Z}_2$-extension of $\mathbb{K}$ unramified outside $\mathfrak{p}$. Let $\mathfrak{f}$ be an ideal coprime to $\mathfrak{p}$ and $\mathbb{L}$ be an arbitrary extension of $\mathbb{K}$ contained in the ray class field $\mathbb{K}(\mathfrak{p}^2\mathfrak{f})$. Let $\mathbb{L}_{\infty}=\mathbb{K}_{\infty}\mathbb{L}$ and let $\mathbb{M}$ be the maximal $p$-abelian, $\mathfrak{p}$-ramified extension of $\mathbb{L}_{\infty}$. We set $X=Gal(\mathbb{M}/\mathbb{L}_{\infty})$. In this paper we prove the Iwasawa main conjecture for the module $X$.
We give criteria of the solvability of the diophantine equation $p=x^2+ny^2$ over some imaginary quadratic fields where $p$ is a prime element. The criteria becomes quite simple in special cases.
In this paper, we obtain an asymptotic formula for the number of imaginary quadratic fields with prime discriminant and class number up to $H$, as $H\to \infty$. Previously, such an asymptotic was only known under the assumption of the Generalized Riemann Hypothesis, by the recent work of Holmin, Jones, Kurlberg, McLeman and Petersen.
The asymptotic estimation of prime ideals in imaginary quadratic fields and Chebyshev's bias
School of Mathematics, Nanjing University（南京大学数学系）；Morningside Center of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院晨兴数学中心；中国科学院大学）；University of the Chinese Academy of Sciences
We study the gaps between products of two primes in imaginary quadratic number fields using a combination of the methods of Goldston-Graham-Pintz-Yildirim \cite{GGPY}, and Maynard \cite{MAY}. An important consequence of our main theorem is existence of infinitely many pairs $α_1, α_2$ which are product of two primes in the imaginary quadratic field $K$ such that $|σ(α_1-α_2)|\leq 2$ for all embedding $σ$ of $K$ if the class number of $K$ is one and $|σ(α_1-α_2)|\leq 8$ for all embedding $σ$ of $K$ if the class number of $K$ is two.
We generalize the Gaussian moat problem to the finitely many imaginary quadratic fields exhibiting unique factorization in their integers. We map this problem to the Euclidean minimum spanning tree problem and use Delaunay triangulation and Kruskal's algorithm to find moats in these fields in $O(|\mathbf{P}| \log |\mathbf{P}|)$ time, where $\mathbf{P}$ denotes the set of primes we are searching through. Our algorithm uses symmetry and boundaries to correctly and efficiently identify all moats, in order of increasing length, along with the farthest prime reached for each moat, in an underlying …
We consider the problem of determining whether a given prime p is a congruent number. We present an easily computed criterion that allows us to conclude that certain primes for which congruency was previously undecided, are in fact not congruent. As a result, we get additional information on the possible sizes of Tate-Shafarevich groups of the associated elliptic curves. We also present a related criterion for primes p such that 16 divides the class number of the imaginary quadratic field Q(sqrt(-p)). Both results are based on descent methods. While we cannot show for either criterion individu…
The main result of this paper is to extend from $\Q$ to each of the nine imaginary quadratic fields of class number one a result of Serre (1987) and Mestre-Oesterlé (1989), namely that if $E$ is an elliptic curve of prime conductor then either $E$ or a $2$-, $3$- or $5$-isogenous curve has prime discriminant. For four of the nine fields, the theorem holds with no change, while for the remaining five fields the discriminant of a curve with prime conductor is either prime or the square of a prime. The proof is conditional in two ways: first that the curves are modular, so are associated to suita…
Let $K/ \mathbb{Q}$ be an imaginary $S_3$-extension, and $p$ a prime number which splits into exactly three primes in $K$. We give a sufficient condition for the validity of Greenberg's generalized conjecture for $K$ and $p$.
For an algebraic number field $K$ and a prime number $p$, let $\widetilde{K}/K$ be the maximal multiple $\mathbb{Z}_p$-extension. Greenberg's generalized conjecture (GGC) predicts that the Galois group of the maximal unramified abelian pro-$p$ extension of $\widetilde{K}$ is pseudo-null over the completed group ring $\mathbb{Z}_p[\![\mathop{\mathrm{Gal}}\nolimits(\widetilde{K}/K)]\!]$. We show that GGC holds for some imaginary quartic fields containing imaginary quadratic fields and some prime numbers.
For any odd prime $\ell$, let $h_\ell(-d)$ denote the $\ell$-part of the class number of the imaginary quadratic field $\mathbb{Q}(\sqrt{-d})$. Nontrivial pointwise upper bounds are known only for $\ell =3$; nontrivial upper bounds for averages of $h_\ell(-d)$ have previously been known only for $\ell =3,5$. In this paper we prove nontrivial upper bounds for the average of $h_\ell(-d)$ for all primes $\ell \geq 7$, as well as nontrivial upper bounds for certain higher moments for all primes $\ell \geq 3$.
In this paper we establish a connection between the Gauss factorials and Iwasawa's cyclotomic $λ$-invariant for an imaginary quadratic field $K$. As a result, we will explain a corespondance between the 1-exceptional primes of Cosgrave and Dilcher for $m = 3$ and $m = 4$, and the primes for which the $λ$-invariants for $K = \mathbb{Q}(\sqrt{-3})$ and $K = \mathbb{Q}(i)$ is greater than one, respectively. We refer to the latter primes as ``non-trivial'' for their respective fields. We will also see that similar correspondences are true for $K = \mathbb{Q}(\sqrt{-d})$ when $d = 2,5$ and $6$. As …
We quantify a recent theorem of Wiles on class numbers of imaginary quadratic fields by proving an estimate for the number of negative fundamental discriminants down to -X whose class numbers are indivisible by a given prime and whose imaginary quadratic fields satisfy any given set of local conditions. This estimate matches the best results in the direction of the Cohen-Lenstra heuristics for the number of imaginary quadratic fields with class number indivisible by a given prime. This general result is applied to study rank 0 twists of certain elliptic curves.
We determine the conditions under which singular values of multiple $η$-quotients of square-free level, not necessarily prime to~6, yield class invariants, that is, algebraic numbers in ring class fields of imaginary-quadratic number fields. We show that the singular values lie in subfields of the ring class fields of index $2^{k' - 1}$ when $k' \geq 2$ primes dividing the level are ramified in the imaginary-quadratic field, which leads to faster computations of elliptic curves with prescribed complex multiplication. The result is generalised to singular values of modular functions on $X_0^+ (…
We formulate integral Iwasawa main conjectures for suitable twists of a newform $f$ that is non-ordinary at $p$, over the cyclotomic $\mathbb{Z}_p$-extension, the anticyclotomic $\mathbb{Z}_p$-extensions (in both the definite and the indefinite cases) as well as the $\mathbb{Z}_p^2$-extension of an imaginary quadratic field $K$ where $p$ splits. In order to do so, we define Kobayashi-Sprung-style signed Coleman maps, which we use to introduce doubly-signed Selmer groups. In the same spirit, we construct signed (integral) Beilinson-Flach elements (out of the collection of unbounded Beilinson-Fl…
In this paper we extend methods of Rubin to prove the Gras conjecture for abelian extensions of a given imaginary quadratic field k and prime numbers p which divide the number of roots of unity in k.
For an imaginary quadratic field $k$ of class number $>1$, we prove that there are only finitely many isomorphism classes of rational indefinite quaternion division algebras $B$ such that the associated Shimura curve $M^B$ has $k$-rational points. In other words, the main result asserts that there is a finite set $P(k)$ of prime numbers depending on $k$ such that: if there is a prime divisor of the discriminant of $B$ which is not in $P(k)$, then $M^B$ has no $k$-rational points. Moreover, we can take $P(k)$ to satisfy the following: There is an effectively computable constant $C(k)$ depending…
Let p be an odd prime number. In this paper, we show existence of certain infinite families of imaginary quadratic fields in which p splits and whose Iwasawa λ-invariant of the cyclotomic Zp-extension is equal to 1.
Let $k$ be an imaginary quadratic number field, and $F/k$ a finite abelian extension of Galois group $G$. We show that a Gross conjecture concerning the leading terms of Artin $L$-series holds for $F/k$ and all rational primes which are split in $k$ and which do not divide $6$.
The purpose of this article is to give an overview of the series of papers [BK1], [BK2] concerning the $p$-adic Beilinson conjecture of motives associated to Hecke characters of an imaginary quadratic field $K$, for a prime $p$ which splits in $K$.
A formula for the class number $h$ of the imaginary quadratic field $Q(\sqrt{-p}$ is obtained by counting on a specific way the quadratic residues of a prime number of the form $p=4n-1.$ Formulas for the sum of the quadratic residues are also found.
Let $p$ be a prime number. We show that, there exists an infinite family of imaginary abelian fields such that, the Iwasawa module of the maximal multiple ${\Bbb Z}_p$-extension is non trivial and pseudo-null for each field in the family. We also discuss on an application to non-abelian Iwasawa theory in the sense of Ozaki.
We study the splitting of primes in number fields generated by points on modular curves. Momose was the first to notice that quadratic points on $X_1(n)$ generate quadratic fields over which certain primes split in a particular way and his results were later expanded upon by Krumm. We prove results about the splitting behaviour of primes in quadratic fields generated by points on the modular curves $X_0(n)$ which are hyperelliptic (except for $n=37$) and in cubic fields generated by points on $X_1(2, 14)$.
Let p be a prime number, and let K be a number field. For p=2, assume moreover K totally imaginary. In this note we prove the existence of asymptotically good extensions L{K of cohomological dimension 2 in which infinitely many primes split completely. Our result is inspired by a recent work of Hajir, Maire, and Ramakrishna [7].
For any odd prime $p,$ we construct an infinite family of pairs of imaginary quadratic fields $\mathbb{Q}(\sqrt{d}),\mathbb{Q}(\sqrt{d+1})$ whose class numbers are both divisible by $p.$ One of our theorems settles Iizuka's conjecture for the case $n=1$ and $p >2.$
The Iwasawa main conjecture fields has been an important tool to study the arithmetic of special values of $L$-functions of Hecke characters of imaginary quadratic fields. To obtain the finest possible invariants it is important to know the main conjecture for all prime numbers $p$ and also to have an equivariant version at disposal. In this paper we first prove the main conjecture for imaginary quadratic fields for all prime numbers $p$, improving earlier results by Rubin. From this we deduce the equivariant main conjecture in the case that a certain $μ$-invariant vanishes. For prime numbers …
In this paper, we prove a result on the $2$-adic logarithm of the fundamental unit of the field $\mathbb{Q}(\sqrt[4]{-q}) $, where $q\equiv 3\bmod 4$ is a prime. When $q\equiv 15\bmod 16$, this result confirms a speculation of Coates-Li and has consequences for certain Iwasawa modules arising in their work.
A formula for the sum of quadratic residues modulus a prime $p=4n-1$ is studied. We relate some terms on this formula with roots of quadratics and provide an exhaustive analysis of new concepts based on these roots. A number of formulas for the sum of the quadratic residues are obtained. We finalize the paper by obtaining several identities involving $h(-p)$ the class number of the imaginary quadratic field $\mathbb Q(\sqrt{-p}).$
The aim of this paper is to study the group of elliptic units of a cyclic extension $L$ of an imaginary quadratic field $K$ such that the degree $[L:K]$ is a power of an odd prime $p$. We construct an explicit root of the usual top generator of this group and we use it to obtain an annihilation result of the $p$-Sylow subgroup of the ideal class group of $L$.
Let $ p $ and $ q $ be odd prime numbers with $ q - p = 2, $ the $φ-$Selmer groups, Shafarevich-Tate groups ($ φ- $ and $ 2-$part) and their dual ones as well the Mordell-Weil groups of elliptic curves $ y^{2} = x (x \pm p) (x \pm q) $ over imaginary quadratic number fields of class number one are determined explicitly in many cases.
Let $p$ be a prime number such that $p=2$ or $p\equiv 1\pmod 4$. Let $\varepsilon_p$ denote the fundamental unit of $\mathbb{Q}(\sqrt{p})$ and let $a$ be a positive square-free integer. The main aim of this paper is to determine explicitly the Hilbert genus field of the imaginary cyclic quartic fields of the form $\mathbb{Q}(\sqrt{-a\varepsilon_p\sqrt{p}})$.
Let $\ell>3$ be a prime such that $\ell \equiv 3 \pmod{4}$ and $\mathbb{Q}(\sqrt{\ell})$ has class number 1. Then Hirzebruch and Zagier noticed that the class number of $\mathbb{Q}(\sqrt{-\ell})$ can be expressed as $h(-\ell) = (1/3)(b_1+b_2 + \cdots + b_m) - m$ where the $b_i$ are partial quotients in the `minus' continued fraction expansion $\sqrt{\ell} = [[b_0; \overline{b_1, b_2, \ldots, b_m}]]$. For an odd prime $p \neq \ell$, we prove an analogous formula using these $b_i$ which computes the sum of Iwasawa lambda invariants $λ_p(-\ell)+λ_p(-4)$ of $\mathbb{Q}(\sqrt{-\ell})$ and $\mathbb{…
Let $k$ be an imaginary quadratic field and $p$ an odd prime number such that the $p$-rank of the class group of $k$ is one. Let $S$ be a finite set of places of $k$ distinct from $p$-adic places. We give sufficient conditions for the Galois group $G_S$, of the maximal pro-$p$-extension of $k$ which is unramified outside $S$, to be \textit{mild}, hence of cohomological dimension $2$.
In his work about Galois representations, Greenberg conjectured the existence, for any odd prime p and any positive integer t, of a multiquadratic p-rational number field of degree 2 t. In this article, we prove that there exists infinitely many primes p such that the triquadratic field Q(p(p + 2), p(p -- 2), i) is p-rational. To do this, we use an analytic result, proved apart in section \S4, providing us with infinitely many prime numbers p such that p + 2 et p -- 2 have ''big'' square factors. Therefore the related imaginary quadratic subfields Q(i $\sqrt$ p + 2), Q(i $\sqrt$ p -- 2) and Q(…
It is shown that the class number for negative discriminant $D$ can be expressed in terms of the base $B$ expansions of reduced fractions $\frac{x}{|D|}$, where $B$ is an integer prime to $D$. This result is then formulated to obtain information about the distribution of the values of $χ(x)$, where $χ$ is the quadratic character associated to $D$. This leads to simplified formulas for the class number in certain cases.
We prove the non-vanishing of special $L$-values of cuspidal automorphic forms on GL(2) twisted by Hecke characters of prime power orders and totally split prime power conductors. Main ingredients of the proof are estimating the Galois averages of fast convergent series expressions of special $L$-values and considering Shintani cone decomposition.
Let $-D < -4$ denote a fundamental discriminant which is either odd or divisible by 8, so that the canonical Hecke character of $\Bbb Q(\sqrt{-D})$ exists. Let $d$ be a fundamental discriminant prime to $D$. Let $2k-1$ be an odd natural integer prime to the class number of $\Bbb Q(\sqrt{-D})$. Let $χ$ be the twist of the $(2k-1)$th power of a canonical Hecke character of $\Bbb Q(\sqrt{-D})$ by the Kronecker's symbol $n\mapsto(\frac{d}{n})$. It is proved that the order of the Hecke $L$-function $L(s,χ)$ at its central point $s=k$ is determined by its root number when $|d| \leq c(ε)D^{{1/24}-ε}$…
In this paper, we investigate sign changes of Fourier coefficients of half-integral weight cusp forms. In a fixed square class $t\mathbb{Z}^2$, we investigate the sign changes in the $tp^2$-th coefficient as $p$ runs through the split or inert primes over the ring of integers in a quadratic extension of the rationals. We show that sign changes occur in both sets of primes when there exists a prime dividing the discriminant of the field which does not divide the level of the cusp form and find an explicit condition that determines whether sign changes occur when every prime dividing the discrim…
We prove a version of Ihara's Lemma for degree q=1,2 cuspidal cohomology of the symmetric space attached to automorphic forms of arbitrary weight (k\geq 2) over an imaginary quadratic field with torsion (prime power) coefficients. This extends an earlier result of the author which concerned the case k=2, q=1. Our method here is different and uses results of Diamond and Blasius-Franke-Grunewald. We discuss the relationship of our main theorem to the problem of the existence of level-raising congruences.
We investigate properties of attainable partitions of integers, where a partition $(n_1,n_2, \dots, n_r)$ of $n$ is attainable if $\sum (3-2i)n_i\geq 0$. Conjecturally, under an extension of the Cohen and Lenstra heuristics by Holmin et. al., these partitions correspond to abelian $p$-groups that appear as class groups of imaginary quadratic number fields for infinitely many odd primes $p$. We demonstrate a connection to partitions of integers into triangular numbers, construct a generating function for attainable partitions, and determine the maximal length of attainable partitions.
In the present article, we extend previous results of the author and we show that when $K$ is any quadratic imaginary field of class number one, Fermat's equation $a^p+b^p+c^p=0$ does not have integral coprime solutions $a,b,c \in K \setminus \{ 0 \}$ such that $2 \mid abc$ and $p \geq 19$ is prime. The results are conjectural upon the veracity of a natural generalisation of Serre's modularity conjecture.
In this paper we will give a global description of the Frobenius for the division fields of an elliptic curve E which is strictly analogous to the cyclotomic case. This is then applied to determine the splitting of a prime p in subfields of such a division field. Such fields include a large class of non-solvable quintic extensions and our application provides an arithmetic counterpart to Klein's "solution" of quintic equations using elliptic functions. A central role is played by the discriminant of the ring of endomorphisms of the elliptic curve reduced modulo p.
Let $E$ be an elliptic curve over a finite field $k$, and $\ell$ a prime number different from the characteristic of $k$. In this paper we consider the problem of finding the structure of the Tate module $T_\ell(E)$ as an integral Galois representations of $k$. We indicate an explicit procedure to solve this problem starting from the characteristic polynomial $f_E(x)$ and the $j$-invariant $j_E$ of $E$. Hilbert Class Polynomials of imaginary quadratic orders play here an important role. We give a global application to the study of prime-splitting in torsion fields of elliptic curves over numbe…
