[논문 리뷰] Scattering diagrams, stability conditions, and coherent sheaves on $\mathbb{P}^2$

Pierrick Bousseau|arXiv (Cornell University)|2019. 09. 06.

Algebraic Geometry and Number Theory참고 문헌 82인용 수 16

한 줄 요약

이 논문은 $\mathbb{P}^2$의 유도 범주에서의 벽을 횡단하는 행동을 코딩하는 기하학적으로 유도된 산란도와 알고리즘적으로 구성된 산란도 사이의 대응을 확립함으로써, $\mathbb{P}^2$ 위의 층의 기하학적 모듈리 공간의 교차 호모로지의 허지 수에 대한 새로운 계산 방법을 가능하게 한다. 주요 결과는 두 산란도가 일치한다는 것이며, 이는 이러한 모듈리 공간의 교차 호모로지가 허지-테이트임을 증명하고, 정밀한 도널드슨-테이터 불변량의 $\chi$-독립성 추측에 대한 첫 번째 비자명한 수치적 확인을 제공한다.

ABSTRACT

We show that a purely algebraic structure, a two-dimensional scattering diagram, describes a large part of the wall-crossing behavior of moduli spaces of Bridgeland semistable objects in the derived category of coherent sheaves on $\mathbb{P}^2$. This gives a new algorithm computing the Hodge numbers of the intersection cohomology of the classical moduli spaces of Gieseker semistable sheaves on $\mathbb{P}^2$, or equivalently the refined Donaldson-Thomas invariants for compactly supported sheaves on local $\mathbb{P}^2$. As applications, we prove that the intersection cohomology of moduli spaces of Gieseker semistable sheaves on $\mathbb{P}^2$ is Hodge-Tate, and we give the first non-trivial numerical checks of the general $χ$-independence conjecture for refined Donaldson-Thomas invariants of one-dimensional sheaves on local $\mathbb{P}^2$.

연구 동기 및 목표

• Bridgeland 안정성 조건에 기반한 $\mathbb{P}^2$에서 유도된 기하학적 산란도와 알고리즘적으로 정의된 산란도 사이의 대응을 확립한다.
• 기본적인 기하학적 모듈리 공간의 교차 호모로지의 허지 수에 대한 새로운 계산 알고리즘을 제공한다.
• 이러한 모듈리 공간의 교차 호모로지가 허지-테이트임을 증명한다. 즉, $(p,p)$-이중도에 집중되어 있음을 의미한다.
• 지역 $\mathbb{P}^2$ 위의 일차원 층에 대한 정밀한 도널드슨-테이터 불변량의 $\chi$-독립성 추측에 대한 첫 번째 비자명한 수치적 확인을 제공한다.

제안 방법

• 유도 범주 $D^b(\mathbb{P}^2)$ 내의 Bridgeland 반안정 대상의 벽 횡단 행동에서 산란도 $\mathfrak{D}^{\mathbb{P}^2}_{u,v}$를 구성한다.
• 유도 범주와 쿠이버 표현에서 유도된 초기 자료를 사용하여 알고리즘적 산란도 $S(\mathfrak{D}^{\mathrm{in}}_{u,v})$를 정의한다.
• 혼합 호모로지 이론과 도널드슨-테이터 형식을 사용하여 수치 불변량을 모듈리 공간의 푸앵카레 다항식과 연결한다.
• 벽 횡단 공식을 적용하여 일차원 안정성 다양체 $U \subset \mathrm{Stab}(\mathbb{P}^2)$ 내에서 다양한 안정성 조건 간의 불변량을 연결한다.
• 나무 분해 기법을 구현하여 층 분해의 스트라타 기여도를 통해 모듈리 공간의 푸앵카레 다항식을 계산한다.
• 특수한 경우인 $d=3$ 및 $d=4$에 대해 명시적 계산을 통해 $\mathfrak{D}^{\mathbb{P}^2}_{u,v} = S(\mathfrak{D}^{\mathrm{in}}_{u,v})$의 등식을 검증한다.

실험 결과

연구 질문

• RQ1 Bridgeland 안정성 조건에 기반한 $\mathbb{P}^2$에서의 산란도가 알고리즘적으로 정의된 산란도와 일치하는가?
• RQ2 Gieseker 반안정 층의 모듈리 공간의 교차 호모로지는 허지-테이트인가? 즉, $(p,p)$-이중도에 집중되어 있는가?
• RQ3 지역 $\mathbb{P}^2$ 위의 일차원 층에 대한 정밀한 도널드슨-테이터 불변량은 다양한 오일러 특성에 걸쳐 $\chi$-독립성을 보이는가?
• RQ4 산란도를 통해 반안정 층의 모듈리 공간의 푸앵카레 다항식을 알고리즘적으로 계산할 수 있는가?
• RQ5 다른 스트라타의 층 분해 기여도가 산란 알고리즘의 예측과 일치하는가?

주요 결과

• Bridgeland 안정성 조건에 기반한 산란도 $\mathfrak{D}^{\mathbb{P}^2}_{u,v}$는 알고리즘적으로 구성된 산란도 $S(\mathfrak{D}^{\mathrm{in}}_{u,v})$와 일치하며, 완전한 대응 관계를 확립한다.
• Gieseker 반안정 층의 모듈리 공간의 교차 호모로지는 허지-테이트이며, 모든 허지 이중도가 $(p,p)$에 집중되어 있다.
• d=3일 때, $M_{(0,3,1)}$의 푸앵카레 다항식은 $[9]_q[3]_q$이며, 산란 알고리즘의 출력과 정확히 일치한다.
• d=4일 때, $M_{(0,4,1)}$, $M_{(0,4,2)}$, $M_{(0,4,4)}$의 푸앵카레 다항식은 모두 $[12]_q(1+q+4q^2+4q^3+4q^4+q^5+q^6)$와 같다. 이는 $\chi$-독립성을 확인한다.
• 산란 알고리즘은 층 분해의 코드미니멈 0, 1, 2, 3 스트라타의 기여도를 정확히 계산하며, 이는 푸앵카레 다항식 계산에 있어 알고리즘의 유효성을 검증한다.