Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $C$ be a smooth algebraic plane complex curve of degree $d$ defined as the zero locus of a homogeneous polynomial $F$.

Let $P\in C$. For a positive integer $k$ consider the divisor $$D=kP$$

We know that the Riemann-Roch space $L(D)$ of meromorphic functions on $C$ with zeros prescribed and poles allowed by $D$ is a finite-dimensional complex vector space.

Question: Is there a standard way to find a basis of $L(kP)$ ?

share|improve this question
1  
Do you want to explicitly right down the forms that make a basis? I don't think I can help with that, but if you look up Weierstrass Gaps then this will be relevant to finding the dimension of the space, which is a start. I recommend Stichtenoth as a good (algebraic reference), or R Miranda has some stuff on the complex case. Hope that's useful, let me know if you have any questions. –  Joe Tait Feb 4 '13 at 16:51
2  
In fact, I think I am right in saying that the Weierstrass Gap Theorem says that for nearly all points then $L(P)$ is dimension one (take a function with just one pole at $P$), and then take powers of it. Once you get to $L(gP)$ this will stop. For Wierestrass points then you will need to consider other $L(nP)$. I will try to check if this works and write up a proper answer in a bit. –  Joe Tait Feb 4 '13 at 17:15
    
@ Joe Tait: I think you captured the point, I would really like to see your answer! –  Brenin Apr 11 '13 at 8:44

1 Answer 1

up vote 5 down vote accepted

There's roughly two types of algorithms used to compute Riemann-Roch vector space bases - algebraic techniques and geometric techniques. Assuming our curve is defined by an irreducible polynomial F(x,y) over a base field k, we wish to construct the vector space basis L(D) for some divisor D.

Algebraic Techniques

Assume the divisor has no points at infinity (change variables if it does). Start with a basis for your entire algebraic function field as a $k(x)$-module, typically $1, y, \ldots, y^{n-1}$. Multiply by powers of $(x-a)$, where $a$ lies under your divisor points, to put all of the basis functions into L(D). Then compute series expansions at each of your divisor points, and use the coefficients from those expansions to form a certain matrix. If its determinant is zero, then you can construct a linear combination that sums to zero and lets you reduce the order of a basis function while keeping it in L(D). Keep going until the determinant is not zero. Now you have a $k[x]$-basis for your divisor EXCEPT at infinity. You look at your expansions at infinity to determine which powers of x you need to multiply by to get a k-basis for L(D).

Reference: Gilbert Ames Bliss, "Algebraic Functions", 1933, section 20.

KANT/KASH and MAGMA both use an improved algorithm described in a 2001 paper by Florian Hess, "Computing Riemann-Roch spaces in algebraic function fields and related topics". Hess's algorithm doesn't require the computation of series expansions, which can become a computational barrier.

Geometric Techniques

Geometric techniques are based on the observation that any $f \in L(D-E)$ induces a R-linear homomorphism from $L(-D)$ to $L(-E)$, where R is the coordinate ring of the curve, so $L(D-E) \cong Hom_R(L(-D), L(-E))$. We can always pick D and E to be effective divisors, which allows us to identify $L(-D)$ and $L(-E)$ with ideals $I$ and $J$ in the coordinate ring, and now $L(D-E) \cong Hom_R(I, J)$.

This suggests that $L(D-E)$ should be closely related to the ideal quotient $J:I$. We expect $L(D-E)$ to contain elements from the quotient field, however. This can be remedied by picking a random element $f$ from $I$, computing $(fJ):I$, then dividing by $f$. If the curve is non-singular, this basically works. If the curve is singular, this approach needs to be modified by introducing an adjoint curve that intersects the original curve at its singularities.

Singular and Macaulay 2 both use the geometric approach involving adjoints.

Example

Here's a sample calculation with KASH 2.5, where I'm computing basis elements for $L(nP)$ on the elliptic curve $y^2 = x^3-x$, where P is (0,0).

kash> AlffInit(Q, "x");
"Defining global variables: k, w, kx, kxf, kxy, x, y, AlffGlobals"
kash> AlffOrders(y^2-x^3+x);
"Defining global variables: F, o, oi, one"
kash> l := AlffPlaceSplit(F,x);
[ Alff place < [ x, 0 ], [ 0, 1 ] > ]
kash> AlffDivisorLBasis(1 * l[1]);
[ [ 1, 0 ] ]
kash> AlffDivisorLBasis(2 * l[1]);
[ [ 1, 0 ] / x, [ 1, 0 ] ]
kash> AlffDivisorLBasis(3 * l[1]);
[ [ 1, 0 ] / x, [ 1, 0 ], [ 0, 1 ] / x^2 ]
kash> AlffDivisorLBasis(4 * l[1]);
[ [ 1, 0 ] / x^2, [ 1, 0 ] / x, [ 1, 0 ], [ 0, 1 ] / x^2 ]

The answers are given relative to the basis $\{1,y\}$, so [1,0] is 1 and [0,1] is $y$. The results are

$$L(1P) = \{1\}\\ L(2P) = \{\frac{1}{x}, 1\}\\ L(3P) = \{\frac{1}{x}, 1, \frac{y}{x^2}\}\\ L(4P) = \{\frac{1}{x^2}, \frac{1}{x}, 1, \frac{y}{x^2}\}$$

share|improve this answer
4  
This is probably better as a comment as it does not directly answer the question. Regards –  Amzoti Apr 8 '13 at 2:29
1  
This is much too long for a comment, and in any case a thoughtful and useful reply. –  Potato Apr 10 '13 at 23:59

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.