[논문 리뷰] Symplectic resolutions: deformations and birational maps

D. Kaledin|ArXiv.org|2000. 12. 03.

Advanced Algebra and Geometry참고 문헌 15인용 수 31

한 줄 요약

이 논문은 유한 생성된 군집화된 대수 조건을 만족할 경우, 동일한 아핀 심플렉틱 다양체의 두 힐베르트-심플렉틱 해소가 변형적으로 동치임을 증명한다. 또한 심플렉틱 해소가 반소작용적임을 보이고, 심플렉틱 다양체의 로그-플롭이 매끄럽고 심플렉틱임을 보이며, 투위스트 방법과 변형 이론을 통해 히브레히츠의 초카일러 다양체에 대한 전역 결과에 대한 국소적 대응을 제공한다.

ABSTRACT

Unfortunately, some proofs in the first version of this paper were incorrect. In this revised version, some minor gaps are fixed, one serious mistake found. The main theorem is now claimed only under a restrictive technical assumption. This invalidates the application to quotient singularities by the Weyl group of type $G_2$. Everything else still stands (in particular, the claim that every symplectic resolution is semismall).

연구 동기 및 목표

• 콤���트 하이퍼카일러 다양체에 대한 히브레히츠의 전역 변형 동치 결과의 국소적 대응을 확립하기 위해, 특이 아핀 다양체의 심플렉틱 해소에 초점을 맞춘다.
• 해소에 관련된 군집화된 대수가 유한 생성일 경우, 동일한 정규 아핀 다양체의 두 힐베르트-심플렉틱 해소가 변형적으로 동치임을 증명한다.
• 힐베르트-심플렉틱 프로젝티브 다양체의 로그-플롭이 매끄럽고 심플렉틱임을 보이며, 이 경우 로그-플롭 추측의 존재성 부분을 증명한다.
• 심플렉틱 설정에서의 크레패нт 해소가 매끄러운 해소와 변형적으로 동치임을 보이고, 매끄러움은 사후적으로 변형 이론적 추론을 통해 유도될 수 있음을 보여준다.
• 이전 연구에서 사용된 깊은 해석학적 정리(특히 데메를리와 파운의 정리)에 의존하지 않는 대수기하학적 대안을 제공한다.

제안 방법

• 형식 원판 $\operatorname{Spec} \mathbb{C}[[t]]$ 위에서 변형 이론을 사용하여 해소의 일파라미터 가중가를 구성하고, 중심 섹션을 분석한다.
• 투위스트 변형 기법을 적용하여 기저 $S = \operatorname{Spec} \mathbb{C}[[t]]$ 위에 가중가 $\mathcal{X}'$ 를 구성하며, 일반 섹션은 해소 $X'$ 와 동형이고, 특별 섹션은 원래 해소이다.
• 코다이라-스펜서 클래스와 코homological 소멸을 사용하여 무한소 변형의 자명성을 보이며, 국소적 곱 구조와 매끄러움을 유도한다.
• 상대 심플렉틱 형식과 그 풀백이 상대 접선 복합체의 자명성을 유도하며, 이는 변형의 자명성과 따라서 전체 공간의 매끄러움을 의미한다.
• 구조층의 직접 이미지와 에크스트 군을 사용하여 섹션의 정규 복합체가 일정함을 보이며, 이는 매끄러움을 의미한다.
• 플롭의 유일성(Kollár-Mori)과 $\mathbb{Q}$-근본성에 기반하여 변형과 플롭 구성 간의 호환성을 확보한다.

실험 결과

연구 질문

• RQ1 동일한 아핀 심플렉틱 다양체의 두 힐베르트-심플렉틱 해소는 변형적으로 동치인가?
• RQ2 힐베르트-심플렉틱 프로젝티브 다양체의 로그-플롭은 여전히 매끄럽고 심플렉틱한가?
• RQ3 사전에 매끄럽지 않다고 가정하지 않고, 변형 이론적 성질로부터 크레패닛 해소의 매끄러움을 유도할 수 있는가?
• RQ4 만약 $X$ 가 심플렉틱이고 $Y$ 가 아핀이며 정규일 때, 사상 $\pi: X \to Y$ 의 기하학적 성격은 무엇인가?
• RQ5 심플렉틱 해소의 변형이 심플렉틱하고 매끄럽게 유지되는 조건은 무엇인가?

주요 결과

• 해소 사상 $\pi: X \to Y$ 는 반드시 반소작용적일 것이며, 이는 어떤 스트라툼에 대한 섹션의 차원이 그 스트라툼의 codimension의 반보다 작거나 같다는 것을 의미한다.
• 해소에 관련된 군집화된 대수가 유한 생성일 경우(조건 5.1), 두 힐베르트-심플렉틱 해소 $X_1 \to Y$ 와 $X_2 \to Y$ 는 변형적으로 동치이다.
• 극단적 수축에 대한 힐베르트-심플렉틱 다양체 $X$ 의 로그-플롭 $X'$ 는 자체적으로 매끄럽고 힐베르트-심플렉틱 형식을 지닌다.
• $\mathcal{X}_1$, $\mathcal{X}_2$, $\mathcal{Y}$ 의 일반 섹션은 서로 동형이며 아핀이며, 변형은 해소 사상과 호환된다.
• 전체 공간 $\mathcal{X}'$ 과 섹션 $X'$ 의 매끄러움은 코homological 소멸과 에크스트 군 추론을 통해 코다이라-스펜서 클래스의 자명성과 스킴의 정규성에 기반하여 유도된다.
• 심플렉틱 형식은 열린 밀도 부분집합에서 전체 다양체 $X'$ 로 확장되며, 이는 $X'$ 가 힐베르트-심플렉틱임을 보장한다.