[논문 리뷰] Flops and Clusters in the Homological Minimal Model Program

Michael Wemyss|arXiv (Cornell University)|2014. 11. 26.

Algebraic structures and combinatorial models참고 문헌 28인용 수 14

한 줄 요약

이 논문은 3차원 특이점의 최소모델들 사이를 체계적으로 이동하는 알고리즘적 방법인 호모로지적 최소모델 프로그램(Homological MMP)을 제안한다. 비가환 대수를 통해 수행되며, 유도 동치(noncommutative ring Λ의 몫의 유한차원성은 도리어 곡선의 펠프 가능성을 감지하고, 변형 유도자(functor)는 Bridgeland–Chen의 펠프 유도자와 일치함을 보여, 기하학적 계산 없이도 효과적으로 최소모델을 이동할 수 있다.

ABSTRACT

Suppose that $f\colon X o\mathrm{Spec}\, R$ is a minimal model of a complete local Gorenstein 3-fold, where the fibres of $f$ are at most one dimensional, so by [VdB1d] there is a noncommutative ring $Λ$ derived equivalent to $X$. For any collection of curves above the origin, we show that this collection contracts to a point without contracting a divisor if and only if a certain factor of $Λ$ is finite dimensional, improving a result of [DW2]. We further show that the mutation functor of [S6][IW4] is functorially isomorphic to the inverse of the Bridgeland--Chen flop functor in the case when the factor of $Λ$ is finite dimensional. These results then allow us to jump between all the minimal models of $\mathrm{Spec}\, R$ in an algorithmic way, without having to compute the geometry at each stage. We call this process the Homological MMP. This has several applications in GIT approaches to derived categories, and also to birational geometry. First, using mutation we are able to compute the full GIT chamber structure by passing to surfaces. We say precisely which chambers give the distinct minimal models, and also say which walls give flops and which do not, enabling us to prove the Craw--Ishii conjecture in this setting. Second, we are able to precisely count the number of minimal models, and also give bounds for both the maximum and the minimum numbers of minimal models based only on the dual graph enriched with scheme theoretic multiplicity. Third, we prove a bijective correspondence between maximal modifying $R$-module generators and minimal models, and for each such pair in this correspondence give a further correspondence linking the endomorphism ring and the geometry. This lifts the Auslander--McKay correspondence to dimension three.

연구 동기 및 목표

• 중간 기하학적 구조를 계산하지 않고도 3차원 특이점의 최소모델들 사이를 효과적으로 이동할 수 있는 알고리즘적 방법을 개발하기 위해.
• 비가환환 Λ의 몫의 유한차원성이 곡선 집합이 면을 수축시키지 않고 수축 가능한지를 감지함을 보여주기 위해.
• Λ_I가 유한차원일 조건 하에서 변형 유도자와 Bridgeland–Chen의 펠프 유도자 사이의 함자적 동형을 확립하기 위해.
• 기하학적 계산을 대체하는 대수적 변형을 통해 GIT 카메라와 펠프 구조를 제어할 수 있는 호모로지적 프레임워크를 제공하기 위해.
• 최대 수정 R-모듈러스 생성자를 최소모델과 연결함으로써 2차원에서의 Auslander–McKay 대응을 3차원으로 확장하기 위해.

제안 방법

• 최소모델 f: X → Spec R에 대해 반사적 R-모듈러스 N을 이용해 비가환환 Λ = End_R(N)을 정의한다.
• 유도 동치 Ψ_X: D^b(coh X) → D^b(mod Λ)를 사용하여 기하학적 질문을 호모로지 대수학으로 변환한다.
• 곡선 집합에 대응하는 Λ의 몫 Λ_I를 정의하고, 그 유한차원성이 펠프 가능성 감지를 가능하게 한다.
• [IW2, §6]의 변형 유도자를 적용하여 대수 Λ를 변형함으로써 기하학적 맥락에서의 펠프를 수행하는 것과 대응시킨다.
• Λ_I가 유한차원일 경우 변형 유도자가 Bridgeland–Chen의 펠프 유도자의 역과 함자적으로 동형임을 증명한다.
• 얻어진 대수적 변형을 통해 중간 프로젝티브 구조를 계산하지 않고도 최소모델들 사이를 이동시킨다.

실험 결과

연구 질문

• RQ1 3차원 최소모델의 곡선 집합이 면을 수축시키지 않고 점으로 수축하는 조건은 무엇인가?
• RQ2 각 기하학적 구조를 명시적으로 계산하지 않고도 주어진 특이 3차원 다항식의 모든 최소모델 사이를 알고리즘적으로 이동할 수 있는가?
• RQ3 비가환 맥락에서 펠프 가능한 곡선을 감지하는 정확한 호모로지 조건은 무엇인가?
• RQ4 변형 유도자가 Bridgeland–Chen의 펠프 유도자와 함자적으로 동형이 되는 조건은 무엇인가?
• RQ5 비가환 대수를 통해 2차원에서의 Auslander–McKay 대응을 3차원으로 승격시킬 수 있는가?

주요 결과

• 3차원 최소모델의 곡선 집합이 면을 수축시키지 않고 수축하는 것은 오직 그리고 오직 그에 대응하는 비가환환 Λ의 몫 Λ_I가 유한차원일 때에만 가능하다.
• IW2, §6의 변형 유도자는 Λ_I가 유한차원일 경우 정확히 Bridgeland–Chen의 펠프 유도자의 역과 함자적으로 동형이다.
• Homological MMP는 중간 기하학적 자료를 계산하지 않고도 Spec R의 모든 최소모델 사이를 변형을 통해 이동시킬 수 있다.
• 최소모델의 수는 스킴 이론적 중복도를 반영한 이중 그래프로 제한되며, 대수적 구조를 통해 정확한 수를 계산할 수 있다.
• 최대 수정 R-모듈러스 생성자와 최소모델 사이에 전단사 대응이 존재하며, 그들에 대응하는 내림사슬환은 유도 동치를 통해 기하학과 연결된다.
• Homological MMP는 GIT 카메라의 구조를 완전히 기술하며, 어떤 카메라가 서로 다른 최소모델을 유도하고, 어떤 벽이 펠프를 일으키는지를 식별한다.