Hirzebruch surfaces
(→Invariants) |
(→Explanation) |
||
Line 63: | Line 63: | ||
* The first Pontrjagin class vanishes as its evaluation on the fundamental class of $H_n$ is an oriented bordism invariant. | * The first Pontrjagin class vanishes as its evaluation on the fundamental class of $H_n$ is an oriented bordism invariant. | ||
− | * | + | * For the vaules of $c_1(H_n)$ let $TM$ denote the complext tangent bundle of a complex manifold $M$ then $TH_n|_{s_\infty(\CP^1)} = T\CP^1 \oplus L_{-n}$ and $TH_n|_{P_x} = TP_x \oplus \underline{\Cc}$. Moreover, $P_x \cong \CP^1$ and $c_1(T\CP^1) = 2$. |
* The Stiefel-Whitney classes are the mod $2$ reductions of the Chern classes. | * The Stiefel-Whitney classes are the mod $2$ reductions of the Chern classes. |
Revision as of 15:54, 16 November 2010
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:48, 1 April 2011 and the changes since publication. |
The users responsible for this page are: Diarmuid Crowley, Matthias Kreck. No other users may edit this page at present. |
This page is being refereed under the supervision of the editorial board. Hence the page may not be edited at present. As always, the discussion page remains open for observations and comments. |
Contents |
1 Introduction
Hirzebruch surfaces were introduced by Hirzebruch (without that name) in his thesis [Hirzebruch1951]. They are algebraic surfaces over the complex numbers. Here we consider them as smooth manifolds. The interest in them comes from Hirzebruch's result that as complex manifolds they are pairwise distinct whereas there are only two diffeomorphism types.
2 Construction and examples
Recall that if is a complex vector bundle over , then taking the fibre-wise projective space yields the associated projective bundle:
The fibres of are complex projective spaces and if is a holomorphic vector bundle over a complex manifold then is a complex manifold. Moreover, if denotes the trivial complex line bundle then admits a canonical section
which takes each point of to the ``line at infinity`` in .
We identify with the unit complex numbers and recall also that admits the free action: with quotient . For define the complex line bundle whose total space is the following quotient of
where is the first Chern class of and is the fundamental class of .
Definition 2.1. For define the Hirzebruch surface . It is a complex manifold of complex dimension but we consider it as a smooth manifold of dimension .
The Hirzebruch surfaces are -bundles over . Hence they are closed and, by the orientation coming from the complex structure, oriented 4-dimensional manifolds.
3 Invariants
We list some invariants of the manifolds with explanations below: let denote the fibre over .
- and .
- : in particular .
- for and for .
- has basis with and .
- With respect to the above basis the intersection form on is given by the following matrix: .
- The Euler characteristic is given by .
- The signature vanishes: .
- The first Pontrjagin class of is zero: .
- For the complex manifold , the first Chern class , is given by and .
- The second Stiefel-Whitney class is given by mod and .
- is a spinable if and only if is even.
3.1 Explanation
- The computation of the homotopy groups of follows from the homotopy sequence of a fibration and the existence of the section .
- The homology groups of can be computed by decomposing where is the disc bundle associated to and using the Mayer-Vietoris sequence.
- The computation of the intersection form follows by inspecting the embedded -spheres which represent and their normal bundles: in particular we apply the fact that the self intersection number of is the Euler class of [Milnor&Stasheff1974, Problem 11-C].
- The signature of is zero since the Hirzebruch surfaces are the boundary of the associated -bundle. One can also see this directly from the intersection form.
- The first Pontrjagin class vanishes as its evaluation on the fundamental class of is an oriented bordism invariant.
- For the vaules of let denote the complext tangent bundle of a complex manifold then and . Moreover, and .
- The Stiefel-Whitney classes are the mod reductions of the Chern classes.
4 Classification
Theorem 4.1 [Hirzebruch1951]. For the smooth manifolds
where means diffeomorphic. Moreover as complex manifolds
where means complex diffeomorphic.
For the first statement we see that parity of the intersection form implies that if is diffeomorphic to , then mod . On the other hand the smooth Hirzebruch surfaces are the total spaces of the 2-sphere bundle of a 3-dimensional vector bundle over and these bundles are classified by (note that is diffeomorphic to ). Thus there are precisely two diffeomorphism types of Hirzebruch surfaces. By construction and by an easy consideration # , where # is the connected sum and is with the opposite orientation.
For more information on Hirzebruch surfaces, in particular why they are pairwise distinct as complex manifolds, see [Hirzebruch1951].
5 Further remarks
- The Hirzebruch surfaces show that the smooth and both admit infinitely many inequivalent complex structures.
- The smooth manifolds and are examples of manifolds with isomorphic homotopy groups but distinct homotopy types.
- The Hirzebruch surfaces are the second stage of the so called Bott towers, which are inductively constructed starting from a point as the total space of a projective bundle associated to , where is a line bundle over a lower Bott tower (for more details see [Choi&Masuda&Suh2008]). The classification of the Bott towers up to homeomorphism or diffeomorphism is an interesting open problem. In particular one can ask whether the integral cohomology ring determines the homeomorphism or diffeomorphism type as it does for Hirzebruch surfaces. For 3-stage Bott towers [Choi&Masuda&Suh2008, Theorem 1.4] prove that the cohomology ring determines the diffeomorphism type.
- The Hirzebruch surfaces give examples where the isotopy classes of certain diffeomorphims do not contain holomorphic maps (in this case because the diffeomorphisms do not preserve the first Chern class). For example, the connected sum of complex conjugation in both factors of is not isotopic to a holomorphic map.
6 References
- [Choi&Masuda&Suh2008] Template:Choi&Masuda&Suh2008
- [Hirzebruch1951] F. Hirzebruch, Über eine Klasse von einfachzusammenhängenden komplexen Mannigfaltigkeiten, Math. Ann. 124 (1951), 77–86. MR0045384 (13,574e) Zbl 0043.30302
- [Milnor&Stasheff1974] J. W. Milnor and J. D. Stasheff, Characteristic classes, Princeton University Press, Princeton, N. J., 1974. MR0440554 (55 #13428) Zbl 1079.57504