[논문 리뷰] Moduli of framed sheaves on projective surfaces

Ugo Bruzzo, Dimitri Markushevich|arXiv (Cornell University)|2009. 06. 08.

Algebraic Geometry and Number Theory참고 문헌 16인용 수 20

한 줄 요약

이 논문은 둥근 프레임이 부착된 큰 비어 있는 다항식을 가진 매끄럽고 사영적인 표면 위의 비틀림 없는 층에 대한 미세한 준사영 모듈리 공간의 존재를 확립한다. 허브레히트와 린의 안정 쌍의 개념에 따라 이러한 프레임된 층이 안정 쌍임을 보임으로써, 저자들은 잘 정의된 모듈리 공간을 구성하고 그 부드러움에 대한 장애를 계산하며, 이 장애가 추적 사상의 핵에 속해 있음을 증명한다—이는 국소적으로 자유롭지 않은 경우로 루브케의 결과를 확장한다.

ABSTRACT

We show that there exists a fine moduli space for torsion-free sheaves on a projective surface, which have a "good framing" on a big and nef divisor. This moduli space is a quasi-projective scheme. This is accomplished by showing that such framed sheaves may be considered as stable pairs in the sense of Huybrechts and Lehn. We characterize the obstruction to the smoothness of the moduli space, and discuss some examples on rational surfaces.

연구 동기 및 목표

• 매끄럽고 사영적인 표면 위의 큰 비어 있는 다항식에서 양호한 프레임이 부착된 비틀림 없는 층에 대한 미세 모듈리 공간을 구성하는 것.
• 그러한 프레임된 층이 허브레히트와 린의 안정 쌍의 개념에 따라 안정 쌍임을 보여주어 모듈리 공간의 구성이 가능하도록 하는 것.
• 모듈리 공간의 부드러움에 대한 장애 공간의 정확한 구조를 특성화하는 것.
• 모듈리 공간의 구조에 대한 세밀한 분석을 제공하여, 이가 준사영적이고 분리되어 있음을 증명하는 것.
• 히르체브루흐 표면과 ℙ²의 블로우업에서의 명시적 예를 제시하여 모듈리 공간의 기하학을 설명하는 것.

제안 방법

• 저자들은 분할 극화 H와 매개변수 δ에 기반한 안정성 조건을 도입함으로써, 프레임된 층을 안정 쌍의 프레임워크에 통합한다.
• 약간의 조건 하에 고려 중인 모든 프레임된 층이 (H,δ)-안정임을 증명함으로써, 안정 쌍의 모듈리 공간의 열린 부분스킴으로서의 모듈리 공간을 구성할 수 있다.
• 안정 쌍의 모듈리 공간의 미세한 모듈리 공간 구조를 활용하여, 모듈리 공간이 준사영적임을 보인다.
• 부드러움에 대한 장애 공간이 추적 사상의 핵에 속해 있음을 확인함으로써, 루브케의 결과를 국소적으로 자유롭지 않은 경우로 확장한다.
• 특수한 경우에서 ADHM 구성과 비교하여, 안정 쌍 접근법과 동치임을 보인다.

실험 결과

연구 질문

• RQ1 매끄럽고 사영적인 표면 위의 프레임된 층에 대해 큰 비어 있는 다항식에서 양호한 프레임이 부착된 경우, 미세 준사영 모듈리 공간이 존재하는가?
• RQ2 프레임된 층은 안정 쌍의 모듈리 공간에 통합될 수 있으며, 이러한 구성은 잘 정의된 모듈리 공간을 제공하는가?
• RQ3 프레임된 층의 모듈리 공간의 부드러움에 대한 장애 공간의 정확한 구조는 무엇인가?
• RQ4 히르체브루흐 표면과 ℙ²의 블로우업과 같은 특정 표면에서 모듈리 공간은 어떻게 행동하는가?
• RQ5 두 방법이 모두 적용 가능한 경우, 프레임된 층의 모듈리 공간은 ADHM 구성과 동치인가?

주요 결과

• 큰 비어 있는 다항식에서 양호한 프레임이 부착된 매끄럽고 사영적인 표면 위의 프레임된 층의 모듈리 공간은 미세 준사영 스킴이다.
• 프레임된 층이 (H,δ)-안정 쌍임을 보여주어, 안정 쌍의 모듈리 공간을 통한 구성이 가능함을 입증한다.
• 부드러움에 대한 장애 공간은 추적 사상의 핵에 속해 있으며, 이는 국소적으로 자유롭지 않은 경우로 루브케의 결과를 확장한다.
• p번째 히르체브루흐 표면에서 M(r,k,n)의 경우, n = N = pk(r−k)/(2r)일 때, 이 공간은 그라스만ian G(k,r) 위의 계수 k(r−k)(p−1)의 벡터 복합체이다.
• ℱ₁ 위의 계수 2 범주에서, 모듈리 공간은 예외적 다항식에서 분할 유형에 따른 분할을 가지며, k번째 분할의 섹션은 M(n−k) 위의 차원 2k+1의 프로젝티브 공간과 동형이다.