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

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

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

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

5Напомним, что факторизация детского рисунка по группе автоморфизмов является детским рисунком (см. утверждение 2.5) и мы называемтакой детский рисунок факторрисунком.За процессом факторизации детского рисунка по группе автоморфизмов удобно следить посредством слейки многоугольника. При факторизации по группе автоморфизмов второго порядка происходит склеивание противоположных сторон двенадцатиугольника.

При этом, каждоеT3ребро «ломается в середине» (потому что стороны мы считаем ориентированными) и его половинки склеиваются в одно ребро. Например, нижеизображен факторрисунок детского рисунка L1.1 :AAB1BB2AAB3B3B2AAрис. 6Это двукрашенный детский рисунок на кривой рода 1. Отметим, чтоэто и есть детский рисунок T1 .Далее, заметим, что существует алгебраическое накрытиеgp1.1 : Xi.j → Xi.j(7)степени 2, разветвленное над четырьмя точками. Здесь Xi.j — криваяgрисунка Li.j и Xi.j — кривая детского рисунка Ti рода 1.На рисунке 6 A, B, B1 и центр грани шестиугольника C — это точкиветвления накрытия p1.1 . Аналогично строятся факторрисунки (совпадающие с T1 , T2 , T3 ) остальных девяти детских рисунков Li.j , см.

теорему2.9, с группой автоморфизмов второго порядка.Таким образом, десять детских рисунков Li.j естественным образомделятся на три группы (в одну группу попадают детские рисунки с одинаковым фактором). Результаты сгруппированы в три пункта теоремы:Теорема 2.20. 1. Пара Белого детского рисунка L1.1 это функция Белого1 4 5 3 3 21 6 3 5 9 4z − z + zf =− z + z − z +1+y848884на кривой, являющейся прообразом кривой:y 2 = (z + 1)(z 3 − 3z 2 − 4)при разветвленном накрытии степени 2w2 = z − 3.Пары Белого детских рисунков L1.2 , L1.3 , L1.4 это выраженная той жеформулой функция Белого на на кривой, являющейся прообразом кривойy 2 = (z + 1)(z 3 − 3z 2 − 4)при разветвленном накрытии степени 2w2 = ui , i = 2, 3, 4; u2,3,4 = (z − 3)(z + 1)(z − α), где α3 − 3α2 − 4 = 0.2.

Пары Белого детских рисунков L2.1 , L2.2 , L2.3 , L2.4 это функция Белого135 6 81 5 135 4 9 439f = −1 −z + z −z − z y − z2y + z3y848848на кривой, являющейся прообразом кривойy 2 = 225z 4 − 90z 3 + 69z 2 + 108z + 60,при разветвленном накрытии степени 2w2 = (±y +15 2 915z − z + )(z − α),424где 5α2 − 6α + 5 = 0.3. Пары Белого детских рисунков L3.1 и L3.2 это парыфункция f = z 3на кривой, являющейся прообразом кривойzy 2 = (z 2 + z + 1),3при разветвленном накрытии степени 2w2 = (y + z)(z − 1); ифункция f = z 3на кривой, являющейся прообразом кривойy 2 = −z(z 2 + z + 1),при разветвленном накрытии степени 2w2 = (y + z)(z − 1).Оставшаяся часть этой главы посвящена доказательству теоремы.Мы вычислим пары Белого детских рисунков T1 , T2 и T3 и восстановим пары Белого детских рисунков Li.j .Утверждение 2.21. Существует отображение кривой рода 1 на кри4t1вую рода 0, являющееся композицией p2 ◦ h ◦ g, где h(t) = (t+1)2 , g(t) = t ,и p2 — это двулистное накрытие, разветвленное в четырех точках.Доказательство.Отображение кривых g соответствует переходу к объединению детского рисунка с двойственным к нему.

В частности, для T1 полученныйдетский рисунок изображен на рисунке 7.B2AACB3B3B1BB2AAрис. 7 (Tb1 )Отображение h соответствует переходу к двойственному детскому рисунку ST1 , так как нули Tb1 переходят в точки бесконечность ST1 и наоборот.Заметим, что его группа автоморфизмов равна Z2 , следовательно,можно рассмотреть факторрисунок:D3D2B2D4BD5D1рис. 8Отображение факторизации – это двулистное накрытие, разветвленное в точках D1 , D2 , D3 и D5 , это и есть p2 .IСледствие 2.22.

