AbstractVariety / AbstractVariety -- get a structure map

Synopsis

• Operator: /

• Usage:

  X/S

• Inputs:
  • X, an abstract variety,
  • S, an abstract variety,
• Outputs:
  • an abstract variety map, the structure map or composition of structure maps $X \rightarrow{} S$

Description

i1 : X = abstractProjectiveSpace_3 point

o1 = X

o1 : a flag bundle with subquotient ranks {1, 3}

i2 : Y = abstractProjectiveSpace_2 X

o2 = Y

o2 : a flag bundle with subquotient ranks {1..2}

i3 : Z = abstractProjectiveSpace_1 Y

o3 = Z

o3 : a flag bundle with subquotient ranks {2:1}

i4 : Z/Z

o4 = a variety map

o4 : a map to Z from Z

i5 : Z/Y

o5 = a variety map

o5 : a map to Y from Z

i6 : Z/X

o6 = a variety map

o6 : a map to X from Z

i7 : Z/point

o7 = a variety map

o7 : a map to point from Z

See also

• StructureMap -- get the structure map of an abstract variety