典范墙结构与内蕴镜像对称

正如 2016 年《内蕴镜像对称与穿孔不变量》所宣告的，我们构造并证明了典范墙结构的一致性。该构造始于一个对数 Calabi-Yau 对 (X,D)，并生成一个由 Gross-Hacking-Siebert 所定义的墙结构。粗略地说，典范墙结构是一种数据结构，它编码了 Maslov 指数为零的圆盘计数的代数几何类比。这些计数不变量是根据 Abramovich-Chen-Gross-Siebert 的穿孔不变量来定义的。本文随后有两个主要定理。第一，我们证明了典范墙结构的一致性，从而该典范墙结构给出一个镜像族。第二，我们证明此镜像族与我们在《内蕴镜像对称》一文中构造的内蕴镜像相一致。尽管本文的设定比后一文更窄，它给出了关于镜像更细致的描述。