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

Труды семинара Бурбаки за 1988 г (947402), страница 8

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

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

Эииьир Арифметическая структура Ходжа 1Р называется целой, еслн 1Рт '1 = 0 прн нецелых а, Ь. Если Х вЂ” гладкая проектнвиая схема над (), то пусть Нв(Х) обозначает когомологии Веттн Х(С) с коэффициентами в (и, Н; (Х) — гнперкогомологии комплекса де Рама й' . На Нв (Х) имеется убывающая фильтрация гиНвя(Х), называемая фильтрацией Ходжа, и канонический изоморфизм сравнения (3.3) Нв (Х) Э С Нвл (Х) З С.

Полагая В'в=Нв(Х) и для п=р+ д (целые числа) (34) )Р"~'~=/ ()и~НЪл(Х)ЭС)П(1Эр)/ '(Р'Нрл(Х)ЭС), мы получаем разложение Ходжа (3.5) Юв=Нв(Х)ЗС= ® Н~~'~(Х)=ЗВ'"'". и+ » и Так определена целая арифметическая структура Ходжа а (Х) с ннволюцией р', заданной действием р на Х(С). По формуле Кюннета структура, связанная с произведением двух гладких проективных схем Х н У над (1, изоморфна тензорному произведению структур, отвечающих Х и У.

В этом $ мы хотим изучить арифметические структуры Ходжа, связанные с гиперповерхностями Ферма. Они являются целыми,'но допускают удобное выражение в терминах нецелых структур Ходжа, существенных для дальнейшего, которые мы сейчас определим. Обозначим через р группу е,(1)=Нрш(Я/е', Як), двойственную к Я/У. Для векторного пространства у' над Я задание градуировки )г Э С = ® )г (а) равносильно заданию некотои~огх рого допустимого действия й на г', т. е. такого, что стабилизатор любого элемента нз У открыт в,р; У(а) является тогда изотипическим подпространством )г Э С, для характера 1х, определенного элементом а ен (~/е., Для а ~ (,1/Ж вЂ” (О) определена функция у(а): р-» Ск посредством равенства (3.8) у(а)5) =з( — а) Г(( — а)). Обозначим через Е векторное пространство таких функций из р в (~, которые факторизуются через некоторый фактор вида й/пгр и имеют среднее значение, равное нулю.

Для а ~ ()/е, — (О) положим Ек~' "'= Су(а) (3.7) Циклогоиии и значении Г-фиикции Евл= ~. ()у(а) с= Е , ~о (3.8) (3.10) С[Ц= ® Е(и). а я В+ Перейдем к гнперповерхностям Ферма [Ка — ЯЬ; 1)МОЗ, 1; А2, $10). Зафиксируем два целых числа и) 1 и и) 2. Рассмотрим над () гиперповерхность Ферма Х, (или просто Х) в Р„1 степени т, заданную уравнением (3.11) х',"+ ... + х„" = О. То же уравнение определяет гладкую модель Х над 7 [1/п1[.

Символом 1 обозначается вложение Х в Р„1, и положим Нв (Х)мии Нв (Х)/" Нв (1 — 1)' Гиперповерхность Х обладает большой группой автоморфизмов, которая является полупрямым произведением группы Ю„, дейи ствующей перестановками координат, на группу ® ц, профак- 1 торизованную по подгруппе 11, вложенной диагонально. Слел дуя Андерсону, обозначим через Л группу ® ц„. Группа, двой- 1 ! и ственная к Л(С), отождествляется с ~ — У/е.) по формуле л (а, Л)= ЦЛ,-('г> 1 (3.13) Индексом т обозначим подпространства, соответствующие а ~ ек Я/У.

