[논문 리뷰] On the irreducible representations of generalized quantum doubles

Sebastian Burciu|arXiv (Cornell University)|2012. 02. 20.

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

한 줄 요약

이 논문은 유한군의 드린펠트 듀얼 표현의 잘 알려진 매개화를 일반화하여, 전단사 성향을 갖는 반단순 호프 대수에 대해 일반화된 양자 듀얼의 기약 표현을 완전히 분류한다. 이들은 이러한 표현에 대한 텐서곱 공식을 수립하고, 그 들뢰리히 링이 그린 함수자와 공중앙 호프 대수 확장에서 유래하는 것들과 유사한 구조를 띠며, 기존의 양자 듀얼과 호크시ลด 코homology 링에 대한 결과를 확장한다.

ABSTRACT

A description of all the irreducible representations of generalized quantum doubles associated to skew pairings of semisimple Hopf algebras is given. In particular a description of the irreducible representations of semisimple Drinfeld doubles is obtained. It is shown that the Grothendieck ring of these generalized quantum doubles have a structure similar to the rings that arise from Green functors. In order to do this we give a formula for the tensor product of any two such irreducible representations.

연구 동기 및 목표

• U와 H가 반단순 호프 대수이고 성향이 U → H*cop의 전성사로 이끌어내는 조건에서, 일반화된 양자 듀얼 Dν(U,H)의 모든 기약 표현을 분류하는 것.
• 유한군 G에 대한 드린펠트 듀얼 D(G)의 기약 표현 매개화를 일반화된 양자 듀얼의 맥락으로 일반화하는 것.
• 이러한 기약 표현의 텐서곱 구조를 공액 하위대수 위의 유도 모듈을 통해 기술하는 것.
• Dν(U,H)의 들뢰리히 링이 그린 함수자와 공중앙 호프 대수 확장에서 유래하는 것들과 유사한 링 구조를 띠는 것을 보이는 것.
• 호프 대수 준동형사상에 의해 유도된 텐서 함자에 의해 유도되는 표현 범주를 상대 중심의 관점에서 해석하는 것.

제안 방법

• 반단순 호프 대수에 대한 클리포드 이론을 적용하여, 정규 호프 부분대수 K(U), 즉 U의 최대 중심 호프 부분대수를 통해 Dν(U,H)의 표현을 분석한다.
• Rep(U)의 보편 그룹화 군 G를 정의하여 K(U) = kG*로 정의하고, 공액류와 등변 모듈을 통해 기약 표현을 매개화한다.
• 중앙자 대수의 일반화로 하는 호프 부분대수 L(g) ⊆ H를 정의하고, M ∈ Ig에 대해 기약 표현을 Sg,M = H ⊗L(g) M로 구성한다.
• 이중 코셋 분해를 통해 텐서곱 공식을 유도한다: (H ⊗L(g) M) ⊗ (H ⊗L(h) N) ≅ ⨁x∈𝒟 H ⊗L(^xgh) P(x), 여기서 P(x)는 제한 및 유도된 모듈의 텐서곱이다.
• 들뢰리히 링 K₀(Dν(U,H))에서 중심자 CℤG(ℤF)로의 링 전성사 사상을 수립하여, 그린 함수자와 공중앙 확장에서 유래한 링들과의 유사성을 보인다.
• 표현 범주 Rep(Dν(U,H))를 호프 대수 준동형사상 f: U → H*cop에 의해 유도된 이미지 함자 f*의 상대 중심으로 해석한다.

실험 결과

연구 질문

• RQ1 U와 H가 반단순이고 성향이 U → H*cop의 전성사로 이끌어내는 조건에서, 일반화된 양자 듀얼 Dν(U,H)의 기약 표현은 어떻게 분류할 수 있는가?
• RQ2 두 기약 표현의 텐서곱의 구조는 무엇이며, 이는 유한군의 드린펠트 듀얼에 대해 알려진 공식을 어떻게 일반화하는가?
• RQ3 Dν(U,H)의 들뢰리히 링은 그린 함수자나 공중앙 확장에서 유래하는 알려진 링 구조와 어떻게 관련이 있는가?
• RQ4 Rep(Dν(U,H))의 범주론적 해석은 어떤 텐서 함자의 상대 중심으로서 어떻게 기술될 수 있는가?
• RQ5 Dν(U,H)의 표현 이론은 유한군 G에 대한 D(G)의 표현 이론과 어느 정도 유사한가?

주요 결과

• Dν(U,H)의 모든 기약 표현은 Sg,M = H ⊗L(g) M의 형태를 가지며, 여기서 g는 Rep(U)의 보편 그룹화 군 G의 F-오빗의 대표자이며, M는 Ig에 속한 기약 표현이다.
• 두 기약 표현의 텐서곱은 (H ⊗L(g) M) ⊗ (H ⊗L(h) N) ≅ ⨁x∈𝒟 H ⊗L(^xgh) P(x)로 주어지며, 여기서 𝒟는 이중 코셋 대표자들의 집합이고, P(x)는 L(g)와 L(h)의 교차에서 유도된 모듈이다.
• 들뢰리히 링 K₀(Dν(U,H))는 ⨁g∈Γ K₀(ℬg)로 분해되며, 곱셈은 K₀(ℬg)K₀(ℬh) ⊆ ⨁x∈𝒟 K₀(ℬ^xgh)를 만족하여, 그린 함수자와 유사한 구조를 반영한다.
• K₀(Dν(U,H))에서 중심자 CℤG(ℤF)로의 전성사 링 준동형사상이 존재하며, [Sg,M]을 (dim M)·s(g)로 보낸다. 여기서 s(g)는 ℤG에서의 오빗 합이며, 시빌스와 윌리엄스의 결과를 일반화한다.
• 표현 범주 Rep(Dν(U,H))는 호프 대수 준동형사상 f: U → H*cop에 의해 유도된 텐서 함자 f*의 상대 중심과 동치이며, 이는 범주론적 해석을 제공한다.
• Dν(U,H)의 들뢰리히 링의 구조는 [30]에서 기술된 아벨 공중앙 확장의 링 구조와 일치하며, 호크시ลด 코homology와 표현 이론에서 알려진 구성과 깊은 구조적 유사성을 확인한다.