교차곱의 순환동형학 간소화와 스펙트럴 시퀀스

논문은 크게 세 부분으로 전개된다. 제1장에서는 기본 개념과 기법을 정리한다. 여기서는 k‑대수 A와 Hopf 대수 H의 약한 작용을 정의하고, 2‑코사이클 f 가 만족해야 할 정규성, 코사이클식, 뒤틀린 모듈 조건을 제시한다. 이러한 데이터로부터 교차곱 E = A #₍f₎ H가 연관성을 갖는지 여부를 검증한다. 또한 K⊂A가 H‑안정인 경우를 고려해, E를 K‑대수로 보는 상대적 관점을 도입한다. 이어지는 섹션 1.1에서는 Υ‑프로젝트해인 (X\*, d\*)를 구성한다. 여기서 Y\*는 A‑대수 E의 정규화된 바 해상이며, X\*는 Y\*와 K⊂A 사이의 복합 구조를 결합한 형태이다. 사상 μ, σ, ∂ 등을 명시적으로 정의하고, 각 행과 열이 (E, K)‑양쪽으로 계약 가능한 복합임을 보인다. 특히, dₗ, r, s 사상은 재귀적으로 정의되며, d₁과 d₂는 교차곱의 약한 작용과 코사이클 f 에 의해 발생하는 교정 항을 포함한다. 이 과정에서 복잡한 부호와 합을 정리해, 전체 복합이 정확히 E‑바 해상의 동형동등을 제공함을 증명한다. 제2장에서는 혼합 복합 (bX, bd, bD)를 도입한다. 여기서 bd는 Hochschild 경계 연산, bD는 Connes 연산을 일반화한 형태이며, (bX, bd, bD)는 (E⊗E⊗\*, b, B)와 동형동등함을 보인다. 이를 위해 φ와 ψ라는 사상 쌍을 정의하고, ω라는 동형동등 호모토피를 구성한다. φ와 ψ는 각각 (X\*, d\*)와 정규화된 바 복합 사이의 사상이며, ω는 두 사상의 합성에 대한 호모토피를 제공한다. 이때 perturbation lemma를 활용해 작은 섭동 δ를 추가해도 동형동등이 유지됨을 확인한다. 특히, δ가 h와 국소적으로 nilpotent함을 이용해 (id − δh)⁻¹를 무한 급수 형태로 전개한다. 제3장에서는 주요 결과인 정리 3.2를 제시한다. 여기서는 f가 convolution‑invertible일 경우, (X, d, D)와 (bX, bd, bD)가 동형동등함을 증명한다. 이 정리는 (X, d, D)가 기존의 정규화된 혼합 복합보다 구조적으로 단순함을 의미한다. 또한 K‑상대 상황에서도 동일한 결과가 성립함을 보이며, K‑대수 E의 Hochschild, 순환, 부정, 주기 동형학을 (X, d, D)로 계산할 수 있음을 확인한다. f가 K‑값을 가질 때는 복합이 더욱 간소화되어, 이전 연구(