"Записки научных семинаров ПОМИ"

Том 373, стр. 295-317

С.-Петербургское отделение Математического института им. В. А. Стеклова РАН, Фонтанка 27, 191023 С.-Петербург, Россия

alch@pdmi.ras.ru

Аннотация: Пусть $V$ неособое в коразмерности один проективное алгебраическое многообразие степени $D$ и размерности $n$. Тогда построение нормализации $V$ может быть канонически сведено за полиномиальное время от размера входных данных и $D^{n^{O(1)}}$ к решению линейного уравнения $aX+bY+cZ=0$ над кольцом полиномов. Мы описываем план доказательства этого результата со всеми вспомогательными леммами. Библ. -- 4 назв.
Ключевые слова: алгебраическое многообразие, проективное многообразие, нормализация, сложность [algebraic variety, projective variety, normalization, complexity]