[논문 리뷰] Kaplansky's Construction Type and Classification of Weak bialgebras and Weak Hopf algebras

Zoheir Chebel, Abdenacer Makhlouf|arXiv (Cornell University)|2010. 01. 13.

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

한 줄 요약

이 논문은 일반적인 대수나 복합 대수에서 약한 대수군 및 약한 호프 대수를 생성하기 위한 카플라스키 타입의 구성법을 도입하며, 2차원 및 3차원의 모든 약한 대수군 및 약한 호프 대수에 대해 동형사상에 대해 분류한다. 일반선형군의 작용 하에서의 안정자 부분군을 규명하여, 서로 다른 동형사상 유형에 따라 서로 다른 자기동형군을 드러내며, 이는 순서 2 및 6인 군과 복소수 매개변수로 매개화된 가족을 포함한다.

ABSTRACT

In this paper, we study weak bialgebras and weak Hopf algebras. These algebras form a class wider than bialgebras respectively Hopf algebras. The main results of this paper are Kaplansky's constructions type which lead to weak bialgebras or weak Hopf algebras starting from a regular algebra or a bialgebra. Also we provide a classification of 2-dimensional and 3-dimensional weak bialgebras and weak Hopf algebras. We determine then the stabilizer group and the representative of these classes, the action being that of the linear group.

연구 동기 및 목표

• 약한 대수군 및 약한 호프 대수로의 카플라스키의 구성 기법을 확장한다.
• 차원이 2 및 3인 유한차원 약한 대수군 및 약한 호프 대수의 모든 동형사상 유형을 분류한다.
• 일반선형군의 작용 하에서 이러한 대수군의 안정자 부분군을 계산한다.
• 약한 대수군 및 약한 호프 대수의 집합이 일반선형군의 작용에 의해 분할된 대수적 다양체를 이룬다는 것을 입증하며, 궤도가 동형사상 유형에 대응한다.

제안 방법

• 임의의 대수나 복합 대수에서 약한 대수군 및 약한 호프 대수를 생성하기 위해 카플라스키의 구성 기법을 응용한다.
• 스웨디러 표기법을 사용하여 코승법을 기술하고, 세 가지 핵심 항등식을 통해 호환 조건을 정의한다: 코승법이 대수 준동형사상임, 약한 단위원을 보존함, 약한 코단위원의 곱법적 성질.
• 일반선형군 GL(V)의 작용을 약한 대수군의 구조 공간에 적용하여, 궤도를 통해 동형사상 유형을 정의한다.
• 구조 상수와 선형변환 행렬을 기반으로 두 약한 대수군 간의 동형사상 조건을 명시적인 행렬 조건(식 4.1–4.3)으로 유도한다.
• 기저에 대한 특정 가정 하에 방정식계를 풀어 2차원 및 3차원 대수에 대해 사례별로 분류한다.
• 항등변환을 사용하여 동형사상 조건을 풀어 자기동형군을 계산하며, 대수적 구조에 따라 이산적 또는 연속적 군을 도출한다.

실험 결과

연구 질문

• RQ1 카플라스키의 구성 기법은 어떻게 일반적인 대수나 복합 대수에서 약한 대수군 및 약한 호프 대수를 생성하기 위해 일반화될 수 있는가?
• RQ2 대수적으로 닫힌 체에서 특성 0인 체 위에서 2차원 및 3차원의 약한 대수군 및 약한 호프 대수의 완전한 동형사상 유형은 무엇인가?
• RQ3 일반선형군 GL(V)의 작용 하에서 이러한 대수군의 안정자 부분군은 무엇인가?
• RQ4 낮은 차원에서 약한 대수군 및 약한 호프 대수의 자기동형군은 서로 다른 동형사상 유형에 따라 어떻게 변화하는가?
• RQ5 약한 대수군 및 약한 호프 대수의 공간은 GL(V)-궤도로 분할된 대수적 다양체로 기술될 수 있는가?

주요 결과

• 3차원 약한 대수군은 정확히 11개의 동형사상 유형이 있으며, 그 중 10개는 자기동형군의 순서가 6이며, 하나의 유형(유형 18)은 복소수 매개변수로 매개화된 연속적인 자기동형군을 가진다.
• 2차원 약한 대수군의 자기동형군은 순서 2이며, 행렬 (1,1; 0,-1)에 의해 생성된다.
• 3차원 약한 대수군의 유형 (1)–(11)은 대칭군 S3와 동형이며, 두 개의 특정 3×3 행렬에 의해 생성된다.
• 유형 (18)은 복소수 매개변수 r과 e를 포함한 한 파라미터 가중치의 행렬군과 동형이며, 4e - r² ≠ 0 조건을 만족한다.
• 유형 (20)은 r과 e에 의해 매개화된 자기동형군을 가지며, 이 역시 한 파라미터 가중치의 가중치를 이룬다. 조건은 4e + r² ≠ 0이다.
• 모든 3차원 약한 호프 대수군은 자기동형군의 순서가 6이며, S3와 동형이며, 이는 약한 대수군의 유형 (1)–(11)과 동일한 군 구조를 가진다.