Genus of a multiplicative sequence

In mathematics, a genus of a multiplicative sequence is a ring homomorphism from the ring of smooth compact manifolds up to the equivalence of bounding a smooth manifold with boundary (i.e., up to suitable cobordism) to another ring, usually the rational numbers, having the property that they are constructed from a sequence of polynomials in characteristic classes that arise as coefficients in formal power series with good multiplicative properties. A genus assigns a number to each manifold X such that (where is the disjoint union); if X is the boundary of a manifold with boundary. The manifolds and manifolds with boundary may be required to have additional structure; for example, they might be oriented, spin, stably complex, and so on (see list of cobordism theories for many more examples). The value is in some ring, often the ring of rational numbers, though it can be other rings such as or the ring of modular forms. The conditions on can be rephrased as saying that is a ring homomorphism from the cobordism ring of manifolds (with additional structure) to another ring. Example: If is the signature of the oriented manifold X, then is a genus from oriented manifolds to the ring of integers. Multiplicative sequence A sequence of polynomials in variables is called multiplicative if implies that If is a formal power series in z with constant term 1, we can define a multiplicative sequence by where is the kth elementary symmetric function of the indeterminates . (The variables will often in practice be Pontryagin classes.) The genus of compact, connected, smooth, oriented manifolds corresponding to Q is given by where the are the Pontryagin classes of X. The power series Q is called the characteristic power series of the genus . A theorem of René Thom, 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.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Concepts associés (7)

Séances de cours associées (3)

Genus of a multiplicative sequence

Hirzebruch signature theorem

In differential topology, an area of mathematics, the Hirzebruch signature theorem (sometimes called the Hirzebruch index theorem) is Friedrich Hirzebruch's 1954 result expressing the signature of a smooth closed oriented manifold by a linear combination of Pontryagin numbers called the L-genus. It was used in the proof of the Hirzebruch–Riemann–Roch theorem. The L-genus is the genus for the multiplicative sequence of polynomials associated to the characteristic power series The first two of the resulting L-polynomials are: (for further L-polynomials see or ).

Friedrich Hirzebruch

Friedrich Ernst Peter Hirzebruch est un mathématicien allemand né le à Hamm et décédé le à Bonn. Il est notamment connu pour ses travaux sur la topologie, les variétés complexes et la géométrie algébrique. Il fut une personnalité de premier plan à son époque. Il a été décrit comme . En 1954, il généralise le théorème de Riemann-Roch en dimension arbitraire pour des variétés algébriques sur le corps des nombres complexes. Sa démonstration sera améliorée et étendue par Alexandre Grothendieck.

Étale Motives et la conjecture Hodge

Explore la cohomologie motivienne et la conjecture Hodge en mettant l'accent sur les contre-exemples.

Fonctions propres quantiques CH-244: Quantum chemistry

Couvre les fonctions eigen quantiques et l'importance de la commutation A et B pour le même ensemble de fonctions eigen.

Mesure des valeurs propres observables CH-244: Quantum chemistry

Couvre la mesure des valeurs propres observables et l'importance des ensembles orthonormaux complets.