Ãåîìåòðè÷åñêèå ìåòîäû ∗ â òåîðèè êîíå÷íûõ ãðóïï. Ëåêöèÿ 3. 1 Ëåììà î ñëîÿõ Êâèëëåíà. Íåðâ ïîêðûòèÿ.  íàøåì íàáîðå ãîìîòîïè÷åñêèõ èíñòðóìåíòîâ äëÿ ðàáîòû ñ ×ÓÌàìè íå õâàòàåò åùå îäíîãî î÷åíü âàæíîãî èíñòðóìåíòà: (î ñëîÿõ Êâèëëåíà). Ïóñòü P è Q ×ÓÌû, è f : P → Q ìîðôèçì ×ÓÌîâ1 . Îáîçíà÷èì ÷åðåç Q≤y âñå ýëåìåíòû èç Q, íå ïðåâîñõîäÿùèå äàííîãî y ∈ Q. Åñëè äëÿ ëþáîãî y ∈ Q ïðîñòðàíñòâî f −1 (Q≤y ) ñòÿãèâàåìî, òî P è Q ãîìîòîïè÷åñêè ýêâèâàëåíòíû, è, áîëåå òîãî, f åñòü ãîìîòîïè÷åñêàÿ ýêâèâàëåíòíîñòü2 . Òåîðåìà 1.1 Äëÿ äîêàçàòåëüñòâà òåîðåìû Êâèëëåíà î ñëîÿõ íàì ïîòðåáóåòñÿ îäíà íå ñëîæíàÿ ëåììà èç ãîìîòîïè÷åñêîé òîïîëîãèè. Ïóñòü ∆ ñèìïëèöèàëüíûé êîìïëåêñ, à T ïðîèçâîëüíîå òîïîëîãè÷åñêîå ïðîñòðàíñòâî. Ðàññìîòðèì ïðîèçâîëüíîå îòîáðàæåíèå C : ∆ → 2T , êîòîðîå êàæäîìó ñèìïëåêñó σ ∈ ∆ ñòàâèò â ñîîòâåòñòâèå íåêîòîðîå ïîäìíîæåñòâî C(σ) â T . Åñëè C îáëàäàåò òåì ñâîéñòâîì, ÷òî èç σ1 ⊆ σ2 ñëåäóåò C(σ1 ) ⊆ C(σ2 ), òî C íàçûâàåòñÿ íîñèòåëåì. Ïóñòü f : ∆ → T íåïðåðûâíîå îòîáðàæåíèå. Íîñèòåëü C íàêðûâàåò f , åñëè f (σ) ⊆ C(σ) äëÿ ëþáîãî ñèìïëåêñà σ èç ∆ Îïðåäåëåíèå 1.1. ∗ Çàíÿòèÿ ïðîõîäÿò ïî âòîðíèêàì â 18-30 â àóä. 12-12. 1 Òî åñòü 2 Êàê f óâàæàåò ÷àñòè÷íûé ïîðÿäîê: x ≤ y ⇒ f (x) ≤ f (y). óæå îòìå÷àëîñü ðàíåå, êîíñòðóêöèÿ Àëåêñàíäðîâà ïîçâîëÿåò ïðèìåíÿòü òî- ïîëîãè÷åñêèå ïîíÿòèÿ ê ×ÓÌàì. Íàïðèìåð, åñëè ∆P è ∆Q ãîìîòîïè÷åñêè ýêâèâàëåíòíû. 1 P è Q ãîìîòîïè÷åñêè ýêâèâàëåíòíû, Ìû áóäåì ãîâîðèòü, ÷òî íîñèòåëü C ñòÿãèâàåìûé, åñëè ëþáîå èç ìíîæåñòâ C(σ) ñòÿãèâàåìî. Ëåììà 1.1 Òîãäà (î íîñèòåëå). Ïóñòü C : ∆ → T ñòÿãèâàåìûé íîñèòåëü. 1. Ñóùåñòâóåò íåïðåðûâíîå îòîáðàæåíèå f : ∆ → T , íàêðûâàåìîå íîñèòåëåì C . 2. Åñëè f è g íàêðûâàþòñÿ C , òî îíè ãîìîòîïíû. Äîêàçàòåëüñòâî. Íà÷íåì ñ ïåðâîãî ïóíêòà è áóäåì ñòðîèòü îòîáðàæåíèå f ïî èíäóêöèè ñëåäóþùèì îáðàçîì: îáîçíà÷èì ÷åðåç ∆k k îñòîâ ñèìïëèöèàëüíîãî êîìïëåêñà ∆, òî åñòü îáúåäèíåíèå âñåõ ñèìïëåêñîâ, ðàçìåðíîñòè íå áîëüøå k . Ïîñòðîèì f íà ∆0 : äëÿ ëþáîé âåðøèíû v ∈ ∆0 ìíîæåñòâî C(v) íå ïóñòî (òàê êàê ñòÿãèâàåìî). Ïîëîæèì f ïåðåâîäèò v â ëþáóþ òî÷êó èç C(v). Ïóñòü òåïåðü îòîáðàæåíèå f ïîñòðîåíî íà k îñòîâå ∆k . Ïðîäîëæèì åãî íåïðåðûâíî íà k + 1 îñòîâ. Ïóñòü σ ∈ ∆k+1 ïðîèçâîëüíîé ñèìïëåêñ ðàçìåðíîñòè k + 1. Îòîáðàæåíèå f óæå ïîñòðîåíî íà åãî ãðàíèöå ∂σ .  ñèëó òîãî, ÷òî C íîñèòåëü, ïîëó÷àåì, ÷òî f (∂σ) ⊆ C(σ). Òàê êàê ìíîæåñòâî C(σ) ñòÿãèâàåìî, òî ñóùåñòâóåò ñòÿãèâàþùàÿ ãîìîòîïèÿ Φ : [0; 1] × C(σ) → C(σ), Φ(0, y) = y è Φ(1, y) = y0 . Ìû ìîæåì ñ÷èòàòü, ÷òî ∆ ýòî êîíóñ íàä ñâîåé ãðàíèöåé, à âåðøèíîé êîíóñà ÿâëÿåòñÿ êàêàÿ-íèáóäü ôèêñèðîâàííàÿ âíóòðåííÿÿ òî÷êà x0 . Èòàê, ëþáàÿ òî÷êà x ∈ σ åñòü ïàðà (t, x0 ), ãäå x0 ∈ ∂σ , à t ∈ [0, 1] (åñëè x = x0 , òî t = 1 è òî÷êà x0 íå âàæíà). Ïðîäîëæèì f íà âíóòðåííîñòü σ ñëåäóþùèì îáðàçîì: f (x) = Φ(t, f (x0 )). Ïðîâåðêó êîððåêòíîñòè ïîñòðîåíèÿ è íåïðåðûâíîñòè f îñòàâëÿåì ÷èòàòåëþ. Äîêàçàòåëüñòâà ïåðâîãî è âòîðîãî ïóíêòîâ ëåììû íå ñèëüíî îòëè÷àþòñÿ äðóã îò äðóãà: ÷òîáû ïîêàçàòü, ÷òî f è g ãîìîòîïíû, íåîáõîäèìî ïîñòðîèòü ãîìîòîïèþ Ψ : [0; 1] × ∆ → T , ñîâïàäàþùóþ ñ f ïðè t = 0 è ñîâïàäàþùóþ ñ g ïðè t = 1. Ïîñòðîåíèå îòîáðàæåíèÿ Ψ ïðîâîäèòñÿ àíàëîãè÷íûì îáðàçîì. Äîêàçàòåëüñòâî (òåîðåìû î ñëîÿõ Êâèëëåíà). Ïîêàæåì, ÷òî ∆f åñòü ãîìîòîïè÷åñêàÿ ýêâèâàëåíòíîñòü ∆P è ∆Q. Äëÿ ýòîãî ïîñòðîèì îòîáðàæåíèå g : ∆Q → ∆P , òàêîå, ÷òî ∆f ◦ g ∼ id∆Q è g ◦ ∆f ∼ id∆P . 2 1. Ðàññìîòðèì îòîáðàæåíèå C : ∆Q → 2∆P , C(σ) = f −1 (Q≤max(σ) ), ãäå σ = (y0 < y1 < . . . < yn ), yi ∈ Q. Î÷åâèäíî, ÷òî C íîñèòåëü. Òàê êàê ïî óñëîâèþ òåîðåìû f −1 (Q≤y ) ñòÿãèâàåìî äëÿ ëþáîãî y , òî íîñèòåëü C ñòÿãèâàåì. Çíà÷èò, ïî ïðåäûäóùåé ëåììå ñóùåñòâóåò îòîáðàæåíèå g : ∆Q → ∆P , íàêðûâàåìîå C . 2. Ðàññìîòðèì îòîáðàæåíèå C 0 : ∆Q → 2∆Q , C 0 (σ) = Q≤max(σ) . Î÷åâèäíî, ÷òî C 0 ñòÿãèâàåìûé íîñèòåëü. Áîëåå òîãî îòîáðàæåíèÿ id∆Q è ∆f ◦ g èì íàêðûâàþòñÿ. Ñëåäîâàòåëüíî, ∆f ◦ g ∼ id∆Q . 3. Ðàññìîòðèì îòîáðàæåíèå C 00 : ∆P → 2∆P , C 00 (σ) = f −1 Q≤max f (σ) . C 00 ÿâëÿåòñÿ íîñèòåëåì, è ïî óñëîâèþ òåîðåìû îí ñòÿãèâàåì. Íåòðóäíî âèäåòü, ÷òî îáà îòîáðàæåíèÿ g ◦ ∆f è id∆P èì íàêðûâàþòñÿ, ÷òî è òðåáîâàëîñü. Èñïîëüçóÿ òåîðåìó î ñëîÿõ Êâèëëåíà ìû ñìîæåì áåç òðóäà äîêàçàòü íàïðèìåð òåîðåìó Áîðñóêà î íåðâå ïîêðûòèÿ èç îáùåé òîïîëîãèè. Íà÷íåì, ïðàâäà, ñ áîëåå ïðîñòîãî ôàêòà, ÷òîáû ïî÷óâñòâîâàòü, êàê ðàáîòàåò ýòà òåîðåìà : Ïóñòü P ×ÓÌ, è Q ⊆ P . Åñëè äëÿ ëþáîãî x ∈ Q ìíîæåñòâî P<x = P≤x \ {x} ñòÿãèâàåìî, òî P è P \ Q ãîìîòîïè÷åñêè ýêâèâàëåíòíû3 . Ëåììà 1.2. Äîêàçàòåëüñòâî. Ïîñòðîèì ñåðèþ ×ÓÌîâ P = P 0 ⊇ P 1 ⊇ . . . ⊇ P n = P \ Q, è äîêàæåì, ÷òî ×ÓÌû P k è P k+1 ãîìîòîïè÷åñêè ýêâèâàëåíòíû. ×ÓÌ P ïîëó÷àåòñÿ èç P k óäàëåíèåì ìàêñèìàëüíûõ ýëåìåíòîâ ×ÓÌà P k ∩ Q. Î÷åâèäíî, ÷òî ÷åðåç êîíå÷íîå ÷èñëî øàãîâ ìû äîéäåì äî P \ Q. Ïîêàæåì, ÷òî P k+1 ∼ P k . Îòîáðàæåíèå f : P k+1 → P k åñòü òîæäåñòâåííîå âëîæåíèå. Ïîêàæåì, ÷òî f óäîâëåòâîðÿåò òåîðåìå î ñëîÿõ k+1 k Êâèëëåíà. Ïóñòü y ∈ P k . Åñëè y ∈ P k+1 , òî f −1 (P≤y ) = P≤y , è, ñëåäîâà−1 k k+1 òåëüíî, ìíîæåñòâî f (P≤y ) ñòÿãèâàåìî. Åñëè æå y ∈ / P , òî y ∈ Q è k+1 3 ýòîé ëåììå êàê âåçäå â ëåêöèÿõ, ×ÓÌ P ïðåäïîëàãàåòñÿ êîíå÷íûì. Íà ñàìîì æå äåëå â ýòîé ëåììå äîñòàòî÷íî ïîòðåáîâàòü, ÷òîáû ×ÓÌ öåïåé. 3 P íå èìåë áåñêîíå÷íûõ k = P<y â ñèëó ïîñòðîåíèÿ ìíîæåñòâ y ìàêñèìàëåí â P k ∩ Q. Çíà÷èò P<y k −1 k P . Áîëåå òîãî, f (P≤y ) = P<y ñòÿãèâàåìî ïî óñëîâèþ ëåììû. ×òî è òðåáîâàëîñü. Òàêèì îáðàçîì, èç ëþáîãî ×ÓÌà ìîæíî âûêèíóòü òå ýëåìåíòû, ×ÓÌ ïîä êîòîðûìè ñòÿãèâàåì (èëè íàä êîòîðûìè ñòÿãèâàåì). (Òåîðåìà îá èäåàëüíîì îòíîøåíèè Êâèëëåíà). Ïóñòü P è Q ×ÓÌû, à R ⊆ P × Q èäåàëüíîå îòíîøåíèå, òî åñòü èç (x0 , y 0 ) ≤ (x, y) è (x, y) ∈ R ñëåäóåò, ÷òî (x0 , y 0 ) ∈ R. Äîêàçàòü, ÷òî åñëè ìíîæåñòâà Rx = {y ∈ Q : (x, y) ∈ R} è Ry = {x ∈ P : (x, y) ∈ R} ñòÿãèâàåìû äëÿ âñåõ x ∈ P è y ∈ Q, òî P , Q è R ãîìîòîïè÷åñêè ýêâèâàëåíòíû. Óïðàæíåíèå 1.1 Ïóñòü òåïåðü íåêîòîðîå òîïîëîãè÷åñêîå ïðîñòðàíñòâî T ïîêðûòî íåïóS ñòûìè ìíîæåñòâàìè Ui ⊆ T , ãäå i ∈ I : T = i∈I Ui . Íåðâîì ïîêðûòèÿ Ui íàçûâàåòñÿ ñèìïëèöèàëüíûé êîìïëåêñ N (Ui ), âåðøèíàìè êîòîðîãî âûñòóïàþò ýëåìåíòû ìíîæåñòâà I , à ìíîæåñòâî {i1 , i2 , . . . , ik } îáðàçóåò ñèìïëåêñ, åñëè Ui1 ∩ Ui2 ∩ . . . ∩ Uik 6= ∅. (Áîðñóêà î íåðâå). Ïóñòü ∆ ñèìïëèöèàëüíûé êîìïëåêñ à Ui , i ∈ I åãî ëîêàëüíî êîíå÷íîå ïîêðûòèå. Åñëè êàæäîå èç ïåðåñå÷åíèé Ui1 ∩Ui2 ∩. . .∩Uik 6= ∅ ëèáî ïóñòî, ëèáî ñòÿãèâàåìî, òî ñèìïëèöèàëüíûé êîìïëåêñ ∆ è íåðâ N (Ui ) ãîìîòîïè÷åñêè ýêâèâàëåíòíû. Òåîðåìà 1.2 Ìû ïðîâåäåì äîêàçàòåëüñòâî ýòîé òåîðåìû ïðè áîëåå ñèëüíûõ óñëîâèÿõ: êàê âñåãäà ñèìïëèöèàëüíûé êîìïëåêñ ∆ ïðåäïîëàãàåòñÿ êîíå÷íûì. Êðîìå òîãî ìû áóäåì ðàññìàòðèâàòü òîëüêî êîíå÷íûå ïîêðûòèÿ |I| < ∞ è ñ÷èòàòü, ÷òî êàæäîå èç Ui åñòü ïîäêîìïëåêñ â ∆. Äîêàçàòåëüñòâî. Ðàññìîòðèì ×ÓÌû P (∆) è P N (Ui ) ãðàíåé ∆ è N (Ui ), óïîðÿäî÷åííûõ ïî âëîæåíèþ. Åñòåñòâåííûì îáðàçîì âîçíèêàåò ìîðôèçì f : P (∆) → P N (Ui ) òàêîé, ÷òî äëÿ ëþáîé ãðàíè σ ∈ P (∆) èìååì f (σ) = {i ∈ I : σ ⊆ Ui }. Âîîáùå ãîâîðÿ, îòîáðàæåíèå f íå ñîõðàíÿåò ïîðÿäîê, à îáðàùàåò åãî (x ≤ y ⇒ f (x) ≥ f (y)). Îäíàêî, ýòî íå èìååò çíà÷åíèÿ, òàê êàê ìû ñîâåðøåííî áåçáîëåçíåííî ìîæåì èçìåíèòü ïîðÿäîê íà ïðîòèâîïîëîæíûé â ëþáîì èç äâóõ ×ÓÌîâ (íå áóäåì ýòîãî äåëàòü, ÷òîáû èçáåæàòü ïóòàíèöû). 4 Ïîêàæåì, ÷òî ìîðôèçì f óäîâëåòâîðÿåò òåîðåìå Êâèëëåíà î ñëîÿõ: −1 ïóñòü K ∈ N (Ui ), òîãäà f P N (Ui ) ≥K ñîñòîèò èç òåõ ãðàíåé ∆, ÷òî ëåæàò â êàæäîì U i ïðè i ∈ K , è ìîæåò áûòü åùå â êàêèõ-òî Ui . T Èòàê, f −1 P N (Ui ) ≥K = i∈K Ui â ñèëó òîãî, ÷òî Ui ïîêðûòèå. Ýòî Ìíîæåñòâî íå ïóñòî, òàê êàê K ∈ N (Ui ), çíà÷èò, îíî ñòÿãèâàåìî ïî óñëîâèþ òåîðåìû. Ñëåäîâàòåëüíî, f óäîâëåòâîðÿåò óñëîâèÿì òåîðåìû Êâèëëåíà. ×ÓÌû P (∆) è P N (Ui ) ãîìîòîïè÷åñêè ýêâèâàëåíòíû. Îñòàëîñü âñïîìíèòü, ÷òî ∆(P (∆)) åñòü áàðèöåíòðè÷åñêîå ïîäðàçáèåíèå ∆, òî åñòü ∆ è ∆(P (∆)) ãîìåîìîðôíû. Àíàëîãè÷íî äåéñòâóåì ñ N (Ui ). Åñëè â êà÷åñòâå ïîêðûòèÿ ∆ âçÿòü âñå ñèìïëåêñû ∆, òî íåðâ N (Ui ) áóäåò â òî÷íîñòè áàðèöåíòðè÷åñêèì ïîäðàçáèåíèåì ∆.  ýòîì ñëó÷àå ∆ è N (Ui ) íå òîëüêî ãîìîòîïè÷åñêè ýêâèâàëåíòíû, íî è ãîìåîìîðôíû. Åñëè æå â êà÷åñòâå ïîêðûòèÿ ∆ âçÿòü âñå ìàêñèìàëüíûå ñèìïëåêñû, òî óòâåðæäåíèå òåîðåìû Áîðñóêà ñîâïàäåò ñ èçâåñòíûì íàì ôàêòîì ïîäðåøåòêå ïåðåñå÷åíèé ìàêñèìàëüíûõ ýëåìåíòîâ. Ïðåäëîæèòü ïîêðûòèå äâóìåðíîé ñôåðû S 2 , óäîâëåòâîðÿþùåé òåîðåìå Áîðñóêà. Óïðàæíåíèå 1.2. 5