Compute the monodromy of an algebraic curve - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Algebra : Polynomials : Algebraic Curves : algcurves/monodromy

algcurves[monodromy] - Compute the monodromy of an algebraic curve

Calling Sequence

monodromy(f, x, y, opt)

Parameters

f

-

irreducible polynomial in x and y

x

-

variable

y

-

variable

opt

-

optional arguments

Description

• 

This procedure computes the monodromy of a Riemann surface represented as a plane algebraic curve; that is, as a polynomial f in two variables x and y. The Riemann surface is the covering surface for y as an N-valued function of x, where N=degreef,y is the degree of covering. Curves with singularities are allowed as input.

• 

The output is a list containing the following:

1. 

A value x0 for x for which y takes N different values, so that x0 is not a branchpoint nor a singularity.

2. 

A list L=fsolvesubsx=x0,f,y,complex of pre-images of x0. This list of y-values at x=x0 effectively labels the sheets of the Riemann surface at x=x0. Sheet 1 is L1, sheet 2 is L2, and so on.

3. 

A listb1,m1,b2,m2,... of branchpoints bi with their monodromy mi. The monodromy mi of branchpoint bi is the permutation of L obtained by applying analytic continuation on L following a path from x0 to bi, going around bi counter-clockwise, and returning to x0.

• 

The permutations mi will be given in disjoint cycle notation. The branchpoints bi are roots of discrimf,y.

• 

The order of the branchpoints is chosen in such a way that the complex numbers b1x0,... have increasing arguments. The point x0 is chosen on the left of the branchpoints, so all arguments are between π2 and π2. If the arguments coincide, branchpoints that are closer to x0 are considered first. The point infinity will be given last, if it is a branchpoint.

• 

It can take some time for this procedure to finish. To have monodromy print information about the status of the computation while it is working, give the variable infolevel[algcurves] an integer value > 1.

• 

If the optional argument showpaths is given, then a plot is generated displaying the paths used for the analytic continuation. If the optional argument group is given, then the output is the monodromy group G, the permutation group generated by the mi.  This group G is the Galois group of f as a polynomial over Cx. G is a subgroup of galois(f,y), which is the Galois group of f over Q(x).

Examples

withalgcurves:

monodromyy3x,x,y

1.,1.,0.5000000000000000.866025403784439I,0.500000000000000+0.866025403784439I,0.,1,2,3,∞,1,3,2

(1)

f:=y4x2+1

f:=y4x2+1

(2)

G:=monodromyf,x,y,group

G:=permgroup8,1,5,8,4,2,3,7,6,1,4,8,5,2,6,7,3

(3)

Note: G is not transitive, which means that f is reducible.

evalaAFactorf

y4+xRootOf_Z2+1y4+x+RootOf_Z2+1

(4)

See Also

algcurves[genus], galois


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam