[논문 리뷰] Algebraic quantum permutation groups

Julien Bichon|ArXiv.org|2007. 10. 08.

Algebraic structures and combinatorial models인용 수 5

한 줄 요약

이 논문은 특성 0 체 위에서, 대수적 양자 순열군 $A_s(n,\mathbb{K})$가 대각 대수 $\mathbb{K}^n$ 위에 작용하는 유일한 코세미단순 호프 대수임을 증명하며, Wang의 컴acts 양자군 구성법을 보완한다. 또한 $\mathbb{K}^n$ 위의 군 덮개를 통한 분류를 통해, $A_s(n,\mathbb{K})$의 코암형, 코세미단순 몫들이 자유곱의 전이 아벨 부분군들의 몫들과 대응됨을 보여준다.

ABSTRACT

We discuss some algebraic aspects of quantum permutation groups, working over arbitrary fields. If $K$ is any characteristic zero field, we show that there exists a universal cosemisimple Hopf algebra coacting on the diagonal algebra $K^n$: this is a refinement of Wang's universality theorem for the (compact) quantum permutation group. We also prove a structural result for Hopf algebras having a non-ergodic coaction on the diagonal algebra $K^n$, on which we determine the possible group gradings when $K$ is algebraically closed and has characteristic zero.

연구 동기 및 목표

• 임의의 체 위에서, 특히 특성 0 체에서 Wang의 유일한 컴팩트 양자 순열군 $\mathcal{Q}_n$을 대수적 설정으로 확장하는 것.
• 체 $\mathbb{K}$의 특성이 0일 때, $A_s(n,\mathbb{K})$가 $\mathbb{K}^n$ 위에 작용하는 유일한 코세미단순 호프 대수임을 증명하는 것.
• 체 $\mathbb{K}$가 대수적으로 닫혀 있고 특성이 0일 때, $A_s(n,\mathbb{K})$의 코암형, 코세미단순 호프 대수 몫들을 분류하는 것.
• 코작용과 호프 대수 몫의 구조를 통해 대각 대수 $\mathbb{K}^n$ 위의 가능한 모든 군 덮개를 기술하는 것.

제안 방법

• Wang의 $A_s(n,\mathbb{C})$의 대수적 대응체로 간주되는, 반마법 및 마법 행렬 조건을 나타내는 생성자와 관계로 정의된 호프 대수 $A_s(n,\mathbb{K})$를 구성한다.
• 체 $\mathbb{K}^n$ 위의 $G$-덮개와 군 대수 $\mathbb{K}[G]$의 코작용 사이의 대응을 이용하여, 덮개 문제를 호프 대수 코작용의 구조로 변환한다.
• 코세미단순 호프 대수 이론과 하어 적분의 존재를 적용하여, 특히 비에르고딕 및 에르고딕 케이스에 중점을 두고 $\mathbb{K}^n$ 위의 코작용의 구조를 분석한다.
• 코암형, 코세미단순 호프 대수들이 대수적으로 닫혀 있고 특성이 0인 체 위에서 군 대수 $\mathbb{K}[G]$와 동형임을 이용하여, 분류 문제를 군론적 자료로 환원한다.
• 특히, 결합 대수 위의 군 덮개 이론을 적용하여, 비영 homogeneous 성분을 가진 군 원소의 유한성과 에르고딕 케이스에서 군의 아벨성에 주목한다.
• 모든 코작용이 $A_s(n,\mathbb{K})$의 몫을 통해 인식될 수 있음을 $A_s(n,\mathbb{K})$의 유일성 성질을 통해 보여주며, 이는 몫들이 자유곱의 전이 아벨 부분군들의 몫인 군 대수로 분류됨을 이끌어낸다.

실험 결과

연구 질문

• RQ1 특성 0 체 $\mathbb{K}$ 위에서, $\mathbb{K}^n$ 위에 작용하는 유일한 코세미단순 호프 대수는 존재하는가? 그 구조는 무엇인가?
• RQ2 비에르고딕 방식으로 $\mathbb{K}^n$ 위에 작용하는 호프 대수의 구조적 제약 조건은 무엇인가?
• RQ3 체 $\mathbb{K}$가 대수적으로 닫혀 있고 특성이 0일 때, $A_s(n,\mathbb{K})$의 코암형, 코세미단순 몫들은 어떻게 분류할 수 있는가?
• RQ4 어떤 군 덮개들이 대각 대수 $\mathbb{K}^n$ 위에 실현될 수 있으며, 이들은 호프 대수 코작용과 어떻게 관련이 있는가?

주요 결과

• 특성 0 체 $\mathbb{K}$ 위에서, $A_s(n,\mathbb{K})$는 $\mathbb{K}^n$ 위에 작용하는 유일한 코세미단순 호프 대수이며, Wang의 유일성 정리가 대수적 설정에서 보완됨을 보여준다.
• 모든 $\mathbb{K}^n$ 위에 비에르고딕으로 작용하는 호프 대수는 작은 $m_i$에 대해 $A_s(m_i,\mathbb{K})$ 대수의 자유곱의 몫을 통과해야 하며, 이는 Proposition 4.1에서 보여진다.
• 체 $\mathbb{K}$가 대수적으로 닫혀 있고 특성이 0일 때, $A_s(n,\mathbb{K})$의 모든 코암형, 코세미단순 몫은 $\mathbb{K}[G]$와 동형이며, 여기서 $G$는 대칭군 $S_{m_i}$의 전이 아벨 부분군들의 자유곱의 몫이다.
• 충실한 $G$-덮개가 존재하는 것은 $\sum m_i = n$을 만족하는 자유곱의 전이 아벨 부분군 $G_i \subset S_{m_i}$의 몫인 $G$일 때에만 가능하며, 이는 Proposition 5.2에 명시되어 있다.
• 덮개가 에르고딕임은 해당 군 $G$가 $S_n$의 전이 아벨 부분군임과 동치이며, 이는 $G$가 $[n]$에 전이적으로 작용함을 의미한다.
• 코암형, 코세미단순 몫인 $A_s(n,\mathbb{C})$는 $C^*$-대수로서 $\mathbb{C}[G]$와 동형이며, 여기서 $G$는 전이 아벨 부분군들의 자유곱의 몫이다. 이는 Corollary 5.3에 따라 성립한다.