[논문 리뷰] Homology of Hilbert schemes of points on a locally planar curve

Jørgen Vold Rennemo|arXiv (Cornell University)|2013. 08. 19.

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

한 줄 요약

이 논문은 국소적으로 평면적인 곡선 위의 점들의 힐베르트 스킴의 유리호모로지에 Weyl 대수 작용을 수립한다. 이는 고정된 점과 곡선 자체와 관련된 생성/소멸 연산자들을 사용하며, 힐베르트 스킴 $C^{[n]}$의 호모로지가 컴actified 자코비안 $J$와 새로운 $D$-중복급수로 분해됨을 증명한다. 이는 최근의 Maulik–Yun 및 Migliorini–Shende의 코homological 공식을 복구하고 보완한다.

ABSTRACT

Let C be a proper, integral, locally planar curve, and consider its Hilbert schemes of points C^[n]. We define 4 creation/annihilation operators acting on the rational homology groups of these Hilbert schemes and show that the operators satisfy the relations of a Weyl algebra. The action of this algebra is similar to that defined by Grojnowski and Nakajima for a smooth surface. As a corollary, we compute the cohomology of C^[n] in terms of the cohomology of the compactified Jacobian of C together with an auxiliary grading on the latter. This recovers and slightly strenghtens a formula recently obtained in a different way by Maulik and Yun and independently Migliorini and Shende.

연구 동기 및 목표

• 고정된, 정수적, 국소적으로 평면적인 곡선 $C$에 대해 힐베르트 스킴 $C^{[n]}$의 유리호모로지에 대한 생성/소멸 연산자를 정의하고 연구하는 것.
• 이 연산자들이 Weyl 대수의 교환관계를 만족함을 보여, 나카지마–그로이노프스키의 구성 방식을 특이 곡선으로 일반화하는 것.
• 힐베르트 스킴 $C^{[n]}$의 호모로지가 컴 pactified 자코비안 $J$와 새로운 이중중복급수 $D_m H_*(J)$로 표현됨을 보여, $n \geq 2g-1$일 때 알려진 결과를 모든 $n$으로 확장하는 것.
• 소멸 연산자의 핵으로부터 유도된 포크 공간 구성 방식을 통해 $H_*(C^{[n]})$를 계산하는 데 쓸 수 있는 새로운 대수적 프레임워크를 제공하는 것.

제안 방법

• 고정된 비특이 점 $x$를 추가하거나 제거하는 데 쓰이는 $\mu_{\pm}[\mathrm{pt}]$와, 포함관계 $Z \subset Z'$를 가진 쌍 $(Z, Z')$에 대한 플래그 힐베르트 스킴에 대해 정의된 $\mu_{\pm}[C]$의 두 쌍의 연산자를 정의한다.
• 플래그 힐베르트 스킴 $C^{[n,n+1]}$에서 Gysin 사상 $p^!, q^!$을 사용하여 연산자를 정의하며, 곡선의 국소적 평면성 덕분에 특이성에도 불구하고 잘 정의됨을 보장한다.
• 비특이 기저 $B$ 위의 곡선의 매끄러운 가속 $\mathcal{C} \to B$를 구성하여, 상대적 힐베르트 스킴 $\mathcal{C}^{[n]}$가 비특이가 되게 하고, 표준적인 대응 계산을 가능하게 한다.
• 연산자가 가속으로 올라가므로, 매끄러운 가속에서 계산한 후 섬유 $C$로 제한하여 Weyl 대수의 교환관계를 증명한다.
• 소멸 연산자의 핵 $W = \ker \mu_-[\mathrm{pt}] \cap \ker \mu_-[C]$를 정의하고, $V(C) \cong W \otimes \mathbb{Q}[\mu_+[\mathrm{pt}], \mu_+[C]]$임을 보여 포크 공간의 구조를 수립한다.
• 아벨–자코비 사상 $AJ_*: V(C) \to H_*(J)$를 사용하여 $W \cong H_*(J)$임을 식별하고, 컴 pactified 자코비안에 이중중복급수 $D_m H_i(J)$를 유도한다.

실험 결과

연구 질문

• RQ1 특이 곡선 $C$에 대해 $n < 2g-1$일 때 힐베르트 스킴 $C^{[n]}$의 호모로지를 어떻게 대수적으로 묘사할 수 있는가?
• RQ2 나카지마–그로이노프스키의 구성 방식이 매끄러운 표면에서 쓰이는 것과 유사하게, $C^{[n]}$의 호모로지에 Weyl 대수 작용을 정의할 수 있는가?
• RQ3 큰 $n$일 때 알려진 번들 구조를 넘어서, $H_*(C^{[n]})$와 컴 pactified 자코비안 $J$의 코homology 사이의 정확한 관계는 무엇인가?
• RQ4 $H_*(J)$에 대한 새로운 $D$-중복급수가 $H_*(C^{[n]})$에 대한 기존 공식을 어떻게 정밀화하거나 복구하는가?
• RQ5 $H^*(J)$의 $Q$-필터링과 $D$-중복급수로부터 $C^{[n]}$의 코homological 구조를 재구성할 수 있는가?

주요 결과

• 세트 $\mu_{\pm}[\mathrm{pt}], \mu_{\pm}[C]$는 $V(C) = \bigoplus_n H_*(C^{[n]})$에서 Weyl 대수 관계를 만족한다: $[\mu_-[\mathrm{pt}], \mu_+[C]] = [\mu_-[C], \mu_+[\mathrm{pt}]] = \mathrm{id}$이며, 나머지 모든 쌍은 서로 교환한다.
• 호모로지 $H_*(C^{[n]})$는 $\bigoplus_{m \leq n} D_m H_*(J) \otimes \mathrm{Sym}^{n-m}(\mathbb{Q} \oplus \mathbb{Q}[2])$와 동형이며, 여기서 $D_m H_*(J)$는 컴 pactified 자코비안에 대한 새로운 이중중복급수이다.
• 핵 $W = \ker \mu_-[\mathrm{pt}] \cap \ker \mu_-[C]$는 $H_*(J)$와 동형이며, $V(C)$는 $W$와 생성 연산자들에 의해 자유롭게 생성된다.
• $H_*(J)$의 $D$-중복급수는 아벨–자코비 사상으로부터 유도되며, $0 \leq m \leq 2g$이 아니면 $D_m H_i(J) = 0$임을 만족한다. 여기서 $g$는 $C$의 산술 기하학적 종수이다.
• 결과의 코homology 형태는 $H^*(C^{[n]})$의 $Q$-필터링이 연산자에 의해 보존됨을 보여주며, $H^*(C^{[n]})$과 $H^*(J)$의 생성함수는 $F_J = F_W$를 만족한다. 이는 $D_{\leq i+j} H^i(J) = Q_{\leq j} H^i(J)$를 의미한다.
• 결과는 Maulik–Yun 및 Migliorini–Shende의 공식을 대수적이고 연산자 이론적인 프레임워크를 제공함으로써 복구하고 강화한다.