Никита Ушаков Критические точки функций.

Экзамен Задача 1

Задача 1
Пусть f (x, y) - многочлен с комплексными коэффициентами суммарной степени не выше 4 по обеим
переменным. Предположим, что коэффициенты выбраны общим образом, так что комплексная кривая
C, заданная уравнением f (x, y) = 0, гладкая. C точки зрения топологии C - вещественная ориентиро-
ванная поверхность некоторого рода и с некоторым числом проколов.

а) Определите род и число проколов.

б) Топологическое пространство гомотопически эквивалентно букету окружностей. Определите чис-

ло окружностей в букете.

в) Вычислите число Милнора особенности, заданной общим однородным многочленом степени 4 от

двух переменных и сравните с количеством окружностей из предыдущего вопроса задачи.

Решение:

а) Будем считать, что степень многочлена f равна 4. Так как кривая C гладкая, род можно найти
по формуле Римана-Гурвица: g = (4−1)(4−2)
2 = 3.

Проколы соответсвуют точкам кривой на бесконечности. Другими словами нужно рассмотреть

замыкание нашей кривой в CP 2 . Пусть f = f0 + f1 + f2 + f3 + f4 - разложение многочлена f на
однородные компонеты. Тогда рассмотрим

f h = z 4 f0 + z 3 f1 + z 2 f2 + zf3 + f4 ∈ C[x, y, z] (1)

f h - однородный многочлен от переменных [x : y : z], множество C его решений в CP 2 - является

замыканием кривой C. Действительно, CP 2 = C2z̸=0 ∪CPz=0 1
. Пологая z = 1, получаем что в афин-
ной части лежит наша кривая C, а прямая на бесконечности описывает асимптотику многочлена,
так как только старшая однородная часть f4 выживает при z = 0. Таким образом, точки на бес-
1
конечности - это решения f4 (x, y) = 0 в CP[x:y] . Рассматривая, например, карту x = 1, получаем 4
точки на бесконености, так как f4 |x=1 - общий многочлен степени 4 и имеет 4 различных корня.

б) Рассмотрим модель поверхности Σg рода g, склееной из 4g-угольника. Выкалывая точку, полу-

чаем поверхность, стягиваемую на букет 2g окружностей. Каждая следующая выколатая точка
S 1 . В нашем случае, число окружностей
W
добавляет по окружности в букет, поэтому Σg ∼
2g+k−1
равно 9.

в) К гладкой проективной кривой принемы все предыдущие рассуждения.

1
Никита Ушаков Критические точки функций. Экзамен Задача 2

Задача 2
Вычислите число Милнора особенности f (x, y) = (x2 + y 3 )(x3 + y 2 ).

Cпособ I: Упростим функцию, пользуясь обобщением метода линейки Ньютона, в котором прямая
заменяется на ломанную. Т.е. рассмотрим набор типов квазиоднородности и степень монома определим
как минимум по всем типам, тогда получим фильтрацию, в которой диагонали заменятся на ломан-
ные, обращенные выпуклостью к нулю (Рис. 1), и если главная часть функции имеет конечномерную
локальную алгебру, то метод работает точно так же.

Рис. 1: Фильтрация по ломанной. Рис. 2: Базис в локальной алгебре.

Выделим главную часть у функции

f (x, y) = x5 + x2 y 2 + y 5 +x3 y 3
| {z }
f0 (x,y)

Утверждение. В локальной алгебре функции f0 можно выбрать базис из мономов {1, x, ..., x5 , y, ..., y 4 , xy}.
Функция f приводится к своей главной части, µ(f ) = µ(f0 ) = 11.

Доказательство. Порождающие градиентного идеала:

∂f0
= 5x4 + 2xy 2
∂x
∂f0
= 5y 4 + 2x2 y
∂y

Им соответвуют вектора (2, 3) и (3, 2) решётки, они параллельны сторонам ломанной.

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

2
Никита Ушаков Критические точки функций. Экзамен Задача 2

