nLab
Bernoulli number

Contents

Motivation

In Lie theory

In Lie theory, Bernoulli numbers appear as coefficients in the linear part of the Hausdorff series (and the recursive relation for the Dynkin Lie polynomials appearing in the Hausdorff series); this has consequences in deformation theory. The (determinant of the square root of the) inverse of its generating function appears (for variables in an adjoint representation) in an expression for the Duflo isomorphism in Lie theory and in its generalizations in knot theory etc.

In algebraic topology

In algebraic topology/cohomology Bernoulli numbers appear as the coefficients of the characteristic series of the A-hat genus (see there), and they (or equivalently, their generating functions) also appear in the expression for the Todd class.

The Bernoulli numbers are also proportional to the constant terms of the Eisenstein series and as such appear in the exponential form of the characteristic series of the Witten genus.

Finally they appear as the order of some groups in the image of the J-homomorphism (cf. Adams 65, section 2).

Of course, all of these cases are related to formal group laws. Formal groups bear also some other connections to Bernoulli numbers and generalizations like Bernoulli polynomials.

Elsewhere

The Riemann zeta-function ζ\zeta at negative integral values is proportional to the Bernoulli numbers as

ζ(n)=B n+1n+1. \zeta(-n) = - \frac{B_{n+1}}{n+1} \,.

Bernoulli numbers appear also in umbral calculus. There are generalizations, for example, Bernoulli polynomials.

They also have applications in analysis (Euler-MacLaurin formula, with applications in numerical analysis).

Definition

The Bernoulli numbers B kB_k are rational numbers given by their generating function, i.e. by the equation of functions/power series xf(x)x \mapsto f(x)

xe x1= k=0 β kk!x k. \frac{x}{ e^x -1 } = \sum_{k = 0}^{\infty} \frac{\beta_k}{k !}x^k \,.

The kkth Bernoulli number B kB_k \in \mathbb{Q} is, depending on convention, either equal to β k\beta_k (or sporadically, in older literature, to (1) k1β 2k(-1)^{k-1} \beta_{2k}). If we take generating function x+xe x1=xe xe x1=xe x1x+\frac{x}{e^x-1}=\frac{x e^x}{e^x -1}=\frac{-x}{e^{-x}-1} this only changes the sign of B 1B_1 as all other odd Bernoulli numbers (in standard convention) vanish.

Properties

Clausen-von Staudt congruence says

B n+ p|n1p B_n + \sum_{p|n} \frac{1}{p} \in\mathbb{Z}

References

Related nnLab entries include umbral calculus, Bernoulli polynomial

General

Lie theory, deformation theory, knot theory, geometry

  • MathOverflow Todd class and Baker-Campbell-Hausdorff, or the curious number 12
  • N. Durov, S. Meljanac, A. Samsarov, Z. Škoda, A universal formula for representing Lie algebra generators as formal power series with coefficients in the Weyl algebra, Journal of Algebra 309:1, pp.318-359 (2007) math.RT/0604096, MPIM2006-62
  • Vinay Kathotia, Kontsevich’s universal formula for deformation quantization and the Campbell-Baker-Hausdorff formula, I, math.QA/9811174
  • Emanuela Petracci, Functional equations and Lie algebras, PhD thesis, pdf
  • E. Meinrenken, Clifford algebras and Lie theory, Springer
  • Anton Alekseev, Bernoulli numbers, Drinfeld associators, and the Kashiwara–Vergne problem, slides, pdf
  • Dror Bar-Natan, Stavros Garoufalidis, Lev Rozansky, Dylan P. Thurston, Wheels, wheeling, and the Kontsevich integral of the unknot, q-alg/9703025

In algebraic topology

  • John Adams, On the groups J(X)J(X) II, Topology 3 (2) (1965) (pdf)

In the context of the A-hat genus the Bernoulli numbers are discussed in section 10.2 of

Formal groups and Bernoulli polynomials

  • Piergiulio Tempesta, Formal groups, Bernoulli-type polynomials and L-series, Comptes Rendus de l Académie des Sciences - Series I - Mathematics 07/2007; 345 doi
  • Stefano Marmi, Piergiulio Tempesta, Hyperfunctions, formal groups and generalized Lipschitz summation formulas, Nonlinear Analysis 03/2012; 75:1768-1777 doi

Analysis

Last revised on May 14, 2016 at 08:18:47. See the history of this page for a list of all contributions to it.