C = recursiveDividedCohomology(L)
C = recursiveDividedCohomology(L, R)
recursiveDividedCohomology({i,p,d,e,n}) computes the dimension of $H^i(\mathbb{P}^{n-1}, D^d R(e))$, where $D^d \mathcal{R}$ is the d-th divided power of the universal rank (n-1) subsheaf $\mathcal{R}$.
The cohomology index i is 0 or 1 and the underlying characteristic of the field is p (prime or 0).
|
|
|
|
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 recursiveDividedCohomology is a method function with options.
The source of this document is in IncidenceCorrespondenceCohomology.m2:1648:0.