Multiplicative sequence

In mathematics, a multiplicative sequence or m-sequence is a sequence of polynomials associated with a formal group structure. They have application in the cobordism ring in algebraic topology.

Definition

Let K_n be polynomials over a ring A in indeterminates p₁, ... weighted so that p_i has weight i (with p₀ = 1) and all the terms in K_n have weight n (in particular K_n is a polynomial in p₁, ..., p_n). The sequence K_n is multiplicative if the map

is an endomorphism of the multiplicative monoid , where .

The power series

is the characteristic power series of the K_n. A multiplicative sequence is determined by its characteristic power series Q(z), and every power series with constant term 1 gives rise to a multiplicative sequence.

To recover a multiplicative sequence from a characteristic power series Q(z) we consider the coefficient of z^ j in the product

for any m > j. This is symmetric in the β_i and homogeneous of weight j: so can be expressed as a polynomial K_j(p₁, ..., p_j) in the elementary symmetric functions p of the ÃŽÂ². Then K_j defines a multiplicative sequence.

Examples

As an example, the sequence K_n = p_n is multiplicative and has characteristic power series 1 + z.

Consider the power series

where B_k is the k-th Bernoulli number. The multiplicative sequence with Q as characteristic power series is denoted L_j(p₁, ..., p_j).

The multiplicative sequence with characteristic power series

is denoted A_j(p₁,...,p_j).

The multiplicative sequence with characteristic power series

is denoted T_j(p₁,...,p_j): these are the Todd polynomials.

Genus

The genus of a multiplicative sequence is a ring homomorphism, from the cobordism ring of smooth oriented compact manifolds to another ring, usually the ring of rational numbers.

For example, the Todd genus is associated to the Todd polynomials with characteristic power series .

References