Creation Functions
Sheaf(M, X) : ModMPol, Sch -> ShfCoh
StructureSheaf(X) : Sch -> ShfCoh
CanonicalSheaf(X) : Sch -> ShfCoh
Twist(S, n) : ShfCoh, RngIntElt -> ShfCoh
Example Sheaf_creat_exs (H113E1)
SheafOfDifferentials(X) : Sch -> ShfCoh
TangentSheaf(X) : Sch -> ShfCoh
HorrocksMumfordBundle(P) : Prj -> ShfCoh
Accessor Functions
Module(S) : ShfCoh -> ModMPol
Scheme(S) : ShfCoh -> Sch
FullModule(S) : ShfCoh -> ModMPol
GlobalSectionSubmodule(S) : ShfCoh -> ModMPol
SaturateSheaf(~S) : ShfCoh ->
Example Sheaf_access_exs (H113E2)
Basic Constructions
TensorProduct(S, T) : ShfCoh, ShfCoh -> ShfCoh
Dual(S) : ShfCoh -> ShfCoh
SheafHoms(S, T) : ShfCoh, ShfCoh -> ShfCoh, Map
DirectSum(S, T) : ShfCoh, ShfCoh -> ShfCoh
Restriction(S, Y) : ShfCoh, Sch -> ShfCoh
Example Sheaf_cons_exs (H113E3)
Sheaf Homomorphisms
SheafHomomorphism(S, T, h) : ShfCoh, ShfCoh, ModMPolHom -> ShfHom
Domain(f) : ShfHom -> ShfCoh
Codomain(f) : ShfHom -> ShfCoh
Degree(f) : ShfHom -> RngIntElt
ModuleHomomorphism(f) : ShfHom -> ModMPolHom
Kernel(f) : ShfHom -> ShfCoh, ShfHom
Image(f) : ShfHom -> ShfCoh, ShfHom, ShfHom
Cokernel(f) : ShfHom -> ShfCoh, ShfHom
Expand(hms) : SeqEnum[ShfHom] -> ShfHom
Divisor Maps and Riemann-Roch Spaces
DivisorMap(S) : ShfCoh -> Map,Sch
DivisorToSheaf(X, I) : Sch, RngMPol -> ShfCoh
Example Sheaf_shf:rr-scroll (H113E4)
Example Sheaf_shf:dp3to6 (H113E5)
Predicates
IsLocallyFree(S) : ShfCoh -> BoolElt, RngIntElt
IsIsomorphic(S, T) : ShfCoh, ShfCoh -> BoolElt, ShfHom
IsArithmeticallyCohenMacaulay(S) : ShfCoh -> BoolElt
Miscellaneous
CohomologyDimension(S, r, n) : ShfCoh, RngIntElt, RngIntElt -> RngIntElt
DimensionOfGlobalSections(S) : ShfCoh -> RngIntElt
IntersectionPairing(S, T) : ShfCoh, ShfCoh -> RngIntElt
ZeroSubscheme(S, s) : ShfCoh, ModMPolElt -> Sch
Examples
Example Sheaf_big_ex (H113E6)
Example Sheaf_ell_crv_norm (H113E7)
Bibliography
[Next][Prev] [Right] [____] [Up] [Index] [Root]
Version: V2.19 of
Wed Apr 24 15:09:57 EST 2013