02.01.2015 Views

Теория Ходжа на приблизительно кэлеровых ... - Imperium

Теория Ходжа на приблизительно кэлеровых ... - Imperium

Теория Ходжа на приблизительно кэлеровых ... - Imperium

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!