[논문 리뷰] Affine braids, Markov traces and the category O

Rosa Orellana, Arun Ram|ArXiv.org|2004. 01. 23.

Geometric and Algebraic Topology참고 문헌 26인용 수 13

한 줄 요약

이 논문은 애फ인 브레인 군, 양자군의 카테고리 O 내 표현, 그리고 링크 불변량을 한 개의 함자 $F_\lambda$ 를 통해 유일한 프레임워크로 연결한다. 이 함자는 $U_h\mathfrak{g}$-모듈 $M$ 를 애फ인 브레인 군 $\widetilde{\mathcal{B}}_k$ 의 유한차원 표현으로 매핑한다. 주요 기여는 애फ인 히드라 알제브라의 분해 수가 웨일 군의 카즈단-루스트리그 다항식으로 주어지고, 모든 이러한 다항식이 일반화된 분해 수로서 나타남을 보여주는 것이다. 이는 모든 리 계열에 대해 마르코프 추적과 BGG 분해를 일반화하는 결과이다.

ABSTRACT

This paper provides a unified approach to results on representations of affine Hecke algebras, cyclotomic Hecke algebras, affine BMW algebras, cyclotomic BMW algebras, Markov traces, Jacobi-Trudi type identities, dual pairs (Zelevinsky), and link invariants (Turaev). The key observation in the genesis of this paper was that the technical tools used to obtain the results in Orellana and Suzuki, two a priori unrelated papers, are really the same. Here we develop this method and explain how to apply it to obtain results similar to those in Orellana and Suzuki in more general settings. Some specific new results which are obtained are the following: (a) a generalization of the results on Markov traces obtained by Orellana to centralizer algebras coming from quantum groups of all Lie types, (b) a generalization of the results of Suzuki to show that Kazhdan-Lusztig polynomials of all finite Weyl groups occur as decomposition numbers in the representation theory of affine braid groups of type A, (c) a generalization of the functors used by Zelevinsky to representations of affine braid groups of type A, (d) a definition of the affine BMW-algebra (Birman-Murakami-Wenzl) and show that it has a representation theory analogous to that of affine Hecke algebras. In particular there are ``standard modules'' for these algebras which have composition series where multiplicites of the factors are given by Kazhdan-Lusztig polynomials for Weyl groups of types A,B,and C, (e) we generalize the results of Leduc and Ram on constructing representations of centralizer algebras to affine centralizer algebras.

연구 동기 및 목표

• 애फ인 히드라 알제브라, 마르코프 추적, 링크 불변량에 관한 산발적인 결과들을 공통의 표현 이론적 프레임워크로 통합하기 위해.
• 카테고리 O 내의 양자군 표현을 사용하여 애फ인 브레인 군 위의 마르코프 추적을 일반화하기 위해.
• 모든 리 계열에 대해 애फ인 히드라 알제브라의 분해 수가 웨일 군의 카즈단-루스트리그 다항식과 대응됨을 보여주기 위해.
• 동일한 함자적 메커니즘을 사용하여 애फ인 BMW 알제브라의 표준 및 기약 모듈을 구성하기 위해.
• 함자 $F_\lambda$ 를 통해 애फ인 브레인 군 모듈로 잭비-트루디 항등식과 BGG 분해를 일반화하기 위해.

제안 방법

• 카테고리 O 내의 각 $U_h\mathfrak{g}$-모듈 $M$ 에 대해, $M \otimes V^{\otimes k}$ 내의 최고 가시수를 통해 애फ인 브레인 군 $\widetilde{\mathcal{B}}_k$ 의 유한차원 표현을 부여하는 함자 $F_\lambda(M)$ 을 정의한다.
• 애फ인 브레인 군이 $M \otimes V^{\otimes k}$ 에 작용하는 방식을 이용하여, $M$ 이 버마 또는 기약 모듈일 경우 $\widetilde{\mathcal{B}}_k$ 의 표준 및 기약 모듈을 정의한다.
• 함자 $F_\lambda$ 를 통해 버마 모듈의 장자슨 필터링을 당사로 하여 표준 모듈에 장자슨 필터링을 구성함으로써, 조합 인자와 카즈단-루스트리그 다항식을 연결한다.
• 양자군 모듈 위의 추적을 사용하여 애फ인 브레인 군에 대한 마르코프 추적 구축을 일반화하고, 히드라, 템퍼리-라이브, 순환 대수의 경우에 알려진 추적을 특수한 경우로 복원한다.
• 기약 $U_h\mathfrak{g}$-모듈의 BGG 분해를 적용하여, 해당 $\widetilde{\mathcal{B}}_k$-모듈에 대한 BGG 분해를 유도하고, 그들의 특성 다항식에 대한 잭비-트루디 항등식을 도출한다.
• 다중 세그먼트의 정규형과 웨일 군 작용을 사용하여 표준 모듈을 매개변수화하고, 카즈단-루스트리그 다항식을 통해 분해 수를 계산한다.

실험 결과

연구 질문

• RQ1 애फ인 브레인 군 표현, 양자군의 카테고리 O, 링크 불변량을 연결하는 통합된 프레임워크를 어떻게 구성할 수 있는가?
• RQ2 애फ인 히드라 알제브라의 분해 수와 웨일 군의 카즈단-루스트리그 다항식 사이의 정확한 대응은 무엇인가?
• RQ3 함자 $F_\lambda$ 는 애फ인 BMW 알제브라의 표준 및 기약 모듈을, 애फ인 히드라 알제브라와 유사한 성질을 갖도록 구성하는 데 사용될 수 있는가?
• RQ4 BGG 분해와 잭비-트루디 항등식은 양자군에서 애फ인 브레인 군 모듈로 어떻게 일반화되는가?
• RQ5 어떤 다항식이 애फ인 히드라 알제브라 표현의 분해 수로 나타날 수 있는가?

주요 결과

• 형식 A의 애फ인 히드라 알제브라의 표준 모듈에 대한 분해 수는 대칭군 $S_k$ 의 카즈단-루스트리그 다항식으로 주어지며, 정리 6.31에서 이를 보였다.
• 모든 다항식이 $1 + \mathbf{v} \mathbb{Z}_{\geq 0}[\mathbf{v}]$ 에서는 애फ인 히드라 알제브라 모듈의 어떤 쌍의 분해 수로 나타남을, 폴로의 결과와 정리 6.32를 통해 입증하였다.
• 적절한 조건 하에서 함자 $F_\lambda$ 는 버마 모듈을 표준 모듈로, 기약 $U_h\mathfrak{g}$-모듈을 기약 $\widetilde{\mathcal{B}}_k$-모듈로 매핑한다.
• 표준 $\widetilde{\mathcal{B}}_k$-모듈의 장자슨 필터링은 버마 모듈의 장자슨 필터링과 대응되며, 조합 인자는 카즈단-루스트리그 다항식에 의해 지배된다.
• 기약 $U_h\mathfrak{g}$-모듈의 BGG 분해는 해당 $\widetilde{\mathcal{B}}_k$-모듈에 대한 BGG 분해를 유도하며, 그들의 특성 다항식에 대한 잭비-트루디 항등식을 도출한다.
• 모든 리 계열 $\mathfrak{g}$ 에 대해 애फ인 브레인 군 $\widetilde{\mathcal{B}}_k$ 에서의 마르코프 추적을 구성하였으며, 알려진 추적들(예: 조너스, 레셰티힌-투라에프)을 특수한 경우로 복원하였다.