SheafMap ^** ZZ -- repeatedly tensors a map

• Operator: ^**

• Usage:

  f ^** n

• Inputs:
  • f, a morphism of sheaves, a sheaf map
  • n, an integer, a non-negative integer
• Outputs:
  • a morphism of sheaves, the sheaf map f tensor n times

i1 : R = QQ[x,y,z]

o1 = R

o1 : PolynomialRing

i2 : X = variety R

o2 = X

o2 : ProjectiveVariety

i3 : f = sheafHom(OO_X, OO_X)

        1
o3 = OO
       X

o3 : coherent sheaf on X, free of rank 1

i4 : g = f ^** 2

        1
o4 = OO
       X

o4 : coherent sheaf on X, free of rank 1