[논문 리뷰] Cyclicity of Lusztig's stratification of Grassmannians and Poisson geometry

Milen Yakimov|ArXiv.org|2009. 02. 12.

Advanced Combinatorial Mathematics참고 문헌 4인용 수 7

한 줄 요약

이 논문은 그라스만이안 Gr(k,n) 위의 표준 파울슨 구조가 코x터 원소 c = (1 2 ... n)의 작용에 대해 불변임을 증명함으로써 루슈티그의 분할의 순환성을 파울슨 기하학적 해석을 제공한다. 핵심 결과는 c에 의한 곱셈이 파울슨 자기동형사상임을 보여주며, 이는 코x터 원소가 루슈티그 분할을 파울슨 동형사상으로 치환함을 의미한다. 이는 쿤츠온, 람, 스프레이어의 결과에 대한 새로운 기하적 증명을 제공한다.

ABSTRACT

We prove that the standard Poisson structure on the Grassmannian Gr(k, n) is invariant under the action of the Coxeter element c =(1 2 ... n). In particular, its symplectic foliation is invariant under c. As a corollary, we obtain a second, Poisson geometric proof of the result of Knutson, Lam, and Speyer that the Coxeter element c interchanges the Lusztig strata of Gr(k, n). We also relate the main result to known anti-invariance properties of the standard Poisson structures on cominuscule flag varieties.

연구 동기 및 목표

• Gr(k,n)의 루슈티그 분할의 순환성을 파울슨 기하학적 증명을 제공하는 것.
• 표준 파울슨 구조 π_{k,n} 가 코x터 원소 c = (1 2 ... n)의 작용에 대해 불변임을 확립하는 것.
• 표준 파울슨 구조의 반-불변성 성질을 코미누스큘 플라그 다양체에서의 성질과 연관짓는 것.
• c 가 Gr(k,n) 위에서 개별 루슈티그 분할 간에 파울슨 동형사상을 유도함을 보여주는 것.

제안 방법

• 그라스만이안 위의 표준 파울슨 구조 π_{k,n} 를 gl_n(C) 의 무한소 작용을 통해 정의한다.
• 플라그 다양체 위의 파울슨 구조 이론을 적용하며, 특히 루슈티그 분할을 토르스 T 의 심플렉틱 리브의 궤도로 파울슨 기하학적으로 해석한다.
• 코x터 원소 c ∈ GL_n(C) 가 유도하는 벡터장 작용에 의한 불변성 검증을 통해 c 가 파울슨 구조 π_{k,n} 를 유지함을 보여준다.
• c 가 w_∘^P w_∘ 의 k제곱근임을 이용하며, 이는 코미누스큘 플라그 다양체 위에서 파울슨 자기동형사상으로 작용한다.
• 가장 긴 웨일 군 원소 w_∘ 의 알려진 반-파울슨 성질을 이용하여, 그 루트 성질을 통해 c 의 파울슨 불변성을 유도한다.
• 특히 cominuscule P 에 대해 π_{G/P} = -χ(r_L) 라는 공식을 포함하는 [2] 의 결과를 적용한다.

실험 결과

연구 질문

• RQ1 표준 파울슨 구조 π_{k,n} 가 코x터 원소 c = (1 2 ... n) 의 작용에 대해 불변인가?
• RQ2 루슈티그의 Gr(k,n) 분할의 순환성은 파울슨 기하학으로 설명될 수 있는가?
• RQ3 c 가 Gr(k,n) 에서 작용할 때, 가장 긴 웨일 군 원소 w_∘ 의 반-파울슨 성질과 어떻게 관련되는가?
• RQ4 코x터 원소 c 는 개별 루슈티그 분할 간에 파울슨 동형사상을 유도하는가?
• RQ5 이 맥락에서 다른 코x터 원소들과 비교해 코x터 원소 c 가 특별한 이유는 무엇인가?

주요 결과

• 표준 파울슨 구조 π_{k,n} 는 코x터 원소 c = (1 2 ... n) 의 작용에 대해 불변이며, 이는 c 에 의한 곱셈이 파울슨 자기동형사상임을 의미한다.
• c 의 작용은 루슈티그 분할을 치환하며, 쿤츠온, 람, 스프레이어의 결과에 대한 새로운 파울슨 기하학적 증명을 제공한다.
• c 의 작용은 개별 루슈티그 분할 (R_{v,w}, π_{k,n}|_{R_{v,w}} ) 간에 파울슨 동형사상으로 제한되며, 정규 파울슨 구조를 유지한다.
• 코x터 원소 c 는 w_∘^P w_∘ 의 k제곱근이며, w_∘^P w_∘ 가 코미누스큘 플라그 다양체 위에서 파울슨 자기동형사상으로 작용하므로 c 는 파울슨 불변성을 물려받는다.
• k 와 n 이 서로소일 경우, c^{gcd(k,n)} = c 는 파울슨 자기동형사상으로 작용하며, 이는 정리 1.1 의 다른 증명을 제공한다.
• 모든 결과는 모든 구성이 실 분할형 GL_n(R) 에 정의되어 있으므로 실 그라스만이안 Gr(k,n; R) 으로도 확장된다.