Affine 군 스킴의 반아벨리안성

본 논문은 “Affine 군 스킴의 반아벨리안성”이라는 주제로, 필드 k 위의 가환 Hopf 대수 범주 Hopf\_com k 가 co‑semi‑abelian 임을 증명하고, 그 반대 범주인 affine k‑군 스킴이 semi‑abelian 카테고리임을 보인다. 1. **서론**에서는 기존에 co‑commutative Hopf 대수 범주가 semi‑abelian 임이 알려져 있음을 상기하고, 그 대조적인 질문으로 “가환 Hopf 대수 범주는 어떤 카테고리적 성질을 갖는가?”를 제기한다. Takeuchi 의 단사 사상이 faithfully‑flat 라는 결과와 정상 Hopf 아이디얼‑부분대수 대응을 활용해 dual 문제에 접근한다. 2. **예비 지식** 섹션에서는 semi‑abelian 카테고리의 정의(점성, protomodular, exact, binary coproducts)와 co‑semi‑abelian 의 개념을 정리한다. Lemma 2.2 를 통해 exactness 를 “regular epis 가 kernels 를 보존” 혹은 “내부 관계가 kernel pair 로 표현”되는 조건과 동등함을 제시한다. 3. **가환 Hopf 대수의 기본 성질**에서는 Mon\_com A (가환 모노이드) 와 Hopf\_com A (가환 Hopf 대수) 를 내부 cogroup 객체로 정의하고, Hopf\_com A 가 locally presentable, pointed, protomodular 임을 Proposition 3.1 로 증명한다. 이는 Mon\_com A 가 locally presentable 이고, 코알제브라 구조가 보존되는 점을 이용한다. 4. **Coregularity** (Theorem 3.4)에서는 두 단계로 증명을 전개한다. 첫 단계는 Mon\_com k 에서의 surjection‑injection 직교 분해계(E,M)를 Hopf\_com k 로 끌어올리는 과정이다. 여기서는 텐서곱이 왼쪽 정확하고 M 클래스가 텐서와 닫혀 있다는 점을 이용한다(위키스만 2022, Proposition 3.7). 두 번째 단계는 Takeuchi 의 “단사 사상은 faithfully‑flat” 정리를 적용해 M 클래스가 푸시아웃에 대해 안정적인 extremal monomorphism 임을 보인다. 따라서 Hopf\_com k 가 coregular, 즉 epimorphism 은 surjection, extremal monomorphism 은 faithfully‑flat injection 으로 구분된다. 5. **Co‑exactness** (Theorem 3.7)에서는 정상 Hopf 아이디얼의 세 가지 동등조건을 Theorem 3.6 으로 제시한다. (1) 정상 아이디얼, (2) 부분 Hopf 대수의 augmentation 아이디얼, (3) Sweedler 표기법을 이용한 코액션 조건. 이를 통해 regular epimorphism 의 이미지가 정상 서브오브젝트가 됨을 보이고, Lemma 2.2 와 결합해 Hopf\_com k 가 co‑exact 임을 증명한다. 6. **결론** (Theorem 3.8)에서는 앞서 확보한 점성, locally presentable, coprotomodular, coregular, co‑exact 성질을 종합해 Hopf\_com k 가 co‑semi‑abelian 카테고리임을 선언한다. 부록에서는 대칭 모노이달 카테고리 A 가 초벡터 공간인 경우, 즉 commutative super Hopf k‑algebras (char k ≠ 2) 도 동일한 논리로 co‑semi‑abelian 임을 언급한다. 7. **향후 연구**에서는 비정규(commutative von Neumann regular) 베이스 위의 affine 군 스킴에 대해 semi‑abelian 성질을 지역‑전역 원리를 통해 확장할 계획을 제시한다. 전반적으로 논문은 카테고리 이론(특히 semi‑abelian, protomodular, exactness)와 Hopf 대수 이론을 유기적으로 결합하여, 가환 Hopf 대수와 affine 군 스킴 사이의 이중 구조를 명확히 밝힌다. 기존 문헌(Gran‑Sterck‑Vercruysse 2019, Janelidze‑Márki‑Tholen 2002, Takeuchi 1972 등)과의 연계성을 충분히 검토하면서, 새로운 직교 분해계와 정상 아이디얼의 특성을 통해 핵심 결과를 도출한다.