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

Диссертация (1137317), страница 4

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

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

раздел 1.3). Его граница Hg;k1 ,...,kn \ Hg;k1 ,...,knсостоит из стабильных функций на особых кривых, единственные допустимые особенности которых — это точки простого двойного самопересечения.Будем называть пару (g; n) неотрицательных целых чисел стабильной, если либо g = 0, n ≥ 3, либо g ≥ 1, n ≥ 1, либо g ≥ 2.Определение 1.3.

Связная кривая с отмеченными точками называетсястабильной, если− ее единственными особенностями являются двойные точки;− отмеченные точки неособы;− группа автоморфизмов кривой, сохраняющая отмеченные точки,конечна.Отметим, что гладкая кривая рода g с n отмеченными точками стабильная тогда и только тогда, когда пара (g; n) стабильна.Через Mg;n будем обозначать компактификацию Делиня–Мамфордапространства модулей Mg;n . Точками компактификации Делиня – Мамфорда служат классы биголоморфной эквивалентности стабильных кривых рода g c n отмеченными точками.Теорема 1.4 ([26]). Для каждой стабильной пары (g; n) существуетгрубое пространство модулей Mg;n стабильных кривых рода g с n отмеченными точками.

Это пространство модулей является комплексныморбиобразием. Подмногообразие Mg;n ⊂ Mg;n плотно по Зарисскому.Компактифицированное пространство модулей Mg;n обладает универсальной стабильной кривой C g;n → Mg;n , а отмеченные точки образуютn попарно непересекающихся сечений σi : Mg;n → C g;n .Проекция Hg;k1 ,...,kn → Mg;n продолжается до проекции Hg;k1 ,...,kn →Mg;n . Послойная проективизация P Hg;k1 ,...,kn — является компактнымкомплексным орбиобразием. Ниже, допуская некоторую вольность речи,будем называть его подорбиобразия и другие орбиобразия — подмногообразиями и многообразиями.В основном нас будут интересовать подмногообразия в пространствеГурвица, состоящие из функций с вырожденными критическими значениями. Напомним, что критическое значение функции f степени d называется невырожденным, если оно достигается в d − 1 различной точке,одна из которых является критической точкой кратности 2, а остальныеd − 2 точки — некритические, и вырожденным в противном случае.

Поформуле Римана–Гурвица общая мероморфная функция степени d накривой рода g имеет 2d + 2g − 2 невырожденных критических значения.Функции с меньшим количеством критических значений в образе образуют дискриминант в пространстве P Hg;k1 ,...,kn . Каждому критическомузначению в образе можно сопоставить разбиение µ числа d, представляющее собой неупорядоченный набор кратностей прообразов данной точки.Определение 1.5. Замыкание в P Hg;k1 ,...,kn множества функций, имеющих ветвления предписанного типа будем обозначать через σµ1 ;...;µr , гдеиндекс состоит из набора разбиений кратностей прообразов над вырожденными критическими значениями. Эти подмногообразия называютсястратами дискриминанта.1.2Задача ГурвицаОтправной точкой наших исследований стратов дискриминанта пространства Гурвица служит задача перечисления классов изоморфизма разветвленных накрытий двумерной сферы.Определение 1.6.

Пусть C и X — два линейно связных топологических пространства, а f : C → X — непрерывное отображение. Тройка(C, X, f ) называется неразветвленным накрытием пространства X пространством C, если у каждой точки X найдется такая окрестность V , чтопрообраз f −1 (V ) ⊂ C гомеоморфен V × S, где S — дискретное множество. Мощность множества S называется степенью накрытия. Накрытиестепени n называется n-листным.Пусть f : C → X — накрытие, x0 ∈ X.

Каждый непрерывный путьγ : [0, 1] → X, концы которого совпадают с точкой x0 , а внутренние точкиотличны от x0 , определяет перестановку множества f −1 (x0 ). Эта перестановка определяется следующим образом. Выкинув из полного прообраза f −1 (γ) ⊂ C пути γ прообразы f −1 (x0 ) точки x0 , мы разбиваем егона несвязное объединение ориентированных интервалов. Отображениемножества f −1 (x0 ) в себя, переводящее начало каждого интервала в егоконец, является перестановкой этого множества и называется перестановкой монодромии вдоль пути γ.Пусть f : C → CP 1 \ Y — конечнолистное накрытие проективнойпрямой CP 1 с r выколотыми точками y1 , . .

. , yr , Y = {y1 , . . . , yr } ⊂ CP 1 .Проективная прямая CP 1 снабжена ориентацией, согласованной с комплексной структурой, то есть мы знаем, в каком направлении, положительном (против часовой стрелки) или отрицательном (по часовойстрелке) совершается обход вокруг какой-то из точек сферы. Пусть y0 ∈CP 1 \ Y .

Рассмотрим r ориентированных путей ci из y0 в yi , i = 1, . . . , rна CP 1 , таких, что они не пересекаются вне y0 и входят в точку y0 именнов таком порядке при обходе против часовой стрелки. Превратим каждыйпуть ci в петлю γi ∈ π1 (CP 1 \ Y, y0 ) следующим образом: петля γi идетвдоль ci до тех пор, пока не попадет в малую окрестность точки yi , затем она делает полный оборот вокруг yi в положительном направлениии, наконец, возвращается обратно в y0 вдоль ci . Перестановку монодромии вдоль пути γi будем обозначать через gi .

Набор петель γi , i = 1, . . . , rвместе с начальной точкой y0 будем называть базовой звездой.Определение 1.7. Цикловой структурой перестановки g ∈ Sn называется разбиение λ числа n, состоящее из длин независимых циклов перестановки g.Определение 1.8. Группа G = hg1 , . . . , gr i, порожденная перестановками gi , называется группой монодромии накрытия.Определение 1.9.

