[논문 리뷰] Brill-Noether duality for moduli spaces of sheaves on K3 surfaces

Eyal Markman|ArXiv.org|1999. 01. 18.

Algebraic Geometry and Number Theory참고 문헌 22인용 수 11

한 줄 요약

이 논문은 K3 표면 위의 층의 모듈리 공간에 대해 브릴-노에르 이중성을 수립한다. 이를 위해, 스프링거 해소 이중성의 일반화인 계층적 무카이 기본 변환을 구성한다. 무카이 라티스의 반사들 중 K3 표면의 두 번째 코homology에 자명하게 작용하는 것들이, 최소한의 첫 번째 체르누 클래스를 가진 층의 모듈리 공간 위에서 비유일적 계층적 기본 변환을 유도함을 보이고, 코homology 동형을 코homology 링의 cup 곱으로 기술하는 피카르-레프슈체츠 유형의 공식을 증명한다.

ABSTRACT

Components of the Moduli space of sheaves on a K3 surface are parametrized by a lattice; the (algebraic) Mukai lattice. Isometries of the Mukai lattice often lift to symplectic birational isomorphisms of the collection of components. An example of such a birational isomorphism is the Abel-Jacobi map relating the Hilbert scheme of g points on a K3 of degree 2g-2 to an integrable system: the union of Jacobians of hyperplane sections (curves) of genus g. The main results are: 1) We construct a stratified version of a Mukai elementary transformation modeled after dual pairs of Springer resolutions of nilpotent orbits. It applies to a holomorphic-symplectic variety M with a stratification where the first stratum is a P^n bundle, but lower strata are Grassmannian bundles. The resulting (transformed) symplectic variety W admits a stratification by the dual Grassmannian bundles. 2) The group of reflections of the Mukai lattice, which act trivially on the second cohomology of the K3 surface, acts on moduli spaces of sheaves (with ``minimal'' first Chern class) as birational stratified elementary transformations. 3) We derive a Picard-Lefschetz type formula identifying the isomorphism of cohomology rings of a holomorphic-symplectic variety M and its stratified transform W as the cup product with an algebraic correspondence.

연구 동기 및 목표

• 홀로모르픽-심플렉틱 다양체에 대해, 군집된 구조를 가진 노름화 궤도의 스프링거 해소 이중성의 일반화.
• 특히 K3 표면의 두 번째 코homology에 자명하게 작용하는 무카이 라티스의 등장사상이 층의 모듈리 공간에 어떻게 작용하는지 이해하기.
• 모듈리 공간 간의 비유일적 변환을 구성하여, 계층화에서 이중 그라스만이안 번들의 구조를 반영하기.
• 홀로모르픽-심플렉틱 다양체와 그 변환된 대응체 간의 코homology 이중성을 대칭적 대응을 통해 수립하기.
• K3 표면과 그 층 모듈리 공간의 맥락에서 브릴-노에르 이중성의 기하적 실현 제공하기.

제안 방법

• 첫 번째 계층이 P^n-_bundle이고, 하위 계층들이 그라스만이안 번들인 홀로모르픽-심플렉틱 다양체에 대해 계층적 무카이 기본 변환을 구성하기.
• 변환된 다양체 W에 대해 이중 계층화를 정의하며, 계층들이 이중 그라스만이안 번들에 대응하도록 하기.
• K3 표면의 H^2에 자명하게 작용하는 무카이 라티스의 반사들을 이용해, 층의 모듈리 공간 위에서 비유일적 심플렉틱 변환을 유도하기.
• 대칭적 대응의 이론을 적용하여 원래 다양체와 변환된 다양체의 코homology 링을 연결하기.
• 특정 대칭적 대응과의 cup 곱으로 기술된 피카르-레프슈체츠 유형의 공식을 유도하여 코homology 동형을 표현하기.
• 힐베르트 스킴과 양각적 다발의 기하학을, 이중성 구성의 원형인 것으로 활용하기.

실험 결과

연구 질문

• RQ1 노름화 궤도의 스프링거 해소 이중성은 어떻게 홀로모르픽-심플렉틱 다양체에 대해 계층적 구조를 가진 경우로 일반화될 수 있는가?
• RQ2 무카이 라티스의 반사들은 K3 표면 위의 층의 모듈리 공간에 대해 어떤 방식으로 비유일적 변환을 유도하는가?
• RQ3 홀로모르픽-심플렉틱 다양체와 그 계층적 무카이 변환된 대응체 간의 정확한 코homological 관계는 무엇인가?
• RQ4 계층적 기본 변환은 어떻게 계층의 번들 유형을 교환하면서도 심플렉틱 구조를 유지하는가?
• RQ5 힐베르트 스킴과 양각적 다발 간의 아벨-자코비 사상은 K3 표면 위의 층 모듈리 공간에서의 더 넓은 이중성의 특수한 경우로 볼 수 있는가?

주요 결과

• P^n과 그라스만이안 계층을 가진 홀로모르픽-심플렉틱 다양체에 대해 계층적 무카이 기본 변환을 구성하였으며, 이는 이중 그라스만이안 번들로 구성된 이중 계층화를 유도한다.
• K3 표면 S에 대해 H^2(S, Z)에 자명하게 작용하는 무카이 라티스의 반사들은 최소한의 첫 번째 체르누 클래스를 가진 층의 모듈리 공간 위에서 비유일적 계층적 기본 변환을 유도한다.
• 원래 다양체 M과 그 변환된 대응체 W의 코homology 링은 피카르-레프슈체츠 유형의 공식에 따라 특정 대칭적 대응과의 cup 곱으로 동형이다.
• 이중성 구성은 고전적인 아벨-자코비 사상의 일반화로서, K3 표면 위의 g개 점의 힐베르트 스킴에서 그라스만이안 번들로 구성된 고정점의 유니온으로부터의 사상으로 일반화된다.
• 이 변환은 홀로모르픽-심플렉틱 구조를 유지하며, K3 표면 모듈리 공간 맥락에서 브릴-노에르 이중성의 기하적 실현을 제공한다.
• 결과는 무카이 라티스로 매개화된 K3 표면 위의 층 모듈리 공간에 대해 유효하며, 이중성은 라티스 대칭성에 의해 유도된다.