Hopf 순환동형론에서의 컵곱 구성 사이클 모듈 접근법 I

초록

본 논문은 Hopf 순환동형(co)코호몰로지에서 알gebra와 coalgebra의 Hopf 순환 코사이클을 이용해 새로운 사이클 코사이클을 구성하는 방법을 제시한다. (공)사이클 모듈과 이중(공)사이클 모듈을 활용하고, Eilenberg‑Zilber 정리를 적용함으로써 기존의 DG‑알gebra 기반 트레이스·코트레이스 정의와는 다른 접근을 제공한다.

상세 분석

이 연구는 Hopf 순환동형론(Hopf cyclic cohomology)에서 아직 충분히 정립되지 않은 컵곱 연산의 구조적 정의에 초점을 맞춘다. 기존 문헌에서는 DG‑알gebra(또는 DG‑coalgebra) 위에 정의된 트레이스와 코트레이스를 이용해 컵곱을 구성했으며, 이는 복잡한 차등 구조와 연산자들의 상호작용을 직접 다루어야 하는 단점이 있었다. 저자들은 이러한 한계를 극복하기 위해 (공)사이클 모듈과 이중(공)사이클 모듈(bi‑(co)cyclic modules)의 체계적인 조합을 도입한다.

핵심 아이디어는 다음과 같다. 먼저 Hopf 알gebra H와 H‑모듈‑알gebra A, H‑코모듈‑코알gebra C에 대해 각각 Hopf 순환 코사이클 φ∈HCⁿ_H(A)와 ψ∈HC^m_H(C)를 선택한다. (공)사이클 모듈 구조를 이용해 A와 C에 대한 표준 사이클 복합체를 만든 뒤, φ와 ψ를 각각 해당 복합체의 코사이클로 끼워 넣는다. 여기서 중요한 단계는 φ와 ψ가 정의된 복합체를 텐서곱하여 이중(공)사이클 복합체를 형성하고, Eilenberg‑Zilber 정리를 적용해 텐서곱 복합체와 단일 복합체 사이의 동형 사상을 얻는 것이다. 이 사상을 통해 φ와 ψ의 텐서곱을 하나의 단일 사이클 코사이클로 ‘압축’할 수 있다.

저자들은 이 과정을 정밀히 기술하고, 특히 얼굴(face)와 경계(degeneracy) 연산자들의 교환 관계가 Eilenberg‑Zilber 사상에 의해 보존됨을 증명한다. 결과적으로 얻어지는 코사이클은 차수 n+m+1을 갖는 새로운 Hopf 순환 코사이클이며, 이는 기존 정의와 동형이지만 (co)사이클 모듈 관점에서 보다 구조적으로 명확하다. 또한, 이 방법은 알gebra와 coalgebra 사이의 대칭성을 자연스럽게 반영하므로, 향후 ‘equivariant’ Hopf 순환 코사이클을 다루는 두 번째 논문에서 확장될 기반을 제공한다.

이 접근법의 장점은 다음과 같다. 첫째, (co)사이클 모듈의 범주론적 성질을 활용함으로써 복잡한 DG‑구조를 회피하고, 보다 직관적인 텐서곱과 사상으로 연산을 정의한다. 둘째, Eilenberg‑Zilber 정리의 전통적인 사용을 Hopf 순환동형론에 성공적으로 적용함으로써, 기존 결과와의 비교 및 일반화가 용이해진다. 셋째, 이론적 토대가 명확히 제시되므로, 구체적인 계산 예시(예: 그룹 Hopf 대수, 양자군 등)에서도 손쉽게 적용 가능하다.