Главная » Просмотр файлов » Труды семинара Бурбаки за 1991 г

Труды семинара Бурбаки за 1991 г (947404), страница 10

Файл №947404 Труды семинара Бурбаки за 1991 г (Семинар Н. Бурбаки) 10 страницаТруды семинара Бурбаки за 1991 г (947404) страница 102013-09-15СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 10)

Группы СН«'в т, СНР и та. д. также функториальны по Х, и точные носледоватаельности (2.2.1) и (2.2.2) — тпочные последоватпгльности функ«воров. '>Через ст(Ь) обозначен первый класс Чиввл рзсслогюы Ь в СН«(Х), т.е. клзсс лввейяай зквввзлввтвоств лвввзорз бг«(«) . Жен-Б«нуе пест 48 (2) Прямой образ по отношению к собственному морфизму. Длл любого собственного морфизма у': Х -«У отпноситаельной размерности д, тпакого, нтпо ус: Хс -«Ус — гладкий морфизм, существует ° -в морфизм абелевых групп у»: СН (Х) е СН (У).

При этом выполнлетпсл формула проекции ),(х.у'(у)) = у (х), у дт * дг — — дтбхэ»с» + ьт(2», дт) дг шод (пп И' + пп дн) . (2.4.1) Формально зто равенство влечет за собой дд'(дт дг) = дд дтбя ~с~+ (лт дт)дд дг =( — бх,~с)+от% дт))бх,(с) + ьт(А, дт Н вЂ” блНс) + ьт(2г, дг)) =. ьт(8», дт) ьт(2г, дг) — бх»(стт»хе<с) .

(2.4.2) Чтобы придать этим формулам смысл, необходимо преодолеть трудности двух типов: (3) Мультипликативнея структура. Вектпорное ье-пространство СН (Х) снабжено структурой градуированной коммутпативной алгебры с единицей. Под действием отображения ь этна мультпипликативнав стпруктпура переходит в мультипликативную стпруктуру на СН'(Х)сг, заданную пересечением классов алгебраических циклов, а у»од дейстпвием отпображенил ьт — во внешнее умножение дифференциальных форм. Кроме того, она совместпима с функтаорами обратпного образа. Чтобы строго построить зти мррфнзмы н мультипликативную структуру, приходится преодолеть многочисленные технические трудности.

Эвристически зтн отображения определяются следующими формулами: ° У'[(Я,д)] = [(1 '(2), Яд)], если 1 трансверсально к Я, т.е. если сод1шу' '()2)) = со«Нш)В). ° т'»[(Я, 9)] = [(т»Я, 1стд)] [(Вт дг)][(ог дг)] = [% С1 Вг,дт е дг)), если Ят н лг пересекаются трансверсально, т.е. содпп)Я~) й )Я~) = сойпп)Я~) + сотйш)Яг). В этой формуле 3» ПЕг — цикл коразмерности сойпп)Я»)+содпп)2г) с носителем в ) Яд) П) Яг), причем кратности даются «формулой Тот'овэ Серра (см. [ое]), а дт * дг — «*-произведение» классов дт й дг, т.е. поток 1)тина для Вт П Ег, «определенныйэ в терминах представителей дт и дг классов дт и дг формулой АРИФМЕТИЧЕСКАЯ ТЕОРИЯ ПЕРЕСЕЧЕНИЙ 49 ° Аиалив»ические в»рудносп»в: для того чтобы придать смысл формуле (2.4.1), необходимо определить произведение потоков д»бз»«О) .

