On the 3-rank of tame kernels of certain pure cubic number fields

In this paper, we present some explicit formulas for the 3-rank of the tame kernels of certain pure cubic number fields, and give the density results concerning the 3-rank of the tame kernels. Numerical examples are given in Tables 1 and 2.     

On Tame Kernels and Ideal Class Groups

It is well known that there is a close connection between tame kernels and ideal class groups of number fields. However, the latter is a very difficult subject in number theory. In this paper, we prove some results connecting the p^n-rank of the tame kernel of a cyclic cubic field F with the p^n-rank of the coinvariants of μp^n×CI（δE,T） under the action of the Galois group, where E = F（ζp^n ） and T is the finite set of primes of E consisting of the infinite primes and the finite primes dividing p. In particular, if F is a cyclic cubic field with only one ramified prime and p = 3, n = 2, we apply the results of the tame kernels to prove some results of the ideal class groups of E, the maximal real subfield of E and F（ζ3）.     

Tame kernels and further 4-rank densities

There has been recent progress on computing the 4-rank of the tame kernel for F a quadratic number field. For certain quadratic number fields, this progress has led to “density results” concerning the 4-rank of tame kernels. These results were first mentioned in Conner and Hurrelbrink (J. Number Theory 88 (2001) 263) and proven in Osburn (Acta Arith. 102 (2002) 45). In this paper, we consider some additional quadratic number fields and obtain further density results of 4-ranks of tame kernels. Additionally, we give tables which might indicate densities in some generality.     

Tame kernels of cubic cyclic fields

There are many results describing the structure of the tame kernels of algebraic number fields and relating them to the class numbers of appropriate fields. In the present paper we give some explicit results on tame kernels of cubic cyclic fields. Table 1 collects the results of computations of the structure of the tame kernel for all cubic fields with only one ramified prime

In particular, we investigate the structure of the 7-primary and 13-primary parts of the tame kernels. The theoretical tools we develop, based on reflection theorems and singular primary units, enable the determination of the structure even of 7-primary and 13-primary parts of the tame kernels for all fields as above. The results are given in Tables 2 and 3.

     

The Hasse-Witt invariant in some towers of function fields over finite fields

In this article we investigate the p-rank of function fields in several good towers. To do this we first recall and establish some properties of the behaviour of the p-rank under extensions. Then we compute the p-ranks of function fields in several optimal towers over a quadratic field $ \mathbb{F}_{q^2 } $ \mathbb{F}_{q^2 } , as well as for a specific good tower over a cubic field $ \mathbb{F}_{q^3 } $ \mathbb{F}_{q^3 } , which was introduced by Bassa, Garcia and Stichtenoth.     

Tame Kernels of Quaternion Number Fields

Let E/F be a Galois extension of number fields with the quaternion Galois group Q ₈. In this paper, we prove some relations connecting orders of the odd part of the kernel of the transfer map of the tame kernel of E with the same orders of some of its subfields. Let E/? be a Galois extension of number fields with the Galois group Q ₈ and p an odd prime such that p ≡ 3 (mod 4). We prove that if there is at most one quadratic subfield such that the p-Sylow subgroup of the tame kernel is nontrivial, then p ^r -rank(K ₂(E/K)) is even, i.e., 2|p ^r -rank(K ₂(𝒪 _E )) ? p ^r -rank(K ₂(𝒪 _K )), where K is the quartic subfield of E.     

The densities for 3-ranks of tame kernels of cyclic cubic number fields

Let F be a cubic cyclic field with t(2)ramified primes.For a finite abelian group G,let r3(G)be the 3-rank of G.If 3 does not ramify in F,then it is proved that t-1 r3(K2O F)2t.Furthermore,if t is fixed,for any s satisfying t-1 s 2t-1,there is always a cubic cyclic field F with exactly t ramified primes such that r3(K2O F)=s.It is also proved that the densities for 3-ranks of tame kernels of cyclic cubic number fields satisfy a Cohen-Lenstra type formula d∞,r=3-r2∞k=1(1-3-k)r k=1(1-3-k)2.This suggests that the Cohen-Lenstra conjecture for ideal class groups can be extended to the tame kernels of cyclic cubic number fields.     

Reflection Theorems and the Tame Kernel of a Number Field

Let L be a number field containing the pth primitive root of unity ζ _p . We investigate the p-rank of the ideal class groups of some subfields of L by using reflection theorems and establish relations between the p-rank of the ideal class groups and that of groups of units of some subfields of L.

Let F be a number field and 𝒪 _F the ring of integers in F. We also study the p-rank of tame kernels of F and establish relations between the p-rank of K ₂𝒪 _F and that of some direct summands of the ideal class group of F(ζ _p ).     

Dyson’s New Symmetry and Generalized Rogers-Ramanujan Identities

We present a generalization, which we call (k, m)-rank, of Dyson’s notion of rank to integer partitions with k successive Durfee rectangles and give two combinatorial symmetries associated with this new definition. We prove these symmetries bijectively. Using the two symmetries we give a new combinatorial proof of generalized Rogers-Ramanujan identities. We also describe the relationship between (k, m)-rank and Garvan’s k-rank.     

