[논문 리뷰] Limits of Coalgebras, Bialgebras and Hopf Algebras

A. L. Agore|arXiv (Cornell University)|2010. 03. 01.

Advanced Topics in Algebra참고 문헌 4인용 수 5

한 줄 요약

이 논문은 코프리미티브 코알제브라 함자와 부분코알제브라 합을 사용하여 임의의 가족의 코알제브라, 비알제브라, 훔프 알제브라의 곱과 등치를 명시적으로 구성한다. 코알제브라, 비알제브라, 훕프 알제브라의 범주가 모든 소한 극한을 갖는다는 것을 보여, 이 범주들에서 임의의 곱과 등치의 존재 및 구성에 관해 문헌의 빈도를 메운다.

ABSTRACT

We give the explicit construction of the product of an arbitrary family of coalgebras, bialgebras and Hopf algebras: it turns out that the product of an arbitrary family of coalgebras (resp. bialgebras, Hopf algebras) is the sum of a family of coalgebras (resp. bialgebras, Hopf algebras). The equalizers of two morphisms of coalgebras (resp. bialgebras, Hopf algebras) are also described explicitly. As a consequence the categories of coalgebras, bialgebras and Hopf algebras are shown to be complete and a explicit description for limits in the above categories is given.

연구 동기 및 목표

• 논문의 문헌적 빈도를 메우기 위해 코알제브라, 비알제브라, 훕프 알제브라의 범주에서 임의의 곱과 등치를 명시적으로 구성하는 것.
• 모든 소한 극한이 존재함을 보여 코알제브라, 비알제브라, 훕프 알제브라의 범주가 완비임을 증명하는 것.
• 코프리미티브 코알제브라 함자와 호환 조건을 만족하는 부분코알제브라 합을 사용한 명시적 구성 제공.
• 각 범주에서의 곱의 보편성 성질을 활용해 코알제브라에서 비알제브라와 훕프 알제브라로의 구성 확장.
• 훔프 알제브라에서 비알제브라로의 망각 함자에서 곱을 유지하고, 극한에서 쌍대항등원 구조가 유지됨을 명확히 하는 것.

제안 방법

• 임의의 코알제브라 가족의 곱은 기저 벡터 공간의 곱 위의 코프리미티브 코알제브라 K(∏ᵢ Cᵢ)의 부분코알제브라 D로 구성된다.
• D는 모든 i ∈ I에 대해 πᵢ ∘ p ∘ j_E 가 코알제브라 준동형이 되는 모든 부분코알제브라 E ⊆ K(∏ᵢ Cᵢ)의 합으로 정의된다.
• 두 코알제브라 준동형 f, g: C → D의 등치는 C에 포함된 모든 부분코알제브라의 합으로 구성되며, {c ∈ C | f(c) = g(c)} 에 속한다.
• 비알제브라와 훕프 알제브라의 경우, 곱은 비알제브라 범주에서의 곱 위의 부분비알제브라(또는 부분훔프 알제브라)로 구성되며, 항등원은 보편 성질을 통해 유지된다.
• 이 구성은 k-CoAlg에서 k-Mod로의 망각 함자가 우변환(코프리미티브 코알제브라 함자)을 가진다는 사실에 기반한다. 이는 명시적 극한 구성이 가능하게 한다.
• 증명은 벡터 공간에서의 곱의 보편 성질과 코프리미티브 코알제브라를 통한 준동형의 끌어올림을 사용하여, 코승법과 코단위 구조와의 호환성을 확보한다.

실험 결과

연구 질문

• RQ1 체 k 위의 코알제브라 범주는 임의의 곱과 등치를 갖는가?
• RQ2 비알제브라 또는 훕프 알제브라의 임의의 가족의 곱을 명시적으로 구성할 수 있는가?
• RQ3 훔프 알제브라의 극한에서 항등원이 어떻게 유지되어야 하며, 이로 인해 극한이 다시 훕프 알제브라가 되는가?
• RQ4 코프리미티브 코알제브라 함자는 코알제브라 및 관련 구조의 극한 구성에서 어떤 역할을 하는가?
• RQ5 훔프 알제브라의 범주는 완비인가? 만약 그렇다면, 그 극한은 어떻게 특징지어지는가?

주요 결과

• 임의의 코알제브라 가족의 곱은 기저 벡터 공간의 곱 위의 코프리미티브 코알제브라의 부분코알제브라 D로 명시적으로 구성된다.
• 두 코알제브라 준동형 f, g: C → D의 등치는 {c ∈ C | f(c) = g(c)} 에 속하는 C의 모든 부분코알제브라의 합이다.
• 코알제브라의 범주는 모든 소한 극한을 갖는다는 점에서 완비이며, 이는 임의의 곱과 등치를 포함한다.
• 비알제브라의 임의의 가족의 곱은 비알제브라 범주에서의 곱 위의 부분비알제브라로 구성되며, 코승법과 승법이 유지된다.
• 훔프 알제브라의 임의의 가족의 곱은 비알제브라 범주에서의 곱 위의 부분훔프 알제브라로 구성되며, 항등원은 보편 성질을 통해 유지된다.
• 훔프 알제브라에서 비알제브라로의 망각 함자는 곱을 유지하며, 극한에서의 항등원이 잘 정의되고 보편 맵과 호환됨을 보여준다.