[논문 리뷰] The Finite Duals of Affine Prime Regular Hopf Algebras of GK-Dimension One

Kangqiao Li, Gongxiang Liu|arXiv (Cornell University)|2021. 02. 28.

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

한 줄 요약

이 논문은 Gelfand-Kirillov 차원 1인 모든 애파인 소정칙 호프 대수 $H$에 대해, 그 유한 쌍대 $H^\circ$를 명시적으로 계산하고 적절한 호프 부분대수 $H^\bullet \subseteq H^\circ$를 선택하여 비퇴화적, 애파인, 노에터인 호프 쌍대 $\langle -, - \rangle: H^\bullet \otimes H \to \mathbbm{k}$를 구성한다. 주요 기여는 이러한 쌍대의 완전한 분류로, $H^\bullet$가 정칙임과 동시에 $H$가 무한 대칭군 대수 $\mathbbm{k}\mathbb{D}_\infty$일 때에만 성립하며, 나머지 경우는 비정칙 $H^\bullet$를 초래함으로써 무한 차원에서 정칙성과 반단순성 사이의 쌍대성 실패를 보여준다.

ABSTRACT

This paper is an attempt to construct a special kind of Hopf pairing $\langle-,- angle:H^\bullet\otimes H ightarrow\Bbbk$. Specifically, $H^\bullet$ and $H$ should be both affine, noetherian and of the same GK-dimension. In addition, some properties of them would be dual to each other. We test the ideas in two steps for all the affine prime regular Hopf algebras $H$ of GK-dimension one: 1) We compute the finite duals $H^\circ$ of them, which are given by generators and relations; 2) the Hopf pairings desired are determined by choosing certain Hopf subalgebras $H^\bullet$ of $H^\circ$, where $\langle-,- angle$ becomes the evaluation.

연구 동기 및 목표

• GK-차원 1인 애파인 소정칙 호프 대수 $H$에 대해, 유한성 및 대칭 조건을 만족하는 비퇴화적 호프 쌍대 $H^\bullet \otimes H \to \mathbbm{k}$를 구성하는 것.
• 각 $H$에 대해 유한 쌍대 $H^\circ$를 생성자와 관계식으로 명시적으로 계산하는 것.
• 쌍대가 비퇴화적이며 $H^\bullet$와 $H$가 모두 애파인, 노에터이자 동일한 GK-차원을 가지는 최소의 유일한 호프 부분대수 $H^\bullet \subseteq H^\circ$를 식별하는 것.
• 정칙성의 쌍대성, 즉 $H^\bullet$의 정칙성이 $H$의 정칙성으로 이어지는지 여부를 조사하고, 그러한 쌍대가 존재하고 유일한지 확인하는 것.

제안 방법

• 유한 쌍대 $H^\circ$를 유한 족차원 이상의 이상에서 사라지는 함수형으로 정의하는 바탕으로, Gelfand-Kirillov 차원 1인 애파인 소정칙 호프 대수 $H$의 유한 쌍대를 명시적으로 계산한다.
• 모든 이러한 $H$가 가환-유한이므로 표현론적 및 조합론적 기법을 활용하여 $H^\circ$를 기술할 수 있음을 이용한다.
• 구조적 특성에서 유도된 관계식을 갖는 특정 원소들(예: $\psi_{1,\gamma}, E_1, E_2$)에 의해 생성되는 호프 부분대수로 $H^\bullet$를 식별한다.
• Poincaré-Birkhoff-Witt 정리를 사용하여 모듈러 구조와 프로젝티브 차원을 분석하여 $H^\bullet$의 정칙성을 평가한다.
• 전반적 차원 기준을 적용: $H^\bullet$가 정칙이라면 $\mathrm{prdim}_{\mathbbm{k}\langle E_1\rangle}(\mathbbm{k}) < \infty$여야 하는데, 이는 $\mathbbm{k}\langle E_1\rangle$가 비체이자 국소 대수일 경우 실패한다.
• 생성자에서의 평가를 통해 쌍대 $\langle -, - \rangle$의 비퇴화성을 검증하고, Takeuchi의 양자군 프레임워크인 삼중체 $(A, U, \langle -, - \rangle)$를 활용한다.

실험 결과

연구 질문

• RQ1 애파인 소정칙 호프 대수 $H$의 GK-차원이 1일 때, $H^\bullet$가 애파인, 노에터이며 $H$와 동일한 GK-차원을 가지며 비퇴화적인 최소의 호프 쌍대 $H^\bullet \otimes H \to \mathbbm{k}$가 존재하는가?
• RQ2 이러한 $H$의 유한 쌍대 $H^\circ$는 생성자와 관계식으로 계산 가능한가?
• RQ3 제시된 조건 하에서 쌍대를 이루는 호프 부분대수 $H^\bullet \subseteq H^\circ$는 유일한가?
• RQ4 정칙성의 쌍대성은 $H^\bullet$의 정칙성이 $H$의 정칙성으로 이어지는가? 그 반대도 마찬가지인가?
• RQ5 유한 차원에서 정칙성과 반단순성 사이의 쌍대성 실패가 무한 차원 호프 대수에서 이러한 쌍대를 통해 관찰될 수 있는가?

주요 결과

• 무한 대칭군 대수 $\mathbbm{k}\mathbb{D}_\infty$의 유한 쌍대는 다항식 대수 $\mathbbm{k}[\mathbb{Z}_2][E_2]$와 동형이며, $\mathbb{Z}_2$는 반단순이므로 $\operatorname{gldim}((\mathbbm{k}\mathbb{D}_\infty)^\bullet) = 1 < \infty$이므로 $H^\bullet$는 정칙이다.
• $B(n,\omega,\gamma)$ ($n \geq 2$)의 경우, $\mathrm{prdim}_{\mathbbm{k}\langle E_1\rangle}(\mathbbm{k}) = \infty$이므로 $\mathbbm{k}\langle E_1\rangle$가 비체이자 국소 대수이기 때문에 $B(n,\omega,\gamma)^\bullet$는 정칙이 아니다.
• $T_\infty(n,v,\xi)^\bullet$ 역시 정칙이 아니며, $n \geq 2$일 때 $B(n,\omega,\gamma)^\bullet$와 동형인 비정칙 부분대수를 포함하기 때문이다.
• $D(m,d,\xi)^\bullet$는 $m \geq 2$일 때 정칙이 아니며, $B(m,\omega,\gamma)^\bullet$를 직접 합성분으로 포함하고 있고, $\operatorname{gldim}(B(m,\omega,\gamma)^\bullet) = \infty$이기 때문이다.
• 구성된 호프 쌍대 $\langle -, - \rangle: H^\bullet \otimes H \to \mathbbm{k}$는 (HP1)–(HP4) 모든 조건을 충족하며, 비퇴화성, 유한성, 동일한 GK-차원이 포함된다.
• 단위를 포함하는 최소의 호프 부분대수 $H^\bullet \subseteq H^\circ$는 유일하며, 비퇴화적 쌍대를 이룬다. 이는 Proposition 6.4와 Remark 6.7에 의해 확인된다.