연결동형사상의 기하학적 기술

본 논문은 Witt 군의 국소화 장Exact sequence에서 핵심적인 연결동형사상(∂)을 기하학적으로 명시적으로 기술하는 방법을 제시한다. 연구는 다음과 같은 흐름으로 전개된다. 1. **설정 및 기본 구조** - 스키마 X와 정규 폐쇄 부분 Z(코디멘션 c ≥ 2)를 잡고, 블로업 Bl = Bl_Z X와 예외섬유 E를 정의한다. - 열린 부분 U = X \ Z는 블로업에서 예외섬유를 뺀 부분과 동형이다. - 일반적인 코호몰로지 이론 H*에 대해 장Exact sequence (2)를 상기하고, 이를 Witt 군 W* 로 특수화한다. 2. **오리엔티드 이론과의 차이점** - K‑이론이나 Chow 군과 달리 Witt 군은 푸시포워드가 일반적으로 정의되지 않는다(특히 라인 번들의 꼬임 때문에). - 따라서 기존의 “오리엔티드 기술”(Theorem 1.3) 은 Witt 군에 바로 적용되지 않는다. 3. **보조 사상과 A⁎‑번들 가정** - 가정 1.2 에서는 보조 사상 α̃: Bl→Y와 A⁎‑번들 α: U→Y를 도입한다. 여기서 α는 Zariski‑국소적으로 평범한 A^r‑번들이다. - 이 구조는 Picard 군을 Pic(Bl) ≅ Pic(X)⊕ℤ·O(E) 형태로 분해하게 하며, 라인 번들 L∈Pic(X) 에 대해 정수 λ(L)을 정의한다. λ(L)는 α̃·α⁻¹·ι⁎(L)와 π⁎(L)·O(E)^λ(L) 사이의 차이를 측정한다. 4. **두 경우에 대한 주요 정리** - **Case (A) (λ(L)≡c−1(mod 2))** * 제한 사상 ι⁎: W⁎(X,L)→W⁎(U,L|U) 가 분할 사상이며, 섹션은 π_* ∘ α̃_* ∘ (α_*)⁻¹ 로 주어진다. * 연결동형사상 ∂가 0이 되고, 장Exact sequence은 0→W⁎_Z(X)→W⁎(X)→W⁎(U)→0 형태의 짧은 분할 exact sequence 로 축소된다. - **Case (B) (λ(L)≡c(mod 2))** * π_* 가 정의되지 않으므로 위와 같은 분할이 불가능하다. 대신 ∂를 ∂ = ι_* ∘ π̃_* ∘ ι̃_* ∘ α̃_* ∘ (α_*)⁻¹ 로 표현한다. * 여기서 π̃: E→Z, ι̃: Z→X는 각각 예외섬유와 원래 폐쇄 부분에 대한 포함이며, 푸시포워드는 Grothendieck‑Verdier 이중성에 의해 발생하는 캐노니컬 라인 번들 ω_f 로 꼬여 있다. 5. **Picard 군과 λ(L)의 계산** - Pic(Bl)와 Pic(E)의 구조를 상세히 분석하고, ω_π와 ω_π̃ 를 각각 (0,c−1)와 (−ω_ι,c) 로 표현한다. - 라인 번들 M∈Pic(Bl) 에 대해 ℓ≡c−1(mod 2)이면 π_* 가, ℓ≡c(mod 2)이면 π̃_* 가 존재한다는 Proposition 2.1 을 증명한다. - λ(L) 은 α̃·α⁻¹·ι⁎(L)와 π⁎(L)·O(E)^λ(L) 사이의 차이로 정의되며, 이는 선택된 보조 스키마 Y와 사상 α̃에 의존한다. 6. **비정규 스키마로의 일반화** - Section 3에서는 정규성 가정을 없애고 듀얼라이징 복합체와 코히런트 Witt 군을 도입한다. - Main Lemma 3.5 은 블로업을 통해 제한된 Witt 클래스가 어떻게 연결동형사상에 의해 전이되는지를 일반적으로 서술한다. 7. **주요 예시: Grassmann 다양체** - X = Gr_d(n), Z = Gr_d(n−1), Y = Gr_{d−1}(n−1) 로 설정하고, α가 A^{n−d}‑번들, α̃가 블로업을 Y로 사상하는 구체적인 상황을 제시한다. - 이 경우 λ(L) 은 선택된 라인 번들에 따라 짝·홀성이 달라지며, 특히 일부 L에 대해 Case B가 적용되어 ∂가 비자명하게 나타난다. - 이러한 기하학적 기술을 이용해 Witt 군의 완전한 계산을 수행했으며, 상세한 계산은 별도 논문