A series of new congruences for Bernoulli numbers and Eisenstein series
type: Item
instance of: scholarly article
title: A series of new congruences for Bernoulli numbers and Eisenstein series
zbMATH Open document ID: 1028.11027
author: Ernst-Ulrich Gekeler
published in: Journal of Number Theory
publication date: 2003-04-02T00:00:00Z
review text: Let \(E_k\), for \(k\) even and \(\geq 4\), denote the normalized Eisenstein series given through its \(q\)-expansion in the form \(E_k = 1 -(2k/B_k)\sum_{n\geq 1}\sigma_{k-1}(n)q^n\). Here \(B_k\) is the \(k\)th Bernoulli number and \(\sigma_u(n)\) denotes the sum of \(u\)th powers of the divisors of \(n\). Regard \(E_k\) as a formal power series in \(q\) and consider congruences between various \(E_k\), to be understood coefficientwise. From Kummer's congruences for \(E_k\) it follows, for example, that \(E_{k+12} \equiv E_k\cdot E_{12} \pmod {3^2\cdot 5\cdot 7\cdot 13}\). The author proves that this congruence in fact holds modulo \(2^7\cdot 3^4\cdot 5^3\cdot 7^2\cdot 13\). This result, already announced in the author's previous article [Arch.\ Math. 77, 5-21 (2001; Zbl 0994.11019)], is a typical example of a series of congruences for \(E_k\) proved in the present work. These congruences also produce new congruences for the numbers \(2k/B_k\). The author's method is to employ ``\(p\)-smoothed'' versions of \(E_k\), i.e., normalized \(p\)-adic Eisenstein series \(E_k^\star\), particularly the fact that the \(n\)th coefficient of \(E_k^\star\), as a function of \(k\), is an Iwasawa function (\(n\geq 0\)), provided \(p\) does not divide the \(B_k\); see \textit{J.-P.\ Serre}'s article in Modular Functions of one Variable III [Lect.\ Notes Math.\ 350, 191-268 (1973; Zbl 0277.12014)]. This leads to a procedure allowing one to verify congruences of the above type with a modest amount of numerical calculation.
Mathematics Subject Classification ID: 11F33
Mathematics Subject Classification ID: 11R23
Mathematics Subject Classification ID: 11B68
zbMATH DE Number: 1891432
zbMATH Keywords: congruences for modular forms
zbMATH Keywords: Eisenstein series
zbMATH Keywords: Bernoulli numbers
zbMATH Keywords: Iwasawa functions
MaRDI profile type: Publication
full work available at URL: jnth.2002.2802
OpenAlex ID: W2033325490
cites work: Some observations on the arithmetic of Eisenstein series for the modular group \(\text{SL}(2,\mathbb{Z})\)
cites work: Q4695321
cites work: On \(p\)-adic \(L\)-functions
cites work: Lectures on P-Adic L-Functions. (AM-74)
cites work: Q4771024
cites work: Q4402037
cites work: Q4723820
cites work: Q3943047
DOI: 10.22028/D291-26204
DOI: 10.1006/JNTH.2002.2802
Recommended article: Modular Parametrizations of Elliptic Curves
Recommended article: Swinnerton-Dyer type congruences for certain Eisenstein series
Recommended article: The \(p\)-adic proof of Eisenstein's congruence
Recommended article: Q2919655
Recommended article: Congruences for the coefficients of quotients of Eisenstein series
Recommended article: Q4132608
Recommended article: Q5468632
Recommended article: Modular functions of one variable V. Proceedings of an international conference, University of Bonn, Sonderforschungsbereich Theoretische Mathematik, July 2--14, 1976
Recommended article: Q4366824
Recommended article: On the congruences of Eisenstein series with polynomial indexes
description: scientific article; zbMATH DE number 1891432