심플리시얼 호치코흐 체인과 아미추르 복합체의 동형성

이 논문은 깊이 2(Depth‑two) 확장 A | B에 대한 상대 호치코흐 A‑값 코체인 복합체와 중앙화 R = Aᴮ 위에 정의된 코링 S = End\_B A\_B 사이의 구조적 동등성을 탐구한다. 서론에서는 상대 호치코흐 공동동형이 기존에 Gerstenhaber‑Schack이 제시한 단순 복합체와 연결된 배경을 제시하고, 깊이 2 확장이 이론적 기반을 제공함을 언급한다. 2절에서는 깊이 2 확장의 정의와 주요 예시(유한 차원 대수, H‑분리 확장, Hopf‑Galois 확장)를 제시한다. 여기서 핵심은 A와 B 사이의 텐서곱 A⊗\_B A와 A가 서로 유사(similar)하다는 조건이며, 이는 S가 R‑바이알레보이드이자 R‑코링으로 작용하게 만든다. S의 (R,R)‑바이모듈 구조는 λ와 ρ를 통해 좌·우 작용을 정의하고, S가 프로젝트ive 제네레이터임을 Lemma 2.2 로 보인다. 3절에서는 코링 C에 군형 원소 g가 존재할 때 정의되는 아미추르 복합체 Ω(C)를 소개한다. 차등 d는 전통적인 아미추르 차등과 동일하게 정의되며, 특히 d₀(r)=r g−g r, d₁(c)=g⊗c−Δ(c)+c⊗g 와 같은 식이 코링의 구조와 직접 연결된다. 본 논문에서는 C를 S로 두고, g=1\_S 로 설정함으로써 Ω(S)의 구체적 형태를 제시한다. 4절에서는 상대 호치코흐 A‑값 코체인 복합체 C\*(A,B;A)를 정의한다. C⁰=R, Cⁿ=Hom\_{B‑B}(A⊗\_B …⊗\_B A, A) 로 구성되며, 차등 δ는 표준 호치코흐 차등(식 4)이다. 또한, cup product ∪는 (f∪g)(a₁⊗…⊗a\_{m+n})=f(a₁⊗…⊗a\_m) g(a\_{m+1}⊗…⊗a\_{m+n}) 로 정의되어 차등과의 연산법칙을 만족한다. 주요 정리인 Theorem 4.1은 깊이 2 확장일 때 C\*(A,B;A)와 Ω(S) 사이에 차등 그레이드 대수 동형이 존재함을 증명한다. 사상 f₀=id\_R, f₁=id\_S, fₙ(α₁⊗…⊗αₙ)=α₁∪…∪αₙ 로 정의하고, 기존 문헌