2. Background on intrinsic quadrics

In this section, we recall the basic facts about intrinsic quadrics from [Reference Fahrner and Hausen8] and adapt the methods developed in [Reference Hausen, Hische and Wrobel9, Reference Hische and Wrobel10] to prove our main result in the subsequent section. Our main tool is the Cox ring $\mathcal{R}(X)$ , which can be assigned to any normal projective variety X with finitely generated divisor class group $\mathrm{Cl}(X)$

\begin{equation*}\mathcal{R}(X)=\bigoplus\limits_{[D]\in\mathrm{Cl}(X)}\Gamma(X,\mathcal{O}_X(D)).\end{equation*}

We refer to [Reference Arzhantsev, Derenthal, Hausen and Laface1] for a precise definition and background on Cox rings.

An intrinsic quadric is a normal projective variety X with finitely generated divisor class group $\mathrm{Cl}(X)$ and finitely generated Cox ring $\mathcal{R}(X)$ admitting homogeneous generators $f_1,\ldots,f_r$ such that the ideal of relations is generated by a single, purely quadratic homogeneous relation q. In particular, we have a graded isomorphism

\begin{equation*}\mathcal{R}(X)\cong \mathbb{C}[f_1,\ldots,f_r]/\langle q\rangle.\end{equation*}

Proposition 2.1 ([Reference Fahrner and Hausen8, Proposition 2.1]). Let X be an intrinsic quadric. Then there exists a graded isomorphism

(2.1) \begin{equation}\mathcal{R}(X)\cong\mathbb{C}[T_{1},\ldots,T_{n},S_1,\ldots,S_m]/\langle q_{s,t}\rangle,\end{equation}

for some s,t, where $q_{s,t}\,:\!=\,T_1T_2+\ldots+T_{s-1}T_{s}+T_{s+1}^2+\ldots+T_{s+t}^2$ and the $\mathrm{Cl}(X)$ -grading on the ring on the right hand side fulfills the following: The variables $T_i, S_k$ and the polynomial $q_{s,t}$ are homogeneous and we have $\mathrm{deg}(T_{s+k}) \neq \mathrm{deg}(T_{s+l})$ for $ 1\leq k < l \leq t$ .

The polynomial $q_{s,t}$ is called a standard $\mathrm{Cl}(X)$ -homogeneous quadric and the representation of $\mathcal{R}(X)$ in (2.1) is called the homogeneous normal form.

The homogeneous normal form enables us to work in the flexible language introduced in [Reference Hausen, Hische and Wrobel9]. We adapt the basic constructions presented there to intrinsic quadrics and recall the major results.

Construction 2.2. Fix integers $r,m \geq 0$ and $n_0, \ldots, n_r > 0$ , such that $2\geq n_0\geq\ldots\geq n_r\geq 1$ holds. Set $\mathfrak{n}\,:\!=\,(n_0,\ldots,n_r)$ , $n \,:\!=\, n_0 + \ldots + n_r$ and define an integral $r\times(n+m)$ matrix $P_0$ built up from tuples $l_0,\ldots,l_r$ as follows:

