Nilmanifold
I matematik är ett nilmanifold ett differentierbart grenrör som har en transitiv nilpotent grupp av diffeomorfismer som verkar på sig. Som sådan är ett nilmanifold ett exempel på ett homogent utrymme och är diffeomorft till kvotutrymmet , kvoten för en nilpotent Lie-grupp N modulo en sluten undergrupp H . Denna uppfattning introducerades av Anatoly Mal'cev 1951.
I den Riemannska kategorin finns det också en bra föreställning om en nilmanifold. Ett Riemannmanifold kallas en homogen nilmanifold om det finns en nilpotent grupp av isometrier som verkar transitivt på den. Kravet på att den transitiva nilpotenta gruppen verkar genom isometrier leder till följande stela karakterisering: varje homogen nilmanifold är isometrisk till en nilpotent Lie-grupp med vänsterinvariant metrik (se Wilson).
Nilmanifolds är viktiga geometriska objekt och uppstår ofta som konkreta exempel med intressanta egenskaper; i Riemannsk geometri har dessa utrymmen alltid blandad krökning, nästan platta utrymmen uppstår som kvoter av nilmanifolds, och kompakta nilmanifolds har använts för att konstruera elementära exempel på kollaps av Riemann-metrik under Ricci- flödet .
Utöver sin roll i geometrin ses nilmanifolds alltmer som att ha en roll i aritmetisk kombinatorik (se Green–Tao) och ergodisk teori (se t.ex. Host–Kra).
Kompakta nilmanifolds
Ett kompakt nilmanifold är ett nilmanifold som är kompakt. Ett sätt att konstruera sådana utrymmen är att börja med en enkelt sammankopplad nilpotent Lie-grupp N och en diskret undergrupp . Om undergruppen verkar kokompakt (via högermultiplikation) på N , så kommer kvotgrenröret att vara ett kompakt nollmanifold. Som Mal'cev har visat, erhålls varje kompakt nilmanifold på detta sätt.
En sådan undergrupp som ovan kallas ett gitter i N . Det är välkänt att en nilpotent Lie-grupp medger ett gitter om och endast om dess Lie-algebra medger en bas med rationella strukturkonstanter : detta är Malcevs kriterium. Inte alla nilpotenta Lie-grupper tillåter gitter; för mer information, se även MS Raghunathan .
Ett kompakt Riemann-nilmanifold är ett kompakt Riemann-grenrör som är lokalt isometriskt till en nilpotent Lie-grupp med vänsterinvariant metrik. Dessa utrymmen är konstruerade enligt följande. Låt vara ett gitter i en enkelt sammankopplad nilpotent Lie-grupp N , som ovan. Förse N med ett vänsterinvariant (Riemannsk) mått. Sedan verkar undergruppen N via vänstermultiplikation. Således är kvoten ett kompakt rum som är lokalt isometriskt med N . Notera: detta utrymme är naturligt diffeomorft till .
Kompakta nilmanifolds uppstår också som huvudbuntar . Tänk till exempel på en 2-stegs nilpotent Lie-grupp N som tillåter ett gitter (se ovan). Låt vara kommutatorundergruppen till N . Beteckna med p dimensionen för Z och med q samdimensionen för Z ; dvs dimensionen på N är p+q. Det är känt (se Raghunathan) att är ett gitter i Z . Följaktligen en p -dimensionell kompakt torus. Eftersom Z är central i N , verkar gruppen G på det kompakta nilmanifoldet med kvotmellanrum . Detta basgrenrör M är en q -dimensionell kompakt torus. Det har visat sig att varje huvudsaklig torusbunt över en torus är av denna form, se. Mer generellt är en kompakt nilmanifold en torusbunt, över en torusbunt, över...över en torus.
Som nämnts ovan är nästan platta grenrör intimt kompakta nilmanifolds. Se den artikeln för mer information.
Komplexa nilmanifolds
Historiskt sett betydde en komplex nilmanifold en kvot av en komplex nilpotent Lie-grupp över ett cocompact gitter . Ett exempel på en sådan nilmanifold är en Iwasawa-grenrör . Från 1980-talet ersatte en annan (mer allmän) föreställning om en komplex nilmanifold gradvis denna.
En nästan komplex struktur på en verklig Lie-algebra g är en endomorfism som kvadrerar till −Id g . Denna operator kallas en komplex struktur om dess egenrum, motsvarande egenvärden , är subalgebra i . I det här fallet I en vänsterinvariant komplex struktur på motsvarande Lie-grupp. Ett sådant grenrör ( G , I ) kallas en komplex grupp grenrör . Det är lätt att se att varje sammanhängande komplex homogen grenrör utrustad med en fri, transitiv, holomorf verkan av en verklig Lie-grupp erhålls på detta sätt.
Låt G vara en riktig, nilpotent Lie-grupp. En komplex nilmanifold är en kvot av en komplex gruppmanifold ( G , I ), utrustad med en vänsterinvariant komplex struktur, av ett diskret, kokompakt gitter, som verkar från höger.
Komplexa nilmanifolds är vanligtvis inte homogena, som komplexa sorter.
I komplex dimension 2 är de enda komplexa nilmanifolderna en komplex torus och en Kodaira-yta .
Egenskaper
Kompakta nilmanifolds (förutom en torus) är aldrig homotopiformella . Detta innebär omedelbart att kompakta nilmanifolds (förutom en torus) inte kan tillåta en Kähler-struktur (se även ).
Topologiskt kan alla nilmanifolds erhållas som itererade torusbuntar över en torus. Detta är lätt att se från en filtrering genom stigande centralserier .
Exempel
Nilpotent Lie-grupper
Från ovanstående definition av homogena nilmanifolds är det tydligt att varje nilpotent Lie-grupp med vänsterinvariant metrisk är en homogen nilmanifold. De mest välbekanta nilpotenta Lie-grupperna är matrisgrupper vars diagonala poster är 1 och vars nedre diagonala poster alla är nollor.
Till exempel är Heisenberg-gruppen en 2-stegs nilpotent Lie-grupp. Denna nilpotenta Lie-grupp är också speciell genom att den medger en kompakt kvot. Gruppen skulle vara de övre triangulära matriserna med integralkoefficienter. Den resulterande nilmanifolden är 3-dimensionell. En möjlig fundamental domän är (isomorf till) [0,1] 3 med ansiktena identifierade på ett lämpligt sätt. Detta beror på att ett element representeras av elementet i den grundläggande domänen. Här betecknar golvfunktionen för x , och \ bråkdelen . Golvfunktionens utseende här är en ledtråd till nilmanifoldernas relevans för additiv kombinatorik: de så kallade parentespolynomen, eller generaliserade polynomen, verkar vara viktiga i utvecklingen av högre ordnings Fourier-analys.
Abelian Lie-grupper
Ett enklare exempel skulle vara vilken abelsk Lie-grupp som helst. Detta beror på att varje sådan grupp är en nilpotent Lie-grupp. Till exempel kan man ta gruppen av reella tal under addition, och den diskreta, kokompakta undergruppen som består av heltal. Den resulterande 1-stegs nilmanifolden är den välbekanta cirkeln . Ett annat välbekant exempel kan vara det kompakta 2-torus eller euklidiska utrymmet under addition.
Generaliseringar
En parallell konstruktion baserad på lösbara Lie-grupper ger en klass av utrymmen som kallas solvmanifolds . Ett viktigt exempel på en solvmanifold är Inoue-ytor , kända inom komplex geometri .
- ^ Wilson, Edward N. (1982). "Isometrigrupper på homogena nilmanifolds". Geometriae Dedicata . 12 (3): 337–346. doi : 10.1007/BF00147318 . hdl : 10338.dmlcz/147061 . MR 0661539 .
- ^ Milnor, John (1976). "Krökningar av vänster invarianta mätvärden på Lie-grupper" . Framsteg i matematik . 21 (3): 293–329. doi : 10.1016/S0001-8708(76)80002-3 . MR 0425012 .
- ^ Gromov, Mikhail (1978). "Nästan platta grenrör" . Journal of Differential Geometry . 13 (2): 231–241. doi : 10.4310/jdg/1214434488 . MR 0540942 .
- ^ Chow Bennett; Knopf, Dan, Ricci-flödet: en introduktion. Mathematical Surveys and Monographs, 110. American Mathematical Society, Providence, RI, 2004. xii+325 s. ISBN 0-8218-3515-7
- ^ a b Grön, Benjamin ; Tao, Terence (2010). "Linjära ekvationer i primtal". Annals of Mathematics . 171 (3): 1753–1850. arXiv : math.NT/0606088 . doi : 10.4007/annals.2010.171.1753 . MR 2680398 .
- ^ Värd, Bernard; Kra, Bryna (2005). "Icke-konventionella ergodiska medelvärden och nilmanifolds" . Annals of Mathematics . (2). 161 (1): 397–488. doi : 10.4007/annals.2005.161.397 . MR 2150389 .
- ^ AI Mal'cev, på en klass av homogena utrymmen , AMS-översättning nr. 39 (1951).
-
^
Raghunathan, MS (1972). Diskreta undergrupper av Lie-grupper . Ergebnisse der Mathematik und ihrer Grenzgebiete. Vol. 68. New York-Heidelberg: Springer-Verlag. ISBN 978-3-642-86428-5 . MR 0507234 .
Kapitel II
- ^ Palais, RS; Stewart, TE Torus buntar över en torus. Proc. Amer. Matematik. Soc. 12 1961 26–29.
- ^ Keizo Hasegawa (2005). "Komplexa och Kähler-strukturer på Compact Solvmanifolds" . Journal of Symplectic Geometry . 3 (4): 749–767. MR 2235860 . Zbl 1120.53043 .
- ^ Keizo Hasegawa, Minimala modeller av nilmanifolds, Proc. Amer. Matematik. Soc. 106 (1989), nr. 1, 65–71.
- ^ Benson, Chal; Gordon, Carolyn S. (1988). "Kähler och symplektiska strukturer på nilmanifolds" . Topologi . 27 (4): 513–518. doi : 10.1016/0040-9383(88)90029-8 . MR 0976592 .
- ^ Sönke Rollenske, Geometry of nilmanifolds with left-invariant complex structure and deformations in the large , 40 pages, arXiv:0901.3120, Proc. London Math. Soc., 99, 425–460, 2009