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

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

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

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

Аналогично рассматривается случай 3):3  3a10a3a23a0a1 =  0a33a2  . Таким образом, возможен только00a00a3случай 1). IПоскольку матрица проективного преобразования определена с точностью до пропорциональности и получилась диагональной, она принадлежит одному из трех, определенных перед утверждением 2.10 типов.Доказательство окончено. IИтак, рассмотрим Z3 -симметричные квартики в CP 2 . Пусть α — автоморфизм третьего порядка такой квартики.

Разберем случай конкретного α, имеющего тип 3. Мы покажем, что именно в этом случае реализуются пары Белого всех детских рисунков рода 3 с шестью ребрами,единственной вершиной и группой автоморфизмов порядка 3. Итак, зафиксируем α : CP 2 → CP 2 , имеющий в однородных координатах вид(x : y : z) 7→ (y : z : x).Утверждение 2.12. Уравнение Z3 -симметричной неприводимой квартики в CP 2 с координатами (x : y : z), инвариантной относительно автоморфизма α, с точностью до проективного сопряжения имеетследующий вид:a(x4 + y 4 + z 4 ) + b(x3 y + y 3 z + z 3 x) + c(x3 z + y 3 x + z 3 y)++ d(x2 y 2 + y 2 z 2 + z 2 x2 ) + e(xyz(x + y + z)) = 0 (3)Доказательство.Заметим сначала, что любое такое уравнение допускает три записи, сточностью до проективного сопряжения.

А именно, если заменить тройку (x : y : z) на (x : εy : ε2 z) (или (x : ε2 y : εz)), ε = e2πi/3 , то оно останетсянеизменным под действием α (при перестановке координат каждый моном умножится на ε2 (или ε), т.к. они все имеют одинаковую степень 4).Сопряжение (x : y : z) 7→ (x : ε2 y : εz) (соотв. (x : y : z) 7→ (x : εy : ε2 z))переводит уравнение в тот вид, который оно имело до замены.Поэтому можно рассматривать только случай, когда под действиемα все мономы умножаются на 1.Множество мономов, которые входят в однородный полином, задающий квартику, под действием автоморфизма α распадается на следующие орбиты: O1 := {x4 , y 4 , z 4 }, O2 := {x3 y, y 3 z, z 3 x}, O3 := {x3 z, y 3 x, z 3 y},O4 := {x2 y 2 , y 2 z 2 , z 2 x2 } и O5 := {x2 yz, xy 2 z, xyz 2 }.

Это, а также то, чтодругих мономов нет, проверяется перебором всех случаев, который мысейчас проведем. В самом деле, моном с x4 только один и он лежит в орбите O1 . Мономов с x3 два: это x3 y и x3 z. Они принадлежат орбитам O2и O3 соответственно.

Мономов, содержащих x2 три: x2 y 2 , x2 z 2 и x2 yz. Нопервые два лежат в одной орбите (O4 ), а третий - принадлежит орбитеO5 . Каждый из мономов с x (xy 3 , xy 2 z, xyz 2 и xz 3 ) также принадлежит одной из рассматриваемых орбит. Мономов с x0 два, y 4 и z 4 , онилежат в орбите O1 . Других вариантов нет. Поскольку под действием автоморфизма уравнение переходит в себя, мономы, принадлежащие однойорбите, должны иметь одинаковые коэффициенты в полиноме. Поэтомууравнение и имеет нужный вид.

IПустьp := x4 + y 4 + z 4 ,q := x3 y + y 3 z + z 3 x,r := x3 z + y 3 x + z 3 y,s := x2 y 2 + y 2 z 2 + z 2 x2 ,t := xyz(x + y + z).Рассмотрим отображение ψ : CP 2 → CP 4 , (x : y : z) 7→ (p : q : r : s : t).Следующее утверждение легко следует из леммы 2.15.Утверждение 2.13. Отображение ψ осуществляет факторизацию кривой (3) по группе, порожденной автоморфизмом α.Фактор-кривая лежит в пересечении образа проективной плоскости CP 2и гиперплоскости, задаваемой уравнением ap+bq +cr +ds+et = 0. Образψ(CP 2 ) лежит в пересечении двух гиперповерхностей второго порядка,задаваемых квадратичными соотношениями на p, q, r, s, t.Квадратичные зависимости.Теперь докажем следующую теорему:Теорема 2.14. Многочлены p, q, r, s, t удовлетворяют квадратичным соотношениямs2 + pt + st = qr + qt + rt; q 2 + r2 + t2 = ps + 2st.(4)Разобьем доказательство теоремы на несколько лемм.Перейдем от координат (x : y : z) к координатам √(l0 : l1 : l−1 ), где22l0 = x + y + z, l1 = x + εy + ε z, l−1 = x + ε y + εz, ε = 3 1.Лемма 2.15.

