algcurves[Siegel] - use Siegel's algorithm for reducing a Riemann matrix
|
Calling Sequence
|
|
Siegel(B)
|
|
Description
|
|
•
|
A Riemann matrix is a symmetric matrix whose imaginary part is strictly positive definite. In the context of algebraic curves, such a matrix is obtained as a normalized periodmatrix of the algebraic curve.
|
•
|
A Siegel transformation is a transformation from the canonical basis of the homology of a Riemann surface to a new canonical basis of the homology on the Riemann surface such that:
|
1.
|
The real part of the new Riemann matrix has entries that are less than or equal to .
|
The imaginary part of B is strictly positive definite. Then it can be decomposed as . The columns of T generate a lattice L. Then
2.
|
The length of the shortest element of L has a lower bound of ,
|
and
|
|
Examples
|
|
>
|
|
>
|
|
>
|
|
| (1) |
>
|
|
>
|
|
| (2) |
>
|
|
| (3) |
|
|
References
|
|
|
Deconinck, B., and van Hoeij, M. "Computing Riemann Matrices of Algebraic Curves." Physica D Vol 152-153, (2001): 28-46.
|
|
Siegel, C. L. Topics in Complex Function Theory. Vol. 3. Now York: Wiley, 1973.
|
|
|
Download Help Document
Was this information helpful?