미분 연산자 링의 코호몰로지 구조와 곱연산

본 논문은 미분 연산자 링(E)의 Hochschild 공동동학과 동동학에 대한 곱연산을 체계적으로 연구한다. 먼저, 기본 설정으로 k-필드 위의 연산대수 A와 Lie 대수 g, 그리고 2‑코사이클 f: g×g→A를 이용해 E = A #₍f₎ U(g) 라는 비가환 대수를 정의한다. 여기서 U(g)는 g의 전역대수이며, f는 코사이클 조건을 만족한다. 저자들은 기존 문헌에서 다루어진 특수 경우(예: Ore 확장, 1차원 g 등)를 일반화하여, A가 임의의 k‑대수이고 K⊂A가 g‑안정 부분대수인 상황까지 포괄한다. 1. **프로젝트해석의 구축** - Y\* 라는 자유 E‑양측 모듈을 정의하고, 그 위에 미분 연산 ∂를 두어 (Y\*, ∂) 가 (E, A)‑양측 모듈 복합으로서 수축가능함을 보인다. 이는 Poicaré‑Birkhoff‑Witt 정리를 이용해 Y\* 의 기저를 명시적으로 구성함으로써 가능해진다. - 이후 X\_{r,s} = (E⊗Λ^{s}g)⊗A^{⊗ r}⊗E 를 정의하고, μ: X\_{0,*}→Y\* 와 d₀: X\_{r,s}→X\_{r‑1,s} 를 통해 이중 복합 (X\*, d) 를 만든다. 경계사상 d₁, d₂는 f와 Lie 괄호