Weierstrass points on modular curves X(N) fixed by the Atkin–Lehner involutions

Bojakli, Mustafa; Sankari, Hasan

doi:10.1108/AJMS-01-2021-0001

Purpose

The authors have determined whether the points fixed by all the full and the partial Atkin–Lehner involutions W_Q on X₀(N) for N ≤ 50 are Weierstrass points or not.

Design/methodology/approach

The design is by using Lawittes's and Schoeneberg's theorems.

Findings

Finding all Weierstrass points on X₀(N) fixed by some Atkin–Lehner involutions. Besides, the authors have listed them in a table.

Originality/value

The Weierstrass points have played an important role in algebra. For example, in algebraic number theory, they have been used by Schwartz and Hurwitz to determine the group structure of the automorphism groups of compact Riemann surfaces of genus g ≥ 2. Whereas in algebraic geometric coding theory, if one knows a Weierstrass nongap sequence of a Weierstrass point, then one is able to estimate parameters of codes in a concrete way. Finally, the set of Weierstrass points is useful in studying arithmetic and geometric properties of X₀(N).

1. Introduction

Let $H$ be the complex upper half plane and Γ be a congruence subgroup of the full modular group $S L_{2} (Z)$ ⁠. Denote by X(Γ) the modular curve obtained from compactification of the quotient space $Γ \ H$ by adding finitely many points called cusps. Then X(Γ) is a compact Riemann surface.

For each positive integer N, we have a subgroup Γ₀(N) of $S L_{2} (Z)$ defined by:

Γ_{0} (N) = \{(\begin{matrix} a & b \\ c & d \end{matrix}) \in S L_{2} (Z); c \equiv 0 (m o d N)\}

and let X₀(N) = X₀(Γ(N)).

A modular curve X₀(N) of genus g ≥ 2 is called hyperelliptic (respectively bielliptic) if it admits a map $φ$ ⁠: X → C of degree 2 onto a curve C of genus 0 (respectively 1). A point P of X₀(N) is a Weierstrass point if there exists a non-constant function f on X₀(N) which has a pole of order ≤ g at P and is regular elsewhere.

The Weierstrass points on modular curves have been studied by Lehner and Newman in [1]; they have given conditions when the cusp at infinity is a Weierstrass point on X₀(N) for N = 4n, 9n, and Atkin [2] has given conditions for the case of N = p²n where p is a prime ≥ 5. Besides, Ogg [3], Kohnen [4, 5] and Kilger [6] have given some conditions when the cusp at infinity is not a Weierstrass point on X₀(N) for certain N. Also, Ono [7] and Rohrlich [8] have studied Weierstrass points on X₀(p) for some primes p. And Choi [9] has shown that the cusp $\frac{1}{2}$ is a Weierstrass point of Γ₁(4p) when p is a prime > 7. In addition, Jeon [10, 11] has computed all Weierstrass points on the hyperelliptic curves X₁(N) and X₀(N). Recently Im, Jeon and Kim [12] have generalised the result of Lehner and Newman [1] by giving conditions when the points fixed by the partial Atkin–Lehner involution on X₀(N) are Weierstrass points and have determined whether the points fixed by the full Atkin–Lehner involution on X₀(N) are Weierstrass points or not. In this paper, we have determined which of the points fixed by W_Q on X₀(N) are Weierstrass points and found Weierstrass points on modular curves X₀(N) for N ≤ 50 fixed by the partial and the full Atkin–Lehner involutions. The Weierstrass points have played an important role in algebra. For example, in algebraic number theory, they have been used by Schwartz and Hurwitz to determine the group structure of the automorphism groups of compact Riemann surfaces of genus g ≥ 2. Whereas in algebraic geometric coding theory, if we know a Weierstrass nongap sequence of a Weierstrass point, then we are able to estimate parameters of codes in a concrete way. Finally, the set of Weierstrass points is useful in studying arithmetic and geometric properties of X₀(N).

2. Points fixed by the Atkin–Lehner involutions

For each divisor Q|N with $(Q, \frac{N}{Q}) = 1$ ⁠, consider the matrices of the form $(\begin{matrix} Q x & y \\ N z & Q w \end{matrix})$ with $x, y, z, w \in Z$ and determinant Q. Then each of these matrices defines a unique involution on X₀(N), which is called the Atkin–Lehner involution and denoted by W_Q. In particular, if Q = N, then W_N is called the full Atkin–Lehner involution (Fricke involution). We also denote by W_Q a matrix of the above form.

Let $X_{0}^{Q} (N)$ be the quotient space of X₀(N) by W_Q. Let g₀(N) and $g_{0}^{Q} (N)$ be the genus of X₀(N) and $X_{0}^{Q} (N)$ respectively. Then $g_{0}^{Q} (N)$ is computed by the Riemann–Hurwitz formula as follows:

