The Cab Curve
--- a generalization of the Weierstrass form to arbitrary plane curves
(Japanese version)
When we construct one-point algebraic geometry codes,
we have to find a basis of L(mQ) having pairwise distinct
pole orders at Q. If we have the defining equation of a
hyperelliptic curve in the Weierstrass form, then we can easily
find such a basis of L(mQ) for the unique place Q
at infinity. This fact can be generalized for an arbitrary curve
as follows.
The formal English reference for this fact is
this research article.
Let V be an plane algebraic set defined by a bivariate
polynomial of form
\[
c_{b,0} X^b
+ c_{0,a} Y^a +
\sum_{ai + bj < ab} c_{i,j} X^i Y^j.
\]
Then V is an algebraic curve with a unique rational place
Q, and pole divisors of X and Y are
aQ and bQ respectively.
If V is nonsingular, then a basis of L(mQ) is
\[
\{ X^i Y^j |
0 \leq i, 0 \leq j \leq a-1, ai + bj \leq m \}.
\]
Elements in the basis have pairwise distinct discrete valuations at Q.
More detailed statements and their complete proofs are described
in AMS LaTeX 1.2 format,
DVI format,
PDF format, and
PostScript format.
Return to
my homepage.