Когомологии квазиоднородных компонент в пространстве модулей пучков тема автореферата и диссертации по математике, 01.01.04 ВАК РФ

Буряк, Александр Юрьевич АВТОР
кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ
Москва МЕСТО ЗАЩИТЫ
2013 ГОД ЗАЩИТЫ
   
01.01.04 КОД ВАК РФ
Автореферат по математике на тему «Когомологии квазиоднородных компонент в пространстве модулей пучков»
 
Автореферат диссертации на тему "Когомологии квазиоднородных компонент в пространстве модулей пучков"

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИМЕНИ М. В. ЛОМОНОСОВА.

На правах рукописи УДК 512.725+519.116

Буряк Александр Юрьевич.

Когомологии квазиоднородных компонент в пространстве

модулей пучков

Специальность 01.01.04 - геометрия и топология

АВТОРЕФЕРАТ 005059052

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

1 В МАЙ 2013

Москва, 2013

005059052

Работа выполнена на кафедре высшей геометрии и топологии Механико-математического факультета Московского государственного университета имени М. В. Ломоносова.

Научный руководитель: доктор физико-математических наук,

профессор Гусейн-Заде Сабир Меджидович

Официальные оппоненты: Казярян Максим Эдуардович

доктор физико-математических наук, (ФГБУН "Математический институт имени В.А. Стеклова Российской академии наук", ведущий научный сотрудник)

