게으른 동류와 호프 대수의 새로운 동형론

초록

본 논문은 임의의 호프 대수 H에 대해 두 개의 가환 호프 대수 Hℓ¹(H), Hℓ²(H)를 정의하고, 이를 “게으른 동류”(lazy cohomology)와 연결하는 보편 계수 정리를 증명한다. 코코무터티브 경우에는 기존 스위들러 동류와 일치하고, 군 대수와 코세미심플렉스 대수에 대한 구체적 계산을 제시한다.

상세 분석

논문은 먼저 기존의 게으른 1‑코사이클과 2‑코사이클(즉, 곱과 교환하는 코사이클) 개념을 일반화하여, 이들의 “전대(predual)”에 해당하는 텐서 관계를 정의한다. 이를 위해 코알제브라 C에 대해 자유 가환 호프 대수 F(C)를 도입하고, F(Γ⁎(H))라는 단순 복합체를 구성한다. 코코무터티브 H에 대해서는 이 복합체가 아벨 군을 이루는 범주에서 사슬 복합을 만들 수 있게 하여, 전통적인 스위들러 동류 Hₛʷⁿ(H)와 동형인 Hℓⁿ(H) (n=1,2)를 얻는다.

핵심 정리는 두 가지 보편 계수 정리이다. 첫 번째는
 Alg(Hℓ¹(H), R) ≅ Hℓ¹(H,R)
이라는 동형을 보이며, 여기서 R은 임의의 가환 대수이다. 즉, Hℓ¹(H)는 게으른 1‑코사이클들의 “대표” 역할을 한다. 두 번째는
 1 → Ext¹(H,R) → Hℓ²(H,R) → Alg(Hℓ²(H), R) → 1
이라는 정확한 시퀀스를 제공한다. Ext¹(H,R)은 호프 대수의 일반화된 확장군이며, R=k(대체가 대수적으로 폐쇄된 경우)일 때는 κ가 동형이 되어 Hℓ²(H)와 Alg(Hℓ²(H),k) 사이에 직접적인 일대일 대응이 성립한다.

특히, H가 군 대수 k