Extending symmetric determinantal quartic surfaces (Q464242)

A symmetric determinantal quartic surface \(T_4\subset \mathbb P^3\) is defined by the vanishing of the determinant of a symmetric \(4\times 4\) matrix with linear entries, and \(T\) has ten \(\frac{1}{2}(1,1)\) singularities generically. The surface \(T_4\) has a model \(T\subset\mathbb{P}(2^4,3^4)\) defined by 14 equations. In particular, \(T\) is the hyperplane section of weighted degree 1 of the anticanonical model of a Fano threefold \(W \subset \mathbb{P}(1,2^4,3^4)\); \(W\) is called an extension of \(T\). Repeting this process, one gets the tower of extensions \[ T\subset W^3\subset W^4\subset W^5\subset W^6\subset \mathbb{P}(1^4,2^4,3^4), \] where each \(W^n\) is a Fano \(n\)-fold. In the first part of the present paper the author shows that there is a one-to-one correspondence between the moduli of the \(K3\) surface \(T\) and the moduli of the sixfold \(W^6\). More precisely: let \(T\subset\mathbb{P}(2^4,3^4)\) be a quasismooth symmetric determinantal \(K3\) surface with \(10\times \frac{1}{2}(1,1)\) points. Then \(T\) determines (and is unique determined by) a unique extension to a quasismooth Fano sixfold \(W \subset \mathbb{P}(1^4,2^4,3^4)\) with \(10\times \frac{1}{2}(1,\ldots,1)\) points and such that \[ T=W\cap H_1\cap H_2 \cap H_3 \cap H_4, \] where the \(H_i\) are linear hyperplanes of the weighted projective space \(\mathbb{P}(1^4,2^4,3^4)\). In the second part of the paper the author uses this family of Fano sixfolds to give a new construction of an important family of surfaces of general type: there is a \(16\)-parameter family of topologically simply connected surfaces \(Y\) of general type with \(p_g = 1\), \(q = 0\), \(K^2 = 2\), each of which is a complete intersection of type \((1, 1, 1, 2)\) in a Fano sixfold \(W\subset \mathbb{P}(1^4,2^4,3^4)\) with \(10 \times \frac{1}{2}(1,\ldots,1)\) points. This family lies in the irreducible component of the moduli space described in [\textit{F. Catanese} and \textit{O. Debarre}, Surfaces with \(K^2=2, p_g=1, q=0\), J. Reine Angew. Math. 395, 1--55 (1989; Zbl 0658.14016)], where Catanese and Debarre studied surfaces of general type with \(K^2 = 2\), \(p_g = 1\), \(q=0\) giving an almost complete classification.