[논문 리뷰] Computing $L$-functions and semistable reduction of superelliptic curves

Irene I. Bouw, Stefan Wewers|arXiv (Cornell University)|2012. 11. 19.

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

한 줄 요약

이 논문은 잔여 특성값이 $n$을 나누지 않는 소수 $5cfrak{p}$ 에서 초타원곡선 $y^n = f(x)$ 의 국소 $L$-팩터와 도수 지수를 계산하는 명시적 알고리즘을 제공한다. 이러한 소수에서 곡선의 안정된 감소를 구성함으로써, 특별한 섬유의 제타 함수를 통해 $L$-팩터 공식을 유도하고, 스완 도수와 에테일 코hom로지의 도움을 받아 도수 지수를 계산함으로써 이 곡선군에 대한 완전한 국소 $L$-함수와 도수 기술을 도출한다.

ABSTRACT

We give an explicit description of the stable reduction of superelliptic curves of the form $y^n=f(x)$ at primes $\p$ whose residue characteristic is prime to the exponent $n$. We then use this description to compute the local $L$-factor of the curve and the exponent of conductor at $\p$.

연구 동기 및 목표

• 잔여 특성값이 $n$ 을 나누지 않는 조건에서 초타원곡선 $y^n = f(x)$ 의 소수 $5cfrak{p}$ 에서 국소 $L$-팩터와 도수 지수를 계산하는 것.
• 이러한 소수에서 이러한 곡선의 안정된 감소를 명시적으로 기술하여 산술 불변량의 계산을 가능하게 하는 것.
• 나쁜 감소가 발생하는 경우에 특히, 준안정 감소가 $L$-함수와 도수 계산에 실용적인 도구로 효과적으로 사용될 수 있음을 보여주는 것.
• 스완 도수와 몫 곡선의 에테일 코hom로지의 도움을 받아 도수 지수 $f_{\mathfrak{p}}$ 를 위한 공식 유도하기

제안 방법

• 수체 $K$ 의 정수환 위에서 초타원곡선의 정규 모델을 구성한다.
• 안정된 감소를 통해 소수 $5cfrak{p}$ 에서의 특별한 섬유를 분석하여, 주어진 자동형사상 작용을 갖는 기약 성분으로 분해한다.
• 성분들의 이중 그래프에 대한 갈루아 군 $5cGamma$ 의 작용을 이용해 몫 곡선 $\bar{Z} = \bar{Y}/\Gamma$ 를 계산한다.
• 몫 곡선 $\bar{Z}$ 의 제타 함수를 계산하여 국소 $L$-팩터 $L_{\mathfrak{p}}(Y,s)$ 를 추출한다.
• 공식 $f_{Y/K} = \epsilon + \delta$ 를 적용하여 도수 지수를 계산한다. 여기서 $\epsilon = 2g_Y - \dim H^1_{\text{ét}}(\bar{Z}_k, \mathbb{Q}_\ell)$ 이고 $\delta$ 는 스완 도수이다.
• 고차 리만-호프 기준 $\Gamma_i$ 를 사용하여 스완 도수를 $\delta = 2(g_{\bar{Y}} - g_{\bar{Z}^w})$ 로 계산한다. 여기서 $\bar{Z}^w = \bar{Y}/P$ 이고 $P$ 는 관성군의 $p$-서브군이다.

실험 결과

연구 질문

• RQ1 잔여 특성값이 $n$ 을 나누지 않는 소수 $5cfrak{p}$ 에서 초타원곡선 $y^n = f(x)$ 의 국소 $L$-팩터 $L_{\mathfrak{p}}(Y,s)$ 를 어떻게 명시적으로 계산할 수 있는가?
• RQ2 이러한 소수에서의 안정된 감소의 구조는 무엇이며, 이는 $L$-함수와 도수와 어떻게 관련되어 있는가?
• RQ3 군 작용과 코hom로지 데이터를 이용하여 도수 지수 $f_{\mathfrak{p}}$ 를 알고리즘적으로 어떻게 계산할 수 있는가?
• RQ4 좋은 감소가 없는 경우에 준안정 감소 접근법이 $L$-함수와 도수 계산에 실용적이고 체계적인 방법으로 사용될 수 있는가?

주요 결과

• 국소 $L$-팩터 $L_{\mathfrak{p}}(Y,s)$ 는 몫 곡선 $\bar{Z} = \bar{Y}/\Gamma$ 의 제타 함수에 의해 결정되며, 예시에서는 $Z(\bar{Z}, T) = \frac{1 + 2T^2}{(1 - T)(1 - 2T)}$ 로 계산된다.
• 도수 지수 $f_{Y/K}$ 는 $f_{Y/K} = \epsilon + \delta = 8$ 으로 계산되며, $\epsilon = 4$ 이고 $\delta = 4$ 이다.
• 에테일 코hom로지 $H^1_{\text{ét}}(\bar{Z}_k, \mathbb{Q}_\ell)$ 의 차원은 2이며, 이는 $\epsilon = 2g_Y - \dim H^1 = 4$ 를 구성한다.
• 스완 도수 $\delta$ 는 $2(g_{\bar{Y}} - g_{\bar{Z}^w}) = 2(3 - 1) = 4$ 로 계산되며, 여기서 $g_{\bar{Y}} = 3$ 이고 $g_{\bar{Z}^w} = 1$ 이다.
• 안정된 감소는 성분들의 이중 그래프에 대한 군 작용을 통해 구성되며, $5cGamma$ 는 성분들을 치환하고 $I = \langle \sigma \rangle$ 는 순서 6의 순환군으로 작용한다.
• 몫 곡선 $\bar{Z}^w = \bar{Y}/P$ 는 산술 기하학적 종수 1을 가지며, 구성 요소는 하나의 종수 1 곡선과 두 개의 종수 0 곡선으로 이루어져 있으며, 각 쌍은 단일 교차점만을 가진다.