[논문 리뷰] Poisson structures on affine spaces and flag varieties. II. General case

K. R. Goodearl, Milen Yakimov|ArXiv.org|2005. 09. 04.

Advanced Algebra and Geometry참고 문헌 17인용 수 6

한 줄 요약

이 논문은 재수정된 대칭군 $G$에 의해 유도되는 고전적 $r$-행렬에 의해 유도되는 표준 파울슨 구조를 갖는 파울슨 플라그 다양체 $G/P_J^+$에서의 심플렉틱 잎과 그 폐쇄를 분류한다. $H$-오빗의 유한한 매개변수화를 브라하트 순서에서의 쌍 $(w_1,w_2)$를 통해 제공하고, 이를 이중 셈부르트 세포의 교차와 동일시하며, 헤르미트 대칭 사례에서의 폐쇄와 파울슨 부분다양체를 특성화하여, 코미누스큘 파라보릭 몫을 통해 아핀 공간 위에 새로운 이차 파울슨 구조를 도출한다.

ABSTRACT

The standard Poisson structures on the flag varieties G/P of a complex reductive algebraic group G are investigated. It is shown that the orbits of symplectic leaves in G/P under a fixed maximal torus of G are smooth irreducible locally closed subvarieties of G/P, isomorphic to intersections of dual Schubert cells in the full flag variety G/B of G, and their Zariski closures are explicitly computed. Two different proofs of the former result are presented. The first is in the framework of Poisson homogeneous spaces and the second one uses an idea of weak splittings of surjective Poisson submersions, based on the notion of Poisson--Dirac submanifolds. For a parabolic subgroup P with abelian unipotent radical (in which case G/P is a Hermitian symmetric space of compact type), it is shown that all orbits of the standard Levi factor L of P on G/P are complete Poisson subvarieties which are quotients of L, equipped with the standard Poisson structure. Moreover, it is proved that the Poisson structure on G/P vanishes at all special base points for the L-orbits on G/P constructed by Richardson, Röhrle, and Steinberg.

연구 동기 및 목표

• 재수정된 대수적 군 $G$에 대해 파울슨 플라그 다양체 $G/P_J^+$에서의 $H$-오빗을 심플렉틱 잎으로 분류하는 것.
• 이러한 심플렉틱 잎의 자리지 폐쇄를 브라하트 순서와 웨일 군 자료를 통해 기술하는 것.
• 파라보릭 부분군 $P_J^+$의 유니포텐트 라디칼이 아벨일 경우, 플라그 다양체 위의 파울슨 구조의 기하학을 연구하는 것, 특히 컴acts형 헤르미트 대칭 공간의 경우에 중점을 두는 것.
• 코미누스큘 파라보릭 부분군을 사용하여 양자 대칭 대수의 준고전적 극한을 통해 아핀 공간 위에 명시적인 이차 파울슨 구조를 구성하는 것.
• 파울슨 구조 $G/P_J^+$가 루스지츠의 이중 셈부르트 세포의 교차로 이루어진 분할과 어떻게 관련되어 있는지 밝혀내는 것.

제안 방법

• 리 대수 ${\frak g}$ 위의 표준 $r$-행렬을 이용하여 $G$ 위에 파울슨 구조 $\pi_G$를 정의하고, 이는 몫 사상 $\eta_J$를 통해 $G/P_J^+$로 내림내린다.
• $H$-오빗의 심플렉틱 잎을 브라하트 순서에서 $w_1 \leq w_2$를 만족하는 $w_1 \in W^J_{\max}$, $w_2 \in W$인 쌍 $(w_1,w_2)$로 매개변수화한다.
• 각 심플렉틱 잎이 $G/P_J^+$로 사상되는 이중 브라하트 세포 ${\mathcal U}_{\dot w_1,w_2} = U_{w_1}^{-}\dot w_1 \cap B^+w_2B^+$의 이미지임을 확인한다.
• 기하학적 구조와 $G/P_J^+$의 $H$-작용을 연결하기 위해 무한소 작용 $\chi: \wedge{\frak g} \to \Gamma(M, \wedge TM)$을 적용한다.
• 표준 파울슨 구조의 몫을 통한 $L_J$-오빗과의 동형을 이용하여, 헤르미트 대칭 사례에서 파울슨 부분다양체의 완전성을 보여준다.
• 양자 반대칭 행렬과 반스핀 표현의 준고전적 극한을 통해 아핀 공간 $\mathfrak{n}^{-}_{\Gamma \setminus \{\alpha\}}$ 위에 명시적인 파울슨 괄호를 구성한다.

