[논문 리뷰] The development version of the CHEVIE package of GAP3

Jean Michel|HAL (Le Centre pour la Communication Scientifique Directe)|2013. 10. 29.

Algebraic structures and combinatorial models참고 문헌 22인용 수 32

한 줄 요약

이 논문은 GAP3용 CHEVIE 패키지의 개발 버전을 제시한다. 이는 코x터 군, 헤크 대수, 반사군, 대수적 군을 포함하여 카즈단-류스트리그 이론, 유니포텐트 성질, 스페츠를 연구하는 데 사용되는 포괄적인 계산 시스템이다. 일반 프로그래밍을 통해 표현 이론과 대수기하학 분야의 고급 계산을 가능하게 하며, 애매한 매개변수를 가진 헤크 대수, 아핀 웨일 군, 복소 반사군에 대한 알고리즘적 처리에 핵심 기여를 한다.

ABSTRACT

I describe the current state of the development version of the CHEVIE package, which deals with Coxeter groups, reductive algebraic groups, complex reflection groups, Hecke algebras, braid monoids, etc... Examples are given, showing the code to check some results of Lusztig.

연구 동기 및 목표

• 유한 및 아핀 코x터 군, 헤크 대수, 대수적 군의 표현 이론에서 고급 계산을 지원하기 위해 GAP3의 CHEVIE 패키지를 확장하는 것.
• 이질적 매개변수를 가진 헤크 대수와 일반 코x터 군에서 카즈단-류스트리그 기저와 다항식을 위한 알고리즘을 구현하는 것.
• 복소 반사군, 그들의 순환 헤크 대수, 관련 스페츠(유니포텐트 성질 및 그린 함수 포함)에 대한 체계적인 지원을 제공하는 것.
• 리ductive 군에서 준가역적 및 유니포텐트 공轭류, 중심화군, 루스티그의 푸리에 변환 계산을 가능하게 하는 것.
• 1997년에 발표된 버전을 초월하여 功能을 확장하면서도 GAP3의 일반 프로그래밍 모델과의 후행 호환성을 유지하는 것.

제안 방법

• 임의의 코x터 군에 대해 FirstLeftDescending 및 LeftDescentSet와 같은 일반 프로그래밍 원리를 구현하여 유한, 아핀, 일반 코x터 군 간에 통일된 코드를 가능하게 하였다.
• 데오다르와 조르게르의 구성에 기반하여 이질적 매개변수를 가진 헤크 대수에서 카즈단-류스트리그 다항식과 기저를 위한 알고리즘을 개발하였다.
• 반사 군에 대한 반사 여부와 자동형 작용을 도입하여 분류 및 표기 테이블 계산을 지원하였다.
• 유한 복소 반사군에 대한 다항식 불변량과 표현의 완전한 목록을 구축하였으며, 특히 말레와의 공동 연구로 $G_{29}$ 및 $G_{31}$–$G_{34}$에 대해 작업하였다.
• 가르시드 및 국소 가르시드 모노이드 구조(브레이드 및 이중 브레이드 모노이드 포함)를 통합하고, 공轭류 및 중심화군 계산을 위한 알고리즘을 제공하였다.
• 리ductive 군과 스페츠에 대해 유니포텐트 성질, 루스티그의 유도, ${ mf L}$-함수의 계산을 가능하게 하였으며, 양의 및 악성 특성에서의 전반적인 지원을 제공하였다.

실험 결과

연구 질문

• RQ1 카즈단-류스트리그 이론은 일반 코x터 군의 이질적 매개변수를 가진 헤크 대수로 어떻게 체계적으로 확장될 수 있는가?
• RQ2 복소 반사군과 그 여부에 대한 분류 및 표기 테이블 계산을 지원하는 계산 프레임워크는 무엇인가?
• RQ3 유니포텐트 성질과 그린 함수는 임의의 특성에서 리ductive 군과 스페츠에 대해 알고리즘적으로 어떻게 계산될 수 있는가?
• RQ4 가르시드 모노이드는 브레이드 군과 반사군에서 공轭류 및 중심화군 계산에 어떤 역할을 하는가?
• RQ5 CHEVIE 패키지는 1997년 출시된 버전을 초월하여 功能을 확장하면서도 GAP3의 타입 시스템과의 호환성을 유지할 수 있는가?

주요 결과

• CHEVIE 패키지는 임의의 코x터 군(아핀 및 일반 유형 포함)의 이질적 매개변수를 가진 헤크 대수에서 카즈단-류스트리그 기저와 다항식을 지원한다.
• 모든 유한 코x터 군과 대부분의 복소 반사군의 순환 헤크 대수에 대해 완전한 표기 테이블과 표현이 가능하며, $G_{29}$에 대해서는 완전한 표기 테이블, $G_{31}$–$G_{34}$에 대해서는 부분적 테이블이 포함되어 있다.
• 패키지는 리ductive 군과 스페츠에 대해 유니포텐트 성질을 계산할 수 있으며, $G_4$의 경우 $ℝ[\sqrt{-3}]$에서의 차수를 포함한다. 또한 루스티그의 푸리에 변환과 ${\mathcal{L}}$-함수를 포함한다.
• E_8에서의 유니포텐트 군집이 계산되었으며, 루스티그의 예측과 일치한다. $G_2$에서는 특성에 따라 차이를 관찰하였다.
• 반사 여부와 자동형 작용의 구현을 통해 휘어진 군(리 및 수즈끼 군 포함)의 체계적 처리가 가능해졌다.
• 패키지는 완전한 형식 설정, TeX 내보내기, 그리고 대수적 객체의 체계적 표시를 지원하여 수학 문서화 및 출판 워크플로우와의 통합을 가능하게 하였다.