Hopfova fibrace - Hopf fibration - Wikipedia


V matematické oblasti diferenciální topologie, Hopfova fibrace (také známý jako Hopfův svazek nebo Hopf mapa) popisuje a 3 koule (A hypersféra v čtyřrozměrný prostor ) ve smyslu kruhy a obyčejný koule. Objevil Heinz Hopf v roce 1931 se jedná o vlivný raný příklad a svazek vláken. Technicky Hopf našel mnoho ku jedné spojitá funkce (nebo "mapa") z 3- koule na 2- sféra taková, že každá odlišná směřovat z 2-sphere je mapován z odlišného velký kruh z 3- koule (Hopf 1931 ).[1] Tak 3- koule se skládá z vláken, kde každé vlákno je kruh - jeden pro každý bod 2-koule.
Tato struktura svazku vláken je označena
což znamená, že vláknový prostor S1 (kruh) je vložený v celkovém prostoru S3 (dále jen 3-sphere) a str : S3 → S2 (Mapa Hopfa) S3 do základního prostoru S2 (obyčejný 2-koule). Hopfova fibrace, jako každý svazek vláken, má důležitou vlastnost, kterou má lokálně A produktový prostor. Není to však triviální svazek vláken, tj. S3 není globálně produkt S2 a S1 i když místně je to k nerozeznání od toho.
To má mnoho důsledků: například existence tohoto balíčku ukazuje, že vyšší homotopické skupiny koulí nejsou banální obecně. Poskytuje také základní příklad a hlavní balíček, identifikací vlákna s kruhová skupina.
Stereografická projekce Hopfovy fibrace vyvolává pozoruhodnou strukturu na R3, ve kterém je prostor vyplněn vnořenými Tori z propojení Villarceauovy kruhy. Zde každé vlákno promítá na a kruh v prostoru (z nichž jedna je čára, o které se uvažuje jako o „kruhu do nekonečna“). Každý torus je stereografická projekce inverzní obraz kruhu zeměpisné šířky 2-koule. (Topologicky je torus produktem dvou kruhů.) Tyto tori jsou znázorněny na obrázcích vpravo. Když R3 je stlačen na hranici koule, dojde ke ztrátě určité geometrické struktury, ačkoli topologická struktura je zachována (viz Topologie a geometrie ). Smyčky jsou homeomorfní do kruhů, i když nejsou geometrické kruhy.
Existuje celá řada zobecnění Hopfovy fibrace. Jednotková koule v složitý souřadnicový prostor Cn+1 vlákna přirozeně přes složitý projektivní prostor CPn s kruhy jako vlákny a existují také nemovitý, kvartérní,[2] a octonionic verze těchto fibrací. Zejména Hopfova fibrace patří do rodiny čtyř svazků vláken, ve kterých jsou celkový prostor, základní prostor a vláknový prostor všechny sféry:
Podle Adamsova věta k těmto fibracím může dojít pouze v těchto rozměrech.
Hopfova fibrace je důležitá v teorie twistorů.
Definice a konstrukce
Pro všechny přirozené číslo n, an n-dimenzionální koule, nebo n-koule, lze definovat jako množinu bodů v -dimenzionální prostor které jsou pevnou vzdáleností od středu směřovat. Pro úplnost lze za centrální bod považovat původ a vzdálenost bodů na kouli od tohoto počátku lze považovat za jednotku délky. S touto úmluvou n-koule, , se skládá z bodů v s X12 + X22 + ⋯+ Xn + 12 = 1. Například 3- koule se skládá z bodů (X1, X2, X3, X4) v R4 s X12 + X22 + X32 + X42 = 1.
Hopfova fibrace str: S3 → S2 z 3- koule nad 2-sphere lze definovat několika způsoby.
Přímá konstrukce
Identifikovat R4 s C2 a R3 s C × R (kde C označuje komplexní čísla ) napsáním:
a
- .
Tím pádem S3 je identifikován s podmnožina ze všech (z0, z1) v C2 takhle |z0|2 + |z1|2 = 1, a S2 je identifikován s podmnožinou všech (z, X) v C×R takhle |z|2 + X2 = 1. (Tady, pro komplexní číslo z = X + iy, |z|2 = z z∗ = X2 + y2, kde hvězda označuje komplexní konjugát.) Pak Hopfova fibrace str je definováno
První složka je komplexní číslo, zatímco druhá složka je skutečná. Jakýkoli bod na 3- koule musí mít tu vlastnost, která |z0|2 + |z1|2 = 1. Pokud je to tak, pak str(z0, z1) leží na jednotce 2-sphere dovnitř C × R, jak může být ukázáno čtvercem složitých a skutečných složek str
Dále, pokud se dva body na 3 sféře mapují na stejný bod na 2 sféře, tj. Pokud str(z0, z1) = str(w0, w1), pak (w0, w1) musí se rovnat (λ z0, λ z1) pro nějaké komplexní číslo λ s |λ|2 = 1. Opak je také pravdivý; libovolné dva body na 3- koule, které se liší společným komplexním faktorem λ mapa do stejného bodu na mapě 2-koule. Tyto závěry následovat, protože složitý faktor λ ruší komplexním konjugátem λ∗ v obou částech str: v komplexu 2z0z1∗ komponenta a ve skutečné komponentě |z0|2 − |z1|2.
Od množiny komplexních čísel λ s |λ|2 = 1 tvoří jednotkovou kružnici v komplexní rovině, vyplývá z toho, že pro každý bod m v S2, inverzní obraz str−1(m) je kruh, tj. str−1m ≅ S1. Tak 3- koule je realizována jako a disjunktní unie těchto kruhových vláken.
Přímá parametrizace 3- sféra využívající Hopfovu mapu je následující.[3]
nebo v euklidovštině R4
Kde η běží přes rozsah 0 na π/2, ξ1 běží přes rozsah 0 a 2π a ξ2 může nabývat jakýchkoli hodnot mezi 0 a 4π. Každá hodnota η, až na 0 a π/2 které určují kruhy, určuje samostatné plochý torus v 3- koule a jeden zpáteční let (0 na 4π) buď ξ1 nebo ξ2 způsobí, že vytvoříte jeden plný kruh obou končetin torusu.
Mapování výše uvedené parametrizace na 2-sphere je následující, s body na kružnicích parametrizovanými podle ξ2.
Geometrická interpretace pomocí komplexní projektivní linie
Geometrickou interpretaci fibrace lze získat pomocí komplexní projektivní linie, CP1, který je definován jako množina všech komplexních jednorozměrných podprostory z C2. Ekvivalentně CP1 je kvocient z C2\{0} podle vztah ekvivalence který identifikuje (z0, z1) s (λ z0, λ z1) pro jakékoli nenulové komplexní číslo λ. Na libovolném komplexním řádku v C2 existuje kruh jednotkové normy, a tak omezení kvocientová mapa k bodům jednotkové normy je fibrace S3 přes CP1.
CP1 je difeomorfní s a 2-sphere: ve skutečnosti to může být identifikováno s Riemannova koule C∞ = C ∪ {∞}, který je jednobodové zhutnění z C (získáno přidáním a bod v nekonečnu ). Vzorec uvedený pro str výše definuje explicitní difeomorfismus mezi komplexní projektivní linií a obyčejnou 2-sphere dovnitř 3-rozměrný prostor. Případně bod (z0, z1) lze mapovat na poměr z1/z0 v Riemannově sféře C∞.
Struktura svazku vláken
Hopfova fibrace definuje a svazek vláken, s projekcí svazku str. To znamená, že má „místní strukturu produktu“ v tom smyslu, že každý bod 2- koule nějaké má sousedství U jehož inverzní obraz v 3-sféra může být identifikováno s produkt z U a kruh: str−1(U) ≅ U × S1. Taková fibrace se říká místně triviální.
Pro Hopfovu fibraci stačí odstranit jediný bod m z S2 a odpovídající kruh str−1(m) z S3; tak si člověk může vzít U = S2\{m}a jakýkoli bod v S2 má sousedství této formy.
Geometrická interpretace pomocí rotací
Další geometrickou interpretaci Hopfovy fibrace lze získat zvážením rotací 2- koule v obyčejném 3-rozměrný prostor. The rotační skupina SO (3) má dvojitý kryt, spinová skupina Spin (3), difeomorfní do 3-koule. Spin skupina působí přechodně na S2 rotací. The stabilizátor bodu je isomorfní s kruhová skupina. Z toho snadno vyplývá, že 3- koule je svazek hlavního kruhu přes 2- koule, a to je Hopfova fibrace.
Aby to bylo jasnější, existují dva přístupy: skupina Spin (3) lze buď identifikovat se skupinou Sp (1) jednotky čtveřice, nebo s speciální jednotná skupina SU (2).
V prvním přístupu vektor (X1, X2, X3, X4) v R4 je interpretován jako čtveřice q ∈ H písemně
The 3- koule je pak identifikována s versors, čtveřice jednotkové normy, ty q ∈ H pro který |q|2 = 1, kde |q|2 = q q∗, což se rovná X12 + X22 + X32 + X42 pro q jak je uvedeno výše.
Na druhou stranu vektor (y1, y2, y3) v R3 lze interpretovat jako imaginární čtveřice
Pak, jak je dobře známo od té doby Cayley (1845), mapování
je rotace v R3: ve skutečnosti je to jednoznačně izometrie, od té doby |q p q∗|2 = q p q∗ q str∗ q∗ = q p str∗ q∗ = |str|2a není těžké zkontrolovat, zda zachovává orientaci.
Ve skutečnosti to identifikuje skupinu versors se skupinou rotací R3, modulo skutečnost, že versors q a −q určit stejnou rotaci. Jak je uvedeno výše, rotace působí přechodně S2a množina protivníků q které opravují daného pravého versora str mít formu q = u + proti str, kde u a proti jsou reálná čísla s u2 + proti2 = 1. Toto je podskupina kruhů. Pro konkrétnost lze vzít str = k, a pak lze Hopfovu fibraci definovat jako mapu posílající versora ω na ω k ω∗. Všechny čtveřice ωq, kde q je jedním z kruhu veršů, který opravuje k, namapujte na stejnou věc (což je náhodou jedna ze dvou 180° rotace rotující k na stejné místo jako ω dělá).
Dalším způsobem, jak se na tuto fibraci dívat, je to, že každý versor ω pohybuje rovinou rozloženou kolem {1, k} do nového letadla překlenutého o {ω, ωk}. Jakýkoli čtveřice ωq, kde q je jedním z kruhu veršů, které opravují k, bude mít stejný účinek. Dali jsme všechny tyto do jednoho vlákna a vlákna mohou být mapována jedna k jedné na 2- sféra 180° rotace, což je rozsah ωkω*.
Tento přístup souvisí s přímou konstrukcí identifikací čtveřice q = X1 + i X2 + j X3 + k X4 s 2×2 matice:
Tím se identifikuje skupina versors s SU (2), a imaginární čtveřice se šikmým poustevníkem 2×2 matice (izomorfní až C × R).
Explicitní vzorce
Rotace vyvolaná jednotkovým čtveřicí q = w + i X + j y + k z je výslovně dán ortogonální matice
Zde najdeme explicitní skutečný vzorec pro projekci svazku tím, že si všimneme, že vektor pevné jednotky podél z osa, (0,0,1), otočí se na jiný jednotkový vektor,
což je spojitá funkce (w, X, y, z). To znamená, obraz q je bod na 2- sféra, kam posílá jednotkový vektor podél z osa. Vlákno pro daný bod S2 se skládá ze všech těch čtverců jednotek, které tam posílají jednotkový vektor.
Můžeme také napsat explicitní vzorec pro vlákno přes bod (A, b, C) v S2. Násobení čtverců jednotek vytváří složení rotací a
je rotace o 2θ okolo z osa. Tak jako θ se liší, toto zametá a velký kruh z S3, naše prototypové vlákno. Pokud je základní bod, (A, b, C), není antipod, (0, 0, −1)čtveřice
pošlu (0, 0, 1) na (A, b, C). Tak vlákno (A, b, C) je dáno čtveřicemi formy q(A, b, C)qθ, což jsou S3 bodů
Od násobení q(A,b,C) působí jako rotace čtvercového prostoru, vlákno není pouze topologický kruh, je to geometrický kruh.
Konečné vlákno pro (0, 0, −1), lze zadat definováním q(0,0,−1) rovnat se i, produkující
který doplňuje balíček. Ale všimněte si, že toto individuální mapování mezi S3 a S2×S1 není v tomto kruhu kontinuální, což odráží skutečnost, že S3 není topologicky ekvivalentní s S2×S1.
Jednoduchý způsob vizualizace Hopfovy fibrace je tedy následující. Jakýkoli bod na 3-sphere je ekvivalentní a čtveřice, což je zase ekvivalentní konkrétní rotaci a Kartézský souřadnicový rámec ve třech rozměrech. Sada všech možných čtverců vytváří sadu všech možných rotací, která posune špičku jednoho jednotkového vektoru takového souřadnicového rámce (řekněme z vektor) do všech možných bodů na jednotce 2-koule. Upevnění špičky z vektor neurčuje plně rotaci; je možné další otáčení kolem z-osa. To znamená, že 3- koule je mapována na 2- koule plus jedna rotace.
Rotaci lze znázornit pomocí Eulerovy úhly θ, φ a ψ. Hopfovo mapování mapuje rotaci do bodu na 2 sféře dané θ a φ a přidružená kružnice je parametrizována pomocí ψ. Všimněte si, že když θ = π nejsou Eulerovy úhly φ a ψ dobře definovány jednotlivě, takže nemáme mapování one-to-one (nebo mapování one-to-two) mezi 3-torus z (θ, φ, ψ) a S3.
Mechanika tekutin
Pokud se s Hopfovou fibrací zachází jako s vektorovým polem v trojrozměrném prostoru, pak existuje řešení (stlačitelné, neviskózní) Navier-Stokesovy rovnice dynamiky tekutin, ve kterém tekutina proudí podél kruhů projekce Hopfovy fibrace v trojrozměrném prostoru. Pro splnění rovnic lze v každém bodě zvolit velikost rychlostí, hustotu a tlak. Všechna tato množství klesají na nulu a odcházejí od středu. Pokud a je vzdálenost k vnitřnímu prstenci, jsou pole rychlostí, tlaku a hustoty dána vztahem:
pro libovolné konstanty A a B. Podobné vzory polí se nacházejí jako soliton řešení magnetohydrodynamika:[4]
Zobecnění
Konstrukce Hopf, viděná jako svazek vláken str: S3 → CP1, připouští několik zobecnění, které jsou také často známé jako Hopfovy fibrace. Nejprve lze nahradit projektivní linii znakem n-dimenzionální projektivní prostor. Zadruhé, komplexní čísla lze nahradit libovolnými (reálnými) divize algebra, včetně (pro n = 1) octonions.
Skutečné Hopfovy fibrace
Skutečnou verzi Hopfovy fibrace získáme pozorováním kružnice S1 jako podmnožina R2 obvyklým způsobem a identifikací antipodálních bodů. To dává svazek vláken S1 → RP1 přes skutečná projektivní linie s vláknem S0 = {1, −1}. Stejně jako CP1 je difeomorfní vůči kouli, RP1 je difeomorfní vůči kruhu.
Obecněji, n-koule Sn vlákna přes skutečný projektivní prostor RPn s vláknem S0.
Složité Hopfovy fibrace
Konstrukce Hopf dává kruhové svazky str : S2n+1 → CPn přes složitý projektivní prostor. Jedná se vlastně o omezení tautologický svazek linek přes CPn do jednotkové koule dovnitř Cn+1.
Kvartérní Hopfovy fibrace
Podobně lze uvažovat S4n + 3 jako ležet Hn + 1 (kvartérní n-space) a vyčíslit podle čtverce jednotek (= S3) násobení pro získání kvaternionový projektivní prostor HPn. Zejména proto, že S4 = HP1, existuje balíček S7 → S4 s vláknem S3.
Octonionic Hopfovy fibrace
Podobná konstrukce s octonions získá balíček S15 → S8 s vláknem S7. Ale koule S31 nevlákne S16 s vláknem S15. Jeden může respektovat S8 jako oktonionická projektivní čára OP1. I když lze také definovat oktonionová projektivní rovina OP2koule S23 nevlákne OP2s vláknem S7.[5][6]
Fibrace mezi koulemi
Někdy je termín „Hopfova fibrace“ omezen na fibrace mezi sférami získanými výše, které jsou
- S1 → S1 s vláknem S0
- S3 → S2 s vláknem S1
- S7 → S4 s vláknem S3
- S15 → S8 s vláknem S7
Jako důsledek Adamsova věta, svazky vláken s koule protože celkový prostor, základní prostor a vlákno se mohou vyskytovat pouze v těchto rozměrech. Svazky vláken s podobnými vlastnostmi, ale odlišné od Hopfových fibrací, byly používány společností John Milnor konstruovat exotické sféry.
Geometrie a aplikace

