Mirror symmetry for \(K3\) surfaces (Q2025644)

For a certain class of \(K3\) surfaces, two definitions of mirror symmetry exist, namely BHK mirror symmetry and mirror symmetry for lattice polarized \(K3\) surfaces. Given a \(K3\) surface \(X_{W,G}\) constructed from a quasi-homogeneous polynomial \(W\) of the form \(W = x_0^n + f(x_1,x_2,x_3)\) and a group \(G\) satisfying certain conditions, one can define its so-called BHK mirror \(X_{W^T,G^T}\) thanks to a construction developed by Berglund, Henningson, Hübsch and Krawitz. The \(K3\) surfaces \(X_{W,G}\) and \(X_{W^T,G^T}\) admit a non-symplectic automorphism \(\sigma_n\) given by \((x_0,x_1,x_2,x_3) \mapsto (\zeta_n x_0,x_1,x_2,x_3)\), where \(\zeta_n\) is a primitive \(n\)-th root of unity. The question arises whether \(X_{W,G}\) are \(X_{W^T,G^T}\), together with the corresponding invariant sublattice of \(\sigma_n\) in the second integral cohomology group, are mirror symmetric also in the sense of mirror symmetry for lattice polarized \(K3\) surfaces developed by Dolgachev, Nikulin, Voisin and others. The answer is positive and the proof consists of a lengthy case-by-case analysis started by Artebani, Boissière, Sarti (who considered the case \(n = 2\)) [\textit{M. Artebani} et al., J. Math. Pures Appl. (9) 102, No. 4, 758--781 (2014; Zbl 1315.14051)], continued by Comparin, Lyons, Priddis and Suggs (\(n\) prime and odd) \textit{P. Comparin} et al., Adv. Theor. Math. Phys. 18, No. 6, 1335--1368 (2014; Zbl 1346.14100)], Comparin, Priddis (\(n\) composite, \(n \neq 4,8,12\)) [\textit{P. Comparin} and \textit{N. Priddis}, J. Math. Soc. Japan 73, No. 2, 403--431 (2021; Zbl 1465.14042)] and concluded in the present paper (\(n = 4\), \(8\), \(12\)).