[논문 리뷰] Valuations of exponential sums and Artin-Schreier curves

Régis Blache|arXiv (Cornell University)|2015. 02. 03.

Coding theory and cryptography참고 문헌 7인용 수 3

한 줄 요약

이 논문은 홀수 특성의 유한체 위에서의 지수합의 $p$-진 값매김에 대한 날카운 하한을 확립하며, $p$-계수 0 아르틴-슈라이어 곡선의 뉴턴 다각형과 연결한다. 이러한 곡선이 그 수가 $\frac{1}{2}(p-1)(i(p^n-1)-1)$ 형태일 때 $n(p-1)>2$이면 초순수가 될 수 없음을 증명하고, 일반적인 뉴턴 다각형의 첫 번째 꼭짓점을 $p$-무게 분석과 코homology 모듈러스 위에서의 프로베누스 작용을 통해 규명하며, 관련된 하세 다항식을 도출한다.

ABSTRACT

Let $p$ denote an odd prime. In this paper, we are concerned with the $p$-divisibility of additive exponential sums associated to one variable polynomials over a finite field of characteristic $p$, and with (the very close question of) determining the Newton polygons of some families of Artin-Schreier curves, i.e. $p$-cyclic coverings of the projective line in characteristic $p$. We first give a lower bound on the $p$-divisibility of exponential sums associated to polynomials of fixed degree. Then we show that an Artin-Schreier curve defined over a finite field of characteristic $p$ cannot be supersingular when its genus $g$ has the form $(p-1)\left(i(p^n-1)-1 ight)/2$ for some $1\leq i\leq p-1$ and $n\geq 1$ such that $n(p-1)>2$. We also determine the first vertex of the generic Newton polygon of the family of $p$-rank $0$ Artin-Schreier curves of fixed genus, and the associated Hasse polynomial.

연구 동기 및 목표

• 홀수 특성의 유한체 위에서의 덧셈 지수합에 대한 $p$-진 값매김에 대한 날카운 하한을 확립하는 것.
• 고정된 계수를 가진 $p$-계수 0 아르틴-슈라이어 곡선에 대해 일반적인 뉴턴 다각형의 첫 번째 꼭짓점을 결정하는 것.
• 모듈라이 공간에서 이 첫 번째 꼭짓점을 공유하는 곡선의 집합을 자르는 하세 다항식을 특성화하는 것.
• 특정 조건 하에서 몰수의 아르틴-슈라이어 곡선 가닥이 초순수가 될 수 없음을 증명하는 것.

제안 방법

• 지수 집합의 $p$-무게 분석을 통해 $q-1$ 모듈로의 정수방정식을 이용해 지수합의 값매김을 경계화하는 데 사용한다.
• 코homology 모듈러스 위에서의 프로베누스 작용을 적용하여 반단순 벡터의 부분공간의 차원을 계산함으로써 뉴턴 다각형의 첫 번째 꼭짓점을 규명한다.
• 기저로서 단항식의 집합 위에서 프로베누스 연산자의 행렬 표현을 구성하여 제약된 연산자의 행렬식을 계산함으로써 하세 다항식을 도출한다.
• 다항식 차수를 $p$와 서로소로 만들기 위해 아르틴-슈라이어 축소를 활용하여 분석을 단순화한다.
• 반복적 프로베누스 작용과 궤도의 일차독립성을 분석하여 뉴턴 다각형의 최소 지지부를 분석한다.
• 차수 범위에 따라 하세 다항식을 0이 아닌 행렬식 또는 계수의 곱의 합으로 도출한다.

실험 결과

연구 질문

• RQ1 다항식의 차수 $d$에 대해 $\mathbb{F}_q$ 위에서의 지수합에 대한 $p$-진 값매김에 대해 가장 날카운 하한은 무엇인가요?
• RQ2 어느 종수 $g$ 에서 $p$-계수 0 아르틴-슈라이어 곡선이 홀수 특성에서 초순수가 아니게 되나요?
• RQ3 고정된 차수 $d$를 가진 $p$-계수 0 아르틴-슈라이어 곡선에 대해 일반적인 뉴턴 다각형의 첫 번째 꼭짓점은 무엇인가요?
• RQ4 계수 공간에서 뉴턴 다각형이 첫 번째 꼭짓점을 달성하는 조건을 정의하는 다항식은 무엇인가요?
• RQ5 지수 집합의 $p$-무게는 아르틴-슈라이어 곡선의 뉴턴 다각형 구조와 어떻게 관련이 있나요?

주요 결과

• 모든 $d \geq \frac{p-1}{2}$ 에 대해, $p^n - 1 \leq d \leq p^{n+1} - p - 1$ 이면 $v_q(S(f)) \geq \frac{1}{n(p-1)}$ 이고, 이 경계는 날카롭다.
• 모든 $p^{n+1} - p + 1 \leq d \leq p^{n+1} - 2$ 이고 $n \geq 1$ 이면 경계는 $v_q(S(f)) \geq \frac{2}{(2n+1)(p-1)}$ 이며, 이는 어떤 $f$ 에서도 등호가 성립한다.
• 모든 $\frac{p-1}{2} \leq d \leq p-2$ 이고 $p \geq 5$ 이면 경계는 $v_q(S(f)) \geq \frac{2}{p-1}$ 이며, 이 역시 날카롭다.
• 차수 $d = p^{n+1} - 2$ 인 $p$-계수 0 아르틴-슈라이어 곡선의 일반적인 뉴턴 다각형의 첫 번째 꼭짓점은 $((2n+1)(p-1), 2)$ 이며, 하세 다항식은 $\sum_{i=2}^{p-1} c_{p^{n+1}-i}^{p^n} c_{ip^n - 1}$ 이다.
• 차수 $d = p^{n+1} - p - 1$ 이면 첫 번째 꼭짓점은 $(n(p-1)p, p)$ 이며, 하세 다항식은 $f^{\lceil \frac{p-1}{d} \rceil}$ 의 계수를 포함하는 행렬의 행렬식으로 주어진다.
• 조건 $n(p-1) > 2$, $1 \leq i \leq p-1$, $n \geq 1$ 를 만족할 때, 종수 $g = \frac{1}{2}(p-1)(i(p^n - 1) - 1)$ 인 아르틴-슈라이어 곡선은 초순수일 수 없다.