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

I)

— пучок

ростков

непрерывных

сечений

в

непрерывном

векторном

расслоении

W

над

топологическим

пространством

X.

Канонический предпучок для (£(№) сопоставляет всякому от­

крытому множеству

U из

X

С-модуль

всех

непрерывных

сечений

для W над

U.

II)

21 (W) — пучок

ростков

гладких

сечений

для

гладкого

век­

торного расслоения

W над

гладким многообразием

X.

III)

Q(W)

— пучок

ростков

голоморфных

сечений

комплексно-

аналитического

векторного

расслоения

W

над

комплексным

мно­

гообразием

X.

Пучок (5(№) является тонким, если X паракомпактно. Пучок

%(W)

всегда

тонок. В обоих

случаях при'определении

пучковых

гомоморфизмов hi

(см. 2.11)

можно умножать

локальные сечения

на (непрерывные

или

гладкие)

функции

из разбиения

единицы.

Пусть

W — векторное

расслоение

над

X,

ассоциированное

расслоение Е

над X со структурной группой

й

слоем

GL(^, С),

ассоциированное

с \:

Слой

для

Е

над

л є і

есть

множество

всех

изоморфизмов

между фиксированным

векторным

пространством

Cq

и

слоем

Wx

в W над

х.

расслоения W

GL(q,

Векторные

со структурными

группами

R)

и GL+(q,

R)

и слоем

R9

(см. 0.9)

определяются

аналогично.

По­

горным,

таково же, как и в случае комплексного слоя.

3.6а.

Пусть

А

и

В — произвольные

конечномерные

векторные

пространства

над

полем

К. Прямая

сумма А © 5

и

тензорное

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

A <8> В

являются снова векторными

пространствами

над К размерности

dim (Л ф В) =

dim А + dim В и

dim(,4<8>B) =

= dim A -dim В.

Векторам

Й Є А , b^B

соответствуют

векторы

й ф і є Л

ф В

и

й й б є Л

Произведение а <8> b

линейно по

каждому множителю и векторное пространство А ® В

порождается

элементами

вида

а® Ь. Имеется

также

векторное

пространство

Н о т ( Л , Б ) над

К, элементами которого

являются

линейные ото­

По

определению

Л* = Н о т (Л, К);

как

хорошо известно,

Аш(А*)

— dim Л.

Определено

также

пространство

ЯМ

р-векторов.

Векторы

а р

а2,

а р е Л

определяют

вектор

ах/\а2/К...

... Л а р

є

А,М,

линейно

зависящий

от

каждого

аргумента. При

перестановке

векторов

аи

а2,

...,

ар

вектор

ах

Л

а2 Л . . . Л

ар

умножается

на

знак перестановки,

и а.\ Л а2

Л

. . . Л

ар = 0, если

два

множителя

совпадают.

Элементы

вида

а\ Л а2 Л . . . Л ар

и

порождают

№А.

Если

dxmA =

q,

то

d i m A , M = ( p ) .

(Подробнее

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

этих определений

из

мультилинейной

алгебры

см.

Б у р

б а к и

[1].)

3.6b. Пусть W — векторное

расслоение над X. Слой Wx

над точ­

кой х^Х

является

комплексным

векторным

пространством,

изо­

морфным стандартному слою Cq.

Пусть

W

— другое

векторное

расслоение над X со слоем W'x

и типичным

слоем СЧ' (см. 3.5).

Естественным образом

можно

определить

векторные

расслое­

ния

(сумму

Уитни W и

W),

W ® W

(тензорное произ­

ведение),

Hom(W, W),

W*

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

расслоение)

и

№W

(расслоение р-векторов).

Слоями

над

точкой

х у этих векторных

странства WX®W'X,

WX®W'X,

