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

на правах рукописи УДК 512.772.5+517.546.3

шадрин сергей викторович

ПЕРЕСЕЧЕНИЯ НА ПРОСТРАНСТВЕ МОДУЛЕЙ КРИВЫХ

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

АВТОРЕФЕРАТ

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

москва, 2005

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

Научные руководители:

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

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

ГНЦ РФ Институт теоретической и экспериментальной физики имени А. И. Алиханова

на заседании диссертационного совета Д.501.001.84 в Московском государственном университете имени М. В. Ломоносова по адресу: 119992, ГСП-2, Москва, Ленинские горы, МГУ, механико-математический факультет, аудитория 14-08.

С диссертацией можно ознакомиться в библиотеке механико-математического факультета МГУ (Главное здание, 14 этаж).

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

профессор В. М. Закалюкин доктор физико-математических наук С. М. Натанзон

2005 г. в 16 ч. 15 мин.

Автореферат разослан

2005 г.

Д.501.001.84 в МГУ /

профессор

Ученый секретарь диссертационного совета

В. Н. Чубариков

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

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

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

Наиболее яркими результатами в этой области за последнее время являются, по все видимости, теорема Кон-цевича1, доказывающая гипотезу Виттена2 о связи теории пересечений на пространстве модулей кривых со струнным решением иерархии Кортвега-де-Фриза (эта теорема доказана также Окуньковым и Пандхарипанде3 и, совсем недавно, Мирзахани4), и формула Экедаля-Ландо-Шапиро-Вайнштейна5(формула ELSV), выражающая числа Гурвица через пересечения на пространстве модулей кривых.

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

'M. Kontsevich, Intersection theory on the moduli space of curves and the matrix Airy function, Comm. Math. Phys. 147 (1992), 1-23.

2E. Witten, Two-dimensional gravity and intersection theory on moduli space, Surveys in Differential Geometry (Cambridge, Mass, 1990), vol. 1, Lehigh University, Pennsylvania, 1991, pp. 243-269.

3A. Okounkov, R. Pandharipande, Gromov-Witten theory, Hurwitz numbers, and matrix models, Part I, arXiv: math.AG/0101147.

4M. Mirzakhani, Weil-Peterson volumes and intersection theory on the5 moduli space of curves, preprint 2004.

5T. Ekedahl, S. Lando, M. Shapiro, A. Vainshtein, On Hurwitz numbers and Hodge integrals, С R. Acad. Sci. Paris Ser. I Math. 328 (1999), 1175-1180; T. Ekedahl, S. Lando, M. Shapiro, A. Vainshtein, Hurwitz numbers and intersections on moduli spaces of curves, Invent. Math. 146 (2001), 297-327.

eE. Witten, Algebraic geometry associated with matrix models of two-dimensional gravity, Topological Methods in Modern Mathematics (Stony Brook, NY, 1991), Publish or Perish, Texas, 1993, pp. 235-269.

1

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

Параллельно шла работа над пониманием структуры тавтологического кольца пространства модулей кривых. Тавтологическое кольцо - это минимальное подкольцо в кольце когомологий, включающее в себя все "геометиче-ские" классы когомологий. Гипотетическое описание тавтологического кольца дано в работах Хайна-Лойенги8 и Фабера9 (см. также обзор Вакиля10). В частности, важным шагом к пониманию структуры тавтологического кольца оказался подсчет интегралов Ходжа в работах Фабера и Пандхарипанде11.

Появление формулы ELSV с одной стороны, позволило свести некоторые задачи теории пересечений к комбинаторике чисе Гурвица, а с другой стороны - использовать накопленные знания про пересечения для получения новых формул и соотношений на числа Гурвица. Существует несколько подходов к получению обобщений формулы

7Т. J. Jarvis, Т. Kimura, A. Vaintrob, Moduli spaces of higher spin curves and integrable hierarchies, Compositio Math. 126 (2001), 157-212; A. Polishchuk, Witten's top Chern class on the moduli space of higher spin curves, arXiv: math.AG/0208112; A. Polishchuk, A. Vaintrob, Algebraic construction of Witten top Chern class, Advances in Algebraic Geometry Motivated by Physics (E. Previato, ed.), Amer. Math. Soc, Providence, 2001, pp. 229-250.

