1. Introduction
In Weierstrass’ elliptic function theory, the algebraic properties associated with an elliptic curve of Weierstrass’ standard equation
are connected with the transcendental properties defined on its Jacobi variety via the
function since
is identical to a point
in the curve [
1,
2]. These algebraic and transcendental properties are equivalently obtained by the identity and play a central role in the elliptic function theory. Via the equivalence, the elliptic function theory affects several fields in mathematics, science, and technology. In other words, in Weierstrass’ elliptic function theory, the equivalence between the algebraic objects of the curve and the transcendental objects on its Jacobi variety is crucial.
Weierstrass himself extended the picture to general algebraic curves [
3], but it failed due to difficulties. Some of the purposes of mathematics in the XX-th century were to overcome the difficulties that were achieved. We have studied the generalization of this picture to algebraic curves with higher genera in the series of studies [
4,
5,
6] following Mumford’s studies for the hyperelliptic curves based on modern algebraic geometry [
7,
8], i.e., the unification of the theory of algebraic curves in the XIX-th century with the modern one.
The elliptic theta function was generalized by Riemann for an Abelian variety. In contrast, its equivalent function Al was defined for any hyperelliptic curve by Weierstrass, which was refined by Klein using only the data of the hyperelliptic Riemann surface and Jacobi variety as a generalization of the elliptic sigma function [
9]. Baker re-constructed Klein’s sigma functions by using the data of hyperelliptic curves algebraically [
10]. Buchstaber, Enolskii, and Leykin extend the sigma functions to certain plane curves, so-called
curves, based on Baker’s construction, which we call the EEL construction due to work by Eilbeck, Enolskii, and Leykin [
11] [ref. [
12] and its references]. For the
curves with cyclic symmetry, the direct relations between the affine rings and the sigma functions were obtained as the Jacobi inversion formulae [
13,
14]. Additionally, we generalized the sigma functions and the formulae to a particular class of the space curves using the EEL-construction [
4,
6,
15].
We have studied further generalization of the picture in terms of the Weierstrass canonical form [
16,
17]. The Weierstrass curve
X is a normalized curve of the curve given by the Weierstrass canonical form,
, where
r is a positive integer, and each
is a polynomial in
x of a certain degree (c.f. Proposition 2) so that the Weierstrass non-gap sequence at
is given by the numerical semigroup
whose generator contains
r as its minimal element. It is known that every compact Riemann surface has a Weierstrass curve
X, which is birational to the surface. We also simply call the Weierstrass curve
W-curve.
It provides the projection
as a covering space. Let
and
. In [
17], we have the explicit description of the complementary module
of
-module
, which leads the explicit expressions of the holomorphic one form except
∞,
.
Recently, D. Korotkin and V. Shramchenko [
18] and Nakayashiki [
19] defined the sigma function of every compact Riemann surface as a generalization of Klein’s sigma function transcendentally. Every compact Riemann surface can be characterized by the Weierstrass non-gap sequence, which is described by a numerical semigroup
H called
Weierstrass semigroup. Nakayashiki defined the sigma function for every compact Riemann surface with Weierstrass semigroup
H [
19] based on Sato’s theory on the universal Grassmannian manifolds (UGM) [
20,
21].
In this paper, we use our recent results on the complementary module of the W-curve [
17] to define the trace operator
such that
for
for
. In terms of them, we express the fundamental two-form of the second kind
algebraically in Theorem 3, and finally obtain a connection to Nakayashiki’s sigma function by modifying his definition in Theorem 4, which means an algebraic construction of the sigma function for every W-curve as Baker performed for Klein’s sigma function following Weierstrass’ elliptic function theory.
The contents are as follows:
Section 2 reviews the Weierstrass curves (W-curves) based on [
17] (1) the numerical semigroup in
Section 2.1, (2) Weierstrass canonical form in
Section 2.2, (3) their relations to the monomial curves in
Section 2.3, (4) the properties of the
-module
in
Section 2.4, (5) the covering structures in W-curves in
Section 2.5, and (6) especially the complementary module
of
in
Section 2.6; the explicit description of
is the first main result in [
17].
Section 3 provides the first and the second theorems in this paper on the W-normalized Abelian differentials on
X. In
Section 3.1, we review the second main result in [
17] on the W-normalized Abelian differentials
, which contain the Abelian differentials of the first kind. Further, we extend the trace operator
introduced in [
17] to
in
Section 3.2. The trace operator
p enables us to define a proper one-form
and its differential
in
Section 3.3. After investigating
, we find the W-normalized Abelian differentials of the second kind in Theorems 1 and 2. Further, in Theorem 3, we mention our results on the fundamental differential of the second kind
in our W-curves and the Abelian differentials of the third kind. We obtain the generalized Legendre relation in Proposition 18. Using them, we show the connection of the sigma function for
X with
in the W-curves
X in
Section 4. As studied in [
5], we introduce the shifted Abelian integrals in
Section 4.1.
Section 4.2 shows the properties of the Riemann theta functions of W-curves and its Riemann–Kempf theorem as in Proposition 22. In
Section 4.3, we define the sigma function for a W-curve
X by modifying the definition of Nakayashiki (Definition 9) in [
19] and show its properties in Theorem 4 as our main results in this paper.
2. Weierstrass Canonical Form and Weierstrass Curves (W-Curves)
2.1. Numerical and Weierstrass Semigroup
This subsection is on numerical and Weierstrass semigroups based on [
4,
22]. An additive sub-monoid of the monoid of the non-negative integers
is called
numerical semigroup if its complement in
is a finite set. In this subsection, we review the numerical semigroups associated with algebraic curves.
In general, a numerical semigroup H has a unique (finite) minimal set of generators, , () and the finite cardinality g of ; g is the genus of H or and is called gap-sequence. We let be the smallest positive integer of . We call the semigroup H an -semigroup, so that is a 3-semigroup and is a 6-semigroup. Let and be the i-th ordered element of and satisfying , and , respectively.
Further, the conductor of H is defined by the minimal natural number satisfying . The number is known as the Frobenius number, which is the largest element of , i.e., .
By letting the row lengths be
, (
), we have the Young diagram of the semigroup,
, (
). The Young diagram
is a partition of
. We say that such a Young diagram is associated with the numerical semigroup. If for a given Young diagram
, we cannot find any numerical semigroups
H such that
, we say that
is not associated with the numerical semigroup. It is obvious that, in general, the Young diagrams are not associated with the numerical semigroups. We show examples of the Young diagrams associated with numerical semigroups:
The Young diagram and the associated numerical semigroup are called symmetric if the Young diagram is invariant under reflection across the main diagonal. It is known that the numerical semigroup is symmetric if and only if
occurs in the gap sequence. It means that if
,
H is symmetric.
We obviously have the following proposition:
Proposition 1. The following holds:
- 1.
for every ,
- 2.
for or ,
- 3.
for or ,
- 4.
- 5.
for , , and
- 6.
when H is symmetric, and for .
Proof. 1–
3 and
5 are obvious. Noting
,
4 means that what is missing must be filled later for
, and
6 is left to [
22]. □
The length
of the diagonal of the Young diagram
is called the rank of
. The number of boxes below and to the right of the
i-th box of the diagonal from lower right to upper left are assumed as
and
, respectively. The Young diagram is represented by
, which is known as Frobenius representation or characteristics of
. Then
is called the hook length of the characteristics. For
associated with
, it is
and the rank of
is three. For
associated with
, it is
and rank of
is three. We show their examples of the Young diagram:
Definition 1. For a given Young diagram , we define We show the properties of the Young diagram associated with the numerical semigroup H in the following lemma, which is geometrically obvious:
Lemma 1. - 1.
If we put the number on the boundary of the Young diagram Λ
from the lower to upper right as in (3), each number in the right side box of the i-th row corresponds to the gap number in or , i.e., , for , and each number in the top numbered box of the i-th column corresponds to for . - 2.
The hook length is given by , which belongs to , and thus let such that . Then, , and .
- 3.
For associated with the numerical semigroup , the truncated Young diagram is also associated with a numerical semigroup , i.e., is generated by though the generators are not minimal in general. Further, its compliment is a subset of , i.e., .
- 4.
For associated with the numerical semigroup H, , and then is, in general, not associated with the numerical semigroup unless .
Further by letting , we have .
of the numerical semigroup
is associated with the numerical semigroup
. We show their examples of the Young diagram:
In this paper, we mainly consider the r-numerical semigroup, H. We introduce the tools as follows:
Definition 2. - 1.
Let and .
- 2.
Let , .
- 3.
Let be the standard basis of H. Further, we define the ordered set , and , e.g., .
- 4.
Let , where .
We have the following elementary but essential results (Lemmas 2.8 and 2.9) in [
17]:
Lemma 2. - 1.
We have the following decomposition;
- (a)
- (b)
, ,
- (c)
, ,
- 2.
for every , and especially for , modulo r.
The following is obvious:
Lemma 3. For the generators r and s in the numerical semigroup H, there are positive integers and such that
2.2. Weierstrass Canonical Form
We recall the “Weierstrass canonical form” (“Weierstrass normal form”) based on [
5,
6,
16,
17], which is a generalization of Weierstrass’ standard form for elliptic curves and whose origin came from Abel’s insight; Weierstrass investigated its primitive property [
3,
23]. Baker (Ch. V, §§60–79) in Baker97 gives its complete review, proof, and examples, but we refer to Kato [
24,
25], who also produces this representation from a modern viewpoint.
Proposition 2 ([
24,
25]).
For a pointed curve with Weierstrass semigroup for which , and , in Definition 2, and we let and . is defined by an irreducible equation,for a polynomial of type,where the ’s are polynomials in x, , , and , . In this paper, we call the curve in Proposition 2 a
Weierstrass curve or a
W-curve. The Weierstrass canonical form characterizes the W-curve, which has only one infinity point
∞. The infinity point
∞ is a Weierstrass point if
differs from
[
26]. Since every compact Riemann surface of the genus,
, has a Weierstrass point whose Weierstrass gap sequence with genus
g [
27], it characterizes the behavior of the meromorphic functions at the point, and thus, there is a Weierstrass curve, which is bi-rationally equivalent to the compact Riemann surface.
Further, Proposition 2 is also applicable to a pointed compact Riemann surface of genus g whose point P is a non-Weierstrass point rather than the Weierstrass point; its Weierstrass gap sequence at P is . Even for the case, we find the Weierstrass canonical form and the W-curve X with , which is bi-rational to Y.
Remark 1. Let for (4) and its normalized ring be if is singular. is the coordinate ring of the affine part of , and we identify with . Then, the quotient field of is considered as an algebraic function field on X over . By introducing and its quotient field , is considered a finite extension of . We regard as a finite extended ring of of rank r, e.g., as mentioned in Section 2.5 [28]. For the local ring of at , we have the ring homomorphism, . We note that plays crucial roles in the Weierstrass canonical form. We let the minimal generator of the numerical semigroup . The Weierstrass curve admits a local cyclic -action at ∞ c.f., Section 2.3. The genus of X is denoted by , briefly g and the conductor of is denoted by ; the Frobenius number is the maximal gap in . We let, . Projection from X to
There is the natural projection,
such that
.
Let and .
2.3. The Monomial Curves and W-Curves
This subsection shows the monomial curves and their relation to W-curves based on [
5,
6,
16].
For a given W-curve X with the Weierstrass semigroup , and its generator , the behavior of singularities of the elements in at ∞ is described by a monomial curve . For the numerical semigroup , the numerical semigroup ring is defined as .
Following a result of Herzog’s [
29], we recall the well-known proposition for a polynomial ring
.
Proposition 3. For the -algebra homomorphism , the kernel of is generated by of a certain binomial and a positive integer , i.e., , and We call
a
monomial ring. Sending
to
and
to
, the monomial ring
determines the structure of the gap sequence of
X at
∞ [
29,
30]. Bresinsky showed that
can be any finitely large number if
[
31].
Let
, which we call a
monomial curve. We also define the ring isomorphism on
induced from
, which is denoted by
,
Further, we let , and . A monomial curve is an irreducible affine curve with -action, where is the multiplicative group of the complex numbers; for , and it induces the action on the monomial ring .
The following cyclic action of order r plays a crucial role in this paper.
Lemma 4. The cyclic group of order r acts on the monomial ring ; the action of the generator on is defined by sending to , where is a primitive r-th root of unity. By letting , , and , the orbit of forms ; especially for the case that , it recovers .
For a ring
R, let its quotient field be denoted by
. Further, we obviously have the identity in
,
as a
-module.
Corresponding to the standard basis of in Definition 2, we find the monic monomial such that , and the standard basis ; .
Lemma 5. The -module is given byand thus is the basis of the -module . Then there is a monomial such that Lemma 6. By defining an element in by we have the identity as -module properties and To construct our curve
X from
or
, we could follow Pinkham’s strategy [
30] with an irreducible curve singularity with
action, though we will not mention it in this paper. Pinkham’s investigations provide the following proposition [
30] (Proposition 3.7) in [
17]:
Proposition 4. For a given W-curve X and its associated monomial ring, , there are a surjective ring-homomorphism [22] (p. 80)such that is isomorphic to , where is the maximal ideal in coefficient ring , and , and a polynomial satisfying - 1.
modulo for ,
- 2.
the affine part of is given by , and
- 3.
the rank of the matrix is for every point P in X.
Definition 3. - 1.
Recalling Lemma 3, we define thearithmetic local parameter
at ∞ by [32]. - 2.
The degree at as the order of the singularity with respect to t is naturally defined bywhich is called theSato-Weierstrass weight
[23]. - 3.
In the ring of the formal power series , we define the symbol so that it belongs to the ideal,
The weight of
is given by
Lemma 7. We have the decomposition of as a -vector space,where is a monomial in satisfying the inequalities for , i.e., , , …. Further, by assigning a certain weight on each coefficient
in (
4) so that (
4) is a homogeneous equation of weight
, we also define another weight,
Definition 4. We define by the basis of as in (13). Then , for .
Lemma 8. Let t be the arithmetic local parameter at ∞ of .
- 1.
By the isomorphism , is a subring of ; for , .
- 2.
There is a surjection of ring ; for , there is such thatwhere means the germ at ∞ or via in Proposition 4. It induces the surjection .
Proof. By letting , the existence of g is obvious. □
2.4. -Module
is an -module, and its affine part is given by the quotient ring of .
We recall Definition 2 and Lemma 5, and apply them to W-curves and then we obtain the following (Proposition 3.11) in [
17].
Proposition 5. For , we let be the monic monomial in whose weight is , satisfyingwith the relations,where , , especially . 2.5. The Covering Structures in W-Curves
We will follow [
28,
33] to investigate the covering structure in W-curves.
2.5.1. Galois Covering
As mentioned in Remark 1, let us consider the Riemann sphere and . We identify with its affine part , and its quotient field is denoted by . The quotient field of is an extension of the field .
Following the above description, we consider the W-curve X. The covering is obviously a holomorphic r-sheeted covering. When we obtain the Galois group on X, i.e., , this is denoted by . The is a finite branched covering. A ramification point of is defined as a point that is not biholomorphic. The image of the ramification point is called the branch point of . The number of finite ramification points is denoted by .
We basically focus on the holomorphic r-sheeted covering . denotes the finite group action on for , referred to as group action at x in this paper.
Definition 5. Let and , where , and .
2.5.2. Riemann–Hurwitz Theorem
Let us consider the behaviors of the covering
, including the ramification points. The Riemann–Hurwitz theorem [
28],
where
is the ramification index at
, shows the following:
Corollary 1. The divisor of is given by, 2.5.3. Embedding of X into
By identifying
, it is obvious that
is a subring of
because
is a normalized ring of
. There is a projection
. Thus, we can find the subring
of
as its normalized ring, as we prove this fact in (Proposition 3.14) in [
17] precisely. The image of
by
is (
8). There are injective ring-homomorphisms
and they induce the projections
and
where
. They satisfy the commutative diagrams,
Further, we also define the tensor product of these rings
, and its geometrical picture
. By identifying
with a ring
, we have the natural projection
, i.e.,
, and the injection
. It induces the injection
and the projection
.
Moreover, we also define the direct product of these rings
, and its geometrical picture
. Then we have an embedding,
2.6. Complementary Module of
By introducing
, where
, as an
-analog of (
9), let us consider
as an element of
. The following is obvious:
Proposition 6. For , However, some parts in its numerator and denominator are canceled because they belong to . Thus, we introduce an element such that reproduces .
Lemma 9. Lemma 4.14 in [
17]
. For a point , there is a polynomial such that - 1.
by regarding the element a in as in , and are coprime as elements in ,
- 2.
for a group action , ,
- 3.
it satisfies , and
- 4.
(), then
Definition 6. Let .
We have the expression of
following (Proposition 4.16, Lemma 4.20) in [
17].
Proposition 7. is expressed by as an -module. Here , and each has the following properties
- 1.
with certain ,
- 2.
, where with an element , and a monic polynomial whose weight is , (especially, ) such thatfor , where is a certain element in for , and - 3.
We introduce more convenient quantities :
Definition 7. For , we define a truncated polynomial of such that the weight of is less than , i.e., certain terms, and the number of the terms is minimal satisfying the relations as -modules, Since some of
at
,
vanishes only at the ramification point
and the construction of
, we have the following lemma from Dedekind’s different theorem Proposition 4.27 in [
17].
Lemma 10. where , and . Definition 8. The effective divisor, , is denoted by , i.e., and let .
Lemma 11. The divisor of is expressed by , and or . .
From Corollary 1, we note that these and play crucial roles in the investigation of the differentials on X.
Proposition 8. is equal to zero if is symmetric whereas is not zero otherwise.
We recall in Definition 2 in the standard basis in Lemma 5 and Proposition 5, and in Definition 7.
From Proposition 4.32 in [
17], we have the properties of
:
Proposition 9. where . We have 3. W-Normalized Abelian Differentials on
3.1. W-Normalized Abelian Differentials
Following K. Weierstrass [
3], H. F. Baker [
10], V.M. Buchstaber, D.V. Leykin and V.Z. Enolskii [
12], J.C. Eilbeck, V.Z. Enolskii and D.V. Leykin [
11] and our previous results [
4,
6,
16], we construct the Abelian differentials of the first kind and the second kind
on
X for more general W-curves based on Proposition 9 [
17].
We consider the Abelian differentials of the first kind on a W-curve. Due to the Riemann–Roch theorem, there is the
i-th holomorphic one-form whose behavior at
∞ is given by
where
satisfying
, and
t is the arithmetic local parameter at
∞. We call this normalization the
W-normalization. Similarly we find the differentials or the basis of
associated with
.
The W-normalized holomorphic one-forms are directly obtained from Proposition 9:
Lemma 12. For in Proposition 9, we have the relation, By re-ordering with respect to the weight at ∞, we define the ordered set :
Definition 9. - 1.
Let us define the ordered subset of by such that is ordered by the Sato–Weierstrass weight, i.e., for , and is equal to as a set.
- 2.
Let be an -module generated by , i.e., .
- 3.
Recalling and in Definition 8, we let , , and we define the dual conductor as the minimal integer satisfying .
- 4.
We define , and theW-normalized holomorphic one form
, orW-normalized Abelian differentials of the first kind
as the canonical basis of X,
We note that at ∞, behaves like for the arithmetic local parameter t at ∞, and further where indicates the element in such that for ; they are W-normalized Abelian differentials.
We summarize them:
Lemma 13. - 1.
.
- 2.
.
By the Abel–Jacobi theorem [
26],
in Definition 8 can be divided into two pieces, which are related to the spin structure in
X.
Definition 10. Let and be the effective divisors that satisfyas the linear equivalence, where and are the degrees of and , respectively. Since the W-normalized holomorphic one form is given by the basis (
19), Definition 10 shows the canonical divisor:
Proposition 10. The canonical divisor is given by From (Lemmas 5.8 and 5.9) in [
17], we show the properties of these parameters:
Lemma 14. - 1.
.
- 2.
for every , .
- 3.
for every , .
Lemma 15. - 1.
if is symmetric) ,
- 2.
, i.e., ,
- 3.
, ,
- 4.
, and .
3.2. Extension to
As we have in Lemma 9, we extend it in to an element in , though the extension is not unique; there are two different and in such that in . Since they are quasi-isomorphic, we select one of them, and thus, it is well-defined in the meaning of Proposition 15-4 and 16-4.
Definition 11. Using in Proposition 7, for a point , we define a polynomial by Then the following lemma is evident from Lemma 9.
Lemma 16. For a point , satisfies
- 1.
for the case and a group action , .
- 2.
for ,
- 3.
when or belongs to , it satisfies - 4.
.
Definition 12. Using for a point , we define It is obvious that
belongs to
as a function of
P at
and thus Proposition 9, whose origin is Dedekind’s different theorem (Proposition 4.27) in [
17], shows the proposition:
Proposition 11. for .
Further, the direct computations provide the following proposition:
Remark 2. We should remark that , which holds the relations in Proposition 12 is not unique. The problem comes from the fact that there are infinitely many different from such that for .
Proposition 13. For a point ,where is an effective divisor such that . Further, this relation is extended to the condition by considering the multiplicity of the action .
Proof. At the ramification point
of
, Proposition 11 shows the third term. We note that
. From the Riemann–Hurwitz theorem (
16), there exist the first and the second terms. □
For an element in , we define the weight by .
Lemma 17. is a homogeneous element in whose weight is or and thus, the weight of is zero in .
For later convenience, we introduce .
Definition 13. We define a polynomial in such thatand an element, This is uniquely defined in the meaning of Proposition 15 4. and 16 4.
Proposition 14. When , and agree with in Lemma 9 and in Lemma 6, respectively, .
3.3. W-Normalized Differentials of the Second and the Third Kinds
3.3.1. The One-Form on X
We construct an algebraic representation of the fundamental W-normalized differential of the second kind in (Corollary 2.6) in [
34], namely, a two-form
on
, which is symmetric and has quadratic singularity as in Theorem 3.
Following K. Weierstrass [
3], H. F. Baker [
10], V.M. Buchstaber, D.V. Leykin and V.Z. Enolskii [ref. [
12] and therein], J.C. Eilbeck, V.Z. Enolskii, and D.V. Leykin [
11], we have
using a meromorphic one-form
on
for the hyperelliptic curves and plane Weierstrass curves (W-curves). In this subsection, we extend it to more general W-curves based on Definition 12 and Proposition 12 to introduce
on
.
Proposition 15. For a point ,has the following properties: - 1.
For a group action , if .
- 2.
is holomorphic over X except Q and ∞ as a function of P such that
- (a)
at Q, in terms of the local parameters and , it behaves like - (b)
at ∞, the local parameter , it behaves like
- 3.
as a function of Q is singular at P and ∞ such that
- (a)
at P, in terms of the local parameters and , it behaves like - (b)
at ∞, the arithmetic local parameter , , it behaves like
- 4.
Let be an element in satisfying the conditions in Lemma 16, i.e., at , and let Then belongs to the set,
Proof. Lemma 16 1 shows 1. Noting the properties in Proposition 13 and Corollary 1, the numerator of is zero with the first order at the points where and and thus, behaves in a finite one-form there. At , the numerator is equal to one, and thus, we have , which means in 2.(a) and 3.(a).
Recalling in Lemma 8, let and be the local parameters at ∞ corresponding to P and Q, respectively. Proposition 12 shows whereas , and thus, we have 2.(b). On the other hand, the following Lemma 18-3 shows that behaves . The maximum of is , which is equal to due to Lemma 15-4, and thus . We obtain 3.b.
Let us consider 4. Since both and satisfy these properties 1–3, their difference is holomorphic over X with respect to P, and over with respect to Q. It shows 4. □
3.3.2. The One-Form at ∞
Noting Lemma 8, we consider a derivation in for the monomial curve instead of using surjection .
In order to investigate the behavior of
at
∞, we consider the differential in monomial curve
and element in
(rather than
),
Noting
and Lemmas 8, 6, and 17, we define
as an element in
using isomorphism
and the parameters
and
;
is regarded as a derivation in
.
Then, the direct computations lead to the following results:
Lemma 18. - 1.
with the local parameters and at ∞, and it shows the behavior at ∞, i.e., for the local parameters at ∞, .
- 2.
for the case , and
- 3.
for the case , , and , .
Proof. 1 is obvious. The relations , and show 2 and 3. □
3.3.3. The differential on X
In order to define , we consider the derivative in this subsubsection.
Proposition 16. has the following properties: - 1.
as a function of P is holomorphic over X except Q such that
- (a)
at Q, in terms of the local parameter , it behaves like - (b)
at ∞, in terms of the arithmetic parameters and , it behaves like and is holomorphic at ∞.
- 2.
as a function of Q is holomorphic over X except P and ∞ such that
- (a)
at P, in terms of the local parameter , it behaves like - (b)
at ∞, using the arithmetic parameter , it behaves like
- 3.
We have the following relations,
- (a)
,
- (b)
,
- (c)
, and
- 4.
For defined in Proposition 15 4, we have
Proof. 1.(a),
2.(a), and finite part of
3.(a) are directly obtained from Proposition 15. The properties of
on
determine the behavior at
∞ in the following subsection,
Section 3.3.4.
We use the facts: , and . Lemmas 19 and 18 show 1.(b), 2.(b) and the behavior at ∞ of 3.(a). Lemma 18 3 shows 3.(b).
Lemma 23 shows 3.(c), and Proposition 15 4 shows 4. □
It means that there exist
such that
3.3.4. The Differential on
Noting Lemma 8, we also consider as a two-form in and the monomial curve instead of .
We consider the differential of (
21),
which is equal to
We recall the correspondence between
z of
and
t of
in Lemma 8. Using (
22), we have
Lemma 19. - 1.
- 2.
For the case , we have the expansion, - 3.
For the case , we have the expansion,
Proof. 1: Using the relation,
, we have
The relation enables us to obtain 1.
2: Since
, for a polynomial
, we have
and
The relation shows 2. Similarly, we prove 3. □
Lemma 20. is equal toWhen , it vanishes for the limit . Proof. The direct computations show them. □
For the case
, noting
, and
, (
25) in Lemma 19 leads to the expression,
Lemma 21. Letting , and , we have Proof. corresponds to the weight of consisting of and thus and its cardinality is g. On the other hand, the condition in means that because of from Lemma 15. Thus, , and . □
Since the order of the singularity of
at
is
, we introduce the two-form,
Lemma 22. has no singularity at .
Lemma 23. Then each term in has the property, Lemma 24. For and such that , there are and such that Proof. Lemma 21 shows the existence. □
3.3.5. W-Normalized Differentials of the Second Kind
We introduce the W-normalized differentials of the second kind using this .
Definition 14. We consider a sufficiently small closed contour at ∞. Let be the inner side of , including ∞, and be a point in such that . For differentials ν and in , we define a pairing: The following is obtained from the primitive investigation of complex analysis on a compact Riemann surface [
26].
Lemma 25. , and does not depend on ε.
Definition 15. We define the pre-normalized differentials of the second kind , which satisfies the relations (if they exist) It is obvious that from Lemma 13 2 and Lemma 24, with in Lemma 24 expressed as .
Noting Proposition 16 3.(b), we have the following relations:
Corollary 2. , , and .
Proof. and thus
On the other hand,
in Lemma 15 means
Hence,
and we obtain
□
Theorem 1. There exist the pre-normalized differentials of the second kind such that they have a simple pole at ∞ and satisfy the relation,where the set of differentials , , , ⋯, is determined modulo the linear space spanned by and . We call these ’sW-normalized differentials of the second kind
(In Ônishi’s articles and our previous articles [ref. [4,13,14,32,35] and references therein], the definition of W-normalized differentials of the second kind differs from this definition by its sign. The difference is not significant but has an effect on the Legendre relation in Proposition 18 and the sign of the quadratic form in the definition of the sigma function in Definition 21). Proof. Noting Proposition 17, Lemmas 22 and 23 show the facts. □
Theorem 2. and thus, Proof. It is obvious that ; ). We recall Lemma 13 2 and 7. is the set of differentials of the second kind. In other words, there is no differential with the first-order singularity at ∞. The embedding j is realized by . Let . Then and , whereas . Thus . Due to the Riemann–Roch theorem, for every ℓ in , there is an element k in such that . It shows the relations. □
Lemma 26. is holomorphic over as a function of and is holomorphic over as a function of .
Proof. From Proposition 16,
is holomorphic over
as a function of
whereas
is holomorphic over
as a function of
. The order of the singularity at
is
and thus can be canceled by
. Since the numerator of
in (
24) consists of the elements in
, from Proposition 16, there is no term whose weight is
in
as a function in
Q. Noting the homogeneous property of
from Lemma 14, we have the result. □
Theorem 3. - 1.
is a differential of the third kind whose only (first-order) poles are and , with residues and , respectively.
- 2.
is the fundamental differential of the second kind, which has the properties:
- (a)
,
- (b)
for any , if ,
- (c)
is holomorphic except Q as a function of P and behaves like - (d)
Proof. 1 is directly obtained by Proposition 15, and
2 is obvious from (
29) and Proposition 16. □
We note the W-normalized differentials of the first kind and the second kind in Definitions 9 and 15.
Definition 16. - 1.
is called the W-normalized differential of the third kind
- 2.
is the W-normalized fundamental differential of the second kind and when it is expressed by where is called Klein fundamental form in .
Proof. The expression (
30) and Corollary 2 give the result. □
For the connection of these algebraic tools with the sigma functions, we define
It has the properties.
Lemma 28. .
We have the generalized Legendre relation given as follows. (The sign of this relation depends on the sign of the W-normalized Abelian differentials of the second kind because there are variant definitions). We introduce the homological basis
of
satisfying
Definition 17. We define the complete Abelian integrals of the first kind and the second kind byand the Jacobian (Jacobi variety) by with and . Proposition 17. If by using defined in Proposition 15 4, we define , these and give the same period matrices in Definition 17.
Proof. From Proposition 16 4 and Theorem 1, it is obvious. □
Let
be the normalized Abelian differential of the third kind, i.e.,
[
26]. The following lemma corresponds to Corollary 2.6 (ii) in [
34].
Lemma 29. where and . Proof. See Proposition 5.1 in [
4]. □
Proposition 18. where is the unit matrix. The following matrix satisfies the generalized Legendre relation: Proof. It is the same as Proposition 5.1 in [
4]. □
From Definitions 14 and 15, we have the following corollary, which is the dual of the homological relations (
34):
Corollary 3. , for .
The Galois action on the basis of the Homology shows the actions of these period matrices geometrically:
Lemma 30. If X is the Galois covering on , for the Galois action , i.e., , its associated element of acts on and byand the generalized Legendre relation (35) is invariant for the action. Proof. Due to the definition of
, we have
and thus, (
35) is invariant. □
4. Sigma Function for W-curves
4.1. W-Normalized Shifted Abelian Integrals
Since the non-symmetric W-curves have the non-trivial
-module,
in Definition 9, (and properties in Proposition 10), the Abel-Jacobi map [
26] for
naturally appears. Let
be the Abelian universal covering of
X, which is constructed by the path space of
X;
with
. Thus, recalling Definitions 8 and 10, we introduce the shifted Abelian integral
and the Abel-Jacobi map
as an extension of the W-normalized Abelian integral
,
,
, and the Abel-Jacobi map
,
,
as mentioned in [
5]:
Definition 18. We define and byand and by For symmetric numerical semigroup case , , , , and .
For given a divisor D, let be the set of effective divisors linearly equivalent to D and identified with .
Definition 19. We define the Wirtinger varieties byand their strata,where We would encounter several results that are obtained via the embedding . For such cases, we sometimes omit for maps and , e.g., for , we simply write rather than .
4.2. Riemann Theta Function of W-Curves
The Riemann theta function, analytic in both variables
and
, is defined by
(For a given W-curve
X, we simply write it as
by assuming that the Homology basis is implicitly fixed.) By letting
and
, the zero-divisor of
modulo
is denoted by
.
The
function with characteristic
is defined as: (there is another definition, e.g., in [
7,
8], in which
and
are exchanged in our definition)
We also basically write it as
.
The shifted Abelian integral
and the Abel-Jacobi map
in Definition 18 lead to the shifted Riemann constant [
5]:
Proposition 19. - 1.
If in Definition 8 is not zero or X is not symmetric, the Riemann constant is not a half period of .
- 2.
The shifted Riemann constant for every W-curve X is the half period of .
- 3.
By using the shifted Abel-Jacobi map, we have i.e., for , for every W-curve X.
- 4.
- 5.
There is a θ-characteristic of a half period, which represents the shifted Riemann constant , i.e., , i.e., , modulo .
The following comes from the investigation of the truncated Young diagram and the Schur polynomials in [
14]; though we did not consider the Young diagram associated to the plane curve in the paper [
14], the investigation is easily generalized to general Young diagrams associated with any numerical semigroups (c.f. Lemma 1). Thus, we state the facts without proofs.
Proposition 20. For the Young diagram associated with the numerical semigroup of genus g, an integer k, and the characteristics of the partition of , (, the rank of ), the following holds:
- 1.
is an element of the gap sequence , thus let , and then we havefor every , and - 2.
.
Definition 20. Let . We define the sequences (simply ) and (simply ) as elements in given by Let us consider and the symmetric polynomials, e.g., the power symmetric polynomials, for , and .
For a Young diagram
, the Schur function
is defined by the ratio of determinants of
matrices [
14],
When
is associated with the semigroup
H as in
Section 2.1, it can be also regarded as a function of
[
14], and thus, we express it by
We recall the truncated Young diagrams
and
for the Young diagram
associated with the W-curve
X in Definition 1. We define
, where
, and let
We also write the decomposition,
.
Proposition 21. For in Definition 20, Following Nakayashiki’s results in [
19], we state the Riemann–Kempf theorem [
27,
35] of the W-curves.
Proposition 22. For and a multi-index , we define Let be the Young diagram of the W-curve X and for given , let . For every multi-index , , , and ,
- 1.
whereas
- 2.
for whereas
Proof. See Corollary 3 in [
19]. □
4.3. Sigma Function and W-Curves
We now define the sigma function following Nakayashiki (Definition 9) in [
19]. We remark that due to the shifted Riemann constant, our definition differs from Nakayashiki’s so that our sigma function has the natural properties, including the parity and Galois action and the fact that the point of expansion by Schur polynomials is also shifted, as mentioned in Theorem 4. In other words, we employ some parts of the definition of the sigma function by Korotkin and Shramchenko [
18], who defined several sigma functions with spin structures based on Klein’s transcendental approaches.
Definition 21. We define σ as an entire function of (a column-vector) ,where is defined in (38) and is defined in Definition 20. Then, we have the following theorem, i.e., Theorem 4.
It is worthwhile noting that the following (
41) obviously leads to the Jacobi inversion formulae on the Jacobian
and its strata as mentioned in [
4,
6,
13,
14]; though we omit the inversion formulae for the reason of space, we can easily obtain them as its corollary following [
13,
14]. Since
in (
41) can be expressed in terms of
in (
33), we can represent the elements of
by using the differentials of the sigma functions. More explicitly, since the Jacobi inversion formulae on
provide that the multi-variable differentials of the sigma are equal to the meromorphic functions of
as predicted in [
16], they imply that if the formulae are integrable, the sigma function is, in principle, obtained by integrating the meromorphic functions on
; since the integrability is obvious, the sigma function for every W-curve can be, in principle, algebraically obtained as the elliptic sigma function in Weierstrass’ elliptic function theory. They also show the equivalence between the algebraic and transcendental properties of the meromorphic functions on
X. The sigma function is defined for every compact Riemann surface by Nakayashiki following Klein’s construction of his sigma functions [
9]. Klein defined his sigma functions using only the data of hyperelliptic Riemann surfaces, following Riemann’s approach. On the other hand, Weierstrass criticized Riemann’s approach and insisted on the algebraic ways, associated with Weierstrass curves (see Weierstrass’s words in a letter to Schwarz (Werke II, 235) cited by Poincare [
36]:“Plus je réfléchis aux principes de la théorie des fonctions—et c’est ce que je fais sans cesse—plus je suis solidement convaincu qu’ils sont bâtis sur le fondement des vérités algébriques et que, par conséquent, ce n’est pas le véritable chemin, si inverse ment ou fait appel au transcendant pour établir les théorèmes simples et fondamentaux de l’Algébre ; et cela reste vrai, quelque pénétrantes que puissent paraître au premier abord les considérations par lesquelles Riemann a découvert tant d’importantes propriétés des fonctions algébriques”. (“The more I think about the principles of function theory—and I do continuously—the more I am convinced that this must be built on the foundations of algebraic truths [my emphasis], and that it is consequently not correct to resort on the contrary to the `transcendent’, to express myself briefly, as the basis of simple and fundamental algebraic propositions. This view seems so attractive at first sight, in that through it Riemann was able to discover so many important properties of algebraic functions” [
37])). Unifying Klein’s and Weierstrass’ views, Baker reformulated Klein’s sigma functions after defining explicit algebra curves and connected the sigma functions and the meromorphic functions of the curves as in Weierstrass’ elliptic function theory [
10]. Thus, we emphasize that the following theorem implies completing Weierstrass’ program by succeeding Baker’s approaches.
Theorem 4. has the following properties:
- 1.
it is modular invariant,
- 2.
it obeys the translational formula; for u, , and ℓ, if we define the following holds - 3.
its divisor is , where ,
- 4.
it satisfies the Jacobi–Riemann fundamental relation, for ,which generates the Jacobi inversion formulae for , - 5.
the leading term in the Taylor expansion of the σ function associated with X, with normalized constant factor c, is expressed by the Schur function of where , , , and . Here, is the lowest-order term in the w-degree of the ; is homogeneous of degree with respect to , - 6.
, and
- 7.
If satisfies , and for and , the action provides the one-dimensional representation such that where .
Proof. 1 and
5 are obtained by Theorem 13 in [
19] by noting the difference of the definition of our sigma function in Definition 21 from Nakayashiki’s (Definition 9) in [
19].
3 is due to Proposition 19.
2 is standard and can be obtained by direct computations [
13].
4 is the same as Proposition 4.4 in [
13].
6 and
7 are the same as Lemma 3.6, and Lemma 4.1 in [
35]. □
4.4. Conclusions and Discussions
We have considered the Weierstrass curves (W-curves), which are algebraic expressions of compact Riemann surfaces; the set of W-curves represents the set of compact Riemann surfaces.
By using the algebraic tools we constructed in this paper, we have a connection between the sigma function for W-curve
X and the meromorphic functions on
X as in Theorem 4. Since the Jacobi inversion formulae via Theorem 4 4 are given by the differential identity, integrating it, in principle, it provides that the sigma function is constructed by an integral formula of the meromorphic functions on the W-curve
X. In other words, we give an algebraic construction of the sigma function, or so-called the EEL-construction [
11] in this paper.
It is noted that this construction is based on our recent result on the trace structure of the affine ring
[
17].
Further, we also discuss the mathematical meaning of our result as follows. We also note that for an ordinary point P in every W-curve Y with at of genus g, the Weierstrass gap sequence at P is given by the numerical semigroup , and there is a W-curves X, which is birationally equivalent to X such that corresponds to and . Then there appear two sigma functions for the W-curve Y with non-trivial Weierstrass semigroup and for the W-curve X with . By some arguments on the both Jacobians and , we find that and , due to the translational formulae and so on, are the same functions, and the both sifted Abelian integrals agree. Then the above theorem (5) means that we have the expansions of the sigma function at the Abelian image of the ordinary point P in Y. It means that the problem of finding the expansion of the sigma function for a point u in Jacobian is reduced to the problem that we should find the birational curves associated with the preimage of the Abelian integral. Since in Weierstrass’ elliptic function theory, we often encounter the reductions of the transcendental problems to the algebraic problems, we also remark that this reduction has the same origin, i.e., the equivalence between algebraic objects and transcendental objects in the Abelian function theory.
With Theorem 4, we recognize that this theorem is the goal Weierstrass had in mind, and at the same time, with it, we also recognize that we finally reached the starting point for the development of the Weierstrass program to construct an Abelian function theory for every W-curve X as in his elliptic function theory.