Complementary Modules of Weierstrass Canonical Forms

DOI10.3842/SIGMA.2022.098arXiv2207.01905MaRDI QIDQ6404013FDOQ6404013

Authors: Jiryo Komeda, Shigeki Matsutani, Emma Previato

Publication date: 5 July 2022

Abstract: The Weierstrass curve is a pointed curve

(X, i n f t y)

with a numerical semigroup

H_{X}

, which is a normalization of the curve given by the Weierstrass canonical form,

y^{r} + A_{1} (x) y^{r - 1} + A_{2} (x) y^{r - 2} + d o t s + A_{r - 1} (x) y + A_{r} (x) = 0

where each

A_{j}

is a polynomial in

x

of degree

l e q j s / r

for certain coprime positive integers

r

and

s

,

r

<

s

, such that the generators of the Weierstrass non-gap sequence

H_{X}

at

i n f t y

include

r

and

s

. The Weierstrass curve has the projection

v a r p i_{r} c o l o n X o m a t h b b P

,

(x, y) m a p s t o x

, as a covering space. Let

R_{X} := {m a t h b f H}^{0} (X, {m a t h c a l O}_{X} (* i n f t y))

and

R_{m a t h b b P} := {m a t h b f H}^{0} (m a t h b b P, {m a t h c a l O}_{m a t h b b P} (* i n f t y))

whose affine part is

m a t h b b C [x]

. In this paper, for every Weierstrass curve

X

, we show the explicit expression of the complementary module

R_{X}^{m a t h f r a k c}

of

R_{m a t h b b P}

-module

R_{X}

as an extension of the expression of the plane Weierstrass curves by Kunz. The extension naturally leads the explicit expressions of the holomorphic one form except

i n f t y

,

{m a t h b f H}^{0} (m a t h b b P, {m a t h c a l A}_{m a t h b b P} (* i n f t y))

in terms of

R_{X}

. Since for every compact Riemann surface, we find a Weierstrass curve that is bi-rational to the surface, we also comment that the explicit expression of

R_{X}^{m a t h f r a k c}

naturally leads the algebraic construction of generalized Weierstrass' sigma functions for every compact Riemann surface and is also connected with the data on how the Riemann surface is embedded into the universal Grassmannian manifolds.

Mathematics Subject Classification ID

Plane and space curves (14H50) Riemann surfaces; Weierstrass points; gap sequences (14H55) Ordinary and skew polynomial rings and semigroup rings (16S36) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10)

This page was built for publication: Complementary Modules of Weierstrass Canonical Forms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6404013)