[논문 리뷰] On the Euler numbers of certain moduli spaces of curves and points

Wei-Ping Li, Zhenbo Qin|ArXiv.org|2005. 08. 07.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 3

한 줄 요약

이 논문은 1차원 폐포 부분다중체를 가진 매끄럽고 사영적인 다양체에서, 1차원 섬유를 가진 자리키-국소적으로 비틀린 필라션을 갖는 다양체의 모듈리 공간의 위상적 오일러 수를 계산한다. 가상 허지 다항식과 토르스 작용을 이용하여, 힐베르트 스킴과 점별 분할에 대해 이러한 오일러 수의 생성함수를 유도하며, r ≤ 3 또는 칼라비-유우 3-다양체인 경우에 대해 유리성과 q → 1/q에 대한 모듈러 불변성에 대한 추측을 검증한다.

ABSTRACT

We determine the topological Euler number of certain moduli space of 1-dimensional closed subschemes in a smooth projective variety which admits a Zariski-locally trivial fibration with 1-dimensional fibers. The main approach is to use virtual Hodge polynomials and torus actions. The results might shed some light on the corresponding Donaldson-Thomas invariants.

연구 동기 및 목표

• 매끄럽고 사영적인 다양체에서 자리키-국소적으로 비틀린 필라션을 갖는 1차원 폐포 부분다중체의 모듈리 공간의 위상적 오일러 수를 결정하는 것.
• 이러한 오일러 수와 도널드슨-타운젠 인버티언트 사이의 관계를 연구하며, 특히 칼라비-유우 3-다양체의 맥락에서 고려하는 것.
• 오일러 수에 대한 감소된 분할 함수의 유리성과 q → 1/q에 대한 불변성에 대한 추측을 검증하는 것.
• 이러한 모듈리 공간의 오일러 수에 대한 생성함수 공식을 힐베르트 스킴과 점별 r차원 분할에 대해 수립하는 것.

제안 방법

• 1차원 섬유를 가진 필라션 $\mu: X \to S$의 구조를 이용하여 모듈리 공간 $\mathfrak{M}_n$을 국소적으로 닫힌 부분집합으로 분해한다.
• 이 부분집합들과 $\mathbb{C}^{r-1} \times C$ 위의 모델 공간 사이의 전단사 준동형을 구축하여 문제를 국소 계산으로 환원한다.
• 분해와 전단사에 대해 오일러 수 정보를 유지하는 가상 허지 다항식을 적용한다.
• 힐베르트 스킴에 대한 케아의 조합론적 프레임워크를 이용하여 계산을 점별 힐베르트 스킴과 점별 분할로 환원한다.
• 토르스 작용을 $\mathfrak{M}_{n,L,O}^{\mathbb{C}^r}$ 및 $\mathrm{Hilb}^n(\mathbb{C}^r, O)$에 적용하여 점별 r차원 분할을 통해 오일러 수를 계산한다.
• 생성함수 $\widetilde{P}_r(n)$ 과 $P_r(n)$ 을 유도하고, $r=3$ 에서 $\sum \widetilde{P}_3(n) q^n = \sum P_3(n) q^n / (1 - q)$ 를 증명한다.

실험 결과

연구 질문

• RQ1 감소된 분할 함수 $\sum \chi(\mathfrak{I}_n(X,\beta)) q^n / \sum \chi(X^{[n]}) q^n$ 는 $q$ 의 유리 함수인가?
• RQ2 이 분할 함수는 $K_X = 0$ 인 경우에 $q \to 1/q$ 불변성을 만족하는가?
• RQ3 $\mathfrak{M}_n = \mathfrak{I}_{(1-g)+n}(X,\beta)$ 의 오일러 수는 힐베르트 스킴과 점별 분할로 표현될 수 있는가?
• RQ4 $\sum \widetilde{P}_r(n) q^n / \sum P_r(n) q^n = 1/(1 - q)^{r-2}$ 인가? ($r \geq 2$)
• RQ5 X가 종수 $g$ 의 섬유를 가진 매끄러운 기저 위의 필라션일 경우, 모듈리 공간 $\mathfrak{M}_n$ 의 정확한 구조는 무엇인가?

주요 결과

• $\mathfrak{M}_n$ 의 오일러 수에 대한 생성함수는 $\sum \chi(\mathfrak{M}_n) q^n = \left(\sum \chi(X^{[n]}) q^n\right) \cdot \chi(S) \cdot \left(\sum \widetilde{P}_r(n) q^n / \sum P_r(n) q^n\right)^{2-2g}$ 로 주어진다.
• $r = 3$ 인 경우, 생성함수 항등식과 평면 분할 생성함수의 극한을 이용하여 $\sum \widetilde{P}_3(n) q^n = \sum P_3(n) q^n / (1 - q)$ 가 증명된다.
• 유리성과 $q \to 1/q$ 불변성에 대한 추측은 $2 \leq r \leq 3$ 이거나 $K_X = 0$ (즉, $g = 1$) 인 경우에 성립한다.
• $\mathfrak{M}_n$ 의 오일러 수는 가상 허지 다항식과 토르스 작용을 통해 점별 $r$-차원 분할로 환원되어 계산된다.
• $2 \leq r \leq 3$ 인 경우, 공식 $\sum \chi(\mathfrak{M}_n) q^n = \left(\sum \chi(X^{[n]}) q^n\right) \cdot \chi(S) \cdot (1 - q)^{-(r-2)(2-2g)}$ 이 수립된다.
• 증명은 $\mathfrak{M}_n$ 의 국소적으로 닫힌 부분집합으로의 분해, 모델 공간으로의 전단사 준동형, 케아 이론에 의한 조합론적 환원에 기반한다.