About
Calculator
Ordering
FAQ
Download
Download Magma
Databases
User Contributions
Documentation
Handbook
Overview
Release Notes
Discovering Maths with Magma
First Steps in Magma (pdf)
Solving Problems with Magma (pdf)
Acknowledgements
Citations
Conferences
Links
Contact
CAG
Login
Magma
Computer • algebra
Documentation
Up
Contents
Index
Search
Expand all
Collapse all
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, 28 February 2025