Questions tagged [iwasawa-theory]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1
vote
1answer
179 views

Classification of cyclotomic fields with class number 1

1.Let $p$ be an odd prime number. Is there a classification of cyclotomic fields of the form $\mathbb{Q}(\zeta_p)$ with class number 1? 2.Is there such a classification for general cyclotomic fields $...
2
votes
0answers
117 views

Has there been much research on the Iwasawa theory of bi-quadratic fields?

The simplest non-trivial example of $\mathbb{Z}_p$-extensions happen over imaginary quadratic fields and I've seen a good amount of research done here (from my understanding still a lot to learn). I ...
22
votes
1answer
717 views

Why is the regulator of the degree 11 extension of $\mathbb{Q}$ so large?

Let $K_\infty/\mathbb{Q}$ denote the $\hat{\mathbb{Z}}$-extension of $\mathbb{Q}$. Then for each $n\geq1$, $K_\infty$ has a unique subfield $K_n$ of degree $n$ over $\mathbb{Q}$. The fields $K_n$ are ...
4
votes
1answer
221 views

How hard is it to find the first layer of this basic $\mathbb{Z}_p$-extension?

Let $p$ be a prime number and $\zeta_{p^n}$ be a primitive $p^n$-th root of unity. We know that there is a unique subfield $\mathbb{Q}_1$ of $\mathbb{Q}(\zeta_{p^2})$ such that $[\mathbb{Q}_1:\mathbb{...
2
votes
0answers
104 views

Average size of class groups of cyclotomic fields: three perspectives

Let $K$ be a number field. Let $h(K)$ denote the class number (i.e., the size of the ideal class group) of $K$, $R(K)$ be the regulator of $K$, and $\Delta_K$ the discriminant of $K$. Let $\mathcal{F}$...
2
votes
1answer
79 views

Existence of non-zero pseudo-null submodules

Let $p$ be a rational prime, and let $\Lambda_d$ be the Iwasawa algebra in $d$ variables, i.e. $\Lambda_d = \mathbb{Z}_p[[T_1, \ldots, T_d]]$. Let $A$ be a finitely generated and torsion $\Lambda_d$-...
2
votes
0answers
90 views

Iwasawa theory over function fields - How do eigenvalues vary in $\mathbb Z_\ell$ towers?

Consider a tower of curves $\dots \to C_n \to C_{n-1} \dots \to C_1$ over $\mathbb F_q$ where $C_n: f(x^{\ell^n},y) = 0$.We can look at the multiset $S_n$ of eigenvalues of the Frobenius $\sigma_q$ on ...
3
votes
0answers
138 views

Finiteness of points over the cyclotomic extension for modular forms

Let $\rho(f):G_\mathbb{Q} \rightarrow GL_2(K_f)$ be the Galois representation attached to some cuspidal modular form $f$ where $K_f$ is a finite extension of $\mathbb{Q}_p$. Let $V_f$ be the vector ...
2
votes
0answers
80 views

Iwasawa's results about relation between Galois cohomology and principal factorization

Let $K$ be a Galois number field with Galois group and units group $G$ and $U$, respectively. How we can relate the first cohomology group $H^1(G,U)$ to principal factorization in K? I'd try to find ...
2
votes
0answers
138 views

Merel's theorem on uniform bound for torsion of all elliptic curves

I am reading Silverman's book on Arithmetic of elliptic curves. There he mentions a theorem of Merel (Thm 7.5.1) which reads like this. Thm: For every integer $d \geq 1$, there is a constant $N(d)$ ...
2
votes
0answers
110 views

Tate module of elliptic curves; Commuting Hom functor and tensor product in the second coordinate

Let $\Lambda$ be the Iwasawa Algebra of the Galois group of the cyclotomic $\mathbb{Z}_p$-extension $\mathbb{Q}_{cyc}$ of $\mathbb{Q}$. Let $\widehat{\Lambda}$ be its Pontryagin dual (i.e the ...
2
votes
0answers
77 views

Elementary Iwasawa module

Let $k$ be a given number field. What is the importance and applications of knowing that the Iwasawa module $X_\infty$ of $k$ is an elementary $\Lambda$-module?
5
votes
1answer
222 views

Classification of finitely generated modules over non-commutative rings

Let $\Lambda$ be a commutative integral ring with an automorphism $\sigma$ (I have in mind $\mathbb Z_p[[t]]$ and $\sigma(t) = (1+t)^\alpha - 1$ with $\alpha \in \Lambda^\times$) and $R = \Lambda\{F\}$...
4
votes
1answer
121 views

Completely split primes in non-anticyclotomic $\mathbb{Z}_p$-extensions

In his colloquium paper "The Structure of Selmer Groups" Greenberg writes the following: If $K$ is an imaginary quadratic field ... it is conjectured that for any [non-anticyclotomic] $\mathbb{Z}_p$...
2
votes
0answers
73 views

Regular growth of ranks in Iwasawa tower

$\newcommand{\rank}{\operatorname{rank}}$Let $G=H \times K$ be a torsion free pro-$p$, $p$-adic Lie group. Let $H =\mathbb{Z}_p$, the ring of $p$-adic integers and $K$ is a non-commutative torsion ...
1
vote
1answer
185 views

Completed cohomology and variants

I am interested in the following set up: I have an ind-sequence of curves $\dots X_2\to X_1$ defined over a finite field of characteristic $p$ such that $X_n/X_{n-1}$ is a Galois degree $\ell$ cover ...
7
votes
1answer
379 views

Why can Euler systems constructed from algebraic cycles only be anticyclotomic?

In a footnote to the 2018 Zerbes-Loeffler lecture notes from the Arizona Winter School, it's stated that Euler systems constructed from algebraic cycles "cannot give a full Euler system, only an ...
5
votes
1answer
203 views

Adjoint Selmer groups and Deformation rings

Let $\rho:\operatorname{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})\rightarrow \operatorname{GL}_2(\bar{\mathbb{Z}}_p)$ be a $p$-adic Galois representation associated to a $p$-ordinary Hecke eigencuspform, let $...
2
votes
1answer
188 views

Modular symbols associated to Rankin Selberg convolutions and the symmetric square

I'm interested in understanding how one may associate modular symbols to the L-functions and $p$-adic L-functions associated to the Rankin Selberg convolution of two modular forms/ elliptic curves and ...
2
votes
1answer
230 views

Generalized Greenberg's conjecture for imaginary quadratic fields

Let $K$ be an imaginary quadratic field and $\widetilde{K}$ be the compositum of all $\mathbb{Z}_p$ extensions of $K$. Here, $\widetilde{K}/K$ is a $\mathbb{Z}_p^2$ extension. Define $M(\widetilde{K})$...
2
votes
1answer
163 views

Euler characteristics in the rank one case

Suppose $E$ is an elliptic curve over a number field with good ordinary reduction at the primes above a fixed odd prime $p$. We are interested in the Iwasawa theory over the cyclotomic $\mathbb{Z}_p$ ...
4
votes
0answers
125 views

Is there a converse to Vatsal's theorem on congruence of p-adic L-functions?

Let $f=\sum_n a_n(f) q^n$ and $g=\sum_n a_n(g) q^n$ be normalized (cuspidal) newforms whose Fourier coefficients are contained in the p-adic field K for which the uniformizer of $\mathcal{O}_K$ is ...
1
vote
0answers
88 views

Existence of nontrivial finite sub-modules in the cyclotomic extension

It is a well established fact (by Greenberg) that if $p$ is a prime of good ordinary reduction of an elliptic curve $E/\mathbb{Q}$, then the dual of the Selmer group, denoted by $X(E/\mathbb{Q}_{cyc})$...
1
vote
0answers
91 views

Trivial fine Selmer group in the cyclotomic extension

In explicit examples that I have seen worked out, it appears that when the fine Selmer group is finite in the cyclotomic extension it is in fact trivial. Is there any reason to expect that this ...
10
votes
1answer
718 views

Iwasawa theory and perfectoid spaces

Have there been any applications of perfectoid theory to Iwasawa theory? At a first glance, this seems like a natural choice. For instance, the field $\mathbb Q_p(\mu_p^{1/p^\infty})$ is studied in ...
2
votes
1answer
358 views

State of the art on the main conjecture for supersingular elliptic curves/modular forms

Kobayashi formulated the analog of the main conjecture in Iwasawa's theory for elliptic curves which are supersingular at a prime p. This makes use of the $\pm$ Selmer groups which are shown to be ...
1
vote
0answers
51 views

Infinite Non Abelian Extensions Unramified Outside p

Let $K$ be a number field and $p$ be a fixed odd prime. Suppose $\mathfrak{p}\mid p$ is the only prime prime above $p$ in $K$, and that $p$ does not divide the class number of $K$ (I am okay with ...
5
votes
0answers
125 views

$\lambda$-invariants in cyclotomic $\mathbb{Z}_p$ extensions

The idea that Selmer groups and class groups are related is not new. More recently, we understand that the growth patterns of fine Selmer groups are very similar to that of class groups in cyclotomic $...
1
vote
1answer
166 views

Cassels Pairing for Fine Selmer groups

Let $S_n$ be the Selmer group of $E/K_n$ where $K_n/K$ is the $n$-th layer of the cyclotomic $\mathbb{Z}_p$-extension of $K$ and $C_n$ be the torsion part of $S_n$. By Cassels pairing, we know that ...
4
votes
0answers
194 views

$\mu=0$ for CM Elliptic curves?

Let $E$ be an elliptic curve defined over $F$ with CM by $\mathcal{O}_K$ where $K$ is an imaginary quadratic field. We may assume the $F$ contains $K$ and also contains the $p$-division points, where $...
3
votes
0answers
111 views

Iwasawa theory and cohomological $p$-dimension of Inertia

Let $E$ be a elliptic curve without complex multiplication over a number field $F$. Let $F_n=F[E_{p^n}]$ and $F_{\infty}=F[E_{p^\infty}]$. So by a well know theorem of Serre, the Galois group $Gal(F_\...
5
votes
0answers
134 views

From which layer we can apply Iwasawa's class number formula in Z_p extension?

Let $K$ be a number field. Let $K_\infty/K$ be a $\mathbb{Z}_p$ extension. Iwasawa proved that there are four integers $n_0,\mu,\lambda,\nu \geq 0$ such that for any $n\geq n_0$, $$\mathrm{ord}_p(...
2
votes
0answers
116 views

$p$-primary torsion of an elliptic curve in the cyclotomic $\mathbb{Z}_p$-extension of a $p$-adic field

Let $K$ be a number field and $v$ be a fixed prime above $p$. Let $k=K_v$. We have the cyclotomic $\mathbb{Z}_p$ extension $K_\infty/K$ and if $w$ is a prime above $v$ in $K_\infty$ we write $k_\infty=...
4
votes
0answers
203 views

Calculating some Galois cohomology

Let $L/\mathbb{Q}$ be a Galois extension of degree $p$ and $E$ be an elliptic curve defined over $\mathbb{Q}$. Let $p$ be a fixed prime (of good ordinary reduction if required). We use $L_\infty, \...
1
vote
0answers
111 views

The Iwasawa $\lambda$-invariant of the cyclotomic $\mathbb{Z}_3$-extension of $\mathbb{Q}(\sqrt{-3})$

I'm now on a research about the Iwasawa $\lambda$-invariants of the cyclotomic $\mathbb{Z}_p$-extensions of number fields. And it happens that the cyclotomic $\mathbb{Z}_3$-extension of $\mathbb{Q}(\...
4
votes
1answer
235 views

Kato's Euler System for Isogenous Elliptic Curves

Let $E,E^\prime$ be elliptic curves over $\mathbb{Q}$ and also suppose they are $p$-isogenous. How are the Euler systems corresponding to the two isogenous elliptic curves related, if at all?
3
votes
0answers
56 views

How does the $\lambda$ invariant propagate with extra ramification?

Let $\mathbb{Q}^{cyc}$ denote the cyclotomic $\mathbb{Z}_p$ extension of $\mathbb{Q}$ and let $\Lambda$ denote the corresponding Iwasawa algebra. Let $p$ be a prime. Let $S$ denote a finite set of ...
0
votes
0answers
119 views

$\mu=0$ for elliptic curves over number fields

Greenberg conjectured that given $E/K$, there always exists $E^\prime/K$ such that $E'$ is isogenous to $E$ and $\mu(E^\prime)=0$. Michael Drinen has shown that for an elliptic curve $E/K$, it is ...
3
votes
1answer
272 views

Is there relationship between $\mu=0$ for an elliptic curve and the irreducibility of its residual representation at a prime $p$?

I remember it being mentioned at a talk that if $E$ is an elliptic curve over $\mathbb{Q}$ and $p$ a prime at which it has good reduction then the dual to the Selmer group over the cyclotomic $\mathbb{...
1
vote
1answer
187 views

How likely is it for Selmer groups to have mu invariant 0?

Given a number field $K$, how likely is it that we'll find at least one elliptic curve $E/K$ such that the $\mu$-invariant of its Selmer group is 0 (in a cyclotomic extension)?
2
votes
0answers
63 views

An issue with showing that an Iwasawa module has zero $\mu$ invariant

Let $\chi$ denote the $p$-adic cyclotomic character. Let $\mathbb{Q}^{cyc}$ denote the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$. Let $\gamma$ be the topological generator of $\Gamma=\text{...
2
votes
0answers
103 views

What is the current status on the corank conjecture for Selmer groups (2)?

This is a follow up to What is the current status on the corank conjecture for Selmer groups? Let E be an elliptic curve over a number field $K$ an imaginary quadratic field in which a prime $p$ ...
5
votes
0answers
208 views

List of applications of the Deformation theory of Galois Representations in contexts other that $R=T$

The Deformation theory of Galois representations developed by Mazur has been extensively used in proving that Galois representations with special properties are modular/automorphic through the ...
5
votes
1answer
401 views

What is the current status on the corank conjecture for Selmer groups?

Let $E$ be an elliptic curve over $\mathbb{Q}$ and $p$ a prime. It is conjectured in the book of Coates and Sujatha "Galois Cohomology of Elliptic Curves" (Conjecture 2.5) that the corank of the ...
5
votes
0answers
184 views

When can one expect that the $\mu$-invariant of a $\mathbb{Z}_p$-extension of a number field is zero?

What is special about $\mathbb{Z}_p$-extensions which are motivic to ensure that their $\mu$ invariant is zero? Is there a simple conceptual reason. Here are some examples. Let $F$ be a totally real ...
2
votes
0answers
129 views

Iwasawa Theoretic Interest in a certain type of result

This question is probably going to sound vague (since it does to me) and I wish I could make it more precise, but here goes. For $p\in \{107, 139, 271,379\}$ Ohtani and Blondeau (in separate papers) ...
3
votes
0answers
102 views

Some Questions regarding the fine Shafarevich-Tate group

The fine Shafarevich-Tate (ST) group appears to not have been studied in much depth except for one paper by Wuthrich (2007). However, it only talks about fine ST group for elliptic curves, which makes ...
2
votes
1answer
190 views

Inverse Problem for Iwasawa Modules

Let $\Lambda$ denote the Iwasawa algebra and $M$ a finitely generated torsion $\Lambda$ module. Does there exist a number field $K$ and a $\mathbb{Z}_p$-extension $K_{\infty}/K$ such that the $p$-...
1
vote
0answers
49 views

Finite generation for a restricted ramification idele module

Let $k$ be a number field, let $\bar k \subseteq \mathbb{C}$ be a fixed algebraic closure of $k$, and let $S$ be the set of infinite primes of $k$. Denote by $k_S$ the maximal extension of $k$ inside $...
5
votes
1answer
813 views

Elliptic curves and $GL(2)$ Iwasawa theory

Let $E$ be a elliptic curve without complex multiplication over a number field $F$. Let $F_n=F[E_{p^n}]$ and $F_{\infty}=F[E_{p^\infty}]$. So by a well know theorem of Serre, the Galois group $Gal(F_\...