(SAT, ε-UNSAT): Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Wiki.Tango.Foxtrot
m rm merge tag (not proposed properly; no discussion initiated)
en>Yobot
m Tagging, added orphan tag using AWB (10458)
 
Line 1: Line 1:
In mathematics, a '''Hirzebruch surface''' is a [[ruled surface]] over the [[projective line]]. They were studied by {{harvs|txt|first=Friedrich|last=Hirzebruch|year=1951|authorlink=Friedrich Hirzebruch}}.
Hi there, I am Alyson Boon even though it is not the name on my birth certificate. North Carolina is exactly where we've been living for many years and will by no means  online psychic [[https://www.machlitim.org.il/subdomain/megila/end/node/12300 machlitim.org.il]] transfer. To perform lacross is something he would never give up. Invoicing is what I do  best psychics ([http://www.sirudang.com/siroo_Notice/2110 http://www.sirudang.com/siroo_Notice/2110]) for a living but I've always needed my own business.<br><br>my website ... [http://www.weddingwall.com.au/groups/easy-advice-for-successful-personal-development-today/ psychic love readings]
 
==Definition==
The Hirzebruch surface
&Sigma;<sub>n</sub> is the '''P'''<sup>1</sup> bundle over '''P'''<sup>1</sup>
associated to the [[Sheaf (mathematics)|sheaf]]
 
:<math>O(0)+O(-n).\ </math>
 
The notation here means: O(''n'') is the ''n''-th tensor power of the [[Serre twist sheaf]] O(1), the [[invertible sheaf]] or [[line bundle]] with associated [[Cartier divisor]] a single point. The surface &Sigma;<sub>0</sub> is isomorphic to '''P'''<sup>1</sup>&times;'''P'''<sup>1</sup>, and &Sigma;<sub>1</sub> is isomorphic to '''P'''<sup>2</sup> blown up at a point so is not minimal.
 
==Properties==
 
Hirzebruch surfaces for ''n''&gt;0 have a special [[rational curve]] ''C'' on them: The surface is  
the projective bundle of O(''-n'') and the curve ''C'' is the [[zero section]]. This curve has [[Intersection theory|self-intersection number]] &minus;''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 '''P'''<sup>1</sup>). The [[Picard group]] is generated by the curve ''C'' and one of the fibers, and these generators have intersection matrix
 
:<math>\begin{bmatrix}0 & 1 \\ 1 & -n \end{bmatrix} , </math>
 
so the bilinear form is two dimensional unimodular, and is even or odd depending on whether ''n'' is even or odd.  
 
The Hirzebruch surface &Sigma;<sub>''n''</sub> (''n''&nbsp;&gt;&nbsp;1) blown up at a point on the special curve ''C'' is isomorphic to &Sigma;<sub>n-1</sub> blown up at a point not on the special curve.
 
== External links ==
* [http://www.map.him.uni-bonn.de/index.php/Hirzebruch_surfaces Manifold Atlas]
 
=== References ===
*{{Citation | last1=Barth | first1=Wolf P. | last2=Hulek | first2=Klaus | last3=Peters | first3=Chris A.M. | last4=Van de Ven | first4=Antonius | title=Compact Complex Surfaces | publisher= Springer-Verlag, Berlin | series=Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. | isbn=978-3-540-00832-3 | id={{MathSciNet | id = 2030225}} | year=2004 | volume=4}}
*{{Citation | last1=Beauville | first1=Arnaud | title=Complex algebraic surfaces | publisher=[[Cambridge University Press]] | edition=2nd | series=London Mathematical Society Student Texts | isbn=978-0-521-49510-3; 978-0-521-49842-5 | id={{MathSciNet | id = 1406314}} | year=1996 | volume=34}}
*{{Citation | last1=Hirzebruch | first1=Friedrich | author1-link=Friedrich Hirzebruch | title=Über eine Klasse von einfachzusammenhängenden komplexen Mannigfaltigkeiten | doi=10.1007/BF01343552 | id={{MathSciNet | id = 0045384}} | year=1951 | journal=[[Mathematische Annalen]] | issn=0025-5831 | volume=124 | pages=77–86}}
 
[[Category:Algebraic surfaces]]
[[Category:Complex surfaces]]

Latest revision as of 00:25, 16 September 2014

Hi there, I am Alyson Boon even though it is not the name on my birth certificate. North Carolina is exactly where we've been living for many years and will by no means online psychic [machlitim.org.il] transfer. To perform lacross is something he would never give up. Invoicing is what I do best psychics (http://www.sirudang.com/siroo_Notice/2110) for a living but I've always needed my own business.

my website ... psychic love readings