WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

загрузка...
   Добро пожаловать!

Pages:     || 2 |
Математический институт им. В. А. Стеклова Российская Академия Наук

На правах рукописи

УДК 512.76 Галкин Сергей Сергеевич Торические вырождения многообразий Фано.

Специальность:

01.01.06 – математическая логика, алгебра и теория чисел

АВТОРЕФЕРАТ

диссертации на соискание ученой степени кандидата физико-математических наук

Москва – 2008

Работа выполнена в отделе теории чисел Математического института имени В. А. Стеклова РАН

Научный консультант:

д. ф.-м. н., профессор Василий Алексеевич Исковских;

Официальные оппоненты:

д. ф.-м. н. Николай Андреевич Тюрин к. ф.-м. н. Александр Геннадьевич Кузнецов

Ведущая организация:

Механико-математический факультет МГУ им. М. В. Ломоносова

Защита диссертации состоится 3 апреля 2008 года в 14.00 на заседании диссертационного совета Д.002.022.03 в Математическом институте им. В. А. Стеклова Российской Академии Наук по адресу: 119991, Москва, ул. Губкина, 8 (9 этаж).

С диссертацией можно ознакомиться в библиотеке Математического института имени В. А. Стеклова РАН.

Автореферат разослан 3 марта 2008 года.

Ученый секретарь диссертационного совета Д.002.022.03 в МИ РАН д. ф.-м. н. Н. П. Долбилин

Общая характеристика работы

Актуальность темы В диссертации даётся ответ на ряд вопросов, постановка которых мотивирована подходом к изучению многообразий Фано (и возможности их классификации) c помощью методов торических вырождений и зеркальной симметрии.

Классификация кривых была получена ещё в 19 веке - у каждой кривой над алгебраически замкнутым полем есть единственная бирациональная ей полная неособая модель, а единственный численный инвариант кривой - это её род g, который может принимать любое целое неотрицательное значение. Более разнообразен случай поверхностей: по любой неособой поверхности S0 можно построить её минимальную модель S, последовательно стягивая (-1)-кривые. Минимальная поверхность S - неособая поверхность бирациональная S0, и существуют три взаимно исключающие возможности: либо канонический класс KS численно эффективен (то есть его индекс пересечения с классом любой эффективной кривой неотрицателен), либо S это проективная плоскость P2, либо S обладает структурой расслоения над некоторой базовой кривой B, а слои C этого расслоения имеют индекс пересечения c каноническим классом KSC = -2. Поверхность S рациональна если рациональна базовая кривая B, и все такие минимальные поверхности S это рациональные линейчатые поверхности (поверхности Хирцебруха) Fn = PP (O O(n)).

Современная точка зрения обобщает двумерный результат на большие размерности: согласно программе минимальных моделей, всякое гладкое алгебраическое многообразие гипотетически (доказано в размерности 4) бирационально изоморфно либо минимальной модели, либо расслоению Мори, слоем которого является многообразие Фано, то есть многообразие X с обильным антиканоническим дивизором -KX. Проективная плоскость и поверхности Определения минимальной модели и изложение программы Мори см., например, в K. Matsuki Introduction to the Mori program Springer, 2002 478 pp.

Fn являются расслоениями Мори на двумерное и одномерные многообразия Фано, соответственно. В размерностях больше двух минимальная модель уже не обязательно гладкая, но в общем случае имеет терминальные особенности.

В связи с развитием упомянутой выше программы минимальных моделей, а также в виду интереса со стороны теоретической физики и других дисциплин, в последнее время особую роль в бирациональной геометрии стало играть изучение многообразий Фано.

Мы работаем над алгебраически замкнутым полем характеристики нуль.

Единственное одномерное многообразие Фано это проективная прямая P1.

Двумерные неособые многообразия Фано X называются также поверхностями дель Пеццо. Два основных инварианта поверхности дель Пеццо это её антиканонические индекс и степень. Индексом многообразия Фано X называется наибольшее целое число i, такое что антиканонический класс представим как i-кратное некоторого дивизора Картье H, то есть -KX = iH. Степень это квадрат канонического класса d := (-KX)2. Единственная поверхность дель Пеццо индекса 3 проективная плоскость P2, и её антиканоническая степень равна 9. Поверхность дель Пеццо индекса 2 это квадрика в P3, её антиканоническая степень равна 8. Поверхность дель Пеццо индекса 1 может иметь любую целую степень d в пределах 1 d 8, и уже не минимальна, но является раздутием проективной плоскости P2 в 9 - d точках общего положения (никакие три точки не лежат на одной прямой, никакие шесть точек не лежат на конике, никакие восемь точек не лежат на нодальной кубике с нодом в одной из этих восьми точек).

Г. Фано изучал трехмерные гладкие многообразия, линейные сечения которых являются каноническими кривыми (в частности, антиканонический дивизор на таких многообразиях обилен).

