[논문 리뷰] Hodge theory for tropical varieties

Omid Amini, Matthieu Piquerez|arXiv (Cornell University)|2020. 07. 15.

Algebraic Geometry and Number Theory참고 문헌 53인용 수 11

한 줄 요약

이 논문은 매끄럽고 사영적인 토픽스 기하학적 다양체의 코homology에 대해 대수기하학의 세 가지 기본 정리—하드 레프셰츠 정리, 호지-리만 관계, 모노드로미-웨이트 추측—의 토픽스 해석을 수립한다. 조합적 호지 이론과 스펙트럴 시퀀스를 사용하여, 새로운 토픽스 스틴브링 스펙트럴 시퀀스, 켈러 형식, 사영 배ndl러의 구조를 통해 이 결과들을 증명하며, 기존의 매트로이드와 토픽스화에 관한 결과들을 통합한다.

ABSTRACT

In this paper we prove that the cohomology of smooth projective tropical varieties verify the tropical analogs of three fundamental theorems which govern the cohomology of complex projective varieties: Hard Lefschetz theorem, Hodge-Riemann relations and monodromy-weight conjecture. On the way to establish these results, we introduce and prove other results of independent interest. This includes a generalization of the results of Adiprasito-Huh-Katz, Hodge theory for combinatorial geometries, to any unimodular quasi-projective fan having the same support as the Bergman fan of a matroid, a tropical analog for Bergman fans of the pioneering work of Feichtner-Yuzvinsky on cohomology of wonderful compactifications (treated in a separate paper, recalled and used here), a combinatorial study of the tropical version of the Steenbrink spectral sequence, a treatment of Kahler forms in tropical geometry and their associated Hodge-Lefschetz structures, a tropical version of the projective bundle formula, and a result in polyhedral geometry on the existence of quasi-projective unimodular triangulations of polyhedral spaces.

연구 동기 및 목표

• 매끄럽고 사영적인 토픽스 기하학적 다양체에 대해 하드 레프셰츠 정리, 호지-리만 관계, 모노드로미-웨이트 추측의 토픽스 해석을 수립한다.
• 단일 코homological 프레임워크 아래에서 매트로이드 호지 이론, 토픽스 기하학, 비아르키메데스 기하학 분야의 기존 결과들을 통합하고 일반화한다.
• 토픽스 스틴브링 스펙트럴 시퀀스를 개발하고, 그것이 토픽스 다양체의 코homology로 수렴한다는 것을 증명한다.
• 토픽스 기하학에서 켈러 형식과 호지-레프셰츠 구조를 도입하고 특성화한다.
• 특히 매트로이드의 버그만 팬을 포함한 다각형 복합체에 대해, 코homological 응용에 필요한 사영적이고 유니모듈라인 삼등분을 갖는다는 것을 증명한다.

제안 방법

• 베르그만 팬과 동일한 지지를 가진 임의의 유니모듈라 준사영 팬에 대해, 아디프라시토-후-카츠의 조합 기하학에 대한 호지 이론을 일반화한다.
• 코homology 군 위의 삼중 복합체와 미분 연산자를 사용하여, 스펙트럴 시퀀스의 토픽스 해석을 구성한다.
• 코homology 위의 이항형 곱셈을 통해 토픽스 켈러 형식을 도입하고, 복소수 경우와 유사한 호지-레프셰츠 구조를 정의한다.
• 사영 배ndl러 공식을 토픽스 설정에서 적용하여, 사영 배ndl러의 코homology를 기저 다양체의 코homology와 연결한다.
• 토픽스 복합체의 스펙트럴 분해를 사용하여 모노드로미를 분석하고, 그것이 스틴브링 스펙트럴 시퀀스와 호환됨을 증명한다.
• 벡터 값을 가진 미분 연산자(예: $\tilde{N}_{\gamma/\delta}$)와 중심좌표를 사용하여, 모노드로미가 미분과 가환함을 확인한다.

실험 결과

연구 질문

• RQ1 매끄럽고 사영적인 토픽스 기하학적 다양체의 코homology 군은 하드 레프셰츠 정리의 토픽스 해석을 만족하는가?
• RQ2 조합적이고 다각형적인 구조를 사용하여 호지-리만 이항관계를 토픽스 설정으로 확장할 수 있는가?
• RQ3 스티븐브링 스펙트럴 시퀀스와 일치하는 토픽스 해석의 모노드로미-웨이트 추측이 존재하는가?
• RQ4 토픽스 기하학에서 켈러 형식과 호지-레프셰츠 구조는 어떻게 정의되고 특성화할 수 있는가?
• RQ5 특히 버그만 팬을 포함한 모든 다각형 복합체는 코homological 응용에 필요한 사영적이고 유니모듈라인 삼등분을 갖는가?

주요 결과

• 매끄럽고 사영적인 토픽스 기하학적 다양체의 코homology는 토픽스 하드 레프셰츠 정리를 만족하며, 2차 코homology에서 켈러 클래스와의 cup 곱으로 유도된 동형사상이 존재한다.
• 토픽스 호지-리만 관계가 성립한다: 켈러 클래스로 정의된 코homology 위의 이항형 곱은 중간 차수의 원시 코homology 위에서 정의된 양의 정부호이다.
• 모노드로미-웨이트 추측은 토픽스 설정에서 검증되었다: 스틴브링 스펙트럴 시퀀스에서의 모노드로미 연산자는 가중치 필터링과 호환되며, 고유값의 절댓값이 1이다.
• 토픽스 스틴브링 스펙트럴 시퀀스가 구성되었고, 그것이 토픽스 다양체의 코homology로 수렴함을 보였다. 이 시퀀스의 항들은 면과 sedentarity에 따라 인덱싱된다.
• 토픽스 스틴브링 스펙트럴 시퀀스에서의 모노드로미 연산자는 자연 동형사상에 의해 원래 스틴브링 스펙트럴 시퀀스의 모노드로미 연산자와 정확히 일치함을 증명하였다.
• 모든 다각형 복합체, 특히 매트로이드의 버그만 팬은 코homological 응용에 필수적인 사영적이고 유니모듈라인 삼등분을 갖는다. 이는 핵심적인 기술적 결과로서 켈러 형식과 호지-레프셰츠 구조의 구성에 기여한다.