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 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 <hmoon8@fordham.edu>
David Swinarski <dswinarski@fordham.edu>

Version

This documentation describes version 0.3 of M0nbar.

Source code

The source code from which this documentation is derived is in the file M0nbar.m2.

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
- intersection -- intersection number of a curve class and divisor class
- 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 + CurveClassRepresentativeM0nbar -- add two curve class representatives on M0nbar
- CurveClassRepresentativeM0nbar - CurveClassRepresentativeM0nbar -- subtract two curve class representatives on M0nbar
- DivisorClassRepresentativeM0nbar + DivisorClassRepresentativeM0nbar -- add two divisor class representatives on M0nbar
- DivisorClassRepresentativeM0nbar - DivisorClassRepresentativeM0nbar -- subtract two divisor class representatives on M0nbar
- intersection(CurveClassRepresentativeM0nbar,DivisorClassRepresentativeM0nbar), see intersection -- intersection number of a curve class and divisor class
- intersection(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
- negativeSum(CurveClassRepresentativeM0nbar), see negativeSum -- sum of the negative coefficients in CurveClassRepresentativeM0nbar
- 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
- 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
- writeDivisorInNonadjacentBasis(DivisorClassRepresentativeM0nbar), see writeDivisorInNonadjacentBasis -- write a divisor in the nonadjacent basis