[논문 리뷰] Yetter-Drinfeld modules under cocycle twists

Georgia Benkart, Mariana Pereira외 1명|ArXiv.org|2009. 08. 11.

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

한 줄 요약

이 논문은 Radford의 구성과 Majid의 동치를 이용하여 유한차원 점지된 호프 대수 $H$와 그 코사이클 변형 $H^\sigma$ 사이의 단순 Yetter-Drinfeld 모듈 간의 명시적 대응을 수립한다. 핵심 결과는 Drinfeld 이중체 $D(H)$와 $D(H^\sigma)$의 모듈 간의 카테고리 동치이며, 이는 제한된 두 매개변수 양자군 $\mathfrak{u}_{r,s}(\mathfrak{sl}_n)$에 대해 명시적으로 증명되었으며, Singular::Plural에서의 그로브너 기반 계산을 통해 차원 공식이 유도되었다.

ABSTRACT

We give an explicit formula for the correspondence between simple Yetter-Drinfeld modules for certain finite-dimensional pointed Hopf algebras $H$ and those for cocycle twists $H^σ$ of $H$. This implies an equivalence between modules for their Drinfeld doubles. To illustrate our results, we consider the restricted two-parameter quantum groups ${\mathfrak{u}}_{r,s}({\mathfrak{sl}}_n)$ under conditions on the parameters guaranteeing that ${\mathfrak{u}}_{r,s}({\mathfrak{sl}}_n)$ is a Drinfeld double of its Borel subalgebra. We determine explicit correspondences between ${\mathfrak{u}}_{r,s}({\mathfrak{sl}}_n)$-modules for different values of $r$ and $s$ and provide examples where no such correspondence can exist. Our examples were obtained via the computer algebra system {\sc Singular::Plural}.

연구 동기 및 목표

• 지정된 호프 대수 $H$와 그 코사이클 변형 $H^\sigma$에 대한 단순 Yetter-Drinfeld 모듈 간의 정확한 대응을 수립하기 위해.
• Radford의 단순 모듈 구성 방법을 코사이클 변형된 호프 대수로 확장하기 위해.
• Drinfeld 이중체 $D(H)$와 $D(H^\sigma)$의 표현 카테고리가 이 대응을 통해 동치임을 보여주기 위해.
• 코사이클 변형 동치를 이용하여 제한된 두 매개변수 양자군 $\mathfrak{u}_{r,s}(\mathfrak{sl}_n)$의 표현 이론을 분석하기 위해.
• Drinfeld 이중체로 표현될 수 있는 경우에 대해 $\mathfrak{u}_{r,s}(\mathfrak{sl}_n)$의 단순 모듈에 대한 명시적 차원 공식을 제공하기 위해.

제안 방법

• Majid과 Oeckl의 Yetter-Drinfeld $H$-모듈과 $H^\sigma$-모듈 간의 카테고리 동치를 활용하기 위해.
• Radford의 구성 방법을 적용하여 단순 Yetter-Drinfeld 모듈을 $H$의 부분공간으로 실현하기 위해.
• 코사이클 변형 자료를 통해 $H$와 $H^\sigma$의 단순 모듈 간 대응을 명시적으로 유도하기 위해.
• Majid의 Yetter-Drinfeld $H$-모듈과 $D(H)$-모듈 간의 동치를 활용하여 $D(H)$-와 $D(H^\sigma)$-모듈 카테고리 간의 관계를 설정하기 위해.
• 컴퓨터 대수 시스템 Singular::Plural에서의 그로브너 기반 기법을 사용하여 모듈 차원을 계산하기 위해.
• 모듈러 산술과 카르탕 행렬 체계를 이용하여 매개변수 $m_1, m_2$에 대한 $\mathfrak{u}_{r,s}(\mathfrak{sl}_n)$의 단순 모듈 차원 공식을 유도하기 위해.

실험 결과

연구 질문

• RQ1 지정된 호프 대수 $H$의 코사이클 변형 $H^\sigma$가 단순 Yetter-Drinfeld 모듈의 구조를 유지하는 조건은 무엇이며, 그 대응은 어떻게 명시적으로 기술할 수 있는가?
• RQ2 만약 $r$과 $s$가 상호 역수 관계에 있지 않다면, $\mathfrak{u}_{r,s}(\mathfrak{sl}_n)$의 표현 이론은 $\mathfrak{u}_{q,q^{-1}}(\mathfrak{sl}_n)$의 표현 이론과 어떻게 관련이 있는가?
• RQ3 Drinfeld 이중체로 표현될 수 있는 매개변수 조건에서, $\mathfrak{u}_{r,s}(\mathfrak{sl}_n)$의 단순 Yetter-Drinfeld 모듈의 정확한 차원은 무엇인가?
• RQ4 비동형인 양자군에 대해, $\mathfrak{u}_{r,s}(\mathfrak{sl}_n)$과 $\mathfrak{u}_{q,q^{-1}}(\mathfrak{sl}_n)$ 간의 표현 이론 유사성은 코사이클 변형을 통해 설명될 수 있는가?
• RQ5 코사이클 변형이 존재하지 않는 경우 이러한 동치의 한계는 무엇이며, 그 경우 단순 모듈의 차이는 어떻게 달라지는가?

주요 결과

• 지정된 호프 대수의 큰 범주에서 유효한 $H$와 $H^\sigma$의 단순 Yetter-Drinfeld 모듈 간의 명시적 공식이 수립되었다.
• 코사이클 변형을 통한 $D(H)$-모듈 카테고리와 $D(H^\sigma)$-모듈 카테고리 간의 동치가 성립하며, 이 동치는 모듈 대응에 의해 유도된다.
• $\mathfrak{u}_{r,s}(\mathfrak{sl}_n)$의 경우 특정 매개변수 조건 하에서 $\mathfrak{u}_{r,s}(\mathfrak{sl}_n)$과 $\mathfrak{u}_{q,q^{-1}}(\mathfrak{sl}_n)$의 표현 카테고리 간 동치를 유도하는 코사이클 변형이 존재한다.
• 만약 $q$가 4차 단위근이라면, $\mathfrak{u}_{1,q}(\mathfrak{sl}_3)$와 $\mathfrak{u}_{q,q^{-1}}(\mathfrak{sl}_3)$의 단순 모듈의 차원은 상당히 다름을 보이며, 일반적으로는 그러한 동치가 존재하지 않음을 시사한다.
• 단순 $\mathfrak{u}_{r,s}(\mathfrak{sl}_3)$-모듈의 차원은 $m_1 + m_2 \leq \ell$ 이면 $\frac{1}{2}m_1m_2(m_1 + m_2)$이며, $m_1 + m_2 > \ell$ 이면 $\frac{1}{2}m_1m_2(m_1 + m_2) - \frac{1}{2}m_1'm_2'(m_1' + m_2')$이다. 여기서 $m_1 \equiv (2d_1 - d_2 + 1) \mod \ell$, $m_2 \equiv (2d_2 - d_1 + 1) \mod \ell$이다.