정확한 범주와 비가산적·가산적 전단사에 대한 호흐시드 코호몰로지

** 이 논문은 정확한 범주(Exact Category) \( \mathcal{C} \) 에 대한 호흐시드 코호몰로지를 새로운 관점에서 재구성한다. 전통적으로 호흐시드 동형론은 연관 대수 \( A \) 에 대한 바이모듈 범주 \( A\text{-}\!\operatorname{Mod}\!-\!A \) 위에서 \( \operatorname{Ext}^{*}_{A\text{-}A}(A,A) \) 으로 정의된다. 저자들은 이 아이디어를 “절대적인” 형태로 일반화하고자, \( \mathcal{C} \) 의 자기함수(엔도펑터) 범주를 \( \mathcal{C}^{\mathrm{op}}\times\mathcal{C} \) 위의 전단사(바이셰이프) 범주 \( \operatorname{Bimod}(\mathcal{C}) \) 로 모델링한다. 이때 전단사(전단사) 셰이프는 (비)가산적 전단사 위상에 따라 정의된 전단사(전단사)와 가산적 전단사(전단사) 사이의 전단사(전단사) 카테고리 \( \operatorname{Sh}(\mathcal{C}) \) 와 \( \operatorname{Sh}_{\mathrm{add}}(\mathcal{C}) \) 를 의미한다. **1. 전단사 위상의 정의와 기본 성질** - **가산적 전단사 위상**은 작은 \( \mathbb{Z} \)-선형 범주 \( \mathcal{C} \) 위에 서브모듈 \( R\subseteq \mathcal{C}(-,C) \) 을 커버로 지정하는 구조이다. 이는 전통적인 Gabriel 위상의 \( \operatorname{Mod}(\mathcal{C}) \) 에 대한 전단사(전단사) 셰이프를 만든다. - **비가산적 전단사 위상**은 같은 범주에 대해 집합값 펑터 \( \operatorname{Fun}(\mathcal{C}) \) 위에 “단일 사상” \( \Lambda \) 을 이용해 정의한다. 커버는 \( \Lambda \) 에 포함된 사상 \( \lambda:D\to C \) 에 의해 생성된다. - 두 위상은 각각 \( \operatorname{Sh}(\mathcal{C}) \) 와 \( \operatorname{Sh}_{\mathrm{add}}(\mathcal{C}) \) 라는 전단사(전단사) 셰이프 카테고리를 만든다. 가산적 전단사 셰이프는 비가산적 전단사 셰이프와 교차하며, 특히 가산적 셰이프는 비가산적 셰이프 안에서 “약하게 \( \Lambda \)‑소거 가능”인 객체들의 핵을 형성한다. **2. 전단사(전단사) 셰이프와 가산적 전단사 셰이프 사이의 포함 관계** - 포함 사상 \( j:\operatorname{Mod}(\mathcal{C})\hookrightarrow\operatorname{Fun}(\mathcal{C}) \) 는 정확히 전단사이며, 확장에 대해 닫혀 있다. - 그러나 \( j \) 의 좌측 사상인 “가산화”는 일반적으로 정확하지 않다. 따라서 가산적 전단사 셰이프를 비가산적 전단사 셰이프 안에 정확히 포함시키기 위해서는 “약하게 \( \Lambda \)‑소거 가능”이라는 조건을 도입한다. - 저자들은 이 조건을 만족하는 객체들의 전단사(전단사) 셰이프 \( \operatorname{Sh}_{\mathrm{add}}(\mathcal{C}) \) 가 \( \operatorname{Sh}(\mathcal{C}) \) 안에 완전하게 삽입됨을 보이며, 이는 전단사(전단사) 셰이프가 충분히 풍부한 아벨 범주임을 증명한다. **3. 유도된 구조와 호흐시드 코호몰로지 정의** - 전단사(전단사) 셰이프 범주에 대해 유도된 범주 \( D^{+}(\operatorname{Sh}_{\mathrm{add}}(\mathcal{C})) \) 와 \( D^{+}(\operatorname{Sh}(\mathcal{C})) \) 를 구성한다. - 이 두 유도된 범주는 충분한 완전성(AB4*)과 코플라톤성을 가지고 있어, \( \operatorname{Ext}^{*} \) 계산이 가능하다. - 특히, 자기함수 \( \operatorname{Id}_{\mathcal{C}} \) 를 전단사(전단사) 셰이프 안의 객체로 보고, \( \operatorname{Ext}^{*}_{\operatorname{Sh}_{\mathrm{add}}(\mathcal{C})}(\operatorname{Id}_{\mathcal{C}},\operatorname{Id}_{\mathcal{C}}) \) 을 호흐시드 코호몰로지 \( HH^{*}(\mathcal{C}) \) 로 정의한다. 이는 기존의 “바이모듈 \( \operatorname{Ext} \)” 정의와 일치함을 보인다. **4. 기존 정의와의 비교** - **Keller’s Hochschild homology**: 모듈 범주에 대한 바이모듈 접근법과 동일함을 증명한다. - **Mac Lane homology**: 절대적인 경우, 즉 기반 필드가 고정되지 않은 상황에서 저자들의 정의가 Mac Lane 동형론과 동동론과 일치함을 보인다. - **Tsygan–Tamarkin 비가산적 미분 구조**: 전단사(전단사) 셰이프 위에 정의된 \( B \) 연산자와 \( \{-,-\} \) 브라켓이 기존의 비가산적 미분 구조와 동형임을 확인한다. **5. 절대적 경우의 한계와 향후 과제** - 절대적인 상황에서는 전단사(전단사) 셰이프 위에 삼각형 구조를 부여하는 것이 아직 미완성이다. - 저자들은 삼각형 카테고리 강화, 모델 구조 도입, 그리고 더 일반적인 Grothendieck 위상(예: 다중 사상 위상)으로의 확장을 제안한다. - 또한, 호흐시드 코호몰로지와 변형 이론(Deformation Theory) 사이의 직접적인 연결고리를 구축하기 위한 추가 연구가 필요함을 강조한다. **