Способ II: Найдем морсификацию. Множество нулей функции f (x, y) - объединение двух каспов
(Рис. 3). Простая двойная точка самопересечения (−1, −1) нас не интересует. Будем искать такое ма-
лое шевеление f , при котором особая точка в нуле распадается на простые. Многочлен f - приводим,
поэтому мы можем искать шевеления у каждого множителя по отдельности. Оба множитетеля - квази-
однородные многочлены типа (2, 3), поэтому морсификацию можно построить с помощью многочленов
Чебышева
1
Tn (x) = n−1 cos(n · arccos(x)) = xn + ... ∈ R[x]
2
Утверждение. Для особенности xm + y n морсификация имеет вид:
    
x y m−n
q mn Tm + 2 n−m
Tn 2 n = xm + y n + O(q), q ∈ R∗ (2)
qn qm
Проверим, например, что значение в седловых точках равно нулю. Действительно, экстремумы много-
члена Чебышева Tn (x) находятся в точках xk = cos πk


n , k = 1, ..., (n − 1). Перескалируя подходящим
образом и подставляя эти точки в (2), находим, что значение в критической точке (xk , yl ) равно
1
(−1)k + (−1)l = 0, если (xk , yl ) − седловая точка.


2m−1
Из вида функции ясно что все критичиские точки - морсовские, а их число равно (m − 1)(n − 1) и
совпадает с кратностью особенности xm + y n . (Построение этой кривой в задаче 4).

Таким образом, в нашем случае шевеление функции f (x, y) имеет вид

  
˜ 3 3 4 2 1 6 3 3 4 2 1 6
f (x, y) = x − q x + y − q y − q y+x − q
4 4 4 4

Рис. 3: Исходная кривая f (x, y) = 0. Рис. 4: Шевеление f˜(x, y) = 0 при q = 0.5.

Вблизи нуля видим 11 простых критических точек.

3
Никита Ушаков Критические точки функций. Экзамен Задача 3

Задача 3
Приведите пример многочлена от двух переменных суммарной степени не выше 4 с особенностью Ak
для как можно большего значения k.

Решение: Ak - особенность коранга 1, поэтому будем искать многочлен квадратичная часть которого
равна x2 . Дальше разеберем методом линейки все случаи, следя за k - минимальной степенью монома
вида y k (k ̸= 1, 2).

Случай k = 3. Синим обозначены заведомо отсутвующие мономы, а зеленым возможные мономы. По

классификационной теореме такая функция приводится к своей главной части.

Случай k = 4. На линейке лежит моном xy 2 , от которого можно избавиться заменой x → x − A2 y 2 .

(Будем всегда делать эту замену и считать, что моном xy 2 отсутствует). Получаем полуквази-
однородную функцию, задаюшую особенность A3 .

Если мономы y k отсутсвуют, то есть два случая. Если коэффициент при xy 3 ненулевой, то той же
заменой, что при k = 4, многочлен x2 + xy 3 деформируем в x2 + y 6 .

4
Никита Ушаков Критические точки функций. Экзамен Задача 3

Если моном xy 3 отсутствует, то многочлен делится на x2 , и после подходящей замены приводится к

виду x2 .

Таким образом, максимально возможное k равно 5.

5
Никита Ушаков Критические точки функций. Экзамен Задача 4

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

Решение: Будем пользоваться методом А’Кампо-Гусейн-Заде.

f (x, y) = x5 + y 3

В качестве морсификации f возьмём многочлен

f˜(x, y) = x5 − 5x3 + 5x + y 3 − 3y

Как мы уже проверяли, седловые точки лежат на кривой, и т.к. они седловые, то кривая в них имеет
две различных касательных (разность квадратов - значений вторых частных производных в формуле
Тейлора, раскладывается на скобки). Критические точки располагаются на плоскости, образуя прямо-
угольник:

6
Никита Ушаков Критические точки функций. Экзамен Задача 4

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

Аналогично замыкается часть отрезков во внешности прямоугольника

Диаграмма Дынкина, соответсвующая этой кривой:

7
Никита Ушаков Критические точки функций. Экзамен Задача 4