8R. Hain, E. Looijenga, Mapping class groups and moduli spaces of curves, Proc. Sympos. Pure Math., vol. 62, Amer. Math. Soc, Providence, PJ, 1997, pp. 97-142.

9C. Faber, A conjectural description of the tautological ring of the moduli space of curves, Moduli of Curves and Abelian Varieties, Aspects. Math., E33, Vieweg, Braunschweig, 1999, pp. 109-129.

10R. Vakil, The moduli space of curves and its tautological ring, Notices Amer. Math. Soc. 50 (2003), no. 6, 647-658.

"C. Faber, R. Pandharipande, Hodge integrals and Gromov-Witten theory, Invent. Math. 139 (2000), 173-199; С Faber, R. Pandharipande, Logarithmic series and Hodge integrals in the tautological ring, Michigan Math. J. 48 (2000), 215-239; C. Faber, R. Pandharipande, Hodge integrals, partition matrices, and the К conjecture, Ann. Math. 156 (2002), 97-124.

ELSV, описанных в работах Казаряна и Ландо12, Гульдена, Джексона и Вакиля13, и Шапиро и Вайнштейна14.

Цель работы.

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

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

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

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

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

(1) Получен новый алгоритм вычисления некоторых типов интегралов Ходжа. Для простейших интегралов Ходжа дана формула в виде суммы по графам.

(2) Получена новая формула, связывающая числа Гур-вица с пересечениями на пространстве модулей кривых. С помошью этой формулы получены новые нетривиальные соотношения на числа Гурвица, а также дана новая интерпретация уравнений типа "cut-and-join".

12М. Э. Казарян, С. К. Ландо, К теории пересечений на пространствах Гурвица, Изв. РАН, сер. матем., т. 68, вып. 5, 82-113 (2004).

13I. P. Goulden, D. M. Jackson, R. Vakil, Towards the geometry of double Hurwitz numbers, arXiv: math.AG/0309440.

14M. Shapiro, A. Vainshtein, Double Hurwitz numbers and the intersection form on the moduli space in genus 0, preprint 2004.

15E.-N. Ionel, Topological recursive relations in Н2з{Мдп), Invent. Math. 148 (2002), 627-658.

з

(3) Получен алгоритм вычисления для некоторого специального класса чисел Мамфорда-Мориты-Милле-ра, составляющих предмет расширенной гипотезы Виттена. С помощью этого алгоритма проведена экспериментальная проверка расширенной гипотезы Виттена в некоторых частных случаях.

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

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

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

Результаты диссертации докладывались на международных конференциях по теории особенностей в Эдинбурге (Великобритания, 2003) и Обервольфахе (Германия, 2003), на международной конференции, посвященной столетию Колмогорова (Москва, 2003), на международной конференции по фробениусовым многообразиям в Энсхе-де (Нидерланды, 2002), на семинарах по геометрии в университетах Утрехта (Нидерланды, 2003), Стокгольма и Уппсалы (оба - Швеция, 2003), на семинаре по математической физике в Институте теоретической и экспериментальной физике (Москва, 2004), на семинарах по топологии (2002 и 2003) и по римановым поверхностям (2002) в Независимом московским университете, на семинарах по топологии особенностей (2002) и по динамическим системам (2002) в Московском государственном университете.

Публикации.

Основные результаты опубликованы в 4 работах, список которых приведен в конце автореферата, см. [1-4].

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

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

библиография включает 47 наименований.

4

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

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

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

