Type [420], CY of degree 16 via linkage -- lifting to an irreducible 3-fold

We construct via linkage an arithmetically Gorenstein irreducible 3-fold $X = X_{16} \bf{P}^7$, of degree 16, having Betti table of type [420]. For an artinian reduction $A_F$, the quadratic part of the ideal $F^\perp$ is the ideal of six points on a twisted cubic curve. We construct $X_{16}$ as an anticanonical divisor in the fourfold intersection of a cubic scroll and quadric.

The betti table is $\phantom{WWWW} \begin{matrix} &0&1&2&3&4\\ \text{total:}&1&6&10&6&1\\ \text{0:}&1&\text{.}&\text{.}&\text{.}&\text{.}\\ \text{1:}&\text{.}&4&2&\text{.}&\text{.}\\ \text{2:}&\text{.}&2&6&2&\text{.}\\ \text{3:}&\text{.}&\text{.}&2&4&\text{.}\\ \text{4:}&\text{.}&\text{.}&\text{.}&\text{.}&1\\ \end{matrix} $

i1 : kk=QQ;

i2 : U=kk[y0,y1,y2,y3,y4,y5,y6,y7];

i3 : P4=ideal(y0,y1,y2);--a P4

o3 : Ideal of U

i4 : T3=minors(2,matrix{{y0,y1,y2},{y3,y4,y5}});--a cubic 5-fold scroll with P4 as a ruling

o4 : Ideal of U

i5 : X2=P4+ideal(random(2,U));-- a quadric 3-fold in T3

o5 : Ideal of U

i6 : X18=T3+ideal(random(2,X2),random(3,X2));--a 3-fold of degree 18 in T3 that contains X2

o6 : Ideal of U

i7 : X16=X18:X2;--a 3-fold of degree 16 in T3 with betti table of type 420

o7 : Ideal of U

i8 : (dim X16, degree X16)

o8 = (4, 16)

o8 : Sequence

i9 : betti res X16

            0 1  2 3 4
o9 = total: 1 6 10 6 1
         0: 1 .  . . .
         1: . 4  2 . .
         2: . 2  6 2 .
         3: . .  2 4 .
         4: . .  . . 1

o9 : BettiTally

Type [420], CY of degree 16 via linkage -- lifting to an irreducible 3-fold

See also