[논문 리뷰] A characterization of nilpotent orbit closures among symplectic singularities II

Yoshinori Namikawa|arXiv (Cornell University)|2017. 07. 10.

Advanced Algebra and Geometry참고 문헌 12인용 수 9

한 줄 요약

이 논문은 복소수 단순 리 대수에서의 노름화된 궤도 닫힘의 유한 덮개로서 나타나는 원뿔형 심플렉틱 다양체를 특성화한다. 좌표환 $ R $ 이 $ R(l) $-모듈로 유한하다면, 다양체는 $ R(l) $-부분의 차수 $ l $ 부분에 대해 단순 리 대수 구조를 갖는 $ \mathbf{C}^* $-작용을 가지며, 심플렉틱 형식은 $ G $-유한 덮개를 통해 기저 궤도 닫힘 위의 키릴로프-코스타ント 형식으로 끌려온다.

ABSTRACT

This short note is a supplement to the previous article with the same title. Here we treat a conical symplectic variety obtained as a finite covering of a (not necessarily normal) nilpotent orbit closure of a complex semisimple Lie algebra.

연구 동기 및 목표

• 복소수 단순 리 대수에서 (비정규일 수 있는) 노름화된 궤도 닫힘의 유한 덮개인 원뿔형 심플렉틱 다양체를 분류하는 것.
• 좌표환의 차수 $ l $ 원소들로 생성된 부분환 위에서 유한 모듈로 나타나는 경우를 결정하는 것.
• 심플렉틱 형식이 $ G $-유한 덮개를 통해 궤도 닫힘 위의 키릴로프-코스타ント 형식으로 끌려온다는 것을 확립하는 것.
• 좌표환의 차수 $ l $ 부분이 단순 리 대수를 이루며, 그에 대응하는 단순 연결된 군이 심플렉틱 자동형사상으로 작용한다는 것을 보여주는 것.

제안 방법

• 심플렉틱 형식의 무게를 단순화하기 위해 양의 가중치를 가진 정규 도메인에 대해 감소된 가중치 구조의 개념을 도입한다.
• 좌표환 $ R $ 이 $ R(l) $-모듈로 유한하다는 조건을 사용하여 심플렉틱 다양체의 구조적 제약을 이끌어낸다.
• 자브슨-모로조프 정리를 적용하여 궤도 닫힘 위의 $ \mathbf{C}^* $-작용을 덮개 공간으로 끌어올린다.
• 포아송 괄호 분석을 통해 $ R $ 의 차수 $ l $ 부분이 단순 리 대수임을 증명한다.
• 다양체 위에 두 개의 $ \mathbf{C}^* $-작용을 구성한다: 원래의 작용과 궤도 구조에 의해 유도된 '오른쪽' $ \mathbf{C}^* $-작용.
• 이 두 작용의 호환성을 이용하여 감소된 가중치를 유도하고, 감소된 가중치 하에서 $ R $ 이 $ R(2) $ 또는 $ R(1) $-모듈로 유한하다는 것을 보인다.

실험 결과

연구 질문

• RQ1 심플렉틱 형식의 무게가 $ l $ 인 $ \mathbf{C}^* $-작용을 지닌 원뿔형 심플렉틱 다양체가 언제 노름화된 궤도 닫힘의 유한 덮개와 동형인지?
• RQ2 좌표환의 차수 $ l $ 부분이 단순 리 대수임을 보장하는 조건은 무엇인가?
• RQ3 덮개 위의 심플렉틱 형식이 궤도 닫힘 위의 키릴로프-코스타ント 형식과 어떻게 관련되어 있는가?
• RQ4 덮개 사상이 코디멘션 1에서 에탈레이고 $ G $--equivariant가 되는 조건은 무엇인가?
• RQ5 좌표환의 가중치를 감소시켜 심플렉틱 형식의 무게를 1 또는 2로 만들 수 있는가?

주요 결과

• 만약 $ R $ 이 $ R(l) $-모듈로 유한하다면, 차수 $ l $ 부분 $ R_l $ 은 단순 리 대수 $ \mathfrak{g} $ 를 이루며, $ \mathrm{Lie}(G) = \mathfrak{g} $ 를 만족하는 단순 연결 군 $ G $ 는 $ X $ 에서 $ \mathbf{C}^* $--equivariant 심플렉틱 자동형사상으로 작용한다.
• 포함사상 $ R(l) \to R $ 은 $ \bar{O} $ 에로의 유한 $ G $-사상 $ f: X \to \bar{O} $ 를 유도하며, 이는 코디멘션 1에서 에탈레이다.
• 다양체 위의 심플렉틱 형식 $ \omega $ 는 $ f $ 를 통해 궤도 닫힘 위의 키릴로프-코스타ント 형식 $ \omega_{KK} $ 로 끌려온다; $ f^{-1}(O) \to O $ 는 에탈레 $ G $-덮개이다.
• 만약 $ l $ 이 짝수이면, $ R $ 의 가중치를 감소시켜 $ wt(\omega) = 2 $ 이 되게 하고 $ R $ 이 $ R(2) $-모듈로 유한하게 만들 수 있다; $ l $ 이 홀수이면 $ wt(\omega) = 1 $ 이고 $ R $ 은 $ R(1) $-모듈로 유한하다.
• 원래의 $ \mathbf{C}^* $-작용과 '오른쪽' 작용의 존재는 감소된 가중치를 도출할 수 있게 하며, 이에 따라 $ l $ 이 짝수이면 $ R = \oplus_{j \geq 0} R_{jl/2} $, $ l $ 이 홀수이면 $ R = \oplus_{j \geq 0} R_{jl} $ 임을 보여준다.
• 예시는 $ R $ 이 $ R(l) $-모듈로 유한하다는 조건이 필수적임을 보여준다: 이 조건이 없으면 $ R_l $ 이 단순 리 대수가 아닐 수 있으며, 비유한 모듈로 인해 비단순 리 대수가 발생할 수 있다.