[논문 리뷰] Pointed $p^3$-dimensional Hopf algebras in positive characteristic

Van C. Nguyen, Xingting Wang|arXiv (Cornell University)|2016. 09. 13.

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

한 줄 요약

이 논문은 정수 $p>0$ 에서의 대수적으로 닫힌 체 위에서 모든 점을 가진 $p^3$차원 호프 대수를 분류하며, 군-유사 원소들의 군의 순서가 $p$ 또는 $p^2$ 인 경우에 집중한다. 안드루스키에비치-슐라우퍼 프로그램을 이용하여 관련 그레디에이티드 호프 대수에서의 리프팅를 식별함으로써, 비가환성과 비코커뮤터리성의 새로운 가군 호프 대수의 가족을 도출한다. 이는 무한한 매개수 가중 가족과 $p$ 및 구조적 매개수에 따라 달라지는 유한한 클래스를 포함한다.

ABSTRACT

We classify pointed $p^3$-dimensional Hopf algebras $H$ over any algebraically closed field $k$ of prime characteristic $p>0$. In particular, we focus on the cases when the group $G(H)$ of group-like elements is of order $p$ or $p^2$, that is, when $H$ is pointed but is not connected nor a group algebra. This work provides many new examples of (parametrized) non-commutative and non-cocommutative finite-dimensional Hopf algebras in positive characteristic.

연구 동기 및 목표

• 대수적으로 닫힌 체의 임의의 특성수에서 차원 $p^3$ 인 점을 가진 호프 대수의 분류를 완성하는 것.
• 특성수 0 에서의 안드루스키에비치-슐라우퍼 분류 프로그램을 특성수 $p>0$ 으로 확장하는 것.
• 관련된 군-유사 원소들의 군의 순서가 $p$ 또는 $p^2$ 인 경우, 그레디에이티드 설정에서 브라운드 호프 대수의 리프팅을 분석하는 것.
• 특성수 $p$ 가 차원을 나눌 때 브라운드 호프 대수들이 일반적으로 원시적으로 생성되지 않는다는 도전 과제를 다루는 것.
• 특성수 $p>0$ 에서의 비자명한 점을 가진 호프 대수의 명시적 매개수 가중 가족과 유한한 클래스를 제공하는 것.

제안 방법

• 특성수 $p>0$ 에서의 점을 가진 $p^3$차원 호프 대수를 분류하기 위해 안드루스키에비치-슐라우퍼 리프팅 방법을 적용한다.
• 군 $G(H)$ 의 군-유사 원소들의 순서에 따라 분류를 경우로 나눈다: $|G(H)|=p$ 또는 $p^2$.
• 관련 그레디에이티드 호프 대수 $\mathrm{gr}\,H \cong R \# \mathbb{k}G(H)$ 를 분석하며, 여기서 $R$ 는 ${}^G_G\mathcal{YD}$ 케이테고리에서의 브라운드 호프 대수이다.
• 다이아몬드 렘마를 사용하여 정의 관계에서 발생하는 모순을 해결하고, 대수의 유한성과 일관성을 검증한다.
• 특히 원시적으로 생성되지 않는 $R$ 에 대해, 코homological 및 대수적 제약 조건을 바탕으로 코프로덕트와 관계를 해결함으로써 리프팅을 다룬다.
• 특성수 $p$ 에서의 $G(H)$ 가 생성자에 작용하는 방식에 따라, $R$ 의 유형(대각형 또는 조르당형)을 기준으로 경우를 구분한다.

실험 결과

연구 질문

• RQ1 특성수 0 과 비교했을 때, 특성수 $p>0$ 에서의 점을 가진 $p^3$차원 호프 대수의 리프팅은 어떻게 다를까?
• RQ2 특성수 $p$ 가 $\dim H$ 를 나눌 때, 관련 그레디에이티드 호프 대수에서 브라운드 호프 대수 $R$ 의 원시성은 어떻게 변하는가?
• RQ3 안드루스키에비치-슐라우퍼 리프팅 방법은 특성수 $p>0$ 에서 체계적으로 적용될 수 있으며, 어떤 새로운 구조적 현상이 나타나는가?
• RQ4 대수적으로 닫힌 체의 특성수 $p>0$ 에서의 점을 가진 $p^3$차원 호프 대수의 완전한 동형류는 무엇인가?
• RQ5 이러한 호프 대수의 유한한 가족과 매개수 가중 가족의 수와 구조는 $p$ 와 군 작용에 따라 어떻게 달라지는가?

주요 결과

• Case A1 에서 $|G(H)|=p$ 이고 $u=0$ 일 경우, $1$ 개의 무한한 매개수 가중 가족과 $10$ 개의 유한한 클래스를 식별한다. $u\neq0$ 일 경우, $2(p-1)$ 개의 무한한 가족과 $6(p-1)$ 개의 유한한 클래스가 존재한다.
• Case A2 에서는 $a$ 와 $b$ 에 대한 $G(H)$-작용이 자명한 경우, $5$ 개의 유한한 클래스의 호프 대수가 유도된다.
• Case A3 에서 $p=2$ 일 경우, $a$ 와 $b$ 에 대한 비자명한 $G(H)$-작용을 가진 $5$ 개의 유한한 클래스의 호프 대수가 존재한다.
• Case B ($p>2$) 에서는 일반적으로 리프팅이 완전히 해결되지 않았지만, $p=3$ 의 경우를 상세히 분석하였으며, $p>3$ 에 대한 추측을 제시한다.
• Case C ($\epsilon=0$) 에서는 $1$ 개의 무한한 매개수 가중 가족과 $2$ 개의 유한한 클래스가 존재한다. $\epsilon=1$ 일 경우 리프팅이 완전히 해결되지 않았지만, $p=2$ 와 $gx=xg$ 를 만족하는 $p>2$ 의 경우가 분석되었다.
• Case D1 ($|G(H)|=p^2$) 에서는 $\epsilon=0$ 일 때 $2$ 개의 유한한 클래스, $\epsilon=1$ 일 때 $2$ 개의 클래스(단, $\epsilon_1$ 에 따라 달라짐), $\epsilon=p$ 일 때 $2$ 개의 클래스를 발견하였으며, $\epsilon=1$ 이고 $\epsilon_1=1$ 일 경우 $1$-매개수 가중 가족이 존재한다.