[논문 리뷰] A combinatorial description of the affine Gindikin-Karpelevich formula of type A_n^(1)

Seok‐Jin Kang, Kyu‐Hwan Lee외 2명|arXiv (Cornell University)|2012. 03. 07.

Algebraic structures and combinatorial models참고 문헌 15인용 수 4

한 줄 요약

이 논문은 일반화된 영역 벽의 결정체 위에서 합으로 표현함으로써, 유형 $A_n^{(1)}$에 대한 아핀 Gindikin-Karpelevich 공식의 조합적 실현을 제공한다. Lusztig의 매개변수화와 영역 구성에서 0이 아닌 항의 수를 세는 통계량 $\mathscr{N}(Y)$를 사용하여 공식은 계수 $ (1 - q^{-1})^{/mathscr{N}(Y)} $를 갖는 형태로 재작성되며, 이는 아핀 경우에 대한 새로운 명시적 조합적 해석을 제공한다.

ABSTRACT

The classical Gindikin-Karpelevich formula appears in Langlands' calculation of the constant terms of Eisenstein series on reductive groups and in Macdonald's work on p-adic groups and affine Hecke algebras. The formula has been generalized in the work of Garland to the affine Kac-Moody case, and the affine case has been geometrically constructed in a recent paper of Braverman, Finkelberg, and Kazhdan. On the other hand, there have been efforts to write the formula as a sum over Kashiwara's crystal basis or Lusztig's canonical basis, initiated by Brubaker, Bump, and Friedberg. In this paper, we write the affine Gindikin-Karpelevich formula as a sum over the crystal of generalized Young walls when the underlying Kac-Moody algebra is of affine type A_n^(1). The coefficients of the terms in the sum are determined explicitly by the combinatorial data from Young walls.

연구 동기 및 목표

• 유한 유형에서의 Gindikin-Karpelevich 공식의 조합적 실현을 아핀 유형 $A_n^{(1)}$으로 확장하기.
• 일반화된 영역 벽을 사용하여 아핀 Gindikin-Karpelevich 공식을 결정체 $\mathcal{B}(\infty)$ 위의 합으로 표현하기.
• 영역 벽 위에서 정의된 조합 통계량 $\mathscr{N}(Y)$를 통해 계수를 정의하고 계산함으로써, 유한 유형의 경우를 일반화하기.
• Lusztig의 매개변수화와 결정 기저 자료를 사용하여 아핀 경우에 대한 명시적 공식을 제공하기.

제안 방법

• Kim과 Shin이 도입한 일반화된 영역 벽을 사용하여 아핀 유형 $A_n^{(1)}$의 결정체 $\mathcal{B}(\infty)$를 실현하기.
• 일반화된 영역 벽 $Y$의 Lusztig의 매개변수화 $\phi_\mathbf{i}(Y)$에서 0이 아닌 항의 수로 통계량 $\mathscr{N}(Y)$를 정의하기.
• 아핀 Gindikin-Karpelevich 공식을 $\sum_{Y \in \mathcal{Y}(\infty)} (1 - q^{-1})^{\mathscr{N}(Y)} \mathbf{z}^{-\mathrm{wt}(Y)}$ 형태로 표현하기. 여기서 $\mathrm{wt}(Y)$는 벽의 무게이다.
• 다중도 가중 곱의 형태인 $\prod_{\alpha \in \Delta^+} \left( \frac{1 - q^{-1} \mathbf{z}^\alpha}{1 - \mathbf{z}^\alpha} \right)^{\mathrm{mult}(\alpha)}$ 를 생성함수로 사용하기.
• Sage에서 `InfinityCrystalOfGeneralizedYoungWalls` 클래스를 활용하여 구현하기. 결정 연산자 및 그래프 생성 기능 지원.
• Sage를 사용한 계산 예제를 통한 결과 검증: 무게 계산, 결정 연산자 $f_i$, $e_i$, 콘텐츠 통계량 계산.

실험 결과

연구 질문

• RQ1 어떻게 아핀 유형 $A_n^{(1)}$의 Gindikin-Karpelevich 공식을 조합적 결정 기저 위의 합으로 표현할 수 있는가?
• RQ2 공식에서 계수 $ (1 - q^{-1})^{\mathscr{N}(Y)} $에 대응하는 일반화된 영역 벽 위의 조합 통계량은 무엇인가?
• RQ3 Lusztig의 최상위 기저 매개변수화를 일반화된 영역 벽을 사용하여 아핀 경우로 일반화할 수 있는가?
• RQ4 일반화된 영역 벽의 결정 구조는 아핀 루트 체계의 양 루트의 다중도를 어떻게 캐릭터라이즈하는가?
• RQ5 Sage에서의 구현을 통해 공식의 계산 가능성과 정확성은 어떻게 검증되는가?

주요 결과

• 아핀 유형 $A_n^{(1)}$의 Gindikin-Karpelevich 공식은 $\sum_{Y \in \mathcal{Y}(\infty)} (1 - q^{-1})^{\mathscr{N}(Y)} \mathbf{z}^{-\mathrm{wt}(Y)}$ 형태로 표현되며, 여기서 $\mathscr{N}(Y)$는 일반화된 영역 벽 $Y$의 Lusztig 매개변수화에서 0이 아닌 항의 수를 세는 것이다.
• 공식은 $\prod_{\alpha \in \Delta^+} \left( \frac{1 - q^{-1} \mathbf{z}^\alpha}{1 - \mathbf{z}^\alpha} \right)^{\mathrm{mult}(\alpha)}$의 곱 형태와 일치하여, 조합적 실현이 확인된다.
• $n=2$의 예시에서 $\#(T^{-\gamma} \cap S^0)$의 계산 결과는 $2(q - 1)^2$이며, 이는 공식과 일치한다.
• Sage 구현은 $\mathscr{N}(Y)$, 무게, 결정 연산자 $f_i$, $e_i$, 콘텐츠를 정확히 계산하며, 특정 영역 벽 $Y$에 대해 $\mathrm{wt}(Y) = -7\alpha_0 - 7\alpha_1 - 6\alpha_2$임을 확인한다.
• Sage의 부분 결정체 구성 기능을 사용하여 깊이 4까지 $\mathcal{B}(\infty)$의 결정 그래프를 성공적으로 생성하였다.
• 또한 Kim과 Shin(2019)의 정리 4.1에 따라 일반화된 영역 벽을 사용하여 최고 무게 결정체도 지원한다.