Key varieties for prime $\mathbb{Q}$-Fano threefolds defined by Jordan algebras of cubic forms. Part I

Hiromichi Takagi
2024-06-20
Abstract:The first aim of this paper is to construct a $13$-dimensional affine variety $\mathscr{H}_{\mathbb{A}}^{13}$ related with $\mathbb{P}^{2}\times\mathbb{P}^{2}$-fibration. It is well-known that the affine cone of the Segre embedded $\mathbb{P}^{2}\times\mathbb{P}^{2}$ is defined as the null loci of the so called $\sharp$-mapping of a 9-dimensional nondegenerate quadratic Jordan algebra $J$ of a cubic form. Inspired with this fact, we construct $\mathscr{H}_{\mathbb{A}}^{13}$ in the same way coordinatizing $J$ with 8 parameters. We derive such a coordinatization of $J$ using fixed three complementary primitive idempotents and the associated Peirce decomposition of $J$. The second aim of this paper is to construct complex prime $\mathbb{Q}$-Fano $3$-folds of anti-canonical codimension 4 as weighted complete intersections of appropriate weighted projectivizations of $\mathscr{H}_{\mathbb{A}}^{13}$ or its subvarieties (possibly allowing some coordinates with weight $0$). The affine variety $\mathscr{H}_{\mathbb{A}}^{13}$ and such weighted projectivizations of $\mathscr{H}_{\mathbb{A}}^{13}$ are called key varieties for prime $\mathbb{Q}$-Fano 3-folds. We show that a prime $\mathbb{Q}$-Fano 3-fold of genus $3$ with three $\frac{1}{2}(1,1,1)$-singularities belonging to the class of No.5.4 as in [Tak1] is constructed from one weighted projectivization of $\mathscr{H}_{\mathbb{A}}^{13}$ such that all the coordinates have positive weights. Conversely, we also show that any such a prime $\mathbb{Q}$-Fano 3-fold is obtained in this way. Moreover, relating $\mathscr{H}_{\mathbb{A}}^{13}$ with the $C_{2}$-cluster variety constructed by Coughlan and Ducat [CD1], we show that weighted projectivizations of $\mathscr{H}_{\mathbb{A}}^{13}$ or its subvarieties are key varieties for prime $\mathbb{Q}$-Fano 3-folds belonging to 108 classes in the online database [GRDB].
Algebraic Geometry,Rings and Algebras
What problem does this paper attempt to address?