[논문 리뷰] On isolated log canonical singularities with index one

Osamu Fujino|arXiv (Cornell University)|2011. 07. 04.

Algebraic Geometry and Number Theory참고 문헌 35인용 수 17

한 줄 요약

이 논문은 최소 모델 프로그램을 이용하여 인덱스가 1인 고립된 로그 단순 특이점의 기하적 특성을 규명하며, 예외적 분해의 이중 복합체의 조각들의 최소 차원으로 정의된 불변량 μ(P∈X)가 이시의 호지 이론적 불변량과 일치함을 증명한다. 주요 결과는 P∈X가 (0,i)형임과 μ(P∈X)=i이면서 동시에 이중 복합체의 기하적 접근과 호지 이론적 접근을 하나로 통합하며, 두 보우 시그니처 특이점에 의존하지 않는다.

ABSTRACT

We give a method to investigate isolated log canonical singularities with index one which are not log terminal. Our method depends on the minimal model program. One of the main purposes is to prove that our invariant coincides with Ishii's Hodge theoretic invariant.

연구 동기 및 목표

• 인덱스가 1이지만 로그 단순이 아닌 고립된 로그 단순 특이점에 대한 기하적 특성화를 제공한다.
• 예외적 분해의 이중 복합체의 조각들의 최소 차원으로 정의된 불변량 μ(P∈X)를 정의하고 연구한다.
• 최소 모델 프로그램을 통해 이 기하 불변량과 이시의 호지 이론적 불변량 간의 직접적 연결을 확립한다.
• 이중 복합체의 코homology가 예외적 분해의 호지 구조, 특히 무게 필터링을 반영함을 보인다.
• 최소 모델 프로그램 접근법이 호지 이론적 방법만으로는 도달할 수 없는 성질—예를 들어 최소 조각들의 비라소모르 등가성과 연결성 성질—을 도출함을 보인다.

제안 방법

• 해결 f:Y→X에서 예외적 분해 E의 이중 복합체의 조각들의 최소 차원으로 μ(P∈X)를 정의한다.
• dlt 블로업과 최소 모델 프로그램을 사용하여 E와 그 조각들의 구조를 분석하며, 특히 이중 복합체와 그 위상적 실현을 중심으로 다룬다.
• Mayer–Vietoris 완전열과 혼합 호지 구조의 무게 필터링을 적용하여 Gr^W_k H^{n-1}(E, O_E)를 계산한다.
• 차원에 대한 귀납법과 K∼0인 sdlt 쌍의 구조를 이용하여 Gr^W_k H^{n-1}(E, O_E) ≠ 0이 성립하는 것은 k=μ일 때뿐임을 증명한다.
• 비라소모르 사상에 沿한 코homology 군의 당김을 포함하는 교환 다이어그램을 구성하여 최소 조각의 코homology와 E의 총 코homology를 연결한다.
• 최소 조각이 K∼0를 가지며 단순 특이점만을 가지므로, 코homology에서 무게 필터링을 유지하는 동형사상이 가능함을 활용한다.

실험 결과

연구 질문

• RQ1 이중 복합체의 조각 차원으로 정의된 기하 불변량 μ(P∈X)가 이시의 (0,i)형 호지 이론적 불변량과 일치하는가?
• RQ2 최소 모델 프로그램을 통해 호지 이론적 방법만으로는 접근할 수 없는 예외적 분해의 이중 복합체의 성질을 도출할 수 있는가?
• RQ3 μ(P∈X)=0일 때, 이중 복합체 |Γ|의 위상적 및 코homological 구조는 어떠한가?
• RQ4 예외적 분해의 조각들이 비라소모르 사상 하에서 어떻게 행동하는가? 그리고 서로 비라소모르 등가인가?
• RQ5 인덱스가 1인 고립된 로그 단순 특이점의 경우, 이중 복합체 |Γ|의 코homology가 H^{n-1}(E, C)의 무게 필터링을 반영할 수 있는가?

주요 결과

• 이중 복합체 E의 조각들의 최소 차원으로 정의된 불변량 μ(P∈X)는 이시의 호지 이론적 불변량과 일치한다: P∈X는 (0,i)형이 되는 것과 μ(P∈X)=i이면서 동시에 동치이다.
• 이중 복합체 |Γ|의 차원은 n−1−μ이며, μ=0일 때는 모든 i에 대해 H^i(|Γ|, C) ≃ H^i(E, O_E)이다.
• μ=0일 때, 특이점 P∈X는 코hen–Macaulay(등가로 고렌스타이니)이 되는 것과 H^i(|Γ|, C)가 차수 0과 n−1에서 C이며, 그 외에는 0이 되는 것과 동치이다.
• E의 각 기초 성분 E_{i_0}에 대해, ∑_{i≠i_0} E_i|_{E_{i_0}}는 최대 두 개의 연결 성분을 가진다.
• 모든 최소 조각은 서로 비라소모르 등가이며, 이는 호지 이론적 방법으로는 도달할 수 없는 결과이다.
• Mayer–Vietoris 완전열의 연결 동형사상은 H^μ(C', O_{C'}) ≃ H^{n-1}(T, O_T) 및 H^μ(C, O_C) ≃ H^{n-1}(E, O_E)를 유도하며, 이는 무게 필터링을 유지한다.