Файл: Хирцебрух Ф. Топологические методы в алгебраической геометрии.pdf

Т(Мп,

ХРЮ) = Тр(Мп).

(7)

Рассмотрим, далее,

тензорное

произведение

расслоения

Яр (6*)

с \ .

Рациональное

число

Т (Мп, Кр (9*) ® £)

обозначим

через

Г Р (М„, | ) и положим

ТУ(МП,1)=%ТР(МП,1)УР.

(8)

Ту(Мп,

£) называется

Т^-характеристикой

GL(<7, С)-расслоения £

над М л . Из равенств

(2) и 10.1 (4) следует, что

Тр

(Мп, £) = х„ [ch (|) ch (lp (9*)) td (9 (M„))].

(9)

Тривиальное

обобщение

вычисления, использованного

в 1.8

для доказательства формулы

(15), дает

i e

^

^ f

S M j r . r

, ,

•••• с,)]

(Ю)

fc=i

/ \ / = о

Заменяя

в формуле

(10) у на

и умножая обе части равенства

на

(— у)п,

найдем, что правая

часть

(10) перейдет

в

S e - "+")«l)(Sr / ( y ; C l , . . . , * /

)

и

с помощью теоремы 4.4.3,1)

получим

формулу

двойственности

ynTL{Mn,

1) = {-\)пТу{Мп,

Г) .

У

Следовательно,

тр(мп,

і) = {-\)птп-"{мп,

Г) .

(її )

В частности, при р = 0

Т(МЯ,

| ) = ( - 1 ) " Г ( М „ , Г

(8*)® 6*).

(12)

Обратно (11) можно

вывести

из (12): заменим в (12) | на 1®ЯР (9*)

и вспомним, что Я Я (9)®(|®Я Р

(9*))*==Г®Я"(9*)®ЯР (Є)=Г®Г-/ '(Є*).

Расслоение Я" (9*) является

С*-расслоением и называется

кано­

ническим

С*-расслоением

для Мп.

По теореме

4.4.3 его класс

Чженя

равен 1 — ct (М„). •

Для

расслоения

| над А/„ с формальными корнями Ь ь

bq

положим

ch(,) (|) = e{i+y)

e' +

• •. + е(і+у)

6ч є= Я* (Aln , Z) ® Q.

