Let $d$ be a positive square-free integer. In this paper we shall investigate the structure of the $2$-class group of the cyclotomic $\mathbb{Z}_2$-extension of the imaginary biquadratic number field $\mathbb{Q}(\sqrt{d},\sqrt{-1})$. Furthermore, we deduce the structure of the $2$-class group of cyclotomic $\mathbb{Z}_2$-extension of $\mathbb{Q}(\sqrt{-d})$.
We describe Greenberg's pseudo-null conjecture, and prove a result describing conditions under which the pseudo-null conjecture for a number field $K$ implies the conjecture for finite extensions of $K$. We then apply the result to the cyclotomic $\mathbb{Z}_p$-tower above a cyclotomic field of prime roots of unity, verifying the conjecture for a large class of cyclotomic fields.
In this paper, we study the Tamagawa numbers of a crystalline representation over a tower of cyclotomic extensions under certain technical conditions on the representation. In particular, we show that we may improve the asymptotic bounds given in the thesis of Arthur Laurent in certain cases.
We formulate and for the most part prove a conjecture in the style of Mazur-Greenberg for the nonvanishing of central values of Rankin-Selberg $L$-functions attached to elliptic curves in abelian extensions of imaginary quadratic fields. This in particular generalizes the theorem of Rohrlich on $L$-functions of elliptic curves in cyclotomic towers to the setting of abelian extensions of imaginary quadratic fields, corresponding to families of degree-four $L$-functions given by $\operatorname{GL}(2)\times\operatorname{GL}(2)$ Rankin-Selberg $L$-functions. It also generalizes the theorems of Roh…
Following the prequel work \cite{VO3}, we prove a generalization of "Mazur's conjecture" for $L$-functions of elliptic curves in abelian extensions of imaginary quadratic fields, including the assertion that the Mordell-Weil rank of an elliptic curve in the ${\bf{Z}}_p^2$-extension is finitely generated modulo Heegner points. The novelty of the approach here is to use the existence of a suitable $p$-adic $L$-function to reduce the problem to a minimal nonvanishing criterion, which should be applicable to a broader class of problems than considered here.
We consider the signature rank of the units in real multiquadratic fields. When the three quadratic subfields of a real biquadratic field $K$ either (a) all have signature rank 2 (that is, fundamental units of norm $-1$), or (b) all have signature rank 1 (that is, have totally positive fundamental units), we provide explicit examples to show there exist infinitely many $K$ having each of the possible unit signature ranks (namely signature rank 3 or 4 in case (a) and signature rank 1,2, or 3 in case (b)). We make some additional remarks for higher rank real multiquadratic fields, in particular …
Let $p$ be an odd prime, $F$ be a number field and consider a uniform infinite pro-$p$ extension $F_\infty$ of $F$ with Galois group $G=Gal(F_\infty/F)$. Let \[G=G_0\supset G_1\supset\dots \supset G_n\supset G_{n+1}\supset \dots\] be the descending $p$ central series of $G$ and set $F_n:=F_\infty^{G_n}$. Assume that $G$ is uniform and that $F_\infty$ contains the cyclotomic $\mathbb{Z}_p$-extension of $F$. Denote by $A_n$ the $p$-primary part of the class group of the cyclotomic $\mathbb{Z}_p$-extension of $F_n$. The $λ$-invariant of $F_n$ coincides with the corank of $A_n$ as a $\mathbb{Z}_p$…
Let $π$ be a cuspidal automorphic representation of $\operatorname{GL}_2$ over a totally real number field $F$. Let $K$ be a totally imaginary quadratic extension of $F$. We estimate central values of the $\operatorname{GL}_2 \times \operatorname{GL}_2$ Rankin-Selberg $L$-functions associated to $π$ times representations induced from Hecke characters of $K$ which are ramified only at a given prime ideal $\mathfrak{p}$ of $F$. More specifically, we use spectral decompositions of shifted convolution sums and relations to Fourier-Whittaker coefficients of genuine and non-genuine metaplectic forms…
Let $E$ be an elliptic curve defined over a number field $F$ with good ordinary reduction at all primes above $p$, and let $F_\infty$ be a finitely ramified uniform pro-$p$ extension of $F$ containing the cyclotomic $\mathbb{Z}_p$-extension $F_{cyc}$. Set $F^{(n)}$ be the $n$-th layer of the tower, and $F^{(n)}_{cyc}$ the cyclotomic $\mathbb{Z}_p$-extension of $F^{(n)}$. We study the growth of the rank of $E(F^{(n)})$ by analyzing the growth of the $λ$-invariant of the Selmer group over $F^{(n)}_{cyc}$ as $n\rightarrow \infty$. This method has its origins in work of A.Cuoco, who studied $\math…
This paper gives examples of function fields $K_0$ over a finite field $\mathbb{F}_q$ of $p$ power order ramified only at one finite regular prime over $\mathbb{F}_q(t)$, which admit infinite Hilbert $p$-class field towers. Such a $K_0$ can be taken as an extension of a cyclotomic function field $\mathbb{F}_q(t)(λ_{\mathfrak{p}^m})$ for a certain regular prime $\mathfrak{p}$ in $\mathbb{F}_q[t]$.
We study the growth of the Tate-Shafarevich and p-infinity Selmer groups for isogenous abelian varieties in towers of number fields, with an emphasis on elliptic curves. The growth types are usually exponential, as in the setting of `positive mu-invariant' in Iwasawa theory of elliptic curves. The towers we consider are p-adic and l-adic Lie extensions for l<>p, in particular cyclotomic and other Z_l-extensions.
The deformation theory of ordinary representations of the absolute Galois groups of totally real number fields (over a finite field $k$) has been studied for a long time, starting with the work of Hida, Mazur and Tilouine, and continued by Wiles and others. Hida has studied the behaviour of these deformations when one considers the $p$-cyclotomic tower of extensions of the field. In the limit, one obtains a deformation ring $R_\infty$ classifying the ordinary deformations of the (Galois group of) the $p$-cyclotomic extension. We show that if $R_\infty$ is Noetherian and certain adjoint $μ$-inv…
We prove the rank of the group of signatures of the circular units (hence also the full group of units) of ${\mathbb Q}( ζ_m)^+$ tends to infinity with $m$. We also show the signature rank of the units differs from its maximum possible value by a bounded amount for all the real subfields of the composite of an abelian field with finitely many odd prime-power cyclotomic towers. In particular, for any prime $p$ the signature rank of the units of ${\mathbb Q}( ζ_{p^n})^+$ differs from $φ(p^n)/2$ by an amount that is bounded independent of $n$. Finally, we show conditionally that for general cyclo…
We prove an Equivariant Main Conjecture in Iwasawa Theory along any rank one, sign-normalized Drinfeld modular, split at infinity Iwasawa tower of a general function field of characteristic p, for the Iwasawa modules recently considered by Greither and Popescu, in their proof of the classical Equivariant Main Conjecture along the (arithmetic) cyclotomic Iwasawa tower.
Let $p_1\equiv p_2\equiv -q\equiv1 \pmod4$ be different primes such that $\displaystyle\left(\frac{2}{p_1}\right)= \displaystyle\left(\frac{2}{p_2}\right)=\displaystyle\left(\frac{p_1}{q}\right)=\displaystyle\left(\frac{p_2}{q}\right)=-1$. Put $d=p_1p_2q$ and $i=\sqrt{-1}$, then the bicyclic biquadratic field ${k}=\mathbb{Q}(\sqrt{d},i)$ has an elementary abelian $2$-class group, $\mathbf{C}l_2(k)$, of rank $3$. In this paper, we study the principalization of the $2$-classes of ${k}$ in its fourteen unramified abelian extensions $\mathbb{K}_j$ and $\mathbb{L}_j$ within ${k}_2^{(1)}$, that is t…
Let p be an odd prime. Let K = \Q(zeta) be the p-cyclotomic number field. Let v be a primitive root mod p and sigma : zeta --> zeta^v be a \Q-isomorphism of the extension K/\Q generating the Galois group G of K/\Q. For n in Z, the notation v^n is understood by v^n mod p with 1 \leq v^n \leq p-1. Let P(X) = \sum_{i=0}^{p-2} v^{-i}X^i \in \Z[X] be the Stickelberger polynomial. P(sigma) annihilates the class group C of K. There exists a polynomial Q(X) \in \Z[X] such that P(sigma)(sigma-v) = p\times Q(sigma) and such that Q(sigma) annihilates the p-class group C_p of K (the subgroup of exponent p…
We investigate the group of universal norms attached to the cyclotomic Z {\ell}-tower of a totally real number field in connection with Grenberg's conjecture on Iwasawa invariants of such a field.
Let $\ell$ and $p$ be two distinct primes. We study the $p$-adic valuation of the number of spanning trees in an abelian $\ell$-tower of connected multigraphs. This is analogous to the classical theorem of Washington--Sinnott on the growth of the $p$-part of the class group in a cyclotomic $\mathbb{Z}_\ell$-extension of abelian extensions of $\mathbb{Q}$. Furthermore, we show that under certain hypotheses, the number of primes dividing the number of spanning trees is unbounded in such a tower.
In this paper, we study the fine Selmer groups attached to a Galois module defined over a commutative complete Noetherian ring with finite residue field of characteristic p. Namely, we are interested in its properties upon taking residual representation and within field extensions. In particular, we will show that the variation of the fine Selmer group in a cyclotomic $\Zp$-extension is intimately related to the variation of the class groups in the cyclotomic tower. We also discuss some examples of pseudo-nullity of fine Selmer groups.
Let $\ell$ be a rational prime. Previously, abelian $\ell$-towers of multigraphs were introduced which are analogous to $\Z_{\ell}$-extensions of number fields. It was shown that for towers of bouquets, the growth of the $\ell$-part of the number of spanning trees behaves in a predictable manner (analogous to a well-known theorem of Iwasawa for $\Z_{\ell}$-extensions of number fields). In this paper, we extend this result to abelian $\ell$-towers over an arbitrary connected multigraph (not necessarily simple and not necessarily regular). In order to carry this out, we employ integer-valued pol…
For an odd prime p and a number field F containing a primitive p-th root of unity, we describe the Kummer radical A_F of the first layers of all the Z_p-extensions of F in terms of universal norms of p-units along the cyclotomic tower of F . We also study "twisted" radicals related to AF .
We study the behaviour of the Stark conjecture for an abelian extension K/k of totally real number fields as K varies in a cyclotomic Z_p-tower. We consider possible strengthenings of the natural norm-coherence in the tower of putative solution of the complex conjecture and,especially, the consequences for the analogous p-adic conjecture. More precisely, under two principal assumptions - (i) that these solutions are given by exterior powers of norm-coherent sequences of global (or p-semilocal) units and (ii) that p splits in k - we show how the values of p-adic twisted zeta-functions for K/k a…
Fix a Galois extension E/F of totally real number fields such that the Galois group G has exponent 2. Let S be a finite set of primes of F containing the infinite primes and all those which ramify in E, let S_E denote the primes of E lying above those in S, and let O_E^S denote the ring of S_E-integers of E. We then compare the Fitting ideal of K_2(O_E^S) as a Z[G]-module with a higher Stickelberger ideal. The two extend to the same ideal in the maximal order of Q[G], and hence in Z[1/2][G]. Results in Z[G] are obtained under the assumption of the Birch-Tate conjecture, especially for biquadra…
Let L/K be a 2-birational CM-extension of a totally real 2-rational number field. We characterize in terms of tame ramification totally real 2-extensions K'/K such that the compositum L'= LK' is still 2-birational. In case the 2-extensions K'/K is linearly disjoint from the cyclotomic Z2-extension Kc/K, we prove that K'/K is at most quadratic. In the other hand we construct infinite towers of such 2-extensions.
In this article, we provide a relation between the $μ$-invariants of the dual plus and minus Selmer groups for supersingular elliptic curves when we ascend from the cyclotomic $\mathbb{Z}_p$-extension to a $\mathbb{Z}_p^2$-extension over an imaginary quadratic field. Furthermore we show that the supersingular $\mathfrak{M}_H(G)$-conjecture is equivalent to the fact that the $μ$-invariants doesn't change as we go up the tower.
Let k be a number field. For an odd prime p and an integer i>1, the i-th étale wild kernel is contained in the second cohomology group of o'_k with coefficients in Zp(i), where o'_k is the ring of p-integers of k. Using Iwasawa theory, we give conditions for this inclusion to split. In particular we relate this splitting problem to the triviality of two invariants, namely the asymptotic kernels of the Galois descent and codescent for class groups along the cyclotomic tower of k. We illustrate our results in both split and non-split cases for quadratic number fields.
We introduce a framework generalizing lattice reduction algorithms to module lattices in order to practically and efficiently solve the $γ$-Hermite Module-SVP problem over arbitrary cyclotomic fields. The core idea is to exploit the structure of the subfields for designing a doubly-recursive strategy of reduction: both recursive in the rank of the module and in the field we are working in. Besides, we demonstrate how to leverage the inherent symplectic geometry existing in the tower of fields to provide a significant speed-up of the reduction for rank two modules. The recursive strategy over t…
Let $k$ be a totally real number field and $p$ a prime. We show that the ``complexity'' of Greenberg's conjecture ($λ= μ= 0$) is of $p$-adic nature governed (under Leopoldt's conjecture) by the finite torsion group ${\mathcal T}_k$ of the Galois group of the maximal abelian $p$-ramified pro-$p$-extension of $k$, by means of images in ${\mathcal T}_k$ of ideal norms from the layers $k_n$ of the cyclotomic tower (Theorem (5.2)). These images are obtained via the formal algorithm computing, by ``unscrewing'', the $p$-class group of~$k_n$. Conjecture (5.4) of equidistribution of these images would…
We prove the "divisible case" of the Milnor-Bloch-Kato conjecture (which is the first step of Voevodsky's proof of this conjecture for arbitrary prime l) in a rather clear and elementary way. Assuming this conjecture, we construct a 6-term exact sequence of Galois cohomology with cyclotomic coefficients for any finite extension of fields whose Galois group has an exact quadruple of permutational representations over it. Examples include cyclic groups, dihedral groups, the biquadratic group Z/2\times Z/2, and the symmetric group S_4. Several exact sequences conjectured by Bloch-Kato, Merkurjev-…
Let $p$ be an odd prime and let $E$ be an elliptic curve defined over a number field $F$ with good reduction at primes above $p$. In this survey article, we give an overview of some of the important results proven for the fine Selmer group and the signed Selmer groups over cyclotomic towers as well as the signed Selmer groups over $\mathbb{Z}_p^2$-extensions of an imaginary quadratic field where $p$ splits completely. We only discuss the algebraic aspects of these objects through Iwasawa theory. We also attempt to give some of the recent results implying the vanishing of the $μ$-invariant unde…