Complex bordism
An earlier version of this page was published in the Bulletin of the Manifold Atlas: screen, print. You may view the version used for publication as of 09:39, 1 April 2011 and the changes since publication. |
The user responsible for this page is Taras Panov. No other user may edit this page at present. |
Contents |
1 Introduction
Complex bordisms (also known as unitary bordisms) is the bordism theory of stably complex manifolds. It is one of the most important theory of bordisms with additional structure, or B-bordisms.
The theory of complex bordisms is much richer than its unoriented analogue, and at the same time is not as complicated as oriented bordisms or other bordisms with additional structure (B-bordisms). Thanks to this, the complex cobordism theory found the most stricking and important applications in algebraic topology and beyond. Many of these applications, including the formal group techniques and Adams-Novikov spectral sequence were outlined in the pioneering work [Novikov1967].
2 Stably complex structures
A direct attempt to define the bordism relation on complex manifolds fails because the manifold is odd-dimensional and therefore cannot be complex. In order to work with complex manifolds in the bordism theory, one needs to weaken the notion of the complex structures. This leads directly to considering stably complex (also known as weakly almost complex, stably almost complex or quasicomplex) manifolds.
Let denote the tangent bundle of , and the product vector bundle over . A tangential stably complex structure on is determined by a choice of an isomorphism
between the "stable" tangent bundle and a complex vector bundle over . Some of the choices of such isomorphisms are deemed to be equivalent, i.e. determining the same stably complex structures (see details in Chapters II and VII of [Stong1968]). In particular, two stably complex structures are equivalent if they differ by a trivial complex summand. A normal stably complex structure on is determined by a choice of a complex bundle structure in the normal bundle of an embedding . A tangential and normal stably complex structures on determine each other by means of the canonical isomorphism . We therefore may restrict our attention to tangential structures only.
A stably complex manifold is a pair consisting of a manifold and a stably complex structure on it. This is a generalisation to a complex and almost complex manifold (where the latter means a manifold with a choice of a complex structure on , i.e. a stably complex structure with ).
Example 2.1. Let . The standard complex structure on is equivalent to a stably complex structure determined by the isomorphism
where is the Hopf line bundle. On the other hand, the isomorphism
determines a trivial stably complex structure on .
3 Definition of bordism and cobordism
The bordism relation can be defined between stably complex manifolds. Like the case of unoriented bordisms, the set of bordism classes of stably complex manifolds is an Abelian group with respect to the disjoint union. This group is called the group of -dimensional complex bordisms and denoted . A zero is represented by the bordism class of any manifold which bounds and whose stable tangent bundle is trivial (and therefore isomorphic to a product complex vector bundle ). The sphere provides an example of such a manifold. The opposite element to the bordism class in the group may be represented by the same manifold with the stably complex structure determined by the isomorphism
where is given by .
An abbreviated notation for the complex bordism class will be used whenever the stably complex structure is clear from the context.
The groups of complex bordisms and cobordisms of a space may also be defined geometrically, at least for the case when is a manifold. This can be done along the lines suggested by [Quillen1971] and [Dold1978] by considering special "stably complex" maps of manifolds to . However, nowadays the homotopical approach to bordisms takes over, and the (co)bordism groups are usually defined using the Pontrjagin-Thom construction similarly to the unoriented case:
where is the Thom space of the universal complex -plane bundle . These groups are -modules and give rise to a multiplicative (co)homology theory. In particular, is a graded ring.
The graded ring with is called the complex cobordism ring; it has nontrivial elements only in nonpositively graded components.
4 Geometric cobordisms
There is one important case when certain cobordism classes can be represented very explicitly by maps of manifolds.
For any cell complex the cohomology group can be identified with the set of homotopy classes of maps into . Since , every element also determines a cobordism class . The elements of obtained in this way are called geometric cobordisms of . We therefore may view as a subset in , however the group operation in is not obtained by restricting the group operation in (see Formal group laws and genera for the relationship between the two operations).
When is a manifold, geometric cobordisms may be described by submanifolds of codimension 2 with a fixed complex structure in the normal bundle.
Indeed, every corresponds to a homotopy class of maps . The image is contained in some , and we may assume that is transversal to a certain hyperplane . Then is a codimension 2 submanifold in whose normal bundle acquires a complex structure by restriction of the complex structure in the normal bundle of . Changing the map within its homotopy class does not affect the bordism class of embedding .
Conversely, assume given a submanifold of codimension 2 whose normal bundle is endowed with a complex structure. Then the composition
of the Pontrjagin-Thom collapse map and the map of Thom spaces corresponding the the classifying map of defines and element , and therefore a geometric cobordism.
If is an oriented manifold, then a choice of complex structure in the normal bundle of a codimension 2 embedding is equivalent to orienting . The image of the fundamental class of in the homology of is Poincare dual to .
5 Structure results
Complex bordism ring is described as follows.
Theorem 5.1.
- is a polynomial ring over generated by the bordism classes of complex projective spaces , .
- Two stably complex manifolds are bordant if and only if they have identical sets of Chern characteristic numbers.
- is a polynomial ring over with one generator in every even dimension , where .
Part 1 can be proved by the methods of [Thom1954]. Part 2 follows from the results of [Milnor1960] and [Novikov1960]. Part 3 is the most difficult one; it was done by [Novikov1960] using Adams spectral sequence and structure theory of Hopf algebras (see also [Novikov1962] for a more detailed account) and Milnor (unpublished) in 1960. Another more geometric proof was given by [Stong1965], see also [Stong1968].
6 Multiplicative generators
6.1 Preliminaries: characteristic number sn
To describe a set of multiplicative generators for the ring we shall need a special characteristic class of complex vector bundles. Let be a complex -plane bundle over a manifold~. Write formally its total Chern class as follows:
so that is the th elementary symmetric function in formal indeterminates. These indeterminates acquire a geometric meaning if is a sum of line bundles; then , . Consider the polynomial
and express it via the elementary symmetric functions:
Substituting the Chern classes for the elementary symmetric functions we obtain a certain characteristic class of :
This characteristic class plays an important role in detecting the polynomial generators of the complex bordism ring, because of the following properties (which follow immediately from the definition).
Proposition 6.1.
- for .
- .
Given a stably complex manifold of dimension , define its characteristic number
where is the complex bundle from the definition of stably complex structure, and the fundamental homology class.
6.2 Milnor hypersurfaces Hij
6.3 Toric generators Bij and quasitoric representatives in cobordism classes
7 Formal group laws and genera
8 Adams-Novikov spectral sequence
The main references here are [Novikov1967] and [Ravenel1986]
9 References
- [Dold1978] A. Dold, Geometric cobordism and the fixed point transfer, in Algebraic topology (Proc. Conf., Univ. British Columbia, Vancouver, B.C., 1977), Lecture Notes in Math. 673, Springer, Berlin, (1978), 32–87. MR517084 (80g:57052) Zbl 0386.57005
- [Milnor1960] J. Milnor, On the cobordism ring and a complex analogue. I, Amer. J. Math. 82 (1960), 505–521. MR0119209 (22 #9975) Zbl 0095.16702
- [Novikov1960] S. P. Novikov, Some problems in the topology of manifolds connected with the theory of Thom spaces, Soviet Math. Dokl. 1 (1960), 717–720. MR0121815 (22 #12545) Zbl 0094.35902
- [Novikov1962] S. P. Novikov, Homotopy properties of Thom complexes, Mat. Sb. (N.S.) 57 (99) (1962), 407–442. MR0157381 (28 #615) Zbl 0193.51801
- [Novikov1967] S. P. Novikov, Methods of algebraic topology from the point of view of cobordism theory, Math. USSR, Izv. 1, (1967) 827–913. MR0221509 (36 #4561) Zbl 0176.52401
- [Quillen1971] D. Quillen, The Adams conjecture, Topology 10 (1971), 67–80. MR0279804 (43 #5525) Zbl 0219.55013
- [Ravenel1986] D. C. Ravenel, Complex cobordism and stable homotopy groups of spheres, Academic Press Inc., Orlando, FL, 1986. MR860042 (87j:55003) Zbl 1073.55001
- [Stong1965] R. E. Stong, Relations among characteristic numbers. I, Topology 4 (1965), 267–281. MR0192515 (33 #740) Zbl 0136.20503
- [Stong1968] R. E. Stong, Notes on cobordism theory, Princeton University Press, Princeton, N.J., 1968. MR0248858 (40 #2108) Zbl 0277.57010
- [Thom1954] R. Thom, Quelques propriétés globales des variétés différentiables, Comment. Math. Helv. 28 (1954), 17–86. MR0061823 (15,890a) Zbl 0057.15502
This page has not been refereed. The information given here might be incomplete or provisional. |
Let denote the tangent bundle of , and the product vector bundle over . A tangential stably complex structure on is determined by a choice of an isomorphism
between the "stable" tangent bundle and a complex vector bundle over . Some of the choices of such isomorphisms are deemed to be equivalent, i.e. determining the same stably complex structures (see details in Chapters II and VII of [Stong1968]). In particular, two stably complex structures are equivalent if they differ by a trivial complex summand. A normal stably complex structure on is determined by a choice of a complex bundle structure in the normal bundle of an embedding . A tangential and normal stably complex structures on determine each other by means of the canonical isomorphism . We therefore may restrict our attention to tangential structures only.
A stably complex manifold is a pair consisting of a manifold and a stably complex structure on it. This is a generalisation to a complex and almost complex manifold (where the latter means a manifold with a choice of a complex structure on , i.e. a stably complex structure with ).
Example 2.1. Let . The standard complex structure on is equivalent to a stably complex structure determined by the isomorphism
where is the Hopf line bundle. On the other hand, the isomorphism
determines a trivial stably complex structure on .
3 Definition of bordism and cobordism
The bordism relation can be defined between stably complex manifolds. Like the case of unoriented bordisms, the set of bordism classes of stably complex manifolds is an Abelian group with respect to the disjoint union. This group is called the group of -dimensional complex bordisms and denoted . A zero is represented by the bordism class of any manifold which bounds and whose stable tangent bundle is trivial (and therefore isomorphic to a product complex vector bundle ). The sphere provides an example of such a manifold. The opposite element to the bordism class in the group may be represented by the same manifold with the stably complex structure determined by the isomorphism
where is given by .
An abbreviated notation for the complex bordism class will be used whenever the stably complex structure is clear from the context.
The groups of complex bordisms and cobordisms of a space may also be defined geometrically, at least for the case when is a manifold. This can be done along the lines suggested by [Quillen1971] and [Dold1978] by considering special "stably complex" maps of manifolds to . However, nowadays the homotopical approach to bordisms takes over, and the (co)bordism groups are usually defined using the Pontrjagin-Thom construction similarly to the unoriented case:
where is the Thom space of the universal complex -plane bundle . These groups are -modules and give rise to a multiplicative (co)homology theory. In particular, is a graded ring.
The graded ring with is called the complex cobordism ring; it has nontrivial elements only in nonpositively graded components.
4 Geometric cobordisms
There is one important case when certain cobordism classes can be represented very explicitly by maps of manifolds.
For any cell complex the cohomology group can be identified with the set of homotopy classes of maps into . Since , every element also determines a cobordism class . The elements of obtained in this way are called geometric cobordisms of . We therefore may view as a subset in , however the group operation in is not obtained by restricting the group operation in (see Formal group laws and genera for the relationship between the two operations).
When is a manifold, geometric cobordisms may be described by submanifolds of codimension 2 with a fixed complex structure in the normal bundle.
Indeed, every corresponds to a homotopy class of maps . The image is contained in some , and we may assume that is transversal to a certain hyperplane . Then is a codimension 2 submanifold in whose normal bundle acquires a complex structure by restriction of the complex structure in the normal bundle of . Changing the map within its homotopy class does not affect the bordism class of embedding .
Conversely, assume given a submanifold of codimension 2 whose normal bundle is endowed with a complex structure. Then the composition
of the Pontrjagin-Thom collapse map and the map of Thom spaces corresponding the the classifying map of defines and element , and therefore a geometric cobordism.
If is an oriented manifold, then a choice of complex structure in the normal bundle of a codimension 2 embedding is equivalent to orienting . The image of the fundamental class of in the homology of is Poincare dual to .
5 Structure results
Complex bordism ring is described as follows.
Theorem 5.1.
- is a polynomial ring over generated by the bordism classes of complex projective spaces , .
- Two stably complex manifolds are bordant if and only if they have identical sets of Chern characteristic numbers.
- is a polynomial ring over with one generator in every even dimension , where .
Part 1 can be proved by the methods of [Thom1954]. Part 2 follows from the results of [Milnor1960] and [Novikov1960]. Part 3 is the most difficult one; it was done by [Novikov1960] using Adams spectral sequence and structure theory of Hopf algebras (see also [Novikov1962] for a more detailed account) and Milnor (unpublished) in 1960. Another more geometric proof was given by [Stong1965], see also [Stong1968].
6 Multiplicative generators
6.1 Preliminaries: characteristic number sn
To describe a set of multiplicative generators for the ring we shall need a special characteristic class of complex vector bundles. Let be a complex -plane bundle over a manifold~. Write formally its total Chern class as follows:
so that is the th elementary symmetric function in formal indeterminates. These indeterminates acquire a geometric meaning if is a sum of line bundles; then , . Consider the polynomial
and express it via the elementary symmetric functions:
Substituting the Chern classes for the elementary symmetric functions we obtain a certain characteristic class of :
This characteristic class plays an important role in detecting the polynomial generators of the complex bordism ring, because of the following properties (which follow immediately from the definition).
Proposition 6.1.
- for .
- .
Given a stably complex manifold of dimension , define its characteristic number
where is the complex bundle from the definition of stably complex structure, and the fundamental homology class.
6.2 Milnor hypersurfaces Hij
6.3 Toric generators Bij and quasitoric representatives in cobordism classes
7 Formal group laws and genera
8 Adams-Novikov spectral sequence
The main references here are [Novikov1967] and [Ravenel1986]
9 References
- [Dold1978] A. Dold, Geometric cobordism and the fixed point transfer, in Algebraic topology (Proc. Conf., Univ. British Columbia, Vancouver, B.C., 1977), Lecture Notes in Math. 673, Springer, Berlin, (1978), 32–87. MR517084 (80g:57052) Zbl 0386.57005
- [Milnor1960] J. Milnor, On the cobordism ring and a complex analogue. I, Amer. J. Math. 82 (1960), 505–521. MR0119209 (22 #9975) Zbl 0095.16702
- [Novikov1960] S. P. Novikov, Some problems in the topology of manifolds connected with the theory of Thom spaces, Soviet Math. Dokl. 1 (1960), 717–720. MR0121815 (22 #12545) Zbl 0094.35902
- [Novikov1962] S. P. Novikov, Homotopy properties of Thom complexes, Mat. Sb. (N.S.) 57 (99) (1962), 407–442. MR0157381 (28 #615) Zbl 0193.51801
- [Novikov1967] S. P. Novikov, Methods of algebraic topology from the point of view of cobordism theory, Math. USSR, Izv. 1, (1967) 827–913. MR0221509 (36 #4561) Zbl 0176.52401
- [Quillen1971] D. Quillen, The Adams conjecture, Topology 10 (1971), 67–80. MR0279804 (43 #5525) Zbl 0219.55013
- [Ravenel1986] D. C. Ravenel, Complex cobordism and stable homotopy groups of spheres, Academic Press Inc., Orlando, FL, 1986. MR860042 (87j:55003) Zbl 1073.55001
- [Stong1965] R. E. Stong, Relations among characteristic numbers. I, Topology 4 (1965), 267–281. MR0192515 (33 #740) Zbl 0136.20503
- [Stong1968] R. E. Stong, Notes on cobordism theory, Princeton University Press, Princeton, N.J., 1968. MR0248858 (40 #2108) Zbl 0277.57010
- [Thom1954] R. Thom, Quelques propriétés globales des variétés différentiables, Comment. Math. Helv. 28 (1954), 17–86. MR0061823 (15,890a) Zbl 0057.15502
This page has not been refereed. The information given here might be incomplete or provisional. |