Top
Back: sheafCohBGG
Forward: sheafCoh
FastBack: reszeta_lib
FastForward: Singularities
Up: sheafcoh_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.5.7.5 sheafCohBGG2

Procedure from library sheafcoh.lib (see sheafcoh_lib).

Usage:
sheafCohBGG2(M,l,h); M module, l,h int

Assume:
M is graded, and it comes assigned with an admissible degree vector as an attribute, h>=l, and the basering has n+1 variables.

Return:
intmat, cohomology of twists of the coherent sheaf F on P^n associated to coker(M). The range of twists is determined by l, h.

Display:
The intmat is displayed in a diagram of the following form:
 
                l            l+1                      h
  ----------------------------------------------------------
      n:     h^n(F(l))    h^n(F(l+1))   ......    h^n(F(h))
           ...............................................
      1:     h^1(F(l))    h^1(F(l+1))   ......    h^1(F(h))
      0:     h^0(F(l))    h^0(F(l+1))   ......    h^0(F(h))
  ----------------------------------------------------------
    chi:     chi(F(l))    chi(F(l+1))   ......    chi(F(h))
A '-' in the diagram refers to a zero entry; a '*' refers to a negative entry (= dimension not yet determined). refers to a not computed dimension.
If printlevel>=1, step-by step timings will be printed. If printlevel>=2 we add progress debug messages if printlevel>=3, even all intermediate results...

Note:
This procedure is based on the Bernstein-Gel'fand-Gel'fand correspondence and on Tate resolution ( see [Eisenbud, Floystad, Schreyer: Sheaf cohomology and free resolutions over exterior algebras, Trans AMS 355 (2003)] ).
sheafCohBGG(M,l,h) does not compute all values in the above table. To determine all values of h^i(F(d)), d=l..h, use sheafCohBGG(M,l-n,h+n). Experimental version. Should require less memory.

Example:
 
See also: sheafCohBGG.


Top Back: sheafCohBGG Forward: sheafCoh FastBack: reszeta_lib FastForward: Singularities Up: sheafcoh_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.