Эстеров Александр Исаакович кандидат физико-математических наук, (ФГАОУ ВПО

"Национальный исследовательский университет "Высшая школа экономики", доцент)

Ведущая организация: ФГБУН "Институт проблем передачи

информации им. A.A. Харкевича Российской академии наук"

Защита диссертации состоится 31 мая 2013 г. в 16 ч. 45 мин. на заседании диссертационного совета Д.501.001.84 при Московском государственном университете имени М. В. Ломоносова по адресу: Российская Федерация, 119991, Москва, ГСП-1, Ленинские горы, д.1, Московский государственный университет имени М. В. Ломоносова, Механико-математический факультет, аудитория 14-08.

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

Автореферат разослан 30 апреля 2013 г. Ученый секретарь

диссертационного совета '

Д.501.001.84 при МГУ доктор физико-математических наук, профессор

Иванов Александр Олегович

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

Актуальность темы.

Диссертация посвящена различным задачам геометрии схем Гильберта точек на комплексной плоскости, а также их обобщений - пространств модулей оснащённых пучков на проективной плоскости.

Схема Гильберта п точек на плоскости - это алгебраическое многообразие, параметризующее идеалы коразмерности п в кольце полиномов от двух переменных. Это пространство интенсивно изучается на протяжении последних 25 лет и является очень интересным объектом по многим причинам. Во-первых, его геометрия весьма нетривиальна и наделена разнообразными глубокими алгебраическими структурами. Во-вторых, это пространство богато связями с комбинаторикой, теорией представлений и математической физикой.

Первым толчком к изучению схем Гильберта точек на плоскости послужила работа Эллингсруда и Стромма1, где были вычислены их числа Бетти. Оказалось, что производящий ряд многочленов Пуанкаре схем Гильберта точек на плоскости очень красиво разлагается в бесконечное произведение. Кольцевая структура в когомологиях схем Гильберта была определена в другой работе Эллингсруда и Стромма2 с помощью образующих и неявного описания соотношений.

Далее Накаджима3 с помощью изящных геометрических конструкций построил действие алгебры Гейзенберга в когомологиях схем Гильберта, тем самым получив глубокую интерпретацию с точки зрения теории представлений результата первой работы Эллингсруда и Стромма. За этим последовала серия работ разных авторов, нацеленная на более явное описание кольцевой структуры в когомологиях схем Гильберта. В статье Лена4 кольцо когомоло-гий было отождествленно с некоторой явно описанной алгеброй дифференциальных операторов в кольце полиномов от бесконечного числа переменных. В работах Лена и Соргера5 и Вассеро6 кольцевая структура была описана в терминах кольца функций на симметрической группе. Наконец, Окуньковым

Ellingsrud, S. A. Stromme. On the homology of the Hilbert scheme of points in the plane. Inventiones Mathematicae 87 (1987), 343-352.

^G. Ellingsrud, A. Stromme, Towards the Chow ring of the Hilbert scheme of P2. J. reine angew. Math. 441 (1993), 33-44.

3H. Nakajima. Heisenberg algebra and Hilbert schemes of points on projective surfaces. Annals of Mathematics 145 (1997), 379-388.

4M. Lehn. Chern classes of tautological sheaves on Hilbert schemes of points on surfaces. Inventiones Mathematicae 136 (1999), no. 1, 157-207.

5M. Lehn and C. Sorger. Symmetric groups and the cup product on the cohomology of Hilbert schemes. Duke Mathematical Journal 110 (2001), no. 2, 345-357.

"E. Vasserot. Sur l'anneau de coliomologie du schema de Hilbert de C2. Comptes Rendus de l'Academie des Sciences - Series I - Mathematics 332 (2001), no. 1, 7-12.

1

и Пандхаринанде7 было получено описание квантовых когомологий схемы Гильберта.

Геометрия схем Гильберта тесно связана с богатой теорией (д, ¿)-чисел Ка-талана. (д, £)-число Каталана - это многочлен от двух переменных с неотрицательными целами коэффициентами, причём его значение при д = i = 1 равно обычному числу Каталана. Эти многочлены были впервые введены в работе Гарсии и Хаймана8, точнее говоря, они были определены как рациональные функции, тот факт, что это многочлены был высказан в качестве гипотезы. Определение было мотивировано серией гипотез про диагональные гармоники и тесно связано с теорией многочленов Макдональда. В работе Хаймана9 было доказано, что (д, ¿)-число Каталана совпадает с характером действия тора (С*)2 в глобальных сечениях некоторого расслоения над схемой Гильберта. Этот глубокий результат позволил наконец доказать ряд гипотез про (д, ¿)-числа Каталана.

Схема Гильберта п точек на плоскости имеет естественное обобщение - пространство модулей оснащённых пучков без кручения на проективной плоскости. Эти пространства нумеруются двумя целыми числами: рангом г и вторым классом Черна п. Схеме Гильберта соответствует случай г = 1. Числа Бетти пространств модулей пучков были вычислены в работе Накаджимы и Йошиоки10. Ряд результатов про схемы Гильберта может быть обобщён для пространств модулей пучков. Пространство модулей пучков является частичной комнактификацией пространства модулей инстантонов на сфере размерности четыре. Это является одной из причин того, что эти пространства представляют большой интерес с точки зрения физики. С ними связаны гипотезы Некрасова11, а также гипотеза АГТ12. Эти гипотезы являются объектами активных исследований в последние годы как среди математиков, так и среди физиков.

Пространство модулей пучков является источником большого семейства очень интересных пространств - так называемых колчанных многообразий. На пространстве модулей пучков имеется естественное действие группы бТ^С).

7A. Okounkov, R. Pandharipande. Quantum coliomology of the Hilbert scheme of points in the plane. Inventiones Mathematicae 179 (2010), no. 3, 523-557.

«A. Gaisia, M. Haiman. A remarkable q, f-Catalan sequence and g-Lagrange inversion. Journal of Algebraic Combinatorics 5 (1D96), no. 3, 191-244.

°M. Haiman. q, ¿-Catalan numbers and the Hilbert scheme. Selected papers in honor of Adriano Garsia (Taormina, 1994). Discrete Mathematics 193 (1998), no. 1-3, 201-224.

Nakajima, K. Yoshioka. Instanton counting on blowup. I. 4-dimensional pure gauge theory. Inventiones Mathematicae 162 (2005), no. 2, 313-355.

Nakajima, K. Yoshioka. Instanton counting on blowup. I. 4-dimensional pure gauge theory. Inventiones Mathematicae 162 (2005), no. 2, 313-355.

120. Sohiffmann, E. Vasscrot. Chcrcxlnik algebras, W-algcbras and tlio equivariant coliomology of the moduli space of instantons on A2. arXiv:1202.2756.

