词条 | Complex-oriented cohomology theory |
释义 |
In algebraic topology, a complex-orientable cohomology theory is a multiplicative cohomology theory E such that the restriction map is surjective. An element of that restricts to the canonical generator of the reduced theory is called a complex orientation. The notion is central to Quillen's work relating cohomology to formal group laws.{{citation needed|date=October 2013}} If E is an even-graded theory meaning , then E is complex-orientable. This follows from the Atiyah–Hirzebruch spectral sequence. Examples:
A complex orientation, call it t, gives rise to a formal group law as follows: let m be the multiplication where denotes a line passing through x in the underlying vector space of . This is the map classifying the tensor product of the universal line bundle over . Viewing , let be the pullback of t along m. It lives in and one can show, using properties of the tensor product of line bundles, it is a formal group law (e.g., satisfies associativity). See also
References
2 : Algebraic topology|Cohomology theories |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。