강직 해석 공간에서 D‑모듈의 Hochschild (공)동학 체계

초록

본 논문은 매끄러운 강직 해석 공간 X 위의 완비 p‑adic 미분 연산자 전단위 (\widehat{\mathcal D}_X) 에 대해 Ind‑Banach (\widehat{\mathcal D}_X)-모듈을 이용한 Hochschild (공)동학 이론을 구축한다. 대각 (C)-복합체(diagonal (C)-complexes) 범주를 핵심 예시로 삼아 Hochschild 복합체를 명시적으로 계산하고, 이를 X의 de Rham 복합체와 동형임을 보인다. 결과적으로 Hochschild 동학·공동학을 연결하는 Hodge‑de Rham 스펙트럼 시퀀스를 얻으며, 대각 (C)-복합체에 대한 구체적인 공식도 제시한다.

상세 분석

논문은 먼저 Bornological 공간과 Ind‑Banach 공간의 기본 이론을 정리하고, 텐서‑Hom adjunction을 Ind‑Banach 범주에서 어떻게 구현하는지를 상세히 설명한다. 이를 바탕으로 (\widehat{\mathcal D}_X)-모듈의 sheaf‑이론을 구축하는데, 특히 co‑admissible 모듈과 (C)-복합체라는 두 종류의 구조를 도입한다. (C)-복합체는 완비 텐서 곱과 연산자 노름을 이용해 Banach 공간 수준에서 정의되며, 대각 (C)-복합체는 양쪽 (\widehat{\mathcal D}_X)-모듈 구조가 동일한 경우를 말한다. 저자는 이러한 대각 (C)-복합체에 대해 bi‑enveloping algebra (\widehat{\mathcal D}_X^{e})를 정의하고, side‑switching functor를 통해 좌·우 모듈을 자유롭게 전환한다.

핵심 결과는 Hochschild 복합체 (\operatorname{HH}_\bullet(\widehat{\mathcal D}_X,,\mathcal M))와 (\operatorname{HH}^\bullet(\widehat{\mathcal D}_X,,\mathcal M))를 Ind‑Banach 범주에서 파생 텐서와 파생 Hom을 이용해 정의하고, 대각 (C)-복합체 (\mathcal M)에 대해서는 이 복합체가 X의 de Rham 복합체 (\Omega_X^\bullet)와 자연스럽게 동형임을 증명한다. 구체적으로, (\operatorname{HH}^\bullet(\widehat{\mathcal D}_X)\cong \Omega_X^\bullet)이며, 이는 Hochschild‑de Rham 스펙트럼 시퀀스가 (E_1) 단계에서 이미 Hodge 필터링을 재현한다는 의미다. 또한 저자는 대각 (C)-복합체에 대한 Hochschild 동·공동학 사이의 명시적 관계식, 예컨대 (\operatorname{HH}_i(\mathcal M)\simeq \operatorname{HH}^{\dim X-i}(\mathcal M^\vee))와 같은 Poincaré‑type 이성질을 제시한다.

기술적인 측면에서는, Ind‑Banach sheaf가 quasi‑abelian이므로 전통적인 호몰로지 이론을 그대로 적용할 수 없으며, 이를 해결하기 위해 left heart (\mathcal{L}H(\mathrm{IndBan}))를 도입한다. 이 과정에서 완비 텐서 곱의 strictness와 연산자 노름의 폐쇄성 조건을 정밀히 검증한다. 또한 immersion functor를 이용해 전역적인 (\widehat{\mathcal D}_X)-모듈을 지역적인 co‑admissible bimodule으로 전환하고, 이를 통해 전역 Hochschild 복합체를 지역적인 계산으로 환원한다.

결과적으로, 이 논문은 비아벨리안, 비정규화된 강직 해석 공간 위에서 Hochschild (공)동학을 정의하고, 전통적인 대수기하학적 결과를 p‑adic 분석적 맥락으로 옮기는 중요한 사다리를 제공한다. 특히 de Rham 복합체와의 동형성은 p‑adic 미분 방정식과 비정규화된 D‑모듈 이론 사이의 깊은 연결고리를 시사한다.