н аннулируемые т. Тогда Е является индуктивным пределом арифметических структур Ходжа Е . Градуировка (3,9) ЕЗС= Я) Е(а) и ож с Е(0)=0 и Е(а)=Ек 1' и отвечает действию 1Ъ на Е по правилу $ е($') =е($' — $) с $, $' ен р, е я Е Обозначим через В+ подмножество В, образованное такими ~ пи[а), что коэффициенты и, положительны.

Обозначим через (~(Е) симметрическую алгебру пространства Е, С [~Ц = (й [Ц Э С. Для а = = ~ п,[а] епВ+ обозначим через Е(а) образ в С;[Е) пространства (ЯЕ(а)" Г. Знньяр 1(иялотомня а нянчения Г-функции л — 2 Ял Нв (Х)рг(н «(Ел» »оп (о! р ~ о Нл — 2 (Х) Вв л (»хл Л= х л-1 11: Н',(Х)Вас = Н;(Х), 1-1 -...-С ! '" л — 2 г'-'... *--'Х о о о — гл 1)*л '»Н1" Ф»» Г(з,)/Г(з,+ ...

+зл) Х (1 — 1! /= Г(зс) обобщающего функцию с очевидными обозначениями. Группа, двойственная к факторчл гРУппе Л(С)/1» (С), ЯвлЯетсЯ подгРУппой 1ч — У/Е), опРедел ленной уравнением ~., а, = О. Символом Н, "2(Х) обозначает»=1 ся изотипическое надпространство для характера а группы Л(С). г 1 Через Ч' обозначается множество таких (аь ..., ал) он~ — л/я./ .

л что а, Ф 0 для всех 1=1, ..., п и ~' а,=О. Тогда имеет мес- 1-1 то следующее (см. 1)МОЯ,ргор. 7.4 и 7.6). Предложение 2. !) Н' (Х)рн ® С= 1-.];) Н, "'(Х). н»н Ч! Для любого а в=- Ч' пространство Н"-2(Х) одномерно иад Я л л и совпадает с Н", (Х)"'1, где г+1= 2 (ас) из+1= 2.; ( — ас). 1 1 Для доказательства сравниваются Н;, (Х) и Нв (У), где У = = Р '(~,Х, и то же самое для когомологий де Рама. Тогда фильтрация Ходжа на Н' (У) интерпретируется в терминах порядка полюса вдоль Х дифференциальных форм на У. Можно пойти дальше и вычислить периоды некоторых дифференциальных форм на 1/.

Для а еп Чс положим в,=тл 'Г((а,)+... +(а ))х, ( лд... х < 'л) — "' Л.. Интегралы формы в, цо определенным хорошо выбранным цик- лам на У(С) вычисляются [ОМОВ,3 7] с помощью вычисле- ния интеграла Н(з, Г)=Г(з)Г(с)/Г(з+1) =~ ия ' Х о Х (1 — и) ' ди . Тогда получается описание (примитивной) арифметической структуры Ходжа на Х.

Теорема 5 [А 2, Т)сш. 10]. Имеется изоморфизм арифметической структурь! Ходжа Н (Х)„в ( — 1) на ((с~л)ь (образованную точками из (с~", неподвижнь!ми относительно »»). Замечание 3. Данный изоморфизм эквивариантен относительно действия группы Л(С), и для всех вон 5„коммутативна сле- дующая диаграмма где Я„действует на (г~" перестановками сомножителей %. Для любой гладкой проективной схемы Х над»( и для любого простого числа 1 определены Радические этальные когомологии Н;(Х) для Х(Ц); это некоторое конечномерное векторное пространство над Я„ снабженное непрерывным действием группы Галуа й. Если Х имеет гладкую проективную модель над л,[1/сп], то это представление неразветвлено вне т.

Имеется канонический изоморфизм сравнения такой, что р*81 соответствует действию р енй на Н;(Х). Изоморфизмы 1! совместимы с изоморфизмом Кюннета. В случае схемы Х=Х„" для каждого простого числа р, не делящего т, можно вычислить след геометрического элемента Фробениуса г(р), действующего на Н;(Х), используя формулу следа Лефшетца, и посчитать число точек Х над полем Гр [см. РМОЬ, 1, ~~ 7]. В нашей ситуации мы получаем в результате следующее [см.

А1, 10.7] Предложение 3. Пусть элемент а ен В Я Во П В+ таков, что и = = и((а) и т(а)/т. А=[(,, ..., „! ( — (2) (,ло, А (л!— 1 Я(иилогомия и эиинеиия Г-фуничии 46 Г. Энньяр Тогда ар(«я)= — „„, "« ~~ ~~ зпп(о)(а, В) '1г(г(р)ав]Н! '(Х,)). аига Вил (С) а я.я Замечание 4. В параграфе б дана интерпретация этого равенства в терминах мотивов, основанная на замечании, что проектор 1 х~ -! р, = — „, аэ 1 зпп (а) (а, В) оз групповой алгебры группы а~я„; ЛЯС« автоморфизмов Х = Х„определяет одномерный фактор комплексного векторного пространства Нв (Х)«н ( — 1) З С, соответствующий при изоморфизме теоремы б некоторому фактору «Ев".

Если отождествить С [Е] с пространством симметрических тензоров на ]Е, то этот фактор совпадет с фактором ]Е(а) пространства С []Е], введенным в 3.10 (это будет выведено из замечания 3). 4. МОТИВЫ И ГРУППА ТАНИЯМЫ [ОМ051 Пусть Х и У вЂ” две гладкие проективные схемы над «'.). Назовем О-линейное отображение 1: Н' (Х) — «.Н' (У) абсолютным соответствием Ходжа, если существует 1) некоторое линейное отображение )ои. Ндя(Х) — «Н'я(У), такое, что [о (ЕРНоя(Х)) с: ЕаНоя(У) для всех р и всех и, и что 1 переводит ГЗ(йс в )ояЗЫс (см.

З.З). Й) для каждого простого числа 1 ()«[6]-линейное отображение 1«: Н,(Х) — «Н;(У), такое, что 1, переводит 1ЗЫ в ! Векторное пространство над О, отвечающее абсолютному соответствию Ходжа, будет обозначаться через С'"(Х, У). Замечание б. Произвольный цикл коразмерности йпп Х в Х)я, У определяет некоторое абсолютное соответствие Ходжа. Символом .Ф обозначим категорию, объектами которой являются гладкие проективные схемы, а морфизмы даются равенством Нанял(Х, У)=С'"(Х, У).

Существует некоторая аффинная групповая схема (см. [РМОЗ, Ру]) д над (г, называемая могивной группой Галуа, такая, что для любой ь)-алгебры Р множество д(Н) образовано Н-лииейнымн автоморфизмами функтора Х эНв(Х)ЗН (из аа' в категорию 11-модулей) совместимых с изоморфизмами Кюниета. По построению группа д действует на Н' (Х).

Кроме того (см. цит. раб.) „имеем: Теорема 6. !) у проредунгивна. В) Для Х, У ~ ОЬ(эУ) имеем С'"(Х, У) = Ного (Нв(Х), Нв(У)). Категория й мотивов (абсолютных мотивов Ходжа) для нас будет категорией (конечномерных алгебраических) представлений группы у над (). Оиа снабжена некоторым тензорным произведением. Для М4= и«У символом а«э(М) обозначается пространство представления М, а через МУ мотив, двойственный к М (контрагредиентное представление); ранг мотива М вЂ” это размерность пространства ыэ(М). Можно получить й исходя из .зу.

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

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

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

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