(cohomology,ZZ,CoherentSheaf)

HH^i(F) -- for a coherent sheaf F on a projective variety X, computes the direct sum over at least the natural numbers n, of the i-th cohomology groups of F(n).
HH^i(F, Degree=>e) -- same as above, but n ranges over at least the integers at least as large as e.

i1 : R = QQ[a,b,c,d]/(a^4+b^4+c^4+d^4);
i2 : X = Proj R

o2 = Proj R

o2 : ProjectiveVariety
i3 : HH^1(cotangentSheaf X)

o3 = cokernel {0}  | 0  0  0  0  d c b a |
              {-4} | d3 c3 b3 a3 0 0 0 0 |

                              2
o3 : R - module, quotient of R
i4 : hilbertFunction(0,oo)

o4 = 20

See also CoherentSheaf.


topindexpreviousupnext