Table of Contents
Fetching ...

Deformations and extensions of Gorenstein weighted projective spaces

Thomas Dedieu, Edoardo Sernesi

TL;DR

The article investigates deformations of the 14 Gorenstein weighted projective spaces of dimension 3 by examining extendability of their general anticanonical divisors $S$ through the Pinkham–Wahl framework, and relates this to deformations of the affine (and projective) cones via $T^1_{CX,-1}$. A central technical contribution is showing that for K3 surfaces with canonical singularities (and for Gorenstein WPS in their canonical embedding) one has $\alpha(X)=\dim T^1_{CX,-1}$, enabling a cone-based smoothing criterion. Using a smoothing argument for non-primitive polarizations, the authors identify eight of the fourteen WPS for which $\mathbf{P}$ deforms to a 3-fold extension of a general non-primitive polarized K3 surface, and they perform explicit Macaulay2 computations to verify the $N_2$ property and compute $\alpha$-invariants. The results yield concrete deformations and degenerations, e.g., $\mathbf{P}(1,1,4,6)$ to $\mathbf{P}(1^3,3)$, a degree-6 hypersurface in $\mathbf{P}(1^3,3,5)$, or to a Veronese embedding, illustrating the interplay between deformation theory and explicit geometric realizations. These findings advance understanding of the extendability landscape for Gorenstein WPS and provide a computable bridge to higher-dimensional Fano and K3 geometries.

Abstract

We study the existence of deformations of all $14$ Gorenstein weighted projective spaces $\mathbf P$ of dimension $3$ by computing the number of times their general anticanonical divisors are extendable. In favorable cases (8 out of 14), we find that $\mathbf P$ deforms to a $3$-dimensional extension of a general non-primitive polarized $K3$ surface. On our way we show that each such $\mathbf P$ in its anticanonical model satisfies property $N_2$, and we compute the deformation space of the cone over $\mathbf P$. This gives as a byproduct the exact number of times $\mathbf P$ is extendable.

Deformations and extensions of Gorenstein weighted projective spaces

TL;DR

The article investigates deformations of the 14 Gorenstein weighted projective spaces of dimension 3 by examining extendability of their general anticanonical divisors through the Pinkham–Wahl framework, and relates this to deformations of the affine (and projective) cones via . A central technical contribution is showing that for K3 surfaces with canonical singularities (and for Gorenstein WPS in their canonical embedding) one has , enabling a cone-based smoothing criterion. Using a smoothing argument for non-primitive polarizations, the authors identify eight of the fourteen WPS for which deforms to a 3-fold extension of a general non-primitive polarized K3 surface, and they perform explicit Macaulay2 computations to verify the property and compute -invariants. The results yield concrete deformations and degenerations, e.g., to , a degree-6 hypersurface in , or to a Veronese embedding, illustrating the interplay between deformation theory and explicit geometric realizations. These findings advance understanding of the extendability landscape for Gorenstein WPS and provide a computable bridge to higher-dimensional Fano and K3 geometries.

Abstract

We study the existence of deformations of all Gorenstein weighted projective spaces of dimension by computing the number of times their general anticanonical divisors are extendable. In favorable cases (8 out of 14), we find that deforms to a -dimensional extension of a general non-primitive polarized surface. On our way we show that each such in its anticanonical model satisfies property , and we compute the deformation space of the cone over . This gives as a byproduct the exact number of times is extendable.

Paper Structure

This paper contains 7 sections, 18 theorems, 51 equations, 3 tables.

Key Result

Lemma 2.2

Let $S\subset \mathbf{P}(a_0,a_1,a_2,a_3)$ be a general hypersurface of degree $d$, such that $\mathcal{O}(d)$ is locally free on $\mathbf{P}$. For all $k \in \mathbf{Z}$, the restriction to $S$ of $\mathcal{O}(k)$ is locally free if and only if

Theorems & Definitions (43)

  • Lemma 2.2
  • proof
  • Definition 3.1
  • Theorem 3.3: sL92
  • Theorem 3.4: CDS20, Thm. 2.1 and Thm. 2.17
  • Lemma 3.5
  • proof
  • Theorem 3.6: aK20
  • proof
  • Lemma 3.7
  • ...and 33 more