MAGMA Computational Algebra System

Basic Constructions

The following functions give some basic constructions on sheaves.

TensorProduct(S,T) : ShfCoh, ShfCoh -> ShfCoh

    Maximize: BoolElt                   Default: false

TensorPower(S,n) : ShfCoh, RngIntElt -> ShfCoh

    Maximize: BoolElt                   Default: true

The first intrinsic gives the tensor product (over OX) of two sheaves on the same scheme X. The second gives the nth tensor power of S if n > 0, the ( - n)th tensor power of the dual (see below) of S if n < 0 and the structure sheaf OX if n=0.

Defining modules of these are taken as the appropriate tensor products of modules for the constituent sheaves when the parameter Maximize is false. The user should note that this is the archetypal case where the module constructed to define the resulting sheaf can be far from maximal, even when the defining modules of S and T are maximal. The rank of the presentation of the tensor power of a module rises rapidly with n. Thus it is usually a good idea to set Maximize to true, which means that the maximal module of the result is computed and also used as its defining module.

Dual(S) : ShfCoh -> ShfCoh

For sheaf S on scheme X, returns the dual sheaf Hom_OX(S, OX).

SheafHoms(S,T) : ShfCoh, ShfCoh -> ShfCoh, Map

For S and T sheaves on the same scheme X, returns the sheaf H = Hom_OX(S, T). The module defining H is Hom(M_max, N_max) where M_max and N_max are the maximal modules of S and T. This module, M_H, is the maximal module of H.

Also returned is a map that takes takes a homogeneous element of M_H (which can be recovered with Module(H) or FullModule(H)) of degree d to the sheaf homomorphism of degree d that it represents (see the next section for information about sheaf homomorphisms). All sheaf homomorphisms can be obtained this way.

DirectSum(S,T) : ShfCoh, ShfCoh -> ShfCoh

For S and T sheaves on the same scheme X, returns the sheaf direct sum S direct-sum T.