Теория Ходжа на приблизительно кэлеровых ... - Imperium
Теория Ходжа на приблизительно кэлеровых ... - Imperium
Теория Ходжа на приблизительно кэлеровых ... - Imperium
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Òåîðèÿ Õîäæà íà ìíîãîîáðàçèÿõ Ãðýÿ Ì. Âåðáèöêèé, 27 îêòÿáðÿ 2005<br />
Øàã 3: Î÷åâèäíî,<br />
{{D ∗ , L a }, L b } ∗ = D1,<br />
∗<br />
ãäå D 1 := {{D, Λ a }, Λ b }. Èç Óòâåðæäåíèÿ 6.6 è (6.2) ñëåäóåò, ÷òî D 1 <br />
àëãåáðàè÷åñêèé äèôôåðåíöèàëüíûé îïåðàòîð ïåðâîãî ïîðÿäêà (ýòî êîììóòàòîð<br />
íåñêîëüêèõ äèôôåðåíöèàëüíûõ îïåðàòîðîâ ïåðâîãî ïîðÿäêà). Åñëè a, b ∈<br />
Λ 1 (M), òî D 1 ïîíèæàåò ñòåïåíü íà 1. Â ñèëó Óòâåðæäåíèÿ 6.3, D 1 äèôôåðåíöèðîâàíèå.<br />
ßñíî, ÷òî äèôôåðåíöèðîâàíèå, êîòîðîå çàíóëÿåòñÿ íà Λ 0 (M), C ∞ (M)-ëèíåéíî.<br />
Ïîýòîìó â ýòîé ñèòóàöèè D 1 C ∞ (M)-ëèíåéíî.<br />
Èç Ëåììû 6.9 âûòåêàåò, ÷òî êîììóòàòîð D 1 ñ Λ c çàíóëÿåòñÿ, äëÿ âñåõ<br />
c ∈ Λ 1 (M):<br />
{D 1 , Λ c } = 0 (6.5)<br />
Îïåðàòîð D1 ∗ = {{D ∗ , L a }, L b } C ∞ (M)-ëèíåéíûé (áóäó÷è ñîïðÿæåííûì<br />
ê D 1 ), è êîììóòèðóåò ñ ëþáûì L a , êàê ñëåäóåò èç (6.5). Ïîýòîìó D1<br />
∗ <br />
Λ ∗ (M)-ëèíåéíûé. Ýòî äîêàçûâàåò (6.4) äëÿ a, b ∈ Λ 1 (M).<br />
Øàã 4: Î÷åâèäíî, L a = Λ a , åñëè a ∈ Λ 0 (M). Òîãäà<br />
{{D ∗ , L a }, L b } = {{D ∗ , Λ a }, Λ b } = {{D, L a }, L b } ∗ = 0, (6.6)<br />
ïîñêîëüêó D äèôôåðåíöèàëüíûé îïåðàòîð ïåðâîãî ïîðÿäêà. Ìû äîêàçàëè<br />
(6.4) äëÿ a, b ∈ Λ 0 (M).<br />
Øàã 5: Ïîñêîëüêó àëãåáðà Λ ∗ (M) ñóïåðêîììóòàòèâíà, {L a , L b } = 0 äëÿ<br />
âñåõ a, b ∈ Λ ∗ (M). Èñïîëüçóÿ ñóïåðêîììóòàòèâíóþ âåðñèþ ñîîòíîøåíèÿ<br />
ßêîáè, ìû ïîëó÷àåì<br />
{{D ∗ , L a }, L b } = (−1)ã˜b{{D ∗ , L b }, L a }, (6.7)<br />
äëÿ âñåõ a, b. Íà øàãå 3 è 4 ìû äîêàçàëè (6.4) äëÿ âñåõ a, b ∈ Λ 1 (M), a, b ∈<br />
Λ 0 (M). Â ñèëó (6.7), ÷òîáû äîêàçàòü 6.8 îñòàåòñÿ óáåäèòüñÿ, ÷òî îïåðàòîð<br />
{{D ∗ , L a }, L b } Λ ∗ (M)-ëèíååí äëÿ a ∈ Λ 0 (M), b ∈ Λ 1 (M).<br />
Øàã 6:  ýòîì ñëó÷àå,<br />
{D ∗ , L a } = {D ∗ , Λ a } = {D, L a } ∗ = L ∗ D(a) = Λ D(a).<br />
Îáîçíà÷èì çà g òåíçîð ðèìàíîâîé ìåòðèêè íà M. Òîãäà<br />
{{D ∗ , L a }, L b } = {Λ D(a) , L b } = g(D(a), b),<br />
ïîñêîëüêó Λ D(a) ïîäñòàíîâêà äâîéñòâåííîãî âåêòîðíîãî ïîëÿ D(a) ♯ . Ïîýòîìó<br />
{{D ∗ , L a }, L b } ñêàëÿðíàÿ ôóíêöèÿ, à ñëåäîâàòåëüíî, ýòîò îïåðàòîð Λ ∗ (M)-<br />
ëèíåéíûé. Ïðåäëîæåíèå 6.8 äîêàçàíî.<br />
Áëàãîäàðíîñòè: Àâòîð ïðèçíàòåëåí Ðîáåðòó Áðàéàíòó è Ïîëó-Àíäè<br />
Íàäþ çà ïîó÷èòåëüíóþ ïåðåïèñêó. Ï.-À. Íàäþ ïðèíàäëåæèò èäåÿ äîáàâèòü<br />
â òåêñò ñòàòüè Çàìå÷àíèå 5.4.<br />
20