[논문 리뷰] Intersection cohomology of moduli spaces of vector bundles over curves

Sergey Mozgovoy, Markus Reineke|arXiv (Cornell University)|2015. 12. 13.

Algebraic Geometry and Number Theory참고 문헌 17인용 수 8

한 줄 요약

이 논문은 고리수 $g \geq 2$의 곡선 위의 반안정 벡터(bundle)의 모듈리 공간 $M(r,d)$의 교차(cohomology)를 계산하기 위해 곡선 기반의 도널드슨-토머스(DT) 불변량을 도입한다. 이 불변량은 재귀적 공식을 통해 효과적으로 계산 가능하며, 핵심 결과는 $M(r,d)$의 교차(cohomology)의 허그-오일러 다항식이 $\mathbb{L}^{\dim M(r,d)/2}$와 DT 불변량 $\mathrm{DT}_{r,d}$의 곱과 정확히 일치한다는 것이다. 이로 인해 교차 베티 수와 허그 다항식을 명시적으로 계산할 수 있다.

ABSTRACT

We compute the intersection cohomology of the moduli spaces $M_{r,d}$ of semistable vector bundles having rank $r$ and degree $d$ over a curve. We do this by relating the Hodge-Deligne polynomial of the intersection cohomology of $M_{r,d}$ to the Donaldson-Thomas invariants of the curve. These invariants can be computed by methods going back to Harder, Narasimhan, Desale and Ramanan. More generally, we introduce Donaldson-Thomas classes in the Grothendieck group of mixed Hodge modules over $M_{r,d}$ and relate them to the class of the intersection complex of $M_{r,d}$. Our methods can be applied to the moduli spaces of semistable objects in arbitrary hereditary categories.

연구 동기 및 목표

• 고리수 $g \geq 2$인 곡선 위의 반안정 벡터 번들의 모듈리 공간 $M(r,d)$에 대해 임의의 랭크 $r$과 디그리 $d$에 대해 교차(cohomology)를 계산하는 것.
• 코herent sheaf의 카테고리에 대해 도널드슨-토머스 불변량을 정의하고 계산함으로써, DT 이론을 유도성 카테고리로 확장하는 것.
• $M(r,d)$의 교차(cohomology)의 허그-오일러 다항식과 이 새로운 DT 불변량 사이의 정확한 관계를 확립하는 것.
• 서로소인 $r,d$에 대한 기존 결과를 일반적인 경우, 즉 $M(r,d)$가 특이점을 가진 경우로 일반화하기 위해 혼합 허그 모듈러스와 모티브 불변량을 사용하는 것.

제안 방법

• 생성함수 $Q_\tau$에서 유도된 $R_{r,d}$와 $G_{r,d}$의 GIT 몫 데이터의 허그-오일러 다항식을 바탕으로, $Q_\tau$의 펠리스티크 로그를 통해 도널드슨-토머스 불변량 $\mathrm{DT}_{r,d}$를 정의한다.
• 가상으로 작은 사상과 가상의 교차 복합체를 활용하여 몫의 코homological 불변량과 모듈리 공간의 불변량을 연결한다.
• 모티브 적분 기법을 통해 $M(r,d)$ 위의 혼합 허그 모듈러스의 그로텐디크 군에 있는 DT 클래스를 도입하고, 이를 교차 복합체와 연결한다.
• $\lambda$-환 이론과 혼합 허그 모듈러스의 유도 범주에서의 대칭 모노이드 구조를 활용하여 불변량의 대수적 구조를 다룬다.
• 하더너-나라시마한 및 시겔 유형 정리에서 유도된 재귀적 공식을 활용하여 생성함수 $Q_\tau$를 계산하고, 이를 펠리스티크 로그를 통해 $\mathrm{DT}_{r,d}$로 변환한다.
• $\mathrm{DT}_{r,d}$가 $\mathbb{L}^{\pm 1/2}$에 대한 계수가 비음수인 다항식임을 이용하여 기하학적으로 의미 있는 불변량임을 보장한다.

실험 결과

연구 질문

• RQ1 서로소가 아닌 $r$과 $d$일 경우, 즉 $M(r,d)$가 특이점을 가질 경우, $M(r,d)$의 교차(cohomology)는 어떻게 계산할 수 있는가?
• RQ2 교차(cohomology)의 허그-오일러 다항식과 기존 불변량, 예를 들어 베티 수나 모티브 사이의 정확한 관계는 무엇인가?
• RQ3 카라비-야우 3-다양체의 구조가 없는 곡선의 맥락에서 도널드슨-토머스 불변량은 효과적으로 정의되고 계산될 수 있는가?
• RQ4 새로운 DT 불변량은 하더너-나라시마한, 데사레-라마난, 아티야-보트의 고전적 재귀 공식과 어떻게 관련이 있는가?
• RQ5 $M(r,d)$의 교차(cohomology)는 $R_{r,d} \mathbin{\mkern-10mu}\mathop{\mathrm{/\negmedspace/}} G_{r,d}$의 모티브 또는 허그 이론적 불변량으로 복원될 수 있는가?

주요 결과

• $M(r,d)$의 교차(cohomology)의 허그-오일러 다항식은 $E(\mathrm{IH}^*(M(r,d))) = \mathbb{L}^{\dim M(r,d)/2} \cdot \mathrm{DT}_{r,d}$로 주어지며, 이는 교차 베티 수로의 직접적인 계산 다리를 제공한다.
• $g=2$인 $M(2,0)$의 경우, 포incare 다항식은 $1 + 4y + 7y^2 + 8y^3 + 8y^4 + 8y^5 + \cdots$이며, 키르와의 결과와 일치하여 방법의 타당성을 검증한다.
• $g=2$인 $M(3,1)$의 경우, 포incare 다항식은 $$ \frac{1}{(1-y^2)(1-y^4)^2(1-y^6)} \left( (1-y)^{2g}(1-y^3)^{2g}(1-y^5)^{2g} - y^{4g-2}(1+y^2)^2(1-y)^{4g}(1-y^3)^{2g} + y^{6g-2}(1+y^2+y^4)(1-y)^{6g} \right) $$ 으로 명시적으로 계산되었다.
• $g=2$인 $M(4,0)$의 경우, 포incare 다항식은 $y^{12}$까지의 항을 포함하는 복잡한 유리식이며, $i=14$까지의 베티 수는 $1,4,7,12,26,48,77,120,181,256,331,392,435,464,486,500,504,504$로 주어지며, 포incare 대칭성과 일치한다.
• $g=2$인 $M(4,1)$의 $i$-번째 베티 수는 $1,4,7,12,26,48,78,128,211,328,476,680,963,1292,1621,1948,2249,2384$로 주어지며, 이는 고차원 불변량을 계산할 수 있는 방법의 능력을 보여준다.
• $(1-y)^{2g}$는 $M(r,d)$의 포incare 다항식에 나타나며, 고정된 디터미낸트를 가진 모듈리 공간에 해당하며, 이 요소는 $g=2$와 $g=3$에 대해 명시적으로 추출되고 나열되었다.