실험 결과

연구 질문

• RQ1 파울슨 플라그 다양체 $G/P_J^+$에서의 $H$-오빗은 어떻게 매개변수화되며, 기하학적 구조는 어떠한가?
• RQ2 파울슨 플라그 다양체 $G/P_J^+$에서의 각 $H$-오빗의 폐쇄는 무엇이며, 브라하트 순서와 웨일 군 원소를 통해 어떻게 기술되는가?
• RQ3 $P_J^+$의 유니포텐트 라디칼이 아벨일 경우, $L_J$-오빗은 $G/P_J^+$의 완전한 파울슨 부분다양체인가? 그리고 리치아드슨–뢰르헬–스타인베르크 오빗의 기저점에서 파울슨 구조는 어떻게 행동하는가?
• RQ4 아핀 공간 $\mathfrak{n}^{-}_{\Gamma \setminus \{\alpha\}}$에 유도된 파울슨 구조는 알려진 양자 대수와 어떻게 관련되어 있으며, 명시적인 괄호는 무엇인가?
• RQ5 파울슨 플라그 다양체 $G/P_J^+$의 $H$-오빗의 분할은 루스지츠의 이중 셈부르트 세포의 교차로 이루어진 분할과 동치인가?

주요 결과

• 파울슨 플라그 다양체 $G/P_J^+$에서의 $H$-오빗은 브라하트 순서에서 $w_1 \leq w_2$를 만족하는 쌍 $(w_1,w_2) \in W^J_{\max} \times W$와의 전단사 대응을 갖는다.
• 각 심플렉틱 잎은 전체 플라그 다양체 $G/B^+$에서의 이중 셈부르트 세포의 교차인 $B^{-}x_{w_1} \cap B^{+}x_{w_2}$와 미분형이다.
• 심플렉틱 잎 $\mathcal{S}^J_{w_1,w_2}$의 자리지 폐쇄는 $v_1 \leq v_2$이고 $w_1 \leq v_1 z$, $w_2 \geq v_2 z$를 만족하는 $z \in W_J$가 존재하는 쌍 $(v_1,v_2)$에 대해 $\mathcal{S}^J_{v_1,v_2}$의 합집합이다.
• 파라보릭 부분군 $P_J^+$의 유니포텐트 라디칼이 아벨일 경우, 모든 $L_J$-오빗은 완전한 파울슨 부분다양체이며, 파울슨 구조는 리치아드슨–뢰르헬–스타인베르크 오빗의 기저점에서 0이 된다.
• $G = \mathrm{SO}_{2N}$ 이고 $J = \Gamma \setminus \{\alpha_N\}$일 경우, $\mathfrak{n}^{-}_{\Gamma \setminus \{\alpha_N\}}$ 위에 유도된 파울슨 구조는 $\operatorname{sign}$ 함수와 구조 상수 $a_{i,j}^{I,J}$를 포함하는 명시적 괄호로 주어진다.
• $G = E_6$ 이고 $J = \Gamma \setminus \{\alpha_1\}$일 경우, 16차원 공간 $V_{{\mathfrak{so}}_{10}}^{\omega_5}$ 위의 파울슨 구조는 $\{1,\dots,5\}$의 홀수 부분집합 $I,J$에 대한 합을 포함하는 공식으로 명시적으로 주어지며, 계수 $a_{i,j}^{I,J} = (-1)^{|I(i,j)| + |J(i,j)|}$이다.