[논문 리뷰] On the monodromy of moduli spaces of sheaves on K3 surfaces II

Eyal Markman|ArXiv.org|2003. 05. 01.

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

한 줄 요약

이 논문은 K3 표면의 점들에 대한 Hilbert 스킴의 코homology의 모노드로미 표현이 Mukai 라티스의 반사와 관련된 기하적 대응관계에서 유래됨을 확립한다. 이는 이러한 대응관계가 계층적 기본 변형과 교환 변환을 통해 모노드로미 연산자를 유도하며, 대수기하학과 유도 범주, 호지 이론을 연결한다.

ABSTRACT

Let S be a K3 surface. In part I of this paper, we constructed a representation of the group Aut D(S), of auto-equivalences of the derived category of S. We interpreted this infinite dimensional representation, as the natural action of Aut D(S) on the cohomology of all moduli spaces of stable sheaves (with primitive Mukai vectors) on S. The main result, of part I, is the precise relation of this action with the monodromy of the Hilbert schemes S^[n] of points on the surface. The proof of the above result was reduced, in part I, to the case of two monodromy operators of S^[n], associated with choices of line bundles on the surface S, of degree 2n-4 and 2n respectively. When n=1, the first sequence of monodromy operators specializes to the reflection by a -2 curve. The n=1 case of the second sequence is related to the Galois involution, of a double cover of the projective plane, branched along a sextic. We complete the proof by treating these two sequences of examples.

연구 동기 및 목표

• Hilbert 스킴의 정수 코homology에 대한 모노드로미 표현의 기하적 실현을 확립하는 것.
• 특히 $-2$ 및 $+2$ 벡터에 대한 반사와 관련된 Mukai 라티스의 등급변환의 작용이 모듈리 공간 위의 실제 대응관계와 어떻게 연결되는지 밝혀내는 것.
• 이러한 대응관계가 변형 이론과 계층적 기본 변형을 통해 모노드로미 연산자를 유도함을 보여주는 것.
• 이러한 등급변환의 코homology 작용이 유도 범주 $D(S)$의 자동준위환과 어떻게 연결되는지 보여주며 기하학과 분류화를 연결하는 것.
• 특이점에서의 분해와 호환되는 곡선 위의 국소계를 분석하여 유도된 코homology 내항이 모노드로미 연산자임을 증명하는 것.

제안 방법

• Hilbert 스킴의 Brill-Noether 계층에 대한 섬유곱의 폐쇄로서 $\sum_{t=0}^\mu \mathcal{Z}_t \subset S^{[n]} \times S^{[n]}$ 를 대응관계로 구성한다.
• 특이점 $\ell$에서 음의 부분과 탄성하는 곡선 $C$ 위에서 대응관계를 변형하기 위해 계층적 기본 변형을 사용한다.
• 가장 작은 계층의 정규 쌍대체에 대한 변형을 통해 특이 섬유 근처에서 대응관계의 행동을 분석한다.
• 매우 충분한 선다발 $L$에 의해 유도되는 $+2$ 벡터에 의해 유도되는 교환 변환의 존재에 기반하여 상대적 대응관계를 정의한다.
• 기저 곡선 $C$ 위의 교환 변환 $\rho$ 를 사용하여 분류 지도 $\kappa'$ 과 $\kappa''$ 를 주기 지도와 연결하여 $p \circ \kappa' = \rho \circ p \circ \kappa''$ 를 보여준다.
• 기저 곡선 $\overline{C} \setminus \{\bar{\ell}\}$ 위의 국소계의 모노드로미를 분석함으로써 유도된 코homology 작용 $\mathcal{Z}_*$ 가 모노드로미 연산자임을 입증한다.

실험 결과

연구 질문

• RQ1 Hilbert 스킴 $S^{[n]}$ 의 코homology에 대한 모노드로미 표현은 어떻게 대수적 대응관계를 통해 기하학적으로 실현될 수 있는가?
• RQ2 Mukai 라티스의 반사(특히 $-2$ 및 $+2$ 벡터에 대한 반사)와 $D(S)$ 의 자동준위환 사이의 관계는 무엇인가?
• RQ3 S^{[n]} 에서의 Brill-Noether 계층은 $\Gamma_v$ 내의 등급변환을 실현하는 대응관계를 어떻게 유도하는가?
• RQ4 이러한 등급변환의 코homology 작용이 변형과 국소계 분석을 통해 모노드로미 연산자임을 어떻게 보일 수 있는가?
• RQ5 모노드로미 작용은 곡선 $C$ 의 선택과 매개변수 $t$ 에 대해 해석적으로 독립적인가?

주요 결과

• 대응관계 $\sum_{t=0}^\mu \mathcal{Z}_t$ 는 Mukai 라티스의 반사 $\tau_n$ 과 대응하는 코homology 내항 $\gamma(\tau_n)$ 을 유도한다.
• 대응관계 $\sum_{t=0}^\mu \mathcal{Z}_t$ 의 코homology 계열은 식 (7)을 통해 $S \times S^{[n]}$ 위의 유니버설 이상층의 체르니 클래스로 표현된다.
• $H^*(S^{[n]}, \mathbb{Z})$ 에서의 작용 $\mathcal{Z}_*$ 는 $\overline{C} \setminus \{\bar{\ell}\}$ 위의 국소계의 모노드로미를 통해 모노드로미 연산자로 확인된다.
• 이 구성은 곡선 $C$ 의 선택과 무관하며 $t$ 에 대해 해석적으로 변하므로 모노드로미가 잘 정의됨을 보장한다.
• $+2$ 반사에 의해 유도된 교환 변환 $\rho$ 는 $S^{[n]}$ 위의 교환 변환으로서, 길이 $n$ 인 부분스키마 $D$ 를 길이 $2n$ 인 부분스키마 $Z$ 내에서의 보완 부분스키마 $Z \setminus D$ 로 보낸다.
• 모노드로미 작용은 $\lim_{t \to \ell} g_{t*}$ 의 극한으로 나타나며, 여기서 $g_t$ 는 $C \setminus \{\ell\}$ 의 점들 위의 섬유들 사이의 동형사상이다. 이는 모노드로미의 기하학적 기원을 확인한다.