On the Iwasawa invariants of certain non-cyclotomic ℤ2-extensions

Let k be an imaginary quadratic field in which the prime 2 splits. We consider the Iwasawa invariants of a certain non-cyclotomic ℤ₂-extension of k and give some sufficient conditions for the vanishing of λ- and μ-invariants.     

Iwasawa theory of totally real fields for certain non-commutative p-extensions

In this paper, we will prove the non-commutative Iwasawa main conjecture—formulated by John Coates, Takako Fukaya, Kazuya Kato, Ramdorai Sujatha and Otmar Venjakob (2005)—for certain specific non-commutative p-adic Lie extensions of totally real fields by using theory on integral logarithms introduced by Robert Oliver and Laurence R. Taylor, theory on Hilbert modular forms introduced by Pierre Deligne and Kenneth A. Ribet, and so on. Our results give certain generalization of the recent work of Kazuya Kato on the proof of the main conjecture for Galois extensions of Heisenberg type.     

On the class semigroup of ZS-fields and Iwasawa invariants

Let p be a prime number. In [15], we studied the class semigroup of the ring of integers of the cyclotomic ${\mathbb{Z}}_p$-extension of the rationals. In this paper, we generalize the result to some ${\mathbb{Z}}_S$-extensions of number fields. Moreover, we investigate the relation between the class semigroup and Iwasawa invariants.     

Iwasawa invariants for the False-Tate extension and congruences between modular forms

For an ordinary prime p?3, we consider the Hida family associated to modular forms of a fixed tame level, and their Selmer groups defined over certain Galois extensions of Q(μp) whose Galois group is G≅Zp?Zp. For Selmer groups defined over the cyclotomic Zp-extension of Q(μp), we show that if the μ-invariant of one member of the Hida family is zero, then so are the μ-invariants of the other members, while the λ-invariants remain the same only in a branch of the Hida family. We use these results to study the behavior of some invariants from non-commutative Iwasawa theory in the Hida family.     

A study on functional independence of the Iwasawa power series

We study a class of functional independences that the Iwasawa power series satisfy for both zero and non-zero characteristics. As results, we prove a generalization of Anglès and Ranieri [B. Anglès, G. Ranieri, On the linear independence of p$p$-adic L$L$-functions modulo p$p$, Ann. Inst. Fourier (Grenoble) 60 (5) (2010) 1831–1855] and transcendence of the Iwasawa power series over the rational functions for non-zero characteristics. We also verify that the power series is not a solution of any non-trivial linear differential equation with the coefficients of rational functions over p$p$-adic numbers.     

Class number 2 problem for certain real quadratic fields of Richaud-Degert type

In this paper we will apply Biró's method in [A. Biró, Yokoi's conjecture, Acta Arith. 106 (2003) 85-104; A. Biró, Chowla's conjecture, Acta Arith. 107 (2003) 179-194] to class number 2 problem of real quadratic fields of Richaud-Degert type and will show that there are exactly 4 real quadratic fields of the form with class number 2, where n²+1 is a even square free integer.     

On the Iwasawa invariants of totally real number fields

We shall show two sufficient conditions under which the Iwasawa invariants λ _k and μ _k of a totally real fieldk vanish for an odd primel, based on the results obtained in [1], [3] and [4]. LetK _n be the composite ofk and thel ⁿ-th cyclotomic extension of the fieldQ of rational numbers. LetC _n be the factor group of thel-class group ofK _n by a subgroup generated by ideals whose prime factors divide the principal ideal (l). Let ϕ₁ be an idempotent of the group ringZ _l[Gal(K ₁/k)] defined in the below. We shall prove λ _k = μ _k =0 if there is a natural numbern such that ε₁ C _n vanishes, under additional conditions concerning ramifications inK _n/k.     

Caliber number of real quadratic fields

We obtain lower bound of caliber number of real quadratic field using splitting primes in K. We find all real quadratic fields of caliber number 1 and find all real quadratic fields of caliber number 2 if d is not 5 modulo 8. In both cases, we don't rely on the assumption on ζK(1/2).     

On the Ono invariants of imaginary quadratic number fields

J. Cohen, J. Sonn, F. Sairaiji and K. Shimizu proved that there are only finitely many imaginary quadratic number fields K whose Ono invariants OnoK are equal to their class numbers hK. Assuming a Restricted Riemann Hypothesis, namely that the Dedekind zeta functions of imaginary quadratic number fields K have no Siegel zeros, we determine all these K's. There are 114 such K's. We also prove that we are missing at most one such K. M. Ishibashi proved that if OnoK is large enough compared with hK, then the ideal class groups of K is cyclic. We give a short proof and a precision of Ishibashi's result. We prove that there are only finitely many imaginary quadratic number fields K satisfying Ishibashi's sufficient condition. Assuming our Restricted Riemann Hypothesis, we prove that the absolute values dK of their discriminants are less than 2.3⋅¹⁰⁹. We determine all these K's with dK?¹⁰⁶. There are 76 such K's. We prove that there is at most one such K with dK?1.8⋅¹⁰¹¹.     