= ch( i / ) (I) • ch(i,) (g')'> и

з

этих соотношений

следует, что

7\,(М„,

1 0 1 ' ) =

^

(Л<д,

+

1%

(13)

Г , ( У „ Х ^ ,

Г(1)®г, (т1)) = Г , ( У | Р

£ ) Г „ ( Г т >

ті).

(14)

В равенствах (13) и (14) мы воспользовались

теми

же'обозна­

чениями, что и в равенствах

(5) и (6) из 12.1.

12.3.

Пусть I есть Oh(q,

С)-расслоение над Мп. Для vit

vr є

є Я 2 ( М „ ,

Z)

можно

определить виртуальную

/^-характеристику

для

£ относительно

виртуального

подмногообразия

(vh

vr)

(ср. 11.2). Обобщением равенства 11.2(7) является

следующее

определение:

Ty(vu

vr

І, І).

ch( j / )

(S) П R (у;

vt)

2

Т,

{у;

с, (Мя),

...)

.(15)

м •

і=1

/=0

Как

и

в

11.1, мы

М,

если

ясно,

будем

опускать

индекс

о каком

многообразии

идет речь. Если

І — тривиальное

GL(<7, С)-

расслоение, то Ty(vu

vr\,

Q = qTy{vu

vr).

Естественно,

при у = 0 мы будем

писать

Г 0 (о„

. . . . vr\,

| ) =

Г(о „

or |,

6)

и называть Г ( У ь

ог

|, £) виртуальной

7'-характеристикой.

Обобщением

теоремы

11.2.1

является

следующая

Т е о р е м а

12.3.1.

Пусть

! / „ _ , — почти комплексное

подмного­

образие многообразия

Мп, /: Vn-l

-»• Mn —вложение и v^H2(Mn,

Z)—

класс

когомологий,

соответствующий Vn-\.

Пусть,

далее, заданы

элементы

v2

vr

є= Н2 (Мп,

Z). Наконец,

пусть

|

— G L ^ , С)-

р'асслоение

над

Мп.

Тогда

Ty(j*v2,

/ 4 1 , У*6)и =

^ ( о , о2 >

и,|, | ) ж .

В частности,

Ty(Vn-»

j%) =

Ty{v

I,

|

V

Функциональное уравнение из теоремы 11.3.1 также может

быть

перенесено на

случай

виртуальной

Г-характеристики.

Т е о р е м а

12.3.2.

В

обозначениях

теоремы

11.3.1

пусть

| —

GL(<7, СУрасслоение

над

Мп.

Тогда

Ty{Vi,

vr,u

+ v\, l)M

=

Ty(vl,

vr,

и\, l)M

+

+

Ty(vu

vr, v\,

l)M

+

(y — l)Ty(vt

vn

u, v I, l)M

—

— yTy{vx,

...,

vr,

u,

v,

и -\- v

\,

l)M.

скобках

в

формуле

(15),

из которого виртуальная

^-характери­

стика

получается

применением

х„,

всегда

содержит

множитель

ch( V )£.

vr\,l)M

п — г

по у

Ty(v\,

является

многочленом

степени

с рациональными

коэффициентами. Он равен тождественно 0, если

г >

п. Если г =

п, то

Ty(vu

о „ | , | ) м = < / - ( О і ,

o „ [ A f „ ] ) .

Для

виртуальных

подмногообразий

выполняется

также

и

фор­

мула двойственности:

,

y«-'T±{vu

vr\,

t)M

=

(-l)n-r

Ty(vu . . . .

(16)

У

Т е о р е м а

12.3.3. Пусть

ц — С*-расслоение

над

Мп

с

классом

Чженя

1 + v,

v є

Я 2

(М„,

Z).

Яг/сгб £ — GL (q,

С)-расслоение

над

Мп

и

vu

vr

—элементы

из

Н2(Мп,

Z). Тогда

имеет

место

формула

Ту (о,, • • •,

»r I. Юм =

^ у

(°ь

• • •,

vr,v\,

l)M

+

+

Ту (vh

vr

I, I ® r r % +

У^Л0 »»

• • •' v"

v

І» І ® T ' W

Д о к а з а т е л ь с т в о .

В

формуле для

виртуальной

^ - харак ­

теристики

(15)

выражение

в квадратных

скобках содержит мно-

00

житель

^EiTj(y;

Ci(Mn),

. . . ) . Этот

множитель

является

одним

и

тем

же для всех

четырех

членов

доказываемого

равенства. Ана-

т

логично все четыре члена содержат общее произведение Ц R(y;

vt),

а так как chiy)

(I ® Г]- 1 ) = ch{y)

(l)chiy)

(ті)-

,

то также и множи­

тель

ch^d). Поэтому

достаточно

доказать,

что

1 =

R (у; х) +

ch(„) (ті"1) +

yR (у; v) ch(y)

(тр

Ho

ch{j,) (т)- 1 ) =

e~(l+y)

°,

поэтому

предыдущее

равенство

следует

из

11.1 (2).

Рассмотрим

теперь частный случай

предыдущей

теоремы,

когда

г =

0. Пусть

класс

когомологий

v е

Н2(Мп,

Z) соответствует

почти

комплексному

подмногообразию

V n _ i многообразия

М п ,

и

пусть

/ — отображение

вложения;

далее,

пусть

х\— С*-расслоение

над

Мп

с классом

Чженя

1 +

v. Тогда

по теореме

12.3.1

Ту(Мп, l) = Ts(Vn.lt

П) + Ту(Мп, | ® т г ' ) +

+

yT8(Va-u

Г(1®Ц-1)).

(17)

Сравнивая

коэффициенты,

получим

Тр(Мп,

!)

=

- = r p ( V . - „

/*|) +

Г р (Л1 я >

S ® r f I

) +

r p - 1 0 / * - i ,

/ ' ( б ® Л"'))-

(18)