В. А. Исковских классифицировал гладкие трехмерные многообразия Фано основной серии, окончательная классификация гладких трехмерных многообразий Фано была получена Мори и Мукаем.

Основные численные инварианты трёхмерных многообразий Фано это их индекс, степень, ранг группы Пикара и третье число Бетти.

Позже Мукай заново описал трёхмерные многообразия Фано основной серии, рассматривая векторные расслоения на поверхностях K3 получающихся антиканоническим сечением трёхмерного многообразия. Этим же методом была получена классификация 4-мерных многообразий Фано с группой Пикара Z имеющих индекс больше 1. Задача классификации четырехмерных многообразий Фано с группой Пикара Z и индексом 1 в настоящее время открыта.

В диссертации иллюстрируется подход к нахождению гипотетических многообразий Фано и описанию их классических численных инвариантов вместе с некоторыми „квантовыми”, происходящими из инвариантов Громова–Виттена.

Исторически, зеркальная симметрия была сформулирована как соответствие (зеркальная симметрия) между ромбами Ходжа разных семейств трёхмерных многообразий X с тривиальным каноническим классом (многообразий Калаби–Яу). Для пары численно зеркально симметричных многообразий Калаби–Яу A и B, h1,2(A) = h1,1(B) и h1,1(A) = h1,2(B). Это размерности пространств параметров комплексных и кэлеровых структур, и таким образом появилась гипотеза зеркальной симметрии постулирующая что между комплексной геометрией A и симплектической геометрией B есть эквивалентность, и наоборот. У этого утверждения есть разные формулировки, например гомологическая зеркальная симметрия утверждает что ограниченная производная категория Db(X) когерентных пучков на X совпадает с категорией Фукаи Y См. [Is88] В. А. Исковских, Лекции по трехмерным алгебраическим многообразиям.

Многообразия Фано, -М.: Московский университет (1988).

S. Mukai, Biregular classification of Fano threefolds and Fano manifolds of coindex 3, Proc.

Natl. Acad. Sci. USA. 86 (1989), 3000–Категория Фукаи это зависящая от симплектическй структуры A-категория, объекты в которой представлены лагранжевыми циклами, морфизмы их пересечениями, а произведения заклеиваниями псевдоголоморфными дисками.

См.: [M. L. Kontsevich, Homological algebra of mirror symmetry, Proc. International Congress of Вернёмся к невырожденному случаю многообразий (почти) Фано, и сформулируем интересующую нас версию зеркальной симметрии для них.

Используя 3-точечные инварианты Громова–Виттена можно построить кольцо малых квантовых когомологий QH•(X, ) многообразия Фано X. Это свободный -модуль H•(X, ), со структурой кольца заданной посредством -умножения:

1 2 = qI(1, 2, 3)3, 3, где 3 класс когомологий Пуанкаре–двойственный к 3, 3 в суммировании пробегает базис когомологий H•(X, Q), в суммировании пробегает всю группу гомологий H2(X, Z); а символом I(1, 2, 3) обозначен соответствующий 3-точечный инвариант Громова–Виттена. Наивный смысл этого инварианта число рациональных кривых на X имеющих гомологический класс и пересекающих представителей 3 гомологических классов Пуанкаре– двойственных к 1, 2 и 3 (достаточно общим образом выбранных), если таких кривых конечное число, и 0 иначе. -умножение суперкоммутативно (и уважает естественную Z/2Z-градуировку, далее мы ограничимся чётными элементами) и является деформацией обычного умножения в когомологиях X, а его ассоциативность глубокий и плодотворный результат теории. Переформулированная на языке классической исчислительной геометрии, ассоциативность квантового умножения становится бесконечным набором неочевидных соотношений между числами кривых различных степеней; эти соотношения очень интересны уже в случае проективной плоскости P2, и кроме этого позволяют вычислить инварианты на раздутии поверхности через инварианты на минимальной модели.

По кольцу малых квантовых когомологий можно построить дифференциальное уравнение зеркальной симметрии (или квантовый Mathematicians (Zrich 1994), Birkhuzer, Basel, 1995, pp. 120–139, arXiv:alg-geom/9411018.] Обозначим символом = Q[H2(X, Z)] кольцо Новикова функций qH (X,Z) на торе двойственном к решётке характеров группы Пикара многообразия Фано X.

D-модуль) следующим образом: рассмотрим тривиальное расслоение со слоем H•(X, C) над тором Spec ; зададим на этом расслоении связность так, что дифференцирование горизонтального сечения с помощью этой связности вдоль инвариантного векторного поля равно квантовому умножению сечения на класс соответствующего дивизора.

Пусть M некомпактное многообразие, и w : M A1 такая функция на нём, что общий слой w бирационален многообразию с тривиальным каноническим классом. Пара (M, w) называется (слабой) моделью Ландау–Гинзбурга зеркально двойственной к многообразию Фано X, если связность Гаусса–Манина семейства Mw совпадает с определенной выше связностью построенной с помощью квантового умножения на X (то есть, периоды Mw являются решениями дифференциального уравнения зеркальной симметрии).

