Genus of a multiplicative sequence

Genus of a multiplicative sequence

In mathematics, 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.

Definition

A genus φ assigns a number φ("X") to each manifold "X" such that
#φ("X"∪"Y") = φ("X") + φ("Y") (where ∪ is the disjoint union)
#φ("X"×"Y") = φ("X")φ("Y")
#φ("X") = 0 if "X" is a boundary.

The manifolds may have some extra structure; for example, they might be oriented, or spin, and so on (see list of cobordism theories for many more examples). The value φ("X") is in some ring, often the ring of rational numbers, though it can be other rings such as Z/2Z 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 given structure) to another ring.

Example: If φ("X") is the signature of the oriented manifold "X", then φ is a genus from oriented manifolds to the ring of integers.

The genus of a formal power series

A sequence of polynomials "K"1, "K"2,... in variables "p"1,"p"2,... is called multiplicative if

:1 + "p"1"z" + "p"2"z"2 + ... = (1 + "q"1"z" + "q"2"z"2 + ...) (1 + "r"1"z" + "r"2"z"2 + ...)

implies that

:Σ"K"j("p"1,"p"2,...)"z"j = Σ"K"j("q"1,"q"2,...)"z"jΣ"K"k("r"1,"r"2,...)"z"kIf "Q"("z") is a formal power series in "z" with constant term 1, we can define a multiplicative sequence

:"K" = 1+ "K"1 + "K"2 + ...

by

:"K"("p"1,"p"2,"p"3,...) = "Q"("z"1)"Q"("z"2)"Q"("z"3)...

where "p""k" is the "k"'th elementary symmetric function of the indeterminates "z""i". (The variables "p""k" will often in practice be Pontryagin classes.)

The genus φ of oriented manifolds corresponding to "Q" is given by

:φ("X") = "K"("p"1,"p"2,"p"3,...)

where the "p""k" are the Pontryagin classes of "X".The power series "Q" is called the characteristic power series of the genus φ. Thom's theorem states that the rationals tensored with the cobordism ring is a polynomial algebra in generators of degree 4"k" for positive integers "k" implies that this gives a bijection between formal power series "Q" with rational coefficients and leading coefficient 1, and genuses from oriented manifolds to the rational numbers.

L genus and the Hirzebruch signature theorem

