next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
ConformalBlocks :: FCurveDotConformalBlockDivisor

FCurveDotConformalBlockDivisor -- intersection of an F-curve with a conformal block divisor

Synopsis

Description

This function implements the formulas given in [Fakh] Prop. 2.7 and Cor. 3.5. Note: in contrast with most of the other functions in this package, this function is for UNsymmetrized curves and bundles. The F curve must be entered as a partition of the set 1,...,n into four nonempty subsets.

The example below shows that the first Chern class of the conformal block bundle V(sl2,1,(1,1,1,1,1,1)) intersects the F curve F123,4,5,6 positively, and intersects F12,34,5,6 in degree zero.

i1 : sl_2=simpleLieAlgebra("A",1);
i2 : V=conformalBlockVectorBundle(sl_2,1,{{1},{1},{1},{1},{1},{1}},0);
i3 : FCurveDotConformalBlockDivisor({{1,2,3},{4},{5},{6}},V)

o3 = 1
i4 : FCurveDotConformalBlockDivisor({{1,2},{3,4},{5},{6}},V)

o4 = 0
i5 : sl_3=simpleLieAlgebra("A",2);
i6 : W=conformalBlockVectorBundle(sl_3,1,{{0,1},{1,0},{1,0},{1,0},{1,0}},0);
i7 : FCurveDotConformalBlockDivisor({{4,5},{1},{2},{3}},W)

o7 = 1

Ways to use FCurveDotConformalBlockDivisor :