[논문 리뷰] Stable pairs on curves and surfaces

Daniel Huybrechts, Manfred Lehn|ArXiv.org|1992. 11. 09.

Algebraic Geometry and Number Theory참고 문헌 8인용 수 100

한 줄 요약

이 논문은 기하학적 불변량 이론(GIT)을 사용하여 매끄럽고 사영적인 곡선과 표면 위의 안정 쌍 $({\cal E}, \alpha: {\cal E} \to {\cal E}_0)$에 대한 미세한 준사영 모듈리 공간의 존재를 확립한다. 이는 다항식 $\delta$로 매개변수화된 안정성 조건을 도입함으로써 이루어지며, 주요 기여는 프레임된 복합체와 히긴스 쌍의 모듈리 공간을 캄팩티피케이션함으로써 이전의 대수적 공간 결과를 준사영 스킴으로 일반화한 것이다.

ABSTRACT

We describe stability conditions for pairs consisting of a coherent sheaf and a homomorphism to a fixed coherent sheaf on a projective variety. The corresponding moduli spaces are constructed for pairs on curves and surfaces. We consider two examples. The fixed sheaf is the structure sheaf or is a vector bundle on a divisor, i.e. Higgs pairs or framed bundles, resp. (unencoded version)

연구 동기 및 목표

• 매끄럽고 사영적인 곡선과 표면 위의 안정 쌍 $({\cal E}, \alpha: {\cal E} \to {\cal E}_0)$에 대한 미세한 준사영 모듈리 공간을 구축한다.
• 벡터 복합체에 대한 고전적 안정성의 개념을 일반화하기 위해 매개변수 $\delta$를 도입함으로써 쌍에 대한 안정성의 개념을 확장한다.
• 이전에 대수적 공간으로만 구성된 프레임된 복합체와 히긴스 쌍의 모듈리 공간을 캄팩티피케이션하고, 이가 준사영 스킴임을 보여준다.
• 이중화와 안정성 조건을 통해 프레임된 복합체, 레벨 구조, 히긴스 쌍 간의 연결 고리를 설정한다.
• 고차수 곡선 위의 안정 쌍에 대해 보고몰로프의 제약 정리를 일반화한다.

제안 방법

• Hilbert 다항식과 부분층의 계수를 포함하는 두 부등식을 통해 다항식 $\delta > 0$ 에 대해 쌍 $({\cal E}, \alpha)$ 의 안정성을 정의한다.
• 기하학적 불변량 이론(GIT)을 사용하여 곡선과 표면 위의 안정 쌍에 대한 사영 모듈리 공간을 구성한다.
• 유계성 결과와 단면 안정성 조건을 활용하여 미세 모듈리 공간의 존재를 보장한다.
• 불변량 이론을 통한 모듈리 공간 구성 분석을 통해, 적절성과 분리성 보장에 필요한 기술적 보조정리 1.18을 증명한다.
• 히긴스 쌍 구성의 이중화를 통해 $\mathcal{O}_X$로 향하는 준동형을 갖는 프레임된 복합체를 얻고, 토르션 자유 복합체를 통해 캄팩티피케이션을 가능하게 한다.
• 안정성 매개변수 $\delta$ 를 적용하여, 극한에서 반안정 복합체의 모듈리 공간을 근사함으로써 표면에 대해 타드데우스의 방법을 일반화한다.

실험 결과

연구 질문

• RQ1 곡선과 표면 위의 안정 쌍 $({\cal E}, \alpha: {\cal E} \to {\cal E}_0)$ 에 대해 준사영 모듈리 공간을 구성할 수 있는가?
• RQ2 쌍에 대한 안정성 조건은 추가 매개변수 $\delta$ 에 어떻게 의존하며, 기하학적 해석은 무엇인가?
• RQ3 이 틀을 사용하여 프레임된 복합체의 모듈리 공간을 캄팩티피케이션하고, 이가 준사영 스킴임을 보일 수 있는가?
• RQ4 히긴스 쌍과 그 이중화가 모듈리 공간의 맥락에서 프레임된 복합체와 레벨 구조와 어떻게 관련되는가?
• RQ5 고차수 곡선으로의 제약에 대해 안정 쌍의 행동은 어떠한가? 그리고 보고몰로프 유형 부등식이 성립하는가?

주요 결과

• 매끄럽고 사영적인 곡선과 표면에 대해, 다항식 $\delta$ 에 대해 안정 쌍 $({\cal E}, \alpha)$ 의 미세 준사영 모듈리 공간이 존재하며, 이는 정리 1.21에 명시되어 있다.
• 모듈리 공간은 국소 자유 복합체를 초월하여 토르션 자유 복합체를 포함함으로써 자연스럽게 캄팩티피케이션될 수 있다.
• ${\cal E}_0 \cong \mathcal{O}_X$ 인 경우, 안정 쌍은 히긴스 쌍과 대응되며, 곡선 위의 랭크 두 히긴스 쌍의 모듈리 공간은 준사영 스킴으로 실현된다.
• 프레임된 복합체에 대해 ${\cal E}_0 \cong \mathcal{O}_C^{\oplus r}$ 이면 조건 $\delta_1 < (r-1)(C.H)$ 하에서 모듈리 공간은 준사영이 된다. 이는 이전 결과를 일반화한다.
• $\max_{0<s<r} \left\{ \frac{r s}{r-s} \sum a_i \nu_s({\cal E}_0, C_i) \right\} < \delta_1 < (r-1)(C.H)$ 조건은 프레임된 복합체의 $\mu$-안정성을 보장하며, 이는 모듈리 공간의 준사영성을 증명한다.
• 논문은 보고몰로프의 제약 정리를 안정 쌍으로 일반화하여, 충분히 고차수 곡선으로의 제약에 대해 안정 쌍이 안정 복합체로 제약된다는 것을 보여준다.