[논문 리뷰] On some properties of the category of cocommutative Hopf algebras

Christine Vespa, Marc Wambst|arXiv (Cornell University)|2015. 02. 13.

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

한 줄 요약

이 논문은 특성 0의 체 위의 코결합 호프 대수의 범주가 준아벨임을 증명하고, 그 아벨 코어가 교환 및 코결합 호프 대수의 범주임을 규명한다. 준아벨 범주 이론의 카테고리적 도구—특히 하르틀과 로이조의 공리계—를 사용하여, 이 코어가 가장 큰 아벨 부분범주임을 증명함으로써, 코결합 호프 대수의 전체 범주는 아벨이 아님을 확인한다.

ABSTRACT

By a recent work of Gran-Kadjo-Vercruysse, the category of cocommutative Hopf algebras over a field of characteristic zero is semi-abelian. In this paper, we explore some properties of this categoy, in particular we show that its abelian core is the category of commutative and cocommutative Hopf algebras.

연구 동기 및 목표

• 특성 0의 체 위의 코결합 호프 대수의 범주의 카테고리적 구조를 조사한다.
• 그리고 그 범주가 그레안, 카드조, 버크루이스의 최근 연구를 바탕으로 준아벨 범주의 공리계를 충족하는지 확인한다.
• 이 준아벨 범주의 아벨 코어, 즉 아벨인 최대의 전체 부분범주를 규명한다.
• 교환 및 코결합 호프 대수의 범주가 아벨 코어임을 보여줌으로써 전체 범주가 아벨이 아님을 증명한다.

제안 방법

• 하르틀와 로이조의 준아벨 범주의 공리적 특성화를 채택하여, 공리 A1–A4를 검증한다.
• 핵, 코어널, 유한한 극한과 쌍극한의 존재를 이용하여 유한한 완비성과 코완비성을 확보함으로써 A1을 증명한다.
• 분할 전성사에 대해 화살표 $<\kappa, s>: K \amalg Y \to X$ 가 코어널 성질을 갖는다는 것을 증명함 (A2), 뉴먼의 대응관계(서브호프 대수와 양측 이상이자 코이디얼인 이상 사이의 대응)에 기반한다.
• 코어널의 끌고오림이 코어널임을 검증함 (A3), 호프 대수 몫과 핵의 구조적 성질을 이용한다.
• 코어널의 핵의 상이 핵이 되는 것을 확인함 (A4), 그레안, 카드조, 버크루이스(2020)의 결과에 기반한다.
• 준아벨 범주에서 아벨 대상의 특성화를 이용하여, 아벨 코어가 정확히 교환 및 코결합 호프 대수의 대상들로 이루어져 있음을 증명한다.

실험 결과

연구 질문

• RQ1 특성 0의 체 위의 코결합 호프 대수의 범주는 준아벨인가?
• RQ2 특성 0의 코결합 호프 대수의 범주의 아벨 코어는 무엇인가?
• RQ3 아벨 코어가 아벨임에도 불구하고, 왜 코결합 호프 대수의 범주는 아벨이 아니며?
• RQ4 특히 대수와 코대수의 구조 간의 쌍대성에 기인한 호프 대수의 카테고리적 성질이 준아벨 범주에서의 행동에 어떻게 영향을 미치는가?
• RQ5 교환성과 코결합성은 준아벨 범주의 호프 대수의 아벨 코어를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 특성 0의 체 위의 코결합 호프 대수의 범주는 준아벨 범주의 모든 공리를 충족함을 확인하여, 그레안, 카드조, 버크루이스의 정리 0.1을 확인한다.
• 코결합 호프 대수의 범주의 아벨 코어는 정확히 교환 및 코결합 호프 대수의 범주이다.
• 이 결과는 아벨 코어가 진부분범주이므로 코결합 호프 대수의 전체 범주는 아벨이 아님을 시사한다.
• 교환 및 코결합 호프 대수의 범주가 아벨임을 보여주는 고전적 결과가 이론의 따름정리로 복원된다.
• 코어널 및 끌고오림 공리의 검증에 핵심적인 역할을 하는 뉴먼의 대응관계(서브호프 대수와 양측 이상이자 코이디얼인 이상 사이의 대응)가 필수적이다.
• 범주 내의 반직접곱 구조는 표준 호프 대수 이론과 핵의 함자에 대한 모나드 구조에 부합하는 $K \# Y$ 로 표현된다.