About
Calculator
Ordering
FAQ
Download
Documentation
Citations
Conferences
Links
Contact
CAG
Login
Magma
Computer • algebra
Documentation
Up
Contents
Index
Search
Introduction
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 (H120E1)
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 (H120E2)
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 (H120E3)
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
IneffectiveDivisorToSheaf(X, I, J) : Sch, RngMPol, RngMPol -> ShfCoh
Example
Sheaf_shf:rr-scroll (H120E4)
Example
Sheaf_shf:dp3to6 (H120E5)
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 (H120E6)
Example
Sheaf_ell_crv_norm (H120E7)
Bibliography
Up
Contents
Index
Search
V2.28, 13 July 2023