[논문 리뷰] A geometric reformulation of the representational assembly conjecture for the K-theory of fields with pro-l absolute Galois group

Gunnar Carlsson|arXiv (Cornell University)|2013. 09. 22.

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

한 줄 요약

이 논문은 프로-l 절대 갈루아 군을 가진 체에 대한 K-이론의 표현 조립 추측을, 등변 K-이론과 차원 호모모르피즘 沿한 유도 완비화를 통해 기하학적 재구성한다. 이는 등변 K-이론 스펙트럼 $\mathcal{E}G_F$ 의 유도 완비화가 이론적 완비화와 동치임을 보여주며, $K(F)$ 가 $G_F$ 로부터 재구성되는 추측적 과정을 기하학적으로 실현한다. 핵심 결과는 $l$-진 완비화 이후 자연스럽고 $G_F$-등변 스펙트럼 동치이다.

ABSTRACT

In this paper we prove a result which establishes an equivalence between the representational assembly conjecture proposed by the author and a rigidity question, in the case of Galois groups which are pro-l groups. In additional work with R. Joshua, we will confirm the validity of this rigidity conjecture, thereby proving the conjecture in the case of a pro-l absolute Galois group.

연구 동기 및 목표

• 절대 갈루아 군 $G_F$ 가 프로-l 인 체 $F$ 의 대수적 K-이론 스펙트럼을 $G_F$ 뿐만으로 기하학적, 함자적, 계산 가능한 방식으로 재구성하는 것.
• 유도 완비화가 차원 호모모르피즘 $\varepsilon$ 에서 $K^G(k)$ 를 완비화함으로써 $K(F)$ 를 회복함으로써 표현 조립 추측을 해결하는 것.
• 등변 K-이론이 보편 $G_F$-스킴 $\mathcal{E}G_F$ 에 대해 이 완비화 과정의 기하학적 모델을 제공함을 확립하는 것.
• 노에테리안 근사 가능한 $G$-스킴 $W$ 에 대해 자연스러운 사상 $\mathfrak{K}^G(W)^\wedge_\varepsilon \to \mathfrak{K}^G(\mathcal{E}G \times W)^\wedge_\varepsilon$ 가 동치임을 증명함으로써 추측을 매개변수화된 강성 문제로 환원하는 것.

제안 방법

• 프로-유한군의 분류 공간을 모델로 삼는 연속된 $G_F$-작용을 가진 프로-유한 $G_F$-등변 아핀 스킴 $\mathcal{E}G_F$ 를 구성하는 것.
• $G$-스킴 $W$ 에 대해 등변 $K$-이론 스펙트럼 $\mathfrak{K}^G(W)$ 를 정의하고, 차원 호모모르피즘 $\varepsilon: K^G(k) \to \mathbb{H}_l$ 에 의한 유도 완비화 $(-)^\wedge_\varepsilon$ 를 통해 스펙트럼을 $l$-진으로 완비화하는 것.
• $\mathcal{E}G_F$ 의 자유성 을 이용해 궤도 스킴과 등변 K-이론 사이의 자연스러운 동치를 확립하는 것, 즉 $K(\mathcal{E}G_F/G_F) \simeq K^{G_F}(\mathcal{E}G_F)$.
• $l$-진 완비화가 $K^{G_F}(\mathcal{E}G_F)$ 와 $K(k)$ 의 $l$-진 완비화와 동치임을 증명함으로써 잠재적 $l$-진 수축 가능성 을 확보하는 것.
• 노에테리안 근사 가능한 $G$-스킴 $W$ 에 대해 사상 $\mathfrak{K}^G(W) \wedge_{K^G(k)} \mathbb{H}_l \to \mathfrak{K}^G(\mathcal{E}G \times W) \wedge_{K^G(k)} \mathbb{H}_l$ 가 동치임을 증명하는 매개변수화된 강성 추론을 적용하며, 합집합과 Tor 의 소멸성 추론을 사용하는 것.
• 표현 환 $R[G_F]$ 의 증강 이상이 $K_*(\mathcal{E}G_F)$ 에 자명하게 작용함을 활용하여, 이는 완비화 동치에 있어 필수적임을 밝히는 것.

실험 결과

연구 질문

• RQ1 절대 갈루아 군이 프로-l 인 체 $F$ 의 대수적 K-이론 스펙트럼이 스펙트럼 수열 자료 없이 $G_F$ 만으로 함자적으로 재구성될 수 있는가?
• RQ2 표현 조립 사상 $\alpha_F: K^G(k)^\wedge_\varepsilon \to K^G(\overline{F})^\wedge_\varepsilon$ 가 동치인지 확인할 수 있으며, 이를 기하학적 방법으로 증명할 수 있는가?
• RQ3 보편 $G_F$-스킴 $\mathcal{E}G_F$ 의 등변 K-이론이 $\varepsilon$ 에 따른 $K^G(k)$ 의 유도 완비화를 위한 기하학적 모델을 제공하는가?
• RQ4 $G$-스킴 $W$ 에 대해 $K^G(W)$ 의 $\varepsilon$ 에 따른 완비화가 $K^G(\mathcal{E}G \times W)$ 의 완비화와 동치임을 보일 수 있는가? 이를 통해 추측을 매개변수화된 강성 문제로 환원할 수 있는가?
• RQ5 프로-유한 $l$-군의 보편 공간에 대해 자연스럽고 $l$-진 수축 가능한 모델이 존재하는가? 그리고 $\mathcal{E}G_F$ 가 그러한 모델이 되는가?

주요 결과

• 기본 체 $k$ 의 등변 K-이론의 유도 완비화가 차원 호모모르피즘 $\varepsilon$ 에 따라 $\overline{F}$ 의 $K$-이론의 $l$-진 완비화와 동치임을 보여주며, 즉 $\mathfrak{K}^G(k)^\wedge_\varepsilon \simeq \mathfrak{K}(F)^\wedge_l$.
• 모든 노에테리안 근사 가능한 연속적인 아핀 $G$-스킴 $W$ 에 대해 사상 $\mathfrak{K}^G(W)^\wedge_\varepsilon \to \mathfrak{K}^G(\mathcal{E}G \times W)^\wedge_\varepsilon$ 는 스펙트럼의 동치이다.
• $\mathcal{E}G_F$ 의 등변 K-이론이 $K^{G_F}(\mathcal{E}G_F)^\wedge_\varepsilon \simeq K(\mathcal{E}G_F/G_F)^\wedge_l$ 를 만족함을 보여주며, 궤도 스킴이 완비된 K-이론을 포착함을 보여준다.
• $l$-진 완비화가 $K^{G_F}(\mathcal{E}G_F)$ 와 $K(k)$ 의 $l$-진 완비화와 동치임을 증명함으로써, $\mathcal{E}G_F$ 가 잠재적으로 $l$-진 수축 가능하다는 것을 시사한다.
• $\mathrm{Tor}^{R[G]}_*(M, \mathbb{F}_l)$ 가 $\mathcal{E}G_F$ 의 등변 K-이론에서 유래한 모듈러 $M$ 에 대해 소멸함을 보여주며, 이는 $\mathbb{H}_l$-완비화가 관련 범주에서 정확성을 유지함을 의미한다.
• 주요 정리에서는 자연스럽고 $G_F$-등변 동치 $\mathfrak{K}^G(k)^\wedge_\varepsilon \simeq \mathfrak{K}^G(\mathcal{E}G \times \mathrm{Spec}(\overline{F}))^\wedge_\varepsilon$ 를 확립하여 기하적 설정에서 표현 조립 추측을 확인한다.