On the \(0\)-dimensional cusps of the Kähler moduli of a \(K3\) surface (Q985686): Difference between revisions

The main result of the paper under review establishes a counting formula for the number of 0-dimensional cusps of the Kähler moduli space of some \(K3\) surface \(X\). The idea is to relate this set to the set of twisted Fourier--Mukai partners of \(X\). Recall that a \(K3\) surface is a complex smooth projective surface \(X\) with \(\omega_X\cong \mathcal{O}_X\) and \(H^1(X,\mathcal{O}_X)\). Any (untwisted) Fourier--Mukai partner of \(X\), that is, a smooth projective variety \(Y\) such that the bounded derived categories of \(X\) and \(Y\) are equivalent, \({\text D}^{\text b}(X)\cong {\text D}^{\text b}(Y)\), is also a \(K3\) surface. More precisely, \(Y\) is a fine moduli space of stable sheaves on \(X\) whose numerical invariants are encoded in a primitive isotropic vector \(v \in \widetilde{NS}(X)\), where the latter is the extended Neron--Severi lattice. If the vector is not primitive, the moduli space is not fine anymore and we have to consider twisted sheaves. A twisted \(K3\) surface is a pair \((X',\alpha)\), where \(X'\) is a \(K3\) surface and \(\alpha\) is a class in the Brauer group of \(X'\). One can consider the abelian category of \(\alpha\)-twisted sheaves on \(X'\) and its bounded derived category \({\text D}^{\text b}(X',\alpha)\). A twisted FM-partner of \(X\) is a twisted \(K3\) surface \((X',\alpha)\) such that there is an equivalence \({\text D}^{\text b}(X',\alpha)\cong {\text D}^{\text b}(X)\). The Kähler moduli space \(\mathcal{K}(X)\) of \(X\) is the quotient of a certain Hermitian symmetric domain \(\Omega^+_L\), associated with \(L=\widetilde{NS}(X)\), by the action of an arithmetic group \(\Gamma(X)^+\). This variety admits a Baily--Borel compactification and its boundary components are called cusps. In a previous paper [Int.\ J.\ Math.\ 20, No. 6, 727--750 (2009; Zbl 1216.14037)] the author established a bijection between untwisted Fourier--Mukai partners of a given \(K3\) surface \(X\) and so-called standard 0-dimensional cusps of its Kähler moduli space. In this paper a bijection between all the 0-dimensional cusps of \(\mathcal{K}(X)\) and the twisted Fourier--Mukai partners of \(X\) is established, thus giving a counting formula for the former set. More precisely, the cusps of divisibility \(d\) correspond to the twisted FM-partners such that the order of the Brauer class is also \(d\) (the untwisted case corresponds to the case \(d=1\)). As an application the author proves that, given two \(K3\) surfaces of Picard rank at least 13 whose transcendental lattices are isometric over \(\mathbb{Q}\), there exists a third \(K3\) surface dominating the given ones by rational maps of square degrees.