Матрица перехода от базиса (p : q : r : s : t) к базису3(l13 l0 : l−1l0 : (l1 l−1 )2 : l04 : l02 (l1 l−1 )) в ψ(CP 2 ) ⊂ CP 4 имеет следующийвид:A=427−3ε−29 3ε+1 92−271274273ε+19−3ε−292− 2712729− 19− 191901271271271271274919190 − 19Доказательство.6= 0. Непосредственным выМатрица A невырождена: det A = 58ε+293·273числением проверено, что многочлены p, q, r, s, t линейно выражаются3l0 , (l1 l−1 )2 , l04 , l02 (l1 l−1 )). Iчерез мономы (l13 l0 , l−1В качестве прямого следствия леммы 2.15 получаем, чтоЛемма 2.16. Обратная замена имеет вид:(l1 l−1 )2 = p − 2q − 2r + 3s;l04 = p + 4q + 4r + 6s + 12t;l02 (l1 l−1 ) = p + q + r − 3t;l13 l0 = p + (3ε + 1)q − (3ε + 2)r − 3s + 3t;3l−1l0 = p − (3ε + 2)q + (3ε + 1)r − 3s + 3t.Доказательство.Эти равенства непосредственно проверены в системе компьютернойсистеме Maple.

IДалее, легко видеть, что3l04 (l1 l−1 )2 − (l1 l−1 l02 )2 = 0; (l13 l0 )(l−1l0 ) − (l1 l−1 l02 )(l1 l−1 )2 = 0.(5)Смысл перехода к сложным на первый взгляд координатам(l0 : l1 : l−1 ) заключается в том, что в них эти квадратичные зависимостиочень легко увидеть.3Лемма 2.17.

Многочлены от l13 l0 , l−1l0 , (l1 l−1 )2 , l04 , l02 (l1 l−1 ), стоящие влевых частях соотношений (5), линейно независимы.Доказательство.В самом деле, они имеют разные степени по l02 (l1 l−1 ).I3Подставляя в (5) вместо мономов l13 l0 , l−1l0 , (l1 l−1 )2 , l04 , (l1 l−1 )l02 их выражения через p, q, r, s и t, взятые из леммы 2.16, получим квадратичныесоотношения:ps + 2pt − q 2 − 2qr − 2qt − r2 − 2rt + 2s2 + 4st − t2 = 0;− ps + pt + q 2 − qr − qt + r2 − rt + s2 − st + t2 = 0. (6)Сумма и половина разности соотношений (6) дают, соответственно,первое и второе из выражений (4).

Теорема 2.14 доказана.I2.2.5Пары Белого детских рисунков с Z3 -симметриейТеорема 2.18. Парой Белого детского рисунка L[1] является функцияБелого:√3+2f = √ x2 ,3на кривой√ !√√3z 6 + z 3 x2 (3 + 3) − z 3 x(1 + 3) = 1 +(x5 − 3x4 + 3x3 − x2 ),2записанной в координатах (x : 1 : z).Парой Белого детского рисунка L[2] является функция Белого:√3−2f = √ x2 ,3на кривойz 6 + z 3 x2 (3 −√3) − z 3 x(1 −√3) =√ !31−(x5 − 3x4 + 3x3 − x2 ),2записанной в координатах (x : 1 : z).Доказательство./Z3Рассмотрим цепочку замен координат: (x : y : z) → (l0 : l1 : l−1 ) →l l2l 2 l12(l02 l1 : l12 l−1 : l−1l0 ) → ( l02 l−1: l20l−1: 1). При их последовательном прове−111дении, из уравнения (3) получится уравнение эллиптической кривой снеизвестными коэффициентами, которые находятся из нижеследующихсоображений.

При факторизации склеек L[1] (напомним, ее гауссово слово (a, b, a, b, c, d, c, d, e, f, e, f )) и L[2] (с гауссовым словом (a, b, a, c, d, e, d, b,f, c, f, e)) по их группе автомофризмов Z3 получается рисунок рода 1 сгауссовым словом (a, b, a, b), пара Белого которого известна:aX0 : y 2 = x3 − x, β = x2 . Из совпадения j-инвариантов иbсоотношения на точки ветвления находятся коэффициен- bты кривой.aСоответствующие вычисления на Maple дали результат, сформулированный в теореме 2.18.Будем обозначать пару Белого детского рисунка L[1] за (X1 , f1 ) ипару Белого детского рисунка L[2] за (X2 , f2 ).Лемма 2.19. Пары Белого (X1 , f1 ) и (X2 , f2 ) не изоморфны.Доказательство.Предположим, что существует изоморфизм φ : X1 → X2 , для которого имеет место тождество f1 = f2 ◦ φ.

Тогда этот изоморфизм имеет видx = P (x, y, z), y = Q(x, y, z), z = R(x, y, z), где P, Q, R — рациональныефункции (x, y, z).√√3+2 22√P(x),аf=x , то сразу получаем, чтоТак как f2 ◦ φ = √3−2133√√P (x) = kx, где k — один из корней уравнения k 2 ( 3 − 2) = 3 + 2.Ниже в доказательстве будем пользоваться тем, что кривые X1 и X2являются пересечениями пар поверхностей!!√√√ !33−3−3x3 −x, z 3 = x y − 1 + (x − 1)y2 = 1 +222иy2 =√ !√3331−x +x, z 3 = x y − 1 + (x − 1)22!!√3−32соответственно.Так как точка с координатами (P, Q, R) лежитна√кривой X2 , то на√323кривой X1 выполняетсятождествоQ = (1 − 2 )P + 23 P .

Следователь√√√3333222)x+x).Упростив,получимQ=−k((1+)x3 −но,Q=k(k(1−222√x 23 ) = −ky 2 . Следовательно, Q = my, k = −m√2 .3−3Таким образом, R3 = P (Q − 1 + (P − 1)()) – √не зависит от z.√ 23− 3 232Действительно, получаем R = −m x(my+ 2 m x+ 1−2 3 ). Найдем нулифункции R. Для √этого рассмотрим произведениесопряженных: W :=√3−3(Q − 1 + (P − 1)( 3−3))(−Q−1+(P−1)()).22Упрощая (с использованием выражения для Q2 ), получим W = 12 (−2+√3)(P − 1)3 .Итак, функция R имеет ноль второго порядка в точке (x, y, z) =(0, 0, 0) и нули в одной или нескольких из 6 точек, отвечающих x = 1/k.Так как функция R3 не зависит от z, то порядок нулей в точках с одинаковыми x, y совпадает. Так как степень R равна степени z и равна 5,то R имеет нули порядка 1 в 3 точках, отвечающих x = 1/k, y = 1/m.С другой стороны, R можно единственным образом записать в видеR = R0 (x) + R1 (x)z + R2 (x)z 2 + (R3 (x) + R4 (x)z+ R5 (x)z 2 )y, где Rj (x)–√3рациональные функции x.

Сопряжение z 7→ 1z переводит R3 в себя, Rпри этом умножается на некоторый кубический корень из 1. То есть либоR = R0 (x) + R3 (x)y, либо R = z(R1 (x) + R4 (x)y), либо R = z 2 (R2 (x) +R5 (x)y). Используя тот факт, что порядок в точке (x, y, z) = (0, 0, 0)выражения вида Rj (x) + yRk (x) кратен 3, получаем, что R = z(R1 (x) +R4 (x)y).√32ОтсюдаR/z—функциянаэллиптическойкривойy=(1+)x3 −2√3x с единственными нулем (в точке x = 1/k, y = 1/m) и полюсом (в точ2ке x = 1, y = 1) первого порядка. Полученное противоречие завершаетдоказательство.IТаким образом, установлено, что две найденные пары Белого находятся в однозначном соответствии с двумя детскими рисунками L[1] иL[2]. Соответствие знаков получено вычислениями на Maple.2.2.6Детские рисунки с Z2 -симметриейОбозначим следующие торические детские рисунки (то есть детские рисунки с отождествленными противоположными сторонами) через T1 , T2и T3 соответственно:B4AAB4AAB4AAB1B3B1B3B3B2B1B3B3B3B2B2AB4AT1AB4AT2AB4Aрис.

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

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

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

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