The Genus of A Formal Power Series
A sequence of polynomials K1, K2,... in variables p1,p2,... is called multiplicative if
- 1 + p1z + p2z2 + ... = (1 + q1z + q2z2 + ...) (1 + r1z + r2z2 + ...)
implies that
- ΣKj(p1,p2,...)zj = ΣKj(q1,q2,...)zjΣKk(r1,r2,...)zk
If Q(z) is a formal power series in z with constant term 1, we can define a multiplicative sequence
- K = 1+ K1 + K2 + ...
by
- K(p1,p2,p3,...) = Q(z1)Q(z2)Q(z3)...
where pk is the k'th elementary symmetric function of the indeterminates zi. (The variables pk will often in practice be Pontryagin classes.)
The genus φ of oriented manifolds corresponding to Q is given by
- φ(X) = K(p1,p2,p3,...)
where the pk are the Pontryagin classes of X. The power series Q is called the characteristic power series of the genus φ. Thom's theorem, which states that the rationals tensored with the cobordism ring is a polynomial algebra in generators of degree 4k for positive integers k, implies that this gives a bijection between formal power series Q with rational coefficients and leading coefficient 1, and genera from oriented manifolds to the rational numbers.
Read more about this topic: Genus Of A Multiplicative Sequence
Famous quotes containing the words genus, formal, power and/or series:
“Methinks it would be some advantage to philosophy if men were named merely in the gross, as they are known. It would be necessary only to know the genus and perhaps the race or variety, to know the individual. We are not prepared to believe that every private soldier in a Roman army had a name of his own,—because we have not supposed that he had a character of his own.”
—Henry David Thoreau (1817–1862)
“On every formal visit a child ought to be of the party, by way of provision for discourse.”
—Jane Austen (1775–1817)
“To be inspired is to be moved in an extraordinary manner by the power or Spirit of God to act, speak, or think what is holy, just and true; [Enthusiasm is] A Full, but false persuasion in a man that he is inspired.”
—Henry More (1614–1687)
“Every Age has its own peculiar faith.... Any attempt to translate into facts the mission of one Age with the machinery of another, can only end in an indefinite series of abortive efforts. Defeated by the utter want of proportion between the means and the end, such attempts might produce martyrs, but never lead to victory.”
—Giuseppe Mazzini (1805–1872)