Hopf беті - Hopf surface

Жылы күрделі геометрия, а Hopf беті - бұл кешеннің үлесі ретінде алынған ықшам күрделі бет векторлық кеңістік (нөл жойылғанда) ${displaystyle mathbb {C} ^ {2} setminus {0}}$ а тегін әрекет дискретті топтың. Егер бұл топ бүтін сандар болса, Хопф беті деп аталады бастапқы, әйтпесе ол аталады екінші реттік. (Кейбір авторлар «Hopf беті» терминін «бастапқы Hopf беті» деген мағынада қолданады.) Бірінші мысалды тапқан Хайнц Хопф  (1948 ), дискретті топ бүтін сандарға изоморфты, генератор әсер ететін ${displaystyle mathbb {C} ^ {2}}$ 2-ге көбейту арқылы; бұл ықшам күрделі бетінің алғашқы мысалы болды Келер метрикасы.

Hopf беттерінің жоғары өлшемді аналогтары деп аталады Hopf коллекторлары.

Инварианттар

Hopf беттері VII класты беттер және барлығында бар Kodaira өлшемі ${displaystyle -infty}$және олардың барлық плюриженериялары жоғалады. Геометриялық тұқымдас 0 іргелі топ ақырғы индекстің қалыпты орталық шексіз циклдік кіші тобына ие. The Қожа гауһар болып табылады

		1
	0		1
0		0		0
	1		0
		1

Атап айтқанда бірінші Бетти нөмірі 1-ге тең, ал екінші Бетти саны 0-ге тең Кунихико Кодайра  (1968 ) екінші Бетти нөмірі жоғалып, оның іргелі тобында шексіз циклдік ақырлы индексі бар ықшам күрделі бет Hopf беті екенін көрсетті.

Негізгі Hopf беттері

Барысында ықшам күрделі беттердің жіктелуі, Kodaira бастапқы Hopf беттерін жіктеді.

Алғашқы Hopf беті келесі түрде алынады

${displaystyle H = {Big (} mathbb {C} ^ {2} setminus {0} {Big)} / Gamma,}$

қайда ${displaystyle Gamma}$ - көпмүшелік жиырылу нәтижесінде пайда болатын топ ${displaystyle гамма}$.Kodaira қалыпты формасын тапты ${displaystyle гамма}$.Тиісті координаттарда ${displaystyle гамма}$ деп жазуға болады

${displaystyle (x, y) mapsto (альфа х + лямбда y ^ {n}, eta y)}$

қайда ${displaystyle alfa, eta in mathbb {C}}$ күрделі сандар болып табылады ${displaystyle 0 <| альфа | leq | eta | <1}$және де${displaystyle lambda = 0}$ немесе ${displaystyle alpha = eta ^ {n}}$.

Бұл беттерде эллиптикалық қисық бар (кескіні х-аксис) және егер ${displaystyle lambda = 0}$ бейнесі ж-аксис - бұл екінші эллиптикалық қисық. Қашан ${displaystyle lambda = 0}$, Hopf беті, егер проективті сызықтың үстіндегі эллиптикалық талшық кеңістігі болса ${displaystyle альфа ^ {m} = eta ^ {n}}$ кейбір оң сандар үшін м және n, берілген проективті сызыққа картамен бірге ${displaystyle (x, y) mapsto x ^ {m} y ^ {- n}}$, әйтпесе осьтердің екі кескіні ғана қисық болады.

The Пикард тобы кез-келген бастапқы Hopf бетінің нөлге тең емес комплекс сандарға изоморфты ${displaystyle mathbb {C} ^ {*}}$.

Кодаира (1966б) күрделі беттің диффеоморфты екенін дәлелдеді ${displaystyle S ^ {3} imes S ^ {1}}$ егер бұл Hopf бастапқы беті болса ғана.

Екінші Hopf беттері

Кез-келген екінші Hopf бетінде бастапқы Hopf беті болып табылатын шектеусіз реттік емес қақпағы болады. Эквивалентті түрде оның іргелі тобының орталығында бүтін сандарға изоморфты болатын ақырлы индекстің кіші тобы болады. Масахидо Като (1975 ) оларды бастапқы Hopf беттерінде бекітілген нүктелерсіз әрекет ететін ақырғы топтарды табу арқылы жіктеді.

Қосымша Hopf беттерінің көптеген мысалдарын а кеңістігінің көмегімен көбейтуге болады сфералық кеңістік формалары және шеңбер.

Әдебиеттер тізімі

• Барт, Қасқыр П .; Хулек, Клаус; Питерс, Крис А.М .; Ван де Вен, Антониус (2004), Ықшам кешенді беттер, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Фолге., 4, Springer-Verlag, Берлин, дои:10.1007/978-3-642-57739-0, ISBN  978-3-540-00832-3, МЫРЗА  2030225
• Хопф, Хайнц (1948), «Zur Topologie der kompleksen Mannigfaltigkeiten», 1948 жылы 8 қаңтарда Р.Куранттың 60 жасқа толуына орай ұсынылған зерттеулер мен очерктер, Interscience Publishers, Inc., Нью-Йорк, 167–185 б., МЫРЗА  0023054
• Като, Масахиде (1975), «Хопф беттерінің топологиясы», Жапонияның математикалық қоғамының журналы, 27 (2): 222–238, дои:10.2969 / jmsj / 02720222, ISSN  0025-5645, МЫРЗА  0402128, мұрағатталған түпнұсқа 2012-12-19 Като, Масахиде (1989), «Erratum to:» Hopf беттерінің топологиясы"", Жапонияның математикалық қоғамының журналы, 41 (1): 173–174, дои:10.2969 / jmsj / 04110173, ISSN  0025-5645, МЫРЗА  0972171, мұрағатталған түпнұсқа 2012-12-19
• Кодайра, Кунихико (1966), «Ықшам күрделі аналитикалық беттердің құрылымы туралы. II», Американдық математика журналы, Джон Хопкинс университетінің баспасы, 88 (3): 682–721, дои:10.2307/2373150, ISSN  0002-9327, JSTOR  2373150, МЫРЗА  0205280
• Кодайра, Кунихико (1968), «Ықшам күрделі аналитикалық беттердің құрылымы туралы. III», Американдық математика журналы, Джон Хопкинс университетінің баспасы, 90 (1): 55–83, дои:10.2307/2373426, ISSN  0002-9327, JSTOR  2373426, МЫРЗА  0228019
• Кодаира, Кунихико (1966б), «S-дегі күрделі құрылымдар¹× S³", Америка Құрама Штаттарының Ұлттық Ғылым Академиясының еңбектері, 55 (2): 240–243, дои:10.1073 / pnas.55.2.240, ISSN  0027-8424, МЫРЗА  0196769, PMC  224129, PMID  16591329
• Матумото, Такао; Накагава, Нориаки (2000), «Hopf беттерін және олардың автоморфизм топтарын нақты сипаттау», Осака Математика журналы, 37 (2): 417–424, ISSN  0030-6126, МЫРЗА  1772841
• Орнеа, Ливиу (2001) [1994], «Hopf manifold», Математика энциклопедиясы, EMS Press