Бесплатно скачать, заказать диплом, курсовую, диссертацию Некоторые аспекты теории ориентированный (ко)гомологии

У нас уже 176407 рефератов, курсовых и дипломных работ

Сделать закладку на сайт

Заказать диплом, курсовую, диссертацию

Быстрый переход к готовым работам

Мнение посетителей:

Книга жалоб
и предложений

Название	Некоторые аспекты теории ориентированный (ко)гомологии

Количество страниц	82

ВУЗ	МГИУ

Год сдачи	2010

Бесплатно Скачать	23539.doc

Содержание	Содержание Введение...5 0.1 Терминология и обозначения ... 8 1 Ориентированные теории когомологий 10 1.1 Теории когомологий... 10 1.1.1 Основные определения... 10 1.1.2 Основные свойства теорий когомологий... 12 1.2 Классы Черна и Тома... 14 1.2.1 Структуры Черна и классы Черна... 14 1.2.2 Классы Тома... 16 1.2.3 Ориентирования... 18 1.3 Структуры следа... 19 1.3-1 Определение структуры следа... 19 1.3.2 Структуры Гизина... 20 1.3.3 Отображение Квиллена ... 21 1.3.4 Конструкция структуры следа... 22 2 Ориентированные теории гомологии 23 2.1 Теории гомологии... 23 2.1.1 Определение... 23 2.1.2 Основные свойства теорий гомологии... 24 2.2 Структуры Черна и Тома ... 26 2.2.1 Структуры и классы Черна... 26 2.2.2 Структуры Тома и ориентирования ... 28 2.3 Структуры следа... 30 2.3.1 Определение... 30 2.3.2 Структуры Гизина... 31 2.3.3 Отображение Квиллена ... 32 2.3.4 Конструкция структуры следа... 33 2.4 Мультипликативные пары и двойственность Пуанкаре... 33 2.4.1 Мультипликативные пары... 33 2.4.2 Двойственность Пуанкаре... 34 Элементы Черна и Тома в теориях когомологий с изоморфизмом надстройки 36 3.1 Гомотопическая категория... 36 3.1.1 Определение гомотопической категории... 36 3.1.2 Изоморфизм между группой гомотопических классов и группой Пикара... 38 3.2 Элементы Черна и Тома... 41 3.2.1 Элементы Черна... 41 3.2.2 Элементы Тома... 44 Двойственность Пуанкаре в мультипликативных парах 48 4.1 Теоремы согласованности ... 48 4.1.1 Согласованные структуры следа... 48 4.1.2 Согласованность структур следа и двойственности ... 50 4.2 Обратная формула проекции... 51 4.2.1 Случай проективизированного расслоения ... 51 4.2.2 Случай замкнутого вложения... 52 4.2.3 Случай проекции... 54 Гомоморфизм Гизина в ориентированных теориях когомологий 56 5.1 Структура Эйлера и формула самопересечения... 56 5.1.1 Структуры Черна и Эйлера... 56 5.1.2 Формула самопересечения... 57 5.2 Формула типа Гротендика для старшего класса Черна... 59 5.2.1 Случай универсального расслоения... 59 5.2.2 Случай линейного расслоения над аффинным многообразием 60 5.2.3 Случай линейного расслоения над произвольным многообразием ... 62 5.2.4 Редукция к линейному расслоению... 63 5.3 Эксцесс-формула для обобщенных теорий когомологий... 64 5.3.1 Лемма о диаграмме специального вида... 65 5.3.2 Редукция к нормальному расслоению... 66 5.3.3 Окончание доказательства эксцесс-формулы... 67 Гомоморфизм Гизина в обобщенных теориях гомологии 69 6.1 Структура Эйлера и некоторые формулы в теориях гомологии . . 69 6.1.1 Структуры Черна и Эйлера... 69 6.1.2 Формула самопересечения... 72 6.1.3 Формула типа проекции... 73 6.2 Формула типа Гротендика... 74 6.2.1 Случай универсального расслоения... 74 6.2.2 Случай линейного расслоения над аффинным многообразием 75 6.2.3 Случай линейного расслоения над квазипроективным многообразием ... 77 6.2.4 Редукция к линейному расслоению... 78 6.3 Эксцесс-формула для гомологии... 79 6.3.1 Случай ретракции... 79 6.3.2 Редукция к нормальному расслоению... 80 6.3.3 Окончание доказательства... 82 Введение Настоящая диссертация направлена на развитие некоторых аспектов теории ориентированных (ко)гомологий, заданных на алгебраических многообразиях над произвольным полем. Сама теория ориентированных (ко)гомологий на алгебраических многообразиях над произвольным полем — это часть гомотопической теории схем, введчнная Паниным и Смирновым в статьях [PS], [Pal], [Pa]. Соответствующий гомологический контекст разработан Пименовым в [Pi], [Pi2], a вариант изоморфизма двойственности Пуанкаре доказан в [PY]. Своему рождению гомотопическая теория схем во многом обязана Воеводскому [V3] и его доказательству гипотезы Милнора [VI]. Последовательно развивая идеи Гротендика, Воеводский создал язык, на котором можно свободно говорить о гомотопических конструкциях, оставаясь целиком в рамках алгебраической геометрии. Имеются более чем серьезные основания предполагать, что в рамках гомотопической теории схем удастся атаковать и решить еще не одну старую проблему. Топологическими аналогами ориентированных теорий (ко)гомологий служат комплексные кобордизмы, комплексная К-теория, обычные когомологий и К-теории Моравы. Роль этих теорий когомологий в топологии хорошо известна благодаря работам Милнора, Новикова, Адамса, Квиллена и других. Отличительная черта таких теорий когомологий — наличие гомоморфизмов следа (по-другому, гомоморфизмов прямого образа) для отображений гладких замкнутых ориентированных многообразий. Если теория когомологий фиксирована, то совокупность таких гомоморфизмов (по одному для каждого отображения многообразий) удобно называть интегрированием на данной теории когомологий по аналогии с интегрированием дифференциальных форм (эти гомоморфизмы обладают формальными свойствами, очень похожими на свойства интегралов). Если фиксирована теория гомологии, то совокупность таких гомоморфизмов (по одному для каждого отображения многообразий) неудобно называть интегрированием на данной теории гомологии. Поэтому используется другой термин — структура следа на данной теории гомологии. В целях единообразия этот же термин используется вместо термина "интегрирование"и при рассмотрении когомологий. Структурно работа разделена на шесть глав. В первой главе приводятся основные определения и конструкции из [Ра], используемые в дальнейшем во всей работе. В первом параграфе дается определение теории когомологий, приводятся основные свойства теорий когомологий. Второй параграф целиком посвящен ориентированию теории когомологий. В [Ра] доказано, что наличие структур Черна, или Тома, или ориентирования теории когомологий суть одно и го же (такие структуры будем называть эквивалентными); более того, приведены конструкции, позволяющие из одной структуры получать любую другую, причем конструкции эти обратны друг другу. Третий параграф первой главы посвящен построению структуры следа на ориентированной теории когомологий. Во многих теориях когомологий определен гомоморфизм прямого образа (часто он называется трансфером, гомоморфизмом следа или гомоморфизмом Гизина). В статьях [PS] и [Ра] подведена общая концепция построения гомоморфизмов следа; мы же коротко напоминаем основные конструкции. Гомоморфизм прямого образа строится не для произвольного морфизма, а лишь для проективных морфизмов. Любой проективный морфизм / : X —* Y раскладывается в композицию замкнутого вложения г : X —> Р™ х Уи проекции р : Р™ х Y —> У. Естественно определять гомоморфизм прямого образа отдельно на замкнутых вложениях (такую конструкцию мы называем гомоморфизмом Гизина и используем в двух последних главах) и на проекциях (отображение Квиллена). Итак, как следует из [Ра], на ориентированной теории когомологий существуют одновременно семь эквивалентных структур — структура Черна, теория классов Черна, структура Тома, теория классов Тома, ориентирование, структура Гизина и структура следа, и задание одной структуры из этого списка автоматически порождает все остальные. В текущем тексте появятся еще три эквивалентные структуры — структура Эйлера (это не что иное, как старшие классы Черна), элемент Черна и элемент Тома (но последние две структуры эквивалентны предыдущим не на всех теориях когомологий, а удовлетворяющих дополнительному необременительному требованию). Вторая глава двойственна первой. Те же самые эквивалентные структуры вводятся на теории гомологии (их эквивалентность доказывается в [Pi] и [Pi2]). Хочется отметить несколько различий между когомологиями и гомологиями. Основное отличие заключается в том, что когомологий обычно предполагаются снабженными U-произведением; гомологии же в отдельности лишены мультипликативной структуры. Поэтому в когомологиях мы можем говорить про элементы, подразумевая под этим гомоморфизмы умножения на эти элементы. Коммутирование двух таких гомоморфизмов есть просто коммутирование соответствующих элементов. В теориях гомологии мы должны сразу говорить о гомоморфизмах. Кроме того, гомоморфизмы Черна (или Тома) должны задаваться аксиоматически на группах гомологии с носителями аксиоматически, что делает все конструкции более громоздкими. Гомоморфизмы следа определены в [Pi] и [Pi2] без носителей, и конструкция получения структуры Черна из гомоморфизма следа в указанных статьях отсутствует. Во многих примерах теории гомологии и когомологий существуют вместе, и, более того, тесно связаны между собой. Последний параграф второй главы посвящен мультипликативным парам, определение мультипликативной пары дается, следуя [PY]. Для этого требуется ввести четыре мультипликативные структуры — одну в когомологиях, одну в гомологиях и две смешанные. В контексте [PY] обе теории предполагаются Z/2-градуированными. Содержанием третьей главы является введение еще двух дополнительных эквивалентных структур на теории когомологий — элементов Черна и Тома. От теории требуется дополнительное свойство — наличие изоморфизма надстройки. Это свойство не является обременительным — например, все теории когомологий, представимые Г-спектрами, указанному свойству удовлетворяют. В классической топологии хорошо известна теорема об универсальном расслоении (см. [FF], [MS]), утверждающая, что любое линейное расслоение индуцируется универсальным. Таким образом, чтобы задать структуру Черна (или Тома) на теории когомологий (в категории вещественных многообразий), достаточно задать один элемент, соответствующий классу Черна (Тома) универсального расслоения. Ясно, что ориентировать теорию с помощью одного элемента часто бывает удобнее, чем определять класс Черна для любого линейного расслоения (например, именно так ориентируются алгебраические кобордизмы в [Pi2]). В алгебраической геометрии нет теоремы об универсальном расслоении. Все же, если теория когомологий снабжена изоморфизмом надстройки, аналогичный результат верен и в контексте [PS]. Для этого первоначально строится гомотопическая категория и определяется множество классов [X, Р00]. В 3.1.2 вводится бинарная операция на [Х,Р°°]. Доказывается, что [JVT.P00] является группой, и, одновременно, — что эта группа изоморфна группе Пикара Pic(X). Этот изоморфизм позволяет нам распространить элемент Черна с универсального расслоения на произвольное линейное расслоение и доказать, что полученная структура является структурой Черна. Конец главы посвящен построению структуры Тома из элемента Тома. Это построение не является прямым. Сначала из элемента Тома строится элемент Черна. Пользуясь уже доказанным, элемент Черна эквивалентен структуре Черна, а та, в свою очередь, — структуре Тома. Наконец, доказывается, что указанные конструкции биективны (и таким образом элемент Тома становится полноправной эквивалентной структурой). В четвертой главе мы возвращаемся в контекст мультипликативных пар. В этой главе преследуются две цели. Первая цель четвертой главы состоит в следующем. Пусть обе теории (гомологии и когомологий) являются ориентированными. Естественно предположить, что ориентирования (или любые эквивалентные структуры) на гомологиях и ко-гомологиях должны быть согласованными. В специальной литературе это сделано двумя способами: в [PY] рассматриваются не теории, а лишь ориентированные предтеории; в этом случае удобно определять согласованность через соотношения гомоморфизмов следа (см. определение 2.10). В [Ne] основной целью является доказательство гомологического варианта теоремы о проективизированном расслоении, и, значит, удобно вводить согласованность структур на языке классов Черна, а именно: гомоморфизм Черна в гомологиях есть П-умножение на когомологический класс Черна. Эквивалентность согласованностей в смысле \|Ne] и [PY] доказывается в теореме 4.1. В уже упоминавшейся статье [PY] после формулировки основного результата (двойственность Пуанкаре) приводится следствие (2.3 в [PY]), связывающее двойственность Пуанкаре и гомоморфизмы следа. Эта связь является очень важной с точки зрения классической топологии — в топологии гомоморфизмы следа задаются через двойственность Пуанкаре по формулам из следствия 2.3 в [PY]. Тем не менее, указанное следствие в [PY] не доказывается. Доказательство этого следствия (в настоящей работе — теорема 4.2) является второй целью четвертой главы. Для этого нужна обратная формула проекции, доказательство которой занимает второй параграф четвертой главы. Пятая глава посвящена доказательству трех формул для ориентированных теорий когомологий на алгебраических многообразиях, анонсированных И. А. Паниным и А. Л. Смирновым в [PS]. Этими формулами являются формула са- мопересечения, формула типа Гротендика для старшего класса Черна и формула эксцесса. Структурно работа разделена на 3 параграфа. В первом параграфе вводится еще одна эквивалентная структура — структура Эйлера. Как доказано в первом параграфе, класс Эйлера является старшим классом Черна некоторой теории классов Черна. Так как в данной работе все три формулы содержат лишь старшие классы Черна, становится удобно работать со структурой Эйлера. В заключении первого параграфа доказывается первая из трех указанных формул — формула самопересечения. Второй параграф полностью посвящен формуле типа Гротендика для старшего класса Черна. Доказательство этой формулы разбито на четыре части. Сперва рассматривается случай универсального расслоения над проективным пространством. Этот случай удобен тем, что мы умеем вычислять когомологии проективных пространств. Затем формула доказывается для линейного расслоения над аффинным многообразием. Затем рассматривается случай любого линейного расслоения. Наконец, используя принцип расщепления, производится редукция к линейному расслоению, что завершает доказательство общего случая. Содержанием третьего параграфа является формулировка и доказательство эксцесс-формулы. Сперва доказывается общая лемма 5.5, потом происходит редукция к нормальному расслоению и подгонка нашего случая к условиям леммы 5.5. Шестая глава двойственна пятой в том же смысле, в котором вторая глава двойственна первой. Целью шестой главы является доказательство гомологических аналогов формулы самопересечения, формулы типа Гротендика и эксцесс-формулы. Как и во второй главе, элементы заменяются гомоморфизмами, и тем самым вместо формул получаются коммутативные диаграммы. Как и в пятой главе, вводится структура Эйлера (на теории гомологии), доказывается ее эквивалентность структуре Черна. В первом параграфе доказывается формула самопересечения. Также в первом параграфе доказывается гомологический принцип расщепления и формула типа проекции, необходимая для доказательства эксцесс-формулы. Второй параграф посвящен формуле типа Гротендика, третий — эксцесс-формуле. Доказываются они по той же схеме, что и их когомологические аналоги. 0.1 Терминология и обозначения Пусть к — поле. Термин "многообразие"в этом тексте означает гладкое квазипроективное многообразие. Мы фиксируем следующие обозначения: ЛЬ — категория абелевых групп, Sm — категория гладких многообразий, SrnOp — категория пар {X, U), в которых X — гладкое многообразие, a U является открытым подмножеством X. Морфизмами являются морфизмы пар. Мы отождествляем категорию Sm с полной подкатегорией SmOp, считая многообразие X парой (X, 0), pt = Spec(k), Для гладкого многообразия X и эффективного дивизора D С X мы обозначаем за L(D) линейное расслоение над X, пучок сечений которого равен ?\(D) (см. [Наг], Ch. II, 2.6.13) P(V) = Proj(S(Vv)) — пространство прямых конечномерного векторного ^-пространства V, Ly = Оу{—1) — тавтологическое линейное расслоение над P(V), Р(Е) — пространство прямых векторного расслоения Е, Le = Ое[— 1) — тавтологическое линейное расслоение на Р(?), Ое(\) — двойственное расслоение к Ое(—1), Еу — векторное расслоение, двойственное к Е, г : X — Е — нулевое сечение векторного расслоения Е, s : X —* Р(1 ф Е) определяется как композиция z и вложения Е в Р(1 © Е). Отображение s также называется нулевым сечением. Д : X —» X х X всюду обозначает диагональное вложение. Глава 1 Ориентированные теории когомологий В этой главе мы напомним основные определения и конструкции из [Ра]. 1.1 Теории когомологий 1.1.1 Основные определения Определение 1.1 Теорией когомологий называется контравариантный функтор А' : SmOp -» ЛЬ вместе с преобразованием функторов удовлетворяющий следующим свойствам: 1. (Аксиома гомотопии) Естественная проекция р : А1 хХ —<• X индуцирует изоморфизм в когомологиях рЛ : А{Х) —> А" (А1 х X); 2. (Последовательность локализации) Для любой пары (X, U) точна последовательность ... С А"{Х) ? A(U) 9™ A(X, U) С А(Х) С ..., где i uj— соответствующие включения; 3. (Вырезание) Этальный морфизм е : (X',U') —* (X,U) инд-уцирует изоморфизм еА : A(X,U) -> A{X',U'), если е'^Х \ U) = X' \ U' и с : X' \ U' —* X \ U — изоморфизм. За исключением главы 4, мы не предполагаем, что А(Х, U) является градуированной абелевой группой. Во всей работе мы будем писать Аг{Х) вместо А(Х,X\Z). Будем называть эту группу группой когомологий с носителями в Z (таким образом, носители когомологий — замкнутое множество). Определение 1.2 Теории когомологий А называется кольцевой, если дополнительно к указанным выше операциям введена билинейная операция х : A(X,U) х A'(Y,V) -. A((X,U) x (Y,V))=A(X xY,UxYl)XxV) (в градуированных теориях степени должны при этом складываться), которая обладает следующими свойствами: 1) функториальна по каждому аргументу; 2) ассоциативна; 3) существует 1 € A{pt); 4) удовлетворяет формуле д(а х Ь) = да х Ь. Билинейная операция, введенная определением 1.2, называется внешним умножением или х-произведением (cross-product). По внешнему умножению строится внутреннее умножение или U-произведение (cup-product): U : A{X,Ui) х A'(X,U2) -> A(X,Ui Ut/2) по правилу aUb=AA{axb), где Д : X —> X х X - диагональ. Внутреннее умножение обладает следующими свойствами: 1. функториально; 2. ассоциативно; 3. существует 1 е А(Х); 4. удовлетворяет формуле д(а U Ь) = да U Ъ. Таким образом, группа А(Х) по отношению ко введенной операции внутреннего умножения является ассоциативным кольцом с 1. Обратно, если задано (внутреннее) U-умножение, удовлетворяющее перечисленным свойством, то (внешнее) х-умножение строится по нему по формуле а х Ь = p где pi,P2 — соответствующие проекции. Во всем тексте, если не оговорено иначе, под понятием "теория когомологий" будет подразумеваться кольцевая теория когомологий. 1.1.2 Основные свойства теорий когомологий В этом пункте мы перечислим основные свойства теорий когомологий (см. [Ра], 2.2). 1. Из последовательности локализации следует, что А$(Х) = А(Х,Х) = 0. Таким образом, Л(0) = 0. 2. Если из морфизмов U —* V, X —> У, (X, U) —> (У)У) два индуцируют изоморфизм в когоыологиях, то и третий индуцирует изоморфизм в кого-мологиях. 3. Последовательность локализации для тройки. Пусть Т С Y С X — замкнутые подмножества гладкого многообразия X. Пусть граничное отображение для пары (Х,Х\Т). Рассмотрим оператор расширения носителя ел : АУ\Т(Х \ Т) —» А(Х \ Т), и пусть 0у,т = О о еА : АуХТ(Х \ Z) - A'T(X). Тогда следующая последовательность точна: ... - АЦХ) - Ау(Х) - АУ\Т(Х\Т) °±? АЦХ) - ... Будем называть эту последовательность последовательностью локализации для тройки. 4. Последовательность Майера-Вьеториса. Пусть X = U\ UU2 — объединение двух открытых множеств, и пусть Y — замкнутое подмножество X. Обозначим Ti = Y\Ui, Yt = YПU{, Un = Ui ПU2, Yi2 = YПU12. Рассмотрим коммутативную диаграмму, где за д обозначен морфизм из последовательности локализации для тройки: Ay(X) —2!—» AYi(Ui) --------> -45-,(X) ——» ^(X) Д^(^2) -^-» ^„(^ia) —2— ^(t/2) -------> AYl(U2). Отображение 7 является изоморфизмом по аксиоме вырезания. Положим Тогда последовательность ... - Ау{Х) п±п> AYl(Ul)@Ay2(U2) №^2) AYl2(U12) 4- Ау(Х) -н... точна. Эта последовательность называется последовательностью Майера-Вьеториса. 5. Пусть X = Х\ IJ Х2 и Yr С Хг. Тогда отображение лп и >'2 № IIх) - лп (0 © ^ №)• индуцированное естественными включениями, является изоморфизмом. 6. Пусть р : Т —* X — аффинное расслоение. Пусть Z с X — замкнутое подмножество, и пусть 5 = p~1(Z). Тогда оператор рА : Аг{Х) - А%(Т)- изоморфизм. Оператор, индуцированный любым сечением аффинного расслоения, также является изоморфизмом. 7. (см. [Sol], лемма 1.) Пусть у нас есть набор включений »i : (Г, С) — (X, Л), \|2 : (Y, D) — (X, D) как это изображено на диаграмме. Пусть х 6 А(Х,А), у 6 Л* (А", Д) и соответственно х U у € Л(Х, Л U Z?). Тогда (Г, С) -ii-» (Х,А) (V.D) —^— (Х,В) 8. Деформация к нормальному конусу. Пусть i : Y ^^ X — замкнутое вложение гладких многообразий с нормальным расслоением N. Пусть Х[ — раздутие X х А1 с центром У х 0. Пусть X — собственный прообраз X х 0, и пусть Xt = X't \ X. Тогда существует морфизм pt : Xt —» А1 и такое замкнутое вложение it : Ух А1 •—> Xt, что отображение pt°it совпадает с проекцией У х А1 —» А1 и: 1) слой pt над 1 6 А1 канонически изоморфен X, и замена базы ц под действием вложения 1 ¦—> А1 совпадает с вложением г : Y •—у X; 2) слой pt над 0 € А1 канонически изоморфен N, и замена базы it под действием 1 •—> А1 совпадает с нулевым сечением Y <— N. Таким образом, существует диаграмма (N,N\Y) —i2— (XuXtXYxA1) +-±— (X,X\Y) Теорема 1.1 ([Pa], 2.2.8) Индуцированная диаграмма состоит из изоморфизмов. A'(N,N\Y) ^— A'iXuXtXYxA1) —^— A{X,X\Y) Пусть В = (X х AJ JVx{o}- Рассмотрим диаграмму В\УхА' Р(1ФЛГ) —— В —^— X «о «« >i Y —?_» у х А1 ^— Y. Лемма 1.1 (Useful lemma, [Pa], 2.2.12). В приведенных обозначениях 1.2 Классы Черна и Тома 1.2.1 Структуры Черна и классы Черна Определение 1.3 Пусть А* — кольцевая теория когомологий. Структура Черна на А* — это сопоставление L i—¦ c(L), которое связывает с любым гладким многообразием X и любым линейным расслоением L/X универсально центральный элемент c(L) € A(X), удовлетворяющий следующим свойствам: 1. Функториалъность: fA(c{L)) = c(/(L)) для любого морфизма f : У —» X; c(Li) = c{L2) для изоморфных расслоений L\ и Li; 2. Невырожденность; оператор (1,0 : А{Х)®А{Х) - А'(Х х Р1), где ?, = с(О(—1)), является изоморфизмом; 3. Обращение в пуль: с(1х) =06 А(Х) для любого многообразия X. Элемент c{L) 6 А(Х) называется (первым) классом Черна линейного расслоения L. Определение 1.4 Теория классов Черна на А* есть сопоставление любому гладкому многообразию X и векторному расслоению Е над X универсально центральных элементов Ci{E) 6 А(Х) (г = 0,1,...), удовлетворяющих следующим свойствам: 1. со(Е) = 1; 2. L i—> с\ (L) — структура Черна (L — линейное расслоение); 3. /АЫЕ)) = ъ{Г(Е)); Ci(E) = ъ(Е') для изоморфных расслоений Е и Е'; 4- Формула Картана: для любой короткой точной последовательности расслоений О --------> Ei --------> Е --------> Е2 --------> О верна формула i=O 5. Свойство обнуления: Сг„(Е) = О for m > rk(E). Старший класс Черна Сп(Е) будем называть классом Эйлера. Очевидно, что ограничение теории классов Черна на линейные расслоения дает структуру Черна. Чтобы получить теорию классов Черна из структуры Черна, нам необходима следующая важная теорема (см. [Ра], 3.3.1). Теорема 1.2 (Теорема о проектиеизированном расслоении.) Пусть А — кольцевая теория когомологий, снабженная структурой Черна L >-* c(L). Пусть X — гладкое многообразие и Е/Х — векторное расслоение ранга rk(E) = 7t. Пусть ?е = с(Ое{—1)) € Л(Р(Е)). Существует изоморфизм Более того, для тривиального расслоения Е имеем ?J = 0. Следствие. Л(Г1) = A' Тогда А(Р(Е)) является свободным Д(Х)-модулем с базисом 1,?е, ... , где d = гк(Е). Тогда U^1 + ••• + (-l)dcd(E) = 0. Теорема 1.3 ([Ра], 3.6.2) 1. Соответствие Е >—> {ci(E)} является теорией классов Черна. 2. Указанные соответствия между структурами Черна и теориями классов Черна взаимно обратны. Сформулируем еще одну полезную теорему (см. \|Ра], 3.5.1). Теорема 1.4 (Принцип расщепления.) Пусть Е/Х — векторное расслоение ранга п. Тогда существует такой гладкий морфизм г : Т —-> X, что векторное расслоение г(Е) — прямая сумма линейных расслоений, и для любого замкнутого подмножества Z С X оператор г"4 : AZ{X) —* AS{T) — расщепляющаяся инъекция. 1.2.2 Классы Тома Определение 1.5 Говорим, что на А задана структура Тома, если для любого многообразия X и линейного расслоения L/X выбран и зафиксирован универсально центральный элемент th(L) 6 A(L,L\X), удовлетворяющий следующим условиям: 1. функториалъностъ: fA(th(L)) = th{Ly) для любого морфизма f : Y —» X и любого линейного расслоения L/X, где Ly = L Xx Y — линейное расслоение над Y и /l '• Ly —¦ L — проекция на L; 2. невырожденность: ^-произведение иЛ(1): А(Х) -v А'(Х х А\Х хА1\Х) является изоморфизмом (здесь мы отождествляем X с X х {0} ). Напомним, что для любого линейного расслоения L/X существуют отображения i : L -* (L, L \ X) и z : X —> L. Теорема 1.5 (fPaJ, 3.2.4) Пусть L - th(L) — структура Тома. Положим c(L) = zAoiA(th(L)). Тогда соответствие L ¦—> c(L) является структурой Черна. Определение 1.6 Теорией классов Тома на А* будем называть сопоставление каждому многообразию X и векторному расслоению Е над X элемента th(E) 6 А{Е,Е\Х), удовлетворяющего следующим свойствам: 1. th(E) А' (X)-централен, т.е. для любого элемента а 6 А'(Х) выполняется 3. fA{th(E)) = th{f(E)) для любого морфизма /; 4. оператор А(Х) —> А{Е, Е \ X); а >- th(E) U а является изоморфизмом; 5. мультипликативное свойство: для проекций qi:El®E2-* Ei (i = 1,2) выполняется UqAth(E2) = th(Ei фЕ2) 6 Am{Et ФE2,Ei®E2\X). Элемент th(E) называется классом. Тома расслоения Е. Очевидно, что ограничение теории классов Тома на линейные расслоения даст структуру Тома. Установим взаимно однозначное соответствие между теориями классов Черна и Тома. Мы будем использовать две леммы. Лемма 1.2 Пусть Е/Х — векторное расслоение. Тогда Р(1) СР(1Ф Е); Р(Е) С Р(1 ф Е); Р(1 Ф Е) \ Р(1) = ЩЕ) U (? \ Х);Р(1 ф?)\ ЩЕ) = Е. Лемма 1.3 ((Ра], 3.3.9) Существует короткая точная последовательность Последняя лемма верна только когда теория Л* снабжена структурой Черна, так как ее доказательство использует теорему о проективизированном расслоении. Но если Е — линейное расслоение, то теорема верна для любой теории когомологий Л* ([Ра], 2.2.10) . Используя последнюю лемму, чтобы определить th(E) e Л{Е, Е\Х), достаточно определить _____ Таким элементом является где р: Р(1 ф Е) — X — проекция. Теорема 1.6 ([Ра], 3.7.4) 1. Определенное выше соответствие является теорией классов Тома. 2. Композиция любых четырех стрелок в диаграмме Структуры Черна —> Теории классов Черна Структуры Тома *— Теории классов Тома есть тождественное отображение.

Список литературы

Цена, в рублях: (при оплате в другой валюте, пересчет по курсу центрального банка на день оплаты)	1425

Скачать бесплатно	23539.doc

Найти готовую работу

ЗАКАЗАТЬ

Обратная связь:

Связаться

Вход для партнеров

Регистрация

Восстановить доступ

Материал для курсовых и дипломных работ

15.04.24 Задачи, условия и этапы организации экспериментальной работы

15.04.24 Критерии качества преподавания

15.04.24 Категория нормы в обучающей деятельности

Архив материала для курсовых и дипломных работ

Ссылки:

Счетчики:

© 2006-2022. Все права защищены.
Выполнение уникальных качественных работ - от эссе и реферата до диссертации. Заказ готовых, сдававшихся ранее работ.