Комбинаторно-геометрическая структура амебы для гиперповерхности

Обозначим через Tn комплексный алгебраический тор 2015-02-04amoeba21x n. Рассмотрим в Tn полином Лорана

2015-02-04amoeba22x(2.1)

где A n — конечное множество.

Определение. Многогранником Ньютона Δf полинома f(z) называется выпуклая оболочка всех показателей α = (α1,n) мономов zα входящих в f(z).

Множество нулей полинома f определяет алгебраическую гиперповерхность V = {f = 0}. Напомним, что амебой этой гиперповерхности (или полинома f) мы называем ее образ Af относительно логарифмического отображения Log : Tn , действующего по формуле

2015-02-04amoeba23x

Как уже отмечалось, Log является собственным отображением, поскольку прообразом каждой точки амебы является компактное множество — тор:

2015-02-04amoeba24x

Поэтому амеба Af замкнута как образ замкнутого множества, а её дополнение открыто. Дополнение n \Af состоит из связных компонент E, каждая из которых открытая и выпуклая. Пусть E — связная компонента дополнения n \Af.

Нам потребуются два фундаментальных понятия из выпуклого анализа.

Определение. Конус рецессии выпуклого множества E — это наибольший конус, который можно поместить в E некоторым сдвигом.

Определение. Двойственным конусом к многограннику Δf в точке v Δf называется множество

2015-02-04amoeba25x

Связь между комбинаторикой многогранника Ньютона Δf полинома Лорана f и структурой дополнения n \Af дает следующая

Теорема. [66] Пусть V = 2015-02-04amoeba26x — гиперповерхность в Tn. Тогда на множестве компонент связности дополнения n \Af существует инъективная функция порядка

2015-02-04amoeba27x

такая, что двойственный конус Cν(E) к многограннику Ньютона есть конус рецессии компоненты E. Целочисленный вектор ν(E) называется порядком компоненты E.

 Согласно этой теореме, существует взаимно-однозначное соответствие между множеством связных компонент {E} дополнения к Af и некоторым подмножеством целочисленных векторов ν Δf. Тем самым, дополнение n \Af состоит из конечного числа связных компонент, и эти компоненты идентифицируются векторами ν n Δ f. Таким образом, каждая связная компонента из n \Af идентифицируется записью Eν, где ν n Δ f.

На рисунке 2.4 приведены многоугольник Ньютона многочлена f(z1,z2) = 1 + z12z 2 + z1z22 - 4z 1z2 и соответствующие компоненты дополнения его амебы. На рисунке 2.5 изображены многоугольник Ньютона для произведения трех аффинных функций общего положения и соответствующие компоненты дополнения амебы этого произведения.

ункция порядка ν(E) допускает несколько реализаций. По одной из них, ν(E) равна градиенту функции Иенсена-Ронкина Nf(x) на E (напомним, что эта функция аффинно-линейна на E):

2015-02-04amoeba29x

Другая интерпретация состоит в том, что координата νj вектора ν = ν(E) равна коэффициенту зацепления гиперповерхности V = {f = 0} с базисной петлей ej вещественного тора {|zj| = exj,j = 1,,n},x E. Существует также интегральное представление для νj.

В случае двух переменных Δf — многоугольник в 2. Целые точки ν Δf 2 могут быть трех видов: вершины Δ f; точки, лежащие в относительной внутренности сторон Δf и, наконец, внутренние точки Δf. Конусом рецессии компоненты Eν в этих случаях будут соответственно, плоский двумерный конус, луч и точка.

Из приведенной теоремы вытекает

Следствие. Число связных компонент дополнения n\Af не меньше числа вершин Δf и не больше числа целых точек Δf:

2015-02-04amoeba30x

Таким образом, многогранник Ньютона Δf в некоторой мере отражает структуру амебы Af гиперповерхности, определяемой нулями f в торе Tn. Однако информации о комбинаторике многогранника недостаточно для того, чтобы полностью охарактеризовать амебу Af. Дело в том, что при разных значениях коэффициентов cα в f(z) компоненты дополнения с вырожденными (неполномерными) конусами рецессии могут открываться, а могут и не высвечиваться. Согласно результату [57], для любого подмножества Δf из Δ f, содержащего множество вершин vertΔf, существует набор коэффициентов, для которого дополнение n \Af имеет лишь связные компоненты Eν, соответствующие ν Δf.

pocek1pocek2

2.4.

oks1oksa2

2.5.

На рисунках 2.4 и 2.5 изображены амёбы Af, в дополнении которых имеются все связные компоненты, соответствующие всем целым точкам многогранников Ньютона Δf.

Следует отметить, что в размерности n = 2 ограниченным компонентам,т.е. дыркам, соответствуют внутренние целые точки многоугольника Ньютона. Например, у амебы кривой, изображенной на рис. 2.6, задаваемой многочленом 1 + z13 + z 12z 22 + az 1z2 + bz12z 2 есть две «дырки», соответствующие двум внутренним точкам ее многоугольника Ньютона. Компонентам, которые содержат ненулевые углы, соответствуют вершины многоугольника. Остальным компонентам соответствуют целые точки из относительной внутренности границы многоугольника.

4nogiA14nogiN

2.6. Амеба комплексной кривой в 2 и многоугольник Ньютона определяющего её полинома