[논문 리뷰] Congruences for L-functions of additive exponential sums

Régis Blache|arXiv (Cornell University)|2012. 06. 07.

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

한 줄 요약

이 논문은 양의 특성에서 애드티브 지수 합의 아핀 공간 위의 L-함수에 대해 비자명한 합동관계를 $ I_{\rho} $ 모듈로로 설정한다. 이는 맨킨의 곡선의 양의 특성에서의 제타함수에 대한 합동관계를 확장한 것으로, Dwork 이론과 $ p $-진 분석을 통해 L-함수가 $ I_{\rho} $ 모듈로에서 다항식의 계수와 그 프로베누스 전환으로 유도된 행렬을 포함하는 행렬식의 곱과 합동임을 보여준다. 이 합동관계는 다항식의 지지집합의 $ p $-밀도가 $ \delta_p(D_I) + n - \#I = \delta_p(D) $ 를 만족할 때 정확히 성립한다.

ABSTRACT

We give a congruence for L-functions coming from affine additive exponential sums over a finite field. Precisely, we give a congruence for certain operators coming from Dwork's theory. This congruence is very similar to the congruence of Manin for the characteristic polynomial of the action of Frobenius on the Jacobian of a curve defined over a finite field.

연구 동기 및 목표

• 양의 특성에서 아핀 공간 위의 애드티브 지수 합의 $ L $-함수에 대해 맨킨의 곡선 제타함수에 대한 합동관계를 확장한다.
• 지지집합의 $ p $-밀도에 의해 정의된 $ \pi $-진 이상수 $ I_{\rho} $ 모듈로에서, 단순한 $ \pi $ 모듈로가 아닌 비자명한 합동관계를 애드티브 지수 합에서 유도된 $ L $-함수에 설정한다.
• 다항식의 계수와 그 프로베누스 작용으로 유도된 행렬 $ M(\Gamma_I) $ 를 통해 $ L $-함수의 구조를 기술한다.
• 이전의 합동관계가 가진 제약 조건을 극복하기 위해 뉴턴 다각형이 수평 기울기를 가지지 않는 경우에도 유효한 프레임워크를 제공한다.
• 아르틴-슈라이어 곡선과 쌍대 초평면의 결과를 하나의 $ p $-진 합동관계로 통합하고 일반화한다.

제안 방법

• 유한체 확장 위에서의 애드티브 지수 합 $ S_r(f) $ 의 지수 생성급수로서 $ L(\mathbb{A}^n, f; T) $ 의 $ L $-함수를 정의한다.
• Dwork 이론을 사용하여 $ \mathbb{Z}_p[\zeta_p] $ 내의 테이히뮐러 대표 $ \gamma_{\mathbf{d}} $ 로 계수 $ c_{\mathbf{d}} $ 를 상향 연장하고, 행렬 $ \Gamma $ 를 형성한다.
• L-함수의 역근과 극점의 $ q $-진 값매김의 하한으로서 $ p $-밀도 $ \delta_p(D) $ 를 정의한다.
• 계수의 $ q $-진 값매김이 $ \delta i $ 보다 엄밀히 큰 모든 멱급수의 집합으로서 이상수 $ I_{\delta} $ 를 정의함으로써 비자명한 합동관계를 가능하게 한다.
• 지지집합의 $ p $-최소 지지집합을 갖는 부분집합 $ D_I $ 로부터 행렬 $ M(\Gamma_I) $ 를 구성하고, 그 프로베누스 전환 $ M(\Gamma_I)^{\tau^{m-1}} \cdots M(\Gamma_I) $ 를 정의한다.
• 다음과 같은 합동관계를 확립한다: $ L(\mathbb{A}^n, f; T) \equiv \prod \det(\mathbf{I}_{N_I} - \pi^{m(p-1)\delta} T M(\Gamma_I)^{\tau^{m-1}} \cdots M(\Gamma_I))^{(-1)^{\#I+1}} \mod I_{\delta} $, 여기서 곱은 $ \delta_p(D_I) + n - \#I = \delta_p(D) $ 를 만족하는 $ I $ 에 대해 수행된다.

실험 결과

연구 질문

• RQ1 아핀 공간 위의 애드티브 지수 합에 대한 $ L $-함수에 대해 맨킨의 양의 특성에서의 양의 특성에서의 제타함수에 대한 합동관계와 유사한 비자명한 $ p $-진 합동관계를 설정할 수 있는가?
• RQ2 다항식의 지지집합의 $ p $-밀도 $ \delta_p(D) $ 는 $ L $-함수의 계수의 $ q $-진 값매김을 어떻게 제어하는가?
• RQ3 이상수 $ I_{\delta} $ 모듈로에서 $ L $-함수의 정확한 대수적 구조는 무엇이며, 다항식의 계수에서 유도된 행렬에 의해 어떻게 표현되는가?
• RQ4 어떤 조건에서 합동관계가 단일 행렬식 표현으로 줄어들며, 오른쪽 항이 다항식이 되는가?
• RQ5 이 합동관계는 아르틴-슈라이어 곡선과 쌍대 초평면에 대해 알려진 결과를 어떻게 복원하거나 일반화하는가?

주요 결과

• L-함수 $ L(\mathbb{A}^n, f; T) $ 는 계수의 $ q $-진 값매김이 적어도 $ \delta i $ 이상인 멱급수의 집합인 $ M_{\delta} $ 에 속한다. 여기서 $ \delta = \delta_p(D) $ 이다.
• 합동관계는 이상수 $ I_{\delta} $ 모듈로에서 성립하며, 이는 계수의 값매김이 $ \delta i $ 보다 엄밀히 큰 멱급수들을 포괄함으로써 비자명성을 보장한다.
• 합동관계는 행렬 $ M(\Gamma_I) $ 를 포함하는 행렬식의 곱으로서 $ L $-함수를 표현하며, 지수 집합 $ I $ 의 크기에 따라 부호가 번갈아지는 거듭제곱으로 승격된다. 변수는 $ \pi^{m(p-1)\delta} T $ 로 스케일링된다.
• 곱은 $ \delta_p(D_I) + n - \#I = \delta_p(D) $ 를 만족하는 부분집합 $ I \subset \{1,\dots,n\} $ 에 대해서만 수행된다. 이는 올바른 값매김 균형을 확보한다.
• 만약 모든 $ I $ 에 대해 $ \delta_p(D_I) + n - \#I > \delta_p(D) $ 를 만족한다면, 합동관계는 $ L(\mathbb{A}^n, f; T)^{(-1)^{n+1}} \equiv \det(\mathbf{I}_N - M(\Gamma)^{\tau^{m-1}} \cdots M(\Gamma)(\pi^{m(p-1)\delta} T)) \mod I_{\delta} $ 로 단순화되며, 이는 단일 행렬식을 제공한다.
• 이 결과는 $ f = yF $ 일 때, 쌍대 초평면의 $ H^0(V, \Omega^{n-1}) $ 위의 카르티에 연산자의 밀러의 행렬 기술을 일반화한다. 이 경우 그의 행렬은 $ M(\Gamma_I)^{\tau^{m-1}} \cdots M(\Gamma_I) $ 로 복원된다.