[논문 리뷰] Birational geometry of symplectic resolutions of nilpotent orbits II

Yoshinori Namikawa|ArXiv.org|2004. 08. 20.

Advanced Algebra and Geometry참고 문헌 16인용 수 11

한 줄 요약

이 논문은 복소 단순 리 대수에서 노름부분군 닫힘의 심플렉틱 해석을 분류하기 위해 파라보릭 부분군에 대한 딘킨 다이어그램 기반 동치관계를 수립한다. 이는 예외형을 포함한 모든 경우에 적용되며, 모든 이러한 해석이 무역 플롭의 사슬을 통해 연결됨을 증명한다. 이는 고전적 결과를 일반화한 것으로, $E_6$-형 궤도에서 새로운 플롭 유형($E_{6,I}$, $E_{6,II}$)을 규명하여, 심플렉틱 해석의 밀림 기하학을 이동 가능한 및 앰플 콩을 통해 통합한다.

ABSTRACT

In this paper we shall study symplectic resolutions of a nilpotent orbit closure of a complex simple Lie algebra \g. We shall introduce an equivalence relation in the set of parabolic subgroups of $G$ in terms of marked Dynkin diagrams. We start with a nilpotent orbit closure which admits a Springer resolution with a parabolic subgroup $P_0$ of $G$. Then we prove that all symplectic resolution of the nilpotent closure are Springer resolutions with $P$ which are equivalent to $P_0$. Here all symplectic resolutions are connected by Mukai flops. We need three types of Mukai flops (types A, D and E_6) in connecting symplectic resolutions. In particular, Mukai flops of type E_6 are new. All arguments of Part I : math.AG/0404072 which use flags, are replaced by those which use only Dynkin diagrams.

연구 동기 및 목표

• 고전적 리 대수를 초월해 예외형을 포함한 복소 단순 리 대수에서 노름부분군 닫힘의 심플렉틱 해석 분류를 확장하기 위해.
• 이전 연구에서 사용된 플래그 기반의 추론을, 파라보릭 부분군에 대한 순수하게 딘킨 다이어그램 기반의 동치관계로 대체하기 위해.
• 고정된 하나의 파라보릭 부분군과 동치인 모든 파라보릭 부분군 $P$로부터 주어진 노름부분군 닫힘 $ar{\mathcal{O}}$의 모든 심플렉틱 해석이 유도됨을 증명하기 위해.
• 이러한 해석들이 무역 플롭의 사슬을 통해 연결됨을 보이며, 고전적 $A$-형 및 $D$-형 플롭을 일반화하기 위해.
• $E_6$의 경우에서 새로운 유형의 무역 플롭($E_{6,I}$, $E_{6,II}$)을 규명하여, 심플렉틱 해석의 알려진 밀림 기하학을 확장하기 위해.

제안 방법

• 기저 근 시스템의 부분집합에 대응하는 표식이 있는 딘킨 다이어그램을 사용해 $G$의 파라보릭 부분군에 대한 동치관계를 도입한다.
• $Y_P := T^*(G/P)$를 파라보릭 부분군 $P$에 대응하는 스프링거 해석으로 정의하고, 그 기하학적 성질을 궤도 닫힘 $\bar{\mathcal{O}}$와 연관시킨다.
• 모든 $P \sim P_0$에 대해 $\overline{\mathrm{Amp}}(Y_P/\bar{\mathcal{O}})$의 합집합으로서 $\overline{\mathrm{Mov}}(Y_{P_0}/\bar{\mathcal{O}})$를 정의함으로써, 밀림 기하학적 연결성을 확립한다.
• 극단적 수축과 플롭 이론을 적용한다: $\bar{\mathcal{O}}$-이동 가능한 다항식 $D$에 대해, $K_{Y_{P_0}} + D$-극단적 수축은 소형 밀림 사상으로 이어지며, 이는 플롭을 허용한다.
• 불변량 불등식을 이용해 플롭 수열의 종료를 증명한다: 만약 어떤 다양체가 반복된다면, 불변량 수열은 엄격하게 감소하게 되어 모순이 발생한다.
• $E_6$의 $A_3$ 궤도에서 $\pi_1(\mathcal{O}) = 1$임을 이용해, 차수 1의 스프링거 사상이 존재함을 보장함으로써 해석의 구조를 단순화한다.

실험 결과

연구 질문

• RQ1 어떻게 근 시스템 자료만을 사용해 복소 단순 리 대수의 노름부분군 닫힘에 대한 심플렉틱 해석 분류를 예외형까지 확장할 수 있는가?
• RQ2 표식이 있는 딘킨 다이어그램은 어떤 역할을 하여 동일한 궤도 닫힘의 심플렉틱 해석을 유도하는 파라보릭 부분군을 매개하는가?
• RQ3 고정된 노름부분군 닫힘의 모든 심플렉틱 해석은 무역 플롭의 사슬을 통해 연결되는가? 그리고 예외형의 경우 새로운 유형의 플롭이 나타나는가?
• RQ4 해석의 이동 가능한 콩은 다른 해석의 앰플 콩들의 합집합으로 분해될 수 있는가? 이는 밀림 기하학과 어떻게 관련되는가?
• RQ5 $E_6$의 경우에서 나타나는 새로운 무역 플롭 유형은 무엇이며, 이는 $A_3$ 궤도의 기하학과 어떻게 관련되는가?

주요 결과

• 노름부분군 닫힘 $ar{\mathcal{O}}$의 모든 심플렉틱 해석은 고정된 $P_0$와 표식이 있는 딘킨 다이어그램 기반 동치관계에 따라 동치인 파라보릭 부분군 $P$로부터 도출된다.
• 이동 가능한 콩 $\overline{\mathrm{Mov}}(Y_{P_0}/\bar{\mathcal{O}})$는 모든 $P \sim P_0$에 대해 $\overline{\mathrm{Amp}}(Y_P/\bar{\mathcal{O}})$의 합집합으로 표현되며, 이는 밀림 기하학적 연결성을 증명한다.
• $P \sim P_0$인 해석 $Y_P$들은 무역 플롭의 사슬을 통해 연결되며, 플롭 유형은 근 시스템의 구조에 의해 결정된다.
• $E_6$의 경우에서 새로운 유형의 무역 플롭 $E_{6,I}$와 $E_{6,II}$가 나타나며, 이는 $A$ 또는 $D$ 유형이 아니므로 기존 분류를 확장한다.
• $E_6$의 $A_3$ 궤도에서 이동 가능한 콩 $\overline{\mathrm{Mov}}(Y_1/\bar{\mathcal{O}})$는 2차원이며, 네 개의 해석 $Y_1, Y_2, Y_3, Y_4$에 대응하는 네 개의 칸으로 분해되며, 명시적인 플롭 연결이 존재한다.
• 이동 가능한 다항식을 플롭하는 절차는 사이클이 발생할 경우 불변량 수열의 엄격한 감소로 인해 모순이 발생하므로 유한 시간 내에 종료됨을 증명하여, 모든 이동 가능한 다항식이 어떤 앰플 콩 $\overline{\mathrm{Amp}}(Y_P/\bar{\mathcal{O}})$에 속해 있음을 보여준다.