[논문 리뷰] On the moduli space of semi-stable plane sheaves with Euler characteristic one and supported on sextic curves

Mario Maican|arXiv (Cornell University)|2011. 04. 30.

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

한 줄 요약

이 논문은 오일러 특성 1인 6차 곡선에 기반한 복소 프로젝티브 평면 위의 기이제커 준안정층의 모듈리 공간을 연구한다. 모든 이러한 층에 대해 길이 1의 국소 자유 해상분해를 제공하고, 코homological 조건을 통해 모듈리 공간을 다섯 개의 스트라타로 분해하며, 각 스트라타를 매개변수 공간 위의 대수적 군 작용에 의한 기하적 몫으로 기술한다. 이로써 각 스트라타 내의 층에 대해 명시적인 기하학적 및 코homological 특성화를 제공한다.

ABSTRACT

We study the moduli space of Gieseker semi-stable sheaves on the complex projective plane supported on sextic curves and having Euler characteristic one. We determine locally free resolutions of length one for all such sheaves. We decompose the moduli space into strata which occur naturally as quotients modulo actions of certain algebraic groups. In some cases we give concrete geometric descriptions of the strata.

연구 동기 및 목표

• Hilbert 다항식 P(m) = 6m + 1을 가진 P² 위의 기이제커 준안정층을 매개변수화하는 모듈리 공간 M_{P²}(6,1)의 기하학을 이해하기 위해.
• 이 모듈리 공간을 코homological 불변량에 기반한 스트라타로 분해하여, 각각 다른 층 유형에 대응시키기 위해.
• 모든 이러한 층에 대해 길이 1의 국소 자유 해상분해를 구성하여, 스트라타의 명시적 기하학적 기술을 가능하게 하기 위해.
• 각 스트라타를 사상 공간의 매개변수 공간 위의 대수적 군 작용에 의한 기하적 몫으로 기술하기 위해.
• 이중성 동형사상 M_{P²}(6,1) ≅ M_{P²}(6,5)를 통해 스트라타를 이중 모듈리 공간과 연결하고, 낮은 차수 곡선에 대한 기존 결과를 확장하기 위해.

제안 방법

• 모듈리 공간 M_{P²}(6,1)은 층에 대한 코homological 조건에 기반해 다섯 개의 국소적으로 닫힌 부분집합 X₀부터 X₅로 스트라티피케이션된다.
• 각 스트라타 Xi는 Ai와 Bi가 선다중선의 직합인 경우, Aut(Ai) × Aut(Bi)의 작용에 의한 국소적으로 닫힌 부분집합 Wi ⊂ Hom(Ai, Bi)의 기하적 몫으로 실현된다.
• 각 스트라타에 속한 모든 층에 대해 길이 1의 국소 자유 해상분해가 구성되며, 층은 사상 φ ∈ Hom(Ai, Bi)의 코어널로 주어진다.
• 스트라타는 피브어 번들의 구조를 통해 기술된다: X₀는 N(3,5,4) 위의 피브어가 P¹⁷인 피브어 번들의 열린 부분집합, X₂는 Y × P² 위, X₃는 P² × N(3,2,3) 위, X₄는 Grass(2,6) 위의 피브어 번지와 비례적이고, X₅는 힐베르트 플래그 스킴과 동형이다.
• 이중성은 M_{P²}(6,1)과 M_{P²}(6,5) 사이의 관계를 규명하며, 이중 코homological 조건을 만족하는 이중 스트라타 X_i^D가 정의된다.
• 코homological 소멸성 및 안정성 추론을 통해 불안정한 부분층이 존재하지 않음을 입증하여, 스트라타가 잘 정의되고 기약임을 보장한다.

실험 결과

연구 질문

• RQ1 오일러 특성이 1인 6차 곡선에 기반한 준안정층의 모듈리 공간 M_{P²}(6,1)의 기하학적 구조는 무엇인가?
• RQ2 이 모듈리 공간은 매개변수화하는 층의 코homological 불변량에 따라 어떻게 스트라티피케이션될 수 있는가?
• RQ3 모든 이러한 층에 대해 명시적인 길이 1의 국소 자유 해상분해는 무엇이며, 이들은 어떻게 사상 공간의 몫으로서 스트라타를 실현하는가?
• RQ4 스트라타는 N(3,5,4), N(3,2,3), Grass(2,6)와 같은 알려진 모듈리 공간과 어떻게 관련이 있는가?
• RQ5 이중성은 M_{P²}(6,1)과 M_{P²}(6,5)를 어떻게 연결하며, 이중 스트라타는 어떻게 특성화되는가?

주요 결과

• 모듈리 공간 M_{P²}(6,1)은 차원 37인 매끄럽고 기약적이며 유리적인 프로젝티브 다양체이다.
• 이 공간은 다섯 개의 스트라타로 분해되며, X₀(열린 부분집합, codimension 0), X₁ 및 X₂(코디멘션 2), X₃ ∪ X₄(코디멘션 6), X₅(코디멘션 8)이다.
• X₀는 기하학적 군 작용에 의한 기하적 몫으로서, 준안정 크로네커 모듈 f: 5O(-2) → 4O(-1)의 모듈리 공간 N(3,5,4) 위에 피브어가 P¹⁷인 피브어 번지의 열린 부분집합이다.
• X₅는 오일러 특성이 2인 0차원 부분스킴을 가진 6차 곡선을 매개변수화하는 힐베르트 플래그 스킴과 동형이다.
• X₃의 일반 층은 O_C(2)(-P₁ - P₂ - P₃ + P₄)의 형태를 가지며, 여기서 P₁, P₂, P₃는 매끄러운 6차 곡선 C 위의 공선형이 아닌 점들이다.
• X₄의 일반 층은 O_C(1)(P₁ + P₂ + P₃ + P₄)의 형태를 가지며, 여기서 C 위의 네 점 중 어떤 세 점도 공선형이 아니다.