[논문 리뷰] Galois modules, ideal class groups and cubic structures

G. Pappas|ArXiv.org|2003. 06. 20.

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

한 줄 요약

이 논문은 ℤ 위의 비분비 아미어티 대수다양체의 비분비 갈루아 쌍대피복의 일관성 코homology 군의 갈루아 모듈 구조와 원분 이상 이상군 사이의 깊은 연결 고리를 확립한다. 군 스킴 위의 선다발에 대한 초입방형 구조를 도입함으로써, 코homology 내 가상 정규 정수 기저의 존재에 대한 장애물들이 베르누이 수의 곱과 ℤ의 짝수 K군의 순서에 의해 소멸됨을 증명하며, 이는 쿠머–반디버 추측과 연결된다.

ABSTRACT

We establish a connection between the theory of cyclotomic ideal class groups and the theory of "geometric" Galois modules and obtain results on the Galois module structure of coherent cohomology groups of Galois covers of varieties over Z. In particular, we show that an invariant that measures the obstruction to the existence of a virtual normal integral basis for the coherent cohomology of such covers is annihilated by a product of certain Bernoulli numbers with orders of even K-groups of Z. We also show that the existence of such a normal integral basis is closely connected to the truth of the Kummer-Vandiver conjecture for the prime divisors of the degree of the cover. Our main tool is a theory of "hypercubic structures" for line bundles over group schemes.

연구 동기 및 목표

• ℤ 위의 비분비 갈루아 쌍대피복의 일관성 코homology 군의 갈루아 모듈 구조와 원분 이상 이상군 이론을 연결하는 것.
• 유한 평탄 군 스킴 위의 선다발에 대한 초입방형 구조 이론을 개발하여 중심적 도구로 삼는 것.
• 베르누이 수와 K군을 이용하여 K₀(ℤ[G]) 내의 프로젝티브 등변 오일러 특성의 소멸자들을 결정하는 것.
• 정규 정수 기저의 존재성과 쿠머–반디버 추측 사이의 관계를 조사하는 것.
• 기존의 수체 내 정규 정수 기저에 관한 고전 결과를 고차원 아미어티 대수다양체로 확장하는 것.

제안 방법

• 유한 평탄 군 스킴 위의 선다발에 대한 초입방형 구조를 도입하여 고차원 곱셈 데이터를 코딩하는 것.
• 아벨 층의 다중확장과 반사 호모모르피즘을 사용하여 코homological 불변량을 산술 데이터와 연결하는 것.
• 코homology의 행렬식에 초입방형 구조를 부여하여 K이론 내 특성류를 정의하는 것.
• 그로텐디크–리만–로흐 정리와 유도 범주 기법을 적용하여 K₀(ℤ[G]) 내 오일러 특성수를 계산하는 것.
• 루멜리의 정수점 정리에 기반한 산술 버티니 정리를 활용하여 원하는 성질을 갖는 ℤ 위의 기하적 G- torsor를 구성하는 것.
• 갈루아 모듈 구조 문제를 Cl(ℤ[G]) 내의 불변량으로 환원하고, 베르누이 수를 통한 L함수의 특수값과 연결하는 것.

실험 결과

연구 질문

• RQ1 원분 이상 이상군은 ℤ 위의 비분비 갈루아 쌍대피복의 일관성 코homology 군의 갈루아 모듈 구조와 어떻게 관련되는가?
• RQ2 초입방형 구조는 정규 정수 기저의 존재에 대한 장애물을 어떻게 코딩하는가?
• RQ3 정규 정수 기저의 장애물은 어떤 방식으로 ℤ의 짝수 K군의 순서와 베르누이 수의 곱에 의해 소멸되는가?
• RQ4 쿠머–반디버 추측은 아벨 쌍대피복의 코homology 내 정규 정수 기저의 존재성과 어떻게 연결되는가?
• RQ5 산술 버티니 정리를 사용하여 ℤ 위에 특정 코homological 성질을 갖는 기하적 G-torsor를 구성할 수 있는가?

주요 결과

• ℤ-다양체 위의 G-torsor의 코homology 내 가상 정규 정수 기저의 장애물은 특정한 베르누이 수의 곱과 ℤ의 짝수 K군의 순서의 곱에 의해 소멸된다.
• G가 아벨이거나 dim(Y) ≤ 4 또는 알바네제 유형의 쌍대피복일 경우, 2·χᴾ(𝒪_X)는 K₀(ℤ[G]) 내 자유 ℤ[G]-모듈의 클래스이다.
• G의 차수가 홀수이면, χᴾ(𝒪_X) 자체가 K₀(ℤ[G]) 내 자유 ℤ[G]-모듈의 클래스이다.
• 코homology 내 정규 정수 기저의 존재는 |G|의 소인수에 대한 쿠머–반디버 추측의 참성과 깊이 연결되어 있다.
• 코homology의 행렬식에 대한 초입방형 구조는 K₀(ℤ[G]) 내 오일러 특성수의 표준적인 개선을 제공한다.
• 산술 버티니 정리를 통해 ℤ 위에 기하적 G-torsor를 구성할 수 있으며, 이는 스펙트럼(ℤ) 위에서의 매끄럽고 사영성을 보장한다.