M0nbar -- calculations for divisors and curves on the moduli space of stable n-pointed genus zero curves

Description

This package contains two types for working with divisor classes and curve classes on $\bar{M}_{0,n}$, the moduli space of stable n-pointed genus zero curves. The basic types are DivisorClassRepresentativeM0nbar and CurveClassRepresentativeM0nbar.

i1 : L1= { {{{2,1},{3},{4},{5}},-2}, {{{1,3},{2},{4},{5}},-7}, {{{1,4},{2},{3},{5}},1}};

i2 : C=curveClassRepresentativeM0nbar(5,L1);

i3 : L2=new HashTable from { {{1,3},1}, {{1,4},1}};

i4 : D=divisorClassRepresentativeM0nbar(5,L2);

i5 : intersection(C,D)

o5 = 6

Authors

Han-Bom Moon <[email protected]>
Dave Swinarski <[email protected]>

Version

This documentation describes version 0.3 of M0nbar.

Citation

If you have used this package in your research, please cite it as follows:

@misc{M0nbarSource,
  title = {{M0nbar: A \emph{Macaulay2} package. Version~0.3}},
  author = {Han-Bom Moon and Dave Swinarski},
  howpublished = {A \emph{Macaulay2} package available at
    \url{https://github.com/Macaulay2/M2/tree/master/M2/Macaulay2/packages}}
}

Exports

Types
- CurveClassRepresentativeM0nbar -- class implementing curves on the moduli space of stable n-pointed genus zero curves
- DivisorClassRepresentativeM0nbar -- class implementing divisors on the moduli space of stable n-pointed genus zero curves
Functions and commands
- curveClassRepresentativeM0nbar -- creates an object of type CurveClassRepresentativeM0nbar
- divisorClassRepresentativeM0nbar -- creates an object of type DivisorClassRepresentativeM0nbar
- Fcurves -- lists the F-curves for a given n
- FcurvesOfGivenShape -- a list of the F-curves with the given shape
- isEffectiveExpression -- determines whether a curve class expression is effective
- isEquivalent -- check whether two curve class representatives are numerically equivalent
- KeelRelationAmongCurves -- write the Keel relation among F curves based on the input lists
- negativeSum -- sum of the negative coefficients in CurveClassRepresentativeM0nbar
- nonadjacentBasis -- computes the nonadjacent basis of divisors on M0nbar
- permute -- compute the image of a curve class representative under a permutation of the marked points
- seekEffectiveExpression -- seeks to write a curve class as an effective sum of F-curves
- singletonSpineBasis -- computes the singleton spine basis of curves on M0nbar
- writeCurveInDualNonadjacentBasis -- write a curve in the basis dual to the nonadjacent basis
- writeCurveInSingletonSpineBasis -- write a curve class in the singleton spine basis of curve
- writeDivisorInNonadjacentBasis -- write a divisor in the nonadjacent basis
Methods
- curveClassRepresentativeM0nbar(ZZ,List) -- see curveClassRepresentativeM0nbar -- creates an object of type CurveClassRepresentativeM0nbar
- CurveClassRepresentativeM0nbar + CurveClassRepresentativeM0nbar -- add two curve class representatives on M0nbar
- CurveClassRepresentativeM0nbar - CurveClassRepresentativeM0nbar -- subtract two curve class representatives on M0nbar
- curveClassRepresentativeM0nbar(ZZ,HashTable) -- creates an object of type CurveClassRepresentativeM0nbar
- divisorClassRepresentativeM0nbar(ZZ,List) -- see divisorClassRepresentativeM0nbar -- creates an object of type DivisorClassRepresentativeM0nbar
- DivisorClassRepresentativeM0nbar + DivisorClassRepresentativeM0nbar -- add two divisor class representatives on M0nbar
- DivisorClassRepresentativeM0nbar - DivisorClassRepresentativeM0nbar -- subtract two divisor class representatives on M0nbar
- divisorClassRepresentativeM0nbar(ZZ,HashTable) -- creates an object of type DivisorClassRepresentativeM0nbar
- Fcurves(ZZ) -- see Fcurves -- lists the F-curves for a given n
- FcurvesOfGivenShape(ZZ,ZZ,ZZ,ZZ) -- see FcurvesOfGivenShape -- a list of the F-curves with the given shape
- intersect(CurveClassRepresentativeM0nbar,DivisorClassRepresentativeM0nbar) -- see intersect -- intersection number of a curve class and divisor class
- intersect(DivisorClassRepresentativeM0nbar,CurveClassRepresentativeM0nbar) -- intersection number of a divisor class and curve class
- isEffectiveExpression(CurveClassRepresentativeM0nbar) -- see isEffectiveExpression -- determines whether a curve class expression is effective
- isEffectiveExpression(DivisorClassRepresentativeM0nbar) -- determines whether a divisor class expression is effective
- isEquivalent(CurveClassRepresentativeM0nbar,CurveClassRepresentativeM0nbar) -- see isEquivalent -- check whether two curve class representatives are numerically equivalent
- isEquivalent(DivisorClassRepresentativeM0nbar,DivisorClassRepresentativeM0nbar) -- check whether two divisor class representatives are numerically equivalent
- KeelRelationAmongCurves(List) -- see KeelRelationAmongCurves -- write the Keel relation among F curves based on the input lists
- negativeSum(CurveClassRepresentativeM0nbar) -- see negativeSum -- sum of the negative coefficients in CurveClassRepresentativeM0nbar
- nonadjacentBasis(ZZ) -- see nonadjacentBasis -- computes the nonadjacent basis of divisors on M0nbar
- Number * CurveClassRepresentativeM0nbar -- multiply a curve class representatives on M0nbar by a scalar
- Number * DivisorClassRepresentativeM0nbar -- multiply a divisor class representatives on M0nbar by a scalar
- permute(List,CurveClassRepresentativeM0nbar) -- see permute -- compute the image of a curve class representative under a permutation of the marked points
- permute(List,DivisorClassRepresentativeM0nbar) -- compute the image of a divisor class representative under a permutation of the marked points
- seekEffectiveExpression(CurveClassRepresentativeM0nbar) -- see seekEffectiveExpression -- seeks to write a curve class as an effective sum of F-curves
- singletonSpineBasis(ZZ) -- see singletonSpineBasis -- computes the singleton spine basis of curves on M0nbar
- tex(CurveClassRepresentativeM0nbar) -- convert to TeX format
- tex(DivisorClassRepresentativeM0nbar) -- convert to TeX format
- writeCurveInDualNonadjacentBasis(CurveClassRepresentativeM0nbar) -- see writeCurveInDualNonadjacentBasis -- write a curve in the basis dual to the nonadjacent basis
- writeCurveInSingletonSpineBasis(CurveClassRepresentativeM0nbar) -- see writeCurveInSingletonSpineBasis -- write a curve class in the singleton spine basis of curve
- writeCurveInSingletonSpineBasis(ZZ,List) -- write a curve class in the singleton spine basis of curve
- writeDivisorInNonadjacentBasis(DivisorClassRepresentativeM0nbar) -- see writeDivisorInNonadjacentBasis -- write a divisor in the nonadjacent basis

For the programmer

The object M0nbar is a package, defined in M0nbar.m2.

The source of this document is in M0nbar.m2:1228:0.