[논문 리뷰] On a conjecture of Morel

Utsav Choudhury|arXiv (Cornell University)|2012. 09. 03.

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

한 줄 요약

이 논문은 H-군에 대한 $\pi_0^{\mathbb{A}^1}$-연결 성분의 $\pi_0^{\mathbb{A}^1}$-불변 편재기의 Nisnevich 층화가 다시 $\pi_0^{\mathbb{A}^1}$-불변임을 증명한다. 증명은 Nisnevich Brown-Gersten 성질과 $\pi_0^{\mathbb{A}^1}$-호모토피 범주에서의 fibrant 대체를 통한 $\pi_0$-계산에 기반하며, H-군과 그 동차 공간에 대해 $a_{\text{Nis}}(\pi_0^{\mathbb{A}^1}(\mathcal{X}))$ 가 $\pi_0^{\mathbb{A}^1}$-불변임을 확립한다.

ABSTRACT

In this note we prove that the $\mathbb{A}^1$-connected component sheaf $a_{Nis}(π_0^{\mathbb{A}^1}(\mathcal{X}))$ of an $H$-group $\mathcal{X}$ is $\mathbb{A}^1$-invariant.

연구 동기 및 목표

• H-군에 대한 $\pi_0^{\mathbb{A}^1}$-불변 편재기의 Nisnevich 층화에 관한 Morel의 추측을 해결하기 위해.
• $\pi_0^{\mathbb{A}^1}$-호모토피 이론의 맥락에서, 편재기의 $\pi_0^{\mathbb{A}^1}$-불변성을 그들의 Nisnevich 층화로 확장하기 위해.
• H-군과 그 동차 공간에 대해 $\pi_0^{\mathbb{A}^1}$-불변성 성질이 Nisnevich 층화 과정을 거쳐도 유지됨을 입증하기 위해.
• $\pi_0^{\mathbb{A}^1}$-불변 층 이론의 핵심 추측을 검증함으로써 $\pi_0^{\mathbb{A}^1}$-호모토피 이론의 기초 결과를 제공하기 위해.
• 특히 Nisnevich 위상과 $\pi_0^{\mathbb{A}^1}$-fibrant 대체와의 관계에서 $\pi_0^{\mathbb{A}^1}$-불변 층의 행동을 명확히 하기 위해.

제안 방법

• 스무스 $k$-스킴 위의 단순형 예비층의 $\pi_0^{\mathbb{A}^1}$-로컬 모델 구조의 호모토피 범주로 정의된 $\pi_0^{\mathbb{A}^1}$-호모토피 범주 $Θ(k)$ 를 사용한다.
• 모든 $U \in \text{Sm}/k$ 에 대해 $\pi_0^{\mathbb{A}^1}(\mathcal{X})(U) = \pi_0(Ex_{\mathbb{A}^1}(\mathcal{X}))(U)$ 를 보장하는 $Ex_{\mathbb{A}^1}$ 를 통한 fibrant 대체를 적용한다.
• fibrant 이며 $\pi_0^{\mathbb{A}^1}$-fibrant 인 공간에 대해 Nisnevich Brown-Gersten 성질을 적용하여, 기본적인 구분된 제곱에서 호모토피 카르테시안 제곱을 확보한다.
• $a_{\text{Nis}}(\pi_0^{\mathbb{A}^1}(\mathcal{X}))$ 가 Nisnevich 층임을 알고 있으며, 제약 사상 $a_{\text{Nis}}(\pi_0^{\mathbb{A}^1}(\mathcal{X}))(U) \to a_{\text{Nis}}(\pi_0^{\mathbb{A}^1}(\mathcal{X}))(Δ^1_U)$ 가 전단사임을 보여 $\pi_0^{\mathbb{A}^1}$-불변성을 증명한다.
• 문제를 $\mathbb{A}^1_F$ 에서의 표준 사상 $\pi_0^{\mathbb{A}^1}(\mathcal{X})(\mathbb{A}^1_F) \to a_{\text{Nis}}(\pi_0^{\mathbb{A}^1}(\mathcal{X}))(Δ^1_F)$ 가 전단사임을 보이는 것으로 단순화한다. 이는 Theorem 2.2 와 층 성질을 사용하여 유도된다.
• $\mathbb{Z}[\mathbb{G}_m]$ 와 그 Nisnevich 층화의 $\pi_0^{\mathbb{A}^1}$-불변성을 활용하여 강한 $\pi_0^{\mathbb{A}^1}$-불변성을 위한 예와 반례를 구성한다.

