[논문 리뷰] Non-commutative Mori contractions and $\PP^1$-bundles

Daniel Chan, A. Nyman|ArXiv.org|2009. 04. 10.

Homotopy and Cohomology in Algebraic Topology참고 문헌 13인용 수 4

한 줄 요약

이 논문은 푸리에-무카이 변환과 기저점 자유 조건을 이용하여 비환류 스킴에서 환류 프로젝티브 곡선으로의 비환류 모리 수축을 구성하는 방법을 제시한다. 비환류 $\mathbb{P}^1$-_bundle는 매끄럽고 잘 조율된 Hilbert 스킴를 가지며, 그의 세르 편의자를 계산할 수 있으며, $K_Y \cdot C < 0$, $C^2 = 0$ 조건을 만족하는 표면에서의 극단적 수축의 비환류 해석을 제공한다. 주요 기여는 이러한 수축을 통한 비환류 표면에서의 룰러드 조건을 제시하는 것이다.

ABSTRACT

We give a method for constructing maps from a non-commutative scheme to a commutative projective curve. With the aid of Artin-Zhang's abstract Hilbert schemes, this is used to construct analogues of the extremal contraction of a $K$-negative curve with self-intersection zero on a smooth projective surface. This result will hopefully be useful in studying Artin's conjecture on the birational classification of non-commutative surfaces. As a non-trivial example of the theory developed, we look at non-commutative ruled surfaces and, more generally, at non-commutative $\PP^1$-bundles. We show in particular, that non-commutative $\PP^1$-bundles are smooth, have well-behaved Hilbert schemes and we compute its Serre functor. We then show that non-commutative ruled surfaces give examples of the aforementioned non-commutative Mori contractions.

연구 동기 및 목표

• 비환류 대수기하학에서의 사상 구성 방법의 부족을 해결하기 위해, 특히 비환류 표면에 대해.
• 모리의 최소 모델 프로그램의 비환류 해석을 개발하며, $K_Y \cdot C < 0$ 및 $C^2 = 0$ 조건을 만족하는 곡선의 극단적 수축에 초점을 맞춘다.
• 비환류 표면에서의 룰러드 조건을 제시하여 아르틴의 비동형 분류에 대한 추측을 뒷받침한다.
• 비환류 $\mathbb{P}^1$-bundle를 비틀림 없는 예시로 연구하며, 그들의 매끄러움을 증명하고 세르 편의자를 계산한다.
• 비환류 룰러드 표면이 제안된 비환류 모리 수축을 실현함으로써 이론을 구체적인 기하학적 예시와 연결한다.

제안 방법

• 비환류 준스킴 $Y$에서 환류 프로젝티브 곡선 $X$로 사상을 구성하기 위해 아르틴-장의 추상 Hilbert 스킴를 사용한다.
• 상대 체흐 코hom로의 푸리에-무카이 변환을 적용하여 $f^*$의 당김 함수를 인수분해하며, 기존의 환류 사례에서의 그래프 구성법을 일반화한다.
• 핵층에 대해 '기저점 자유성' 조건을 도입하여 푸리에-무카이 변환이 오른쪽 완전성과 오른쪽 수반을 가짐을 보장한다.
• 비환류 대수기하학의 교차 이론, 세르 대칭, 코homology를 활용하여 $Y$의 기하학을 분석한다.
• 모듈러 범주 간의 수반 쌍으로서 사상을 정의하는 $\operatorname{Mod}Y$를 비환류 스킴로 간주한다.
• 특정 $\mathbb{P}^1$-섬유에 대응하는 $\mathcal{O}_Y$의 보편 몫을 이용하여 Hilbert 스킴를 통해 사상 $f: Y \to X$를 구성한다.

실험 결과

연구 질문

• RQ1 선형 체계에 의존하지 않고도 $K$-음성 곡선의 자기교차 수가 0인 극단적 수축의 비환류 해석을 구성할 수 있는가?
• RQ2 선형 체계가 없는 상황에서 비환류 스킴에서 환류 곡선으로의 사상을 체계적으로 구성할 수 있는가?
• RQ3 비환류 $\mathbb{P}^1$-bundle의 기하학적 성질은 무엇이며, 그들은 매끄러움과 세르 대칭을 만족하는가?
• RQ4 비환류 $\mathbb{P}^1$-섬유화 정리의 비환류 해석이 성립하는가? 즉, $f^*\mathcal{O}_X$가 Hilbert 스킴에서 보편 몫인가?
• RQ5 비환류 룰러드 표면이 비환류 모리 수축으로 실현될 수 있는가? 이는 이론의 검증 사례가 된다.

주요 결과

• 비환류 $\mathbb{P}^1$-bundle는 매끄럽고 잘 조율된 Hilbert 스킴를 가지며, 계산 가능한 세르 편의자를 갖는다.
• 기저점 자유성 조건을 활용한 푸리에-무카이 변환 구성은 오른쪽 수반의 존재를 보장하여 비환류 설정에서 사상의 정의를 가능하게 한다.
• 사상 $\nu: \mathcal{O}_Y \to f^*\mathcal{O}_X$가 동형이 아닐 때는 $\operatorname{Ext}^1(f^*\mathcal{O}_p, \mathcal{O}_Y) \to \operatorname{Ext}^1(f^*\mathcal{O}_p, f^*\mathcal{O}_p)$가 0이거나 $f^*\mathcal{O}_{2p}$가 균일하지 않을 때이다.
• 만약 $\nu$가 동형이 아니고 조건 (i)가 실패한다면, $f^*\mathcal{O}_{2p}$는 서로 겹치지 않는 두 개의 비자명한 부분모듈을 포함하며, 이는 비균일성을 의미한다.
• 이 이론은 비환류 룰러드 표면에 적용되며, 비환류 모리 수축을 실현함으로써 이론의 구체적 예시를 제공한다.