The L genus is the genus of the formal power series :{sqrt{z}over anh(sqrt z)} = sum_{kge 0} {2^{2k}B_{2k}z^kover (2k)!} = 1 + z/3 - z^2/45 +cdots where the numbers "B"2"k" are the Bernoulli numbers.The first few values are
*"L"0 = 1
*"L"1 = "p"1/3
*"L"2 = (7"p"2 − "p"12)/45
Friedrich Hirzebruch showed that the L genus of a manifold of dimension 4"n" is equal to the signature (of the 2"n"th cohomology group). This is now known as the Hirzebruch signature theorem(or sometimes the Hirzebruch index theorem). René Thom had earlier proved that the signature was given by some linear combination of Pontryagin numbers, and Hirzebruch found the exact formula for this linear combination given above. [ [http://www-math.mit.edu/~malmendi/talks/l-genus.pdf pdf notes of a talk on Hirzebruch's theorem] ]

The fact that "L"2 is always integral for a smooth manifold was used by John Milnor to give an example of an 8-dimensional PL manifold with no smooth structure. Pontryagin numbers can also be defined for PL manifolds, and Milnor showed that his PL manifold had a non-integral value of "p"2, and so was not smoothable.

Todd genus

 genus

The  genus is the genus associated to the characteristic power series:Q(z) = {sqrt z/2over sinh(sqrt{z}/2)}= 1 - z/24 + 7z^2/5760 -cdots

(There is also an A genus which is less commonly used, associated to the characteristic series "Q"(16"z").) The first few values are
0 = 1
1 = −"p"1/24
2 = (−4"p"2 + 7 "p"12)/5760

The  genus of a spin manifold is an integer, and an even integer if the dimension is 4 mod 8 (which in dimension 4 implies Rochlin's theorem). This was explained by Michael Atiyah and Isadore Singer, who showed that the  genus of a spin manifold is equal to the index of its Dirac operator. For general manifolds, the  genus is not always an integer.

Atiyah, Hitchin, Lichnerowicz, and Singer proved that if a compact spin manifold has a metric with positive scalar curvature, then its  genus is 0.

Atiyah and Hirzebruch proved that if a compact spin manifold has a non-trivial circle action on it, then its  genus is 0.

Elliptic genus

A genus is called an elliptic genus if the power series "f"("z") = "z"/"Q"("z") satisfies the condition :"f" ′2 = 1 − 2δ"f"2 + ε"f"4for constants δ and ε. (As usual, "Q" is the characteristic power series of the genus.)

Examples:
*δ = ε = 1, "f"("z") = tanh("z"). This is the L-genus.
*δ = −1/8, ε = 0, "f"("z") = 2sinh("z"/2). This is the  genus.

Witten genus

The Witten genus is the genus associated to the characteristic power series:Q(z) = z/sigma_L(z) = expleft(sum_{kge 2} {2G_{2k}( au)z^{2k}over(2k)!} ight)where σL is the Weierstrass sigma function for the lattice "L", and "G" is a multiple of an Eisenstein series.

The Witten genus of a 4"k" dimensional compact oriented smooth spin manifold with vanishing first Pontryagin class is a modular form of weight 2"k", with integral Fourier coefficients.

ee also

*Atiyah-Singer index theorem
*List of cohomology theories

References

*Friedrich Hirzebruch" Topological Methods in Algebraic Geometry" ISBN 3-540-58663-6
* Friedrich Hirzebruch, Thomas Berger, Rainer Jung "Manifolds and Modular Forms" ISBN 3-528-06414-5
*Milnor, Stasheff, "Characteristic classes", ISBN 0-691-08122-0
*springer|id=p/p073750|title=Pontryagin class|author=A.F. Kharshiladze

Notes


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Genus (disambiguation) — Genus, from the Latin genus, generis birth, race, stock, kind may refer to: *In Linnaean taxonomy, genus is the rank between family and species. * Genus (mathematics), a classifying property of a mathematical object ** Genus of a multiplicative… …   Wikipedia

  • Genus (mathematics) — In mathematics, genus has a few different, but closely related, meanings:TopologyOrientable surfaceThe genus of a connected, orientable surface is an integer representing the maximum number of cuttings along closed simple curves without rendering …   Wikipedia

  • List of mathematics articles (G) — NOTOC G G₂ G delta space G networks Gδ set G structure G test G127 G2 manifold G2 structure Gabor atom Gabor filter Gabor transform Gabor Wigner transform Gabow s algorithm Gabriel graph Gabriel s Horn Gain graph Gain group Galerkin method… …   Wikipedia

  • Signature (topology) — In mathematics, the signature of an oriented manifold M is defined when M has dimension d divisible by four. In that case, when M is connected and orientable, cup product gives rise to a quadratic form Q on the middle real cohomology group: H 2 n …   Wikipedia

  • Prime number — Prime redirects here. For other uses, see Prime (disambiguation). A prime number (or a prime) is a natural number greater than 1 that has no positive divisors other than 1 and itself. A natural number greater than 1 that is not a prime number is… …   Wikipedia

  • Per Enflo — Born 1944 Stockholm, Sweden …   Wikipedia

  • Dessin d'enfant — In mathematics, a dessin d enfant (French for a child s drawing , plural dessins d enfants, children s drawings ) is a type of graph drawing used to study Riemann surfaces and to provide combinatorial invariants for the action of the absolute… …   Wikipedia

  • Motive (algebraic geometry) — For other uses, see Motive (disambiguation). In algebraic geometry, a motive (or sometimes motif, following French usage) denotes some essential part of an algebraic variety . To date, pure motives have been defined, while conjectural mixed… …   Wikipedia

  • Algebraic number field — In mathematics, an algebraic number field (or simply number field) F is a finite (and hence algebraic) field extension of the field of rational numbers Q. Thus F is a field that contains Q and has finite dimension when considered as a vector… …   Wikipedia

  • List of algebraic geometry topics — This is a list of algebraic geometry topics, by Wikipedia page. Contents 1 Classical topics in projective geometry 2 Algebraic curves 3 Algebraic surfaces 4 …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”