Let’s connect the Bernoullis, using their basic operational definition rather than their e.g.f., to the Todd genus and more through formal group laws (FGL, see note at bottom) and associated Lie ops and, therefore, compositional inversion. [This is done through associating a power series to some basic FGLs, a series which Hirzebruch associates to genera–one of the main results of Hirzebruch’s book on Topological Methods of Alg. Geom., as he explicitly states on page 12 of his 2007 paper “Eulerian Polynomials”. The series is also naturally related to quantum groups explored by Hodges and Sukumar.]

First, define the Bernoulli polynomials as the Appell sequence, , such that,

when convergent. Action on gives the e.g.f. since

implies

and

Action on gives

an iconic o.g.f., and using the special linear fractional (Mobius) transformation , whose inverse in is , this can be expressed succinctly as

with compositional inverse in

[[[Retraction Oct. 14 2016: The previous line of equalities is patently wrong in general in at least two respects!!!! First, only if the umbral variables are treated as regular variables throughout the composition for inversion does the claim hold that the first equality is the inverse or, what amounts to the same calculation, if the umbral compositional inverse is used first to reduce the umbral variable to . Second, the umbral expression does not evaluate to . However, it is certainly true that inserting the umbral compositional inverse of the Bernoulli polynomials for gives the true relations

and that the compositional inverse (as originally stated correctly further below) is then

where are the polynomials of A019538 each divided /normalized by (cf. also A131689). Consequently, the expressions in red brackets below should be ignored and the first replaced with the blue. In addition, all references to the Hirzebruch criterion have been removed (being tangential in any event, a vestige of an earlier discussion).]]]

Together {{{they}}} the special linear fractional tranformations comprise the formal group law

which (according to [Lenart and Zainoulline][1]) corresponds to the **Euler characteristic**.

For , {{{ are the Bernoulli numbers, , and}}} the FGL specializes to

the fundamental **additive FGL** associated with the infinitesimal generator and the iterated op with action of translation .

For , this specializes to

the **self-dual** **Lah FGL** associated to the infinitesimal generator , and, with a shift in coordinates, to the iterated op , related to the Lah polynomials OEIS-A111596 (A094638), with the action , the special linear fractional transformation. Here, by definition, .

More generally for indeterminates with , action on

gives (precisely when convergent and formally usefully otherwise)

an o.g.f. for the series, which itself can be extended as an Appell sequence defined by the o.g.f.

Letting , the umbral compositional inverse for the Bernoulli polynomials, i.e., , we get

and, consistently,

The compositional inverse {{{, through the same substitution above,}}} is

[This is essentially the equation 11.1 (2) on page 94 of F. Hirzebruch’s Topological Methods in Algebraic Geometry for associated with the generalized Todd class. A slight change of coordinates is needed. Compare the expression here with my Sept. 18, 2014, formula E in OEIS A008292 and the formula in Hirzebruch’s book (English translation, 2’nd corrected printing of the third edition, 1978). It is presented again on pg. 12 of his 2007 paper “Eulerian Polynomials”.]

Together they comprise the formal group law

For ,

,

and

the **multiplicative FGL **associated with the **Todd genus** and the infinitesimal generator at the identity related by a coordinate shift to the iterated op. , the Bell or Stirling polynomials of the second kind, with action , a dilation.

For ,

the **Lorentz group FGL**, related to the Atiyah-Singer signature ([Lenart and Zainoulline][2], “Towards generalized cohomology Schubert calculus via formal root polynomials”. Hirzebruch also states the relation to tanh, whose Taylor series contains the Bernoullis.)

So a dance between the Bernoullis and the elegant reciprocal polynomials, their umbral compositional inverses, is weaving a path through some basic formal groups, associated genera, and the conformal Lie algebra and associated group, the conformal global subgroup of the Witt Lie (and Virasoro) algebra.

There’s a relation to elliptic functions, and more, as discussed by L & Z, and the entry Bernoulli Appells here presents connections to solitons, Ricatti equations, the KdV equation, and vector fields. For infinite (and finite) matrix reps related to the Pascal matrix, see the notes on Infinigens.

Note: The FGLs here encode local Lie action and are connected to diverse combinatoric and geometric structures related to compositional inversion. With , , and ,

and so

