Macaulay2 » Documentation
Packages » NormalToricVarieties :: map(NormalToricVariety,NormalToricVariety,Matrix)
next | previous | forward | backward | up | index | toc

# map(NormalToricVariety,NormalToricVariety,Matrix) -- make a torus-equivariant map between normal toric varieties

- Function: map
- Usage:
    `f = map(Y, X, g)`
- Inputs:
  - Y, a normal toric variety, the target of the map
  - X, a normal toric variety, the source of the map
  - g, a matrix, over the integers
- Optional inputs:
  - Degree => ..., default value null, used
  - DegreeLift => ..., default value null, used
  - DegreeMap => ..., default value null, used
- Outputs:
  - f, a toric map,

## Description

Let $X$ and $Y$ be normal toric varieties whose underlying lattices are $N_X$ and $N_Y$ respectively. Every toric map $f : X \to Y$ corresponds to a unique map $g : N_X \to N_Y$ of lattices such that, for any cone $\sigma$ in the fan of $X$, there is a cone in the fan of $Y$ that contains the image $g(\sigma)$. For more information on this correspondence, see Theorem 3.3.4 in Cox-Little-Schenck's Toric Varieties. Given the target, the source, and the matrix representing lattice map, this basic constructor creates the corresponding toric map.

We illustrate how to construct the projection from the second Hirzebruch surface to the projective line.

    i1 : X = hirzebruchSurface 2;

    i2 : Y = toricProjectiveSpace 1;

    i3 : f = map (Y, X, matrix {{1, 0}})

    o3 = | 1 0 |

    o3 : ToricMap Y <--- X

    i4 : assert (isWellDefined f and source f === X and
             target f === Y and matrix f === matrix {{1, 0}})

Our second example makes the projection from the blow-up of the origin in the affine plane to the affine plane is proper.

    i5 : A = affineSpace 2;

    i6 : max A

    o6 = {{0, 1}}

    o6 : List

    i7 : B = toricBlowup({0, 1}, A);

    i8 : g = B^[]

    o8 = | 1 0 |
         | 0 1 |

    o8 : ToricMap A <--- B

    i9 : isProper g

    o9 = true

    i10 : assert (isWellDefined g and g == map(A,B,1) and
              matrix g === id_(ZZ^2) and isProper g)

## Caveat

This method does not check that the given matrix determines a map of toric varieties. In particular, it assumes that the image of each cone in the source is contained in a cone in the target. One can verify this by using isWellDefined(ToricMap).

## See also

- working with toric maps -- information about toric maps and the induced operations
- source(ToricMap) -- get the source of the map
- target(ToricMap) -- get the target of the map
- matrix(ToricMap) -- get the underlying map of lattices
- map(NormalToricVariety,NormalToricVariety,ZZ) -- make a torus-equivariant map between normal toric varieties
- isProper(ToricMap) -- whether a toric map is proper

## Ways to use this method:

- map(NormalToricVariety,NormalToricVariety,Matrix) -- make a torus-equivariant map between normal toric varieties

The source of this document is in /build/macaulay2-88fgJW/macaulay2-1.25.11+ds/M2/Macaulay2/packages/NormalToricVarieties/ToricMapsDocumentation.m2:357:0.