수신 정밀동형학과 코호몰로지: Suslin 호몰로지의 새로운 전개

본 논문은 Thomas Geisser가 제시한 Suslin 단일동형학(H_S^i)과 그 코호몰로지(H_i^S)의 여러 새로운 측면을 체계적으로 탐구한다. 서론에서는 Suslin‑Voevodsky가 정의한 H_S^i(X,A)=T or_i(Cor_k(Δ^*,X),A)와 H_i^S(X,A)=Ext^i_Ab(Cor_k(Δ^*,X),A)를 상기하고, 기존 결과인 H_S^i(X,ℤ/m)≅H_et^i(X,ℤ/m) (m이 특성과 서로소) 를 재언급한다. 논문의 전반부는 두 가지 주요 질문에 초점을 맞춘다: (1) 특성 p인 경우, 특히 p‑부분에 대한 구조는 어떠한가? (2) 비대수적 폐쇄 필드, 특히 유한체 위에서 Suslin 호몰로지는 어떤 Galois‑descent 성질을 갖는가? 첫 번째 절에서는 k가 완전(p‑perfect)이며 해상도 존재를 가정한다. 주요 정리 3.2는 H_S^i(X,ℤ/pʳ)이 차원 d=dim X에 대해 0≤i≤d에서만 비자명하고, 모든 i에서 유한 아벨 군이며, 차원 외에서는 소멸함을 보인다. 이는 에틸 코호몰로지와 달리 특성 p에서도 유한성을 유지한다는 점에서 중요한 결과다. 또한 Proposition 3.3은 해상도 p′:X′→X가 열린 부분 U에서 동형이면 H_S^i(U,ℤ/pʳ)≅H_S^i(X,ℤ/pʳ)임을 증명, 즉 p‑부분이 강한 birational 불변성을 가짐을 보여준다. 이러한 결과는 차수 0·1에서의 호몰로지가 각각 ℤ와 아벨화된(완만) 기본군을 모델링한다는 직관과 일치한다. 두 번째 절에서는 k가 대수적으로 폐쇄되지 않은 경우를 다룬다. 여기서는 Galois‑Suslin 호몰로지 H_i^GS(X,A)=H^{-i}RΓ(G_k,Cor_{\bar k}(Δ^*,\bar X))와 그 코호몰로지 H^i_GS(X,A)=Ext^i_{G_k}(Cor_{\bar k}(Δ^*,\bar X),A)를 정의한다. 유한 계수 m이 특성과 서로소이면 기존 증명(정리 (1))을 그대로 적용해 H^i_GS(X,ℤ/m)≅H_et^i(X,ℤ/m)임을 얻는다. 이로부터 H^0_GS(X,ℤ/m)≅π_1^{ab}(X)/m (분리된 유한형 스키마 X)라는 동형을 도출한다. 즉, Galois‑Suslin 코호몰로지는 에틸 코호몰로지와 동일한 정보를 제공하면서, 비대수적 폐쇄 상황에서도 잘 동작한다. 세 번째 절은 유한체 𝔽_q 위에서의 ‘산술 호몰로지’와 ‘Kato‑Suslin 호몰로지’를 도입한다. 산술 호몰로지는 H_i^ar(X,A)=Tor_i^{G}(Cor_{\bar k}(Δ^*,\bar X),A) 로 정의하고, 그 코호몰로지는 Ext^i_{G}(Cor_{\bar k}(Δ^*,\bar X),ℤ) 로 정의한다. 이 이론은 차수 0에서 H_0^ar(X,ℤ)≅ℤ^{π_0(X)}를, 차수 1에서 H_1^ar(X,ℤ)이 완만(또는 전체) 아벨화된 기본군 π_1^{t}(X)^{ab}의 정수 모델이 될 것이라는 기대를 제시한다. Kato‑Suslin 호몰로지는 H_i^KS(X,A)=H_i(Cor_{\bar k}(Δ^*,\bar X)_G) 로 정의하고, 세 이론 사이에 장 exact sequence …→H_S^i(X,A)→H_{i+1}^ar(X,A)→H_i^KS(X,A)→H_S^{i-1}(X,A)→… 를 얻는다. 특히 H_0^KS(X,A)=ℤ^{π_0(X)}임을 확인한다. 이후 저자는 두 가지 주요 추측을 제시한다. Conjecture 1.1은 모든 매끄러운 X에 대해 H_i^KS(X,A)=0 (i>0) 라는 전역 소멸을 주장한다. 이는 차수 i>0에서의 Kato‑Suslin 호몰로지가 완전히 사라짐을 의미한다. Conjecture 2는 산술 호몰로지 1차가 π_1^{t}(X)^{ab}에 조밀히 사상한다는 것으로, 심지어 기하학적 부분과 동형일 가능성을 제시한다. 저자는 이 두 추측이 기존의 Parshin‑Kato‑Suslin 전범위 추측(P₀)와 동치임을 증명한다. 즉, P₀가 참이면 H_S^i(X,ℤ)와 H_i^S(X,ℤ)이 모두 유한 생성이며, 위의 두 새로운 이론도 유한 생성성을 갖는다. 마지막으로, ℓ≠p인 경우에 대한 무조건적인 결과를 제시한다. Proposition 1.3은 ℓ‑부분에 대해 H_1^ar(X,ℤ)_ℓ≅π_1^{t}(X)^{ab}(ℓ)임을 보이며, 이는 산술 호몰로지가 완만 기본군을 정확히 포착한다는 강력한 증거가 된다. 논문 전체는 해상도 가정 하에 여러 정리를 증명하고, 해상도가 없을 경우에도 기대되는 형태를 추측으로 제시한다. 이러한 구조적 이해는 Suslin 호몰로지를 에틸·동기적 호몰로지와 연결시키고, 특히 특성 p와 유한체 상황에서의 정밀한 산술적 의미를 밝히는 데 크게 기여한다.