정밀 검증을 통한 강한 A 일 불변성 보완

초록

본 논문은 2023년 발표된 “Strong A¹‑invariance of A¹‑connected components of reductive algebraic groups”에서 핵심적인 Lemma 5.1의 증명이 불완전함을 지적하고, 그 결함을 메우는 자체적인 증명을 제공한다. 주요 내용은 호몰로지 주축 사상과 장착된 장(étale)·니시네비치(Nisnevich) 사이트 사이의 장(長) 정확한 수열을 정립하고, 이를 이용해 π₀^{A¹}(G)의 강한 A¹‑불변성을 확보하는 것이다.

상세 분석

논문은 먼저 Morel–Voevodsky의 A¹‑동형론에서 사용되는 장(長) 정확한 수열을, 특히 호몰로지 주축 사상(principal fibration)과 관련된 시뮬랙스 사상들의 장(長) 정확한 수열을 정리한다. Proposition 2.1·2.3을 통해 Nisnevich 사이트와 étale 사이트 사이의 호몰로지 사상들이 동일한 π_i (i≥1)를 유지함을 보이며, 이는 이후 핵심 단계에서 Q와 B_{ét} μ 사이의 비교에 필수적이다.

다음으로 Lemma 3.1에서 Q의 π₀가 B_{ét} μ의 π₀에 단사임을 스톡스(cohomology) 장Exact sequence을 이용해 입증한다. 여기서 핵심은 중앙 이소지(e G → G)의 핵 μ가 multiplicative type임을 이용해 Galois cohomology의 장Exact sequence을 전개하는 것이다. Lemma 3.2와 Proposition 3.4는 A¹‑지역성( A¹‑locality )을 보존하는 구조를 구축한다. 특히, bQ라는 풀링(pullback) 객체가 A¹‑지역이며 Q→bQ가 약동형(weak equivalence)임을 증명함으로써, Q와 B_{ét} μ 사이의 장Exact sequence을 A¹‑동형론 수준에서 끌어올린다.

Corollary 3.5에서는 강한 A¹‑불변성 가정 하에 π₀^{A¹}(e G)→π₀^{A¹}(G)→π₀^{A¹}(B_{ét} μ) 사이의 장Exact sequence을 얻는다. 이 수열은 이후 Lemma 4.1과 Lemma 4.2에서 핵심적인 역할을 한다. Lemma 4.1은 중앙 확장 1→K→G→H→1에서 K가 중앙이면서 G가 강한 A¹‑불변이면 H도 강한 A¹‑불변임을 보인다. 여기서는 Nisnevich‑étale 비교와 A¹‑불변성의 전이성을 정밀히 다룬다.

마지막으로 Lemma 4.2, 즉 원 논문의 Lemma 5.1을 증명한다. Corollary 3.5에서 얻은 장Exact sequence을 이용해 π₀^{A¹}(G)의 이미지와 코이미지가 각각 강한 A¹‑불변성을 갖는지를 확인한다. 이미지 부분은 Lemma 4.1을 적용해 중앙성 조건을 만족함을 보이고, 코이미지 부분은 μ‑torsor와 e G‑torsor의 A¹‑불변성을 각각 이용해 A¹‑불변성을 확보한다. 전체 흐름은 기존 논문의 결함을 보완하면서도 외부 결과(특히 Choudhury‑Hagadi의 논문)에 의존하지 않는 자체적인 증명을 제공한다는 점에서 의미가 크다.