Функция Белого fi детского рисунка Ti есть композиция h ◦ g ◦ fsi , где fsi — это функция Белого детского рисунка STi .Замечание 2.23. Формула для функции Белого fi.j детского рисункаLi.j во всех девяти случаях совпадает с формулой для fi .Перейдем к вычислению пар Белого полученных детских рисунков.Вычисление пар Белого детских рисунков с факторрисункомT1 .Определение 2.24. Многочлен с не более чем двумя критическими значениями называется многочленом Шабата или обобщенным многочленом Чебышева.В том случае, когда гиперкарта оказывается деревом, функция Белого соответствующего детского рисунка является обобщенным многочленом Чебышева.

Более того:Теорема 2.25 ([12]). Существует биекция между множеством комбинаторных двукрашенных плоских деревьев и множеством классов эквивалентности обобщенных многочленов Чебышева.Утверждение 2.26. z 4 (z − 3)2 — обобщенный многочлен Чебышева дерева на рисунке 8.Утверждение 2.27. Пара Белого детского рисунка ST1 — это функцияБелого1fs1 = 1 − z 4 (z − 3)2162432на кривой y = z − 2z − 3z − 4z − 4.Формулы совпадают с результатами в [23].Доказательство.Формула для функции Белого сразу получается из условия на критические значения функции Белого.

Далее, z 4 (z − 3)2 − 16 = (z − 2)2 P4 (z),где значение 2 как раз соответствует вершине D4 валентности 2. ОтсюдаP4 (z) = z 4 − 2z 3 − 3z 2 − 4z − 4 = y 2IУтверждение 2.28.139f1 = − z 6 + z 5 − z 4 + 1 + y8481 4 5 3 3 2z − z + z884Доказательство.Обозначим за fTb1 функцию Белого детского рисунка Tb1 (см. рис.

7),11тогда из (7) и утверждения 2.21 получаем, что fTb1 = (f14f+1)2 = f .s1Таким образом, получаем уравнение на f1 :(f1 + 1)2 = 4f1 fs1 .Решая его относительно f1 , получаем функцию:1 6 3 5 9 41 4 5 3 3 2f1 = − z + z − z + 1 + yz − z + z848884IДалее, рассмотрим накрытие p1.1 (см. (7)) в случае детского рисункаP1.1 , оно имеет вид (z, w) → z; w2 7→ u.

Дивизор функции f равен(u) = A + C + B + B1 + 2D.(8)Функция u определена с точностью до умножения на квадрат, а deg(D) =−2. Дивизор D может быть представлен в виде(D) = −2A − 2C + T + X,(9)где y(T ) = 0, z(T ) = −1, а X — некоторая точка. Заметим, что точкиветвления A и C находятся в бесконечности, а B и B2 в z = 3.Утверждение 2.29. Либо w2 = u1 = z − 3, либоw2 = ui = (z − 3)(z + 1)(z − α), гдеα3 − 3α2 − 4 = 0, i = 2, 3, 4.Доказательство.Используя (8) и (9), можем представить дивизор функции u в виде(u) = −3A − 3C + B1 + B2 + 2T + 2X. Далее, (z − 3) =Cи B + B1 − A − f=(z + 1) = 2T − A − C, следовательно можем записать:(z − 3)(z + 1)−A − C + 2X. Но такие функции есть просто z − zj , где zj кореньуравнения z 4 − 2z 3 − 3z 2 − 4z − 4 = 0. Получаем либо u1 = z − 3, либоu2,3,4 = (z − 3)(z + 1)(z − α), где α3 − 3α2 − 4 = 0.IОпределение 2.30.

Универсальной группой вращений ребер ER назовем свободную группу Z ∗ Z с двумя образующими a и b.Определим действие универсальной группы вращений ребер на множестве ребер E(D) детского рисунка D следующим образом: ∀ e ∈ E(D) a(e)— это следующее ребро при повороте против часовой стрелки вокругбелой вершины, b(e) — при повороте вокруг черной вершины соответственно. Таким образом задан гомоморфизм πD : ER → Aut(E(D)), гдеAut(E(D)) — множество всех перестановок ребер детского рисунка D.Группа перестановок πD (ER) ребер детского рисунка D называетсягруппой вращений ребер детского рисунка D и обозначается ER(D).Получены четыре кривые рода 3, которые соответствуют четыремдетским рисункам L1.1 , L1.2 , L1.3 , L1.4 . Заметим, что у детских рисунковL1.2 , L1.3 , L1.4 одинаковый порядок группы вращений ребер, равный 1152,и следовательно (см.

[1]), они лежат в одной орбите действия группыГалуа Gal(Q/Q) и им соответствуют решения u2,3,4 . Таким образом, доказан первый пункт теоремы 2.20.Вычисление пар Белого детских рисунков с факторрисункомT2 .Далее, рассмотрим детские рисунки L2.1 , L2.2 , L2.3 , L2.4 и их факторрисунок T2 .Отображение факторизации с факторрисунком T2 также можно понимать как алгебраическое накрытие p2.1 степени 2 : (z, w) → z; w2 7→ u,разветвленное в точках A, C, B1 , B2 , где C это бесконечно удаленнаяточка.Применив (7) и утверждение 2.21, получим детский рисунок ST2B4D3D2B3B3B1B2B2B4B4D2D3рис.

