On Kummer and Stickelberger relations

Relative K_0, annihilators, Fitting ideals and the Stickelberger phenomena

When $G$ is abelian and $l$ is a prime we show how elements of the relative K-group $K_{0}({\bf Z}_{l}[G], {\bf Q}_{l})$ give rise to annihilator/Fitting ideal relations of certain associated ${\bf Z}[G]$-modules. Examples of this phenomenon are ubiquitous. Particularly, we give examples in which $G$ is the Galois group of an extension of global fields and the resulting annihilator/Fitting ideal relation is closely connected to Stickelberger's Theorem and to the conjectures Coates-Sinnott and Brumer.

Kummer's Original Type Congruence Relation for the Universal Bernoulli Numbers

In this paper we give Kummer's original type congruence relation modulo a prime power for the universal Bernoulli numbers. Although the index of the power is half of original congruence, this estimate is best possible.

An analogue of Kummer's relation between the ideal class number and the unit index of cyclotomic fields

In this paper, we obtain a formula for the special value of Euler-Dirichlet $L$-function $L_E(s,χ)$ at $s=1$. This leads to another class number formula of $\mathbb{Q}(μ_{m})^{+}$, the maximal real subfield of $m$th cyclotomic field. From this formula, we construct a new type of cyclotomic units in $\mathbb{Q}(μ_{p^{n}})$, which implies a similar Kummer's relation between the ideal class number of $\mathbb{Q}(μ_{p^{n}})^{+}$ and the unit index.

A note on highly Kummer-faithful fields

We introduce a notion of highly Kummer-faithful fields and study its relationship with the notion of Kummer-faithful fields. We also give some examples of highly Kummer-faithful fields. For example, if $k$ is a number field of finite degree over $\mathbb{Q}$, $g$ is an integer $>0$ and $\mathbf{m}=(m_p)_p$ is a family of non-negative integers, where $p$ ranges over all prime numbers, then the extension field $k_{g,\mathbf{m}}$ obtained by adjoining to $k$ all coordinates of the elements of the $p^{m_p}$-torsion subgroup $A[p^{m_p}]$ of $A$ for all semi-abelian varieties $A$ over $k$ of dimensi…

On the Coble quartic and Fourier-Jacobi expansion of theta relations

In the paper "The universal Kummer threefold", Q. Ren, S. Sam, G. Schrader, and B. Sturmfels (arXiv:1208.1229), conjectured equations for the universal Kummer variety in genus 3 case. Though, most of these equations are obtained from the Fourier-Jacobi expansion of relations among theta constants in genus 4, the more prominent one, Coble's quartic was obtained differently. The aim of the current paper is to show that Coble's quartic can be obtained as Fourier-Jacobi expansion of a relation among theta-constants in genus 4. We get also one more relation that could be in the ideal described in "…

Some questions on the class group of cyclotomic fields

This article deals with a study of the structure of the class group of the cyclotomic field $K=\Q(ζ_p)$ for $p$ an odd prime number, starting from Stickelberger relation. The present state of this work leads me to set a question for all the prime numbers $h\not=p$ which divide the relative class number $h^-(K)$.

全局域阿贝尔扩张中的类数关系

Class Number Relations in Abelian Extensions of Global Fields

研究全局域阿贝尔扩张\(K/k\)中广义施蒂克尔贝格尔模秩一成分，在\(S\)的显式分裂条件下计算其广义指标并得\(p\)-主精细化，进而推导\(K\)和\(k\)的\(S\)-类数之间的整除关系。

Several properties of hypergeometric Bernoulli numbers

In this paper, we give the determinant expressions of the hypergeometric Bernoulli numbers, and some relations between the hypergeometric and the classical Bernoulli numbers which include Kummer's congruences. By applying Trudi's formula, we have some different expressions and inversion relations. We also determine explicit forms of convergents of the generating function of the hypergeometric Bernoulli numbers, from which several identities for hypergeometric Bernoulli numbers are given.

Prime divisors of the Lagarias sequence

For integer a let us consider the sequence X_a={x_0,x_1,x_2,...} defined by x_0=a, x_1=1 and, for n>=1, x_{n+1}=x_n+x_{n-1}. We say that a prime p divides X_a if p divides at least one term of the sequence. It is easy to see that every prime p divides X_1, the sequence of Fibonacci numbers. Lagarias, using a technique involving the computation of degrees of various Kummerian extensions first employed by Hasse, showed in 1985 that X_2, the set of primes dividing some Lucas number has natural density 2/3 and posed as a challenge finding the density of prime divisors of X_3. In this paper we reso…

Weierstrass椭圆函数迭代导数中的p进同余关系

p-adic congruences in iterated derivatives of the Weierstrass elliptic function

本研究反向运用Ando–Hopkins–Rezk的$\mathbb E_\infty$定向机制，结合Tate不动点对象的定向存在性结果，证明Weierstrass椭圆函数迭代导数间的p进Kümmer同余。

Quelques classes caracteristiques en theorie des nombres

Let A be an arbitrary ring. We introduce a Dennis trace map mod n, from K_1(A;Z/n) to the Hochschild homology group with coefficients HH_1(A;Z/n). If A is the ring of integers in a number field, explicit elements of K_1(A,Z/n) are constructed and the values of their Dennis trace mod n are computed. If F is a quadratic field, we obtain this way non trivial elements of the ideal class group of A. If F is a cyclotomic field, this trace is closely related to Kummer logarithmic derivatives; this trace leads to an unexpected relationship between the first case of Fermat last theorem, K-theory and th…

A Cup Product in the Galois Cohomology of Number Fields

Let K be a number field containing the group of n-th roots of unity and S a set of primes of K including all those dividing n and all real archimedean places. We consider the cup product on the first Galois cohomology group of the maximal S-ramified extension of K with coefficients in n-th roots of unity, which yields a pairing on a subgroup of the multiplicative group of K containing the S-units. In this general situation, we determine a formula for the cup product of two elements which pair trivially at all local places. Our primary focus is the case that K is the cyclotomic field of p-th ro…