[논문 리뷰] Cellular $\\mathbb A^1$-homology and the motivic version of Matsumoto's theorem

Fabien Morel, Anand Sawant|arXiv (Cornell University)|2020. 07. 29.

Advanced Algebra and Geometry인용 수 4

한 줄 요약

이 논문은 스무스 스킴에 셀 구조를 가진 새로운 계산 가능한 호모로지 이론인 셀룰라 $Ä^1$-호모로지를 도입하여 임의의 체 위의 분할 재조합적 군의 $Ä^1$-기본군을 계산한다. 이 이론을 통해 모티브 버전의 Matsumoto 정리가 확립되며, 분할된 단순형, 단순 연결인 대수적 군의 $Ä^1$-기본층이 유형에 따라 각각 Milnor $K$-이론 ${\mathbf{K}}^\mathrm{M}_2$ 또는 Milnor-Witt $K$-이론 ${\mathbf{K}}^\mathrm{MW}_2$ 와 동형임을 보여주며, 고전적 대수적 토폴로지 및 대수적 $K$-이론의 결과들을 통합하고 일반화한다.

ABSTRACT

We define a new version of $\\mathbb A^1$-homology, called cellular $\\mathbb A^1$-homology, for smooth schemes over a field that admit an increasing filtration by open subschemes with cohomologically trivial closed strata. We provide several explicit computations of cellular $\\mathbb A^1$-homology and use them to determine the $\\mathbb A^1$-fundamental group of a split reductive group over an arbitrary field, thereby obtaining the motivic version of Matsumoto's theorem on universal central extensions of split, semisimple, simply connected algebraic groups. As applications, we uniformly explain and generalize results due to Brylinski-Deligne and Esnault-Kahn-Levine-Viehweg, determine the isomorphism classes of central extensions of such an algebraic group by an arbitrary strictly $\\mathbb A^1$-invariant sheaf and also reprove classical results of E. Cartan on homotopy groups of complex Lie groups.

연구 동기 및 목표

• 스무스 스킴에 셀 구조를 가진 경우에 대해 새로운 계산 가능한 $Ä^1$-호모로지 이론인 셀룰라 $Ä^1$-호모로지를 정의하기 위해.
• 임의의 체 위의 분할 재조합적 군에 대해 $Ä^1$-기본군 층 ${\bm{\pi}}^{\u00c4^1}_1(G)$ 를 계산하기 위해.
• 분할된 단순형, 단순 연결인 대수적 군의 보편 중심 확장에 대한 모티브 버전의 Matsumoto 정리를 확립하기 위해.
• Brylinski-Deligne 및 Esnault-Kahn-Levine-Viehweg의 중심 확장에 관한 결과들을 통합하고 일반화하기 위해.
• 모티브 호모로지 이론을 사용하여 E. Cartan의 복소 리 군의 호모토피 군에 관한 고전적 결과를 재증명하기 위해.

제안 방법

• 스킴에 셀 구조가 부여된 경우에 관련된 셀룰라 $Ä^1$-사슬 복합체의 호모로지로 셀룰라 $Ä^1$-호모로지를 정의하기 위해.
• $Ä^1$-호모토피 순수성 정리와 완전체 위에서의 $Ä^1$-호모토피 층의 구조를 이용하여 기본군을 분석하기 위해.
• 분할된 단순형, 단순 연결인 대수적 군의 브라우하 분해에서 셀룰라 $Ä^1$-사슬 복합체를 구성하기 위해.
• 구멍이 난 아핀 공간과 그 스터핑의 명시적 모델을 사용하여 셀룰라 $Ä^1$-사슬 복합체의 저차수에서 미분을 계산하기 위해.
• 복소 점들의 단순 호모로지와의 비교를 통해 $Ä^1$-기본층과 Milnor $K$-이론 또는 Milnor-Witt $K$-이론 사이의 동형을 확립하기 위해.
• 모티브 코hom로지의 스펙트럴 시퀀스와 쌍대성을 이용하여 저차수에서 코호모로지 군의 영성과 랭크를 확인하기 위해.

실험 결과

연구 질문

• RQ1 임의의 체 $k$ 위의 분할 재조합적 군 $G$ 에 대해 $Ä^1$-기본군 층 ${\bm{\pi}}^{\u00c4^1}_1(G)$ 는 무엇인가요?
• RQ2 셀룰라 $Ä^1$-호모로지는 어떻게 이 기본군 층을 계산할 수 있으며, 이는 고전적 결과를 일반화합니까?
• RQ3 대수적 군의 맥락에서 보편 중심 확장에 대한 Matsumoto 정리의 모티브 해석은 무엇입니까?
• RQ4 플래그 다양체 $G/B$ 의 셀룰라 $Ä^1$-호모로지는 $G$ 의 모티브 코호모로지와 어떻게 관련이 있습니까?
• RQ5 E. Cartan의 복소 리 군에 대한 $Ï _3(G({\mathbb{C}}))$ 에 관한 고전적 결과는 모티브 호모토피 이론을 통해 재유도될 수 있습니까?

주요 결과

• 분할 재조합적 군 $G$ 에 대해 $Ä^1$-기본군 층 ${\bm{\pi}}^{\u00c4^1}_1(G)$ 는 짧은 정확열 $1 \to {\bm{\pi}}^{\u00c4^1}_1(G_{\rm sc}) \to {\bm{\pi}}^{\u00c4^1}_1(G) \to \mu \to 1$ 에 포함되며, 여기서 $\mu$ 는 보편 코팅의 핵입니다.
• 분할된 단순형, 거의 단순형, 단순 연결인 대수적 군 $G$ 에 대해, $Ä^1$-기본군 층은 $G$ 가 심플렉틱 유형이 아니면 ${\mathbf{K}}^\mathrm{M}_2$ 와 동형이며, 심플렉틱 유형이면 ${\mathbf{K}}^\mathrm{MW}_2$ 와 동형입니다.
• 저차수에서 플래그 다양체 $G/B$ 의 셀룰라 $Ä^1$-호모로지는 명시적으로 계산되었으며, 차수 2의 미분 이미지는 루트 시스템 데이터에 의해 결정됩니다.
• 셀룰라 $Ä^1$-사슬 복합체의 복소 점들이 $G({\mathbb{C}})$ 의 단순 호모로지를 계산함을 보였으며, $H^*(G;{\mathbf{K}}^\mathrm{M}_2)$ 를 위한 스펙트럴 시퀀스는 재색인화 후 세르 스펙트럴 시퀀스와 일치합니다.
• $H^1(G;{\mathbf{K}}^\mathrm{M}_2) \to H^1(G({\mathbb{C}});{\mathbb{Z}})$ 는 동형이며, $i \geq 2$ 에 대해 $H^i(G;{\mathbf{K}}^\mathrm{M}_2) = 0$ 이며, 이는 카르탕 정리의 모티브 변형을 확인합니다.
• 3차수에서 셀룰라 $Ä^1$-사슬 복합체의 쌍대는 호모로지가 ${\mathbb{Z}}$ 와 동형임을 보여주며, 이는 모티브 방법을 통해 $\pi_3(G({\mathbb{C}})) \cong {\mathbb{Z}}$ 를 증명합니다.