C = incidenceCohomology(L)
C = incidenceCohomology(L, R)
This function computes the sheaf cohomology $H^i(X, \mathcal{O}_X(a,b))$, of the line bundle $\mathcal{O}_X(a,b)$ on the incidence correspondence $X$. The underlying characteristic of the field is p, prime or zero.
|
|
|
|
|
|
We could instead ask for the character instead of just the dimension, setting the option FindCharacter to be true.
|
|
|
|
Additional input of a polynomial ring allows the user to control the ambient ring of the character.
|
|
The object incidenceCohomology is a method function with options.
The source of this document is in IncidenceCorrespondenceCohomology.m2:1740:0.