Гипотеза зеркальной симметрии вариаций структур Ходжа. Существует соответствие между многообразиями Фано X и зеркально двойственными им моделями Ландау–Гинзбурга (M, w). Другими словами, для произвольного многообразия Фано X, построенное с помощью данных исчислительной геометрии на многообразии X дифференциальное уравнение имеет геометрическое происхождение (является уравнением Пикара–Фукса некоторого семейства).

Гипотезу гомологической зеркальной симметрии можно сформулировать и в случае многообразий Фано: категория Db(X) эквивалентна категории исчезающих лагранжевых циклов (это относительный вариант категории Фукаи), „и наоборот”.

В дальнейшем под гипотезой зеркальной симметрии мы будем иметь в виду утверждение про вариации структур Ходжа.

Известны кандидаты на (гомологически) двойственные модели Ландау–Гинзбурга для поверхностей дель Пеццо, для полных D. Auroux, L. Katzarkov, D. Orlov, Mirror symmetry for Del Pezzo surfaces: Vanishing cycles and coherent sheaves, Invent. Math. 166, No. 3 (2006), 537–7 пересечений в грассманианах и пространствах флагов.

Торические многообразия класс рациональных многообразий несравнимо легче поддающийся классификации чем абстрактные многообразия Фано. Зеркальная симметрия для торических многообразий (и полных пересечений в них) была установлена в работах Гивенталя, Батырева и Борисова. Используя малые торические вырождения многообразий Грассмана и многообразий частичных флагов, в работах [BFKS1],[BFKS2] были получены зеркальные партнеры к этим однородным многообразиям.

Вскоре, Батыревым было введено понятие малого торического вырождения произвольного многообразия Фано, обобщающее примеры с многообразиями флагов, и предложен подход к нахождению инвариантов Громова–Виттена и построения зеркально симметричных моделей Ландау–Гинзбурга с помощью малых вырождений гладких многообразий Фано в торические многообразия Фано с особенностями. Именно этот подход и используется в данной работе.

Как показано далее в диссертации, к сожалению, не все трехмерные многообразия имеют малые торические вырождения, однако, некоторые интересные многообразия всё-таки имеют, и в этих случаях сам факт существования вырождения позволяет решить иногда нетривиальные задачи исчислительной геометрии (например, найти инварианты Громова–Виттена многообразия V22 или V5), и метод торических вырождений может быть использован для описания неторических многообразий Фано в больших размерностях.

[BFKS1] V. V. Batyrev, I. Ciocan-Fontanine, B. Kim, D. van Straten, Conifold transitions and mirror symmetry for calabi-yau complete intersections in grassmannians, 1997, arXiv:math.alggeom/[BFKS2] V. V. Batyrev, I. Ciocan-Fontanine, B. Kim, D. van Straten, Mirror Symmetry and Toric Degenerations of Partial Flag Manifolds, Acta Math. 184, No. 1 (2000), 1–39 (preprint (1998), arXiv:math.AG/9803108).

V. V. Batyrev, Toric Degenerations of Fano Varieties and Constructing Mirror Manifolds, Collino, Alberto (ed.) et al., The Fano conference. Papers of the conference, Torino, Italy, September 29–October 5, 2002. Torino: Universita di Torino, Dipartimento di Matematica. 109– 122 (2004) (preprint (1997), arXiv:alg-geom/9712034).

Цель работы Цель работы исследование гипотез и конструкций зеркальной симметрии, в особенности торических вырождений, для многообразий Фано малой размерности, нахождение максимально вырожденных моделей Ландау–Гинзбурга и малых торических вырождений многообразий Фано.

Структура и объем диссертации Диссертационная работа изложена на 121 странице и состоит из введения и трех глав. Библиография включает 72 наименования.

Научная новизна Основные результаты диссертации являются новыми и состоят в следующем:

1. Для квантово минимальных поверхностей дель Пеццо S степени d 3 существует слабая модель Ландау–Гинзбурга являющаяся компактификацией многочлена Лорана f на двумерном торе, причём у функции f только три критических значения. Показано, что не квантово минимальные поверхности дель Пеццо S являются квантово минимальными с параметром(и существует аналогичная функция f с 3 критическими значениями, являющаяся слабой зеркально симметричной моделью Ландау–Гинзбурга для (X, )).

2. Найдены все трёхмерные гладкие многообразия Фано имеющие малые торические вырождения, и описано к каким торическим многообразиям они вырождаются.

3. Дана явная формула для спектра оператора квантового умножения на класс Шуберта в кольце квантовых когомологий грассманиана.

Pages:     || 2 |






© 2011 www.dissers.ru - «Бесплатная электронная библиотека»