[논문 리뷰] Crossed product of Hopf algebras

A. L. Agore|arXiv (Cornell University)|2012. 03. 12.

Algebraic structures and combinatorial models참고 문헌 13인용 수 6

한 줄 요약

이 논문은 군의 외적곱과 스매시곱을 일반화하는 호프 대수의 외적곱을 정의하고 특성화한다. 호프 대수가 두 호프 대수의 외적곱과 동형일 조건을 필요충분조건으로 규명한다: 정규 호프 부분대수와 항등원을 포함하는 부분코알geb latter로의 분해. 주요 기여는 구성 요소 사상에 의해 표현되는 외적곱 위의 공등순서(브라운드) 구조의 완전한 분류이며, $H_4 \#_f^\triangleright k[C_3]$에서의 명시적 계산을 통해 이를 시각화한다. 이 구성은 호프 대수 이론에서 분해와 브라운드 모나이드 구조를 이해하는 보편적 프레임워크를 제공한다.

ABSTRACT

The main properties of the crossed product in the category of Hopf algebras are investigated. Let $A$ and $H$ be two Hopf algebras connected by two morphism of coalgebras $ riangleright : H\ot A o A$, $f:H\ot H o A$. The crossed product $A #_{f}^{ riangleright} H$ is a new Hopf algebra containing $A$ as a normal Hopf subalgebra. Furthermore, a Hopf algebra $E$ is isomorphic as a Hopf algebra to a crossed product of Hopf algebras $A #_{f}^{ riangleright} H$ if and only if $E$ factorizes through a normal Hopf subalgebra $A$ and a subcoalgebra $H$ such that $1_{E} \in H$. The universality of the construction, the existence of integrals, commutativity or involutivity of the crossed product are studied. Looking at the quantum side of the construction we shall give necessary and sufficient conditions for a crossed product to be a coquasitriangular Hopf algebra. In particular, all braided structures on the monoidal category of $A #_{f}^{ riangleright} H$-comodules are explicitly described in terms of their components. As an example, the braidings on a crossed product between $H_{4}$ and $k[C_{3}]$ are described in detail.

연구 동기 및 목표

• 호프 대수의 범주에서 외적곱 구성의 형식화 및 연구를 통해 군의 외적곱과 스매시곱 구성의 일반화를 시도한다.
• 두 호프 대수의 외적곱과 동형일 조건을 필요충분조건으로 규명한다.
• 외적곱의 구조적 성질(예: 적분, 단순성, 교환성, 호환성)을 연구한다.
• 외적곱 위의 공등순서(브라운드) 구조를 구성 요소 사상과 연결하여 완전한 분류를 제공한다.
• 스위드러의 호프 대수 $H_4$와 군대수 $k[C_3]$ 사이의 외적곱을 포함한 구체적 예를 통해 이론을 설명한다.

제안 방법

• 호프 대수 $A$와 $H$의 외적곱 $A\#_f^\triangleright H$를 호환되는 작용 $\triangleright: H \otimes A \to A$와 코사이클 $f: H \otimes H \to A$를 통해 정의하며, 이 둘 다 코알geb latter 사상임을 가정한다.
• 논문 [1]의 통합곱 구성법을 사용하여 $A \#_f^\triangleright H$ 위의 대수 및 코알geb latter 구조를 정의하며, 곱과 코곱은 $\triangleright$와 $f$를 포함한 명시적 공식으로 주어진다.
• 작용과 코사이클이 두 가지 호환 조건을 만족할 경우, 외적곱이 항등원을 갖는 호프 대수의 구조를 상속함을 증명한다.
• 보편 성질을 확립한다: 호프 대수 $E$가 외적곱 $A\#_f^\triangleright H$와 동형일 필요충분조건은 $E = A \cdot H$로 분해되며, $A$가 정규 호프 부분대수이고 $1_E \in H$임을 뜻한다.
• 외적곱 위의 공등순서(브라운드) 구조를 구성 요소 사상의 시스템으로 특성화한다: $A$ 위의 브라운드 구조 $p$, 기울어진 쌍 $u$와 $v$, $H$ 위의 브라운딩 $\tau$로 구성되며, 호환 조건 (25)–(31)을 만족한다.
• 외적곱 위의 브라운딩 $\sigma$를 다음과 같이 명시적으로 구성한다: $\sigma(b \otimes y, c \otimes z) = u(b_{(1)}, z_{(1)}) p(b_{(2)}, c_{(1)}) \tau(y_{(1)}, z_{(2)}) v(y_{(2)}, c_{(2)})$.

실험 결과

연구 질문

• RQ1 어떤 조건에서 호프 대수가 두 호프 대수의 외적곱과 동형일 수 있는가?
• RQ2 호프 대수의 외적곱이 공등순서(브라운드)일 조건(즉, 브라운드 구조를 가질 수 있는 조건)은 무엇인가?
• RQ3 외적곱 $A\#_f^\triangleright H$ 위의 코모듈의 카테고리에서 모든 브라운드 구조를 어떻게 명시적으로 묘사할 수 있는가?
• RQ4 외적곱의 구조적 성질(예: 단순성, 적분, 교환성 등)은 각 성분인 $A$, $H$, $\triangleright$, $f$에 따라 어떻게 달라지는가?
• RQ5 외적곱 구성법을 사용하여 특정 호프 대수, 예를 들어 양자 와일 대수나 $H_4 \#_f^\triangleright k[C_3]$를 어떻게 실현할 수 있는가?

주요 결과

• 호프 대수 $E$가 외적곱 $A\#_f^\triangleright H$와 동형일 필요충분조건은 $E = A \cdot H$로 분해되며, $A$가 정규 호프 부분대수이고 $1_E \in H$임을 뜻한다. 이는 이러한 분해의 완전한 특성화를 제공한다.
• 외적곱 $A\#_f^\triangleright H$가 교환 가능할 조건은 작용 $\triangleright$와 코사이클 $f$가 특정 대칭 조건을 만족할 때이며, 이는 $f(h,k) = f(k,h)$와 일반화된 의미에서의 $h \triangleright a = a \triangleright h$를 포함한다.
• 외적곱 $A\#_f^\triangleright H$가 단순일 조건은 $A$와 $H$가 모두 단순일 때이며, 외적곱 위의 우측 적분은 $A$와 $H$ 위의 적분을 통해 구성된다.
• 외적곱 $A\#_f^\triangleright H$ 위의 모든 공등순서(브라운드) 구조는 구성 요소 사상으로 완전히 분류된다: $A$ 위의 브라운드 구조 $p$, 기울어진 쌍 $u$, $v$, $H$ 위의 브라운딩 $\tau$로 구성되며, 호환 조건 (25)–(31)을 만족한다.
• 특수 예인 $H_4 \#_f^\triangleright k[C_3]$에 대해서는 $\alpha \in k$와 $\gamma \in k$ ($\gamma^3 = 1$)를 매개변수로 하는 브라운딩의 가중치를 구성하였으며, $\sigma$의 전체 $12 \times 12$ 행렬 형태의 구조 상수를 제공한다.