The **Bernoulli numbers** are the Taylor series coefficients of the function

.

The -th Bernoulli number is zero for odd , except for , where it is equal to . For the first few even numbers, we have

.

Bernoulli numbers have many interesting properties, and many mathematicians have studied them for a very long time. They are named after Jacob Bernoulli, but were also studied by Seki Takakazu in Japan at around the same time (end of 17th/beginning of 18th century). In this post I want to focus more on the work of Ernst Edouard Kummer, more than a century after Bernoulli and Takakazu.

We’re going to come back to Bernoulli numbers later, but for now let’s talk about something completely different – **Fermat’s Last Theorem**, which Kummer was working on. In the time of Kummer, a proposal to study Fermat’s Last Theorem by factoring both sides of the famous equation into linear terms. Just as factors into

,

we would have that also factors into

where is a -th root of unity.

However, there is a problem. In these kinds of numbers where -th roots of unity are adjoined, factorization may not be unique! Hence Kummer developed the theory of “**ideals**” to study this (see also The Fundamental Theorem of Arithmetic and Unique Factorization).

Unique factorization does not work with the numbers themselves, but it works with ideals (this is true for number fields, since they form what is called a “Dedekind domain”). Hence the original name of ideals was “ideal numbers”. To number fields we associate an “**ideal class group**“. If this group has only one element, unique factorization holds. If not, then things can get complicated. The ideal class group (together with the Galois group) is probably the most important group in number theory.

Kummer found that if is a “**regular prime**“, i.e. if p does not divide the number of elements of the ideal class group (also known as the class number) of the “-th **cyclotomic field**” (the rational numbers with -th roots of unity adjoined), then Fermat’s Last Theorem is true for .

Let’s go back to Bernoulli numbers now – Kummer also found that **a prime is regular if and only if it does not divide the numerator for the nth Bernoulli number, for all less than .** In other words, Kummer proved Fermat’s Last Theorem for prime exponents not dividing the numerators of Bernoulli numbers! Fermat’s Last Theorem has now been proved in all cases, but the work of Kummer remains influential.

So we’ve related Bernoulli numbers to ideal class groups and the very famous Fermat’s Last Theorem. Now let us relate Bernoulli numbers to another very famous thing in math – the **Riemann zeta function** (see also Zeta Functions and L-Functions).

It is known that the Bernoulli numbers are related to values of the Riemann zeta function at the negative integers (so we need the analytic continuation to do this) by the following equation: for greater than or equal to .

Now, Kummer also discovered that Bernoulli numbers satisfy certain congruences modulo powers of a prime , in particular

where and are positive even integers neither of which are divisible by , and . Here congruence for two rational numbers and means that is congruent to mod .

We also have a more general congruence for bigger powers of :

where and are positive even integers neither of which are divisible by , and , being the number of positive integers less than that are also mutually prime to it.

By by our earlier discussion, this means the special values of the Riemann zeta function also satisfy congruences modulo powers of .

Congruences modulo powers of is encoded in modern language by the “-adic numbers” (see also Valuations and Completions) introduced by Kurt Hensel near the end of the 19th century. The congruences between the special values of the Riemann zeta function is now similarly encoded in a -adic analytic function known as the **Kubota-Leopoldt -adic L-function**.

So again, to summarize the story so far – **Bernoulli numbers are related to the ideal class group and also to the special values of the Riemann zeta function, and bridge the two subjects**.

If this reminds you of the analytic class number formula, well in fact that is one of the ingredients in the proof of Kummer’s result relating regular primes and the Bernoulli numbers. Moreover, the information that they encode is related to divisibility or congruence modulo primes or their powers. This is where the -adic L-functions come in.

The Bernoulli numbers also appear in the constant term of the Fourier expansion of **Eisenstein series**. The Eisenstein series is an example of a **modular form** (see also Modular Forms), which gives us **Galois representations**. The Galois group, on the other hand is related to the ideal class group by **class field theory** (see also Some Basics of Class Field Theory). So this is one way to create the bridge between the two concepts. In fact, this was used to prove the **Herbrand-Ribet theorem**, a stronger version of Kummer’s result.

So we also have modular forms in the picture. In modern research all of these are deeply intertwined – ideal class groups, zeta functions, congruences, and modular forms.

References:

Bernoulli number on Wikipedia

Riemann zeta function on Wikipedia

Kummer’s congruence on Wikipedia

p-adic L-function on Wikipedia

Herbrand-Ribet theorem on Wikipedia

Bernoulli numbers, Hurwitz numbers, p-adic L-functions and

Kummer’s criterion by Alvaro Lozano-Robledo

An introduction to Eisenstein measures by E. E. Eischen

How can we construct abelian Galois extensions of basic number

fields? by Barry Mazur

Pingback: Iwasawa theory, p-adic L-functions, and p-adic modular forms | Theories and Theorems