periodmatrix - Maple Help

# Online Help

###### All Products    Maple    MapleSim

algcurves

 periodmatrix
 compute the period matrix of an algebraic curve

 Calling Sequence periodmatrix(f, x, y, opt)

Parameters

 f - irreducible polynomial in x and y x - variable y - variable opt - optional arguments

Description

 • The periodmatrix(f, x, y, opt) command computes the period matrix 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=\mathrm{degree}\left(f,y\right)$ is the degree of the covering. Curves with singularities are allowed.
 • The output is a g by 2*g Matrix $P=\left(AB\right)$, where g is the genus of the Riemann surface and A and B are both g by g matrices. The matrix elements are integrals of holomorphic differentials over the basis elements of a canonical basis for the homology. ${A}_{i,j}$ is the integral of the ith holomorphic differential around cycle a[j], and ${B}_{i,j}$ is the integral of the ith holomorphic differential around cycle b[j].
 • The canonical homology basis that was used to compute the period matrix can be viewed by the command homology(f,x,y), which is an implementation of Tretkoff's algorithm. To see the basis of the holomorphic differentials that was used, divide the polynomials in differentials(f, x, y, skip_dx) by diff(f, y).
 • This command can take a lot of time. It requires the calculation of the monodromy, the homology, and the holomorphic differentials of the Riemann surface. The most time-consuming, however, is the numerical integration over the paths given in the homology basis. To make periodmatrix print information about its status while it is working, give the variable infolevel[algcurves] an integer value >= 1.
 • If the optional argument Riemann is given, the result is a g by g square matrix. This matrix is $Z={A}^{-1}B$. It is called a Riemann matrix associated with the Riemann surface. Its relevance is explained in the standard references given previously. The matrix $\left(IZ\right)={A}^{-1}P$ where I is the identity matrix is called a normalized period matrix. This is a period matrix of the same homology basis, but with a different basis of the differentials. This basis of differentials is such that the integral of the ith differential over a[j] equals 1 if i=j, and equals 0 otherwise. Sometimes the Riemann matrix is defined differently, namely as 2*Pi*I times the previous matrix Z.
 • The Riemann matrix Z is symmetric and its imaginary part is positive definite. Even though the period matrix $P=\left(AB\right)$ depends on the choice of the differentials, the Riemann matrix Z is independent of this choice. However, the Riemann matrix Z depends on the choice of the canonical basis of the homology. Different choices of the homology lead to equivalent Riemann matrices.
 • If the optional argument showpaths is given, it is passed to the monodromy procedure. A plot is generated that displays the paths used for the analytic continuation during the calculation of the monodromy and the numerical integration of the holomorphic differentials.
 • The accuracy of the numerical computations can be chosen by setting the global variable Digits. In general, periodmatrix tries to get at least Digits-3 decimals correct. The errors are estimated by taking the largest absolute value of the entries of matrix $Z-\mathrm{transpose}\left(Z\right)$. If this number is greater than (1/10)^(Digits-3), a warning message is printed.

Examples

 > $\mathrm{with}\left(\mathrm{algcurves}\right):$
 > $f≔{y}^{3}+{x}^{4}+{x}^{2}$
 ${f}{≔}{{x}}^{{4}}{+}{{y}}^{{3}}{+}{{x}}^{{2}}$ (1)
 > $P≔\mathrm{periodmatrix}\left(f,x,y\right):$
 > $Z≔\mathrm{periodmatrix}\left(f,x,y,\mathrm{Riemann}\right)$
 ${Z}{≔}\left[\begin{array}{cc}{0.999999997144757}{+}{1.15470054211822}{}{I}& {-0.999999995045272}{-}{0.577350247846397}{}{I}\\ {-0.999999991936919}{-}{0.577350277278923}{}{I}& {1.00000001595312}{+}{1.15470053050915}{}{I}\end{array}\right]$ (2)

The exact answer is:

 > $\mathrm{r3}≔\frac{\mathrm{sqrt}\left(-3\right)}{3}:$$M≔\mathrm{Matrix}\left(2,2,\left[1+2\mathrm{r3},-1-\mathrm{r3},-1-\mathrm{r3},1+2\mathrm{r3}\right]\right)$
 ${M}{≔}\left[\begin{array}{cc}{1}{+}\frac{{2}{}{I}{}\sqrt{{3}}}{{3}}& {-}{1}{-}\frac{{I}{}\sqrt{{3}}}{{3}}\\ {-}{1}{-}\frac{{I}{}\sqrt{{3}}}{{3}}& {1}{+}\frac{{2}{}{I}{}\sqrt{{3}}}{{3}}\end{array}\right]$ (3)

So the error is:

 > $\mathrm{evalf}\left(Z-M\right)$
 $\left[\begin{array}{cc}{-2.85524326404385}{×}{{10}}^{{-9}}{+}{3.11821968246306}{×}{{10}}^{{-9}}{}{I}& {4.95472796124830}{×}{{10}}^{{-9}}{+}{2.14536025611167}{×}{{10}}^{{-8}}{}{I}\\ {8.06308064760231}{×}{{10}}^{{-9}}{-}{7.97892341086737}{×}{{10}}^{{-9}}{}{I}& {1.59531245991218}{×}{{10}}^{{-8}}{-}{8.49085401988248}{×}{{10}}^{{-9}}{}{I}\end{array}\right]$ (4)

References

 Deconinck, B., and van Hoeij, M. "Computing Riemann Matrices of Algebraic Curves." Physica D Vol. 152-153, (2001): 28-46.
 Dubrovin, B. A. "Theta-functions and Nonlinear Equations." Russian Mathematical Surveys Vol. 36(2), (1981):11-92.
 Farkas, H. M., and Kra, I. Riemann Surfaces. New York: Springer-Verlag, 1992.
 Springer, G. Introduction To Riemann Surfaces. New York: Chelsea Publishing, 1981.

 See Also