[논문 리뷰] Compactification of Dolbeault moduli spaces

Mark Andrea A. de Cataldo|arXiv (Cornell University)|2018. 12. 17.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 5

한 줄 요약

이 논문은 C. 심슨의 영감을 받은 $\mathbb{G}_m$-등변 컴팩트화 기법을 사용하여, 프로젝티브 다양체의 가닥에 대해 재수성 대수군의 히친 모듈리 공간에 대한 자연스러운 프로젝티브 컴팩트화를 구축한다. 주요 기여는 컴팩트화가 프로젝티브임을 증명하고 히친 사상과 호환됨을 보이며, 이는 오랫동안 문헌에서 논의되었지만 증명되지 않은 분야의 빈자리인 바람직한 결과를 메우는 것이다.

ABSTRACT

We construct a relative compactification of Dolbeault moduli spaces of Higgs bundles for reductive algebraic groups on families of projective manifolds that is compatible with the Hitchin morphism.

연구 동기 및 목표

• 프로젝티브 다양체 위의 재수성 군에 대한 돌베올트 모듈리 공간의 엄밀한 프로젝티브 컴팩트화를 제공함으로써, 이는 오랫동안 기대되어 왔지만 이전에는 문헌에서 증명되지 않은 결과이다.
• 모든 재수성 대수군에 대해 히친 사상의 프로젝티비티를 확립함으로써, 심슨의 $GL_n$에 대한 결과를 일반 재수성 군으로 확장한다.
• 비아벨리안 호지 정리와 특이점 해소를 활용하여, 적절한 조건 하에서 컴팩트화된 모듈리 공간에서의 퇴화 사이클이 사라짐을 증명한다.
• 특히 $\mathbb{G}_m$-작용과 모듈리 공간에서의 선형화 가능성에 관한 기술적 빈자리들을 메우기 위해, 루나 슬라이스 정리의 새로운 변형을 도입한다.
• 새로운 컴팩트화와 A. 샤미트의 구성 간의 비교 및 대조를 통해, 히친 피브리케이션과 기하학적 구조의 맥락에서 그 장점이 무엇인지 명확히 한다.

제안 방법

• C. 심슨의 $\mathbb{G}_m$-등변 스택에 대한 컴팩트화 정리를 활용하고, 히친 사상을 통합하기 위한 새로운 강화 결과(정리 3.2.2)를 추가로 도입하여 향상시킨다.
• 히친 사상의 $\mathbb{G}_m$-등변성과 선형화 가능한 결정선다발 $L_M$을 활용하여 기하학적 불변 이론(GIT) 방법을 통해 프로젝티브 컴팩트화를 구성한다.
• $\mathbb{G}_m$-변형 루나 슬라이스 정리(보조정리 3.5.1)를 적용하여 모듈리 공간의 오르비터 구조를 다루며, 원래 공간이 오르비터일 경우 컴팩트화가 오르비터 성질을 유지함을 보장한다.
• 유도 범주 내의 분해 정리와 쌍대성을 활용하여, 컴팩트화상의 교차 호모로지 복합체가 해소로부터의 푸시포워드의 직접 합성분임을 보이며, 퇴화 사이클을 제어할 수 있음을 보장한다.
• 히친 기반과 셸리의 제약 동형사상의 인수 분해를 통한 인자화를 통해, 기반 $S$ 위의 상대적 프로젝티브 스킴으로서 컴팩트화를 구성한다.
• 비아벨리안 호지 정리를 활용하여, 기반 $S$ 위에서 모듈리 공간의 위상적 국소 평탄성을 보장함으로써, 전역 컴팩트화의 구성에 기여한다.

실험 결과

연구 질문

• RQ1 재수성 군에 대해 자연스럽고 프로젝티브인 돌베올트 모듈리 공간의 컴팩트화를 히친 사상과 호환되게 구성할 수 있는가?
• RQ2 모든 재수성 대수군에 대해 히친 사상이 프로젝티브한가, $GL_n$ 이외의 경우에도 마찬가지인가?
• RQ3 특히 영점 콘 위에서, $\mathbb{G}_m$-작용 하에서 컴팩트화된 모듈리 공간에서의 퇴화 사이클 복합체는 사라지는가?
• RQ4 새로운 컴팩트화는 A. 샤미트의 구성과 어떻게 관련되어 있으며, 히긴스 번들 맥락에서 어떤 점에서 더 우월하거나 자연스러운가?
• RQ5 원래 모듈리 공간이 오르비터일 경우, 컴팩트화의 위상적 및 기하학적 성질은 어떠한가?

주요 결과

• 논문은 기반 $S$ 위에서 돌베올트 모듈리 공간 $M$에 대한 상대적 프로젝티브 컴팩트화를 구성하며, 이는 히친 사상과 호환되며, 정리 3.1.1을 증명한다.
• 모든 재수성 대수군 $G$에 대해 히친 사상이 프로젝티브임을 보이며, 심슨의 결과($GL_n$에 국한된)를 일반 재수성 군으로 확장한다(정리 2.2.2).
• 조건이 보조정리 3.8.1(3)를 만족할 경우, 컴팩트화된 모듈리 공간에서의 교차 호모로지 복합체에 대한 퇴화 사이클 복합체 $\phi F$는 사라진다.
• 원래 돌베올트 모듈리 공간이 오르비터일 경우, 보조정리 3.5.1에 의해 컴팩트화 역시 오르비터임을 보장한다.
• 분해 정리에 의해, 컴팩트화에서의 상수층의 푸시포워드로부터의 직접 합성분임을 보이며, 페르스코 호모로지에 대한 제어를 보장한다.
• 구성은 다항식 유형의 $\Lambda$-모듈러로 일반화되며, 히긴스 층과 돌베올트 모듈리 공간이 특수한 경우로 포함된다(비고 3.1.3).