Главная » Просмотр файлов » Диссертация

Диссертация (1137339), страница 10

Файл №1137339 Диссертация (Числа Бетти и трианалитические подмногообразия гиперкэлеровых многообразий) 10 страницаДиссертация (1137339) страница 102019-05-20СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

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

Тогда Θ калибрация и её грани это -мерные ква­2 (2)!4Теорема4.2.4.тернионные подпространства . Кроме того, форма Ξ :=же калибрация с теми же гранями.Подмногообразия, калибруемые формой Θ называютсяческими подмногообразиями.2 )(2 +(!)2 4так­трианалити­4.3.

Основная теоремаВ этой секции мы докажем основную(Основная теорема). Пусть ( ) – обобщённое многооб­разие Куммера, и ⊂ ( ) абсолютно трианалитическое многообразие.Тогда не является тором.Теорема 4.3.1Вместе с теоремами 4.1.9 и 4.1.10 она позволяет сказать, что в известныхпримерах гиперкэлеровых многообразий нет абсолютно трианалитических то­ров.

Таким образом, в этой части классификация завершена. Если рассмат­66ривать только известные деформационные типы гиперкэлеровых многообра­зий, то открытым остаётся вопрос существования абсолютно трианалитиче­ских подмногообразий деформационного типа 10 в обобщённом многообра­зии Куммера, а также схем Гильберта в 6 .4.3.1. Плоские торы вВ этом разделе, мы получим основные вспомогательные результаты,необходимые для доказательства основной теоремы 4.3.1.Пусть ⊂ ( ) – абсолютно трианалитическое подмногообразие вобобщённом многообразии Куммера, нормализацией которого является тор(4.1.1).Замечание 4.3.2.

Поскольку ( ) вложено в схему Гильберта тора [] , мыможем рассматривать как абсолютно трианалитическое подмногообразиев [] .Рассмотрим следующую диаграмму:∨ []> () < −1 (())> ∨> () <∨ ,(4.1)где [] – схема Гильберта тора, () – симметрическая степень тора,отображение это отображение Гильберта-Чжоу (2.1), отображение фак­торизации → () , и квадрат декартов.Замечание 4.3.3. По [EV, Theorem 7.7] можем выбрать общим (в смыс­ле 2.2.6) в том же деформационном классе. Напомним, что по теореме 2.2.5трианалитические подмногообразия обладают следующим свойством: для лю­бых , ′ в одном деформационном классе существует диффеоморфизм → ′ , который отображает абсолютно трианалитические подмногообра­зия в абсолютно трианалитические. Тем самым, достаточно доказать нашутеорему для общего тора .67Пусть ⊂ [] – абсолютно трианалитическийтор.

Тогда каждая неприводимая компонента −1 (()) общий тор в , ( −1 (())) = 0, и отображение : −1 (()) → () конечно.Предложение 4.3.4.Доказательство. Поскольку – общий тор, то все подмногообразия в являются абсолютно трианалитическими. Значит, −1 (()) вполне геодезич­но, и, следовательно, плоско. Тем самым, каждая неприводимая компонента −1 (()) является подтором в . Поскольку общий, то любой подторобщий, и, в частности, группа Пикара −1 (()) нулевая.

Конечность отоб­ражения очевидна. Действительно, ведь это отображение факторизации посимметрической группе.Пусть ⊂ [] – абсолютно трианалитический тор.Тогда отображение : → () конечное в общей точке.Предложение 4.3.5.Для доказательства этого утверждения нам понадобится следующееутверждение, доказанное Калединым.˜ → является глад­([K, Лемма 2.9.]) Пусть : ким проективным разрешением особенностей симплектического многообра­˜ симплектическую форму на многообразиизия . Обозначим за Ω ∈ Ω2 ()˜ . Пусть : → – гладкое отображение гладких связных алгебраиче­ских поверхностей, и предположим, что имеется следующая коммутатив­ная диаграмма:Предложение 4.3.6.˜>(4.2)∨ 0 ∨>Тогда существует плотное открыто подмножество 0 ⊂ и 2-формаΩ ∈ Ω2 (0 ) на 0 , такая что * Ω = * Ωна −1 (0 ) ⊂ .68Доказательство Предложения 4.3.5. Существует каноническая стратифи­кация на каждой симплектической особенности и эта стратификация совпа­дает со стратификацией диагоналями на () ([K, Предложение 3.1.]).

Крометого, каждый страт имеет симплектическую форму, и для () эти формыиндуцируются эквивариантной относительно перестановок симплектическойформой. Ограничение этой симплектической формы на гладкую часть прооб­раза −1 ( ) для произвольного страта в () является поднятием симплек­тической формы на этот страт в () ([K, Лемма 2.9.]).

Тогда плотное откры­тое подмножество в ⊂ [] проецируется на открытую часть некоторогострата. Поэтому, ограничение симплектической формы на это поднятиесимплектической формы на страт. Если проецируется на () с общимислоями положительной размерности, то эта форма не может быть невырож­денной, а, значит, в этом случае несимплектично. Противоречие.Определение 4.3.7. Пусть 1 и 2 – абелевы многообразия одной размерностинадо полем . Изогенией между 1 и 2 называется плотный морфизм :1 → 2 многобразий, сохраняющий базовые точки (т.е. переводит единицуна 1 в единицу на 2 ).Пусть ⊂ [] – абсолютно трианалитический торв обобщённом многообразии Куммера.

Рассмотрим диаграммуПредложение 4.3.8.˜<>−1(())(4.3)><()где ˜ – расслоенное произведение и −1 (()). Тогда и любая ком­понента −1 (()) изогенные торы.Доказательство. Расслоенное проивзедение ˜ это подмногообразие в произ­ведении × −1 (() общих торов. Тогда ˜ является трианалитическим и69поэтому плоским. Отображения плоского тора ˜ в и −1 (()) конечныв общей точке (конечность отображения ˜ → −1 (()) следует из 4.3.5),значит, эти торы изогенны.Зафиксируем неприводимую компоненту −1 (()) и обозначим её через ′.Обозначим степень отображения → () через и степень отображе­ния −1 (()) → () через ˜.Замечание 4.3.9.

Из 4.3.4 и 4.3.8 следует, что () = 0.4.3.2. Отсутствие абсолютно трианалитических торов вобобщённом многообразии КуммераВ этом разделе мы доказываем основную Теорему 4.3.1.Определение 4.3.10. Голоморфно симплектическим объёмом голоморфно сим­R1плектического многообразия (, Ω) называется := Ω 2 dim ∧1Ω2dim .Определение 4.3.11. Кэлеровым объёмом кэлерова многобразия (, , ) на­R12зывается 22 (2)! , где dimR ( ) = 2.Замечание 4.3.12.

: Для гиперкэлеровых многобразий (в частности, для аб­солютно трианалитических подмногообразий) кэлеров объём совпадает с го­ломорфно симплектическим ([GV, Теорема 5.3.]). Будем называть это гипер­кэлеровым условием.Теорема 4.3.1 Пусть ( ) – обобщённое многообразиеКуммера, и ⊂ ( ) абсолютно трианалитическое многообразие. Тогда не является тором.Теорема 4.3.13.70Доказательство. Во-первых, заметим, что любая комплексная структуракэлерового типа на плоском торе задаёт комплексную структуру кэлерово­го типа на [] . Рассмотрим стандартное отображение из 2 ( () , C) ⊕ C[]на 2 ( [] , C), где исключительный дивизор раздутия () в [] . Класскогомологий [] типа (1, 1).Зафиксируем гиперкэлерову структуру (, , ) на , и пусть Ω – со­ответствующая голоморфно симплектическая форма на .

Гиперкэлерова′одинакового кэлеровоготройка на задаётся тремя формами ′ , ′ , и ′] их классы когомологий. Посколькуобъёма. Обозначим через [′ ], [′ ], и [симплектическая форма на эквиварианта по отношению к перестановкам,то соответствующие классы когомологий на () , обозначаемые через [ ],[ ], и [ ] таковы, что′ * [ ] = [′ ], * [ ] = [′ ], * [ ] = [].Мы имеем дело именно с классами когомологий, поскольку само много­образие () имеет особенности и поэтому и симплектические формы и объё­мы на нём не вполне определены. Другой подход заключается в рассмотрениисимметрического произведения как орбиообразия.По Предложению 4.3.5 на каждом открытом страте симметрической сте­пени () существует кэлерова форма и класс этой формы является ограни­чением [ ] + [ ] на страт.Хорошо известно (см. например [OVV, Лемма 3.4]), что существует кэле­рова метрика с кэлеровым классом [ [] ] = [ * () ] − [], где – исключи­тельный дивизор и 0 < < 1.Напомним, что симплектический объём не меняется при раздутиях.

ПоТеореме 2.1.3 существует некоторая константа и гиперкэлерова структурана [] , такая что [˜ ] := [ * ] − [], [˜ ], и [˜ ] имеет тот же кэлеровобъём. После разрешения особенностей симметрической степени () при по­строении схемы Гильберта точек [] обратные образы [ ] и [ ] это [˜ ]и [˜ ]: * [ ] = [˜ ], * [ ] = [˜ ].Заметим, что * () ∪ [] = 0, и обозначим через = []2 .Тогда71Z˜ 2 = ()2 · − ()2 2 · = []Константа может быть определена из уравнения выше, в частности,имеем > 1.Вспомним, что по Предположению 4.3.5 и Предположению 4.3.4 отобра­жение из в () и отображение ′ → () конечны в общей точке. Значит,˜симплектические объёмы и ′ отличаются умножением на ˜· = ′ ,где – степень отображения → () и ˜ – степень отображения −1 (()) → ().

Кэлеровы объёмы и ′ определяются гиперкэлеровымусловием.Поскольку ′ абсолютно трианалитическое подмногообразие в , его′объём по отношению к ′ и совпадает с объёмом по отношению к ′ . Од­нако, также абсолютно трианалитическое подмногообразие в [] , значит,его объём также совпадает с объёмом по отношению к [ * ] − [].Заметим, что [] ∪ [] = 0. Действительно, рассмотрим линейноерасслоение (), ограниченное на .

Так как группа Пикара нулевая(Предложени 4.3.9), то над нет нетривиальных линейных расслоений.Применяя гиперкэлерово условие для и ′ , получаемRR′ [ ]([]−[])′ ( )()R= R= R1== .′ ) (˜() [ ] ′ ( )R*С другой стороны > 1, что даёт противоречие.Замечание 4.3.14. На общие случаи абсолютно трианалитических подмного­образий обобщённого многообразия Куммера приведённое выше доказатель­ство не обобщается. Действительно, в общем случае не изогенно неприво­димым компонентам −1 (()) и группа Пикара также может быть нену­левой.72ЗаключениеДиссертация содержит следующие новые определения, результаты и ме­тоды:∙ Доказано отсутствие абсолютно трианалитических торов в обобщённоммногообразии Куммера;∙ Получено неравенство на числа Бетти гиперкэлеровых многообразий вразмерности шесть;∙ Получены следствия основного неравенства, включающие конечностьчисла простых гиперкэлеровых многообразий в размерности шесть с2 = 23.73Публикации по теме диссертации[Ku1] Курносов Н.М., “О неравенстве для чисел Бетти гиперкэлеровых многоообразийразмерности шесть” // Матем.

Заметки, 99:2 (2016), 309–313. An inequality forBetti numbers of hyper-Kähler manifolds of dimension 6 // Mathematical Notes., 99,1, pp. 330-334, 2016.[Ku2] Kurnosov N., Absolutely trianalytic tori in the generalized Kummer variety, Advancesin Mathematics, 298, 6, pp. 473-483, 2016.[Ku3] Kurnosov N., Boundness of 2 for hyperkähler manifolds with vanishing odd-Bettinumbers.

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

Список файлов диссертации

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