Related papers: Algorithmic complexity of Greenberg's conjecture

Let $p$ be an odd prime. For a number field $K$, we let $K_\infty$ be the maximal unramified pro-$p$ extension of $K$; we call the group $\mathrm{Gal}(K_\infty/K)$ the $p$-class tower group of $K$. In a previous work, as a non-abelian…

Let $p\ge 5$ be a prime number, $E/\mathbb{Q}$ an elliptic curve with good supersingular reduction at $p$ and $K$ an imaginary quadratic field such that the root number of $E$ over $K$ is $+1$. When $p$ is split in $K$, Darmon and Iovita…

It is well known that the Tchebotarev density theorem implies that an irreducible $\ell$-adic representation $\rho$ of the absolute Galois group of a number field $K$ is determined (up to isomorphism) by the characteristic polynomials of…

To extend Iwasawa's classical theorem from ${\mathbb Z}_p$-towers to ${\mathbb Z}_p^d$-towers, Greenberg conjectured that the exponent of $p$ in the $n$-th class number in a ${\mathbb Z}_p^d$-tower of a global field $K$ ramified at finitely…

The main aim of this paper is to investigate Greenberg's conjecture for real biquadratic fields. More precisely, we propose the following problem: What are real biquadratic number fields $k$ such that ${\rm rank}(A(k_\infty)) = {\rm…

Let $E_{/\mathbb{Q}}$ be an elliptic curve and $p$ be an odd prime number at which $E$ has good ordinary reduction. Let $Sel_{p^\infty}(\mathbb{Q}_\infty, E)$ denote the $p$-primary Selmer group of $E$ considered over the cyclotomic…

Let $f$ be a newform of weight $k=2r$ and level $N$ with trivial nebentypus. Let $\mathfrak{p}\nmid 2N$ be a maximal ideal of the ring of integers of the coefficient field of $f$ such that the self-dual twist of the mod-$\mathfrak{p}$…

Given an odd prime number $p$ and a $p$-stabilized Artin representation $\rho$ over $\mathbb{Q}$, we introduce a family of $p$-adic Stark regulators and we formulate an Iwasawa-Greenberg main conjecture and a $p$-adic Stark conjecture which…

In this paper we are interested in the stability of the $2$-rank of the class group in the cyclotomic $\mathbb{Z}_2$-extension of real biquadratic fields. In fact, we give several families of real biquadratic fields $K$ such that $…

This paper is about the Iwasawa theory of elliptic curves over the cyclotomic $\mathbb{Z}_p$-extension $\mathbb{Q}^{\text{cyc}}$ of $\mathbb{Q}$. We discuss a deep conjecture of Greenberg that if $E/\mathbb{Q}$ is an elliptic curve with…

We consider the canonical representation of the absolute Galois group of the rational numbers in the outer automorphism group of the pro-p completion of the fundamental group of the projective line minus 0,1, and infinity. Deligne has…

Let $k$ be a perfect field of characteristic $p$ and $\Gamma$ an infinite, first countable pro-$p$ group. We study the behavior of the $p$-primary part of the "motivic class group", i.e. the full $p$-divisible group of the Jacobian, in any…

Let Gamma be a semidirect product of the form Z^n rtimes Z/p where p is prime and the Z/p-action on Z^n is free away from the origin. We will compute the topological K-theory of the real and complex group C*-algebra of Gamma and show that…

We show that the cyclotomic Iwasawa--Greenberg Main Conjecture holds for a large class of modular forms with multiplicative reduction at $p$, extending previous results for the good ordinary case. In fact, the multiplicative case is deduced…

Let X be a smooth projective curve of genus >1 over a field K which is finitely generated over the rationals. The section conjecture in Grothendieck's anabelian geometry says that the sections of the canonical projection from the arithmetic…

We give a streamlined and effective proof of Ozaki's theorem that any finite $p$-group $\Gamma$ is the Galois group of the $p$-Hilbert class field tower of some number field $\rm F$. Our work is inspired by Ozaki's and applies in broader…

Let $N$ and $p$ be prime numbers $\geq 5$ such that $p$ divides $N-1$. Let $I$ be Mazur's Eisenstein ideal of level $N$ and $H_+$ be the plus part of $H_1(X_0(N), \mathbf{Z}_p)$ for the complex conjugation. We give a conjectural explicit…

The Goldman-Parker Conjecture classifies the complex hyperbolic C-reflection ideal triangle groups up to discreteness. We proved the Goldman-Parker Conjecture in [Ann. of Math. 153 (2001) 533--598] using a rigorous computer-assisted proof.…

We prove the semisimplicity conjecture for A-motives over finitely generated fields K. This conjecture states that the rational Tate modules V_p(M) of a semisimple A-motive M are semisimple as representations of the absolute Galois group of…

For any positive integer $n$, we show that there exists a real number field $k$ (resp. $k'$) of degree $2^n$ whose $2$-class group is isomorphic $\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$ such that the Galois group of the maximal…