호흐시드 코호몰로지와 특성 사상, 파생 변형 이론의 연결고리

본 논문은 아벨 범주 𝔄의 호흐시드 코호몰로지와 그 파생(derived) 범주 Dᵇ(𝔄) 사이의 관계를 심도 있게 탐구한다. 먼저 Lowen‑Van den Bergh가 정의한 HH⁎_ab(𝔄)=HH⁎(Inj(𝔄))를 소개하고, Inj(𝔄)를 사영(다중 객체) 링으로 보는 것이 Gerstenhaber‑이론과 직접 연결됨을 설명한다. 이때 HH²(𝔄) 원소 c는 𝔄의 1차 변형 𝔄_c를 결정한다. 다음으로 Keller가 제시한 정확(Exact) 범주의 호흐시드 복합체 C(Dᵇ_dg(𝔄))와 그 B∞‑구조를 도입한다. 여기서 Dᵇ_dg(𝔄)는 Inj(𝔄)와 동형인 dg‑모델이며, 자연 포함 Inj(𝔄)⊂Dᵇ_dg(𝔄)에서 유도되는 사상 (3) C(Dᵇ_dg(𝔄))→C(Inj(𝔄))는 B∞‑준동형사상이다. 저자는 이 사상의 B∞‑섹션 δ를 명시적으로 구성한다. δ는 복합체의 차동을 이용해 정의되며, ‘embrace(δ)’ 연산을 통해 c∈C¹(Inj(𝔄))를 C(Dᵇ_dg(𝔄))로 끌어올린다. 특성 사상 χ는 HH⁎_ex(𝔄)→Z⁎(Dᵇ(𝔄))로, 각 코사이클 c를 받아 모든 M∈Dᵇ(𝔄)에 대해 χ(c)_M∈Ext²_𝔄(M,M)을 만든다. 논문은 χ(c)_M가 Lowen(2005)에서 정의된 ‘객체 변형 장애물’과 정확히 일치함을 증명한다. 구체적인 증명은 다음과 같다. 1. c∈HH²_ex(𝔄)가 정의하는 𝔄_c에 대해, Inj(𝔄)와 Dᵇ_dg(𝔄) 사이의 B∞‑섹션 δ를 이용해 χ(c)_M을 ‘embrace(δ)(c)’의 M‑성분으로 표현한다. 2. 이 표현은 Ext²_𝔄(M,M) 안에서 c가 만든 2‑차 연산과 동일함을 보이며, 따라서 χ(c)_M=0이 되지 않으면 M를 𝔄_c‑모듈로 승격할 수 없다는 장애물 클래스를 제공한다. 이 결과는 Theorem 1.1(=Theorem 4.8)으로 정리된다: “c∈HH²_ex(𝔄)와 그에 대응하는 1차 변형 𝔄_c에 대해, χ(c)_M∈Ext²_𝔄(M,M)은 M를 Dᵇ(𝔄_c)로 변형하려 할 때 나타나는 정확한 장애물이다.” 논문은 또한 ‘cdg‑변형’이라는 새로운 관점을 제시한다. 여기서는 Dᵇ_dg(𝔄)의 B∞‑구조를 곡률(curvature) 요소 c와 결합해 cdg‑카테고리로 변형한다. 이 cdg‑변형 안에는 최대 부분 dg‑변형이 존재하며, 이는 실제로 Dᵇ_dg(𝔄_c)와 동형이다(정리 4.18). 따라서 객체 M가 χ(c)_M=0이면 그 객체는 dg‑부분 변형에 포함되고, 그렇지 않으면 cdg‑구조에만 남는다. 마지막으로 저자는 이러한 구조가 ‘파생 변형 이론(derived deformation theory)’의 기반이 될 수 있음을 논의한다. 즉, HH²(𝔄) 원소가 전체 파생 카테고리의 곡률을 정의하고, 각 객체별 Ext²‑장애물이 그 곡률에 대한 로컬 반응을 나타낸다. 이를 통해 아벨 범주의 변형과 파생 범주의 변형을 동시에 기술하는 일관된 이론을 구축할 수 있다. 전체적으로 논문은 호흐시드 코호몰로지, B∞‑구조, 특성 사상, 그리고 변형 장애물 사이의 정교한 사상 관계를 명확히 밝히며, 기존에 분리되어 있던 두 변형 이론을 하나의 통합된 프레임워크로 연결한다.