IV型域商空间的全锥紧化

全锥紧化是一种可为局部对称簇定义的环面紧化。令$\overline{D_{L}/\widetilde{O}^{+}(L)}^{p}$为与偶格$L$相关的IV型域$D_{L}$之商空间的全锥紧化。在我们的主要定理中，我们证明对${( \overline{D_{L}/\widetilde{O}^{+}(L)}^{p}, \Delta/2 )}$具有klt奇点，其中$\Delta$是${ D_{L}/\widetilde{O}^{+}(L) }$分支除子的闭包。特别地，这适用于当$d$无平方因子时带ADE奇点的$2d$-极化$K3$曲面模空间的全锥紧化。