[논문 리뷰] On the geometry of the moduli spaces of semistable sheaves supported on plane quartics

Jean–Marc Drézet, Mario Maican|ArXiv.org|2009. 10. 28.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 4

한 줄 요약

이 논문은 복소 사영 평면에서 다중성 4와 오일러 특성 1에서 4까지의 반안정층의 모듈리 공간을 국소적으로 닫힌 스트라타로 분해하며, 각 스트라타는 국소 자유층의 사상 공간에 대한 재수 또는 비재수군 작용에 대한 좋은 또는 기하학적 몫으로 표현된다. 핵심 기여는 이러한 모듈리 공간의 완전한 스트라티피케이션과 해소 기술의 기술이며, 각 스트라타에 대해 명시적인 해소와 기하학적 몫을 확립하였고, M_{P^2}(4,4)에 속하는 어떤 층도 h^0(F(-1)) ≥ 2를 만족하지 않음을 증명하였다.

ABSTRACT

We decompose each moduli space of semistable sheaves on the complex projective plane with support of dimension one and degree four into locally closed subvarieties, each subvariety being the good or geometric quotient of a set of morphisms of locally free sheaves modulo a reductive or a nonreductive group. We find locally free resolutions of length one of all these sheaves and describe them.

연구 동기 및 목표

• 복소 사영 평면에서 차원 1이고 차수 4인 반안정층의 모듈리 공간의 기하학적 구조를 이해하기 위해.
• 모듈리 공간 M_{P^2}(4,χ) (χ = 1, 2, 3, 4) 각각을 코homological 조건에 의해 정의된 국소적으로 닫힌 부분다양체(스트라타)로 분해하기 위해.
• 각 스트라타를 국소 자유층의 사상 공간에 대한 재수 또는 비재수군 작용에 대한 좋은 또는 기하학적 몫으로 표현하기 위해.
• 이 모듈리 공간에 속한 모든 층에 대해 길이 1인 국소 자유 해소를 구성하고, 그 기하학적 및 코homological 성질을 기술하기 위해.

제안 방법

• 각 모듈리 공간 M_{P^2}(4,χ)를 코homological 불변량: h^0(F(-1)), h^1(F), h^0(F⊗Ω^1(1))에 따라 스트라티피케이션하기 위해.
• 각 스트라타에서 해당 층 F를 직합의 선다발 O(-k)와 O 사이의 사상의 코어널로 표현하기 위해.
• 재수 또는 비재수대칭군(예: GL(n,C) × GL(n,C) 또는 Aut 군)의 작용을 이용하여 이러한 사상 공간의 기하학적 몫을 구성하기 위해.
• 뱀의 보조정리와 정확한 수열을 이용해 확장과 해소를 유도하기 위해, 예를 들어 0 → O_C(1) → F → coker(φ) → 0와 같은 수열.
• 이전 연구 결과(예: [15], [17])를 적용하여 문제를 알려진 경우로 감소시키고, 다중성 4로의 프레임워크 확장을 위해 사용하기 위해.
• 대수적 확장 추론을 통해 열린 부분집합에서 사상들을 정의하고 전체 공간으로 확장하여 몫 구성이 잘 정의됨을 보장하기 위해.

실험 결과

연구 질문

• RQ1 모듈리 공간 M_{P^2}(4,χ)는 그가 매개화하는 층의 코homological 불변량에 따라 국소적으로 닫힌 부분다양체로 어떻게 분해될 수 있는가?
• RQ2 M_{P^2}(4,χ)의 각 스트라타의 기하학적 구조는 무엇이며, 국소 자유층의 사상 공간에 대한 몫으로 어떻게 표현될 수 있는가?
• RQ3 P^2에서 다중성 4와 차수 4인 모든 반안정층에 대해 길이 1인 명시적 국소 자유 해소를 구성할 수 있는가?
• RQ4 조건 h^0(F(-1)) ≥ 2는 M_{P^2}(4,4)의 기하학에서 어떤 역할을 하는가? 그리고 그러한 층이 존재하는가?
• RQ5 M_{P^2}(4,χ)에 대한 해소와 몫 구성은 r = 1, 2, 3에 대해 알려진 결과를 어떻게 일반화하는가?

주요 결과

• 모듈리 공간 M_{P^2}(4,1)은 사상 3O(-2) → 2O(-1) ⊕ O의 열린 부분집합에 대한 GL(3,C) × GL(2,C) × GL(1,C) 작용에 의한 좋은 몫과 동형이다.
• M_{P^2}(4,2)에서 스트라타는 사상 3O(-2) ⊕ O(-1) → 2O(-1) ⊕ 2O의 기하학적 몫으로 표현되며, 그 군 작용은 GL(3,C) × GL(1,C) × GL(2,C) × GL(2,C)이다.
• M_{P^2}(4,3)에서 h^0(F(-1)) = 0인 스트라타는 사상 3O(-2) ⊕ 2O(-1) → 3O(-1) ⊕ 2O의 기하학적 몫과 동형이며, 그 군 작용은 GL(3,C) × GL(2,C) × GL(3,C) × GL(2,C)이다.
• M_{P^2}(4,3)에서 h^0(F(-1)) = 1인 스트라타는 사상 3O(-2) ⊕ O(-1) → 3O(-1) ⊕ 3O의 기하학적 몫과 동형이며, 그 군 작용은 GL(3,C) × GL(1,C) × GL(3,C) × GL(3,C)이다.
• 논문은 M_{P^2}(4,4)에 속하는 어떤 층도 h^0(F(-1)) ≥ 2를 만족하지 않음을 증명하였으며, 열린 스트라타 X_0의 여집합은 정확히 스트라타 X_1이며, 이는 기약 초평면이다.
• M_{P^2}(4,4)에서 h^0(F(-1)) = 1인 스트라타의 층 F는 0 → O_C(1) → F → coker(φ_{11}) → 0와 같은 확장에 들어가며, 여기서 C는 φ_{21}과 선형형식 ℓ를 포함하는 행렬식 표현으로 정의된 4차 곡선이다.