Изменения в программе лог Саркисова для поверхностей (по статье Adrien Dubouloz и Stephane Lamy)

Пусть $(S,B_S)$ — лог-пара, ассоциированная с компактификацией данной гладкой квазипроективной поверхности $V$. Предполагая, что граница $B_S$ неприводима, мы предлагаем алгоритм, в духе лог-программы Саркисова, разложения произвольного автоморфизма $V$ в последовательность элементарных связей в рамках логарифмической теории Мори. Новая достойная внимания черта этого алгоритма заключается в том, что все раздутия и стягивания, вовлечённые в процесс, происходят на границе.