A finiteness theorem for imaginary abelian number fields

Lately, I. Miyada proved that there are only finitely many imaginary abelian number fields with Galois groups of exponents ≤2 with one class in each genus. He also proved that under the assumption of the Riemann hypothesis there are exactly 301 such number fields. Here, we prove the following finiteness theorem: there are only finitely many imaginary abelian number fields with one class in each genus. We note that our proof would make it possible to find an explict upper bound on the discriminants of these number fields which are neither quadratic nor biquadratic bicyclic. However, we do not go into any explicit determination.     

On the ideal class groups of the maximal real subfields of number fields with all roots of unity

In this paper, for a totally real number field k we show the ideal class group of k(∪_n>0μ_n)⁺ is trivial. We also study the p-component of the ideal class group of the cyclotomic Z_p-extension. Received January 15, 1998 / final version received July 31, 1998     

Calculating formula and divisibility for relative class numbers of abelian function fields

In this paper abelian function fields are restricted to the subfields of cyclotomic function fields. For any abelian function field K/k with conductor an irreducible polynomial over a finite field of odd characteristic, we give a calculating formula of the relative divisor class number of K. And using the given calculating formula we obtain a criterion for checking whether or not the relative divisor class number is divisible by the characteristic of k.     

Iwasawa invariants of imaginary quadratic fields

LetK be an imaginary quadratic field andp an odd prime which splits inK. We study the Iwasawa invariants for ℤ _p -extensions ofK. This is motivated in part by a recent result of Sands. The main result is the following. Assumep does not divide the class number ofK. LetK _∞ be a ℤ _p -extension ofK. SupposeK _∞ is not totally ramified at the primes abovep. Then the μ-invariant forK _∞/K vanishes. We also show that if μ=0 for all ℤ _p -extensions ofK, then the λ-invariant is bounded asK _∞ runs through all such extensions.     

The algebraic functional equation of Selmer groups for CM fields

Because the analytic functional equation holds for Katz p-adic L-function for CM fields, the algebraic functional equation of the Selmer groups for CM fields is expected to hold. In this note we prove it following the specialization principle developed by T. Ochiai (2005) in [Och05].     

The 3-Sylow subgroup of the tame kernel of real number fields

Let F be a cubic cyclic field with exactly one ramified prime p,p>7, or , a real quadratic field with . In this paper, we study the 3-primary part of K₂O_F. If 3 does not divide the class number of F, we get some results about the 9-rank of K₂O_F. In particular, in the case of a cubic cyclic field F with only one ramified prime p>7, we prove that four conclusions concerning the 3-primary part of K₂O_F, obtained by J. Browkin by numerical computations for primes p, 7≤p≤5000, are true in general.     

Ono invariants of imaginary quadratic fields with class number three

Let Ed(x) denote the “Euler polynomial” x²+x+(1−d)/4 if and x²−d if . Set Ω(n) to be the number of prime factors (counting multiplicity) of the positive integer n. The Ono invariantOnod of is defined to be except when d=−1,−3 in which case Onod is defined to be 1. Finally, let hd=hk denote the class number of K. In 2002 J. Cohen and J. Sonn conjectured that hd=3⇔Onod=3 and is a prime. They verified that the conjecture is true for p<1.5×¹⁰⁷. Moreover, they proved that the conjecture holds for p>¹⁰¹⁷ assuming the extended Riemann Hypothesis. In this paper, we show that the conjecture holds for p?2.5×¹⁰¹³ by the aid of computer. And using a result of Bach, we also proved that the conjecture holds for p>2.5×¹⁰¹³ assuming the extended Riemann Hypothesis. In conclusion, we proved the conjecture is true assuming the extended Riemann Hypothesis.     

Hilbert-Speiser number fields for a prime p inside the p-cyclotomic field

Let p be a prime number. We say that a number field F satisfies the condition when for any cyclic extension N/F of degree p, the ring of p-integers of N has a normal integral basis over . It is known that F=Q satisfies for any p. It is also known that when p?19, any subfield F of Q(ζp) satisfies . In this paper, we prove that when p?23, an imaginary subfield F of Q(ζp) satisfies if and only if and p=43, 67 or 163 (under GRH). For a real subfield F of Q(ζp) with F≠Q, we give a corresponding but weaker assertion to the effect that it quite rarely satisfies .     

The ideal class groups of dihedral extensions over imaginary quadratic fields and the special values of the Artin L-function

We study the relation between the minus part of the p-class subgroup of a dihedral extension over an imaginary quadratic field and the special value of the Artin L-function at 0.