[논문 리뷰] Intersection cohomology of rank two character varieties of surface groups

Mirko Mauri|arXiv (Cornell University)|2021. 01. 12.

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

한 줄 요약

이 논문은 기하학적 복소수 $g \geq 2$에서의 랭크 2 특성 다양체와 히그 번들의 모듈리공간에 대해 $\mathrm{GL}_2$, $\mathrm{SL}_2$, $\mathrm{PGL}_2$에 대해 교차 E다항식과 Poincaré 다항식을 계산한다. 이는 Kirwan–O’Grady 정규화와 분해 정리의 응용을 통해 이루어지며, 주요 기여는 교차 E다항식이 팔린드롬임을 증명하고, P=W 추측의 기초 결과를 확립하는 것이다. 이는 $\mathrm{SL}_2$와 $\mathrm{GL}_2$에 대해 PI=WI의 동치성, 낮은 차수에서의 타우토로지적 생성, 그리고 심플렉틱 정규화가 존재하지 않을 경우 해석의 P=W 추측 실패를 포함한다.

ABSTRACT

For $G = \mathrm{GL}_2, \mathrm{SL}_2, \mathrm{PGL}_2$ we compute the intersection E-polynomials and the intersection Poincaré polynomials of the $G$-character variety of a compact Riemann surface $C$ and of the moduli space of $G$-Higgs bundles on $C$ of degree zero. We derive several results concerning the P=W conjectures for these singular moduli spaces.

연구 동기 및 목표

• 기하학적 복소수 $g \geq 2$에서 $G = \mathrm{GL}_2, \mathrm{SL}_2, \mathrm{PGL}_2$에 대해 $G$-특성 다양체와 히그 번들의 모듈리공간의 교차 E다항식과 Poincaré 다항식을 계산한다.
• 랭크 2 및 임의의 기하학적 복소수에서 P=W 추측을 검증하는 데 필수적인 기하적 불변량을 제공한다.
• 특히 심플렉틱 정규화가 존재하지 않을 경우 특이 모듈리공간에서 P=W 추측의 타당성을 조사한다.
• $\mathrm{SL}_2$와 $\mathrm{GL}_2$에 대해 PI=WI 추측의 동치성을 확립하고, 낮은 차수에서의 교차 코hom로지의 타우토로지적 클래스 생성을 분석한다.
• 특성 다양체에 심플렉틱 정규화가 존재하지 않을 경우, 해석에 대한 P=W 추측이 실패함을 입증한다.

제안 방법

• 모듈리공간 $M$의 특이점을 정규화하기 위해 Kirwan–O’Grady 정규화 $\pi_T: T \to M$를 사용한다.
• 혼합 Hodge 모듈의 도입 범주에서 분해 정리를 적용하여 $R\pi_{T,*}\mathbb{Q}[\dim T]$를 분해하고, 모든 직접 합성부를 식별한다.
• 반사적 Leray 필터링과 준프로젝티브 다양체 위의 혼합 Hodge 구조를 활용해 코hom로지적 불변량을 분석한다.
• 안정적 동형성 원리를 활용해 특이점의 국소 모델을 전반적 불변량과 연결한다.
• 분해 정리의 구성 요소를 계산하기 위해 인cidense 다양체 $I_{2g-3}$와 특이점 집합 $\Sigma$ 및 $\Omega$의 기하학을 분석한다.
• 기하학적 복소수 $g > 3$에서 $H^*(M_{\mathrm{Dol}})$의 비순수성과 Torelli 군 작용을 이용해 코hom로지 맵 $H^*(M) \to IH^*(M)$의 비단사성을 증명한다.

실험 결과

연구 질문

• RQ1 기하학적 복소수 $g \geq 2$에서 $\mathrm{GL}_2$-특성 다양체의 교차 E다항식은 팔린드롬인가? 이는 PI=WI 추측을 지지하는가?
• RQ2 $\mathrm{SL}_2$와 $\mathrm{GL}_2$에 대해 PI=WI 추측이 동치인가? 이는 코hom로지의 $\Gamma$-불변 부분공간으로의 검증 문제를 단순화하는가?
• RQ3 타우토로지적 클래스가 $IH^{<4g-6}(M)$를 얼마나 잘 생성하는가? 이는 P=W 추측과 어떻게 관련되는가?
• RQ4 특성 다양체에 심플렉틱 정규화가 존재하지 않을 경우, 해석에 대한 P=W 추측이 실패하는가? 그 이유는 무엇인가?
• RQ5 기하학적 복소수 $g > 3$에서 Torelli 군은 맵 $H^*(M) \to IH^*(M)$의 비단사성에 어떤 역할을 하는가?

주요 결과

• $\mathrm{GL}_2$에 대해 교차 E다항식 $IE(M_{\mathrm{B}})$는 팔린드롬이며, 이는 PI=WI 추측에 대한 수치적 증거를 제공한다.
• $\mathrm{SL}_2$에 대한 PI=WI 추측은 $\mathrm{GL}_2$에 대한 것과 동치이며, 이는 검증 문제를 코hom로지의 $\Gamma$-불변 부분공간으로 단순화한다.
• 교차 코hom로지 $IH^{<4g-6}(M)$는 타우토로지적 클래스에 의해 자유롭게 생성되며, 낮은 차수에서의 부분적 타우토로지적 생성을 지지한다.
• $g > 3$일 경우 자연스러운 맵 $H^*(M) \to IH^*(M)$는 단사적이지 않으며, 이는 $H^*(M_{\mathrm{Dol}})$가 순수하지 않음을 의미한다.
• 특성 다양체 $M(C,\mathrm{GL}_n)$에 심플렉틱 정규화가 존재하지 않을 경우, 예외적 배위에서 유래한 코hom로지 클래스의 무게 불일치로 인해 해석에 대한 P=W 추측은 실패한다.
• Kirwan–O’Grady 정규화는 심플렉틱 정규화가 존재할 경우에만 해석에 대한 P=W 추측을 만족하는 정규화를 제공하며, 이는 반사적 성질과 심플렉틱 구조의 필수성을 강조한다.