The canonical wall structure and intrinsic mirror symmetry

As announced in Gross and Siebert (in Algebraic geometry: Salt Lake City 2015, Proceedings of Symposia in Pure Mathematics, vol 97, no 2. AMS, Providence, pp 199–230, 2018) in 2016, we construct and prove consistency of the canonical wall structure . This construction starts with a log Calabi–Yau pair ( X , D ) and produces a wall structure, as defined in Gross et al. (Mem. Amer. Math. Soc. 278(1376), 1376, 1–103, 2022). Roughly put, the canonical wall structure is a data structure which encodes an algebro-geometric analogue of counts of Maslov index zero disks. These enumerative invariants are defined in terms of the punctured invariants of Abramovich et al. (Punctured Gromov–Witten invariants, 2020. arXiv:2009.07720v2 [math.AG]). There are then two main theorems of the paper. First, we prove consistency of the canonical wall structure, so that, using the setup of Gross et al. (Mem. Amer. Math. Soc. 278(1376), 1376, 1–103, 2022), the canonical wall structure gives rise to a mirror family. Second, we prove that this mirror family coincides with the intrinsic mirror constructed in Gross and Siebert (Intrinsic mirror symmetry, 2019. arXiv:1909.07649v2 [math.AG]). While the setup of this paper is narrower than that of Gross and Siebert (Intrinsic mirror symmetry, 2019. arXiv:1909.07649v2 [math.AG]), it gives a more detailed description of the mirror.