[논문 리뷰] Geometry of cohomology support loci for local systems I

Donu Arapura|ArXiv.org|1996. 12. 07.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 162

한 줄 요약

이 논문은 컴팩트 카플러 다양체의 조르지-오픈 부분집합 위의 국소계열에 대한 코homology 지지류의 기하적 구조를 규명하며, 이들이 특성 다양체 내의 부분토루의 이동합합의 유한한 합집합임을 보여준다. 히그(bundle) 기법과 초공학적 동치를 사용하여 이러한 지지류가 지수형 호지 유형임을 증명함으로써, 이러한 공간의 기본군에 대한 강력한 위상적 제약 조건을 이끌어내며, 특히 일반 타입 곡선으로의 사상에 관해 강력한 제약을 부과한다.

ABSTRACT

Let X be a Zariski open subset of a compact Kaehler manifold. In this paper, we study the set $Σ^k(X)$ of one dimensional local systems on X with nonvanishing kth cohomology. We show that under certain conditions (X compact, X has a smooth compactification with trivial first Betti number, or k=1) $Σ^k(X)$ is a union of translates of sets of the form $f^*H^1(T,C^*)$, where $f:X o T$ is a holomorphic map to a complex Lie group which is an extension of a compact complex torus by a product of C^*'s (these correspond to semiabelian varieties in the algebraic category). This generalizes earlier work of Beauville, Green, Lazarsfeld, Simpson and the author in the compact case. The main novelty lies in the proofs which involve consideration of Higgs fields with logarithmic poles. While a completely satifactory theory of such objects is still lacking, we are able to work out what we need in the rank one case by borrowing ideas from mixed Hodge theory. This will appear in the Journal of Algebraic Geometry.

연구 동기 및 목표

• Zariski-오픈 부분집합 X를 가진 컴팩트 카플러 다양체 위 국소계열에 대한 코homology 지지류의 기하적 구조를 이해하는 것.
• 이러한 지지류가 특성 다양체 내의 부분토루의 이동합합의 유한한 합집합임을 증명하여, 컴팩트 카플러 다양체의 결과를 일반화하는 것.
• 첫 번째 코homology 지지류 Σ¹(X)가 지수형 호지 유형임을 보여주며, 이는 유한한 지수형 이동합합의 복합체 하위혼합호지 구조로의 분해를 암시함.
• 이러한 공간의 기본군에 대한 위상적 제약 조건을 유도하는 것, 특히 일반 타입 곡선으로의 전사 사상에 관해.
• 일반 타입 곡선으로의 적합한 사상의 수가 유한하며, 기본군에 의해만 결정됨을 증명하는 것.

제안 방법

• X 위의 평탄한 유니터리 접속을, 정규 교차 분할 D를 가진 콪팩티피케이션 X̄ 위의 로그 히그 필드와 연결하기 위해 히그(bundle) 기법을 사용한다.
• 초공학적 동치를 적용: H•(X, Vθ) ≅ H•(Ω•(log D) ⊗ V; ∇ + θ) ≅ H•(Ω•(log D) ⊗ V; θ)로, θ의 스케일링 불변성을 보여준다.
• 코homology가 θ ↦ tθ의 확대에 대해 불변임을 증명하며, 이는 지수형 호지 유형의 구조를 증명하는 데 핵심적이다.
• Hochschild-Serre 스펙트럴 시퀀스를 적용하여 H¹(X, Cρ)를 HomΛ(M, Cρ)와 연결하며, 여기서 M은 특성 다양체 위의 모듈로 한다.
• Σ¹(X)가 자리지-닫힘이며, 유니터리 특성에서 광선 조건을 만족함을 이용해, 지수형 호지 유형의 구조를 유도한다.
• 곡선 위의 단일계열과 모노드로미를 포함한 위상적 추론을 통해, 포함 사상의 단사성과 성분의 유한성을 증명한다.

실험 결과

연구 질문

• RQ1 컴팩트 카플러 다양체의 조르지-오픈 부분집합 X에 대해, 코homology 지지류 Σ¹(X)의 기하적 구조는 무엇인가요?
• RQ2 히그 필드의 스케일링에 따라 국소계열의 코homology는 어떻게 행동하며, 이는 지지류에 어떤 영향을 미치나요?
• RQ3 지지류 Σk(X)가 X의 기본군을 얼마나 정확히 결정할 수 있나요?
• RQ4 Σ¹(X)의 구조를 이용해, 일반 타입 곡선으로의 적합한 사상의 존재 여부를 탐지할 수 있나요?
• RQ5 지수형 호지 유형의 구조는 X의 위상에 어떤 제약을 가합니다?

주요 결과

• Σ¹(X)는 H¹(X, C*) 내의 부분토루의 이동합합의 유한한 합집합이며, 구체적으로 ∪i ρi f_i^* H¹(C_i, C*) ∪ ∪j {ρ'j}로 표현되며, 여기서 f_i: X → C_i는 오일러 지표가 음수인 곡선으로의 헬름포르믹 사상이다.
• 국소계열 V_θ의 코homology는 확대 θ ↦ tθ에 대해 불변이며, 이는 지수형 호지 유형의 구조를 증명하는 데 핵심적인 단계이다.
• Σk(X)는 지수형 호지 유형이다: H¹(X, C) 내의 복소수 부분공간 exp(Λ_i ⊗ C + r_i)의 이동합합의 유한한 합집합이다.
• Σ¹(X)에 포함된 자명한 특성과 함께 b차원 성분의 수는 유한하며, π₁(X)에만 의존하며, 특정한 카플러 구조에 따라 달라지지 않는다.
• X가 일반 타입 곡선으로 전사 헬름포르믹 사상이 존재하는 것은, π₁(X)가 비아벨 자유군으로 전사하는 것과 동치이다.
• 만약 dim H₁(π₁(X)', C) = ∞ 이면, X → Y의 유한한 분리된 아벨 코버 Y가 존재하여, Y는 일반 타입 곡선으로의 적합한 사상이 존재한다.