The Hirzebruch criterion for the Todd class is given in “The signature theorem: reminiscences and recreations” by Hirzebruch. The formal power series that defines the Todd class must satisfy . The e.g.f. for the Bernoulli numbers uniquely satisfies this criterion. I’d like to make a note of how the Bernoullis and the integer reciprocals are really two sides of the same coin and how both play a role in the Todd class criterion, and then note the relation to some important combinatorics, through a Lagrange inversion formula (LIF).

At the heart of this is an Appell sequence pair for the Bernoulli polynomials and the normalized reverse face polynomials of the simplices (see the entry Bernoulli Appells for background) with their base number sequences being the Bernoullis and the reciprocals with e.g.f.s

Consider a function with compositional inverse such that and (this is necessary for the associated Appell sequences to have nice properties). Let . Then and , the inverse function theorem, and the formal Borel-Laplace transform under a change of variables (for suitable functions) is a weighting of the inverse function relation giving the standard LIF

so we have the LIF with four key expressions, but here we focus on just three

With and ,

Equivalently,

Now we can see how the reciprocal derivatives in the inverse fct. theorem are related to the reciprocal Appell sequences and the reciprocation performed by the Borel-Laplace transform. This links together the compositional inversion with a multiplicative inversion, both “performed” by the Borel-Laplace transform weighting of the inverse function relation, and shows how reciprocal expressions related to a reciprocal Appell sequence pair are related to Hirzebruch’s criterion for the Todd class relation. (See a similar formulation in “Formal group laws and genera” by T. Panov at http://www.boma.mpim-bonn.mpg.de/data/30print.pdf.) The same two Appell sequences with the basic number sequences being the Bernoullis and the reciprocal integers are at the heart of the Euler-MaClaurin formalism.

On the other hand, performing the inversion by using the coefficients of the power series expansion of leads to the formalism of the LIF of OEIS-[A134264][2] (see Example 3) with all sorts of related combinatorial structures, including those of noncrossing partitions and Dyck lattice paths, related to the Eulerian, Narayana, and Fuss-Catalan numbers among others. The LIF is used by Ardila, Rincon, and Williams to show the relation between cardinalities of connected and disconnected positroids. The partition polynomials themselves are a general Appell sequence that can be used to construct a “trajectory” through various classic number arrays and polynomials, with far reaching implications, I believe, one enticing fact being that the Eulerians and Narayanas are related to volumes of polytopes.

Almost forgot to mention that this skewed view of the arguments with the Appell umbral approach reveals some interesting structure. The Bernoulli polynomials (any Appell sequence) have the interesting property , so with our notation and

giving the coefficient of as

with summands on the left and umbral substitutions on the right. (I’ve been very loose with notation here. It would be clearer to consider

.

Then finally after the umbral evaluation, let all the coefficients equal the Bernoulli numbers as illustrated below. )

The L.H.S. can be expanded as a multinomial treating each umbra as independent and not evaluating them until all monomial summands of degree have been formed. When that is done, the superscripts can be dropped to subscripts. This is equal to the R.H.S. which is iterated umbral substitution. For example, for ,

and

For , the result is . The explicit expressions for these umbral reductions of the homogeneous [monomial symmetric polynomials][3], which hold for any Appell sequence, are those of the LIF of OEIS-[A248120][4], with its various combinatorial interpretations.

The operator formalism for umbral sustitution brings out clearly the relation between exponentiation of the base e.g.f. for the Bernoulli numbers and the iterated umbral composition. For example,

These arguments reveal associations among the symmetric polynomials, convolutions, umbral compositions, and umbra, and shed light on the nature of the Hirzebruch criterion and why algebraically the Bernoulli sequence is the only sequence to satisfy it.

Returning to the formal Borel-Laplace transform arguments above, I should mention that the series is the iconic divergent series related to the special function called the exponential integral, which is typically used to illustrate asymptotic series. The limit of the derivatives of the initial integral above as z approaches zero from the right are indeed equal to even though the Taylor series is divergent for any nonzero value of z. The arguments can be formally extended to generating series expressed in terms of general indeterminates to give valid general Lagrange inversion formulas, as in my notes “Lagrange à la Lah”.

Some related stuff:

1) “Umbral presentations for polynomial sequences” by B. Taylor

2) “MOPS: Multivariable Orthogonal Polynomials (symbolically)” by Dumitriu, Edelman, and Shuman

3) “Groups and Lie algebras corresponding to the Yang-Baxter equation” by Bartholdi, Enriquez, Etingof, and Rains

4) “Multiplicative functions on the non-crossing partitions and free convolution” by R. Speicher (The relations between the moments and free cumulants through the Lagrange inversion formula in the paper is parallel to that of an Appell umbral compositional inverse pair with a Cauchy transform replacing the Laplace transform. See the entry on cumulants.)

5) Norlund published in 1924 in Vorlesungen uber Differenzenrechnung the formula (in umbral notation here) for the falling factorial where . In his book on algebraic geometry, Hirzebruch notes Norlund’s work.

6) (Added Jan 18, 2017) “Some variants of the exponential formula, with application to the multivariate Tutte polynomial (alias Potts model)” by Scott and Sokal, see eqn. 3.1 on pg. 10 and eqn. 3.62 on pg. 24.

[2]: https://oeis.org/A134264

[3]: http://en.wikipedia.org/wiki/Symmetric_polynomial#Monomial_symmetric_polynomials

[4]: http://oeis.org/A248120

Pingback: The Lagrange Reversion Theorem and the Lagrange Inversion Formula | Shadows of Simplicity