[논문 리뷰] On higher special elements of $p$-adic representations

David Burns, Takamichi Sano외 1명|Research Portal (King's College London)|2018. 09. 11.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 3

한 줄 요약

이 논문은 $p$-진 갈루아 코hom로지의 외적 거듭제곱 이중대수에서의 고차 특수 원소에 대한 새로운 대수적 프레임워크를 제안하며, 고차 랭크로의 오일러 시스템을 일반화한다. 정수성 성질, 소거자 공식, 합동 관계를 정규 높이 쌍대화를 통해 확립하고, 딜리클레 $L$-급수의 도함수 및 퀸런–리히텐바움 추측에 대한 추측을 정교화하는 데 응용하며, $K_{2m-1}$-군에 대한 정교화된 클래스 수 공식을 증명한다.

ABSTRACT

As a natural generalization of the notion of `higher rank Euler system', we develop a theory of `higher special elements' in the exterior power biduals of the Galois cohomology of $p$-adic representations. We show, in particular, that such elements encode detailed information about the structure of Galois cohomology groups and are related by families of congruences involving natural height pairings on cohomology. As a first concrete application of the approach, we use it to refine, and extend, a variety of existing results and conjectures concerning the values of derivatives of Dirichlet $L$-series.

연구 동기 및 목표

• 외적 거듭제곱 이중대수에서의 $p$-진 갈루아 코호몰로지 군에 대한 고차 특수 원소의 일반적인 대수적 이론을 개발하는 것.
• 입력 데이터에 제한 조건 없이 이러한 원소의 정수성 및 소거자 성질을 확립하는 것.
• 정규 높이 쌍대화를 이용해 고차 특수 원소 간의 합동 관계를 제안하고 증명하는 것.
• 이 이론을 딜리클레 $L$-급수의 도함수 및 퀸런–리히텐바움 추측에 대한 추측을 정교화하고 확장하는 데 응용하는 것.
• 순환 원소의 맥락에서 고차 특수 원소를 통해 $K_{2m-1}(\mathcal{O}_F)$에 대한 정교화된 클래스 수 공식을 제공하는 것.

제안 방법

• 복합체 $C$의 $\mathfrak{A}$-모듈러스, 동형사상 $\lambda$, 결정 모듈러스의 생성자 $\mathcal{L}$를 사용하여 $H^1(C)$의 $a$-번째 외적 거듭제곱에서 고차 특수 원소 $\eta_{(C,\lambda,\mathcal{L},x_\bullet)}$를 정의한다.
• 이 원소들이 $H^2(C)$의 고차 피팅 아이디얼을 계산하고, $x_\bullet$의 튜플에 제한 조건 없이 부분몫군의 소거자를 생성함을 증명한다.
• 골렌스타인 조건을 이용해 외적 거듭제곱의 몫과 $\mathfrak{A}$의 몫 사이에 정규적인 완전한 $\mathfrak{A}$-이중선형 쌍대화를 구성한다.
• 코호몰로지 군에서의 정규 대수적 높이 쌍대화를 통해 고차 특수 원소 간의 합동 관계를 확립한다.
• 산술적 맥락에서 $p$-진 코호몰로지의 컴 pact 지지 및 네코바르–셀머 복합체에 이 이론을 적용한다.
• 순환 자료와 관련된 고차 특수 원소가 델리클레–술레의 순환 원소와 일치함을 확인하여 $K$-이론과 연결한다.

실험 결과

연구 질문

• RQ1 입력 데이터에 제한 조건 없이 $p$-진 갈루아 코호몰로지의 외적 거듭제곱 이중대수에서 고차 특수 원소를 체계적으로 정의할 수 있는가?
• RQ2 고차 특수 원소는 어떤 정수성 및 소거자 성질을 가지며, 갈루아 코호몰로지 군의 구조와 어떻게 관련되는가?
• RQ3 다른 데이터 세트 간의 고차 특수 원소는 어떻게 관련되어 있으며, 이러한 관계는 정규 높이 쌍대화로 포괄될 수 있는가?
• RQ4 이 이론은 알려진 딜리클레 $L$-급수의 도함수 및 퀸런–리히텐바움 추측에 대한 추측을 정교화할 수 있는가?
• RQ5 고차 특수 원소 구성은 고전적 클래스 수 공식 $K_{2m-1}(\mathcal{O}_F)$를 복원하거나 정교화할 수 있는가?

주요 결과

• 고차 특수 원소 $\eta$는 $H^2(C)$의 고차 피팅 아이디얼을 계산하고, $x_\bullet$의 튜플에 제한 조건 없이 $H^2(C)$의 부분몫군의 소거자를 생성함을 보여주며, 이는 정리 3.10에서 입증된다.
• 골렌스타인 조건 하에서, $\bigwedge^a_{\mathfrak{A}}H^1(C)$의 $\eta$에 의해 생성되는 부분모듈러스로 나눈 몫과 $\eta$에 의해 결정되는 아이디얼로 나눈 $\mathfrak{A}$의 몫 사이에 정규적인 완전한 $\mathfrak{A}$-이중선형 쌍대화가 존재함을 보여주며, 이는 정리 3.27에서 확립된다.
• 고차 특수 원소 간의 합동 관계는 코호몰로지 군에서의 정규 대수적 높이 쌍대화에 의해 지배되며, 이는 정리 3.36에서 증명된다.
• 순환 자료와 관련된 고차 특수 원소는 델리클레–술레의 순환 원소와 일치함을 확인하여 $K$-이론에서의 역할을 확인한다.
• 이 이론은 $K_{2m-1}(\mathcal{O}_F)$에 대한 정교화된 클래스 수 공식을 증명하며, $\left(\varepsilon_m^- \cdot K_{2m-1}(\mathcal{O}_F)^\prime / \mathbb{Z}'[G] \cdot c_F(m)\right)^\vee \cong \mathbb{Z}'[G]\varepsilon_m^- / \mathrm{Fit}^0_{\mathbb{Z}'[G]}(K_{2m-2}(\mathcal{O}_{F,\Sigma})^\prime)$로 표현되며, 이는 정리 5.15에 서술되어 있다.
• 이 결과는 엘 브호카리의 [15, Th. 6.5]에서의 오류를 수정하며, $\prod_{\ell \in \Sigma \setminus \{\infty\}} (1 - \mathrm{Fr}_\ell^{-1} \cdot \ell^{m-1}) e_{I_\ell}$로 정의된 적절한 인자 $\prod_{\ell \in \Sigma \setminus \{\infty\}} (1 - \mathrm{Fr}_\ell^{-1} \cdot \ell^{m-1}) e_{I_\ell}$를 제공함으로써 잘못 정의된 'Q(0)' 인자를 해결한다.