Возьмём конечную подгруппу в SL2 (С) и рассмотрим множество неподвижных точек её действия на пространстве модулей пучков. Компоненты этого множества являются колчанными многообразиями аффинного типа. Они были впервые рассмотрены Накаджимой13. В когомологиях этих колчанных многообразий реализуются представления аффинных алгебр Ли14, а также соответствующих янгианов15.

Двумерный комплексный тор действует на плоскости перемаштабировани-ем координат, таким образом индуцируется его действие на схеме Гильберта. Это действие играет ключевую роль в изучении этих пространств. Множество неподвижных точек действия двумерного тора на схеме Гильберта конечно. Если же выбрать какой-либо одномерный подтор в двумерном торе, то множество неподвижных точек действия этого иодтора на схеме Гильберта уже не будет нульмерным. Это множество называется квазиоднородной схемой Гильберта.

Впервые квазиоднородные схемы Гильберта рассматривались в работе Йар-робино16, там были описаны неприводимые компоненты в частном случае, когда веса действия одномерного тора на плоскости равны 1. В общем случае неприводимые компоненты были описаны в работе Эвана17. В этом плане квазиоднородная схема Гильберта существенно отличается от обычной схемы Гильберта точек на плоскости. Последняя неприводима, в то время как первая обладает большим числом неприводимых компонент. Числа Бетти неприводимых компонент квазиоднородной схемы Гильберта в случае, когда веса равны 1, были вычислены в статье Йарробино и Йамеого18.

Данная диссертация посвящена изучению квазиоднородных схем Гильберта и их непосредственных обобщений в пространстве модулей пучков на проективной плоскости.

Цель работы.

Целью работы является вычисление когомологий квазиоднородных компонент в пространстве модулей пучков на проективной плоскости и исследование связей с комбинаторикой и теорией представлений.

Научная новизна.

В диссертации получены следующие основные результаты:

1 о

"Н. Nakajima. Instantons on ALE spaces, quiver varieties, and Kac-Moody algebras. Duke Mathematical Journal 70 (1994), 365-416.

14H. Nakajima. Quiver varieties and Kac-Moody algebras. Duke Mathematical Journal 91 (1998), 515-560.

15M. Varagnolo. Quiver varieties and Yangians. Letters in Mathematical Physics 53 (2000), 273-283.

1®A. Iarrobino. Punctual Hilbert schemes. Memoirs of the American Mathematical Society 188 (1977).

17L. Evain. Irreducible components of the equivariant punctual Hilbert schemes. Advances in Mathematics 185 (2004), no. 2, 328-346.

. Iarrobino, J. Yameogo. The family Gt of graded artinian quotients of k[x,y] of given Hilbert function. Special issue in honor of Steven L. Kleiman. Communications in Algebra 31 (2003), no. 8, 3863-3916.

3

1. Получена формула для производящего ряда многочленов Пуанкаре квазиоднородных схем Гильберта точек на плоскости.

2. В случае, когда один из весов равен 1, вычислены многочлены Пуанкаре всех неприводимых компонент квазиоднородной схемы Гильберта.

3. Установлено, что производящий ряд чисел квазиоднородных компонент в пространстве модулей пучков совпадает с характером аффинной алгебры Ли.

4. Обнаружена новая геометрическая интерпретация q, f-чисел Каталана.

5. Получена геометрическая интерпретация обобщения тождества Мак-Магона.

Основные методы исследования.

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

Теоретическая и практическая ценность.

Диссертация имеет теоретический характер. Полученные в диссертации результаты представляют интерес для специалистов rio алгебраической геометрии, комбинаторике и теории представлений.

Апробация результатов.

Результаты диссертации докладывались на следующих научно-исследовательских семинарах и научных конференциях:

• Семинар "Алгебраическая топология и приложения" (рук. чл.-корр. РАН В .М. Бухштабер, проф. А. В. Чернавский, проф. И. А. Дынни-ков, проф. Т. Е. Панов, доц. JI. А. Алания); Механико-математический факультет МГУ, Москва - 2012 г.

• Семинар 'Топология особенностей" (рук. проф. С. М. Гусейн-Заде); Механико-математический факультет МГУ, Москва - неоднократно в 2011 и 2012 гг.

