Families of \(K3\) surfaces in smooth Fano 3-folds with Picard number 2 (Q2254961)

Object of the present paper are families of \(K3\) surfaces in smooth Fano 3-folds (toric and nontoric). The Fano 3-folds which are considered are: \(X\) is smooth Fano 3-fold obtained blowing up \(\mathbb P^3\) along a smooth plane curve; \(X'\) is smooth Fano 3-fold obtained blowing up \(\mathbb P^3\) along a line; \(X''\) is smooth Fano 3-fold obtained blowing up \(\mathbb P^3\) along a Martens curve, i.e. a smooth irreducible curve which is the intersection of two smooth cubic surfaces in \(\mathbb P^3\) and \(Y\) is a small toric degeneration of \(X\). It is a Gorenstein toric fano 3-fold. Denote \(\mathcal F\) (resp. \(\mathcal F'\), \(\mathcal F''\), \(\tilde \mathcal F\)) the families of \(K3\) surfaces parametrized by the complete anticanonical linear system \(|-K_{X}|\) (resp. \(|-K_{X'}|\), \(|-K_{X''}|\), \(|-K_{Y}|\)). The Picard lattice of the generic member in these families is called Picard lattice of the family. The main results of the paper state the following: there exists a birational map \(\Phi:\mathcal F'\rightarrow \tilde\mathcal F\) such that general member of \(\mathcal F'\) is birationally equivalent to general member in \(\tilde\mathcal F\). Moreover, there exists a common subfamily \(\mathcal G\) of \(\mathcal F'\) and \(\mathcal F''\) such that Gorenstein \(K3\) surfaces in \(\mathcal F'\) and \(\mathcal F''\) are birationally equivalent. Moreover, the paper provides an appendix where all Picard lattices of families of \(K3\) surfaces in a smooth Fano 3-fold of Picard number 2 are classified. The author also studies which of these Picard lattices are isometric. Observe that, compared with [Comment. Math. Univ. St. Pauli 61, No. 2, 103--114 (2012; Zbl 1281.14031)], in this paper the author not only considers families of \(K3\) surfaces in smooth Fano 3-folds, but also studies families in Gorenstein terminal Fano 3-folds, as \(Y\), or in nontoric 3-folds, as \(X''\).