[논문 리뷰] Galois Weierstrass points whose Weierstrass semigroups are generated by two elements

Jiryo Komeda, Takeshi Takahashi|arXiv (Cornell University)|2017. 03. 28.

Algebraic Geometry and Number Theory참고 문헌 5인용 수 4

한 줄 요약

이 논문은 두 서로소 정수 $a$와 $b$에 의해 생성되는 Weierstrass 반군을 가진 대수곡선에서 Galois Weierstrass (GW) 점을 조사한다. 여기서 $a \geq 3$, $b \geq a+2$, $ ceil(a,b)=1$이다. 이 논문은 이러한 GW 점의 수가 0 또는 1임을 증명하며, 유일한 예외는 $b \equiv a-1 \pmod{a}$인 경우로, 이 경우 수는 0 또는 $b+1$이 될 수 있다. 이 결과는 평면 곡선의 내부 Galois 점에 관한 고전적 결과를 일반화한다.

ABSTRACT

We investigate the number of Galois Weierstrass points whose Weierstrass semigroups are generated by two positive integers.

연구 동기 및 목표

• 두 생성자로 이루어진 Weierstrass 반군을 가진 임의의 곡선으로 평면 곡선의 내부 Galois 점에 관한 고전적 결과를 일반화하기.
• Weierstrass 반군이 두 서로소 정수 $a$와 $b$에 의해 생성되는 Galois Weierstrass 점의 최대 개수를 결정하기.
• 그러한 점이 존재할 조건과 동시에 존재할 수 있는 점의 수를 규명하기.
• 고전적 평면 곡선 설정을 초월하여 일반 대수곡선으로 Galois Weierstrass 점 이론을 확장하기.

제안 방법

• 저자들은 Weierstrass 반군 $H(P)$의 최소 양의 원소인 $a$에 대해, 사상 $\Phi_{|aP|}: C \to \mathbb{P}^1$ 가 Galois 코버링이 되는 점을 Galois Weierstrass 점으로 정의한다.
• 그들은 $\gcd(a,b)=1$ 인 수치 반군 $\langle a,b \rangle$ 의 구조를 분석하며, 종수 $g = (a-1)(a+b-1)/2$ 와 갭 시퀀스에 초점을 맞춘다.
• Riemann-Roch 및 코homological 기법을 사용하여 floor 함수 $[lr/a]$ 에 대한 합을 포함하는 부등식을 유도함으로써 선형 계열의 차원에 대한 한계를 설정한다.
• 완전 선형 계열 $|aP|$ 를 통한 곡선에서 $\mathbb{P}^1$ 으로의 사상 이론을 적용하여, 분기점과 유리성의 성질을 분석함으로써 이러한 점의 수를 제약한다.
• 특이점의 해소와 기저 변경 논증을 사용하여, 특이 평면 곡선의 GW 점을 그들의 매끄러운 모델의 점들과 연결한다.
• 모순에 기반한 증명을 통해 주요 결과를 증명하며, 너무 많은 GW 점이 존재한다고 가정할 경우 Weierstrass 반군의 구조와 종수에 모순이 발생함을 보인다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 곡선이 두 생성자로 이루어진 Weierstrass 반군 $\langle a,b \rangle$ 을 가진 다수의 Galois Weierstrass 점을 가질 수 있는가?
• RQ2 합동 조건 $b \equiv a-1 \pmod{a}$ 는 이러한 GW 점의 수에 어떤 영향을 미치는가?
• RQ3 $\gcd(a,b)=1$ 이고 $b \geq a+2$ 인 경우, GW 점의 수가 1을 초과할 수 있는가?
• RQ4 주어진 두 생성자 반군 $\langle a,b \rangle$ 에 대해 가능한 Galois Weierstrass 점의 최대 수는 얼마인가?
• RQ5 사상 $\Phi_{|aP|}$ 의 분기점의 Weierstrass 반군은 원래 반군 $H(P)$ 와 어떻게 관련되는가?

주요 결과

• $a \geq 3$, $b \geq a+2$, $\gcd(a,b)=1$ 인 경우, $H(P) = \langle a,b \rangle$ 인 Galois Weierstrass 점의 수는 0 또는 1이며, 유일한 예외는 $b \equiv a-1 \pmod{a}$ 인 경우로, 이 경우 수는 0 또는 $b+1$이 될 수 있다.
• $b \equiv a-1 \pmod{a}$ 인 경우, 이러한 GW 점의 최대 수는 $b+1$ 이며, 이는 $a=3$, $b=5$ 를 사용한 예제 4.1 에서 6개의 점이 존재함으로써 입증된다.
• $b = 2a-1$ 인 경우, GW 점의 수는 최대 1개이며, 일반적 한계와 일치한다.
• 반군 $\langle 3,5 \rangle$ 는 종수 4인 곡선에서 6개의 GW 점을 지닌다. 이는 예제 4.1 에서 보여진 lin.
• 반군 $\langle 3,7 \rangle$ 에 대해서는, 곡선이 7개의 분기점이 있음에도 불구하고, 그 점들의 반군이 다르므로 오직 하나의 GW 점만 존재한다.
• 이 결과는 평면 곡선의 내부 Galois 점에 관한 정리 1.1 을 일반화하며, 임의의 두 생성자로 이루어진 Weierstrass 반군을 가진 곡선으로 확장한다.