Последовательность перестановок [g1 , . . . , gr ], gi ∈Sn , такая, что группа hg1 , . . . , gr i транзитивно действует на множествеиз n элементов и такая, что g1 · . . . · gr = id называется r-созвездием.Набор [µ1 , . . . , µr ] разбиений числа n, состоящий из цикловых структурµi перестановок gi называется паспортом созвездия.Два созвездия [g1 , . . . , gr ] и [g10 , . . . , gr0 ] изоморфны, если существуетперестановка h ∈ Sn такая, что gi0 = h−1 gi h при i = 1, . . .

, r.Утверждение 1.10. Набор перестановок [g1 , . . . , gr ], порождающий группу монодромии неразветвленного накрытия проколотой сферы, образует созвездие.Конструкция работает и в обратном направлении.Утверждение 1.11. Для любого созвездия существует соответствующее неразветвленное накрытие проколотой сферы.Нас интересуют классы изоморфизмов накрытий, поэтому сформулируем еще одно важное утверждение.Утверждение 1.12. При фиксированной последовательности образующих γ1 , .

. . , γr ∈ π1 (CP 1 \ Y, y0 ) два неразветвленных накрытия сферыCP 1 \ Y изоморфны тогда и только тогда, когда изоморфны соответствующие созвездия.Всякому конечнократному накрытию проколотой сферы однозначным образом сопоставляется разветвленное накрытие сферы без проколов.

Для этого компактифицируем проколотую сферу CP 1 \ Y , добавиввсе недостающие точки y1 , . . . , yr и для каждой точки yi добавим в Cстолько точек, сколько независимых циклов в перестановке gi . Новыеточки в C и будут прообразами новых точек yi с кратностями, равнымидлинам соответствующих циклов перестановок gi .Определение 1.13. Пусть C — компактная риманова поверхность. Непрерывное отображение f : C → CP 1 называется разветвленным накрытием, если существует такое конечное множество точек Y = {y1 , . . . , yr } ⊂CP 1 , что f получается из неразветвленного накрытия проколотой сферыCP 1 \ Y применением описанной выше конструкции.Два разветвленных накрытия f1 : C1 → S 2 и f2 : C2 → S 2 двумерной сферы называются изоморфными, если существует гомеоморфизмh : C1 → C2 такой, что f1 = f2 · h. Как обсуждалось выше, каждойточке ветвления в образе мы сопоставляем разбиение µ кратностей еепрообразов./ C2uC1f1"CP1|f2Теорема 1.14 (теорема существования Римана).

Пусть в CP 1 зафиксирована некоторая базовая звезда, [y1 , . . . , yr ] ∈ CP 1 — набор ее концевыхточек, тогда для любого созвездия [g1 , . . . , gr ], gi ∈ Sn существует риманова поверхность C и мероморфная функция f : C → CP 1 такая,что y1 , . .

. , yr — критические значения функции f , а g1 , . . . , gr — соответствующие им перестановки монодромии. Разветвленное накрытиеf : C → CP 1 единственно с точностью до изоморфизма.Доказательство можно найти, например, в [12, с. 88].Описанное соответствие связывает задачи перечисления разветвленных накрытий с задачами перечисления созведий или, что тоже самое,задачами перечисления разложений перестановки в произведение перестановок.1.3Компактификации пространств ГурвицаВ этом разделе мы подробно обсудим известные компактификации пространства Гурвица. Вначале рассмотрим пополнение Экедала–Ландо–Шапиро–Вайнштейна [28], оно будет иметь структуру конуса над компактификацией Делиня–Мамфорда Mg;n пространства модулей кривыхрода g с n отмеченными точками. Затем мы рассмотрим пополнение Харриса и Мамфорда [20], в котором запрещено совпадение точек ветвленияи пространство Гурвица оказывается накрытием пространства модулейрациональных кривых с отмеченными точками.1.3.1Конусы главных частейКонус над алгебраическим многообразием (орбиобразием) M — это пучок градуированных C-алгебр над M .

Рангом конуса над многообразием называется размерность слоя. В терминах конусов очень удобно рассматривать пространства мероморфных функций: при фиксированныхкривой и набора точек на ней, пространство мероморфных функций сполюсами заданных порядков в выбранных точках будет не векторнымпространством, а конусом. Конус можно проективизировать — точкамипроективного конуса являются нетривиальные орбиты C∗ действия.Далее, зафиксируем натуральное число k.

Рассмотрим две мероморфные функции f1 и f2 , определенные в окрестности точки 0 и имеющиев этой точке полюс порядка k. Будем говорить, что эти функции имеютодинаковую главную часть в точке 0, если их разность f1 − f2 не имеетполюса в нуле. Главная часть — это класс эквивалентности локальныхфункций по введенному отношению эквивалентности. Выберем в окрестности точки 0 координату x, тогда главную часть можно записать в виде: u k−1u+ . .

. + ak−1 ,(1)xxxгде u 6= 0 ∈ C∗ . Если k > 1, такое представление единственно с точностью до выбора k способами параметра u. Следовательно, пространствовыражений вида (1) является k-кратным накрытием пространства главных частей. Группа монодромии этого накрытия есть группа Z/kZ, еедействие на пространстве выражений вида (1) задается формулой: u k+ a1(u, a1 , a1 , . . . , ak−1 ) 7→ (εk u, εk a1 , ε2k a2 , . . .

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

Тип файла
PDF-файл
Размер
651,51 Kb
Высшее учебное заведение

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

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