2025-11-10T02:37:58.478790

Smoothness of commutative Hopf algebras

Egami, Masuoka, Suzuki

Hopf algebras, most generally in a semisimple abelian symmetric monoidal category, are here supposed to be commutative but not to be of finite-type, and their (equivariant) smoothness are discussed. Given a Hopf algebra $H$ in a category such as above, it is proved that the following are equivalent: (i) $H$ is smooth as an algebra; (ii) $H$ is smooth as an $H$-comodule algebra; (iii) the product morphism $S_H^2(H^+) \to H^+$ defined on the 2nd symmetric power is monic. Working over a field $k$ of characteristic zero, we prove: (1) every ordinary Hopf algebra, i.e., such in the category $\mathsf{Vec}$ of vector spaces, satisfies the equivalent conditions (i)--(iii) and some others; (2) every Hopf algebra in the category $\mathsf{sVec}$ of super-vector spaces has a certain property that is stronger than (i). In the case where $\operatorname{char}k=p>0$, there are shown weaker properties of ordinary Hopf algebras and of Hopf algebras in $\mathsf{sVec}$ or in the ind-completion $\mathsf{Ver}_p^{\mathrm{ind}}$ of the Verlinde category.

academic

교환 Hopf 대수의 매끄러움

기본 정보

논문 ID: 2412.19038
제목: 교환 Hopf 대수의 매끄러움
저자: Kensuke Egami, Akira Masuoka, Kenta Suzuki
분류: math.RA (환과 대수), math.AG (대수기하)
발표 시간: 2024년 12월 30일 (arXiv 사전인쇄본)
논문 링크: https://arxiv.org/abs/2412.19038

초록

본 논문은 반단순 아벨 대칭 단위 반환 범주에서 교환 Hopf 대수의 매끄러움 성질을 연구한다. 저자들은 이러한 범주의 Hopf 대수 $H$ 에 대해 다음 조건들이 동치임을 증명했다: (i) $H$ 가 대수로서 매끄러움; (ii) $H$ 가 $H$ -여모듈 대수로서 매끄러움; (iii) 제2 대칭 거듭제곱에서 정의된 곱 사상 $S_H^2(H^+) \to H^+$ 이 단사인 경우. 특성 0인 체 위에서 저자들은 모든 보통의 Hopf 대수가 이러한 동치 조건들을 만족함을 증명했으며, 초벡터공간 범주의 모든 Hopf 대수는 (i)보다 더 강한 성질을 갖는다. 양의 특성의 경우, 저자들은 보통의 Hopf 대수 및 초벡터공간 범주나 Verlinde 범주의 ind-완성에서의 Hopf 대수의 더 약한 성질을 제시했다.

연구 배경 및 동기

문제 배경

본 논문의 핵심 연구 문제는 교환 Hopf 대수의 매끄러움이며, 이는 대수기하와 Hopf 대수 이론에서 중요한 개념이다. 전통적으로 매끄러움의 연구는 주로 유한형 대수에 집중되어 있었지만, 본 논문은 더 일반적인 경우로 확장한다.

연구 동기

이론적 완전성: 현존하는 Hopf 대수 매끄러움에 관한 이론은 주로 유한형 경우를 다루며, 비유한형 경우에 대한 체계적 연구가 부족함
범주 일반화: 매끄러움 개념을 보통의 벡터공간 범주에서 더 일반적인 반단순 아벨 대칭 단위 반환 범주로 확장할 필요성
동변 매끄러움: 대수적 매끄러움과 동변 매끄러움 사이의 관계 탐구
특성 의존성: 서로 다른 특성의 체 위에서 Hopf 대수 매끄러움의 차이 연구

기존 방법의 한계

전통적 방법은 주로 유한형 Hopf 대수에 적용 가능
서로 다른 범주의 매끄러움을 다루는 통일된 틀 부재
양의 특성 경우의 성질에 대한 이해 부족

핵심 기여

동치성 정리: 일반 범주에서 Hopf 대수의 대수적 매끄러움, 동변 매끄러움, 대칭 거듭제곱 단사성의 동치 관계 증명
특성 0 완전 분류: 특성 0인 체 위의 모든 보통의 Hopf 대수가 매끄러움을 증명
초대수 강화 성질: 초벡터공간 범주의 Hopf 대수가 보통의 매끄러움보다 더 강한 성질을 가짐을 증명
양의 특성 특성화: 양의 특성 경우 매끄러움 조건의 완전한 동치 특성화 제공
계산 방법: 대칭 2차 Hochschild 코호몰로지 계산의 구체적 방법 제공

방법론 상세 설명

작업 정의

반단순 아벨 대칭 단위 반환 범주 $\mathcal{C}$ 에서 교환 Hopf 대수 $H$ 의 매끄러움을 연구한다. 여기서 매끄러움은 다음과 같이 정의된다: 주어진 대수 $R$ 과 멱영 이상 $I$ 에 대해, 모든 대수 사상 $H \to R/I$ 는 어떤 대수 사상 $H \to R$ 으로 들어올려질 수 있다.