Skip to main content

All Questions

Filter by
Sorted by
Tagged with
1 vote
0 answers
45 views

Indices of norms of units in a tower of a $\mathbb{Z}_p$-extension, or equivalently, order of $H^1$ of units in the tower

Let $K$ be a finite extension of $\mathbb{Q}$ and $L/K$ be a $\mathbb{Z}_p$-extension with finite layers $L_i$, hence $L_j/L_i$ is cyclic of order $p^{j-i}$ (put $K=L_0$). Let $U_E$ be the unit group ...
2 votes
0 answers
250 views

Maximal p-extension and pro-p extension

I’m studying Iwasawa theory and I meet some questions Thanks a lot for your help. Q_1: About terminology $p$-extension. I find many reference use maximal $p$-extension or maximal abelian p-extension ...
2 votes
0 answers
93 views

Compositum of field extensions in context of $\mathbb Z_p$ extension

I had asked this question on stackexchange and I think it is better suited for this site. Suppose I have a $\Gamma \simeq \mathbb Z_p $ extension $F_\infty /F$ of a number field $F$. Let $F_n$ be the ...
1 vote
0 answers
100 views

Examples of $\mathbb{Z}_p$-extensions and two $\mathbb{Z}_p$-extensions with a "nontrivial" intersection

Let $k$ be a number field (a finite extension of $\mathbb{Q}$). Let $p$ be a prime. By saying "$\mathbb{Z}_p$-extensions", we mean Galois extensions $K/k$ of Galois group isomorphic to $\...
1 vote
0 answers
54 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
0 answers
127 views

non $p$ part of the class group and analogous results

Washington had proven in 1978 that for $q$ a prime ($q \neq p$), if $q^{e_n}$ exactly divides the class number of $\mathbb{Q}_n$, ie the $n$-th layer in the cyclotomic $\mathbb{Z}_p$ extension, then $...
4 votes
0 answers
190 views

Restricted Iwasawa theory

Let $p$ be a prime number, let $K$ be a number field, and let $L$ be a Galois extension of $K$ such that the Galois group $\Gamma$ of $L$ over $K$ is (continuously) isomorphic to the (additive) group $...
8 votes
1 answer
253 views

Does Ribet's construction of class fields give us eigenspaces of rank 1?

Ribet's paper on the Herbrand-Ribet theorem constructs a representation $\rho: Gal(\overline{\Bbb Q}/\Bbb Q) \to GL_2(\mathbb F_q)$ where $q = p^r$ of the specific form: $ \begin{bmatrix} 1 & *\\ ...
5 votes
2 answers
651 views

The $\ell$- part of the class groups of the $p$-cyclotomic fields

Let $K_n = \Bbb Q(\mu_{p^{n+1}})$ and let $A_n$ be it's class group. Iwasawa theory tells us a lot about the $p$-part of $A_n$. For instance, we know quite a lot about how it varies with $n$. I am ...
6 votes
0 answers
293 views

Iwasawa theory, $\mathbb{Z}_p^{2}$-extension, Greenberg module

Take $H\subset \bar{\mathbb{Q}}$ be a quartic imaginary number field such that $\operatorname{Gal}(H/\mathbb{Q})=\mathbb{Z}_2 \times \mathbb{Z}_2$. Denote by $F$ the quadratic real subfield of $H$ and ...
13 votes
2 answers
1k views

Capitulation in cyclotomic extensions

Let $p$ be an irregular prime, which means that $p$ divides some Bernoulli number: $p \mid B_k$ (for some even $k\in[2,p-3]$). This implies that the class number of the field $K$ of $p$-th roots of ...