A¹ 동형사상과 사변기하의 불변량 연구

본 논문은 A¹‑동형론과 사변기하 사이의 깊은 연관성을 탐구한다. 서론에서는 A¹‑연결성(π₀^{A¹}(X) ≅ * )이 기존의 rationality 개념과 어떻게 연결되는지를 서술하고, A¹‑동형학 전단층 H₀^{A¹}(X) 의 필요성을 제기한다. 2장에서는 A¹‑동형론의 기본 구조를 정리한다. Nisnevich 전단층 위의 simplicial sheaf, 모델 구조, A¹‑local 객체, 그리고 A¹‑weak equivalence 를 정의한다. 이어서 R‑계수를 갖는 A¹‑singular chain 복합체 C₍*₎(X,R) 를 도입하고, 이를 통해 A¹‑동형학 Hᵢ^{A¹}(X,R) 와 그 변형 ˜Hᵢ^{A¹}(X,R) 를 정의한다. 또한 Suslin 동형학 전단층 H₀^{S}(X) 와의 비교를 위해 전단층 K(A,n) 와의 adjunction 을 기술한다. 3장에서는 H₀^{A¹}(X) 의 birational 성질을 본격적으로 연구한다. Proposition 3.5 (정리 3.5)에서는 H₀^{A¹}(X) → H₀^{A¹}(π₀^{A¹}(X)) 가 Nisnevich 전단층 동형임을 보이며, 이는 H₀^{A¹}(X) 가 π₀^{A¹}(X) 위에 “자유” 아벨 군 전단층임을 의미한다. Lemma 3.3 은 “strictly A¹‑invariant sheaf” 라는 범주 안에서 자유 전단층을 정확히 정의한다. 이어서 Theorem 3.9 (정리 3)에서는 k 가 무한체일 때, k‑birational 등가인 두 정규 스키마 X, X′ 에 대해 H₀^{A¹}(X) ≅ H₀^{A¹}(X′) 임을 증명한다. 이는 H₀^{A¹} 가 birational 불변량임을 보여주는 핵심 결과이며, 기존의 Suslin 동형학이 가진 birational 불변성(특히 H₀^{S}(X) ≅ CH₀(X))과 직접 비교한다. 4장에서는 비전이(invariant) 코호몰로지와의 관계를 탐구한다. 먼저 Colliot‑Thélène와 Ojanguren이 정의한 비전이 étale 코호몰로지 Hⁱ_{ur}(L/k, μₙ^{⊗j}) 를 소개하고, 이들이 birational 불변량임을 상기한다. Lemma 4.7 은 H₀^{A¹}(X) 와 Hⁱ_{ét}(μₙ^{⊗j}) 전단층 사이에 자연 동형을 구축한다:  Hⁱ_{ur}(X, μₙ^{⊗j}) ≅ Hom_{Shv_{Nis}}(H₀^{A¹}(X), Hⁱ_{ét}(μₙ^{⊗j})). 이 동형을 통해 H₀^{A¹}(X) 가 모든 비전이 étale 코호몰로지를 “통제”한다는 사실을 얻는다. 예시 4.9, 4.12 에서는 Milnor K‑이론과 Witt 전단층에 대한 구체적 적용을 보여준다. 핵심적인 역정리인 Theorem 4.15 (정리 5)에서는 H₀^{A¹}(X) → ℤ 가 동형이면 X 가 A¹‑연결이며, 그 역도 성립함을 증명한다. 증명은 먼저 H₀^{A¹}(X) 가 “universal unramified invariant” 라는 성질을 이용해, 비전이 코호몰로지의 소멸이 A¹‑연결성을 강제함을 보인다. 반대로, A¹‑연결이면 모든 비전이 코호몰로지가 사라지고, 따라서 H₀^{A¹}(X) 가 ℤ 로 축소된다. 이 과정에서 strictly A¹‑invariant sheaf 가 전이(transfers)를 갖지 않음에도 불구하고 birational 정보를 충분히 보존한다는 점을 강조한다. 마지막으로 Parimala의 예시(예 4.19)를 통해, H₀^{S}(X) → ℤ 가 동형이더라도 A¹‑연결성을 보장하지 못함을 보여준다. 이는 A¹‑동형학이 Suslin 동형학보다 미세한 기하학적 정보를 포착한다는 중요한 교훈을 제공한다. 전체적으로 논문은 다음과 같은 흐름을 갖는다. 1. A¹‑동형학 전단층 H₀^{A¹} 의 정의와 기본 성질 제시. 2. H₀^{A¹} 가 π₀^{A¹} 위의 자유 전단층이며, birational 불변량임을 증명. 3. 비전이 étale 코호몰로지와의 자연 동형을 구축, 이를 통해 다양한 불변량(예: Milnor K‑이론, Witt 전단층)을 제어. 4. 비전이 불변량의 소멸 ⇔ A¹‑연결성이라는 완전한 역정리를 도출. 5. 기존의 Suslin 동형학과 비교하여 A¹‑동형학이 제공하는 새로운 검출 능력을 강조한다. 이러한 결과들은 A¹‑동형론이 사변기하와 비전이 코호몰로지 사이의 다리 역할을 수행함을 명확히 보여주며, 향후 A¹‑연결성 판별, birational 불변량 연구, 그리고 더 일반적인 motivic homotopy 이론의 전개에 중요한 도구가 될 것으로 기대된다.