\begin{equation*}P_{0} \,:\!=\, \left[\begin{array}{c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c}-l_{0} & l_{1} & & 0 & 0 & \ldots & 0\\[3pt]\vdots & \vdots & \ddots & \vdots & \vdots & & \vdots\\[3pt]-l_{0} & 0 & & l_{r} & 0 & \ldots & 0\end{array}\right],\qquad l_i \,:\!=\,\left\{\begin{array}{c@{\quad}l}(1,1)&\text{if }n_i=2\text{ holds},\\[6pt](2)&\text{else}.\end{array}\right.\end{equation*}

We will write $\mathbb{C}[T_{ij},S_k]$ for the polynomial ring in the variables $T_{ij}$ and $S_k$ , where $0\leq i\leq r,1\leq j\leq n_i$ and $1\leq k\leq m$ holds. To the matrix $P_0$ , we associate a quadratic relation

\begin{equation*}q=T_{0}^{l_0}+\ldots+T_r^{l_r},\qquad \text{with }T_i^{l_i}\,:\!=\,T_{i1}^{l_{i1}}\cdots T_{in_i}^{l_{in_i}}\in\mathbb{C}[T_{ij},S_k].\end{equation*}

Note that, by the choice of the $n_i$ and $l_i$ , each term of q is in fact either of the form $T_{i1}T_{i2}$ or of the form $T_{i1}^2$ and there are m free variable $S_1, \ldots S_m$ not occurring in q. Now, let $e_{ij} \in \mathbb{Z}^{n}$ and $e_k \in \mathbb{Z}^{m}$ denote the canonical basis vectors regarded as vectors in $\mathbb{Z}^{n+m}$ and consider the projection

\begin{equation*}Q_0 \colon \mathbb{Z}^{n+m}\ \rightarrow K_0 \,:\!=\, \mathbb{Z}^{n+m} / \mathrm{im}(P_0^*),\end{equation*}

onto the factor group by the row lattice of $P_0$ . We define the $K_0$ -graded $\mathbb{C}$ -algebra

\begin{equation*}R(\mathfrak{n},P_0)\ \,:\!=\, \mathbb{C}[T_{ij},S_k] / \langle{q}\rangle,\end{equation*}

\begin{equation*}\deg\!(T_{ij}) \,:\!=\, Q_0(e_{ij}),\qquad \deg\!(S_k) \,:\!=\, Q_0(e_k).\end{equation*}

Example 2.3. In the notation of Construction 2.2 let $r = 2$ , $m = 0$ , $n_0 = n_1 = 2$ , $n_2 = 1$ and $\mathfrak{n} = (2,2,1)$ . Then we obtain a $2 \times 5$ matrix

\begin{equation*}P_{0} = \left[\begin{array}{c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c}-1 & -1 & 1 & 1 & 0\\[4pt]-1 & -1 & 0 & 0 & 2\end{array}\right],\end{equation*}

and the corresponding relation is

\begin{equation*}q = T_{01}T_{02} + T_{11}T_{12} + T_{21}^2 \in \mathbb{C}[T_{01},T_{02},T_{11},T_{12}, T_{21}],\end{equation*}

Concerning the grading on $R(\mathfrak{n}, P_0)$ , we have $K_0 \cong \mathbb{Z}^3$ and setting $w_{ij}^0\,:\!=\, \mathrm{deg}(T_{ij}) \in \mathbb{Z}^3$ we obtain

\begin{equation*}\left[w_{01}^0, w_{02}^0, w_{11}^0, w_{12}^0, w_{21}^0\right] =\left[\begin{array}{c@{\quad}c@{\quad}c@{\quad}c@{\quad}c}-1 & 1 & 0 & 0 & 0\\[4pt]0 & 0 & -1 & 1 & 0\\[4pt]1 & 1 & 1 & 1 & 1\end{array}\right].\end{equation*}

Construction 2.5. Let $R(\mathfrak n,P_0)$ be a $K_0$ -graded $\mathbb{C}$ -algebra as in Construction 2.2. Choose any integral $s\times (n+m)$ matrix D with $r+s\leq n+m$ , such that the stack matrix

\begin{equation*}P\,:\!=\,\left[\begin{array}{c}P_0\\D\end{array}\right],\end{equation*}

has pairwise different and primitive columns generating $\mathbb{Q}^{r+s}$ as a cone. Now, similar to Construction 2.2, consider the factor group $K\,:\!=\,\mathbb{Z}^{n+m}/\mathrm{im}(P^*)$ and the projection $Q\colon\mathbb{Z}^{n+m}\rightarrow K$ . Then, we define the K-graded $\mathbb{C}$ -algebra

\begin{equation*}R(\mathfrak{n},P)\ \,:\!=\, \mathbb{C}[T_{ij},S_k] / \langle{q}\rangle,\end{equation*}

\begin{equation*}\deg\!(T_{ij}) \,:\!=\, Q(e_{ij}),\qquad \deg\!(S_k) \,:\!=\, Q(e_k).\end{equation*}

Example 2.6. (Example 2.3 continued). Let $R(\mathfrak{n}, P_0)$ be as in Example 2.3. We build up a stack matrix

\begin{equation*}P=\left[\begin{array}{c}P_0\\\hline D\end{array}\right]=\left[\begin{array}{c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c}-1 & -1 & 1 & 1 & 0\\[3pt]-1 & -1 & 0 & 0 & 2\\[3pt]\hline-1 & 0 & 0 & 1 & 0 \\[3pt]-1 & 0 & 0 & 0 & 1\end{array}\right].\end{equation*}

We directly verify that P has indeed pairwise different, primitive columns generating $\mathbb{Q}^{4}$ as a cone. We obtain $K \cong \mathbb{Z}$ and writing $w_{ij} \,:\!=\, \mathrm{deg}(T_{ij}) \in \mathbb{Z}$ we obtain

\begin{equation*}[w_{01}, w_{02}, w_{11}, w_{12}, w_{21}] = [1,1,1,1,1].\end{equation*}

In particular $R(\mathfrak{n},P)$ is the Cox ring of the smooth three-dimensional projective quadric that occurs as No.1 in the list of Theorem 1.1.

We will now use the rings $R(\mathfrak n,P)$ to construct intrinsic quadrics, suitably embedded inside toric varieties; we refer to [Reference Cox, Little and Schenck7] for background on toric geometry. For this, let $R\,:\!=\,R(\mathfrak n,P)$ be a K-graded $\mathbb{C}$ -algebra from Construction 2.5 and denote by $\gamma$ the positive orthant $\mathbb{Q}^{n+m}_{\geq 0}$ . For any face $\gamma_0\preceq \gamma$ , we denote by $\gamma_0^*$ its complementary face, i.e. $\gamma_0^*\,:\!=\,\mathrm{cone}(e_i;\ e_i\not \in \gamma_0)\preceq\gamma$ . Moreover, for a homomorphism of finitely generated abelian groups $A\colon K\rightarrow K^{\prime}$ we denote its unique extension to the $\mathbb{Q}$ vector spaces $K_\mathbb{Q}\,:\!=\,K\otimes_\mathbb{Z} \mathbb{Q}$ , resp. $K^{\prime}_\mathbb{Q}$ as well with $A\colon K_\mathbb{Q}\rightarrow K^{\prime}_\mathbb{Q}$ . Finally, we define a polyhedral cone

\begin{equation*}\mathrm{Mov}(R)\,:\!=\,\bigcap\limits_{\gamma_0\preceq\gamma\text{ facet}} Q(\gamma_0)\subseteq K_\mathbb{Q}.\end{equation*}

Construction 2.9. Consider an integral K-graded $\mathbb{C}$ -algebra $R\,:\!=\,R(\mathfrak n,P)$ as in Construction 2.5. Then the K-grading on the polynomial ring $\mathbb{C}[T_{ij},S_k]$ defines an action of the quasitorus $H\,:\!=\,\mathrm{Spec}\ \mathbb{C}[K]$ on $\overline{Z}\,:\!=\,\mathbb{C}^{n+m}$ that leaves $\overline{X}\,:\!=\,V(q)\subseteq\overline{Z}$ invariant. Now, choose any element u inside the relative interior $\mathrm{Mov}(R)^\circ$ and define fans

\begin{equation*}\Sigma(u)\,:\!=\{P(\gamma_0^*);\ \gamma_0\preceq \gamma, u\in Q(\gamma_0)^\circ\},\qquad \widehat{\Sigma}(u)\,:\!=\{\gamma_0\preceq\gamma;\ P(\gamma_0)\in\Sigma(u)\}.\end{equation*}

This gives rise to the following commutative diagram

where Z and $\widehat{Z}$ are the toric varieties defined by $\Sigma(u)$ and $\widehat{\Sigma}(u)$ respectively, $\hat{Z}\rightarrow Z$ is a toric characteristic space for the quasitorus action of H on $\widehat{Z}$ and $\widehat{X}\,:\!=\,\bar{X}\cap\hat{Z}$ . The resulting variety $X(\mathfrak n,P,u)\,:\!=\,X\,:\!=\,\widehat{X}/\!\!/ H$ is projective, irreducible and normal with dimension, divisor class group and Cox ring

\begin{equation*}\mathrm{dim}(X)=s+r-1,\qquad \mathrm{Cl}(X)=K,\qquad \mathcal{R}(X)=R(\mathfrak n,P).\end{equation*}

In particular, the variety $X(\mathfrak n,P,u)$ is an intrinsic quadric with Cox ring $R(\mathfrak n,P)$ in homogeneous normal form. Note that $\widehat{X}\subseteq\overline{X}$ and $\widehat{Z}\subseteq\overline{Z}$ are precisely the sets of H-semistable points with respect to the weight u.

By construction any intrinsic quadric $X=X(\mathfrak n,P,u)$ comes embedded inside a toric variety Z defined by a fan $\Sigma(u)$ . We turn to the description of the cones $\sigma\in\Sigma(u)$ defining torus orbits $\mathbb{T}^{r+s}\cdot z_\sigma$ in Z, that intersect X non-trivially: Let us denote the columns of P by $v_{ij}\,:\!=\,P(e_{ij})$ and $v_k\,:\!=\,P(e_k)$ respectively. We call a cone $\sigma\in\Sigma(u)$ big (elementary big), if its set of primitive ray generators contains for every $i=0,\ldots,r$ at least (precisely) one of the vectors $v_{ij}$ . Moreover, we call $\sigma$ a leaf cone, if there exists a set of indices $I_\sigma\,:\!=\{i_1,\ldots i_{r-1}\}$ such that, whenever $v_{ij}$ is a primitive ray generator of $\sigma$ , then $i\in I_\sigma$ holds. Finally, we call a face $\gamma_0\preceq\gamma$ an X-face, if the torus orbit $\mathbb{T}^{n+m}\cdot z_{\gamma_0^*}\subseteq\mathbb{C}^{n+m}$ defined by the complementary face of $\gamma_0$ intersects $\overline{X}\subseteq\mathbb{C}^{n+m}$ non-trivially and $P(\gamma_0^*)\in\Sigma(u)$ holds.

We turn to the description of the various cones of divisor classes inside the rational divisor class group of an intrinsic quadric.

Remark 2.14. Let $X=X(\mathfrak n,P,u)$ be an intrinsic quadric. Then the cones of effective, movable, semiample and ample divisor classes inside $\mathrm{Cl}(X)_\mathbb{Q}=K_\mathbb{Q}$ are given as

\begin{equation*}\mathrm{Eff}(X)=Q(\gamma),\qquad \mathrm{Mov}(X)=\bigcap\limits_{{\tiny\begin{array}{c}\gamma_0\preceq\gamma\\\text{facet}\end{array}}}Q(\gamma_0)\end{equation*}

\begin{equation*}\mathrm{SAmple}(X)=\bigcap\limits_{{\tiny\begin{array}{c}\gamma_0\preceq\gamma\\X\text{-face}\end{array}}}Q(\gamma_0),\qquad \mathrm{Ample}(X)=\bigcap\limits_{{\tiny\begin{array}{c}\gamma_0\preceq\gamma\\X\text{-face}\end{array}}}Q(\gamma_0)^\circ.\end{equation*}

Note, that due to the projectivity of X, the effective cone $\mathrm{Eff}(X)$ is pointed.

We turn to the explicit description of the anticanonical divisor class of an intrinsic quadric and connected with it, its Fano property. For this, let $R\,:\!=\,R(\mathfrak n,P)$ be a K-graded $\mathbb{C}$ -algebra as in Construction 2.5. We set

\begin{equation*}-\kappa(R)\,:\!=\,\sum\mathrm{deg}(T_{ij})+\sum \mathrm{deg}(S_k)-\deg\!(q)\in K.\end{equation*}

We turn to singularity types of Fano varieties. For this, let X be an arbitrary Fano variety and $\pi\colon X^{\prime}\rightarrow X$ a resolution of singularities, i.e. $\pi$ is proper and birational and X ^′ is smooth and let $K_X$ denote any canonical divisor on X. Then, due to the ramification formula, we have

\begin{equation*}K_{X^{\prime}} = \pi^*K_X+\sum a_i E_i,\end{equation*}

where $K_{X^{\prime}}$ is a canonical divisor on X ^′, the $E_i$ are prime divisors located in the exceptional locus $\mathrm{Exc}(\pi)$ and the $a_i$ are rational numbers, the so called discrepancies. Note that the discrepancies of a Fano variety are independent of the chosen resolution of singularities. We call X terminal (canonical, log-terminal) if all discrepancies $a_i$ are strictly positive (non-negative, strictly greater then $-1$ ).

Our central tool to characterize and control these singularity types is the anticanonical complex as introduced in [Reference Bechtold, Hausen, Huggenberger and Nicolussi4] and developed further in [Reference Hische and Wrobel10]. We recall the necessary definitions and results from [Reference Hische and Wrobel10]. For this, let $X=X(\mathfrak n,P,u)$ be a Fano intrinsic quadric. Then, by construction, X is embedded inside a toric variety Z. Intersecting X with the open torus $\mathbb{T}^{r+s}\subseteq Z$ , we obtain its tropical variety as the support of the quasifan

\begin{equation*}\mathrm{trop}(X\cap\mathbb{T}^{r+s})= |\Sigma_{\mathbb{P}_r}^{\leq r-1}\times\mathbb{Q}^s|,\end{equation*}

where the first factor is the $(r-1)$ -skeleton of the standard fan of the r-dimensional projective space with primitive ray generators $e_1,\ldots,e_r\in\mathbb{C}^r$ and $e_0\,:\!=\,-\sum e_i$ . We denote the tropical variety of X with $\mathrm{trop}(X)$ and call its maximal linear subspace the lineality space $\mathrm{trop}(X)^\mathrm{lin}\,:\!=\{0\}\times\mathbb{Q}^s$ .

Construction 2.17. Let $X=X(\mathfrak n,P,u)$ be a Fano intrinsic quadric. For every elementary big cone $\sigma=\mathrm{cone}(v_{0j_0},\ldots,v_{rj_r})\in\Sigma(u)$ define numbers

\begin{equation*}\ell_{\sigma,i}\ \,:\!=\, \frac{l_{0j_0} \cdots l_{rj_r}}{l_{ij_i}}\text{ for } i = 0, \ldots, r\quad \text{and}\quad \ell_{\sigma}\ \,:\!=\, \ \sum_{i=0}^r \ell_{\sigma, i}-(l_{0j_0} \cdots l_{rj_r}).\end{equation*}

Construction 2.19. Let $X=X(\mathfrak n,P,u)$ be a log-terminal Fano intrinsic quadric. For every elementary big cone $\sigma=\mathrm{cone}(v_{0j_0},\ldots,v_{rj_r})\in\Sigma(u)$ define points inside the lineality space $\mathrm{trop}(X)^\mathrm{lin}$ :

\begin{equation*}v_\sigma\ \,:\!=\, \ell_{\sigma,0} v_{0j_0} + \ldots + \ell_{\sigma,r} v_{rj_r}\ \in \mathbb{Z}^{r+s}\quad \text{and}\quad v^{\prime}_\sigma\,:\!=\,\frac{v_\sigma}{\ell_\sigma}\in\mathbb{Q}^{r+s}.\end{equation*}

Then, $v^{\prime}_\sigma\in\sigma$ holds. Now, the anticanonical complex $\mathcal{A}$ of X is defined as the polytopal complex obtained as the intersection of the convex hull over the primitive ray generators of $\Sigma(u)$ and the $v^{\prime}_\sigma$ , where $\sigma\in\Sigma(u)$ is elementary big, with the tropical variety $\mathrm{trop}(X)$ .

Example 2.20. Let $X(\mathfrak{n},P,u)$ be as in Example 2.10. Then $\Sigma(u)$ contains the following four elementary big cones:

\begin{equation*}\begin{array}{c@{\quad}c}\sigma_1 = \mathrm{cone}(v_{01}, v_{11}, v_{21}),&\sigma_2 = \mathrm{cone}(v_{01}, v_{12}, v_{21}), \\[4pt]\sigma_3 = \mathrm{cone}(v_{02}, v_{11}, v_{21}),&\sigma_4 = \mathrm{cone}(v_{02}, v_{12}, v_{21}).\end{array}\end{equation*}

A direct calculation gives $v^{\prime}_{\sigma_1} = (0,0,-2/3,-1/3),$ $v^{\prime}_{\sigma_2} = (0,0,0,-1/3),$ $v_{\sigma_3}^{\prime} = (0,0,0,1/3)$ and $v^{\prime}_{\sigma_4} = (0,0,2/3,1/3).$ In particular, the anticanonical complex is the union of the following three three-dimensional polytopes.

\begin{equation*}\mathrm{conv}\!\left(v_{01},v_{02}, v^{\prime}_{\sigma_1}, \ldots, v^{\prime}_{\sigma_4}\right),\qquad \mathrm{conv}\!\left(v_{11},v_{12}, v^{\prime}_{\sigma_1}, \ldots, v^{\prime}_{\sigma_4}\right),\qquad \mathrm{conv}\!\left(v_{21}, v^{\prime}_{\sigma_1}, \ldots, v^{\prime}_{\sigma_4}\right)\end{equation*}

These polytopes are glued along their common face $\mathrm{conv}(v^{\prime}_{\sigma_1},\ldots, v^{\prime}_{\sigma_4})$ .

3. Proof of Theorem 1.1

This section is dedicated to the proof of Theorem 1.1. In a first step, we show that in our situation any intrinsic quadric $X(\mathfrak n,P,u)$ is defined via a trinomial or a quadrinomial relation q in its Cox ring $R(\mathfrak n,P)$ . Note that the quadrinomial case is part of [Reference Hische and Wrobel10], where torus actions of higher complexity on singular varieties are investigated, see Remark 3.2. Therefore, we turn to the trinomial case and go through any possible configuration for the defining data $\mathfrak n$ and P to create the classification list. Finally, we prove that all of the varieties stated in Theorem 1.1 are pairwise non-isomorphic.

Proof. We consider the Cox ring $R(\mathfrak n,P)$ of X. By assumption we have $n+m=5$ for the number of variables in $R(\mathfrak n,P)$ . Thus, by renaming the variables, we may assume that $R(\mathfrak n,P)=\mathbb{C}[T_1,\ldots,T_5]/\langle q\rangle$ holds, where q is a quadratic polynomial contained in the following list:

1. (i) $T_1^2$ , $T_1T_2$ or $T_1^2+T_2^2$ ,

2. (ii) $T_1T_2+T_3^2$ or $T_1T_2+T_3T_4$ ,

3. (iii) any square polynomial with three or four terms,

4. (iv) $T_1^2+T_2^2+T_3^2+T_4^2+T_5^2$ .

If q is one of the polynomials in (i), then $R(\mathfrak n,P)$ is not integral; a contradiction. Now assume q is one of the polynomials in (ii). Then the $K_0$ -grading on $R(\mathfrak n,P_0)$ turns the total coordinate space $\overline{X}$ into a toric variety and thus X is toric. This implies, that the Cox ring of X is isomorphic to a polynomial ring; a contradiction to the fact that $\overline{X}$ has a singularity at the origin. Finally, assume $q=T_1^2+T_2^2+T_3^2+T_4^2+T_5^2$ holds. Then we obtain

\begin{equation*}P_0=\left[\begin{array}{c@{\quad}c@{\quad}c@{\quad}c@{\quad}c}-2&2&0&0&0\\-2&0&2&0&0\\-2&0&0&2&0\\-2&0&0&0&2\end{array}\right].\end{equation*}

Therefore in order to produce a matrix P with primitive columns as in Construction 2.5, the matrix P has to be quadratic; a contradiction to $\varrho(X)=1$ . Now, the only case left is (iii) which proves the assertion.

For the sake of completeness, we extract the quadrinomial case from [Reference Hische and Wrobel10].

Note, that these varieties appear as Nos. 64, 69, 77 and 79 in Theorem 1.1.

Let us turn to the trinomial case. In a first step, we list the possible choices of the data $\mathfrak n$ and m. Then, in Propositions 3.5, 3.7 and 3.8, we show that in all cases there are only finitely many possible choices for the matrix P.

Proposition 3.5. Let $X\,:\!=\,X(\mathfrak n,P,u)$ be a $\mathbb{Q}$ -factorial Fano intrinsic quadric of dimension three and Picard number one, having at most canonical singularities and Cox ring $R(\mathfrak n,P)$ with $\mathfrak n=(1,1,1)$ and $m=2$ . Then X is isomorphic to a variety $X(\mathfrak n,P^{\prime},u)$ , where P^′ is an integral $(4\times 5)$ -matrix of the following form

\begin{equation*}P^{\prime}=\left[\begin{array}{c@{\quad}c@{\quad}c@{\quad}c@{\quad}c}-2&2&0&0&0\\[4pt]-2&0&2&0&0\\[4pt]x_1&x_2&x_3&x_4&x_5\\[4pt]y_1&y_2&y_3&y_4&y_5\end{array}\right],\end{equation*}

fulfilling the following constraints:

The set $\left\{[x_4,y_4],[x_5,y_5], [z_1,z_2]\right\}$ , where $[z_1,z_2]\,:\!=\,[x_1 + x_2 + x_3, y_1 + y_2 + y_3]$ equals one of the following sets

\begin{equation*}\begin{array}{c}\left\{[1,0],[0,1],[{-}1,-1]\right\}, \left\{[1,1],[{-}1,1],[0,-1]\right\},\left\{[1,1],[{-}1,1],[{-}1,-2]\right\},\\\left\{[1,1],[{-}1,1],[{-}1,-3]\right\}, \left\{[2,1],[1,1],[{-}1,-2]\right\},\end{array}\end{equation*}

and we have $x_2,x_3,y_2,y_3 \in \left\{0,1\right\}$ . In particular, we are left with finitely many possibilities for P ^′.

Proof. As X has Picard number one and by definition of $\Sigma(u)$ , we obtain the following big cone and its associated vertex of the anticanonical complex of X:

\begin{equation*}\sigma=\mathrm{cone}(v_{01},v_{11},v_{21})\in\Sigma,\qquad v^{\prime}_\sigma=[0,0,x_1+x_2+x_3,y_1+y_2+y_3].\end{equation*}

In particular, forgetting about the first two coordinates, the anticanonical complex of X intersected with the lineality space $\mathrm{trop}(X)^\mathrm{lin}$ is the two-dimensional lattice polytope

\begin{equation*}\Delta\,:\!=\,\mathrm{conv}([x_4,y_4], [x_5,y_5],[z_1,z_2]),\qquad [z_1,z_2]\,:\!=\,[x_1+x_2+x_3,y_1+y_2+y_3].\end{equation*}

As X has at most canonical singularities, the origin is the only interior lattice point of $\Delta$ . Thus, by applying admissible operations on the last two rows of P, we may assume that $\Delta$ is one of the 16 two-dimensional reflexive polytopes [Reference Batyrev3, Reference Koelman15, Reference Rabinowitz17]. In particular, as $\Delta$ has three vertices, we may assume that it is one of the following:

\begin{equation*}\mathrm{conv}([1,0],[0,1],[{-}1,-1]),\ \mathrm{conv}([1,1],[{-}1,1],[0,-1]),\ \mathrm{conv}([1,1],[{-}1,1],[{-}1,-2]),\end{equation*}

\begin{equation*}\mathrm{conv}([1,1],[{-}1,1],[{-}1,-3]),\ \mathrm{conv}([2,1],[{-}1,1],[{-}1,-2]).\end{equation*}

By definition, the vertices of $\Delta$ are invariant under adding a multiple of the first two rows of P to one of the last two rows. Thus, applying suitable admissible operations, we can achieve in addition, that we have $x_2,x_3,y_2,y_3\in\{0,1\}$ .

Remark 3.6. Let $X=X(\mathfrak n,P,u)$ be a $\mathbb{Q}$ -factorial intrinsic quadric of Picard number one and consider the rational degree-vector

\begin{equation*}d\,:\!=\,(\deg_\mathbb{Q}\!(T_{01}),\ldots,\deg_\mathbb{Q}\!(T_{rn_r}),\deg_\mathbb{Q}\!(T_1),\ldots,\deg_\mathbb{Q}\!(T_m))\in\mathbb{Z}^{n+m}.\end{equation*}

By construction, we have $\mathrm{Lin}_\mathbb{Q}(d) = \mathrm{ker}_\mathbb{Q}(P)$ and as the effective cone of X is pointed, we may assume $d \in \mathbb{Q}_{>0}^{n+m}.$ Now, denote with $P_{ij}$ resp. $P_k$ the submatrices of P arising by deleting the ij-th resp. k-th column and set $w_{ij}\,:\!=\,({-}1)^{c_{ij}}\mathrm{det}(P_{ij}), \ w_k\,:\!=\,({-}1)^{c_k}\mathrm{det}(P_k)$ , where $c_{ij}$ resp. $c_k$ denotes the number of the column $P_{*,ij}$ resp. $P_{*,k}$ . Then we obtain a non-zero vector

\begin{equation*}(w_{01},\ldots,w_{rn_r},w_1, \ldots w_m)\in\mathrm{ker}_\mathbb{Q}(P).\end{equation*}

This vector is a scalar multiple of d. In particular, the $w_{ij}$ and $w_k$ are either all positive or negative. We call them the rational weights.

Proposition 3.7. Let $X\,:\!=\,X(\mathfrak n,P,u)$ be a $\mathbb{Q}$ -factorial Fano intrinsic quadric of dimension three and Picard number one, having at most canonical singularities and Cox ring $R(\mathfrak n,P)$ with $\mathfrak n=(2,1,1)$ and $m=1$ . Then X is isomorphic to a variety $X(\mathfrak n,P^{\prime},u)$ , where P^′ is an integral $(4\times 5)$ -matrix of the following form

\begin{equation*}P^{\prime}=\left[\begin{array}{c@{\quad}c@{\quad}c@{\quad}c@{\quad}c}-1&-1&2&0&0\\[4pt]-1&-1&0&2&0\\[4pt]x_1&x_2&x_3&x_4&x_5\\[4pt]y_1&y_2&y_3&y_4&y_5\end{array}\right],\qquad \end{equation*}

fulfilling the following constraints: We have $x_1 = y_1 =y_2 = 0$ and

\begin{equation*}0<x_2\leq 2-(y_3+y_4),\qquad 0\leq x_4\leq 1,\qquad 0<x_5\leq|y_5|,\end{equation*}

\begin{equation*}-18-y_4\leq y_3<-y_4,\qquad -1\leq y_4\leq 1\end{equation*}

\begin{equation*}\begin{array}{c}2x_5y_3+2x_5y_4-2x_4y_5-4x_2y_5\\\hline2y_5\end{array}<x_3<-x_4,\quad 0<y_5\leq\begin{cases}9&x_2=1\\[4pt]\dfrac{x_2-\frac{1}{2}(y_3+y_4)}{x_2-1}&\text{else.}\end{cases}\end{equation*}

In particular, we are left with finitely many possibilities for P^′.

Proof. By applying suitable admissible operations on P we may assume $x_1 = y_1 = y_2 = 0$ and

\begin{equation*}x_2 > 0, \quad 0 < x_5 \leq |y_5|, \quad x_4,y_4 \in \left\{0,1\right\}.\end{equation*}

Moreover, by multiplying the last row with $({-}1)$ , if necessary, we may assume that we have positive weights:

\begin{align*}w_{01} &= 4x_2y_5+2x_3y_5-2x_5y_3+2x_4y_5-2x_5y_4,\\w_{02} &= -2x_3y_5+2x_5y_3-2x_4y_5+2x_5y_4,\\w_{11} &= 2x_2y_5,\\w_{21} &= 2x_2y_5,\\w_{1} &= -2x_2y_3-2x_2y_4.\end{align*}

Note that the last row operation possibly changes the sign of $y_4$ . Thus, we may only assume that $y_4\in\{-1,0,1\}$ holds. Now, positivity of the weights $w_{01}$ , $w_{11}$ and $w_1$ imply

\begin{equation*}\begin{array}{c}2x_5y_3+2x_5y_4-2x_4y_5-4x_2y_5\\\hline2y_5\end{array}<x_3,\qquad 0<y_5\qquad \text{and}\qquad y_3<-y_4.\end{equation*}

We investigate the anticanonical complex of X. As X has Picard number one, we obtain the following two big cones with their respective associated vertices of the anticanonical complex of X:

\begin{align*}\sigma_1 & = \mathrm{cone}\!\left(v_{01},v_{11},v_{21}\right),\quad v^{\prime}_{\sigma_1} = \left[0,0,\frac{1}{2}(x_3+x_4),\frac{1}{2}(y_3+y_4)\right],\\[5pt]\sigma_2 & = \mathrm{cone}\!\left(v_{02},v_{11},v_{21}\right), \quad v^{\prime}_{\sigma_2} = \left[0,0,\frac{1}{2}(x_3+x_4)+x_2,\frac{1}{2}(y_3+y_4)\right].\end{align*}

In particular, forgetting about the first coordinates, the anticanonical complex of X intersected with the lineality space $\mathrm{trop}(X)^\mathrm{lin}$ is a triangle $\Delta = \mathrm{conv}(p_1,p_2,p_3)$ with

\begin{equation*}p_1=\left[\dfrac{1}{2}(x_3+x_4),\dfrac{1}{2}(y_3+y_4)\right],\ p_2=\left[\dfrac{1}{2}(x_3+x_4)+x_2,\dfrac{1}{2}(y_3+y_4)\right],\ p_3=[x_5,y_5].\end{equation*}

We proceed by investigating the polytope $\Delta.$ As $x_5>0$ and $x_2$ and $w_{11}=2x_2y_5$ are positive, we obtain $y_5>0$ . In particular, the vertex $p_3$ is contained in the positive orthant. Moreover, as $w_1$ is positive, we conclude $y_3+y_4<0$ and thus the points $p_1$ and $p_2$ are contained in the lower half plane. Note that the line segment $\overline{p_1p_2}$ is parallel to the x-axis. As X is Fano, we have $0\in\Delta^\circ$ and conclude $x_3+x_4<0$ , as $x_2$ is positive. We sketch the situation:

Note, that in this situation we cannot determine the position of $p_2$ with respect to the y-axis. We now investigate slices of the polytope $\Delta$ : Due to the singularity type of X, we have

\begin{equation*}|\Delta\cap\{y=0\}| = \frac{x_2y_5}{y_5-\dfrac{1}{2}(y_3+y_4)} \leq 2.\end{equation*}

Thus, reordering suitably and using $y_5> 0$ yields

\begin{equation*}x_2\leq2-\frac{(y_3+y_4)}{y_5}\leq 2-(y_3+y_4).\end{equation*}

Similarly, we have

\begin{equation*}|\Delta\cap\{y=1\}|=\frac{x_2(y_5 - 1)}{y_5-\dfrac{1}{2}(y_3+y_4)}\leq 1.\end{equation*}

In particular, if $x_2\not = 1$ holds, this implies

\begin{equation*}y_5\leq \frac{x_2-\dfrac{1}{2}(y_3+y_4)}{x_2-1}.\end{equation*}

We proceed by investigating the tetrahedron $\Delta^{\prime}$ defined by the following vertices:

\begin{equation*}[0,0,x_5,y_5],\qquad [{-}1,-1,x_2,0],\end{equation*}

\begin{equation*}\left[0,0,\dfrac{1}{2}(x_3+x_4),\frac{1}{2}(y_3+y_4)\right],\qquad \left[0,0,\dfrac{1}{2}(x_3+x_4)+x_2,\dfrac{1}{2}(y_3+y_4)\right].\end{equation*}

Note that by construction $\Delta^{\prime}$ is contained in the anticanonical complex of X and thus has the origin as its unique interior lattice point. The polytope $\Delta^{\prime}$ is living inside the linear space spanned by [1, 1, 0, 0], [0, 0, 1, 0] and [0, 0, 0, 1]. In particular, we may regard $\Delta^{\prime}$ as a polytope in $\mathbb{Q}^3$ by forgetting about the first coordinate. Now, $\Delta^{\prime}$ is contained in the lattice polytope $\Delta^{\prime\prime}$ defined by the following vertices:

\begin{equation*}\left[{-}1,x_2,0\right],\quad \left[1,x_3+x_4-x_2, y_3 + y_4\right],\quad \left[1, x_3+x_4+x_2,y_3+y_4\right],\quad \left[1,2x_5-x_2,2y_5\right].\end{equation*}

Note that by construction $\Delta^{\prime\prime}$ is a lattice polytope having the origin as its unique interior lattice point. Thus, due to [Reference Averkov, Krümpelmann and Nill2, Thm 2.2], its standard $\mathbb{Q}^3$ -volume is bounded by 12 which gives

(3.1) \begin{equation} \frac{4}{3}x_2y_5 - \frac{2}{3}x_2(y_3+y_4)\leq 12.\end{equation}

Now, reordering and using $x_2 > 0$ we obtain

\begin{equation*}-\frac{18}{x_2}+2y_5-y_4\leq y_3,\end{equation*}

and as $x_2 > 0$ and $y_5>0$ hold, we obtain $-18-y_4\leq y_3.$ Moreover, reordering Equation 3.1 once more, we arrive at

\begin{equation*}\frac{4}{3}x_2y_5\leq12+\frac{2}{3}x_2(y_3+y_4).\end{equation*}

Using negativity of $x_2(y_3+y_4)$ and $x_2 > 0$ , we conclude $y_5\leq 9$ .

Proposition 3.8. Let $X\,:\!=\,X(\mathfrak n,P,u)$ be a $\mathbb{Q}$ -factorial Fano intrinsic quadric of dimension three and Picard number one, having at most canonical singularities and Cox ring $R(\mathfrak n,P)$ with $\mathfrak n=(2,2,1)$ and $m=0$ . Then X is isomorphic to a variety $X(\mathfrak n,P^{\prime},u)$ , where P^′ is an integral $(4\times 5)$ -matrix of the following form

\begin{equation*}P^{\prime}=\left[\begin{array}{c@{\quad}c@{\quad}c@{\quad}c@{\quad}c}-1&-1&1&1&0\\-1&-1&0&0&2\\x_1&x_2&x_3&x_4&x_5\\y_1&y_2&y_3&y_4&y_5\end{array}\right],\qquad \end{equation*}

fulfilling the following constraints: We have $x_1 = y_1 =y_2 = x_4 = y_4 = 0$ and

\begin{equation*}0<x_2\leq3,\qquad \frac{2x_2y_3+x_5y_3}{y_5}<x_3<\frac{x_5y_3}{y_5},\qquad 0<x_5\leq|y_5|,\end{equation*}

\begin{equation*}0<y_3\leq \frac{12}{x_2},\qquad -2y_3<y_5<0.\end{equation*}

In particular, we are left with finitely many possibilities for P^′.

Proof. By applying suitable admissible operations on P, we may assume $x_1 = y_1 = y_2 = x_4 = y_4 = 0$ , $x_2 > 0,$ and $0< x_5\leq|y_5|.$ Moreover, by multiplying the last row with $({-}1)$ , if necessary, we may assume, that we have positive weights:

\begin{align*}w_{01} &= 2x_2y_3-x_3y_5+x_5y_3,\\w_{02} &= x_3y_5-x_5y_3,\\w_{11} &= -x_2y_5,\\w_{12} &= 2x_2y_3 + x_2y_5,\\w_{21} &= x_2y_3.\end{align*}

Now, positivity of the weights $w_{21}, w_{11}$ and $w_{12}$ imply

\begin{equation*}y_3>0,\qquad y_5<0 \qquad \text{and} \qquad -2y_3<y_5.\end{equation*}

Thus, using positivity of $w_{01}$ and $w_{02}$ , we conclude

\begin{equation*}x_3>\frac{2x_2y_3+x_5y_3}{y_5}\qquad \text{and}\qquad x_3<\frac{x_5y_3}{y_5}.\end{equation*}

We investigate the anticanonical complex of X. As X has Picard number one, we obtain the following four big cones with their respective associated vertices of the anticanonical complex

\begin{align*}\sigma_1 & = \mathrm{cone}\!\left(v_{01},v_{11},v_{21}\right), \quad v^{\prime}_{\sigma_1} = \left[0,0,\frac{1}{3}x_5+\frac{2}{3}x_3,\frac{1}{3}y_5+\frac{2}{3}y_3\right],\\\sigma_2 & = \mathrm{cone}\!\left(v_{01},v_{12},v_{21}\right), \quad v^{\prime}_{\sigma_2} = \left[0,0,\frac{1}{3}x_5,\frac{1}{3}y_5\right],\\\sigma_3 & = \mathrm{cone}\!\left(v_{02},v_{11},v_{21}\right), \quad v^{\prime}_{\sigma_3} = \left[0,0,\frac{1}{3}x_5+\frac{2}{3}x_3+\frac{2}{3}x_2,\frac{1}{3}y_5+\frac{2}{3}y_3\right],\\\sigma_4 & = \mathrm{cone}\!\left(v_{02},v_{12},v_{21}\right), \quad v^{\prime}_{\sigma_4} = \left[0,0,\frac{1}{3}x_5+\frac{2}{3}x_2,\frac{1}{3}y_5\right].\end{align*}

In particular, forgetting about the first coordinates, the anticanonical complex of X intersected with the lineality space $\mathrm{trop}(X)^\mathrm{lin}$ is a trapezoid $\Delta = \mathrm{conv}(p_1,p_2,p_3,p_4)$ , with

\begin{align*}p_1 & = \left[\frac{1}{3}x_5+\frac{2}{3}x_3,\frac{1}{3}y_5+\frac{2}{3}y_3\right], \quad p_2 = \left[\frac{1}{3}x_5,\frac{1}{3}y_5\right],\\[4pt] p_3 & = \left[\frac{1}{3}x_5+\frac{2}{3}x_3+\frac{2}{3}x_2,\frac{1}{3}y_5+\frac{2}{3}y_3\right], \quad p_4 = \left[\frac{1}{3}x_5+\frac{2}{3}x_2,\frac{1}{3}y_5\right].\end{align*}

We proceed by investigating the polytope $\Delta$ . In a first step, we determine the position of its vertices relative to the x- and y-axis. First note that by assumption $x_2$ and $x_5$ are positive and by positivity of the weight $w_{11}=-x_2y_5$ we obtain $y_5<0$ . In particular, we have $(p_2)_1, (p_4)_1> 0$ and $(p_2)_2, (p_4)_2< 0$ . Moreover, as X is Fano, we obtain $0\in\Delta^\circ$ and thus $(p_1)_1<0$ and $(p_1)_2>0$ due to the positivity of $x_2$ . We sketch the situation:

Note that we cannot determine the position of $p_3$ with respect to the y-axis. Now, due to the singularity type of X, the $y=0$ slice of $\Delta$ implies

\begin{equation*}|\Delta\cap\{y=0\}| = \frac{2}{3}x_2 \leq 2,\end{equation*}

and thus $x_2 \leq 3$ holds. We proceed by investigating the pyramid

\begin{equation*}\Delta^{\prime}\,:\!=\,\mathrm{conv}\!\left([0,2,x_5,y_5],v^{\prime}_{\sigma_1},\ldots,v^{\prime}_{\sigma_4}\right),\end{equation*}

By construction $\Delta^{\prime}$ is contained in the anticanonical complex of X and by deleting the first coordinate, we may regard $\Delta^{\prime}$ as a polytope inside $\mathbb{Q}^3$ having the origin as its unique interior lattice point, due to the singularity type of X. We proceed by modifying $\Delta^{\prime}\subseteq\mathbb{Q}^3$ . By extending the edges starting in $[2,x_5,y_5]$ , we enlarge $\Delta^{\prime}$ to the lattice polytope $\Delta^{\prime\prime}$ having the following vertices:

\begin{equation*}[2,x_5,y_5],\qquad [{-}1,x_3,y_3],\qquad [{-}1,0,0],\qquad [{-}1,x_2+x_3,y_3],\qquad [{-}1,x_2,0].\end{equation*}

Note that by construction $\Delta^{\prime\prime}$ still has the origin as its unique interior lattice point. Thus, due to [Reference Averkov, Krümpelmann and Nill2, Thm. 2.2], its standard $\mathbb{Q}^3$ -volume is bounded by 12 and we conclude

\begin{equation*}y_3\leq\frac{12}{x_2}.\end{equation*}

Proof of Theorem 1.1 (the classification list). Due to Lemma 3.1 and Remark 3.2, we only need to consider the trinomial case. Then, due to Propositions 3.5, 3.7 and 3.8 we only have finitely many possible Fano varieties $X(\mathfrak n,P,u)$ to check. Computing the anticanonical complex for all possible configurations, the resulting canonical Fano varieties are listed in Theorem 1.1 with Nos. 1 - 63, 65 - 68, 70 - 76 and 78. The missing varieties are directly imported from [Reference Hische and Wrobel10, Thm. 1.5] as Nos. 64, 69, 77 and 79.

Remark 3.9. In order to calculate the anticanonical self-intersection numbers $- \mathcal{K}_X^3$ for the varieties listed in Theorem 1.1, we proceed as follows (compare [Reference Arzhantsev, Derenthal, Hausen and Laface1, Proposition 5.4.2.1]). By construction, any $\mathbb{Q}$ -factorial intrinsic quadric $X = X(\mathfrak{n},P,u)$ is a hypersurface in its ambient toric variety Z, which we may assume to be projective and $\mathbb{Q}$ -factorial as X is so. In particular, the defining fan of Z is simplicial. Thus, in our three-dimensional case, we can calculate the intersection numbers of divisors $C_X = (D_Z)|_X$ , $C^{\prime}_X = (D^{\prime}_Z)|_X$ and $C^{\prime\prime}_X = (D^{\prime\prime}_Z)|_X$ obtained by restricting toric divisors as

\begin{equation*}C_X\cdot C^{\prime}_X \cdot C^{\prime\prime}_X = D_Z \cdot D^{\prime}_Z \cdot D^{\prime\prime}_Z \cdot E_1,\end{equation*}

where $E_1$ is any toric representative of the degree of the defining relation q of $R(\mathfrak{n},P)$ . This means in particular that the anticanonical self-intersection number $- \mathcal{K}_X^3$ can be computed using the following fact: Let Z be an n-dimensional complete toric variety with simplicial defining fan $\Sigma_Z$ . For toric prime divisors $D_{\varrho_1}, \ldots, D_{\varrho_n}$ set $\sigma \,:\!=\, \mathrm{cone}(\varrho_1,\ldots,\varrho_n)$ and let $v_i$ denote the primitive ray generator of $\varrho_i$ . Then we have

\begin{equation*}D_{\varrho_1}\cdot \ldots \cdot D_{\varrho_n}=\left\{\begin{array}{l@{\quad}l}[N \cap \mathrm{lin}_{\mathbb{Q}}(\sigma) \,:\, \mathrm{lin}_\mathbb{Z}(v_1, \ldots, v_n)]^{-1}, & \text{ if } \sigma \in \Sigma_Z \\[4pt]0, & \, \textrm{else}. \end{array}\right.\end{equation*}

We exemplarily calculate the anticanonical self-intersection number for No. 9 in our list:

Example 3.10. We have

\begin{equation*}\mathcal{R}(X) = \mathbb{C}[T_{1},T_{2},T_{3},T_{4},S_{1}]/\left\langle {T_{1}T_{2}+T_3^2+T_4^2} \right\rangle,\quad \mathrm{Cl}(X) = \mathbb{Z} \times \mathbb{Z}_2,\quad Q = \left[\begin{array}{c@{\quad}c@{\quad}c@{\quad}c@{\quad}c}6&4&5&5&2\\\bar{1}&\bar{1}&\bar{0}&\bar{1}&\bar{0}\end{array}\right],\end{equation*}

$-\mathcal{K}_X = (12, \bar{1})$ and $\mathrm{deg}(q) = (10, \bar{0})$ . Let $D_1, \ldots, D_5$ denote the toric prime divisors on Z with $[D_i] = w_i \in \mathrm{Cl}(Z) = \mathrm{Cl}(X).$ We have $(3D_2)|_X \in - \mathcal{K}_X$ . Thus, using $[3D_2] = [D_1 + 3D_5] \in \mathrm{Cl}(Z)$ , we obtain

\begin{align*}- \mathcal{K}_X^3 &= 3D_2 \cdot (D_1 + 3D_5) \cdot 3D_2 \cdot 2D_3 = 18 D_1 \cdot D_2 \cdot D_2 \cdot D_3 + 54 D_2 \cdot D_2 \cdot D_3 \cdot D_5 \\&= 36 D_1 \cdot D_2 \cdot D_3 \cdot D_5 + 36 D_1 \cdot D_2 \cdot D_3 \cdot D_5 = \frac{36}{5},\end{align*}

where, for the second equality, we use $[2D_2] = [4D_5]$ and $[3 D_2] = [2D_1]$ .

Now we turn to the irredundancy of the classification list.

Moreover, if X is isomorphic to another intrinsic quadric $X^{\prime}=X(\mathfrak n^{\prime},P^{\prime},u^{\prime})$ , then $\mathcal{R}(X)$ and $\mathcal{R}(X^{\prime})$ are isomorphic as graded rings. In this case, the following holds:

1. (i) We have $\dim\!\left(\overline{X}^\mathrm{\ sing}\right)=\dim\!\left(\overline{X^{\prime}}^\mathrm{\ sing}\right)$ .

2. (ii) There is a bijection between the set of generator degrees $\Omega_X$ and $\Omega_{X^{\prime}}$ .

3. (iii) The sets $\Omega^{\dim}_X\,:\!=\{ \dim\!(\mathcal{R}(X)_w);\ w\in\Omega_X\}$ and $\Omega^{\dim}_{X^{\prime}}$ coincide.

Proof. We denote by $X_i$ the Fano variety defined by the i-th datum in Theorem 1.1, by $\mathcal{R}_i$ its Cox ring, by $\overline{X_i}$ its total coordinate space and by $\Omega_i=\{w_1,\ldots,w_r\}$ its set of generator degrees. As the divisor class group, the Fano index and the anticanonical self-intersection number presented in Theorem 1.1 are invariants, we only need to compare those varieties $X_i$ and $X_j$ , where all these data coincide. The next table presents invariants of these varieties, where the cases to compare are divided via horizontal lines:

There are only four cases left, that cannot be distinguished via the table above. We treat them in the following paragraphs:

$X_{33}$ and $X_{34}$ . In this case, the homogeneous component of $\mathcal{R}_{33}$ of degree $(1,\bar{0})\in\Omega_{33}$ has dimension three. This is in contrast to $R_{34}$ , where the maximal dimension of the homogeneous components with respect to the generator degrees in $\Omega_{34}$ is two.

$X_{46}$ and $X_{47}$ . In this situation, all homogeneous components of $\mathcal{R}_{46}$ with respect to the weights in $\Omega_{46}$ are one-dimensional which is in contrast to the two-dimensional homogeneous component of $\mathcal{R}_{47}$ of degree $(2,\bar 0)\in\Omega_{47}$ .

$X_{50}$ and $X_{51}$ . Note, that due to Remark 3.11, we have a bijection $\Omega_{50}\rightarrow \Omega_{51}$ . Now $|\Omega_{50}|=5$ which is in contrast to $|\Omega_{51}|=4$ .

$X_{55}$ and $X_{56}$ . Assume there is a graded isomorphism $\mathcal{R}_{55}\rightarrow\mathcal{R}_{56}$ . Then we have an isomorphism $\mathrm{Cl}(X_{55})\rightarrow\mathrm{Cl}(X_{56})$ mapping $\Omega_{55}$ onto $\Omega_{56}$ . We go through the possible images of $(1,\bar 1)\in\Omega_{55}$ : Assume that $(1,\bar 1)$ is mapped on either $(1,\bar 1)$ or $(1,\bar 5)$ . Then $(2,\bar 2)\in\Omega_{55}$ is mapped on $(2,\bar 2)$ which is not contained in $\Omega_{56}$ ; a contradiction. Now assume $(1,\bar 1)$ is mapped on $(1,\bar 0)$ or $(1,\bar 2)$ then $(2,\bar 2)$ is mapped on either $(2,\bar 0)$ or $(2,\bar 4)$ which are not contained in $\Omega_{56}$ ; a contradiction; Finally assume that $(1,\bar 1)$ is mapped on $(2,\bar 6)$ . Then $(2,\bar 2)$ is mapped on $(4,\bar 4)$ which is again not contained in $\Omega_{56}$ ; a contradiction. This implies that there is no graded isomorphism $\mathcal{R}_{55}\rightarrow\mathcal{R}_{56}$ and thus $X_{55}$ and $X_{56}$ cannot be isomorphic.