[논문 리뷰] B(G) for all local and global fields

Robert Kottwitz|arXiv (Cornell University)|2014. 01. 22.

Advanced Algebra and Geometry참고 문헌 6인용 수 18

한 줄 요약

이 논문은 국소체 및 전역체 $ F $ 위의 선형 대수적 군 $ G $ 에 대해 함자 $ B(F,G) $ 를 도입하고 연구하며, 이는 이전 연구에서의 $ \mathbf{B}(G) $ 함자를 일반화한다. $ B(F,G) $ 는 갈루아 기브스(Galois gerbs)와 관련된 대수적 코homology 집합 $ H^1_{\text{alg}}(\mathcal{E}(K/F), G(K)) $ 의 쌓음(colimit)으로 구성되며, 토리 $ T $ 에 대해 $ B(F,T) \cong (X_*(T) \otimes X(K))_{G(K/F)} $ 라는 동형을 증명하고, $ z $-확장(z-extensions)을 통해 이는 재수행군(reductive groups)으로 확장되어, 산술기하학에서 토르서(torsors)와 갈루아 코hom로지(cohomology)의 이론을 통합하고 일반화한다.

ABSTRACT

Generalizing earlier results concerning p-adic fields, this paper develops a theory of B(G) for all local and global fields.

연구 동기 및 목표

• 국소 또는 전역체 $ F $-선형 대수적 군에서부터 점이 있는 집합으로 가는 함자 $ G \mapsto B(F,G) $ 를 정의하고 연구하며, 이는 이전 연구에서의 $ \mathbf{B}(G) $ 를 일반화한다.
• 토리에 대해 고전적인 타테-나카야마 동형을 갈루아 기브스와 표준 클래스를 사용하여 새로운 동형 $ B(F,T) \cong (X_*(T) \otimes X(K))_{G(K/F)} $ 으로 확장한다.
• 토리에서의 구성법을 $ z $-확장과 핵심제약(corestriction) 이론을 이용해 임의의 연결 재수행군으로 일반화한다.
• 산술기하학에서 토르서와 갈루아 코호몰로지의 기초가 되는 코호몰로지 프레임워크를 통합하고 체계화한다.
• 표준 코호몰로지 집합 $ H^1(F,G) $ 가 자연스럽게 포함되는 개념적이고 계산 가능한 프레임워크를 $ B(F,G) $ 에 제공함으로써, 산술 불변량의 더 넓은 이해를 가능하게 한다.

제안 방법

• 유한 갈루아 확장 $ K/F $ 에서 갈루아 기브스 $ \mathcal{E}(K/F) $ 를 구성하며, $ \mathbb{D}_{K/F}(K) $ 를 특성군이 $ X(K) $ 인 프로토리스(protorus)로 하는 표준 클래스 $ \alpha(K/F) \in H^2(G(K/F), \mathbb{D}_{K/F}(K)) $ 를 사용한다.
• 알고리즘적 코호몰로지 집합 $ H^1_{\text{alg}}(\mathcal{E}(K/F), G(K)) $ 는 $ \mathcal{E}(K/F) $ 가 $ G(K) $-토르서 위에 작용하는 집합으로 정의되며, 표준적 동형에 대해 잘 정의되어 있다.
• 모든 유한 갈루아 확장 $ K/F $ 에 대해 $ H^1_{\text{alg}}(\mathcal{E}(K/F), G(K)) $ 의 쌓음(colimit)으로 $ B(F,G) $ 를 구성하며, 포함 관계에 의해 유도되는 인플레이션 맵(inflation maps)을 사용한다.
• 샤피로의 보조정리와 핵심제약 맵(corestriction maps)을 사용하여, 특히 타테-나카야마 삼중쌍의 맥락에서 다양한 확장 간의 코호몰로지 집합을 연결한다.
• 컵곱 동형과 타테 코호몰로지(cohomology)를 적용하여, 토리 $ T $ 에 대해 $ B(F,T) $ 를 코인variants $ (X_*(T) \otimes X(K))_{G(K/F)} $ 와 연결하고, 핵심 동형을 확립한다.
• 핵심제약 이론과 $ z $-확장을 활용하여, 토리에서의 이론을 일반 연결 재수행군으로 확장한다.

실험 결과

연구 질문

• RQ1 국소체 및 전역체, 즉 수체와 $ p $-진체를 포함한 모든 국소 및 전역체에 대해 [Kot97]의 함자 $ \mathbf{B}(G) $ 는 어떻게 일반화할 수 있는가?
• RQ2 토리 $ T $ 에 대해 $ B(F,G) $ 의 정확한 구조는 무엇이며, 타테-나카야마 dualiry와 갈루아 코호몰로지와의 관계는 어떠한가?
• RQ3 특히 인플레이션과 핵심제약 맵의 맥락에서, $ B(F,G) $ 의 구성이 선택에 의존하지 않고 표준적 동형을 통해 독립적으로 이루어질 수 있는가?
• RQ4 $ B(F,G) $ 는 $ H^1(F,G) $ 와 어떻게 관련되어 있으며, 어떤 의미에서 표준 갈루아 코호몰로지 집합의 확장인가?
• RQ5 갈루아 기브스 $ \mathcal{E}(K/F) $ 와 관련된 클래스 $ \alpha(K/F) $ 는 $ B(F,G) $ 를 정의하고 계산하는 데 어떤 역할을 하는가?

주요 결과

• 국소 또는 전역체 $ F $ 위의 임의의 토리 $ T $ 에 대해, $ T $ 를 분해하는 유한 갈루아 확장 $ K/F $ 를 고려할 때, 표준적 동형 $ B(F,T) \cong (X_*(T) \otimes X(K))_{G(K/F)} $ 이 존재한다. 여기서 $ F $ 가 전역체이면 $ X(K) $ 는 $ K $ 상의 차수 0의 인자들의 군이고, 국소체이면 $ \mathbb{Z} $ 이다.
• 국소 또는 전역체 $ F $ 에 대해 $ B(F,G) $ 는 $ F $ 가 $ p $-진체일 경우 $ \mathbf{B}(G) $ 와 자연스럽게 동형이며, [Kot97]의 결과를 모든 국소 및 전역체로 확장한다.
• $ H^1(F,G) \hookrightarrow B(F,G) $ 는 자연스럽고 표준적이며, $ B(F,G) $ 가 갈루아 코호몰로지의 표준적 확장임을 보여준다.
• 국소체 $ F $ 에 대해, $ G $ 가 재수행군이면 $ B(F,G) $ 는 유한하며, 기본 원소들로 이루어진 집합 $ B(F,G)_{\text{bsc}} $ 도 유한하고 뉴턴 점수를 통해 계산 가능하다.
• 이론은 핵심제약과 인플레이션 맵과 호환되며, $ B(F,G) $ 의 쌓음 구성은 함자성과 선택에 대한 독립성을 보장한다.
• 알고리즘적 $ H^1_{\text{alg}} $-집합에 대해 샤피로의 보조정리의 일반화를 확립하여, 다양한 확장 간에 코호몰로지 자료를 이동시킬 수 있다.