[논문 리뷰] Conjectures sur les dérivées logarithmiques des fonctions L d'Artin aux entiers négatifs

Vincent Maillot, Damien Roessler|ArXiv.org|2002. 01. 24.

Algebraic Geometry and Number Theory인용 수 21

한 줄 요약

이 논문은 아르틴 L-함수의 음의 정수에서의 로그 도함수와 헤르미트 벡터(bundle)의 산술 차수 사이의 추측을 수립하며, 콜므스와 그로스-델리뉴의 작업을 일반화하고 아르틴 모티브에 대한 바일린슨의 추측을 보완한다. 부분적인 결과를 발표하며, 특히 복소 곱승을 가진 호지 구조와 아벨 확장에 대해 레프셰츠 고정점 공식과 양자수론을 통해 특수한 경우의 검증을 포함한다.

ABSTRACT

We formulate several variants of a conjecture relating the arithmetic degree of certain hermitian fibre bundles with the values of the logarithmic derivative of Artin's L-functions at negative integers. This generalizes conjectures by Colmez and Gross-Deligne and complements Beilinson's conjectures for the Artin motives. We announce several results in the direction of these statements.

연구 동기 및 목표

• 산술 모티브의 맥락에서, 복소 곱승을 가진 아벨 다양체의 주기 추측을 콜므스와 그로스-델리뉴의 결과로부터 더 넓은 프레임워크로 일반화하기.
• 비정상적인 정수에서 L-함수의 특수값에 대한 바일린슨의 추측을 로그 도함수를 포함하도록 확장하기.
• 로그 특이성을 가진 헤르미트 벡터 번들과 아르틴 L-함수의 특수값 사이의 정확한 산술기하학적 대응을 설정하기.
• 산술 차우 이론의 맥락에서 산술 차수와 L-함수의 특수값을 통합하는 추측적 프레임워크를 제공하기.
• L-함수 도함수를 통한 복소 곱승을 가진 모티브의 산술에 대한 깊이 있는 이해를 위한 기초를 마련하기.

제안 방법

• 정규 교차 분할에 따라 로그 특이성을 가진 헤르미트 벡터 번들의 산술 차수와 음의 정수에서 아르틴 L-함수의 로그 도함수 사이의 관계를 수립하는 추측을 제시한다.
• 고차원 산술 다양체로의 길레트-술레 및 부르고스-쾨른의 작업을 확장한, 로그 특이성을 가진 산술 차우 이론을 적용한다.
• 아라켈로프 기하학에서의 레프셰츠 고정점 공식을 적용하여 코homology 위의 추적과 산술 교차 수를 연결한다.
• 양자수론을 활용하여 전반적인 추측을 원천이 되는 원소에 대한 추측으로 줄이고, 특히 아벨 확장의 경우에 대해 원주율 체 위에서의 기본 사례로 줄인다.
• 산술 차우 군에서의 델리뉴 코hom로지와 캐런 클래스를 활용하여 해석적 및 대수적 불변량을 연결한다.
• 사상에 대해 산술 캐런 클래스와 푸시포워드의 호환성을 활용하여 다양한 산술 스킴 간에 결과를 이전한다.

실험 결과

연구 질문

• RQ1 음의 정수에서 아르틴 L-함수의 로그 도함수는 어떻게 헤르미트 벡터 번들의 산술 불변량과 관련이 있는가?
• RQ2 콜므스와 그로스-델리뉴의 주기 추측은 산술 차수를 통해 고차원 아르틴 모티브로 얼마나 일반화될 수 있는가?
• RQ3 로그 특이성이 L-함수 산술 추측을 위한 헤르미트 벡터 번들의 구성에서 정확히 어떤 역할을 하는가?
• RQ4 아라켈로프 기하학에서의 레프셰츠 고정점 공식을 사용하여 제안된 추측의 특수한 경우를 증명할 수 있는가?
• RQ5 헤르미트 번들의 산술 차수는 아르틴 L-함수의 로그 도함수의 특수값과 어떻게 관련이 있는가?

주요 결과

• n=1일 때, 산술 표면에 대한 레프셰츠 고정점 공식의 결과로, Q(χ, μ_q)와의 텐서 곱을 거친 후 추측이 성립한다.
• n≥1 이고 S가 공집일 때, K가 Q의 아벨 확장이며, 그 도수 f_K 가 R에서 가역일 경우, Q(χ, μ_f_K)와의 텐서 곱을 거친 후 추측이 검증된다.
• 증명은 양자수론을 통해 K=Q(μ_f_K)의 경우로 줄이고, 고정점 공식의 변형을 적용하는 데 의존한다.
• 이 추측은 복소 곱승을 가진 호지 구조에 대한 그로스-델리뉴 주기 추측의 알려진 경우와 일관됨을 보였다.
• 로그 특이성을 가진 산술 차우 군은 추측을 수립하는 데 자연스러운 프레임워크를 제공한다.
• 산술 캐런 클래스와 델리뉴 코호몰로지 사상 간의 호환성은 기하학적 및 코호몰로지 불변량 간의 일관성을 보장한다.