Hopf 대수의 에피모르피즘과 모노모르피즘에 대한 새로운 사례 연구

초록

본 논문은 필드 위의 Hopf 대수 범주에서 에피모르피즘이 반드시 전사적이지 않으며, 모노모르피즘도 반드시 단사적이지 않다는 사실을 구체적인 예를 들어 증명한다. 특히, 항등역전자를 전단사로 만드는 보편적인 사상인 “항등역전자를 전단사화한 포락 대수”로의 사상이 에피모르피즘이지만 일반적으로 전사적이지 않음을 보이고, 그 듀얼을 통해 모노모르피즘이 비단사인 경우를 제시한다. 또한 이러한 사상들은 신뢰성 있게 평탄하거나 공평하게 코플랫하지 않다는 부가적인 결론도 얻는다.

상세 분석

논문은 먼저 Hopf 대수의 사상에 대한 범주론적 정의를 상기한다. 에피모르피즘은 “우측 합성으로 구분되는 사상”이며, 모노모르피즘은 “좌측 합성으로 구분되는 사상”으로 정의된다. 일반적인 대수 구조에서는 에피가 전사, 모노가 단사라는 직관이 성립하지만, Hopf 대수에서는 항등역전자(antipode)의 존재와 그 성질이 사상의 전사·단사 여부에 복잡한 영향을 미친다.

핵심 예시는 임의의 Hopf 대수 H에 대해, H의 항등역전자를 전단사(bijective)로 만드는 보편적인 사상 ι:H→Ĥ를 고려한다. 여기서 Ĥ는 “전단사 항등역전자를 갖는 포락 Hopf 대수(enveloping Hopf algebra with bijective antipode)”이다. 저자는 ι가 범주 Halg(필드 위의 Hopf 대수)의 에피모르피즘임을 보이기 위해, 임의의 두 사상 f,g:Ĥ→L에 대해 f∘ι=g∘ι이면 f=g임을 증명한다. 이는 ι가 코인듀얼(dual) 구조를 보존하면서도 원소 수준에서는 일반적으로 전사적이지 않다는 점을 강조한다. 실제로, ι의 이미지가 Ĥ 전체를 차지하지 않는 경우가 존재함을 구체적인 예(예: 양자군 U_q(sl₂)와 그 전단사화)로 제시한다.

듀얼 측면에서는 Ĥ의 전단사 항등역전자를 갖는 코포함 사상 π:K→K̂을 고려한다. 여기서 K̂는 K의 전단사 항등역전자를 강제하는 코포함 구조이며, π는 모노모르피즘이지만 일반적으로 단사적이지 않다. 저자는 π가 모노임을 보이기 위해, 두 사상 α,β:L→K에 대해 π∘α=π∘β이면 α=β임을 확인한다. 이는 코포함이 코알제브라 구조를 보존하면서도 원소 수준에서는 핵심이 축소될 수 있음을 보여준다.

또한, 이러한 비전사·비단사 에피·모노 사상들은 평탄성(flatness)과 코플랫성(coflatness)과도 연관된다. 저자는 ι가 신뢰성 있게 평탄하지 않음(즉, Ĥ를 H-모듈로서 신뢰성 있게 평탄하지 않음)을, π가 코플랫하지 않음을 각각 예시와 함께 증명한다. 이는 Hopf 대수의 가환성 부재가 모듈 이론적 성질에 미치는 영향을 명확히 드러낸다.

결과적으로, 논문은 Hopf 대수 범주에서 에피모르피즘과 모노모르피즘이 전사·단사와 동치되지 않으며, 이는 항등역전자의 전단사화 과정에서 자연스럽게 발생한다는 중요한 교훈을 제공한다. 이는 기존 문헌에서 “모든 에피는 전사이다”라는 가정을 깨뜨리며, Hopf 대수 이론에서 새로운 구조적 현상을 탐구할 필요성을 강조한다.