노스트 다양체와 체인 보조정리

본 논문은 마르쿠스 노스트가 제시한 두 핵심 정리, 즉 체인 보조정리(Chain Lemma)와 노름 원리(Norm Principle)를 상세히 증명하고, 이를 통해 블로흐‑카토(Bloch‑Kato) 추측의 최종 단계인 노름 다양체(Norm Variety)와 노름 모티프(Rost Motive)의 존재를 확립한다. 논문은 크게 네 부분으로 구성된다. 첫 번째 부분에서는 기본 설정을 명확히 한다. 고정된 홀수 소수 p와 p‑뿌리들을 포함하는 특성 0의 체 k를 잡고, n≥2와 비자명한 Milnor K‑군 기호 {a₁,…,aₙ}∈Kⁿᴹ(k)/p를 선택한다. 여기서 스플리팅 필드와 p‑제네릭성을 정의하고, 차원이 pⁿ−1−1인 매끄러운 프로젝트ive p‑제네릭 스플리팅 다양체를 ‘노름 다양체’라 명명한다. 두 번째 부분에서는 체인 보조정리를 증명한다. 핵심 아이디어는 기존 기호 {a₁,…,aₙ}를 새로운 p‑형식 γᵢ,γᵢ′ 로 교체하면서, 이들을 포함하는 매끄러운 셀룰러 다양체 S와 선 번들 J₁,…,Jₙ₋₁, J₁′,…,Jₙ₋₁′을 구성하는 것이다. 구체적으로, S는 차원 p·(pⁿ⁻¹−1)=pⁿ−p인 매끄러운 프로젝트ive 셀룰러 다양체이며, 각 번들 Jᵢ와 Jᵢ′에 비제로 p‑형식 γᵢ,γᵢ′ 를 부여한다. 정리 0.1은 다음과 같은 일곱 가지 조건을 만족함을 보인다. (1) dim S = pⁿ−p, (2) K‑기호가 γᵢ,γᵢ′ 로 재표현되고, 단계별로 {a₁,…,aᵢ₋₁,γᵢ} = {a₁,…,aᵢ₋₂,γᵢ₋₁,γᵢ₋₁′} 와 같은 관계가 유지된다, (3) γᵢ는 해당 번들의 섹션으로서 p‑형식으로 존재하고, (4) γᵢ와 γᵢ′ 의 영점 V(γᵢ)∪V(γᵢ′)에 해당하는 점들의 잔여 체 k(s) 가 전체 기호를 스플리팅한다, (5) 각 영점 집합의 차수 I(V(γᵢ))+I(V(γᵢ′)) 가 p와 서로소인 정수를 만든다, (6) c₁(J)^{dim S} 의 차수가 p와 서로소이며, (7) γᵢ/∈Γ(S,Jᵢ)⊗(−p) 임을 확인한다. 증명 과정에서 ‘tower’라는 반복적인 프로젝트 라인 번들 구성을 도입한다. 시작점으로 X₀=Spec k와 트리비얼 번들을 잡고, 각 단계에서 P(O⊕K_{r−1}) 를 취해 X_r을 만든다. 이때 K_r = (f_r∘f_{r−1})^*K_{r−2}⊗L_r 로 정의한다. 이렇게 얻은 k‑tower는 r=p 일 때 S와 동일해지며, J₁=K_p, J₁′=f_p^*K_{p−1} 로 설정된다. Chow 고리와 Chern 클래스의 관계를 이용해 λ_r = c₁(K_r) 가 차수 계산에 핵심이 된다. Lemma 2.6에서는 λ_p^{p²−p} 의 차수가 p와 서로소임을 보이며, 이는 체인 보조정리의 (6) 조건을 만족한다. 세 번째 부분에서는 노름 원리를 다룬다. 먼저 정규화된 K₁‑동형군 A₀(X,K₁)를 정의하고, 이는 폐쇄점 x와 그 점의 함수체 k(x)× 로 생성되는 기호