g_{0}^{Q} (N) = \frac{1}{4} (2 g_{0} (N) + 2 - v (Q)),

where v(Q) = v(Q; N) is the number of points on X₀(N) fixed by W_Q. It is given by:

Proposition 2.1.

[13 ] For each Q‖N, v(Q) is given by

\begin{array}{l} v (Q) & = (\prod_{p | N / Q} c_{1} (p)) h (- 4 Q) \\ + (\prod_{p | N / Q} c_{2} (p)) h (- Q), & if Q \geq 4 and Q \equiv 3 (m o d 4), \\ + \prod_{p | N / 2} (1 + (\frac{- 4}{p})), & if Q = 2, \\ + \prod_{p | N / 3} (1 + (\frac{- 3}{p})), & if Q = 3, \\ + \prod_{p^{k} | N / 4} (p^{⌊ \frac{k}{2} ⌋} + p^{⌊ \frac{k - 1}{2} ⌋}), & if Q = 4, \end{array}

whereh(−Q) is the class number of primitive quadratic forms of discriminant

- Q, (\frac{•}{•})

is the Kronecker symbol and the functionsc_i(p) are defined as follows: fori = 1, 2,

\begin{array}{l} c_{i} (p) = & \{\begin{cases} 1 + (\frac{- Q}{p}), & if p \neq 2 and Q \equiv 3 (m o d 4), \\ 1 + (\frac{- 4 Q}{p}), & if p \neq 2 and Q ≢ 3 (m o d 4), \end{cases} \\ c_{1} (2) = & \{\begin{cases} 1, & if Q \equiv 1 (m o d 4) and 2 ‖ N, \\ 0, & if Q \equiv 1 (m o d 4) and 4 | N, \\ 2, & if Q \equiv 3 (m o d 4) and 2 ‖ N, \\ 3 + (\frac{- Q}{2}), & if Q \equiv 3 (m o d 4) and 4 ‖ N, \\ 3 (1 + (\frac{- Q}{2})), & if Q \equiv 3 (m o d 4) and 8 | N, \end{cases} \\ c_{2} (2) = & 1 + (\frac{- Q}{2}), if Q \equiv 3 (m o d 4) . \end{array}

Now, we recall the algorithms for finding Γ₀(N)-inequivalent points fixed by W_Q on X₀(N) [14]. For a negative integer D congruent to 0 or 1 modulo 4, we denote by $Q_{D}$ the set of positive definite integral binary quadratic forms:

Q (x, y) = [p, q, r] = p x^{2} + q x y + r y^{2}

with discriminant D = q² − 4pr. Then Γ(1) acts on $Q_{D}$ by

Q ◦ γ (x, y) = Q (s x + t y, u x + v y)

where $γ = (\begin{matrix} s & t \\ u & v \end{matrix})$ ⁠. A primitive positive definite form [p, q, r] is said to be in reduced form if

| q | \leq p \leq r, and q \geq 0 if either | q | = p or p = r .

Let $Q_{D} ° \subset Q_{D}$ be the subset of primitive forms, that is,

Q_{D} ° ≔ {[p, q, r] \in Q_{D}; g c d (p, q, r) = 1} .

Then Γ(1) also acts on $Q_{D} °$ ⁠. As is well known [15], there is a 1-1 correspondence between the set of classes $Γ (1) \ Q_{D} °$ and the set of reduced primitive definite forms.

Proposition 2.2.

[14] for each $β \in Z / 2 N Z$ , we define

{Q °}_{D, N, β} = {[p N, q, r] \in Q_{D}; β \equiv q (m o d 2 N), g c d (p, q, r) = 1} .

Then we have the following:

Define $m = g c d (N, β, \frac{β^{2} - D}{4 N})$ and fix a decomposition m = m₁m₂ with m₁, m₂ > 0 and gcd(m₁, m₂) = 1. Let

{Q °}_{D, N, β, m_{1}, m_{2}} = {[p N, q, r] \in {Q °}_{D, N, β}; g c d (N, p, q) = m_{1}, g c d (N, q, r) = m_{2}} .

Then Γ₀(N) acts on ${Q °}_{D, N, β, m_{1}, m_{2}}$ and there is an 1-1 correspondence between

\begin{array}{l} {Q °}_{D, N, β, m_{1}, m_{2}} / Γ_{0} (N) & \to {Q °}_{D} / Γ (1) \\ [p N, q, r] & \to [p N_{1}, q, r N_{2}] \end{array}

whereN₁N₂is any decomposition ofNinto coprime factors such thatgcd(m₁, N₂) = gcd(m₂, N₁) = 1. Moreover we have a Γ₀(N)-invariant decomposition as follows:

{Q °}_{D, N, β} = ⋃_{\begin{array}{c} m = m_{1} m_{2} \\ m_{1} m_{2} > 0 \\ g c d (m_{1}, m_{2}) = 1 \end{array}} {Q °}_{D, N, β, m_{1}, m_{2}} .

(1)

The inverse image [pN₂, q, r/N₂] of any primitive form $[\bar{p}, \bar{q}, \bar{r}]$ of discriminant D under the 1-1 correspondence in (1) is obtained by solving the following equations:

p = \bar{p} s^{2} + \bar{q} s u + \bar{r} u^{2}

q = 2 \bar{p} s t + \bar{q} (s v + t u) + 2 \bar{r} u v

r = \bar{p} t^{2} + \bar{q} t v + \bar{r} v^{2} .

satisfyingp ≡ 0(mod N₁), q ≡ β(mod 2N), r ≡ 0(mod N₂) and

(\begin{matrix} s & t \\ u & v \end{matrix}) \in Γ (1)

⁠.

we have the following Γ₀(N)-invariant decomposition:

Q_{D, N, β} = ⋃_{\begin{array}{c} l > 0 \\ l^{2} | D \end{array}} ⋃_{\begin{array}{c} λ (2 N) \\ l λ \equiv β (2 N) \\ λ^{2} \equiv D / l^{2} (4 N) \end{array}} l {Q °}_{D / l^{2}, N, λ} .

(2)

Suppose Q ≥ 5. Since W_Q has a non-cuspidal fixed point on X₀(N), then W_Q is given by an elliptic element, that is,

W_{Q} = (\begin{matrix} Q x & y \\ N z & - Q w \end{matrix}) .

Then

τ = \frac{2 Q x + \sqrt{- 4 Q}}{2 N z}

(3)

is a point fixed by W_Q. Conversely, every point fixed by W_Q has the form (3).

We note that each fixed point in (3) can be considered as the Hegneer point of a quadratic form [Nz, −2Qx, −y]. So, if we can find Γ₀(N)-inequivalent quadratic forms [Nz, −2Qx, −y] (by using Proposition 2.2), then we can produce Γ₀(N)-inequivalent points which are fixed points as in (3).

Regarding the computation of points of X₀(N) fixed by W_Q, we can follow the next algorithms:

Algorithm 2.3.

[14] The following steps implement as algorithm to find Γ₀(N)-inequivalent points fixed by W_Q where Q ≠ N:

Step I We search β(mod 2N) such that β² ≡−4Q(mod 4N) with β ≡−2Qx(mod 2N) where $x \in Z$ ⁠.
Step II We set the decomposition as in (1) and (2) with D = −4Q.
Step III For each factor in the decomposition in Step II, we find the quadratic form representations and taking the inverse of reduced form under the map which is described in Proposition 2.2(2).
Step IV We form the elliptic elements corresponding to quadratic form representations obtained in Step III and find their Heegner points.

Algorithm 2.4.

[12] When Q = N, the four steps above come as the following:

Step I Set (Q, β) = (4N, 0) or (Q, β) = (N, N) when (N ≡ 3(mod 4)).
Step II Starting from a reduced form $Q^{r e d}$ , we first find a quadratic form [a, b, c] which in $S L_{2} (Z)$ -inquivalent with $Q^{r e d}$ and gcd(a, N) = 1.
Step III Set $[A, B, C] = [a, b, c] ◦ (\begin{matrix} K & - 1 \\ 1 & 0 \end{matrix})$ where K is a solution to the linear congruence equation 2aX + b ≡−β(mod 2N). Then [A, B, C] belongs to $Q_{Q, N, β}$ ⁠.
Step IV Let $τ = \frac{- B + \sqrt{- Q}}{2 A}$ ⁠. Then Γ₀(N)τ gives a point fixed by W_N.

3. Weierstrass points

In this section, we have computed Weierstrass points on X₀(N) for N ≤ 50 fixed by all the partial and the full Atkin–Lehner involutions in three cases:

Modular curves of genus g₀(N) ≤ 1.
Hyperelliptic modular curves.
Modular curves for N = 34, 38, 42, 43, 44, 45.

The number n of Weierstrass points is finite and satisfies

2 g + 2 \leq n \leq g^{3} - g,

with n = 2g + 2 if and only if X is hyperelliptic.

Next theorems help us to find Weierstrass points on modular curves X₀(N).

Theorem 3.1.

(Schoeneberg). [16] Let X be a Riemann surface of genus g ≥ 2. Let P be a point fixed by an automorphism T of X, of order p > 1, let g^T be the genus of X^T = X/(T) . If $g^{T} \neq ⌊ \frac{g}{p} ⌋$ , the greatest integer of $\frac{g}{p}$ , then P is a Weierstrass point of X.

Theorem 3.2.

[17] Let X be a Riemann surface of genus g ≥ 2. Let T be an automorphism with 5 or more fixed points. Then, each fixed point is a Weierstrass point.

Theorem 3.3.

[17] If P is not a Weierstrass point and T(P) = P, then there are at least two and at most four points fixed by T and the genus g^T of X^T = X/(T) is given by $g^{T} = ⌊ \frac{g}{p} ⌋$ , the greatest integer of $\frac{g}{p}$ ⁠. Writing g = g^Tp + r there are only three possible cases:

r = 0, g = g^Tp, v(T) = 2.
$r = \frac{p - 1}{2}, g = (g^{T} + \frac{1}{2}) p - \frac{1}{2}, v (T) = 3 .$
r = p − 1, g = (g^T + 1)p − 1, v(T) = 4.

wherev(T) is the number of points fixed byT.

Theorem 3.4.

[12] The points fixed by W_N for N ≤ 50 are Weierstrass points on X₀(N) with g₀(N) > 1 except possibly for the following values

N = 22,28,30,33,34,37,40,42,43,45,46,48 .

First, only a finite number of Weierstrass points can exist on X₀(N), and if g₀(N) ≤ 1, then are no such points at all. So we have the following theorem:

Theorem 3.5.

The modular curves X₀(N) for N = 1 − 21, 24, 25, 27, 32, 36, 49 have no Weierstrass points.

Second, Let g₀(N) ≥ 2 and X₀(N) be hyperelliptic modular curves. Then there are 19 values of N, which belong to the set

{22,23,26,28,29,30,31,33,35,37,39,40,41,46,47,48,50,59,71} .

Lewittes [17] proved that if X₀(N) is a hyperelliptic modular curve, then any involution on X₀(N) either has no fixed points or has only non Weierstrass fixed points or is the hyperelliptic involution. Jeon [11] found all Weierstrass points on the hyperelliptic modular curves X₀(N) fixed by the hyperelliptic involution. So we have the following theorem:

Theorem 3.6.

If X₀(N) is a hyperelliptic modular curve of genus g₀(N) ≥ 2, then only 2g₀(N) + 2 points fixed by the hyperelliptic involution are Weierstrass points on X₀(N).

Third, in this case, we will study the modular curves X₀(N) for N = 34, 38, 42, 43, 44, 45.

Theorem 3.7.

Let X₀(N) be bielliptic modular curves for N = 34, 43, 45. Then, all points fixed by any bielliptic involution W_Q are not Weierstrass points.

Proof: Since W_Q is a bielliptic involution of X₀(N) of genus 3, it has 4 = 2g₀(N) − 2 points fixed by W_Q on X₀(N). And $g_{0}^{Q} (N) = ⌊ \frac{g_{0} (N)}{2} ⌋ = 1$ ⁠, thus by theorems 3.3 and 3.4, each of these points is not a Weierstrass point.

Theorem 3.8.

The modular curves X₀(N) for N = 38, 42, 44 have Weierstrass points fixed by some W_Q.

Proof: Since W₁₉ is a bielliptic involution of X₀(38) of genus 4, it has six points fixed by W₁₉ on X₀(38). So, by theorem 3.2, all these points are Weierstrass points (similarly $X_{0}^{38} (38), X_{0}^{14} (42), X_{0}^{11} (44), X_{0}^{44} (44)$ ⁠). While $g_{0}^{2} (38) = ⌊ \frac{g_{0} (38)}{2} ⌋ = 2$ ⁠. So, by theorem 3.3, the modular curve X₀(38) has non Weierstrass points fixed by W₂ (similarly $X_{0}^{3} (42), X_{0}^{6} (42), X_{0}^{21} (42), X_{0}^{42} (42), X_{0}^{4} (44)$ ⁠). Finally, the modular curve X₀(42) has no points fixed by W₂ and W₇. Therefore, X₀(42) has no Weierstrass points fixed by W₂ and W₇.

Now we will give an example by using Proposition 2.2 and Algorithm 2.3 to find Weierstrass points on X₀(44) fixed by W₁₁.

Example 3.9.

Consider X₀(44) which is of genus 4. Since W₁₁ is a bielliptic involution on X₀(44) [18], it has six fixed points on X₀(44). Applying Step I and Step II we have D = −44 and β ≡ ±22, 66(mod 176). First consider the case of β = 20, then we have decomposition as follows:

Q_{- 44,44,22} = {Q °}_{- 44,44,22} = {Q °}_{- 44,44,22,1,1} .

We know that ${Q °}_{- 44} / Γ (1) = {[1,0,11], [3,2,4], [3, - 2,4]}$ ⁠. Applying Step III we obtain by taking the inverse image of reduced forms under the map which is described in Proposition 2.2(2) the following forms:

{Q °}_{- 44,44,22,1,1} / Γ (1) = {[132,22,1], [44,22,3]} .

Next, consider the case of β = −22, by the same way, we obtain the following forms:

{Q °}_{- 44,44, - 22,1,1} / Γ (1) = {[132, - 22,1], [44, - 22,3]} .

When β = 66, we have the following

{Q °}_{- 44,44,66,1,1} / Γ (1) = {[1100,66,1], [44,66,25]} .

Moreover in Step IV, the corresponding elliptic elements are given as follows:

\begin{array}{l} W_{1} = (\begin{matrix} 11 & - 1 \\ 132 & - 11 \end{matrix}), & W_{2} = (\begin{matrix} 11 & - 3 \\ 44 & - 11 \end{matrix}), & W_{3} = (\begin{matrix} - 11 & - 1 \\ 132 & 11 \end{matrix}), \\ W_{4} = (\begin{matrix} - 11 & - 3 \\ 44 & 11 \end{matrix}), & W_{5} = (\begin{matrix} 33 & - 1 \\ 1100 & - 33 \end{matrix}), & W_{6} = (\begin{matrix} 33 & - 25 \\ 44 & - 33 \end{matrix}) . \end{array}

Then Weierstrass points (fixed points) are:

\begin{array}{l} τ_{1} = \frac{- 1}{12} + \frac{\sqrt{- 11}}{132}, & τ_{2} = \frac{- 1}{4} + \frac{\sqrt{- 11}}{44}, & τ_{3} = \frac{1}{12} + \frac{\sqrt{- 11}}{132}, \\ τ_{4} = \frac{1}{4} + \frac{\sqrt{- 11}}{44}, & τ_{5} = \frac{- 3}{100} + \frac{\sqrt{- 11}}{1100}, & τ_{6} = \frac{- 3}{4} + \frac{\sqrt{- 11}}{44} . \end{array}

In next example, we will use Algorithm 2.4 to find Weierstrass points on X₀(38) fixed by W₃₈.

Example 3.10.

Consider X₀(38) which is of genus 4. Since W₃₈ is a bielliptic involution on X₀(38) [18] , it has six fixed points. Applying Step I and Step II, we have (Q, β) = (152, 0) and

Q_{- 152}^{r e d} = {[1,0,38], [2,0,19], [3,2,13], [3, - 2,13], [6,4,7], [6, - 4,7]} .

we find quadratic forms [a, b, c] which is

S L_{2} (Z)

-equivalent with

Q_{- 152}^{r e d}

andgcd(a, 38) = 1 as follows (respectively):

[a, b, c] = {[1,0,38], [21, - 38,19], [3,2,13], [3, - 2,13], [7,10,9], [7,18,17]} .

Applying Step III we have:

\begin{array}{l} [1,0,38] = [1,0,38] ◦ (\begin{matrix} 0 & - 1 \\ 1 & 1 \end{matrix}), & [741, - 76,2] = [21, - 38,19] ◦ (\begin{matrix} 19 & - 1 \\ 1 & 1 \end{matrix}), \\ [1938, - 152,3] = [3,2,13] ◦ (\begin{matrix} 25 & - 1 \\ 1 & 1 \end{matrix}), & [546, - 80,3] = [3, - 2,13] ◦ (\begin{matrix} 13 & - 1 \\ 1 & 1 \end{matrix}), \\ [2737, - 256,6] = [7,10,9] ◦ (\begin{matrix} 21 & - 1 \\ 1 & 1 \end{matrix}), & [1297, - 176,6] = [7,18,17] ◦ (\begin{matrix} 15 & - 1 \\ 1 & 1 \end{matrix}) . \end{array}

From Step IV, the Weierstrass points are (respectively):

\begin{array}{l} τ_{1} = \frac{\sqrt{- 38}}{38}, & τ_{2} = \frac{2}{39} + \frac{\sqrt{- 38}}{741}, & τ_{3} = \frac{2}{51} + \frac{\sqrt{- 38}}{1938}, \\ τ_{4} = \frac{20}{273} + \frac{\sqrt{- 38}}{546}, & τ_{5} = \frac{128}{2737} + \frac{\sqrt{- 38}}{2737}, & τ_{6} = \frac{88}{1297} + \frac{\sqrt{- 38}}{1297} . \end{array}

We list in Table 1 Weierstrass points on X₀(N) for N ≤ 50 fixed by the Atkin–Lehner involutions. We have used Maple and Wolfram Mathematica for the numerical computations:

Table 1

Weierstrass points on X₀(N) for N ≤ 50 by W_Q

N	g₀(N)	W_Q	$g_{0}^{Q} (N)$	v(Q)	Weierstrass points
1 − 21	≤1	None
22	2	W₂, W₂₂	1	2	None
		W₁₁	0	6	$- \frac{1}{2} + \frac{\sqrt{- 11}}{22}, \pm \frac{1}{6} + \frac{\sqrt{- 11}}{66}, \pm \frac{1}{4} + \frac{\sqrt{- 11}}{44}, - \frac{1}{12} + \frac{\sqrt{- 11}}{132}$
23	2	W₂₃	0	6	$\frac{\sqrt{- 23}}{23}, \frac{1}{2} + \frac{\sqrt{- 23}}{46}, \pm \frac{1}{3} + \frac{\sqrt{- 23}}{69}, \pm \frac{1}{4} + \frac{\sqrt{- 23}}{92}$
24 − 25	≤1	None
26	2	W₂, W₁₃	1	2	None
		W₂₆	0	6	$\frac{\sqrt{- 26}}{26}, \pm \frac{1}{3} + \frac{\sqrt{- 26}}{78}, \pm \frac{2}{5} + \frac{\sqrt{- 26}}{130}, - \frac{5}{31} + \frac{\sqrt{- 26}}{806}$
27	1	none
28	2	W₄, W₂₈	1	2	None
		W₇	0	6	$\pm \frac{1}{4} + \frac{\sqrt{- 7}}{28}, \pm \frac{1}{8} + \frac{\sqrt{- 7}}{56}, \pm \frac{3}{8} + \frac{\sqrt{- 7}}{56}$
29	2	W₂₉	0	6	$\frac{\sqrt{- 29}}{29}, \frac{1}{2} + \frac{\sqrt{- 29}}{58}, \pm \frac{1}{3} + \frac{\sqrt{- 29}}{87}, \pm \frac{1}{5} + \frac{\sqrt{- 29}}{145}$
30	3	W₅, W₆, W₃₀	1	4	None
		W₂, W₃, W₁₀	2	0	None
		W₁₅	0	8	$- \frac{1}{2} + \frac{\sqrt{- 15}}{30}, \pm \frac{1}{4} + \frac{\sqrt{- 15}}{60}, \pm \frac{1}{6} + \frac{\sqrt{- 15}}{120}, - \frac{3}{8} + \frac{\sqrt{- 15}}{120}, - \frac{1}{16} + \frac{\sqrt{- 15}}{240}, - \frac{3}{34} + \frac{\sqrt{- 15}}{510}$
31	2	W₃₁	0	6	$\frac{\sqrt{- 31}}{31}, \frac{1}{2} + \frac{\sqrt{- 31}}{62}, \pm \frac{1}{4} + \frac{\sqrt{- 31}}{124}, \pm \frac{2}{5} + \frac{\sqrt{- 31}}{155}$
32	1	None
33	3	W₃	2	0	None
		W₁₁	0	8	$\pm \frac{1}{3} + \frac{\sqrt{- 11}}{33}, \pm \frac{1}{6} + \frac{\sqrt{- 11}}{66}, \pm \frac{2}{9} + \frac{\sqrt{- 11}}{99}, \pm \frac{1}{12} + \frac{\sqrt{- 11}}{132}$
		W₃₃	1	4	None
34	3	W₂, W₁₇	1	4	None
		W₃₄
35	3	W₅	1	4	None
		W₇	2	0	None
		W₃₅	0	8	$\frac{\sqrt{- 35}}{35}, \pm \frac{1}{4} + \frac{\sqrt{- 35}}{140}, - \frac{1}{6} + \frac{\sqrt{- 35}}{210}, \pm \frac{1}{12} + \frac{\sqrt{- 35}}{420}, - \frac{5}{12} + \frac{\sqrt{- 35}}{420}, - \frac{1}{18} + \frac{\sqrt{- 35}}{630}$
36	1	none
37	2	W₃₇	1	2	none
38	4	W₂	2	2	none
		W₁₉	1	6	$\pm \frac{1}{2} + \frac{\sqrt{- 76}}{38}, \pm \frac{1}{4} + \frac{\sqrt{- 76}}{152}, \pm \frac{1}{10} + \frac{\sqrt{- 76}}{380}$
		W₃₈	1	6	$\frac{\sqrt{- 38}}{38}, \frac{2}{39} + \frac{\sqrt{- 38}}{741}, \frac{2}{51} + \frac{\sqrt{- 38}}{1938}, \frac{20}{273} + \frac{\sqrt{- 38}}{546}, \frac{128}{2737} + \frac{\sqrt{- 38}}{2737}, \frac{88}{1297} + \frac{\sqrt{- 38}}{1297}$
39	3	W₃	1	4	none
		W₁₃	2	0	none
		W₃₉	0	8	$\frac{\sqrt{- 39}}{39}, \pm \frac{1}{4} + \frac{\sqrt{- 39}}{156}, \pm \frac{1}{8} + \frac{\sqrt{- 39}}{312}, - \frac{3}{8} + \frac{\sqrt{- 39}}{312}, - \frac{5}{16} + \frac{\sqrt{- 39}}{624}, - \frac{1}{20} + \frac{\sqrt{- 39}}{780}$
40	3	W₅, W₈	2	0	none
		W₄₀	1	4	none
		$(\begin{matrix} - 10 & 1 \\ - 120 & 10 \end{matrix})$	0	8	$\pm \frac{1}{4} + \frac{\sqrt{- 5}}{20}, \pm \frac{1}{12} + \frac{\sqrt{- 5}}{60}, \pm \frac{5}{12} + \frac{\sqrt{- 5}}{60}, \pm \frac{5}{36} + \frac{\sqrt{- 5}}{180}$
41	3	W₄₁	0	8	$\frac{\sqrt{- 41}}{41}, \frac{1}{2} + \frac{\sqrt{- 41}}{82}, \pm \frac{1}{3} + \frac{\sqrt{- 41}}{123}, \pm \frac{2}{5} + \frac{\sqrt{- 41}}{205}, \pm \frac{1}{6} + \frac{\sqrt{- 41}}{246}$
42	5	W₂, W₇	3	0	none
		W₃, W₆	2	4	none
		W₂₁, W₄₂
		W₁₄	1	8	$\pm \frac{1}{3} + \frac{\sqrt{- 14}}{42}, \pm \frac{1}{15} + \frac{\sqrt{- 14}}{210}, \frac{2}{57} + \frac{\sqrt{- 14}}{798}, - \frac{4}{75} + \frac{\sqrt{- 14}}{1050}, - \frac{4}{225} + \frac{\sqrt{- 14}}{3150}, - \frac{2}{3} + \frac{\sqrt{- 14}}{42}$
43	3	W₄₃	1	4	none
44	4	W₄	2	2	none
		W₁₁	1	6	$\pm \frac{1}{12} + \frac{\sqrt{- 11}}{132}, \pm \frac{1}{4} + \frac{\sqrt{- 11}}{44}, - \frac{3}{4} + \frac{\sqrt{- 11}}{44}, - \frac{3}{100} + \frac{\sqrt{- 11}}{1100}$
		W₄₄	1	6	$\frac{\sqrt{- 44}}{44}, \frac{52}{687} + \frac{\sqrt{- 44}}{687}, \frac{2}{59} + \frac{\sqrt{- 44}}{2596}, \frac{1}{15} + \frac{\sqrt{- 44}}{660}, \frac{4}{141} + \frac{\sqrt{- 44}}{6204}, \frac{1}{9} + \frac{\sqrt{- 44}}{396}$
45	3	W₅, W₉, W₄₅	1	4	none
46	5	W₂	3	0	none
		W₂₃	0	12	$- \frac{1}{2} + \frac{\sqrt{- 23}}{46}, \pm \frac{1}{4} + \frac{\sqrt{- 23}}{92}, \pm \frac{1}{6} + \frac{\sqrt{- 23}}{138}, \pm \frac{1}{8} + \frac{\sqrt{- 23}}{184}, \pm \frac{3}{8} + \frac{\sqrt{- 23}}{184}, \pm \frac{1}{12} + \frac{\sqrt{- 23}}{276}, - \frac{1}{24} + \frac{\sqrt{- 23}}{552}$
		W₄₆	2	4	none
47	4	W₄₇	0	10	$\frac{\sqrt{- 47}}{47}, \frac{1}{2} + \frac{\sqrt{- 47}}{94}, \pm \frac{1}{3} + \frac{\sqrt{- 47}}{141}, \pm \frac{1}{4} + \frac{\sqrt{- 47}}{188}, \pm \frac{1}{6} + \frac{\sqrt{- 47}}{282}, \pm \frac{2}{7} + \frac{\sqrt{- 47}}{329}$
48	3	W₃, W₁₆	2	0	none
		W₄₈	1	4	none
		$(\begin{matrix} - 6 & - 1 \\ - 48 & 6 \end{matrix})$	0	8	$\pm \frac{1}{8} + \frac{\sqrt{- 3}}{24}, \pm \frac{3}{8} + \frac{\sqrt{- 3}}{24}, \pm \frac{3}{56} + \frac{\sqrt{- 3}}{168}, \pm \frac{17}{56} + \frac{\sqrt{- 3}}{168}$
49	1	none
50	2	W₂, W₂₅	1	2	none
		W₅₀	0	6	$\frac{\sqrt{- 2}}{10}, \pm \frac{3}{11} + \frac{\sqrt{- 2}}{110}, \pm \frac{1}{17} + \frac{\sqrt{- 2}}{170}, - \frac{7}{43} + \frac{\sqrt{- 2}}{430}$

References

1.

Lehner

J

,

Newman

M

.

Weierstrass points of Γ₀(N)

.

Ann Math

.

1964

;

79

:

360

-

8

.

Google Scholar

Crossref

2.

Atkin

A

.

Weierstrass points at cusps of Γ₀(n)

.

Ann Math

.

1967

;

85

:

42

-

5

.

Google Scholar

Crossref

3.

Ogg

AP

.

On Weierstrass points of X₀(N)

.

Illinois J Math

1978

;

22

:

31

-

5

.

Google Scholar

Crossref

4.

Kohnen

W

.

Weierstrass points at cusps on special modular curves

.

Abh Math Sem Univ Hamburg

.

2003

;

73

:

241

-

51

.

Google Scholar

Crossref

5.

Kohnen

W

.

A short remark on Weierstrass points at infinity on X₀(N)

.

Monatsh Math

.

2004

;

143

:

163

-

67

.

Google Scholar

Crossref

6.

Kilger

K

.

Weierstrass points on X₀(pl) and arithmetic properties of Fourier coefficients of cusp forms

.

Ramanujan J

.

2008

;

17

:

321

-

330

.

Google Scholar

Crossref

7.

Ono

K

.

The web of modularity: arithmetic of the coefficients of modular forms and q−series, CBMS Regional Conference Series in Mathematics 102

.

Am Math Soc

.

Providence, RI

2004

.

Google Scholar

8.

Rohrlich

D

.

Weierstrass points and modular forms

,

Illinois J Math

.

1985

;

29

:

131

-

41

.

Google Scholar

Crossref

9.

Choi

,

S

.

A Weierstrass point of Γ₁(4p)

.

J Chungcheong Math Soc

.

2008

;

21

:

467

-

70

.

Google Scholar

10.

Jeon

D

.

Weierstrass points on hyperelliptic modular curves

.

Commun Korean Math Soc

.

2015

;

30

:

379

-

84

.

Google Scholar

Crossref

11.

Jeon

D

.

Weierstrass points on hyperelliptic modular curves

.

Proc Jpn Acad Ser A

.

2019

;

95

:

65

-

9

.

Google Scholar

Crossref

12.

Im

BH.

,

Jeon

D

and

Kim

C

.

Notes on Weierstrass points of modular curves X₀(N), Taiwanese

.

J math

.

2016

;

20

:

1275

-

93

.

Google Scholar

13.

Kluit

P

. On the normalizer of Γ₀(n), in

Serre

JP

and

Zagler

DB

(Eds).

Modular functions of one variable V

,

Springer

.

1976

,

239

-

46

.

Google Scholar

14.

Jeon

D

,

Kim

C

,

Schweizer

A

.

Bielliptic intermediate modular curves

.

J Pure Appl Algebra

.

2020

;

224

:

272

-

99

.

Google Scholar

Crossref

15.

Cox

D

.

Primes of the Form x² + ny², Fermat, class Field theory, and complex multiplication

,

Pure and Applied Mathematics (Hoboken)

,

Hoboken, New Jerssey, NJ

:

John Wiley & Sons

,

2013

.

Google Scholar

Crossref

16.

Schoeneberg

B

.

Uber die Weierstrasspunkte in den Korpern der elliptischen Modulfunktionen

,

Abh.Math.Sem.Univ

.

1951

;

17

:

104

-

11

.

Google Scholar

Crossref

17.

Lewittes

J

.

Automorphisms of compact Riemann surfaces

.

AMS

.

1963

;

85

:

734

-

52

.

Google Scholar

18.

Bars

F

.

Bielliptic modular curves

.

J. Number Theory

.

1999

;

76

:

154

-

65

.

Google Scholar

Crossref

2021

Mustafa Bojakli and Hasan Sankari

Published in Arab Journal of Mathematical Sciences. Published by Emerald Publishing Limited. This article is published under the Creative Commons Attribution (CC BY 4.0) licence. Anyone may reproduce, distribute, translate and create derivative works of this article (for both commercial and non-commercial purposes), subject to full attribution to the original publication and authors. The full terms of this licence may be seen at http://creativecommons.org/licences/by/4.0/legalcode

Weierstrass points on modular curves X(N) fixed by the Atkin–Lehner involutions

1. Introduction

2. Points fixed by the Atkin–Lehner involutions

3. Weierstrass points

References

Email Alerts

Cited By

Weierstrass points on modular curves X(N) fixed by the Atkin–Lehner involutions Open Access

1. Introduction

2. Points fixed by the Atkin–Lehner involutions

3. Weierstrass points

References

Email Alerts

Recommended for you

Cited By

Weierstrass points on modular curves X(N) fixed by the Atkin–Lehner involutions