• Семинар "Характеристические классы и теория пересечений" (рук. проф. М.Э.Казаряна и проф. С.К.Ландо); Национальный исследовательский университет "Высшая школа экономики", Москва - в 2012 г.

• Семинар "Algebra and Geometry"; институт Кортевега-де Фриза университета Амстердама - неоднократно в 2010 и 2011 гг.

• Международная конференция "Conference on Singularities, Geometry and Topology", El Escorial, Spain, October 11-16, 2010.

• Международная конференция "Alexandroff Readings", Moscow, May 2125, 2012.

• Международная конференция "Analysis and Singularities", Moscow, December 17-21, 2012.

Публикации.

Основное содержание диссертации опубликовано и трёх работах, список которых приведен в конце автореферата [1-3].

Структура диссертации.

Диссертация состоит из введения, пяти глав, двух дополнений и списка литературы. Полный объем диссертации - 69 страниц, библиография включает 57 наименований.

Краткое содержание работы

Во введении мы приводим мотивацию наших исследований и объясняем основные результаты и структуру работы.

Содержание главы 1. В Главе 1 мы напоминаем основные определения и результаты, касающиеся схемы Гильберта точек на плоскости и пространства модулей пучков.

Схемой Гильберта п точек на плоскости (С2)'"' называется множество идеалов коразмерности п в кольце полиномов от двух переменных, то есть

(С2)н = {1С С[х,у]\1 - идеал и сЦтС[а:,у]/7 = п}.

На (С2)'"' имеется естественная структура комплексного алгебраического многообразия, относительно которой (<С2)М является гладким квазиироективным многообразием размерности 2п. Пространство модулей М(г,п) определяется следующим образом.

М(г,п) = ^ (£, Ф)

Е\ пучок без кручения на Р2

rankE=r,c2{E)=n I. j иЗОМОрфиЗМЫ,

ф: Е\—► оснащение

где loo = {[0 : 2i : 22] g Р2} с Р2 - прямая на бесконечности. На М(г,п) имеется естественная структура комплексного алгебраического многообразия. Относительно этой структуры Л4(г,п) является гладким квазиироективным многообразием размерности 2гп.

Пространства модулей М{г, п) являются обобщением схемы Гильберта (С2)!"', так как нетрудно показать, что М(1,п) изоморфно (С2)'"'.

Числа Бетти многообразия М.{г,п) описываются следующей формулой. Многочлен Пуанкаре Pq{X) топологического пространства X мы определяем как Pq(X) = dim Ih{X; Q)q§. Накаджимой и Йошиокой был получен следующий результат.

n>0 ¿=1 тг>1 4

Содержание главы 2. В Главе 2 мы напоминаем определение циклических колчанных многообразий и докажем ряд утверждений, которые нам понадобятся в последующих главах. Эти утверждения носят вспомогательный характер, поэтому мы не будем подробно на них останавливаться в рамках автореферата.

Содержание главы 3. Глава 3 содержит результаты, касающиеся квазиоднородных схем Гильберта.

Дадим определение квазиоднородной схемы Гильберта. Зададим (<С*)2-дейст-вие в алгебре полиномов С[ж,у] равенством (¿i,¿2) • Р(х>у) = Это действие индуцирует (С*)2-действие на множестве идеалов. Значит, мы получаем (С*)2-действие на схеме Гильберта (С2)М. Зафиксируем теперь два положительных взаимно простых целых числа а и /3 и определим одномерный подтор Taj3 с (С*)2 равенством

Квазиоднородная схема Гильберта определяется как множество неподвижных точек ((С2)Н)Га^.

Одним из основных результатов диссертации является следующая теорема. Теорема 3.1. Имеет место разложение в бесконечное произведение.

((«?>«)*•)П т^Пт^г

п>0 4 ' г>1 ¿>1 4