1). Далее, на интегралы по циклам двухточечных ветвлений мы приводим уравнение типа "cut-and-jom" (теорема 2). Это уравнение позволяет свести любой рассматриваемый интеграл к некоторым простейшим, значения которых мы тоже вычисляем (теорема 3). Далее, в случае когда мы рассматриваем интегралы с участием старшего класса Ходжа, удается получить формулу для интегралов через сумму по графам (теорема 4), имеющую нетривиальные комбинаторные следствия (следствия 1 и

2). Отдельно мы разбираем случай рода ноль, где возникает особенно простая комбинаторика (теорема 5).

В главе 2 мы исследуем числа Гурвица. В частности, мы выражаем полиномиальные двойные числа Гурвица через пересечения на циклах двухточечных ветвлений (теорема 6), и, пользуясь формулами из предыдущей главы, приводим новые линейные соотношения на числа Гурвица (следствие 3). Также мы приводим новое доказательство соотношения типа "cut-and-join" для чисел Гурвица (следствие 4). В случае, когда мы рассматриваем числа Гур-вица с одним непростым ветвлением, являющемся полиномиальным, мы приводим альтернативное независимое доказательство следствия 3, основаное на формуле ELSV (следствие 5).

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

5

рекурсии для иерархии иерархии Буссинеска (утверждение 7). Далее, для чисел пересечений Мамфорда-Мориты-Миллера мы приводим аналоги теорем 1, 2 и 3, позволяющие вычислять их в частных случаях (теоремы 8, 9 и 10). Отметим, что у теорем 8, 9 и 10 имеются обощения16, упрощающие, довольно существенно, вычисления, однако опущенные нами в этой работе для облегчения понимания.

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

К сожалению, формат автореферата не позволяет нам полностью сформулировать все результаты нашей работы. Поэтому мы лишь сформулируем (в комбинаторных терминах) один из наиболее характерных наших результатов, отражающий основную идею всех наших вычислений.

Обозначим через Н(д,п) число разветвленных накрытий двумерной сферы поверхностью рода д степени п, имеющих критические значения в 2д 4- п фиксированных заранее точках сферы. При этом мы предполагаем, что одно выделенное заранее критическое значение является полиномиальным (то есть, в его прообразе лежит ровно одна точка кратности п), а все остальные критические значения являются простыми. Накрытия мы считаем с весом, равным числу, обратному к порядку группы автоморфизмов накрытия в прообразе. Это - один из примеров чисел Гурвица.

Следствие одной из теорем работы выглядит следующим образом:

16S. V. Shadrin, Intersections in genus 3 and the Boussinesq hierarchy, Lett. Math. Phys. 65 (2003), 125-131.

6

Для любого Ь > О,

^ 249 • д\ =

