[논문 리뷰] Cohomological $χ$-independence for moduli of one-dimensional sheaves and moduli of Higgs bundles

Davesh Maulik, Junliang Shen|arXiv (Cornell University)|2020. 12. 11.

Algebraic Geometry and Number Theory참고 문헌 47인용 수 6

한 줄 요약

이 논문은 토릭 델 페zzo 표면 위의 일차원 층의 모듈리 공간과 종수 g ≥ 2인 곡선 위의 안정 Higgs 복합체에서 코homological χ-독립성을 확립한다. 일반화된 지지 정리, Hilbert–Chow 사상의 차원 추정, 스택에서 몫으로 가는 사상의 분해 정리를 사용하여, 교차 코hom올로지(비순수 및 호지 필터링 포함)가 오일러 지표 χ에 독립적임을 증명하며, Bousseau와 Toda의 특정 국소 칼라비-야우 기하학에 대한 추측을 확인한다.

ABSTRACT

We prove that the intersection cohomology (together with the perverse and the Hodge filtrations) for the moduli space of one-dimensional semistable sheaves supported in an ample curve class on a toric del Pezzo surface is independent of the Euler characteristic of the sheaves. We also prove an analogous result for the moduli space of semistable Higgs bundles with respect to an effective divisor $D$ of degree $\mathrm{deg}(D)>2g-2$. Our results confirm the cohomological $χ$-independence conjecture by Bousseau for $\mathbb{P}^2$, and verify Toda's conjecture for Gopakumar-Vafa invariants for certain local curves and local surfaces. For the proof, we combine a generalized version of Ngô's support theorem, a dimension estimate for the stacky Hilbert-Chow morphism, and a splitting theorem for the morphism from the moduli stack to the good GIT quotient.

연구 동기 및 목표

• 토릭 델 페zzo 표면 위의 일차원 안정 층의 모듈리 공간에 대해 앰플한 곡선 클래스 β에 대해 코homological χ-독립성을 확립하는 것.
• 종수 g ≥ 2인 곡선 C 위의 안정 Higgs 복합체 모듈리 공간에 대해 deg(D) > 2g−2 조건을 만족할 때 유사한 χ-독립성을 증명하는 것.
• Bousseau의 P²에 대한 코homological χ-독립성 추측과 Toda의 특정 국소 곡선 및 국소 토릭 델 페zzo 표면에 대한 Gopakumar–Vafa 불변량에 대한 추측을 확인하는 것.
• 교차 코hom올로지(비순수 및 호지 필터링 포함)가 모듈리 공간이 특이점이 있든 없든 χ의 변화에 대해 불변임을 보이는 것.
• 모듈리 스택과 GIT 몫의 맥락에서 자가쌍대 복합체에 대해 Ngô의 지지 정리를 적용 범위를 확장하는 것.

제안 방법

• 모듈리 스택의 층과 Higgs 복합체에 대해 자가쌍대 복합체에 대해 Ngô의 지지 정리를 일반화하는 것.
• Hitchin 필버리의 기저에서 특이점의 임계차원을 제어하기 위해 스택적 Hilbert–Chow 사상에 대한 차원 추정을 수립하는 것.
• 모듈리 스택에서 좋은 GIT 몫으로 가는 사상에 대한 분해 정리를 적용하여 Hitchin 기저와 스펙트럴 곡선의 구조를 분석하는 것.
• 스펙트럴 곡선과 관련된 상대 차수 0의 피카르 다양체를 이용해 δZ를 정의하고 Hitchin 기저 내의 스트라타의 임계차원을 제어하는 것.
• 지지 정리의 부등식과 차원 추정의 결과를 조합하여 직접 이미지 복합체 Rh∗IC 가 기저 B 위에서 전체 지지를 가짐을 보이는 것.
• 부등식 Φβ + codim Z ≥ ∑Φβi + δZ 의 유일한 해는 s = 1, m_i = 1 이며, 이는 Z = B 를 의미함으로써 전체 기저 위에서 지지를 강제하고 χ-독립성을 증명하는 것.

실험 결과

연구 질문

• RQ1 토릭 델 페zzo 표면 위의 일차원 안정 층의 모듈리 공간의 교차 코호몰로지가 층의 오일러 지표 χ에 의존하는가?
• RQ2 종수 g ≥ 2인 곡선 C 위의 안정 Higgs 복합체 모듈리 공간에 대해 deg(D) > 2g−2 조건을 만족할 때 교차 코호몰로지가 χ에 독립적인가?
• RQ3 Bousseau의 P²에 대한 BPS 수 추측은 교차 코호몰로지와 호지이론적 방법을 통해 증명될 수 있는가?
• RQ4 국소 곡선과 국소 토릭 델 페zzo 표면에 대한 Toda의 Gopakumar–Vafa 불변량에 대한 추측은 교차 코호몰로지의 χ-독립성에서 유도될 수 있는가?
• RQ5 모듈리 스택 맥락에서 자가쌍대 복합체에 대한 지지 정리를 비순수 필터링과 호지 구조를 포함하도록 확장할 수 있는가?

주요 결과

• 토릭 델 페zzo 표면 위의 일차원 안정 층의 모듈리 공간의 교차 코호몰로지는 비순수 및 호지 필터링을 포함한 필터링된 벡터 공간으로서 모든 χ에 대해 동형이며, 모듈리 공간이 특이점이 있든 없든 상관없이 성립한다.
• 종수 g ≥ 2인 곡선 위의 안정 Higgs 복합체 모듈리 공간에 대해서도 동일한 χ-독립성이 성립한다. 여기서 D는 차수 > 2g−2인 효과적 인수이다.
• 다른 χ에 대해 교차 코호몰로지 군 간의 동형은 스칼라 배수까지 정규화된 것으로서 비순수 및 호지 필터링을 보존한다.
• 증명 과정에서 Hitchin 기저 위의 직접 이미지 복합체 Rh∗IC 가 전체 지지를 가지며, 이는 유일한 가능한 스트라타가 전체 기저임을 강제함으로써 χ-독립성을 보여준다.
• 이 결과는 Bousseau의 로그 K3 표면 (P², E)에 대한 BPS 수 추측을 확인하며, 특정 국소 곡선과 국소 토릭 델 페zzo 표면에 대해 Toda의 Gopakumar–Vafa 불변량 추측을 검증한다.
• 저자들은 부등식 Φβ + codim Z ≥ ∑Φβi + δZ 가 s = 1 및 m_i = 1 을 유도하며, 이는 Z = B 를 의미함으로써 지지가 전체 기저 위에 있어야 하며, 이는 핵심 코호몰로지 독립성을 증명한다.