뭄퍼드 곡선의 K2를 위한 강체 해석 레귤레이터

본 논문은 비아키메데아적 절대값을 갖는 완비 대수폐쇄체 C 위에 정의된 뭄퍼드 곡선 X에 대해, K₂-레귤레이터를 강체 해석적으로 구축한다. 서론에서는 복소수 경우의 베일린슨‑블록‑델린게레 레귤레이터를 소개하고, 그 두 가지 핵심 성질(점 주변의 테임 기호와 연속성)을 비아키메데아적 상황에 옮기기 위한 목표를 제시한다. 2장에서는 프로젝트 라인 ℙ¹의 연결된 유리 부분 영역 U와 그 경계 원판 집합 ∂U를 정의한다. O(U)와 R(U)는 각각 전역 정칙함수와 유리함수의 제한을 의미한다. 정의 2.5에 따라, 경계 원판 D∈∂U에 대해 두 비소멸 전역 정칙함수 f,g∈R⁎(U) 의 레귤레이터 {f,g}_D 를 D 안의 모든 점 x에 대한 테임 기호 {f,g}_x의 곱으로 정의한다. 이 정의는 Weil 상보법칙(정리 2.4)으로부터 유도된 일관성을 갖는다. Theorem 2.2는 위 정의가 (i) 유리함수에 대해 위와 같이 주어지고, (ii) 이중선형, (iii) 교환성, (iv) {f,1−f}_D=1, (v) 연속성(ε‑근접성) 등 다섯 가지 성질을 만족하는 유일한 맵임을 증명한다. 연속성은 O_ε(U)와 U_ε(= {z∈C | |z|≤ε}) 를 도입함으로써 sup‑norm 위에서의 한계가 존재함을 보인다. Lemma 2.6·2.7·2.9·2.10은 R_ε(U) 라는 “ε‑근접 단위원소” 군을 구축하고, 임의의 f∈R_ε(U) 를 각 경계 원판 D에 대한 함수 f_D(z)∈R_ε(D^c) 의 곱으로 유일하게 분해할 수 있음을 보인다. 이 분해는 레귤레이터가 경계 원판 별로 “지역화” 될 수 있음을 의미한다. 3장에서는 이러한 지역 레귤레이터를 보다 일반적인 유리 부분 영역에 대해 확장한다. 정의 3.2에 따라 {·,·}_D 를 O⁎(U)×O⁎(U) → C⁎ 로 정의하고, Theorem 3.11(불변성 정리)에서는 두 영역 U⊂V 사이의 포함이 레귤레이터에 어떠한 영향을 주지 않음을 보인다. 이를 위해 경계 원판들의 부분 순서를 이용해 H₁(U) 라는 1‑차 동형군을 정의하고, Theorem 3.6·3.8을 통해 H₁(U) 가 레귤레이터의 사상값을 완전히 결정한다는 것을 증명한다. 4장은 기술적 보조 결과들을 제시한다. 여기서는 R_ε(U) 의 구조와 경계 원판 사이의 포함 관계, 그리고 연속성에 필요한 보조 정리들을 증명한다. 5장에서는 본 논문의 핵심 결과인 뭄퍼드 곡선 X에 대한 전역 레귤레이터를 정의한다. X는 C 위의 뭄퍼드 곡선이며, 반사 섬유 X₀ 를 갖는 반사 모델을 선택한다. 반사 그래프 Γ(X₀) 의 정점은 X₀ 의 구성 요소, 변은 교차점을 나타낸다. 정의된 레귤레이터는 \