对数 del Pezzo 对的 K 模空间

我们建立了次数 $8$ 的 del Pezzo 对 $(X,cC)$ 的 K 模空间 $\overline{P}^K_c$ 的完整显式穿墙，其中一般性地 $X \cong \bbF_1$ 且 $C \sim -2K_X$。我们还证明了 K 模空间 $\overline{P}^K_c$ 与对应于格 $E_8\oplus U^2\oplus E_7\oplus A_1$ 的 $18$ 维局部对称空间的 Hassett-Keel-Looijenga（HKL）模型 $\cF(s)$ 相一致。