[논문 리뷰] Perverse filtrations, Hilbert schemes, and the P=W conjecture for parabolic Higgs bundles

Junliang Shen, Zili Zhang|arXiv (Cornell University)|2018. 10. 12.

Algebraic Geometry and Number Theory인용 수 5

한 줄 요약

이 논문은 퇰프리컬 필터링을 통해 타원 표면 위의 점들에 대한 힐베르트 스킴 위의 타우토로지컬 클래스를 분석함으로써, $\tilde{A}_0$, $\tilde{D}_4$, $\tilde{E}_6$, $\linebreak[0]\tilde{E}_7$, 및 $\tilde{E}_8$에 대응하는 애파인 딘킨 다이어그램과 관련된 파라보릭 히긴스 번들에 대해 임의의 랭크에서 P=W 추측을 증명한다. 주요 결과는 모듈리 공간의 코homology에서 페르소프 필터링과 호지 필터링 사이에 자연스러운 동형사상이 존재함을 보여주며, 이는 이러한 경우에 P=W 추측을 확인하고, 특성 다양체의 혼합 호지 수에 대한 닫힌 공식을 도출한다.

ABSTRACT

We prove de Cataldo-Hausel-Migliorini's P=W conjecture in arbitrary rank for parabolic Higgs bundles labeled by the affine Dynkin diagrams $ ilde{A}_0$, $ ilde{D}_4$, $ ilde{E}_6$, $ ilde{E}_7$, and $ ilde{E}_8$. Our proof relies on the study of the tautological classes on the Hilbert scheme of points on an elliptic surface with respect to the perverse filtration.

연구 동기 및 목표

• 특정 애파인 딘킨 다이어그램에 대해 임의의 랭크에서 파라보릭 히긴스 번들의 P=W 추측을 수립하기 위해.
• 타원 표면 위의 점들에 대한 힐베르트 스킴의 코homology에서 페르소프 필터링을 타우토로지컬 클래스를 통해 묘사하기 위해.
• 모듈리 공간의 파라보릭 히긴스 번들 위의 타우토로지컬 클래스가 올바른 페르소프 필터링 수준에 놓여 있음을 증명하여 P=W 동형사상의 확인을 위해.
• 다섯 가지 가족의 파라보릭 히긴스 번들에 대해 특성 다양체의 혼합 호지 수에 대한 닫힌 공식을 유도하기 위해.

제안 방법

• 기본 곡선 $C$ 위에 피브리케이션된 타원 표면 $S$ 위의 점들에 대한 힐베르트 스킴 $S^{[n]}$의 코homology에서 페르소프 필터링을 분석한다.
• 유니버설 부분스키마 $Z_n \subset S^{[n]} \times S$를 사용하여 타우토로지컬 클래스 $c_k(\mathcal{O}_{Z_n})$를 정의하고, 그 이미지가 $P^{\bar{\pi}^{[n]}}_k H^{2k}(S^{[n]} \times S, \mathbb{Q})$에 속함을 증명한다.
• 페르소프 필터링의 곱법적 성질을 적용하여 타우토로지컬 클래스가 코homology 환을 생성하고 필터링을 유지함을 보인다.
• 모듈리 공간 $M_n$의 코homology를 페르소프 조각 $G_i H^*(M_n, \mathbb{Q})$로 자연스럽게 분해한다.
• 비아벨리안 호지 정리에 의해, $M_n$ 위의 타우토로지컬 클래스 $\int_\alpha c_k(\mathcal{E})$를 호지 필터링의 클래스들과 연결한다.
• 코어너리 동형사상 $\bigoplus_{k,d} G_k H^d(M_n, \mathbb{Q})$와 $\bigoplus_{k,d} {}^k\mathrm{Hdg}^d(M_n, \mathbb{Q})$를 통해 페르소프 필터링과 호지 필터링이 일치함을 보여, P=W 동형사상을 확립한다.

실험 결과

연구 질문

• RQ1 애파인 딘킨 다이어그램 $\tilde{A}_0$, $\tilde{D}_4$, $\tilde{E}_6$, $\tilde{E}_7$, 및 $\tilde{E}_8$에 대해 임의의 랭크에서 파라보릭 히긴스 번들에 대해 P=W 추측이 성립하는가?
• RQ2 타원 표면 위의 점들에 대한 힐베르트 스킴 위의 타우토로지컬 클래스는 페르소프 필터링과 어떻게 관련되는가?
• RQ3 파라보릭 히긴스 번들의 모듈리 공간의 코homology에서 페르소프 필터링은 타우토로지컬 생성자들을 통해 명시적으로 묘사될 수 있는가?
• RQ4 해당 특성 다양체의 혼합 호지 수의 구조는 어떠한가?

주요 결과

• 파라보릭 히긴스 번들에 대해 $\tilde{A}_0$, $\tilde{D}_4$, $\tilde{E}_6$, $\tilde{E}_7$, 및 $\tilde{E}_8$에 대해 임의의 랭크에서 P=W 추측이 증명되었다.
• 힐베르트 스킴 $S^{[n]} \times S$ 위의 타우토로지컬 클래스 $c_k(\mathcal{O}_{Z_n})$는 페르소프 필터링 $P^{\bar{\pi}^{[n]}}_k$의 $k$-번째 조각에 속한다.
• 코homology 환 $H^*(M_n, \mathbb{Q})$는 타우토로지컬 클래스 $\int_\alpha c_k(\mathcal{E})$에 의해 생성되며, 이는 그 호지 이론적 대응체와 같은 페르소프 필터링 수준에 놓여 있다.
• 페르소프 분해 $\bigoplus_{k,d} G_k H^d(M_n, \mathbb{Q})$와 호지 분해 $\bigoplus_{k,d} {}^k\mathrm{Hdg}^d(M_n, \mathbb{Q})$ 사이에 자연스러운 동형사상이 확립되었으며, 이는 P=W 추측을 확인한다.
• 다섯 가족의 특성 다양체에 대해 혼합 호지 다항식의 생성함수에 대한 닫힌 공식을 도출하였으며, 이는 수치적 데이터와 Hausel, Letellier, 및 Rodriguez-Villegas의 추측과 일치한다.
• P=W 동형사상을 통해 특성 다양체의 혼합 호지 수가 계산되었으며, 이는 이러한 경우에 그들의 계산을 체계적으로 수행할 수 있는 방법을 제공한다.