Yta av klass VII
Inom matematik är ytor av klass VII icke-algebraiska komplexa ytor som studerats av (Kodaira 1964 , 1968 ) som har Kodaira-dimension −∞ och första Betti nummer 1. Minimala ytor av klass VII (de utan rationella kurvor med självskärning −1 ) kallas ytor av klass VII 0 . Varje klass VII-yta är birational till en unik minimal klass VII-yta och kan erhållas från denna minimala yta genom att spränga punkter ett ändligt antal gånger.
0000 Namnet "klass VII" kommer från ( Kodaira 1964 , sats 21), som delade in minimala ytor i 7 klasser numrerade I till VII . Kodairas klass VII hade dock inte villkoret att Kodaira-dimensionen är −∞, utan hade istället villkoret att det geometriska släktet är 0. Som ett resultat av detta inkluderade hans klass VII även några andra ytor, såsom sekundära Kodaira-ytor , som är anses inte längre vara klass VII eftersom de inte har Kodaira-dimension −∞. De minimala ytorna i klass VII är klassen numrerad "7" på listan över ytor i ( Kodaira 1968 , sats 55).
Invarianter
Oregelbundenheten q är 1, och h 1,0 = 0. Alla plurigener är 0.
Hodge diamant:
1 | ||||
0 | 1 | |||
0 | b 2 | 0 | ||
1 | 0 | |||
1 |
Exempel
Hopf-ytor är kvoter av C 2 −(0,0) av en diskret grupp G som verkar fritt och har försvinnande andra Betti-tal. Det enklaste exemplet är att ta G som heltal, som fungerar som multiplikation med 2 potenser; motsvarande Hopf-yta är diffeomorf till S 1 × S 3 .
Inoue-ytor är vissa klass VII-ytor vars universella täckning är C × H där H är det övre halvplanet (så de är kvoter av detta med en grupp automorfismer). De har försvinnande andra Betti-nummer.
Inoue–Hirzebruch-ytor , Enoki-ytor och Kato-ytor ger exempel på typ VII-ytor med b 2 > 0.
Klassificering och globala sfäriska skal
De minimala klass VII-ytorna med andra Betti-talet b 2 =0 har klassificerats av Bogomolov ( 1976 , 1982 ) och är antingen Hopf-ytor eller Inoue-ytor . De med b 2 =1 klassificerades av Nakamura (1984b) under ett ytterligare antagande att ytan har en kurva, vilket senare bevisades av Teleman (2005) .
0 Ett globalt sfäriskt skal ( Kato 1978 ) är en slät 3-sfär i ytan med sammanhängande komplement, med ett grannskap som är biholomorft till ett område av en sfär i C 2 . Den globala sfäriska skalförmodan hävdar att alla klass VII- ytor med positivt andra Betti-nummer har ett globalt sfäriskt skal. Förgreningarna med ett globalt sfäriskt skal är alla Kato-ytor som är någorlunda väl förstådda, så ett bevis på denna gissning skulle leda till en klassificering av typ VII-ytorna.
En klass VII-yta med positivt andra Betti-tal b 2 har som mest b 2 rationella kurvor, och har exakt detta nummer om den har ett globalt sfäriskt skal. Omvänt visade Georges Dloussky, Karl Oeljeklaus och Matei Toma ( 2003 ) att om en minimal klass VII-yta med positivt andra Betti-tal b 2 har exakt b 2 rationella kurvor så har den ett globalt sfäriskt skal.
För typ VII-ytor med försvinnande andra Betti-nummer har de primära Hopf-ytorna ett globalt sfäriskt skal, men sekundära Hopf-ytor och Inoue-ytor gör det inte eftersom deras fundamentala grupper inte är oändliga cykliska. Att spränga punkter på de senare ytorna ger icke-minimala klass VII-ytor med positivt andra Betti-tal som inte har sfäriska skal.
- Barth, Wolf P.; Hulek, Klaus; Peters, Chris AM; 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
- Bogomolov, Fedor A. (1976), 0 "Klassificering av ytor av klass VII med b 2 =0" , Izvestiya Akademii Nauk SSSR. Seriya Matemacheskaya , 10 (2): 273–288, ISSN 0373-2436 , MR 0427325
- 0 Bogomolov, Fedor A. (1982), "Ytor av klass VII och affin geometri", Izvestiya Akademii Nauk SSSR. Seriya Matematheskaya , 46 (4): 710–761, Bibcode : 1983IzMat..21...31B , doi : 10.1070/IM1983v021n01ABEH001640 , ISSN 0373-2436 , 1MR 406 70
- Dloussky, Georges; Oeljeklaus, Karl; Toma, Matei (2003), 0 "Klass VII ytor med b 2 kurvor" , The Tohoku Mathematical Journal , Second Series, 55 (2): 283–309, arXiv : math/0201010 , doi : 10.2748/tmj/11204 , SN IS -8735 , MR 1979500
- Kato, Masahide (1978), "Compact complex manifolds containing "global" sfäriska skal. I", Proceedings of the International Symposium on Algebraic Geometry (Kyoto Univ., Kyoto, 1977) , Tokyo: Kinokuniya Book Store, s. 45–84 MR 0578853 _
- Kodaira, Kunihiko (1964), "Om strukturen av kompakta komplexa analytiska ytor. I", American Journal of Mathematics , The Johns Hopkins University Press, 86 (4): 751–798, doi : 10.2307/2373157 , ISSN 0002-9327 , JSTOR 2373157 , MR 0187255
- Kodaira, Kunihiko (1968), "Om strukturen av komplexa analytiska ytor. IV", American Journal of Mathematics , The Johns Hopkins University Press, 90 ( 4): 1048–1066, doi : 10.2307/2373289 , ISSN 0002-9322 JSTOR 2373289 , MR 0239114
- 0 Nakamura, Iku (1984a), "På ytor av klass VII med kurvor", Inventiones Mathematicae , 78 (3): 393–443, Bibcode : 1984InMat..78..393N , doi : 10.1007 / BF013884 , 013884 ,013884 ,013884 ,01084 , 013884 , 013884 MR 0768987
- Nakamura, Iku (1984b), "Klassificering av icke-Kähler komplexa ytor", Mathematical Society of Japan. Sugaku (matematik) , 36 (2): 110–124, ISSN 0039-470X , MR 0780359
- 0 Nakamura, I. (2008), "Survey on VII- ytor", Recent Developments in NonKaehler Geometry, Sapporo (PDF)
- Teleman, Andrei (2005), "Donaldson-teori om icke-Kählerska ytor och klass VII-ytor med b 2 =1", Inventiones Mathematicae , 162 (3): 493–521, arXiv : 0704.2638 , Bibcode : 20162.Mat.4 . , doi : 10.1007/s00222-005-0451-2 , ISSN 0020-9910 , MR 2198220