[논문 리뷰] Three presentations of torus equivariant cohomology of flag manifolds

Shizuo Kaji|arXiv (Cornell University)|2015. 04. 05.

Advanced Combinatorial Mathematics참고 문헌 14인용 수 5

한 줄 요약

이 논문은 플래그 다양체의 토르스-등변 코homology의 세 가지 표준 표현: 셰브르트 기저(체바일 표현), 이중 코인variant 환(보르 표현), GKM 환(GKM 표현) 사이를 상호 변환하는 명시적 알고리즘을 제시한다. 이 방법을 통해 셰브르트 클래스 곱의 등변 구조 상수를 체계적으로 계산할 수 있으며, Maple 스크립트로 구현되어 있으며, E₈의 경우에 대해 명시적인 계산을 통해 그 유용성을 입증한다.

ABSTRACT

Let $G$ be a compact connected Lie group and $T$ be its maximal torus. The homogeneous space $G/T$ is called the (complete) flag manifold. One of the main goals of the {\em equivariant Schubert calculus} is to study the $T$-equivariant cohomology $H^*_T(G/T)$ with regard to the $T$-action on $G/T$ by multiplication. There are three presentations known for $H^*_T(G/T)$; (1) the free $H^*(BT)$-module generated by the Schubert varieties (2) (with the rational coefficients) the {\em double coinvariant ring} of the Weyl group (3) the {\em GKM ring} associated to the Hasse graph of the Weyl group. Each presentation has both advantages and disadvantages. In this paper, we describe how to convert an element in one presentation to another by giving an explicit algorithm, which can then be used to compute the equivariant structure constants for the product of Schubert classes. The algorithm is implemented in Maple.

연구 동기 및 목표

• H^*_T(G/T)의 세 가지 표준 표현인 셰브르트 기저, 이중 코인variant 환, GKM 환 사이에서 원소를 체계적으로 변환하는 방법을 제공하는 것.
• 셰브르트 클래스 곱의 등변 구조 상수 c_{uv}^w 를 실용적으로 계산할 수 있도록 하는 것.
• 등변 셰브르트 계산에 필수적인 이 세 표현 간의 효율적인 변환 도구 부족 문제를 해결하는 것.
• 등변 코hom로지 및 셰브르트 계산 연구를 위한 계산적 응용을 위해 알고리즘을 Maple에 구현하는 것.

제안 방법

• 등변 코hom로지류를 최대 토르스 BT의 체른 클래스 다항식으로 표현하며, 계수는 Q에 속한다.
• 셰브르트 클래스의 일반 코homology에서의 다항식 표현 σ_v 를 계산하기 위해 Demazure-Bernstein-Gelfand (BGG) 연산자 방법을 적용한다.
• 헤스 게 다이어그램의 간선에 대한 GKM 조건을 이용하여 고정점에서의 셰브르트 클래스의 등변 제약 사상 i_p^* 를 통한 GKM 표현을 활용한다.
• Borel 표현을 통해 구조 상수를 계산하기 위해 공식 \mathcal{S}_w(t;x) = \sigma_w(t) - \sigma_w(x) + \sum_{s_i w < w} \Delta_{s_i} \mathcal{S}_{s_i w}(t;x) 를 사용한다.
• 알고리즘은 등변 코hom로지 환에서의 자동 변환 및 곱 계산을 가능하게 하기 위해 Maple 스크립트로 구현되어 있다.
• 효율성을 위해 최상위에서 모든 σ_v 를 계산하는 것을 피하기 위해 각 차수의 단항식에 대해 선형 시스템을 풀고, v ≤ w 에 대해 σ_v = \Delta_{v^{-1}w} \sigma_w 를 사용하여 낮은 차수의 표현을 전파한다.

실험 결과

연구 질문

• RQ1 셰브르트 기저 표현에서 H^*_T(G/T)의 Borel 또는 GKM 표현으로 원소를 체계적으로 변환하는 방법은 무엇인가?
• RQ2 셰브르트 클래스 곱에서 등변 구조 상수 c_{uv}^w 를 계산하는 데 효율적인 알고리즘은 무엇인가?
• RQ3 등변 코hom로지의 세 표현 간 상호 변환이 가환 구조를 유지하면서 계산 구현이 가능한 방식으로 가능할 수 있는가?
• RQ4 고정점에서의 제약 사상에 의해 GKM 표현을 어떻게 사용하여 구조 상수를 계산할 수 있는가?
• RQ5 모든 표현을 최상위에서 계산하지 않고도 셰브르트 클래스의 다항식 표현 σ_v 를 효율적으로 계산하는 최적의 방법은 무엇인가?

주요 결과

• 논문은 H^*_T(G/T)의 셰브르트 기저, Borel(이중 코인variant), GKM 표현 간의 완전한 알고리즘을 제공하여 등변 코hom로지 환에 대한 전면적인 계산적 접근을 가능하게 한다.
• 알고리즘은 Maple로 구현되어 있으며, http://skaji.org/code/ 에서 공개되어 있어 계산 연구에 접근 가능하다.
• G = E_8 인 경우, X_{s_4 s_2}^2 = (\alpha_2\alpha_4 + \alpha_4^2)X_{s_4 s_2} + (\alpha_2 + \alpha_3 + 2\alpha_4)X_{s_3 s_4 s_2} + (\alpha_2 + 2\alpha_4 + \alpha_5)X_{s_5 s_4 s_2} + X_{s_1 s_3 s_4 s_2} + 2X_{s_3 s_5 s_4 s_2} + X_{s_6 s_5 s_4 s_2} 를 성공적으로 계산하여 명시적인 구조 상수 계산을 입증한다.
• 모든 σ_v 를 전체적으로 계산하는 데 드는 비용을 피하기 위해 각 차수별 선형 시스템을 풀고, Demazure 연산자를 사용해 낮은 차수의 표현을 전파하는 방법을 채택한다.
• GKM 표현은 l(u)+l(v) 가 작을 경우에 효율적인 인도적 계산을 가능하게 하며, c_{uv}^w = i_w^*(X_u)i_w^*(X_v) - \sum_{q<w} c_{uv}^q i_w^*(X_q) 를 통해 구조 상수를 계산한다.
• Borel 표현은 다항식 기저와 Demazure 연산자를 통해 σ_v 를 계산함으로써 변환 과정의 정확성과 효율성을 확보하며 효과적으로 활용된다.