(а+№

В качестве следствия из этой теоремы можно вывести нетривиальное чисто комбинаторное тождество. Теорема Бялыницки-Бируля позволяет построить клеточное разбиение квазиоднородной схемы Гильберта. Это даёт комбинаторную формулу для чисел Бетти квазиоднородной схемы Гильберта. Если теперь применить Теорему 3.1, то получится следующий результат.

Через У мы обозначаем множество всех диаграмм Юнга. Для диаграммы Юнга Y и клетки s Е Y определим числа W{s) и ay(s), см. Рис. 1.

s * *

Y

lY(s) = количество 4 ay(s) — количество Ф

Рис. 1 6

Теорема 3.13. Пусть а и /3 - произвольная пара положительных взаимно простых целых чисел. Имеет место тождество

Е Ж^У\с1уМ=0(ау(в)+1)}АУ\ _ ТТ 1 ТТ 1

11 1-р111

У£У ¿>1 ¡>1 4

(«+/?№

В отличие от обычной схемы Гильберта (С2)^, которая неириводима, квазиоднородная схема Гильберта ((С2)'"') обладает в общем случае большим числом неприводимых компонент. Ещё одним результатом Главы 3 является формула для многочленов Пуанкаре неприводимых компонент квазиоднородной схемы Гильберта в случае, когда а = 1. Пусть к > 1. Неприводимые компоненты многообразия ((С2)М)Ти нумеруются последовательностями Н — ...) из неотрицательных целых чисел с^ с суммой, равной тг и удовлетворяющих некоторому дополнительному свойству, на котором мы не будем здесь подробно останавливаться. Мы называем эти последовательности допустимыми. Обозначим через ((С2)'"')д!'1"" неприводимую компоненту

квазиоднородной схемы Гильберта ((С2)[п]) , соответствующую последовательности н.

Обозначим через Т]{Н) наибольшее г, такое что ^ = + 1. Мы полагаем г]{Н) = —1, если Н = (0,0,...). Определим вспомогательную функцию г равенством

... 11, если к I г + 1,

т(г) = Ь / > • , 1

10, если/с {г+ 1.

Определим д-биномиальные коэффициенты равенством

^ в"" - в*) Жг^а - в1)"

Теорема 3.4. Пусть Н = (¿о, сії,...) - допустимая последовательность неотрицательных целых чисел ип= ^¿і, тогда

і> о

¿і - ¿і+і+и + т(г)

і>і)(Н) У

Отметим, что случай, когда либо а, либо /3 равно 1, является по непонятным причинам особенным. В общем случае конкретные примеры показывают, что многочлены Пуанкаре неприводимых компонент квазиоднородных схем Гильберта не могут быть представлены ни в виде произведения ("/-биномиальных коэффициентов, ни даже в виде конечного произведения множителей вида (1 — д1)йі.

Содержание главы 4. В Главе 4 исследуется количество квазиоднородных компонент в пространстве модулей пучков на проективной плоскости.

Двумерный комплексный тор действует на проективной плоскости: (¿і, £2) ■ (х : у : г) — {Ь\Х,І2у,г). Это действие индуцирует (С*)2-действие на пространстве модулей М.{г,п). Если фиксировать оснащённый пучок на проективной плоскости, то на его оснащении можно подействовать тором (С*)г. Таким образом, на пространстве модулей М(г,п) действует (г + 2)-мерный тор (С*)2 х (С*)г. Пусть а и /3 - положительные взаимно простые числа и

Ш = (ші,и»2) • • ■ ,Шг) є V

произвольный вектор, удовлетворяющий условию 0 < и>і < а + /3. Определим одномерный подтор Т^р С (С*)2 х (С*)г равенством

Определим вектор р = (ро, р\,... ,ра+р-{) Є равенством рі = =

г}, а вектор р Є 2'¡^ формулой рі = р-іа тоаа+з-

Обозначим через Ек, Нк, к = 1,2,..., а + /?, стандартные образующие алгебры Ли з1а+р. Пусть V - неприводимое представление алгебры Ли зІа+із со старшим весом р. Обозначим через х Є V вектор старшего веса. Пусть Ур - векторное подпространство пространства V, порождённое векторами ... ҐцХ. Определим характер равенством

хМ =

р> о

Через ЛорО мы будем обозначать количество связных компонент в многообразии X. Глава 4 посвящена доказательству следующей теоремы. Теорема 4.1. Имеет место равенство