With , satisfaction of the algebraic, axiomatic definitions for FGLs is transparent along with the assertion that all FGLs are isomorphic with the additive FGL corresponding to the action of simple translation, for the complex field at least.

See OEIS-[A145271][3] for one relation among many to combinatorics (refined Eulerian integers) and for the typical relations to Lie groups, including vector fields and autonomous ODEs. Key relations can be extended to non-analytic power series on a graded basis. See “[Formal Groups and Applications][4]” by M. Hazewinkel and “[Formal group laws and genera][5]” by T. Panov for general introductions.

Tying the FGL for the Todd class, the operational definition of the Bernoullis, and the umbral compositional inverse together:

The compositional inverse is generated from the exponentiated infinitesimal generator above acting on evaluated at , and the infinigen for the Todd FGL is given by where

where as specified above are the umbral compositional inverses (reciprocal polynomials) of the Bernoulli polynomials, so the character of the Bernoulli polynomials (and their elegant escorts, the reciprocal polynomials), the Todd FGL, and Lagrange inversion (and Lie theory and combinatorics) are inextricably interlinked, as could be anticipated from the action of the Bernoulli polynomials as derivations and the connection of derivations to the inverse function theorem and therefore FGLs.

(Added Oct. 17, 2016) Note the Stieltjes / Hilbert / Cauchy transform

and that the analysis in the entry “Appell polynomials, cumulants, …” can be applied:

,

giving the R transform as essentially the e.g.f. of the Bernoulli numbers

.

Consequently, the Lagrange inversion formula related to non-crossing partitions / Dyck paths A134264 can be used to generate from

with the Bernoulli numbers as weights. Variation of changes only the weight of the singleton component of the partitions (or steps) designated .

For ,

Compare these coefficients with A000182 (also see MO-Q: What does the generating function count?).

**Related stuff**:

1) “The signature theorem and some of its applications” by L. Nicolaescu.

2) “Cobordism theory and the signature theorem” by C. Rovi (slide presentation)

3) My question on Math Overflow and links therein “The Riemann zeta at positve integers and an Appell sequence related to fractional calculus” https://mathoverflow.net/questions/111165/riemann-zeta-function-at-positive-integers-and-an-appell-sequence-of-polynomials

4) “Characteristic classes of symmetric products of quasi-projective varieties” by Cappel, Maxim, Schurmann, Shaneson, and Yokura

5) “Caculation of Hirzebruch genera for manifolds …” by T. Panov

6) “Hirzebruch genera and manifolds with torus action” by T. Panov

7) “Torus actions and their applications in topology and combinatorics” by Buchstaber and Panov

8) “Toric genera” by Buchstaber, Panov, and Ray

9) “Toric topology” by Buchstaber and Panov

10) “Elliptic formal group laws, integral Hirzebruch genera and Krichever genera” by Buchstaber and Bunkova

11) The action of iterated infinitesimal generators (Lie derivatives / vector fields) were graphically modeled by Cayley with rooted trees in the 1850s and related by Comtet to special polynomial sequences (and much earlier by Scherk). This is related to a normal ordering of the iterated derivative ops and their relations to Sheffer sequences. Another approach formalizing these actions as algebras of pre-Lie or post-Lie quadratic operads and binary trees has been exploited by Chapoton, Loday, Vallette and others in which the generating series of this entry and the others on the Bernoulli polynomials naturally occur.

12) “Formal groups, Witt vectors and free probability” by Friedrich and McKay

13) “Formal groups and their role in the apparatus of algebraic topology” by Buchstaber, Mishchenko, and Novikov

14) “Life and work of Friedrich Hirzebruch” by Zagier

[1]: http://xxx.tau.ac.il/abs/1408.5952

[2]: http://xxx.tau.ac.il/abs/1408.5952

[3]: https://oeis.org/A145271

[4]: http://math.bu.edu/people/jsweinst/AWS/Files/HazewinkelFormalGroups.pdf

[5]: http://www.boma.mpim-bonn.mpg.de/data/30print.pdf

Related: Characteristic classes of singular toric varieties by Maxim and Schuermann http://arxiv.org/abs/1303.4454.

Related: “Feynman motives and deletion-contraction relations” by Aluffi and Marcolli, particularly p. 42, http://arxiv.org/abs/0907.3225. Cf. OEIS A008292 and the later post here on the Lie Triad and the KdV equation.