실험 결과

연구 질문

• RQ1 H-군 $\mathcal{X}$ 에 대해 $\pi_0^{\mathbb{A}^1}(\mathcal{X})$ 의 Nisnevich 층화가 $\pi_0^{\mathbb{A}^1}$-불변인가?
• RQ2 모든 스무스 $k$-스킴 $U$ 에 대해 표준 사상 $a_{\text{Nis}}(\pi_0^{\mathbb{A}^1}(\mathcal{X}))(U) \to a_{\text{Nis}}(\pi_0^{\mathbb{A}^1}(\mathcal{X}))(Δ^1_U)$ 는 전단사인가?
• RQ3 H-군과 그 동차 공간에 대해 $\pi_0^{\mathbb{A}^1}(\mathcal{X})$ 의 $\pi_0^{\mathbb{A}^1}$-불변성이 그 Nisnevich 층화로 확장되는가?
• RQ4 $\mathbb{Z}(\mathbb{G}_m)$, 즉 $\mathbb{Z}[\mathbb{G}_m]$ 의 Nisnevich 층화는 강한 $\pi_0^{\mathbb{A}^1}$-불변인가?
• RQ5 $\mathbb{Z}[\mathbb{G}_m] \to \underline{K}_1^{MW}$ 의 표준 사상의 단사성과 $\mathbb{Z}(\mathbb{G}_m)$ 의 $\pi_0^{\mathbb{A}^1}$-불변성 사이의 관계는 무엇인가?

주요 결과

• Morel의 추측이 증명됨: 임의의 H-군 $\mathcal{X}$ 에 대해 Nisnevich 층화 $a_{\text{Nis}}(\pi_0^{\mathbb{A}^1}(\mathcal{X}))$ 는 $\pi_0^{\mathbb{A}^1}$-불변이다.
• 모든 유한 생성 분리 가능한 체 확장 $F/k$ 에 대해 $\pi_0^{\mathbb{A}^1}(\mathcal{X})(\mathbb{A}^1_F) \to a_{\text{Nis}}(\pi_0^{\mathbb{A}^1}(\mathcal{X}))(Δ^1_F)$ 의 표준 사상은 전단사이며, 이는 $Ex_{\mathbb{A}^1}(\mathcal{X})$ 에 Theorem 2.2 를 적용한 결과이다.
• $\mathbb{Z}(\mathbb{G}_m)$, 즉 $a_{\text{Nis}}(\mathbb{Z}[\mathbb{G}_m])$ 로 얻어진 층은 $\mathbb{G}_m$ 이 $\pi_0^{\mathbb{A}^1}$-불변이며 $\mathbb{Z}[\mathbb{G}_m]$ 가 Nisnevich Brown-Gersten 성질을 만족하므로 $\pi_0^{\mathbb{A}^1}$-불변이다.
• $\mathbb{Z}(\mathbb{G}_m)$ 는 강한 $\pi_0^{\mathbb{A}^1}$-불변이 아니며, 이는 $\sigma_1: \mathbb{G}_m \to \underline{K}_1^{MW}$ 의 단사성 부족으로 인해 강한 $\pi_0^{\mathbb{A}^1}$-불변성에 요구되는 유일한 인수분해가 존재하지 않기 때문이다.
• H-군 $\mathcal{X}$ 에 대해 $\pi_0^{\mathbb{A}^1}(\mathcal{X})$ 의 Nisnevich 층화는 $\pi_0^{\mathbb{A}^1}$-불변이며, 이 결과는 H-군의 동차 공간으로까지 확장된다.
• 증명은 $\pi_0^{\mathbb{A}^1}(\mathcal{X})(U) = \pi_0(Ex_{\mathbb{A}^1}(\mathcal{X}))(U)$ 이며, $Ex_{\mathbb{A}^1}(\mathcal{X})$ 가 fibrant 이고 $\pi_0^{\mathbb{A}^1}$-fibrant 이므로 $\pi_0^{\mathbb{A}^1}$-호모토피 범주에서 호모토피 이론적 도구를 사용할 수 있음을 기반으로 한다.