바이알제브라와 공사이클 동학의 새로운 접근

초록

이 논문은 (공)모나드 Tₗ, Tᵣ와 분배법칙을 이용해 범주 M에서 객체 X와 함자 Π를 통해 얻어지는 단순복합체 Z⁎가 파라(공)사이클 구조를 갖는 충분조건을 제시한다. 특히 R-바이알제브라 위의 (공)코링 T가 만든 두 (공)모나드 Tₗ=T⊗ᴿ–, Tᵣ=–⊗ᴿT 사이의 분배법칙을 활용하고, 플립 변환 i와 전이 사상 w를 통해 사이클 구조를 구축한다. 이를 통해 x_R‑Hopf 대수와 그 안정적 반예터‑드리날드 모듈을 이용한 사이클 객체의 순환화, 그리고 군집합의 호몰로지 계산을 일반화한다.

상세 분석

논문은 먼저 범주 M에 (공)모나드 Tₗ가 주어지고, 객체 X∈M, 그리고 함자 Π:M→C가 있을 때 Zⁿ:=Π Tₗ^{n+1} X 로 정의되는 (공)단순복합체를 고려한다. 파라(공)사이클 구조를 얻기 위해서는 두 번째 (공)모나드 Tᵣ와 Tₗ 사이의 분배법칙 λ:Tₗ Tᵣ⇒Tᵣ Tₗ, 그리고 자연변환 i:Π Tₗ⇒Π Tᵣ, 사상 w:Tᵣ X⇒Tₗ X 가 필요하다. 이들 사이의 관계는 Kaygun이 제시한 전이 사상(transposition map)의 범주적 버전이며, 구체적으로는

1. i와 λ가 서로 교환되는 사각형,
2. w가 λ와 i에 의해 정의된 코시클 연산과 호환되는 삼각형,
3. w가 Tᵣ‑와 Tₗ‑모나드 구조와 일치하도록 하는 연산적 정체성
   을 만족해야 한다. 이러한 조건이 충족되면 Z⁎는 파라‑코사이클(또는 파라‑사이클) 객체가 되며, 추가적인 정규화 조건을 부여하면 진정한 사이클 객체로 강제할 수 있다.

핵심적인 적용 사례는 R‑바이알제브라 위의 (공)코링 T이다. T는 R‑양쪽 모듈 구조를 가지고 있어 두 모나드 Tₗ=T⊗ᴿ–와 Tᵣ=–⊗ᴿT를 정의한다. 여기서 λ는 텐서곱의 결합법칙을 이용해 자연스럽게 주어지며, i는 단순히 플립(전치) 변환 i(t⊗x)=x⊗t 로 정의된다. w는 T가 B‑(코)모듈 알제브라이거나 B‑코링일 때, B‑(코)액션을 이용해 X⊗ᴿT → T⊗ᴿX 로 구성된다. 특히 B가 x_R‑Hopf 대수(즉, 양쪽 R‑모듈 구조와 적절한 antipode를 가진 바이알제브라)일 경우, 안정적 반예터‑드리날드(B‑)모듈 X를 선택하면 w가 위의 모든 공리들을 만족한다.

이때 Z⁎는 구체적으로
Zⁿ = T ⊗̂_R … ⊗̂_R T ⊗̂_R X (n+1개의 T)
와 동형이며, 이는 전통적인 사이클 R‑모듈 텐서곱을 일반화한 형태이다. w와 i를 이용해 정의된 사이클 연산은 전형적인 얼굴·코페이스·사이클 사상과 일치하고, 파라‑사이클 구조는 B‑모듈 동형을 통해 실제 사이클 구조로 사상된다.

또 다른 중요한 결과는 B‑Galois 확장 S→T에 대해 안정적 반예터‑드리날드 B‑모듈 T_S를 구성하고,
B^{⊗_R *+1} ⊗_B T_S ≅ T^{⊗̂_S *+1}
라는 동형을 얻는 것이다. 이는 B‑코링과 그 Galois 확장 사이의 호몰로지 이론을 직접 연결한다. 마지막으로 군집합(그룹오이드) 사례를 다루어, 그룹오이드의 호몰로지를 그룹 경우로 환원함으로써 일반적인 Hochschild 및 cyclic homology 를 명시적인 식으로 계산한다. 이 과정에서 기존의 그룹 호몰로지 공식이 군집합의 객체와 사상에 어떻게 확장되는지를 명확히 보여준다.

전체적으로 논문은 (공)모나드와 분배법칙이라는 범주론적 도구를 활용해 바이알제브라와 그 모듈/코링 구조 위에 사이클(동)동류학을 체계적으로 구축하는 새로운 프레임워크를 제공한다. 이는 기존의 Hopf‑algebra 기반 사이클 이론을 바이알제브라까지 일반화하고, Galois 확장과 그룹오이드와 같은 복합 구조에 대한 호몰로지 계산을 가능하게 한다는 점에서 이론적·계산적 의미가 크다.