next | previous | forward | backward | up | index | toc
IncidenceCorrespondenceCohomology : Table of Contents
IncidenceCorrespondenceCohomology -- Cohomology on the incidence correspondence, bundle of principal parts, Han-Monsky multiplication, and Lefschetz properties
splittingFdr -- Computes the torus equivariant splitting type of the bundles $\mathcal{F}^d_r$ introduced in [KMRR,24]
splittingPrincipalParts -- Computes the torus equivariant splitting type of the bundle of principal parts on $\mathbb{P}^1$
Multidegree -- An option to compute the multidegrees arising from a torus action on $\mathbb{P}^1$
hanMonsky -- Computes the multiplication in the graded Han-Monsky representation ring
hasWLP -- Checks whether a graded Artinian algebra has the Weak Lefschetz Property (WLP)
monomialCIsWithoutWLP -- Lists all the monomial complete intersections of socle s and height n that fail the Weak Lefschetz Property
hasSLP -- Checks whether a monomial complete intersection over a field of characteristic p has the Strong Lefschetz Property (SLP)
UseConjecture -- An option that, whenever the Han-Monsky is computed, allows the user to choose if employ Conjecture 4.1 [KMRR,25] or not
GorensteinAlg -- An option to check the WLP for Gorenstein algebras
MonomialAlg -- An option to check the WLP for R/I with I Monomial ideal
recursiveDividedCohomology -- Computes dimension or character of sheaf cohomology of twists of divided powers of the cotangent sheaf on projective space
nimDividedCohomology -- Computes the dimension or character of sheaf cohomology of twists of divided powers of the cotangent sheaf on projective space, in characteristic 2
incidenceCohomology -- Computes dimension or character of sheaf cohomology of line bundles on the incidence correspondence
FindCharacter -- An option to compute the character instead of the dimension