[논문 리뷰] Semisimple Reflection Hopf Algebras of Dimension Sixteen

Luigi Ferraro, Ellen Kirkman외 2명|arXiv (Cornell University)|2019. 07. 15.

Algebraic structures and combinatorial models참고 문헌 14인용 수 5

한 줄 요약

이 논문은 복소수체 위에서 차원 16인 반단순 반사 호프 대수를, 2 또는 3차 이차 아르틴-슐레르트 정규 대수 위에 내부 충실하게 작용하는 대수로 분류함으로써, 그들 중에서 어떤 것이 반사 호프 대수인지 규명한다. 또한 불변 부분환들이 다시 아르틴-슐레르트 정규인지를 확인한다. 주요 결과는 16개의 비자명한 반단순 호프 대수 중에서 10개가 어떤 최소 내부 충실 작용에 대해 반사 호프 대수임을 보여주며, 이는 비가환 불변 이론으로의 셰바레-셰필드-타우드 정리의 일반화이다.

ABSTRACT

For each nontrivial semisimple Hopf algebra $H$ of dimension sixteen over $\mathbb{C}$, the smallest dimension inner-faithful representation of $H$ acting on a quadratic AS regular algebra $A$ of dimension 2 or 3, homogeneously and preserving the grading, is determined. Each invariant subring $A^H$ is determined. When $A^H$ is also AS regular, thus providing a generalization of the Chevalley-Shephard-Todd Theorem, we say that $H$ is a reflection Hopf algebra for $A$.

연구 동기 및 목표

• 아르틴-슐레르트 정규 대수 위에서 '반사'로 작용하는 호프 대수를 식별함으로써, 비가환 불변 이론으로 셰바레-셰필드-타우드 정리를 확장하는 것.
• 차원 16인 16개의 비자명한 반단순 호프 대수 각각에 대해, 2차 또는 3차 이차 AS 정규 대수 위에서 최소 차원의 내부 충실 표현을 결정하는 것.
• 이러한 작용에 대한 불변 부분환을 계산하고, 그것이 스스로 AS 정규인지 확인함으로써 반사 호프 대수를 식별하는 것.
• 작은 차원과 이전에 알려진 가족들 사이의 빈도를 메우기 위해, 차원 16에서의 반사 호프 대수를 종합적으로 분류하는 것.

제안 방법

• 16개의 비자명한 반단순 호프 대수 각각에 대해, 정리 2.4를 이용하여 최소 차원의 내부 충실 표현을 분류한다.
• 각 호프 대수 H가 동차적이고 내부 충실하게 작용하는 2차 또는 3차 이차 AS 정규 대수 A를 구성한다.
• 트레이스 함수와 군-유사 작용 성질을 이용하여 H 작용 하에서의 불변 부분환 A^H를 계산한다.
• 레마 6.1을 적용하여 불변환의 차수를 제약하고 잠재적 불변환의 형태를 단순화한다.
• 생성자의 단항식 위에서의 작용에 대한 명시적 공식을 이용해 지수에 대한 모듈로 4 조건을 유도하고, 이로부터 불변환의 구조에 대한 제약을 도출한다.
• 결과로 얻어진 불변환을 [10]의 오어 확장 및 교환 법칙을 만족하는 다항식 부분환에 관한 결과를 활용해 알려진 AS 정규성 기준과 비교한다.

실험 결과

연구 질문

• RQ1 16개의 비자명한 반단순 호프 대수 중에서, 2차 또는 3차 이차 AS 정규 대수 위에서 반사 호프 대수로 작용하는 것은 어떤 것인가?
• RQ2 각 호프 대수에 대해, 이차 AS 정규 대수 위에서 내부 충실하게 작용하는 최소 차원의 표현은 무엇인가?
• RQ3 어떤 작용에서 불변 부분환 A^H가 스스로 AS 정규가 되는가? 이는 비가환 버전의 셰바레-셰필드-타우드 정리의 조건을 만족하는 것이다.
• RQ4 카카-팔루티킨 형 호프 대수 #14, #15, #16의 불변환은 구조적·정규성 측면에서 어떻게 다를까?
• RQ5 트레이스 함수와 고유값 유사 조건은 비가환 설정에서 반사 유사 작용을 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 16개의 비자명한 반단순 호프 대수 중에서, 10개는 2차 또는 3차 이차 AS 정규 대수 위에서 어떤 최소 내부 충실 작용에 대해 반사 호프 대수이다.
• 카시나 #15는 두 가지 가닥의 대수에서 반사 호프 대수로 작용한다: 하나는 uv±vu 관계로 정의되고, 다른 하나는 u²±iv² 관계로 정의된다. 이 경우 세 가지의 경우에서 AS 정규 불변환이 존재한다.
• 카시나 #15의 경우, 작용이 p≡q mod 2 를 만족하고 대수가 교환 다항식 링의 오어 확장이라면, 불변환은 AS 정규이다.
• 카시나 #14 (A₁₆)는 2차 내부 충실 표현을 갖지 않지만, 다섯 개인 3차 AS 정규 오어 확장 중 세 개에서 반사 호프 대수로 작용한다.
• 카시나 #16 (B₁₆)는 8개의 내부 충실 2차 표현을 가지며, 그 중 네 개에서 반사 호프 대수로 작용한다. 이는 비가환 반사 이론에서의 그의 역할를 확인한다.
• AS 정규인 경우의 불변환은 모두 교환 다항식 링의 오어 확장임을 보여주며, 이는 레마 2.2에 의해 그들의 AS 정규성을 암시한다.