Hopfova fibrace má mnoho důsledků, některé čistě atraktivní, jiné hlubší. Například, stereografická projekce S3 → R3 vyvolává v systému pozoruhodnou strukturu R3, což zase osvětluje topologii svazku (Lyons 2003 ). Stereografická projekce zachovává kruhy a mapuje Hopfova vlákna na geometricky dokonalé kruhy R3 které vyplňují prostor. Zde existuje jedna výjimka: Hopfův kruh obsahující bod projekce se mapuje na přímku dovnitř R3 - "kruh skrz nekonečno".
Vlákna přes kruh zeměpisné šířky S2 tvoří a torus v S3 (topologicky je torus produktem dvou kruhů) a tyto se promítají do vnoření torusy v R3 které také vyplňují prostor. Jednotlivá vlákna se mapují na propojení Villarceauovy kruhy na těchto tori, s výjimkou kruhu skrz promítací bod a kruhu skrz jeho opačný bod: první mapuje na přímku, druhá na jednotkovou kružnici kolmou na tuto přímku, která může být vnímána jako zdegenerovaný torus, jehož menší poloměr se zmenšil na nulu. Každý další obraz vlákna obklopuje také čáru, a tak je symetricky propojen každý kruh každý kruh, oba dovnitř R3 a v S3. Dva takové spojovací kruhy tvoří a Hopfův odkaz v R3
Hopf dokázal, že mapa Hopf má Hopf invariantní 1, a proto tomu tak není nulová homotopie. Ve skutečnosti generuje homotopická skupina π3(S2) a má nekonečný řád.
v kvantová mechanika, Riemannova sféra je známá jako Bloch koule a Hopfova fibrace popisuje topologickou strukturu kvantové mechaniky dvouúrovňový systém nebo qubit. Podobně je topologie dvojice zapletených dvouúrovňových systémů dána Hopfovou fibrací
Hopfova fibrace je ekvivalentní struktuře svazku vláken Dirac monopol.[7]
Poznámky
- ^ Tento oddíl 3- koule do nesouvislých velkých kruhů je možná, protože na rozdíl od 2- koule, zřetelné velké kruhy 3- koule se nemusí protínat.
- ^ kvaternionová Hopfova vlákna, ncatlab.org. https://ncatlab.org/nlab/show/quaternionic+Hopf+fibration
- ^ Smith, Benjamin. „Hopfovy fibrační poznámky Benjamina H. Smitha“ (PDF). Archivovány od originál (PDF ) dne 14. září 2016.
- ^ Kamchatnov, A. M. (1982), Topologické solitony v magnetohydrodynamice (PDF)
- ^ Besse, Arthur (1978). Rozdělovače, jejichž všechny geodetiky jsou uzavřené. Springer-Verlag. ISBN 978-3-540-08158-6. (§0,26 na straně 6)
- ^ sci.math.research 1993 vlákno "Koule vláknité koulemi"
- ^ Friedman, John L. (červen 2015). „Historická poznámka o svazcích vláken“. Fyzika dnes. 68 (6): 11. Bibcode:2015PhT .... 68f..11F. doi:10.1063 / PT.3.2799.
Reference
- Cayley, Arthur (1845), „K určitým výsledkům týkajícím se čtveřic“, Filozofický časopis, 26: 141–145, doi:10.1080/14786444508562684; přetištěno jako článek 20 v Cayley, Arthur (1889), Shromážděné matematické práce Arthura Cayleyho, I, (1841–1853), Cambridge University Press, str. 123–126
- Hopf, Heinz (1931), „Über die Abbildungen der dreidimensionalen Sphäre auf die Kugelfläche“, Mathematische Annalen, Berlín: Springer, 104 (1): 637–665, doi:10.1007 / BF01457962, ISSN 0025-5831
- Hopf, Heinz (1935), „Über die Abbildungen von Sphären auf Sphären niedrigerer Dimension“, Fundamenta Mathematicae, Varšava: polský akadem. Sci., 25: 427–440, ISSN 0016-2736
- Lyons, David W. (duben 2003), „Základní úvod do Hopfovy vlákniny“ (PDF ), Matematický časopis, 76 (2): 87–98, doi:10.2307/3219300, ISSN 0025-570X, JSTOR 3219300
- Mosseri, R .; Dandoloff, R. (2001), „Geometrie zapletených stavů, Blochovy koule a Hopfovy fibrace“, Journal of Physics A: Mathematical and Theoretical, 34 (47): 10243–10252, arXiv:quant-ph / 0108137, Bibcode:2001JPhA ... 3410243M, doi:10.1088/0305-4470/34/47/324.
- Steenrod, Norman (1951), Topologie svazků vláken, PMS 14, Princeton University Press (publikováno 1999), ISBN 978-0-691-00548-5
- Urbantke, H.K. (2003), „Hopfova fibrace sedmkrát ve fyzice“, Journal of Geometry and Physics, 46 (2): 125–150, Bibcode:2003JGP .... 46..125U, doi:10.1016 / S0393-0440 (02) 00121-3.
externí odkazy
- „Hopfova fibrace“, Encyclopedia of Mathematics, Stiskněte EMS, 2001 [1994]
- Rozměry Math Kapitoly 7 a 8 ilustrují Hopfovu fibraci pomocí animované počítačové grafiky.
- Základní úvod do Hopfovy fibrace David W. Lyons (PDF )
- Animace YouTube zobrazující dynamické mapování bodů ve 2 sféře na kruhy ve 3 sféře, od profesora Niles Johnsona.
- Animace YouTube o konstrukci 120 buněk Autor: Gian Marco Todesco ukazuje Hopfovu fibraci 120 buněk.
- Video z jednoho 30článkového kruhu 600článkového z http://page.math.tu-berlin.de/~gunn/.
- Interaktivní vizualizace mapování bodů na 2 sféře na kruhy ve 3 sféře