모노이달 호프 대수와 동형 구조

초록

본 논문은 Hom-대수, Hom-코알제브라, Hom-호프 대수를 기존의 모노이달 범주 이론 안에서 재구성한다. 저자들은 Hom-대수를 특정한 대칭 모노이달 범주의 알제브라로 동등시킴으로써, 기존 연구에서 별도로 다루어졌던 구조들을 범주론적 관점에서 통합한다. 또한, 이 범주를 이용해 Hom-코알제브라와 Hom-호프 대수의 정의와 기본 성질을 자연스럽게 유도하고, Lie 대수에 대한 Hom-구조도 동일한 틀 안에서 기술한다.

상세 분석

논문은 먼저 Hom-구조의 핵심인 ‘왜곡 사상(α)’을 명시적으로 범주론적 객체로 승격한다. 이를 위해 저자들은 Hom-대수를 (A,μ,α) 형태의 삼중쌍으로 정의하고, α가 알제브라 구조와 호환되는 조건 μ∘(α⊗α)=α∘μ을 도입한다. 이러한 조건은 전통적인 대수의 결합법칙을 α에 의해 ‘뒤틀린’ 형태로 변형한다는 의미이며, 이는 Hom-대수의 기본적인 특징이다.

다음 단계에서는 이러한 삼중쌍을 객체로, 그리고 α에 대한 자연 변환을 사상으로 하는 새로운 범주 𝓗를 구성한다. 𝓗는 두 객체 (A,α)와 (B,β) 사이의 사상을 f:A→B라 할 때, f∘α=β∘f를 만족하는 α-선형 사상으로 정의한다. 이때 텐서곱 ⊗̂는 기존 텐서곱에 α와 β의 작용을 동시에 적용하는 방식으로 정의되며, 단위 객체는 (k, id_k)이다. 저자들은 이 ⊗̂와 단위 객체가 대칭 모노이달 구조를 만족함을 보이고, 특히 교환법칙이 (c_{A,B}:A⊗̂B→B⊗̂A) 형태의 자연동형사상으로 구현된다는 점을 강조한다.

이러한 모노이달 구조 위에서 알제브라 객체는 정확히 Hom-알제브라와 일치한다. 즉, (A,μ,α)라는 객체가 𝓗에서 알제브라 구조를 갖는다는 것은 μ:A⊗̂A→A가 α-선형이며 결합법칙 μ∘(μ⊗̂id)=μ∘(id⊗̂μ)∘a (a는 결합자연동형) 를 만족한다는 의미다. 이와 유사하게 코알제브라 객체는 코곱연산 Δ:A→A⊗̂A와 counit ε:A→k가 α-선형이며 공동결합법칙을 만족하는 구조로 정의된다.

핵심적인 결과는 Hom-호프 대수가 𝓗에서 바이알제브라 객체이자 앱터리어(antipode) S를 갖는 경우와 동등함을 증명한 것이다. 저자들은 S가 α-선형이며, μ∘(id⊗̂S)∘Δ=η∘ε=μ∘(S⊗̂id)∘Δ라는 항등식을 만족함을 보인다. 이때 η는 단위 사상이다. 이러한 정의는 기존 Hom-호프 대수의 정의와 완전히 일치하지만, 범주론적 관점에서 보면 항등식들이 모노이달 구조의 자연성에 의해 자동으로 보존된다는 장점이 있다.

또한, Hom-리 대수에 대해서도 동일한 틀을 적용한다. Lie bracket