[논문 리뷰] Dual graded graphs for Kac-Moody algebras

Thomas Lam, Mark Shimozono|ArXiv.org|2007. 02. 05.

Advanced Combinatorial Mathematics참고 문헌 13인용 수 6

한 줄 요약

이 논문은 임의의 카크-무디 대수에 대해 외재군을 정점 집합으로 사용하고, 플라그 및 아핀 그라스만이안 공간의 코homology와 homology에서의 슈부르트 계산에서 유래한 표기법을 사용하여 이중 순서 그래프 $(\Gamma_s, \Gamma_w)$를 구성한다. 주요 기여는 로빈슨-센스테드와 사간-워리의 삽입을 일반화하는 통합된 조합론적 프레임워크를 제공하며, 루슈티그의 화살표 구성에 의해 접힌 삽입과 혼합 삽입을 포함하고, 파라보릭 몫에서 분배 격자 구조를 규명한다.

ABSTRACT

Motivated by affine Schubert calculus, we construct a family of dual graded graphs $(Γ_s,Γ_w)$ for an arbitrary Kac-Moody algebra $\g(A)$. The graded graphs have the Weyl group $W$ of $\g(A)$ as vertex set and are labeled versions of the strong and weak orders of $W$ respectively. Using a construction of Lusztig for quivers with an admissible automorphism, we define folded insertion for a Kac-Moody algebra and obtain Sagan-Worley shifted insertion from Robinson-Schensted insertion as a special case. Drawing on work of Stembridge, we analyze the induced subgraphs of $(Γ_s,Γ_w)$ which are distributive posets.

연구 동기 및 목표

• 임의의 카크-무디 대수에 대해 외재군을 정점 집합으로 사용하여 이중 순서 그래프 이론을 확장한다.
• 코homology와 homology 슈부르트 클래스에서 유래한 체발리 계수를 사용하여 이중 순서 그래프 $(\Gamma_s, \Gamma_w)$를 구성한다.
• 접힌 삽입과 혼합 삽입 알고리즘을 통해 로빈슨-센스테드와 사간-워리 시프트 삽입을 일반화한다.
• 유도된 부분그래프 $(\Gamma_s, \Gamma_w)$가 분배 격자 구조를 이루는 조건을 규명하여 표편 채우기 해석을 가능하게 한다.

제안 방법

• 외재군 $W$의 강한 순서와 약한 순서를 사용하여 이중 순서 그래프 $(\Gamma_s, \Gamma_w)$를 정의하고, 슈부르트 계산에서의 체발리 계수에서 유도된 레이블을 부여한다.
• 비단순 끈으로 된 대수를 단순 끈으로 된 대수로 환원하기 위해 루슈티그의 대칭 일반화 카르탕 행렬과 적절한 자기동형사상을 활용한다.
• 카크-무디 대수에 대해 접힌 삽입을 도입하여, 아핀 $A_{n-1}^{(1)}$의 특수 케이스에서 사간-워리 시프트 삽입을 복원한다.
• 쌍의 자기동형사상을 사용하여 혼합 삽입을 정의하고, 헤이먼의 슈엔스테드 삽입 변형을 일반화한다.
• 프로카트와 스템브리지의 분류를 적용하여, 약한 순서 또는 브라우트 순서가 분배 격자인 파라보릭 몫 $W_J$를 규명한다.
• 이중 순서 그래프 구조를 사용하여 강한 표편과 약한 표편을 체인으로 정의하고, 생성 함수가 슈부르트 클래스를 나타낼 수 있음을 제안한다.

실험 결과

연구 질문

• RQ1 어떻게 외재군을 정점 집합으로 사용하여 임의의 카크-무디 대수에 대해 이중 순서 그래프를 체계적으로 구성할 수 있는가?
• RQ2 표기법 $\Gamma_s$와 $\Gamma_w$는 슈부르트 계산의 체발리 계수를 어떻게 표현하는가?
• RQ3 루슈티그의 화살표 구성과 자기동형사상은 이중 순서 그래프 프레임워크 내에서 비단순 끈으로 된 카크-무디 대수를 단순 끈으로 된 것으로 환원하는 데 어떻게 기여하는가?
• RQ4 접힌 삽입과 혼합 삽입은 고전적 삽입 알고리즘(예: 사간-워리 시프트 삽입)을 일반화하는 데 어떤 역할을 하는가?
• RQ5 어떤 파라보릭 몫 $W_J$가 약한 순서 또는 브라우트 순서에서 분배 격자 구조를 제공하여 표편 해석을 가능하게 하는가?

주요 결과

• 모든 카크-무디 대수 $\mathfrak{g}$에 대해 이중 순서 그래프 $(\Gamma_s, \Gamma_w)$를 구성하였으며, $\Gamma_w$는 외재군 $W$의 왼쪽 약한 순서로, $\Gamma_s$는 강한 브라우트 순서로 표기된다.
• 아핀 타입 $A_{n-1}^{(1)}$의 경우, 이전의 라파인과 모터의 작업에서 얻은 이중 순서 그래프를 복원하며, 반순수 강한 표편과 약한 표편의 생성 함수는 아핀 그라스만이안의 슈부르트 클래스를 나타낸다.
• 대수 $\mathfrak{g}$가 아핀 타입이고 $K = K_{\text{can}}$일 때, 그래프 $\Gamma_w(K)$는 호몰로지 슈부르트 클래스 $\xi_w \in H_*(\text{Gr})$를 표현하고, $\Gamma_s(\Lambda)$는 코homology 클래스 $\xi^w \in H^*(G/B)$를 표현하며, 이는 조합론적 이중성을 확립한다.
• 타입 $C_n^{(1)}$에 대해 아핀 $A_{2n-1}^{(1)}$으로의 환원을 통해 슈엔스테드 유형의 이항사상이 유도되며, 극한 $n \to \infty$에서 사간-워리 시프트 삽입이 복원된다.
• 파라보릭 몫 $W_J$에 대응하는 유도된 부분그래프 $P^J$와 $Q^J$는 외재군 $W_J$의 약한 또는 브라우트 순서가 분배 격자일 때 정확히 분배 격자 구조를 이룬다. 이는 프로카트와 스템브리지의 분류를 일반화한다.
• 분배 격자 케이스에서는 강한 표편과 약한 표편을 표준 양의 표편과 유사하게 셀에 수를 채운 것으로 해석할 수 있으며, 이는 슈부르트 클래스에 대한 조합론적 모델을 제공한다.