На самом деле Жилле и Суле показывают, что в качестве представителя д, класса д» можно выбрать такую форму Грина, что интегрирование по гладкой части пространства Нз(С) ~ [л»(С) ~ с весом, заданным ограничением д», действительно задает поток и вычисление (2.4.2) приобретает смысл. Для этого они вводят класс форм Грина с «хорошими» особенностями (формы Грина «логарифмического типа»).

С помощью таких форм они также доказывают различные свойства «-произведения, например ассоциативность и коммутативность. ° Алгебро-геомеп»рические «лрудносв»и: для того чтобы определить, например, умножение на СНХ' при помощи приведенных вьппе формул, следовало бы иметь в распоряжении «лемму о сдвиге», которая гарантировала бы, что, заменяя при необходкмости циклы на Х на рационально эквивалентные, можно предполагать, что они пересекаются трансверсальнщ Это верно на общем слое Х41, так как этот слой — гладкое квазипроективное многообразие над ь4 и к нему применима классическая лемма Чжоу о сдвиге. К сожалению, для циклов на арифметическом многообразии корэзмерности ) 1 аналогичный результат неизвестен. Эта трудность появляется уже при попытке определить умножение на СН'(Х), и ее можно преодолеть после тензорного умножения на С4 с помощью следующей конструкции, использующеи К-теорию (см.

[Я1, СБ4]). Пусть Я» и Уз — два цикла на Х кореэмерностей р» и рз, и пусть они пересекаются в Х«1 трансверсэльно. Для любой замкнутой подсхемы У в Х обозначим через Ко (Х) К-теорию многообразия Х с носителями в У, а через Ке (Х)®, у' Е )ч, часть группы Ке (Х)«Э веса у по отношени»о к операциям Адамса. пусть [л«] е ко Й (х)»Р«) — класс цикла л«, и пусть л е Яю~ю(Х)41 — цикл с носителем в [2»[ Г1 [Хз[, образ которого в Кр~ И~~ И(Х)ба+в'~ совпадает с компонентой веса р» + рз произведения [л«]. [Яз]. Тогда класс цикла 2 в СНю+ю(Х)41 определяет «произведение-пересечение» классов циклов л» и Уз в СН'(Х), и если д» и дз — потоки Грина для л»(С) и лз(С), то арифметический цикл (л, д» * уз) определяет произведение в СН (Х)ц классов (Х~,д~), (людз) в СН (Х).

Отметим, что произведение двух элементов из СН (Х) можно определить в СН (Х) и без тензорного умножения на ь4, если один из этих элементов имеет степень 1 или если Х вЂ” гладкая схема над кольцом целых числового поля (используя конструкцию Фулто[ГА»]). Жан-Бенуа Бост 50 Наконец, отметим следующие формулы: а(0) С = а(удо(С)), (2.4.3) а(О) а(ту') = а(аа'уу. 0') (2.4.4) = О, если и или 0' д-, а- или бн-замкнута. 2.5. Арифметическая степень и высота циклов. В случае когда К = ьс, точная последовательность (2.3.3) превращается в иэоморфизм а: К -~ СН (БресЕ). Легко проверить, что с учетом отождествления СН (Ярес Е) — + Р1с (Ярес Е) изоморфизм, обратный к 2а, переводит класс линейного эрмитова расслоения Е над БресЕ в его аракеловскую степень бек Ь. Обозначим этот обратный изоморфизм через де~: СН (ЯресЕ) — у К.

Пусть Х вЂ” такое арифметическое многообразие, что морфизм у: Х -у Ярес Е собственный, и пусть И вЂ” относительная размерность морфизма у (таким образом; уабсолютнаяу круллевская размерность многообразия Х равна И+ 1). Тогда можно рассмотреть композицию отображения аракеловской степени дед с отображением у.: СН (Х) -у СН (ЯресЕ). Эта композиция называется оуаобраэсеивем арифмеуавческов сулепени де⻠— — бек о у.: СН (Х) -+ К и представляет собой арифметический аналог отображения деку. СН~(у') + Е, определенного длялюбого многообразия размерности д, собственного над полем.

Если Х вЂ” спектр кольца целых числового поля К, то беи» совпадает также и с аракеловской степенью зрмитова линейного расслоения над Яресбк. В общем случае арифметический цикл коразмерности Ы+ 1 на Х имеет вид (2,, и;Р;, д), где Ру — замкнутые точки многообРаэил Х, а д Б Ан н(Хн), и аРифметйческал степень выРажаетсЯ Жан-Бенуа Баст Р=О,то / ]Р(г,..., ~)] "о( )(') = Ао(ц(рг) + ~ 1об к'"' рз. Рн(с] (2, о ]г<] ) Уз Высота Ь,~,~ проективных многообразий используется в (Ра2], а также в теории трансцендентности (см. [ЯЗ, Рп]).

2.6. Многообразия Аракелова. В ситуации, когда общий слой арифметического многообразии Х проективен, для изучения потоков Г)~ива на Х(С) естественно использовать теорию гармонических форм. Именно это делал Аракелов в своих работах по арифметическим поверхностям. В общем случае для этого вводится следующее определение: Определение 2.5. й1ногообразием Аракелова называется пара Х = (Х, ы), состоящая из арифметического многообразия Х с проективным общим слоем Хс1 и коларовой формы ю на Х(С), такой, что Р;,м = — ы.

(Это условие означает, что риманова метрика, заданная формой м, инвариантна относительно Е,„> .) Итак, пусть Х вЂ” многообразие Аракелова. Проекция пространства АР Р(Х(С)) на гармоническую составляющую ЯР"(Х(С)) пропускается через отображение из А" Р(Х(С)) на НР "(Х(С)) . Обозначим через Я.с (Хн) пересечение ядра этого отображения с АР Р(Хн) . Определим р-ю группу Чзкоу-Араке ьова многообразия Х как подгруппу СН" (Х) = '(И (Хн)) р Р в СН (Х) . На самом деле это прямое слагаемое в СН (Х): из утверждения (3) предложения 2.1 следует, что имеется иэоморфизм СНР(У) Ю Я'сР 'Р '(Хп):-> СН (Х), с 9 и нв с+ а(ц) . Точная последовательность (2.2.1) переписывается в виде СНР' '(Х) -~ р(Р '" '(Хн) ~ СН (Х) + СНР(Х) -+О.

Положим сн*(х) =®сн (х). р>о В частном случае, когда Щ оНР'Р(хн) является подалгеброй в ® >оАР Р(Хн), например, когда Х(С) — кривая, гбелево многообразие или эрмитово симметрическое пространство (такое, как проективное пространство или грассманиан), СН'(Х)ц' — подалгебра в АРИФМЕТИЧЕСКАЯ ТЕОРИЯ ПЕРЕСЕЧЕНИЙ * СН (Х)о . Однако следует помнить, что в общем случае — например, для полных пространств флагов — зто не так. Из-за отой трудности нельзя ограничиться группой СН Х и приходится рассматривать «утолщенную» группу СН (Х) .

Характеристики

Тип файла
DJVU-файл
Размер
9,76 Mb
Тип материала
Предмет
Учебное заведение
Неизвестно

Список файлов книги

Свежие статьи
Популярно сейчас
А знаете ли Вы, что из года в год задания практически не меняются? Математика, преподаваемая в учебных заведениях, никак не менялась минимум 30 лет. Найдите нужный учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6551
Авторов
на СтудИзбе
299
Средний доход
с одного платного файла
Обучение Подробнее