Coherent Sheaves
- Introduction
- Creation Functions
- Accessor Functions
- Basic Constructions
TensorProduct(S, T): ShfCoh, ShfCoh → ShfCohTensorPower(S, n): ShfCoh, RngIntElt → ShfCohDual(S): ShfCoh → ShfCohSheafHoms(S, T): ShfCoh, ShfCoh → ShfCoh, MapDirectSum(S, T): ShfCoh, ShfCoh → ShfCohRestriction(S, Y): ShfCoh, Sch → ShfCoh- Example: Ruling on a Quadric Cone
- Sheaf Homomorphisms
- Divisor Maps and Riemann-Roch Spaces
DivisorMap(S): ShfCoh → Map, SchDivisorToSheaf(X, I): Sch, RngMPol → ShfCohRiemannRochBasis(X, I): Sch, RngMPol → SeqEnum, RngMPolElt, ShfCohIneffectiveDivisorToSheaf(X, I, J): Sch, RngMPol, RngMPol → ShfCohIneffectiveRiemannRochBasis(X, I, J): Sch, RngMPol, RngMPol → SeqEnum, RngMPolElt, ShfCoh- Example: Divisor Map of a Rational Scroll
- Example: Blowing Down Lines by a Divisor Map
- Predicates
- Miscellaneous
- Examples
- Bibliography