Generators and Relations for O

Tate's algorithm for computing O for rings of integers in a number field has been adapted for the computer and gives explicit generators for the group and sharp bounds on their order – the latter, together with some structural results on the p-primary part of O due to Tate and Keune, gives a proof of its structure for many number fields of small discriminants, confirming earlier conjectural results. For the first time, tame kernels of non-Galois fields are obtained.     

The Scholz theorem in function fields

The Scholz theorem in function fields states that the l-rank difference between the class groups of an imaginary quadratic function field and its associated real quadratic function field is either 0 or 1 for some prime l. Furthermore, Leopoldt's Spiegelungssatz (= the Reflection theorem) in function fields yields a comparison between the m-rank of some subgroup of the class group of an imaginary cyclic function field L₁ and the m-rank of some subgroup of the class group of its associated real cyclic function field L₂ for some prime number m; then their m-ranks also equal or differ by 1. In this paper we find an explicit necessary condition for their m-ranks (respectively l-ranks) to be the same in the case of cyclic function fields (respectively quadratic function fields). In particular, in the case of quadratic function fields, if l does not divide the regulator of L₂, then their l-ranks are the same, equivalently if their l-ranks differ by 1, then l divides the regulator of L₂.     

On the p 2-Rank of Tame Kernels of Quadratic Fields

For any odd prime p, we prove some results connecting the p²-rank of the tame kernel of a quadratic field F with the p²-rank Cl(𝒪_E1 ), where E₁ is the maximal real subfield of F(ζ_p² ).     

The Structure of the Tame Kernels of Quadratic Number Fields (III)

Let F be an imaginary quadratic number field and K ₂ O _F the tame kernel of F. In this article, we determine all possible values of r ₄(K ₂ O _F ) for each type of imaginary quadratic number field F. In particular, for each type of imaginary quadratic number field we give the maximum possible value of r ₄(K ₂ O _F ) and show that each integer between the lower and upper bounds occurs as a value of the 4-rank of K ₂ O _F for infinitely many imaginary quadratic number fields F.     

Class groups of quadratic fields of 3-rank at least 2: Effective bounds

In this paper, we give parametric families of both real and complex quadratic number fields whose class group has 3-rank at least 2. As a consequence, we obtain that for all large positive real numbers x, the number of both real and complex quadratic fields whose class group has 3-rank at least 2 and absolute value of the discriminant ?x is >cx1/3, where c is some positive constant.     

The p-Rank of Ramified Covers of Curves

In this paper we study the p-rank of Abelian prime-to-p covers of the generic r-pointed curve of genus g. There is an obvious bound on the p-rank of the cover. We show that it suffices to compute the p-rank of cyclic prime-to-p covers of the generic r-pointed curve of genus zero. In that situation, we show that, for large p, the p-rank of the cover is equal to the bound.     

Evaluation of the Dedekind zeta functions of some non-normal totally real cubic fields at negative odd integers

Let {K _m } _{m ≥ 4} be the family of non-normal totally real cubic number fields defined by the irreducible cubic polynomial f _m (x) = x ³ − mx ² − (m + 1)x − 1, where m is an integer with m ≥ 4. In this paper, we will apply Siegel’s formula for the values of the zeta function of a totally real algebraic number field at negative odd integers to K _m , and compute the values of the Dedekind zeta function of K _m . This work was supported by grant No.R01-2006-000-11176-0 from the Basic Research Program of KOSEF.     

On Modular Standard Modules of Association Schemes

We will determine the structure of the modular standard modules of association schemes of class two. In the process, we will give the theoretical interpretation for the p-rank theory for strongly regular graphs, and understand the p-rank as the dimension of a submodule of the modular standard module. Considering the modular standard module, we can obtain the detailed classification more than the p-rank and the parameters.     

Class number and class group problems for some non-normal totally real cubic number fields

Let \lcub;K _m } _{m ≥ 4} be the family of non-normal totally real cubic number fields associated with the Q-irreducible cubic polynomials P _m (x) =x ³−mx ²−(m+1)x− 1, m≥ 4. We determine all these K _m 's with class numbers h _m ≤ 3: there are 14 such K _m 's. Assuming the Generalized Riemann hypothesis for all the real quadratic number fields, we also prove that the exponents e _m of the ideal class groups of these K _m go to infinity with m and we determine all these K _m 's with ideal class groups of exponents e _m ≤ 3: there are 6 suchK _m with ideal class groups of exponent 2, and 6 such K _m with ideal class groups of exponent 3. Received: 16 November 2000 / Revised version: 16 May 2001     

On Tame Kernel and Class Group in Terms of Quadratic Forms

The paper is to investigate the structure of the tame kernel K₂O_F for certain quadratic number fields F, which extends the scope of Conner and Hurrelbrink (J. Number Theory88 (2001), 263-282). We determine the 4-rank and the 8-rank of the tame kernel, the Tate kernel, and the 2-part of the class group. Our characterizations are in terms of binary quadratic forms X²+32Y,X²+64Y²,X²+2Py²,2X²+Py²,X²−2Py²,2X²−Py². The results are very useful for numerical computations.