= УГ 1У(9\ (9 + Ь+1-{)\Н(д,д + Ь + 1~1) ' д\(3д + Ь - »)!($ + Ь + 1 -

Дадим интерпретацию этого равенства в геометрических терминах. Число 1/249д\ равно интегралу класса ф19 по пространству модулей кривых (через ф\ обозначается первый класс Чженя расслоения над пространством Мд,а со слоем, равным Т^С в точке, представен-ной кривой С с отмеченными точками х\,..., хв). Каждое слагаемое в правой части можно интерпретировать как интеграл того же класса ■01> но в другой степени и по другому пространству. А именно, с точностью до комбинаторного коэффициента, число Гурвица Н(д, п) равно интегралу от ф\я+п~3 по циклу, представленному подмногообразием в пространстве модулей кривых Мд1п+ь состоящим из кривых (С, XI,... ,хп+{), таких, что -пх\ + Х2 + ■ • ■ + хп+1 является дивизором какой-нибудь меро-морфной функции на кривой С (такие циклы называются циклами двухточечных ветвлений).

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

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

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

РАБОТЫ АВТОРА ПО ТЕМЕ ДИССЕРТАЦИИ

1. С. В. Шадрин, Числа Гурвица обобщенных многочленов и циклы двухточечных ветвлений, Успехи матем. наук, т. 58, вып. 1, 197-198 (2003).

2. С. В. Шадрин, Полиномиальные числа Гурвица и пересечения на Л4о,к, Функц. анализ и его прил., т. 37, вып. 1, 92-94 (2003).

3. S. V. Shadrin, Intersections in genus 3 and the Boussinesq hierarchy, Lett. Math. Phys. 65 (2003), no. 2, 125-131.

4. S. V. Shadrin, Geometry of meromorphic functions and intersections on moduli spaces of curves, Int. Math. Res. Not. 2003, no. 38, 2051-2094.

Издательство ЦПИ при механико-математическом факультете МГУ им. М.В. Ломоносова. Подписано в печать О £ <£76~~ Формат 60x90 1/16. Усл. печ. л. 0,5

Тираж 100 экз. Заказ 0&

Лицензия на издательскую деятельность ИД В 04059, от 20.02.2001г.

Отпечатано с оригинал-макета на типографском оборудовании механико-математического факультета

0J.C4- О/. £3

Введение

Глава 1. Интегралы Ходжа

1.1. Пространство модулей кривых

1.2. Вычисление интегралов Ходжа

1.3. Размеченные деревья

1.4. Выражение через суммы по деревьям

1.5. Примеры в малых родах

Глава 2. Числа Гурвица

2.1. Основные определения

2.2. Связь с пересечениями на Мд>„

2.3. Одно полиномиальное ветвление

Глава 3. Гипотеза Виттена

3.1. Иерархии Гельфанда-Дикого

3.2. Гипотеза Виттена

3.3. Корреляторы {тщт П^Г/

3.4. Обсуждение алгоритма

3.5. Вычисления в роде

Глава 4. Лемма Ионель

4.1. Допустимые накрытия

4.2. Кратность отображения Ляшко-Лойенги

4.3. Соотношения на интегралы Ходжа

4.4. Пересечения Мамфорда-Мориты-Миллера

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

Наиболее яркими результатами в этой области за последнее время являются, по все видимости, теорема Концевича [29], доказывающая гипотезу Виттена [42] о связи теории пересечений на пространстве модулей кривых со струнным решением иерархии Кортвега-де-Фриза (эта теорема была также доказана Окуньковым и Пандхарипанде [35] и, совсем недавно, Мирзахани [33]), и формула Экедаля-Ландо-Шапиро-Вайнштейна [9, 10] (формула ELSV), выражающая числа Гурвица через пересечения на пространстве модулей кривых.

Вскоре после появления первого доказательства своей гипотезы, Виттен [43] придумал ее обобщение, утверждающее, что производящая функция некоторых специальных чисел пересечений на накрытиях пространства модулей кривых удовлетворяет уравнению струны и одной из иерархий Гельфанда-Дикого. С тех пор эта гипотеза многократно уточнялась и переформулировывалась в работах Джарвиса, Кимуры, Вайнтроба и Полищука [27, 37, 36].

Параллельно шла работа над пониманием структуры тавтологического кольца пространства модулей кривых. Тавтологическое кольцо - это минимальное подкольцо в кольце когомологий, включающее в себя все "геометические" классы когомологий. Гипотетическое описание тавтологического кольца дано в работах Хайна-Лойенги [22] и Фабера [11] (см. также обзор Вакиля [41]). В частности, важным шагом к пониманию структуры тавтологического кольца оказался подсчет интегралов Ходжа, см. работы Фабера и Пандхарипанде [12, 13, 14].

Появление формулы ELSV, с одной стороны, позволило свести некоторые задачи теории пересечений к комбинаторике чисел Гурвица, а с другой стороны - использовать накопленные знания про пересечения для получения новых формул и соотношений на числа Гурвица. Существует несколько подходов к получению обобщений формулы ELSV, описанных в работах Казаряна и Ландо [5], Гульдена, Джексона и Вакиля [20], и Шапиро и Вайнштейна [39].

Наши результаты касаются всех затронутых выше тем. Основным результатом является создание и развитие некоторого довольно общего подхода к вычислению различных чисел пересечений на пространстве модулей кривых. Грубо говоря, мы сводим большой класс задач теории пересечений на пространстве модулей кривых к теории пересечений на пространстве мероморфных функций. Отметим, что, в некотором смысле, большая часть вычислений на пространстве модулей кривых так или иначе связана с переходом к пространству мероморфных функций. Например, ту же идею реализует стандартный метод виртуальной локализациию (см., например, [35]). Преимущество нашего, ориентированного на более частные задачи, подхода заключается в его геометрической наглядности. Также наш подход позволяет черевычайно просто вычислять широкий класс пересечений на циклах двухточечных ветвлений, что в последнее время стало довольно актуальным, см. [15].

Основой всех наших вычислений является лемма Ионель [26], которую мы подробно разбираем в главе 4. Сама Ионель применила свою (замечательную, на наш взгляд) лемму лишь для доказательства слабой формы гипотезы Гетцлера о том, что любой моном степени д от стандартных пси- и каппа-классов на открытом пространстве модулей кривых рода д равен нулю. В некотором смысле, наш способ применения леммы Ионель к различным задачам является более простым универсальным вариантом "рациональной модели" пространства модулей кривых, см., например, [8].

Перейдем теперь к перечислению конкретных результатов, содержащихся в работе, и описанию разбиения работы на главы. Общая схема заключается в следующем. В главах 1, 2 и 3 мы формулируем наши результаты и доказываем те из них, которые не требуют серьезной технической работы, основанной на лемме Ионель. В главе 4, мы приводим лемму Ионель и многократным ее применением доказываем все остальные результаты работы.

В главе 1 мы исследуем интегралы Ходжа. В частности, мы приводим биномиальное выражение для интегралов Ходжа по пространству модулей кривых через интегралы Ходжа по циклам двухточечных ветвлений (теорема 1). Далее, на интегралы по циклам двухточечных ветвлений мы приводим уравнение типа "cut-and-join" (теорема 2). Это уравнение позволяет свести любой рассматриваемый интеграл к некоторым простейшим, значения которых мы тоже вычисляем (теорема 3). Далее, в случае когда мы рассматриваем интегралы с участием старшего класса Ходжа, удается получить формулу для интегралов через сумму по графам (теорема 4), имеющую нетривиальные комбинаторные следствия (следствия

1 и 2). Отдельно мы разбираем случай рода ноль, где возникает особенно простая комбинаторика (теорема 5).

В главе 2 мы исследуем числа Гурвица. В частности, мы выражаем полиномиальные двойные числа Гурвица через пересечения на циклах двухточечных ветвлений (теорема 6), и, пользуясь формулами из предыдущей главы, приводим новые линейные соотношения на числа Гурвица (следствие 3). Также мы приводим новое доказательство соотношения типа "cut-and-join" для чисел Гурвица (следствие 4). В случае, когда мы рассматриваем числа Гурвица с одним непростым ветвлением, являющемся полиномиальным, мы приводим альтернативное независимое доказательство следствия 3, основаное на формуле ELSV (следствие 5).

В главе 3 мы применям ту же самую технику к вычислению некоторых из пересечений Мамфорда-Мориты-Миллера, составляющих предмет расширенной гипотезы Виттена. Начинаем мы с исследования интегрируемых иерархий (для того, чтобы иметь информацию для сравнения), и находим одно из соотношений бига-мильтоновой рекурсии для иерархии иерархии Буссинеска (утверждение 7). Далее, для чисел пересечений Мамфорда-Мориты-Миллера мы приводим аналоги теорем 1, 2 и 3, позволяющие вычислять их в частных случаях (теоремы 8, 9 и 10). Отметим, что у теорем 8, 9 и 10 имеются обощения из [47], упрощающие, довольно существенно, вычисления, однако опущенные нами в этой работе для облегчения понимания.

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

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

1. И. М. Гельфанд, J1. А. Дикий, Асимптотические свойства резольвенты уравнений Штурма-Лиувилля и алгебра уравнений Кортвега-де-Фриза, Успехи матем. наук, т. 30, вып. 5, 65-100 (1975).

2. И. М. Гельфанд, Л. А. Дикий, Резольвента и гамильтоновы системы, Функц. анализ и его прил., т. 11, вып. 2, 11-27 (1977).

3. Д. Звонкин, С. К. Ландо, О кратностях отображения Ляшко-Лойенги на стратах дискриминанта, Функц. анализ и его прил., т. 33, вып. 3, 21-34 (1999).

4. М. Э. Казарян, О комбинаторном вычислении чисел Гурвица (по Д. Звонкину), препринт 2004.

5. М. Э. Казарян, С. К. Ландо, К теории пересечений на пространствах Гурвица, Изв. РАН, сер. матем., т. 68, вып. 5, 82-113 (2004).

6. D. Abramovich, A. Vistoli, Compactifying the space of stable maps, J. Amer. Math. Soc. 15 (2002), 27-75.

7. P. Deligne, D. Mumford, The irreducibility of the space of curves of given genus, Publ. I.H.E.S. 36 (1969), 75-109.

8. P. Belorousski, R. Pandharipande, A descendent relation in genus 2, Ann. Scuola Norm. Sup. Pisa CI. Sci. (4) 29 (2000), no. 1, 171191.

9. T. Ekedahl, S. Lando, M. Shapiro, A. Vainshtein, On Hurwitz numbers and Hodge integrals, C. R. Acad. Sci. Paris Sdr. I Math. 328 (1999), 1175-1180.

10. T. Ekedahl, S. Lando, M. Shapiro, A. Vainshtein, Hurwitz numbers and intersections on moduli spaces of curves, Invent. Math. 146 (2001), 297-327.

11. C. Faber, A conjectural description of the tautological ring of the moduli space of curves, Moduli of Curves and Abelian Varieties, Aspects. Math., E33, Vieweg, Braunschweig, 1999, pp. 109-129.

12. C. Faber, R. Pandharipande, Hodge integrals and Gromov-Witten theory, Invent. Math. 139 (2000), 173-199.

13. С. Faber, R. Pandharipande, Logarithmic series and Hodge integrals in the tautological ring, Michigan Math. J. 48 (2000), 215239.

14. C. Faber, R. Pandharipande, Hodge integrals, partition matrices, and the Xg conjecture, Ann. Math. 156 (2002), 97-124.

15. C. Faber, R. Pandharipande, Relative maps and tautological classes, arXiv: math.AG/0304485

16. E. Getzler, Topological recursion relation in genus 2, Integrable Systems and Algebraic Geometry (Kobe/Kyoto, 1997), World Scientific, River Edge, NJ, 1998, pp. 73-106.

17. I. P. Goulden, D. M. Jackson, The combinatorial relationship between trees, cacti and certain connection coefficients for the symmetric group, Europ. J. Comb. 13 (1992), 357-365.

18. I. P. Goulden, D. M. Jackson, A. Vainshtein, The number of ramified coverings of the sphere by the torus and surfaces of higher genera, Ann. Comb. 4 (2000), no. 1, 27-46.

19. I. P. Goulden, D. M. Jackson, R. Vakil, The Gromov-Witten potential of a point, Hurwitz numbers, and Hodge integrals, Proc. London. Math. Soc. (3) 83 (2001), 563-581.

20. I. P. Goulden, D. M. Jackson, R. Vakil, Towards the geometry of double Hurwitz numbers, arXiv: math.AG/0309440.

21. T. Graber, R. Vakil, Hodge integrals and Hurwitz numbers via virtual localization, Compositio Math. 135 (2003), 25-36.

22. R. Hain, E. Looijenga, Mapping class groups and moduli spaces of curves, Proc. Sympos. Pure Math., vol. 62, Amer. Math. Soc., Providence, RI, 1997, pp. 97-142.

23. J. Harris, I. Morrison, Moduli of Curves, Graduate Texts in Mathematics, vol. 187, Springer-Verlag, New York, 1998,

24. J. Harris, D. Mumford, On the Kodaira dimension of the moduli space of curves, Invent. Math. 67 (1982), 23-86.

25. A. Hurwitz, Uber Riemann'sche Flachen mit gegebenen Verz-weigungspunkten, Math. Ann. 39 (1891), 1-60.

26. E.-N. Ionel, Topological recursive relations in H29(Mg>n), Invent. Math. 148 (2002), 627-658.

27. T. J. Jarvis, T. Kimura, A. Vaintrob, Moduli spaces of higher spin curves and integrable hierarchies, Compositio Math. 126 (2001), 157-212.

28. S. Keel, Intersection theory of moduli space of stable n-pointed curves of genus zero, Trans. Amer. Math. Soc. 330 (1992), 545574.

29. M. Kontsevich, Intersection theory on the moduli space of curves and the matrix Airy function, Comm. Math. Phys. 147 (1992), 1-23.

30. E. Looijenga, The complement of the bifurcation variety of a simple singularity, Invent. Math. 23 (1974), 105-116.

31. E. Looijenga, Intersection theory on Deligne-Mumford compacti-fications (after Witten and Kontsevich), Seminaire Bourbaki, Vol. 1992/1993, Asterisque 216 (1993), Exp. No. 768, 4, pp. 187-212.

32. Yu. Manin, Frobenius Manifolds, Quantum Cohomology, and Moduli Spaces, American Mathematical Society Colloquium Publications, vol. 47, American Mathematical Society, Rhode Island, 1999.

33. M. Mirzakhani, Weil-Peterson volumes and intersection theory on the moduli space of curves, preprint 2004.

34. D. Mumford, Towards an enumerative geometry of the moduli space of curves, Arithmetic and Geometry, Vol. II (M. Artin and J. Tate, eds.), Progr. Math., vol. 36, Birkhauser, Boston, Massachusetts, 1983, pp. 271-328.

35. A. Okounkov, R. Pandharipande, Gromov-Witten theory, Hurwitz numbers, and matrix models, Part I, arXiv: math.AG/0101147.

36. A. Polishchuk, Witten's top Chern class on the moduli space of higher spin curves, arXiv: math.AG/0208112.

37. A. Polishchuk, A. Vaintrob, Algebraic construction of Witten top Chern class, Advances in Algebraic Geometry Motivated by Physics (E. Previato, ed.), Amer. Math. Soc., Providence, 2001, pp. 229-250.

38. S. V. Shadrin, Combinatorics of binomial decompositions of the simplest Hodge integrals, arXiv: math.AG/0310497.

39. M. Shapiro, A. Vainshtein, Double Hurwitz numbers and the intersection form on the moduli space in genus 0, preprint 2004.

40. R. Vakil, Genus 0 and 1 Hurwitz numbers: recursions, formulas, and graph-theoretic interpretations. Trans. Amer. Math. Soc. 353 (2001), no. 10, 4025-4038.

41. R. Vakil, The moduli space of curves and its tautological ring, Notices Amer. Math. Soc. 50 (2003), no. 6, 647-658.

42. E. Witten, Two-dimensional gravity and intersection theory on moduli space, Surveys in Differential Geometry (Cambridge, Mass, 1990), vol. 1, Lehigh University, Pennsylvania, 1991, pp. 243-269.

43. E. Witten, Algebraic geometry associated with matrix models of two-dimensional gravity, Topological Methods in Modern Mathematics (Stony Brook, NY, 1991), Publish or Perish, Texas, 1993, pp. 235-269.Работы автора по теме диссертации.

44. С. В. Шадрин, Числа Гурвица обобщенных многочленов и циклы двухточечных ветвлений, Успехи матем. наук, т. 58, вып. 1, 197-198 (2003).

45. С. В. Шадрин, Полиномиальные числа Гурвица и пересечения на Мо,к, Функц. анализ и его прил., т. 37, вып. 1, 92-94 (2003).

46. S. V. Shadrin, Geometry of meromorphic functions and intersections on moduli spaces of curves, Int. Math. Res. Not. 2003, 20512094.

47. S. V. Shadrin, Intersections in genus 3 and the Boussinesq hierarchy, Lett. Math. Phys. 65 (2003), 125-131.