Ограниченность лог-канонических поверхностей общего типа (по работе Алексеева-Мори)

В докладе будет разобрано доказательство теоремы Алексеева-Мори об оценке снизу на индекс самопересечения лог-канонического дивизора для лог-канонической поверхности общего типа. Более точно, оценка будет строиться в терминах (произвольного) подмножества в $\mathbb{R}$, содержащего коэффициенты границы и удовлетворяющего условию обрыва убывающих цепей.