next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
TateOnProducts :: regionComplex

regionComplex -- region complex

Synopsis

Description

We compute the region complex of T as defined in Tate Resolutions on Products of Projective Spaces section 3. Note that different from the paper I,J,K are sublists of 0...t-1 and not subsets of 1..t. In the examples below, only rT2 and rT3 are proper region complexes.

i1 : n={1,1};
i2 : (S,E) = productOfProjectiveSpaces n;
i3 : T1 = (dual res trim (ideal vars E)^2)[1];
i4 : a=-{2,2};T2=T1**E^{a}[sum a];
i6 : W=beilinsonWindow T2,cohomologyMatrix(W,-2*n,2*n)

       15      16      4
o6 = (E   <-- E   <-- E , | 0 0 0  0 0 |)
                          | 0 0 0  0 0 |
      0       1       2   | 0 8 15 0 0 |
                          | 0 4 8  0 0 |
                          | 0 0 0  0 0 |

o6 : Sequence
i7 : T=tateExtension W;
i8 : cohomologyMatrix(T,-{3,3},{3,3})

o8 = | 12h 4  20 36 52 68  84  |
     | 10h 3  16 29 42 55  68  |
     | 8h  2  12 22 32 42  52  |
     | 6h  1  8  15 22 29  36  |
     | 4h  0  4  8  12 16  20  |
     | 2h  h  0  1  2  3   4   |
     | 0   2h 4h 6h 8h 10h 12h |

                      7                7
o8 : Matrix (ZZ[h, k])  <--- (ZZ[h, k])
i9 : c={1,0}

o9 = {1, 0}

o9 : List
i10 : rT0=regionComplex(T,c,({},{0,1},{})); --a single position
i11 : cohomologyMatrix(rT0,-{3,3},{3,3})

o11 = | 0 0 0 0 0  0 0 |
      | 0 0 0 0 0  0 0 |
      | 0 0 0 0 0  0 0 |
      | 0 0 0 0 22 0 0 |
      | 0 0 0 0 0  0 0 |
      | 0 0 0 0 0  0 0 |
      | 0 0 0 0 0  0 0 |

                       7                7
o11 : Matrix (ZZ[h, k])  <--- (ZZ[h, k])
i12 : rT1=regionComplex(T,c,({0},{1},{})); --a horizontal half line
i13 : cohomologyMatrix(rT1,-{3,3},{3,3})

o13 = | 0  0 0 0  0 0 0 |
      | 0  0 0 0  0 0 0 |
      | 0  0 0 0  0 0 0 |
      | 6h 1 8 15 0 0 0 |
      | 0  0 0 0  0 0 0 |
      | 0  0 0 0  0 0 0 |
      | 0  0 0 0  0 0 0 |

                       7                7
o13 : Matrix (ZZ[h, k])  <--- (ZZ[h, k])
i14 : rT2=regionComplex(T,c,({},{0},{})); -- a vertical line
i15 : cohomologyMatrix(rT2,-{3,3},{3,3})

o15 = | 0 0 0 0 52 0 0 |
      | 0 0 0 0 42 0 0 |
      | 0 0 0 0 32 0 0 |
      | 0 0 0 0 22 0 0 |
      | 0 0 0 0 12 0 0 |
      | 0 0 0 0 2  0 0 |
      | 0 0 0 0 8h 0 0 |

                       7                7
o15 : Matrix (ZZ[h, k])  <--- (ZZ[h, k])
i16 : rT3=regionComplex(T,c,({},{},{1})); -- a upper half plane
i17 : cohomologyMatrix(rT3,-{3,3},{3,3})

o17 = | 12h 4 20 36 52 68 84 |
      | 10h 3 16 29 42 55 68 |
      | 8h  2 12 22 32 42 52 |
      | 6h  1 8  15 22 29 36 |
      | 0   0 0  0  0  0  0  |
      | 0   0 0  0  0  0  0  |
      | 0   0 0  0  0  0  0  |

                       7                7
o17 : Matrix (ZZ[h, k])  <--- (ZZ[h, k])
i18 : rT4=regionComplex(T,c,({0},{},{1})); --a north east quadrant
i19 : cohomologyMatrix(rT4,-{3,3},{3,3})

o19 = | 12h 4 20 36 0 0 0 |
      | 10h 3 16 29 0 0 0 |
      | 8h  2 12 22 0 0 0 |
      | 6h  1 8  15 0 0 0 |
      | 0   0 0  0  0 0 0 |
      | 0   0 0  0  0 0 0 |
      | 0   0 0  0  0 0 0 |

                       7                7
o19 : Matrix (ZZ[h, k])  <--- (ZZ[h, k])
i20 : rT5=regionComplex(T,c,({1},{},{0})); --a south west quadrant
i21 : cohomologyMatrix(rT5,-{3,3},{3,3})

o21 = | 0 0 0 0 0  0   0   |
      | 0 0 0 0 0  0   0   |
      | 0 0 0 0 0  0   0   |
      | 0 0 0 0 0  0   0   |
      | 0 0 0 0 12 16  20  |
      | 0 0 0 0 2  3   4   |
      | 0 0 0 0 8h 10h 12h |

                       7                7
o21 : Matrix (ZZ[h, k])  <--- (ZZ[h, k])

See also

Ways to use regionComplex :