In mathematics, a Hirzebruch surface is a ruled surface over the projective line. They were studied by Friedrich Hirzebruch (1951).
Definition
editThe Hirzebruch surface is the -bundle (a projective bundle) over the projective line , associated to the sheaf The notation here means: is the n-th tensor power of the Serre twist sheaf , the invertible sheaf or line bundle with associated Cartier divisor a single point. The surface is isomorphic to ; and is isomorphic to the projective plane blown up at a point, so it is not minimal.
GIT quotient
editOne method for constructing the Hirzebruch surface is by using a GIT quotient[1]: 21 where the action of is given by This action can be interpreted as the action of on the first two factors comes from the action of on defining , and the second action is a combination of the construction of a direct sum of line bundles on and their projectivization. For the direct sum this can be given by the quotient variety[1]: 24 where the action of is given by Then, the projectivization is given by another -action[1]: 22 sending an equivalence class to Combining these two actions gives the original quotient up top.
Transition maps
editOne way to construct this -bundle is by using transition functions. Since affine vector bundles are necessarily trivial, over the charts of defined by there is the local model of the bundle Then, the transition maps, induced from the transition maps of give the map sending where is the affine coordinate function on .[2]
Properties
editProjective rank 2 bundles over P1
editNote that by Grothendieck's theorem, for any rank 2 vector bundle on there are numbers such that As taking the projective bundle is invariant under tensoring by a line bundle,[3] the ruled surface associated to is the Hirzebruch surface since this bundle can be tensored by .
Isomorphisms of Hirzebruch surfaces
editIn particular, the above observation gives an isomorphism between and since there is the isomorphism vector bundles
Analysis of associated symmetric algebra
editRecall that projective bundles can be constructed using Relative Proj, which is formed from the graded sheaf of algebras The first few symmetric modules are special since there is a non-trivial anti-symmetric -module . These sheaves are summarized in the table For the symmetric sheaves are given by
Intersection theory
editHirzebruch surfaces for n > 0 have a special rational curve C on them: The surface is the projective bundle of and the curve C is the zero section. This curve has self-intersection number −n, and is the only irreducible curve with negative self intersection number. The only irreducible curves with zero self intersection number are the fibers of the Hirzebruch surface (considered as a fiber bundle over ). The Picard group is generated by the curve C and one of the fibers, and these generators have intersection matrix so the bilinear form is two dimensional unimodular, and is even or odd depending on whether n is even or odd. The Hirzebruch surface Σn (n > 1) blown up at a point on the special curve C is isomorphic to Σn+1 blown up at a point not on the special curve.
Toric variety
editThe Hirzebruch surface can be given an action of the complex torus , with one acting on the base with two fixed axis points, and the other acting on the fibers of the vector bundle , specifically on the first line bundle component, and hence on the projective bundle. This produces an open orbit of T, making a toric variety. Its associated fan partitions the standard lattice into four cones (each corresponding to a coordinate chart), separated by the rays along the four vectors:[4]
All the theory above generalizes to arbitrary toric varieties, including the construction of the variety as a quotient and by coordinate charts, as well as the explicit intersection theory.
Any smooth toric surface except can be constructed by repeatedly blowing up a Hirzebruch surface at T-fixed points.[5]
See also
editReferences
edit- ^ a b c Manetti, Marco (2005-07-14). "Lectures on deformations of complex manifolds". arXiv:math/0507286.
- ^ Gathmann, Andreas. "Algebraic Geometry" (PDF). Fachbereich Mathematik - TU Kaiserslautern.
- ^ "Section 27.20 (02NB): Twisting by invertible sheaves and relative Proj—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-05-23.
- ^ Cox, David A.; Little, John B.; Schenck, Henry K. (2011). Toric varieties. Graduate studies in mathematics. Providence (R.I.): American mathematical society. p. 112. ISBN 978-0-8218-4819-7.
- ^ Cox, David A.; Little, John B.; Schenck, Henry K. (2011). Toric varieties. Graduate studies in mathematics. Providence (R.I.): American mathematical society. p. 496. ISBN 978-0-8218-4819-7.
- Barth, Wolf P.; Hulek, Klaus; Peters, Chris A.M.; Van de Ven, Antonius (2004), Compact Complex Surfaces, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge., vol. 4, Springer-Verlag, Berlin, ISBN 978-3-540-00832-3, MR 2030225
- Beauville, Arnaud (1996), Complex algebraic surfaces, London Mathematical Society Student Texts, vol. 34 (2nd ed.), Cambridge University Press, ISBN 978-0-521-49510-3, MR1406314
- Hirzebruch, Friedrich (1951), "Über eine Klasse von einfachzusammenhängenden komplexen Mannigfaltigkeiten", Mathematische Annalen, 124: 77–86, doi:10.1007/BF01343552, hdl:21.11116/0000-0004-3A56-B, ISSN 0025-5831, MR 0045384, S2CID 122844063