An overview of effective normalization of a nonsingular in codimension one projective algebraic variety

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