[논문 리뷰] On deformations of Q-factorial symplectic varieties

Yoshinori Namikawa|ArXiv.org|2005. 06. 27.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 11

한 줄 요약

이 논문은 Q-계량적이고 사영적인 심플렉틱 다양체에서 종점이 있는 평탄한 변형이 국소적으로 자명하며, 모든 특이점을 유지함을 증명한다; 이는 이러한 다양체가 변형을 통해 매끄럽게 만들 수 없음을 의미하며, 심플렉틱 특이점 이론에서 핵심 문제를 해결한다. 이 결과는 매끄럽게 만들 수 있음이 캐프런트 심플렉틱 해소의 존재와 동치임을 보여주며, K3 표면 위의 층의 모듈리 공간에 응용된다.

ABSTRACT

We shall prove that any small deformation of a Q-factorial projective symplectic variety with terminal singularities is locally rigid; in other words, it preserves the singularity. In particular, many singular symplectic moduli of semi-stable sheaves on K3 have no smoothings via deformations. As an application of the result, we also prove that the smootheness is preserved under a flop in our symplectic case. We conjecture that a projective symplectic variety has a smoothing by a flat deformation if and only if it has a crepant (symplectic) resolution. This conjecture would be true if the minimal model conjecture were true.

연구 동기 및 목표

• Namikawa(2003)에서 제기한 문제를 해결한다: 매끄럽게 만들 수 있는 Q-계량적 심플렉틱 다양체는 반드시 비특이여야 하는가?
• 종점이 있는 Q-계량적 사영 심플렉틱 다양체에 대한 변형의 국소적 고정성을 확립한다.
• 변형에 의한 매끄러움화와 캐프런트 심플렉틱 해소의 존재 간의 관계를 명확히 한다.
• Q-계량적 종점 해소의 맥락에서 플롭에 의한 매끄러움이 유지되는지 증명한다.
• 특이점이 있는 심플렉틱 다양체의 변형 공간을 이해하기 위한 호지 이론적 기초를 제공한다.

제안 방법

• 심플렉틱 다양체의 정의를 사용한다: 정칙 다양체의 정칙 부분집합이 비퇴화인 헬로모르픽 2형식을 가지며, 어떤 해소로도 연장될 수 있다.
• Q-계량성 적용: 모든 웨일 다발은 Q-카르티어이며, 이는 예외적 다발의 코homology 클래스의 이미지가 코homology의 푸시포워드에서 이미지를 생성한다는 것과 동치이다.
• 혼합 호지 이론과 국소 코homology 수열을 사용하여 정칙 부분집합과 그 해소에 대한 호지 구조를 비교한다.
• 특이점의 codimension이 ≥4일 경우, 정칙 부분집합과 해소에 대한 호지 구조 사이의 자연스러운 사상이 동형임을 이용한다.
• [Na1]과 [K]의 변형 공간과 쿠라니시 가족에 관한 결과를 적용하여, Q-계량적 종점 해소에 적응한다.
• 다양체와 그 종점 해소의 쿠라니시 공간 사이의 사상이 유한함을 이용하여 고정성을 도출한다.

실험 결과

연구 질문

• RQ1 종점이 있는 Q-계량적 사영 심플렉틱 다양체는 평탄한 변형을 통해 매끄럽게 만들 수 있는가?
• RQ2 변형에 의한 매끄러움화는 캐프런트 심플렉틱 해소의 존재와 동치인가?
• RQ3 한 Q-계량적 종점 해소가 매끄럽다면 플롭에 의해 다른 해소들도 매끄럽게 되는가?
• RQ4 이러한 심플렉틱 다양체의 변형 공간은 국소적으로 고정되어 있는가?
• RQ5 정칙 부분집합의 호지 구조는 해소의 호지 구조와 어떻게 관련이 있는가?

주요 결과

• 종점이 있는 Q-계량적 사영 심플렉틱 다양체의 임의의 평탄한 변형은 국소적으로 자명하며, 모든 특이점을 유지한다.
• 이러한 다양체는 평탄한 변형을 통해 매끄럽게 만들 수 없으며, 변형 이론적 관점에서 매끄럽게 만들 수 없다.
• 변형에 의한 매끄러움화는 비특이 캐프런트 심플렉틱 해소의 존재와 동치이다.
• 한 Q-계량적 종점 해소가 매끄럽다면, 플롭에 의해 다른 해소들 역시 모두 매끄럽다.
• 심플렉틱 다양체의 쿠라니시 공간은 매끄럽고, 임의의 Q-계량적 종점 해소의 것과 같은 차원을 가진다.
• 다양체의 쿠라니시 공간과 그 종점 해소의 쿠라니시 공간 사이의 자연스러운 사상은 유한 커버링이다.