9 (ST2 )и после факторизации по автоморфизму второго порядка, детскийрисунок рода 0B3B1D3D2B2рис. 10Это отображение факторизации можно понимать как алгебраическоенакрытие степени 2, разветвленное в точках B1 , B2 , D2 , D3 . Несложныевычисления доставляют обобщенный многочлен Чебышева полученногодерева: P (z) = z 4 (z − (a + i))(z − (a − i)) = z 4 ((z − a)2 + 1). Коэффициентымногочлена должны быть рациональны и единственное a, удовлетворяющее такому условию — это a = ± 34 .Утверждение 2.31. Пара Белого детского рисунка ST2 это функцияfs2 = −27 4 2z (5z − 6z + 5)16на кривойy 2 = 225z 4 − 90z 3 + 69z 2 + 108z + 60.Доказательство.Формула для функции Белого сразу получается из условия на критические значения функции Белого.fs2 − 1 = −1(15z 2 + 12z + 4)(3z 2 − 3z + 2)2 ⇒16y 2 = 3(5z 2 − 6z + 5)(15z 2 + 12z + 4).IАналогично предыдущему случаю, получаем уравнение на функциюБелого f2 детского рисунка T2 : f22 + 2f2 (1 − 2fs2 ) + 1.

Решением уравнения является функцияf2 = −1 −135 6 81 5 135 4 9 439z + z −z − z y − z 2 y + z 3 y.848848Как уже отмечалось, накрытие p2.1 имеет вид w2 = u, где функция uопределена с точностью до умножения на квадрат. Дивизор функции uравен (u) = A + C + B1 + B2 + 2D, где deg(D) = −2, причем дивизор Dможно представить в виде (D) = −2A − 2C + B1 + X.Введем функцию g, такую, что дивизор (g) удовлетворяет условию(u) = (z − z(B1 ))(g). Тогда g = y + kQ(z), где Q(z) = (z − z(B1 ))(z −z(B2 )). Найдем k из условия равенства нулю дискриминанта уравнения(y + kQ(z))(−y + kQ(z)) = 0.3k=± .4Соответственно, g1 = y + 15z 2 − 29 z + 15, g2 = y − 15z 2 + 92 − 15.

Таким4444образом получается 4 варианта для функции u : u1,2,3,4 = g1,2 α1,2 , гдеα1,2 корни уравнения 5x2 − 6x + 5 = 0, что доказывает пункт 2 теоремы2.20.Вычисление пар Белого детских рисунков с факторрисункомT3 .Перейдем к детским рисункам L3.1 , L3.2 и их факторрисунку T3 .Заметим, что сам T3 обладает Z2 -симметрией, и следовательно, по темже причинам что и в предыдущих случаях, можем рассмотреть факторизацию по группе автоморфизмов Z/2Z. Это алгебраическое накрытиестепени 2, разветвленное в точках A, B1 , B2 и в точке C (центр граниквадрата, см. рис. 5).

Факторрисунком является «еж» с тремя ребрами.Его обобщенным многочленом Чебышева является многочлен P (z) = z 3 .Как уже отмечалось, алгебраическое накрытие степени 2, разветвленное в точках A, C, B1 и B2 (см. рис. 5), при котором L3.1 (либо L3.2 )накрывает T3 , имеет вид (z, w) → z; w2 7→ u, где дивизор функции uравен (u) = A + C + B1 + B2 + 2D. Кратности точек A, C, B1 , B2 равны 1, deg(D) = −2. Можно считать, что D = X − 3C, тогда (u) =A + B1 + B2 + 2X − 5C. Из топологических соображений видно, что(z − 1) = B1 + B2 − 2C.u.

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

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

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

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