Двумя преобразованиями приводим к стандартной диаграмме

8
Никита Ушаков Критические точки функций. Экзамен Задача 5

Задача 5
Вычислите характеристический многочлен оператора (классической) монодромии для особенности D4
функции трёх переменных

а) используя теорему Пикара-Лефшеца и известную форму пересечения в гомоогиях слоя Милнора,

отвечающую диаграмме Милнора D4 ;

б) решая уравнения Пикара-Фукса для интегралов голоморфных форм по исчезающим циклам.

Решение: Особенность D4 :

Рис. 6: Неособое множество уров-

Рис. 5: f (x, y, z) = x2 y −y 3 −z 2 = 0
ня и исчезающие циклы.

Для стабилизации особенности с 3 переменными индексы самоперечения (∆i , ∆i ) исчезающих циклов

равны (−2), поэтому квадратичная форма особенности имеет вид:

−2 1 0 0
 
1
 −2 1 1

0 1 −2 0
0 1 0 −2

А операторы Пикара-Лефшеца действуют в гомологиях неособого множества уровня по формуле

hi (a) = a + (a, ∆i )∆i

Отсюда получаем, что

 

∆1 7→ −∆1 
−1 1 0 0
 
 ∆1 7→ ∆1 + ∆2 
1 0 0 0


 

∆ 7→ ∆ + ∆ ∆ 7→ −∆2
2 2 1 0 1 0 0 2 1 −1 1 1
h1 : h1 = 
0
 h2 : h2 =  
∆
 3 →
7 ∆ 3 0 1 0 ∆
 3
 7→ ∆3 + ∆2 0 0 1 0
 


∆4 7→ ∆4 0 0 0 1 

∆4 7→ ∆4 + ∆2 0 0 0 1

 
 ∆1
 7→ ∆1 
1 0 0 0

 ∆1
 7→ ∆1 
1 0 0 0


 

∆
2 7→ ∆2 + ∆3 0 1 0 0
∆
2 7→ ∆2 + ∆4 0 1 0 0
h3 : h3 =   h4 : h4 =  

 ∆3 7→ −∆3 0 1 −1 0 
 ∆3 7→ ∆3 0 0 1 0
 


∆4 7→ ∆4 0 0 0 1 

∆4 7→ −∆4 0 1 0 −1

9
Никита Ушаков Критические точки функций. Экзамен Задача 5

Оператор классической монодромии особенности равен произведению h1 ·h2 ·h3 ·h4 операторов Пикара-
Лефшеца, соответствующих элементам отмеченного базиса исчезающих циклов:

(Не очень понятно, как должен быть упорядочен базис, но для вычисления собственных чисел это не
важно).
0 1 −1 −1
 
1 1 −1 −1
h∗ = h1 · h2 · h3 · h4 =  
0 1 −1 0
0 1 0 −1
Pf (λ) = det(h∗ − λ) = λ4 + λ3 + λ + 1 = (λ + 1)(λ3 + 1)
±πi
Собственные числа: {−1, −1, e 3 }.

б) f - квазиоднородный степени 6 с весами deg(x) = deg(y) = 2, deg(z) = 3. В локальной алгебре осо-

бенности выберем базис ϕk , состоящий из мономов {1, x, y, x2 }.

На лекции для произвольной квазиоднородной особенности с помощью уравнения Эйлера были най-
дены соответвующие этому базису формы Гельфанда-Лере. Уравнения Пикара-Фукса приняли вид
P
∂Ik deg(xi ) + deg(ϕk )
P
deg(xi )+deg(ϕk )
t = =⇒ Ik (t) = Ct d
∂t d
Монодромия интегралов Ik (t) совпадает с действием монодромии в гомологиях неособого множества
уровня. В данном случае все интегралы зависят только от одной степени t, а значит оператор моно-
дромии - полупростой.

В нашем случае получаем показатели λ1 = 7+0 7

6 = 6 , λ2 = λ3 =
7+2
6 = 32 , λ4 = 7+4
6 = 11
6 , и собственные
2πiλk
числа e совпадают с посчитанными до этого.

10