Поверхности дель Пеццо над дедекиндовыми схемами (по работе А. Корти)

В докладе будет доказана теорема о том, что для любой поверхности дель Пеццо $X_{K}$ над полем частных $K$ почти произвольного дискретно нормированного кольца $\mathcal O$ существует такая целая модель этой поверхности $X/\mathrm{Spec}(\mathcal O)$, что она имеет терминальные особенности индекса $1$, приведённый и неприводимый центральный слой, очень обильный антиканонический дивизор в случае $d>2$, и очень обильный дивизор $-2K_{X}$ в случае $d=2$, где $d$ — степень $X_{K}$.