A "high syzygy" over a complete intersection is one such that general ci-operators have split kernels when applied recursively on cosyzygy chains of previous kernels.
ASSUMING our conjecture that Ext surjects onto its S2-ification, this should be the first syzygy beyond the regularity of the even and odd Ext modules Ext(M,k). This position is computed by the script mfBound.
i1 : setRandomSeed 100 o1 = 100 |
i2 : S = ZZ/101[x,y,z] o2 = S o2 : PolynomialRing |
i3 : f = matrix"x3,y3+x3,z3+x3+y3"
o3 = | x3 x3+y3 x3+y3+z3 |
1 3
o3 : Matrix S <--- S
|
i4 : ff = f*random(source f, source f)
o4 = | x3-43y3-47z3 -48x3-47y3-2z3 2x3+47y3-35z3 |
1 3
o4 : Matrix S <--- S
|
i5 : R = S/ideal f o5 = R o5 : QuotientRing |
i6 : M0 = R^1/ideal"x2z2,xyz"
o6 = cokernel | x2z2 xyz |
1
o6 : R-module, quotient of R
|
i7 : betti res (M0, LengthLimit => 7)
0 1 2 3 4 5 6 7
o7 = total: 1 2 6 11 18 26 36 47
0: 1 . . . . . . .
1: . . . . . . . .
2: . 1 . . . . . .
3: . 1 6 6 . . . .
4: . . . 5 18 14 . .
5: . . . . . 12 36 25
6: . . . . . . . 22
o7 : BettiTally
|
i8 : mfBound M0 o8 = 4 |
i9 : M = betti res highSyzygy M0
0 1 2 3 4
o9 = total: 11 18 26 36 47
6: 6 . . . .
7: 5 18 14 . .
8: . . 12 36 25
9: . . . . 22
o9 : BettiTally
|
i10 : netList BRanks matrixFactorization(ff, highSyzygy M0)
+-+-+
o10 = |6|6|
+-+-+
|3|6|
+-+-+
|2|6|
+-+-+
|