운용자 오페라드 위의 안드레 퀼렌 공동호모로지

본 논문은 ‘오페라드 위의 대수에 대한 안드레‑퀼렌 공동호모로지’를 체계적으로 연구한다. 서론에서는 호모로지 이론의 역사적 배경을 언급하며, 호모로지와 Ext‑함수 사이의 관계가 일반적인 오페라드 상황에서는 보장되지 않음을 지적한다. 이를 해결하기 위해 저자는 미분 그레이드(dg) 오페라드와 그 위의 대수, 모듈, 자유 모듈 등에 대한 기본 설정을 정리하고, 히니치와 고어스‑홉킨스가 제시한 dg‑오페라드 환경에서의 안드레‑퀼렌 공동호모로지 정의를 재구성한다. 1부에서는 코시‑듀얼리티 이론을 도입한다. P가 코시‑코시(Koszul) 오페라드이면, 그 코바코프(co‑bar)와 바코프(bar) 복합체를 이용해 P‑알제브라 A에 대한 ‘코바코프 해석’(twisting morphism) τ: C → P를 구성한다. 이 τ를 통해 코탄젠트 복합체 L_{P}(A) = A ⊗_{τ} C(A) 를 정의하고, 그 미분을 명시적으로 기술한다(정리 2.4.2). 이 복합체는 전통적인 Kähler 미분형식 모듈 Ω_{P}(A)와 비교되며, 두 복합체 사이의 사상은 자연스럽게 코바코프 구조에서 유도된다. 2부에서는 ‘조건 (P0)–(P3)’이라는 네 가지 동등성을 제시한다. (P0)는 모든 P‑알제브라 A에 대해 안드레‑퀼렌 공동호모로지가 A⊗_{P}K 위의 Ext‑함수와 동등함을 의미하고, (P1)은 코탄젠트 복합체가 Ω_{P}(A)와 quasi‑isomorphic함을 의미한다. (P2)와 (P3)는 각각 전역적인 함수 L_{P}와 Ω_{P} 사이의 quasi‑isomorphism, 그리고 오류 복합체 O_{P}의 acyclicity를 말한다. 저자는 (P0)⇔(P1)임을 일반적인 오페라드에 대해 증명하고, PBW‑오페라드(예: Ass, Lie, Com)에서는 (P0)⇔(P1)⇔(P2)⇔(P3)이라는 완전한 동치 관계를 얻는다. 3부에서는 구체적인 예시를 통해 이론을 검증한다. Ass와 Lie 오페라드에 대해서는 O_{P}가 acyclic함을 확인하여 안드레‑퀼렌 공동호모로지가 Ext‑함수와 동등함을 재현한다. 반면 Com(커뮤테이티브)와 Perm(퍼밋) 오페라드에 대해서는 O_{P}가 비아시클릭함을 보이며, 따라서 일반적인 Ext‑표현이 불가능함을 확인한다. 이 결과는 기존에 알려진 ‘Com의 코탄젠트 복합체는 순환이 아니다’라는 사실을 새로운 관점에서 재해석한다. 4부에서는 호모티시 알제브라(∞‑알제브라)로의 확장을 다룬다. 코바코프 해석을 이용해 P‑알제브라 A의 코프리코바코프(cobar) 해석을 수행하면, 자유 P‑모듈 A⊗_{P}∞K 를 얻는다. 이때 코탄젠트 복합체는 코프리코바코프 복합체와 동형이 되며, 오류 복합체 O_{P}는 자동으로 acyclic한다. 따라서 모든 호모티시 P‑알제브라에 대해 안드레‑퀼렌 공동호모로지는 언제나 Ext‑함수 형태로 표현될 수 있다(정리 B). 마지막으로 논문은 결과를 정리하고, 향후 연구 방향으로 (i) 비 PBW 오페라드에 대한 오류 복합체의 구조 분석, (ii) 고차 연산을 포함한 새로운 오페라드(예: Gerstenhaber, Batalin‑Vilkovisky)에서의 공동호모로지와 Ext‑가능성 조사, (iii) 호모토피 이론과 연계한 실용적인 계산 방법 개발 등을 제시한다. 전체적으로 이 논문은 오페라드 이론, 코시‑듀얼리티, 그리고 고차 대수 구조 사이의 깊은 연계를 밝히며, 안드레‑퀼렌 공동호모로지를 보다 구체적이고 계산 가능한 도구로 전환하는 데 중요한 기여를 한다.