\(K3\) surfaces from configurations of six lines in \(\mathbb{P}^2\) and mirror symmetry. I (Q2214177)

Resolutions of double covers of \(\mathbb P^2\) branched along six lines in general position form a family of \(K3\) surfaces which generalizes the Legendre family of double covers of \(\mathbb P^1\) branched along four points in general position. Starting from the work of \textit{K. Matsumoto} et al. [Int. J. Math. 3, No. 1, 1--164 (1992; Zbl 0763.32016)], this family of \(K3\) surfaces and the set of the differential equations satisfied by the their period integrals, namely the hypergeometric system \(E(3,6)\), have been intensely studied. The present paper bridges the gap between the the original description of \(E(3,6)\) as an Aomoto-Gel'fand system and its description as a Gel'fand--Kapranov--Zelevinski (GKZ) system. In this way, the author are able to apply the techniques developed in [\textit{S. Hosono} et al., Nucl. Phys., B 433, No. 3, 501--552 (1995; Zbl 1020.32508)] and [\textit{S. Hosono} et al., Commun. Math. Phys. 182, No. 3, 535--577 (1996; Zbl 0870.14028)] for GKZ systems in order to study special degeneration points (LCSLs) from the point of view of mirror symmetry. (The corresponding mirror maps are the subject of a companion paper [\textit{S. Hosono} et al., ``\(K3\) surfaces from configurations of six lines in $\mathbb P^2$ and mirror symmetry II -- $\lambda_{K3}$-functions'', Int. Math. Res. Not. (to appear)].) Configurations of six lines in \(\mathbb P^2\) are parametrized by the space \(P(3,6)\), which admits an explicit hypersurface \(\mathcal M_6\) in \(\mathbb P(1^5,2)\) as Baily-Borel-Satake compactification. The authors define an open covering of \(\mathcal M_6\) by certain Zariski open subsets of toric varieties on which GKZ systems are defined (Proposition 6.11). On each open subset, the \(\mathcal D\)-module associated to the hypergeometric system \(E(3,6)\) is trivialized by the \(\mathcal D\)-module of the corresponding GKZ hypergeometric system (Theorem 7.1). There are two algebraic resolutions of \(\mathcal M_6\), connected by a 4-dimensional flip (Theorem 6.12). On these resolutions, the LCSLs are given by the intersections of certain normal crossing divisors (Theorem 7.2).