[논문 리뷰] Hitchin fibrations, abelian surfaces, and the P=W conjecture

Mark Andrea A. de Cataldo, Davesh Maulik외 1명|arXiv (Cornell University)|2019. 09. 26.

Algebraic Geometry and Number Theory참고 문헌 39인용 수 20

한 줄 요약

이 논문은 아벨 곡면 위의 Hilbert–Chow 사상의 분열을 통해 히친 필라션을 분석하고, 마크만의 단조성 연산자를 활용하여 휘어진 필터링 대칭을 확립함으로써, 임의의 랭크에 대해 종수 2 곡선에 대한 P=W 추측을 증명한다. 타우토로지적 클래스가 올바른 휘어진 필터링 조각에 놓여 있음을 검증하고, 최근 멜릿의 무게 필터링에 관한 결과를 바탕으로 전체 추측을 필터링의 승법성 증명으로 환원한다.

ABSTRACT

We study the topology of Hitchin fibrations via abelian surfaces. We establish the P=W conjecture for genus $2$ curves and arbitrary rank. In higher genus and arbitrary rank, we prove that P=W holds for the subalgebra of cohomology generated by even tautological classes. Furthermore, we show that all tautological generators lie in the correct pieces of the perverse filtration as predicted by the P=W conjecture. In combination with recent work of Mellit, this reduces the full conjecture to the multiplicativity of the perverse filtration. Our main technique is to study the Hitchin fibration as a degeneration of the Hilbert-Chow morphism associated with the moduli space of certain torsion sheaves on an abelian surface, where the symmetries induced by Markman's monodromy operators play a crucial role.

연구 동기 및 목표

• 기하학적 및 위상수학적 방법을 사용하여 종수 2 곡선과 임의의 랭크에 대한 P=W 추측을 수립한다.
• 아벨 곡면 위의 Hilbert–Chow 사상의 분열을 통해 도르베올 모듈리 공간의 휘어진 필터링을 분석한다.
• 도르베올 모듈리 공간의 코homology 링의 타우토로지적 생성자들이 P=W 추측에서 예측한 바와 같이 올바른 휘어진 필터링 수준에 놓여 있음을 검증한다.
• 최근의 무게 필터링 이론의 발전을 바탕으로 전체 P=W 추측을 휘어진 필터링의 승법성 증명으로 환원한다.

제안 방법

• 아벨 곡면 위의 토션 층과 관련된 Hilbert–Chow 사상의 분열로 히친 필라션을 이용한다.
• 마크만의 단조성 연산자를 적용하여 층 모듈리 공간의 코homology에 대칭성을 유도한다.
• 특수화 사상 $\mathrm{sp}^{!}$을 사용하여 분열된 가족의 코homology를 원래의 히친 필라션과 연결한다.
• 그로텐디크–리만–로흐 공식을 사용하여 채르-특성의 투영을 계산하고, 이를 휘어진 필터링 클래스와 연결한다.
• 곡선 $C$의 변형에 대해 휘어진 필터링의 국소적 일관성을 활용하여, 아벨 곡면에 매장된 곡선으로 환원한다.
• 군 $\mathrm{Sp}_{2g}$의 단조성 군 작용을 $H^1(C,\mathbb{Q})$에 적용하여 제한된 클래스들로부터 전체 코homology를 생성한다.

실험 결과

연구 질문

• RQ1 종수 2 곡선과 임의의 랭크 $r$에 대해 P=W 추측이 성립하는가?
• RQ2 도르베올 모듈리 공간의 코homology 링의 모든 타우토로지적 생성자들이 예측된 올바른 휘어진 필터링 수준에 놓여 있는가?
• RQ3 전체 P=W 추측은 휘어진 필터링의 승법성 증명으로 환원될 수 있는가?
• RQ4 아벨 곡면 모듈리 공간에서 유래한 단조성 대칭은 히친 필라션의 휘어진 필터링을 어떻게 제약하는가?

주요 결과

• 종수 2 곡선과 임의의 랭크 $r \geq 1$에 대해 P=W 추측이 완전히 증명되었으며, 기저 교환을 통한 $\mathrm{PGL}_r$의 경우에도 성립한다.
• 모든 짝수 타우토로지적 생성자 $H^*({\mathcal{M}}_{\mathrm{Dol}},{\mathbb{Q}})$는 P=W에서 예측한 바와 같이 올바른 휘어진 필터링 수준에 놓여 있다.
• 종수 $g \geq 3$에 대해, $\gamma \in H^1(C,\mathbb{Q})$인 홀수 타우토로지적 클래스 $c(\gamma,k)$ 역시 단조성에 의해 코homology가 생성되므로, 예측된 휘어진 필터링 수준 $k$에 놓여 있다.
• 짝수 타우토로지적 클래스로 생성되는 코homology의 부분대수는 휘어진 필터링 하에서 승법적이다. 이는 전체 추측을 이 승법성 증명으로 환원시킨다.
• 특수화 사상 $\mathrm{sp}^{!}$은 아벨 곡면의 분열에서 유래한 클래스들을 원래의 모듈리 공간으로 매핑하며, 이 과정에서 휘어진 필터링의 구조를 유지한다.
• 결과적으로 종수 2 곡선에 대해 궁금한 Poincaré 및 궁금한 하드 레프슈츠 추측이 성립하며, 국소 칼라비-유오 3차원 다각형에 대한 고파쿠마르-바프/PT 대응관계를 지지한다.