(.м{г,прчп = хМ-

п> О

Содержание главы 5. В Главе 5 устанавливается взаимосвязь геометрии неподвижных точек действия тора на пространстве модулей пучков с комбинаторикой плоских разбиений.

Плоским разбиением 7г называется диаграмма Юнга, заполненная положительными целыми числами, невозрастающими вдоль строк и столбцов. Обозначим эту диаграмму Юнга через У. Число, записанное в клетке (г, ]) Є У, обозначается через щ^. По определению, мы полагаем = 0, если (г, і) ^ У.

Положим |-тг| = Множество всех плоских разбиений мы обозна-

чим через V.

Имеется следующая формула Мак-Магона:

оо 1

У\м = ТТ_-_

II (1 _ дП\п

71=1 ^ '

тгер

Недавно в работе М. Вулетич было найдено обобщение этой формулы. Для неотрицательных целых чисел пит положим

'п-1

Т1> 1,

П1 -дНт+1 _ 1

/(п, т)= { ¿=0

1, п = 0.

Пусть 7г - плоское разбиение. Определим разбиения А,д и ¡/ формулами

А = (71-^,71^-1^+1,. ■ •)>

М = Ь • • ■)>

Функция ^(г, определяется равенством

/(Ах - /лт+1, т)/(А1 - г/т+1,т)

Яг(м)(д,*) = П

т=0

/(Аі - А,п+і,ш)/(А1 - Ат+2,т)'

Пример изображён на Рис. 2.

гг

3 2 1

3 2 2

4 4 3 1|Ц

1

1 - дЧ 1 - д3і3

1-ді 1 - д2*2 1 - дЧ2

РИС. 2

Для плоского разбиения 7Г положим

Яг(<7>«) = П РЛьШ*)-

(У)ея-

В работе М. Вулетич доказано, что

1 - ¿5'У 1 — 8пдк

,ппк\ "

Основным результатом Главы 5 является геометрический смысл функций 0). Мы показываем, что неприводимые компоненты множества неподвижных точек Л4(г, п)(С*' нумеруются плоскими разбиениями 7Г с условием |7г| = п и 7Го,о < г. Неприводимую компоненту, соответствующую плоскому разбиению 7г, мы обозначаем через М.(г,п)ж ' .

Пусть 7г плоское разбиение и п = 17т|. Имеется цепочка вложений:

М(щ,о, М(що + 1, n)tc*)2 М(що + 2, м-...

Обозначим через М(сю, n)iC '' предельное пространство. Теорема 5.1. Выполняется равенство Fn(q, 0) = Pq ^Л4(со, n)l-C ' j.

Содержание приложений. Приложение А содержит нужные нам определения, обозначения и результаты, касающиеся разбиений и диаграмм Юнга.

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

Благодарности

Автор выражает глубокую благодарность своему научному руководителю проф. С. М. Гусейн-Заде за постановку задачи, многочисленные полезные советы и обсуждения.

Автор благодарит проф. Б. J1. Фейгина и проф. С. В. Шадрина за плодотворные обсуждения и поддержку.

Автор очень признателен всему коллективу кафедры высшей геометрии и топологии механико-математического факультета МГУ за хорошую атмосферу и поддержку.

Работы автора по теме диссертации

1. A. Buryak, В. L. Feigin. Generating series of the Poincare polynomials of quasihomogeneous Hilbert schemes. Symmetries, Integrable Systems and Representations, 15-33, Springer Proceedings in Mathematics and Statistics 40 (2013). Автору диссертации принадлежат Теоремы 1.1 о когомологиях квазиоднородных схем Гильберта, Теорема 1.2 о статистиках на диаграммах Юнга и Теорема 1.3 о комбинаторном тождестве с д-биномиальными коэффициентами.

2. A. Buryak, В. L. Feigin. Homogeneous components in the moduli space of sheaves and Virasoro characters. Journal of Geometry and Physics 62 (2012), no. 7, 1652-1664. Автору диссертации принадлежит доказательство Теоремы 1.1 в случае чётного г.

3. A. Buryak. The classes of the quasihomogeneous Hilbert schemes of points on the plane. Moscow Mathematical Journal 12 (2012), no. 1, 1-17.

Отпечатано в отделе оперативной печати Геологического ф-та МГУ Тираж | экз. Заказ №