[논문 리뷰] Examples for exceptional sequences of invertible sheaves on rational surfaces

Markus Perling|arXiv (Cornell University)|2009. 04. 03.

Algebraic structures and combinatorial models참고 문헌 13인용 수 15

한 줄 요약

이 논문은 $\mathbb{P}^2$의 $t$개의 서로 다른 점들 위에서의 블로우업으로 얻어진 유리 표면에서의 역행성 가환층의 강한 예외적 시퀀스의 명시적 예를, 토릭 시스템과 쿼버 대수를 이용하여 구성한다. 이는 관련된 내림차수 대수 $A_X$가 경로 대수의 유한 차원 몫임을 보이며, 블로우업 점들의 기하적 자료에 의해 관계가 암호화되어 있음을 보여주며, 표면에 대한 비가환 모델을 제공한다.

ABSTRACT

In this article we survey recent results of joint work with Lutz Hille on exceptional sequences of invertible sheaves on rational surfaces and give examples.

연구 동기 및 목표

• 유리 표면, 특히 $\mathbb{P}^2$의 $t$개의 점들 위에서의 블로우업에서의 역행성 가환층의 강한 예외적 시퀀스의 명시적 예를 제공하는 것.
• 토릭 기하학과 유리 표면의 코herent층의 유도 범주 사이의 관계를 탐색하는 것.
• 이러한 시퀀스로부터 유도되는 기울임 번들의 내림차수 대수를 통해 특이점의 비가환 해소를 구성하는 것.
• 블로우업 점들의 기하적 자료와 관련된 관계의 이상을 연결하여, 이러한 대수의 매개변수 공간을 명시적으로 묘사하는 것.

제안 방법

• 토릭 시스템을 사용하여 유리 표면에서의 역행성 가환층의 강한 예외적 시퀀스를 매개변수화한다.
• 오일러 형식과 리만-로흐 정리를 이용하여 코homology의 소멸 조건을 나눗셈자에 대한 수치적 제약 조건으로 줄인다.
• 기울임 번들의 내림차수 대수 $A_X$를 주는 경로 대수를 가지는 쿼버와 관계를 구성한다.
• 관계 $A_X$에서의 관계를 선형군의 전역 단면 간의 자연스러운 사상의 핵으로 식별한다. 예를 들어 $\ker(H_i \otimes V^* \to S^2V^*)$와 같이.
• $H_i = \Gamma(X, \mathcal{O}(H - R_i))$를 블로우업된 점들에 대한 $V^*$의 초평면과 자연스럽게 동치시킨다.
• 모든 $\mathbb{P}^2$의 $t$개의 점에 대한 동시에 블로우업을 위한 보편적인 토릭 시스템을 수립하며, 모듈리 공간 $\mathcal{M}$을 이상의 매개변수 공간에 임베딩한다.

실험 결과

연구 질문

• RQ1 토릭 시스템을 통해 유리 표면에서의 역행성 가환층의 강한 예외적 시퀀스를 어떻게 명시적으로 구성할 수 있는가?
• RQ2 이러한 시퀀스에 관련된 내림차수 대수 $A_X = \operatorname{End}(\bigoplus \mathcal{O}(E_i))$의 구조는 어떠한가?
• RQ3 대수 $A_X$의 관계는 $\mathbb{P}^2$ 위의 블로우업 점들의 기하학적 성질을 어떻게 반영하는가?
• RQ4 모든 $\mathbb{P}^2$의 $t$개의 서로 다른 점들 위에서의 블로우업에 대해 보편적인 토릭 시스템을 정의할 수 있는가?
• RQ5 이러한 표면의 모듈리 공간 $\mathcal{M}$은 이상 $I_X$를 통해 대수의 매개변수 공간에 어떻게 임베딩될 수 있는가?

주요 결과

• 기울임 번들의 내림차수 대수 $A_X$는 유한 차원이며, $\dim A_X = 9t + 15$이다.
• 모든 $\mathbb{P}^2$의 $t$개의 서로 다른 점들 위에서의 블로우업에 대해 쿼버의 구조는 보편적이며, 경로 대수 $A$의 생성자는 $18t + 6$개가 있다.
• 이상 $I_X$는 세 가지 유형의 관계로 생성된다: $\ker(H_i \otimes V^* \to S^2V^*)$, $\ker(\bigoplus H_i \to V^*)$, 및 $\ker(V^* \otimes V^* \to S^2V^*)$.
• 벡터 공간 $e_i A_X e_j$는 전역 단면으로 명시적으로 묘사되며, 예를 들어 $H_i = \Gamma(X, \mathcal{O}(H - R_i))$와 같이 표현된다.
• 블로우업 점들의 기하적 자료는 포함관계 $H_i \subset V^*$를 통해 $A_X$의 관계에 암호화되어 있으며, 이는 관계를 정의한다.
• 이 구성은 대수 $A_X$를 통해 특이점의 비가환 해소를 제공하며, $A_X \cong A/I_X$이다.