대수적 (공)동형 이론에서의 순환 구조

초록

이 논문은 왼쪽 Hopf 알제브라(×ₐ‑Hopf algebra)의 순환 코호몰로지를, 오른쪽 모듈‑왼쪽 코모듈 계수를 이용해 Connes‑Moscovici의 연산을 직접 일반화함으로써 정의한다. Lie‑Rinehart 동형은 특수 경우이며, 임의의 para‑cyclic 객체에 대한 순환 이중성을 확장해 새로운 동형 이론을 만든다. 특히 연관 대수의 뒤틀린 순환 호몰로지는 안정적인 anti‑Yetter‑Drinfel’d 모듈이 아니어도 적용 가능한 사례로 제시된다.

상세 분석

본 연구는 기존의 Hopf 대수에 대한 Connes‑Moscovici 순환 코호몰로지 이론을, 보다 일반적인 구조인 왼쪽 Hopf algebroid(×ₐ‑Hopf algebra)로 확장한다. 핵심은 오른쪽 모듈이면서 동시에 왼쪽 코모듈인 복합 계수를 도입함으로써, 기존의 stable anti‑Yetter‑Drinfel’d(SAYD) 모듈 조건을 완화한다는 점이다. 이러한 계수는 연산자 b, B, τ 등을 정의하는 데 충분히 강력하며, 특히 τ의 순환성(τⁿ⁺¹=Id)과 B의 경계성(B²=0)을 보존한다.

논문은 먼저 Hopf algebroid의 기본 구조—베이스 알제브라 A, 소스·타겟 사상, 코프로덕트·코유닛·안티포드—를 정리하고, 이를 통해 para‑cyclic 객체를 구성한다. para‑cyclic은 전통적인 cyclic 객체와 달리 τ의 순환성이 보장되지 않지만, 여기서는 τⁿ⁺¹가 A‑선형 동형사상임을 증명함으로써 충분히 다루어진다.

다음으로 저자는 “cyclic duality”를 일반화한다. 기존의 cyclic duality는 cyclic 객체와 cocyclic 객체 사이의 전이(dual) 관계를 이용하지만, para‑cyclic 상황에서는 τ의 비순환성이 장애가 된다. 이를 극복하기 위해 duality functor를 para‑cyclic 범주 전체에 확대하고, 이때 얻어지는 dual homology는 원래의 cohomology와 차별화된 구조적 정보를 제공한다.

특히 Lie‑Rinehart 대수(Lie‑Rinehart algebra)의 동형 이론이 이 틀 안에서 자연스럽게 재현된다. Lie‑Rinehart 동형은 A‑모듈이면서 동시에 리 대수 구조를 가지며, 그 동형 복합체는 Hopf algebroid의 코모듈 구조와 일치한다. 따라서 Lie‑Rinehart 동형은 본 논문의 일반 이론의 특수 사례로, 기존 결과와 완전히 일치함을 확인한다.

마지막으로 저자는 연관 대수 A에 대한 “twisted cyclic homology”를 예시로 든다. 여기서 계수는 A‑양측 모듈이면서, 자동동형 φ에 의해 뒤틀린 구조를 가진다. 이 경우 SAYD 조건을 만족하지 않음에도 불구하고, 앞서 정의한 연산자들이 모두 성립하여 새로운 동형 이론을 구축한다. 이는 기존의 twisted cyclic homology가 SAYD 모듈에 의존한다는 제한을 넘어서는 중요한 확장이다.

전체적으로 논문은 Hopf algebroid와 para‑cyclic 구조를 연결함으로써, 기존 Hopf 대수 이론의 적용 범위를 크게 넓히고, 새로운 계수 체계와 duality 개념을 제시한다는 점에서 이론적 의의가 크다.