Horn (Г*,

W'x), W*x

и XPWX.

Век­

торное расслоение

№(W*)

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

р-форм на

W.

В

терминах

допустимых карт

U X Cq

для W

и U X <V

для

W

допустимой

картой

для

W ® W

является

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

U X (Cq ® Cq'). Координатные

преобразования для W, Wr индуци­

руют

естественным

образом

координатные

преобразования

для

W ® W.

Аналогично

и

в других

случаях.

Это общий принцип,

сформулированный

Милнором

(см. Л е н г [1], гл. I I I , § 4 или М ил-

н о р

[8]).

Если

W и

W

являются

оба

непрерывными,

гладкими

или

тическом

случаях.

Т е о р е м а

3.6.1.

Пусть

W,

W, W" — векторные

расслоения

над

X. Тогда

имеют место

изоморфизмы

(W © W)

© W" ~

W © (Wr © W"),

W © W as W

0

W,

(W ® W)

® W" <s W ® (W

® W"),

W ® W

as W

®

W,

(W 0

W)

®

as (W ® W") © (W ®

W"),

(W®W)'e*

W®W'\

(W ®W')*s*W

®W'\

Horn (W,

W)

as I T ® W",

(IT)* as

Г .

£с/ш

W

имеет

размерность

слоя,

равную

п,

то

для всех р,

0 < р < я ,

[xpwT

~

я р (№*)>

я" (г*) ® ЯР1Г as хп-р

(W*).

Для

доказательства

этой теоремы

см.

Б у р б а к и ,

Алгебра,

гл.

I I I , указатель

терминов,

Канонические

изоморфизмы.

І Ф 1 '

(сумму Уитни расслоений

| и £') и

GL(qq\

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

| <8> I '

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

расслоений

£ и £')•

Эти расслое­

тическими

соответственно рассматриваемому

случаю.

Пусть

W,

W — векторные

расслоения,

ассоциированные

с £

и £'. Тогда

£ 0 1 ' определяется

как

Gh(q

+ <?', С)-расслоение,

ассо­

циированное с

W ф U5". Оно

зависит только

от

£

и

£'. Пусть

U =

{Ut}{є/

— открытое

покрытие

пространства X, для

которого £

и £'

могут

быть представлены U-коциклами

(g^.},

{g^},

Si,

'• UІ

-> GL («7,

С),

g', : Ut

П tf, -

GL (<?',

C).

Тогда GL((7 +

<7',

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

£ © £ '

представляется

U-коцик-

лом

{hij},

где

М * ) =

(

о

^ w

j e G L ( 7

+ 9 ' ,

С)

• для

х є { / , п и , .

гї/ (*) = (яг/ (*))*є

G L fo> с )

« л я

х є

^ л и,

— матрица, симметричная

к обратной для

gi,{x).

Аналогично

определяется

как GL ((

р) > CJ-расслоение,

g\Pt(x) = gii(xf)^GL[(qp),

С) для

* є £ / , Л £ / /

.

— матрица миноров размера рХр

в матрице

gij{x).

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

ч т о

д а

е т

голоморфный гомоморфизм

ф р

группы

GL(<7, С) в GL (( ^ )»

с )

•

Тогда

кр1

представимо коцик­

лом

typ(gu).

Мы

будем писать

С* —GL-(1,

С). Ясно, что Я°| является три­

виальным С'-расслоением. Для

Oh(q, С)-расслоенйя

£

С*-расслое-

ние

%% представимо

U-коциклом

{g\f},

где

gff (х) —

определитель

матрицы gu(x),

x^UtftUj.

Определения этого пункта немедленно переносятся на QL(q,

R)-

и G L +

(q, ^-расслоения.

3.7.

В случае q=

1 группа

GL(1, С) = С* совпадает

с .мульти­

произведение g ® I ' двух С*-расслоений

| и £'

будет снова С*-рас-

слоением. Если

% и \ '

представимы

U-коциклами

{g^} и {g'{j}, то

| ® I ' представляется

U-коциклом

{g^g^}

(нигде

не

обращаю­

щиеся в нуль

комплексные функции

g{j,

g'tj

на

Ut f)

непре­

ваемого случая). Таким образом,

групповой операцией в Я 1

{Х,

С*),

н'(х, с;), Н1(Х, СІ) в смысле

теории пучков (см. 2.5

и

2.6)

ЯВЛЯеТСЯ ТеНЗОрНОе умножение. ЕСЛИ | ПреДСТаВИМО КОЦИКЛОМ

{gtj},

то обратный элемент £ - 1

есть С'-расслоение, представленное {g^}1 }.

На самом

деле,

£ _ 1

= | \

так что

| ® | * = 1 .

3.8. Мы приведем здесь несколько замечаний о С*-расслоениях,

рассматривавшихся

в 2.5.

Если

пространство

X

паракомпактно,

то имеет

место

точная

когомологическая

последовательность

. . . -+Н1{Х,

Сс)-*Н1{Х,

С * ) - > Я 2 ( Х ,

Z)^H\X,

Се)-> . . .

Согласно

сказанному в

2.11,

пучок Сс тонок,

поэтому

группы

ко-

гомологий

Н1(Х,

Сс )

и

Н2(Х,

Сс )

равны

нулю. Следовательно,

61

является изоморфизмом

между группой

непрерывных

С*-расслое-

Н]{Х, СІ)^Н1{Х,

с;)

из 3.1 (1)

есть изоморфизм.

Если

X — комплексное

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

то

имеет

место точная

последовательность

. . .

-> я 1 (х, с») -> я 1

(х, с ; И > Я 2

(X,

Z) -> Я 2

(X, C J .

Эта последовательность будет рассмотрена в

15.9,

ментальной теореме Б о р « л я [2] о когомологиях

классифицирую­

щих пространств. В п. 4.5 определены классы

Понтрягина для

непрерывных О (q) -расслоений.

ваться следующими

обозначениями.

Пусть L r есть

r-мерное

под­

пространство в Сд,

определенное

в

координатах Z\,

Z2, . . . , zq

ра­

венствами z r +

l = z r

+

2 = •••

=zq

=

0.

Обратимые

q X (7-матрицы,

отображающие

L r

в

себя,

образуют

подгруппу

GL(r, q — г; С)

группы GL(<7, С). Матрицы

из GL(r, q — г; С) имеют вид

где /4'<=GL(r, С), Л " є

GL(</ — г, С),

а

В — произвольная

комп­

лексная матрица с г строками

и q — г столбцами.

Аналогично

определяется

подгруппа

GL(r, q — г; R)

группы

GL(q, R). Матрицы из GL(r, q — г; R) имеют

указанный

выше вид,

где Л ' є GL(r, R), A"^GL(q—

г, R)

и

В — произвольная

веще­

ственная

<"Х(<7— О-матрица.

Обозначим

через GL+(r,

q — г; R)

подгруппу,

состоящую

из тех

Л є

GL(/', ? —

г; R),

для

которых

A'^GL+(r,

R),

A"^GL+(q—

г, R).

Факторпространство

®(г,д-

г,

С) =

GL (q,

C)/GL (г, q — г;

С) =

U (q)/{i

(г) XV

(q-r)

© (г,

q - г;

R) =

GL (q,

R)/GL (г, q — г; R) =

О (q)/0 (г) XO(q-

г),

© + ( r ,

q - r ,

R) =

GL+(q,

R)/GL+ (r, q - r ,

R)

=

=

SO (9 )/SO ( O X SO

{q-r)

странств в Rg и многообразие r-мерных линейных

ориентирован­

ных подпространств в R? соответственно.

Обратимые

комплексные

q X «/-матрицы,

отображающие

L r

в себя для

всех

г, образуют

подгруппу Д(<7, С) группы

GL{q,

С).

Ясно, что Д(<7, С) состоит из

всех треугольных

матриц из

GL{q,

С)

(матриц, у которых коэффициенты ниже диагонали равны 0).

Группа

Т? =

Д(<7, С) Л U(<7)

унитарных

диагональных

матриц

представляет собой

(/-мерный

тор;

F(q)

=

GL(q,

С)'/Д(q, С)

=

— V(q)lTq

является

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

флагов

в Сд.

Всякий

такой