arXiv subjects
Publications and source records attributed to Tsuyoshi Itoh.
Let $k_\infty$ be the cyclotomic $\mathbb{Z}_p$-extension field of an algebraic number field $k$. Moreover, we take a $\mathbb{Z}_p$-extension $K_\infty$ over $k_\infty$. In this paper, we study the behavior of the $p$-part of the class number of certain intermediate fields of $K_\infty /k$. We also consider the structure of the unramified Iwasawa module of $K_\infty / k_\infty$ for several cases.
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$.
We consider the unramified Iwasawa module $X (F_\infty)$ of a certain $\mathbb{Z}_p$-extension $F_\infty/F_0$ generated by division points of an elliptic curve with complex multiplication. This $\mathbb{Z}_p$-extension has properties similar to those of the cyclotomic $\mathbb{Z}_p$-extension of a real abelian field, however, it is already known that $X (F_\infty)$ can be infinite. That is, an analog of Greenberg's conjecture for this $\mathbb{Z}_p$-extension fails. In this paper, we mainly consider analogs of weak forms of Greenberg's conjecture.
Let $k_\infty$ be the cyclotomic $\mathbb{Z}_p$-extension of an algebraic number field $k$. We denote by $S$ a finite set of prime numbers which does not contain $p$, and $S(k_\infty)$ the set of primes of $k_\infty$ lying above $S$. In the present paper, we will study the structure of the Galois group $\mathcal{X}_S (k_\infty)$ of the maximal pro-$p$ extension unramified outside $S (k_\infty)$ over $k_\infty$. We mainly consider the question whether $\mathcal{X}_S (k_\infty)$ is a non-abelian free pro-$p$ group or not. In the former part, we treat the case when $k$ is an imaginary quadratic field and $S = \emptyset$ (here $p$ is an odd prime number which does not split in $k$). In the latter part, we treat the case when $k$ is a totally real field and $S \neq \emptyset$.
For a prime number p, we denote by K the cyclotomic Z_p-extension of a number field k. For a finite set S of prime numbers, we consider the S-ramified Iwasawa module which is the Galois group of the maximal abelian pro-p-extension of K unramified outside S. This paper treats the case where S does not contain p and k is the rational number field or an imaginary quadratic field. In this case, we prove the explicit formulae for the free ranks of the S-ramified Iwasawa modules as abelian pro-p groups, by using Brumer's p-adic version of Baker's theorem on the linear independence of logarithms of algebraic numbers.
Let p be an odd prime, and k_\infty the cyclotomic Z_p-extension of an abelian field k. For a finite set S of rational primes which does not include p, we will consider the maximal S-ramified abelian pro-p extension M_S(k_\infty) over k_\infty. We shall give a formula of the Z_p-rank of Gal(M_S(k_\infty)/k_\infty). In the proof of this formula, we also show that M_{q}(k_\infty)/L(k_\infty) is a finite extension for every real abelian field k and every rational prime q distinct from p, where L(k_\infty) is the maximal unramified abelian pro-p extension over k_\infty.
We study on finite unramified extensions of global function fields (function fields of one valuable over a finite field). We show two results. One is an extension of Perret's result about the ideal class group problem. Another is a construction of a geometric $\mathbb{Z}_p$-extension which has a certain property.