[논문 리뷰] Drinfeld double of quantum groups, tilting modules and $\mathbb{Z}$-modular data associated to complex reflection groups

Abel Lacabanne|arXiv (Cornell University)|2018. 07. 02.

Advanced Algebra and Geometry참고 문헌 17인용 수 2

한 줄 요약

이 논문은 근의 단위근에서 양자군의 드리플랑드 듀얼을 사용하여 순환군 G와 z ∈ G에서 z² = 1인 경우 Rep(G, z)와 동치인 대칭 중심을 가진 융합 분야를 구성한다. slₙ₊₁에서 짝수 단위근일 때, Z(Tξ) ⋊ S의 대칭 중심은 n 이외일 경우 Rep(ℤ/(n+1)ℤ)이며, n 이면 Rep(ℤ/(n+1)ℤ, (n+1)/2)이며, 이는 말레의 복소 반사군에 대한 푸리에 행렬과 일치하는 Z-모듈러 데이터를 제공한다.

ABSTRACT

Generalizing Lusztig's work, Malle has associated to some imprimitive complex reflection group $W$ a set of "unipotent characters", which are in bijection of the usual unipotent characters of the associated finite reductive group if $W$ is a Weyl group. He also obtained a partition of these characters into families and associated to each family a $\mathbb{Z}$-modular datum. We construct a categorification of some of these data, by studying the category of tilting modules of the Drinfeld double of the quantum enveloping algebra of the Borel of a simple complex Lie algebra.

연구 동기 및 목표

• 복소 반사군, 특히 스페티셜 비순환 유형에 관련된 Z-모듈러 데이터를 텐서 분야를 통해 분류화하기.
• 비양수 구조 상수를 가진 Z-대수를 분류화하는 데 어려움을 해결하기 위해 슈퍼분야를 도입하기.
• 말레의 유니포텐트 문자에서 유도된 모듈러 데이터와 양자군 표현에서 유도된 모듈러 데이터 사이의 연결 고리 수립하기.
• 단순 리 대수에 관련된 양자군의 드리플랑드 듀얼에 대해 Z(Tξ) ⋊ S의 대칭 중심 계산하기.
• A형과 짝수 단위근에서, 결과적으로 유도된 모듈러 데이터가 말레의 푸리에 행렬과 일치함을 보여주기.

제안 방법

• 복소 단순 리 대수 g의 보렐 부분대수의 드리플랑드 듀얼 Dq(g) 구성하기.
• Dq(g)를 단위근 ξ에서 특수화하고 기울임 모듈의 부분분야의 준단순화 고려하기.
• 정수 부분분야의 부분 모듈러화를 수행하여, G가 순환군이고 z² = 1일 때 Rep(G, z)와 동치인 대칭 중심을 가진 분야 확보하기.
• Z(Tξ) ⋊ S를 기존 융합 분야로 정의하고 대칭 중심을 갖기.
• Z(Tξ) ⋊ S의 그로텐디크 링을 사용하여 모듈러 데이터(S 및 T 행렬) 추출하고 말레의 Z-모듈러 데이터와 비교하기.
• 그로텐디크 군이 음수 구조 상수를 가질 경우 슈퍼분야를 사용하고, 슈퍼디멘션을 통해 S-행렬 재정규화하기.

실험 결과

연구 질문

• RQ1 복소 반사군에 관련된 Z-모듈러 데이터는 근의 단위근에서의 양자군 표현을 통해 분류화될 수 있는가?
• RQ2 Uq(slₙ₊₁)의 드리플랑드 듀얼의 기울임 모듈에서 유도된 Z(Tξ) ⋊ S 분야의 대칭 중심은 무엇인가?
• RQ3 유도된 융합 분야의 S 및 T 행렬은 유니포텐트 문자에 대한 말레의 푸리에 행렬과 어떻게 관련되는가?
• RQ4 Z(Tξ) ⋊ S 분야가 언제 말레의 구성과 일치하는 Z-모듈러 자료를 제공하는가?
• RQ5 G₂₄와 같은 예외적 복소 반사군은 B형에 해당하는 유사한 구성으로 동일하게 분류화될 수 있는가?

주요 결과

• g = slₙ₊₁이고 ξ가 짝수 차수의 단위근일 때, n 이외일 경우 Z(Tξ) ⋊ S의 대칭 중심은 Rep(ℤ/(n+1)ℤ)이다.
• n 이면, 대칭 중심은 Rep(ℤ/(n+1)ℤ, (n+1)/2)이며, 이는 날개가 있는 군 대수 분야이다.
• d ≥ n인 복소 반사군 G(d,1,n(n+1)/2)에 대해, Z(Tξ) ⋊ S에서 유도된 Z-모듈러 자료는 말레의 자료와 일치한다.
• G₂₄(셰퍼드-타우드 유형)의 경우, 슈퍼융합 분야 ÛC의 S 및 T 행렬은 √−28로 재정규화한 후 말레의 푸리에 행렬과 프로베누스 고유값이 일치한다.
• ÛC 분야의 S-행렬은 i√28(여기서 i = ξ⁷)로 정규화하면 말레의 S-행렬과 정확히 일치하고, T-행렬도 정확히 일치한다.
• 이 구성은 약간의 비퇴화 슈퍼융합 분야를 유도하며, 대칭 중심의 비단위 원소는 차원 −1과 토크 1을 가진다.