Hochschild cohomology of the second kind: Koszul duality and Morita invariance

1. 연구 배경 및 문제 제기 (Problem)

• Hochschild 코호몰로지의 두 가지 유형:
  • 1 차 (First Kind): 표준적인 Hochschild 코호몰로지로, dg (differential graded) 대수나 dg 범주에 대해 정의되며, Morita 동치 하에 불변입니다. 이는 직접곱 (direct products) 을 이용한 총합화 (totalization) 로 정의됩니다.
  • 2 차 (Second Kind): Positselski 와 Polishchuk 등에 의해 연구된 '컴팩트 지지 (compactly supported)' Hochschild 코호몰로지입니다. 이는 직접합 (direct sums) 을 이용한 총합화로 정의되며, 1 차 이론과 완전히 다른 성질을 가집니다. 특히, 2 차 이론은 '2 차 호몰로지 대수 (homological algebra of the second kind)'의 맥락에서 정의되며, 약한 동치 (weak equivalence) 의 개념이 표준적인 준동형 (quasi-isomorphism) 보다 더 정교합니다.
• 기존 연구의 한계:
  • 기존 2 차 Hochschild 코호몰로지 정의는 Koszul 이중성 (Koszul duality) 과 호환되지 않는 경우가 많았습니다.
  • 기하학적으로 의미 있는 dg 범주들 (예: 무한 국소 시스템, 유계 유도 범주, 행렬 인자분해 등) 에 대한 Hochschild 코호몰로지를 계산할 때, 기존 대수적 정의가 기하학적 의미와 일치하지 않는 경우가 있었습니다.
• 연구 목표:
  • Koszul 이중성과 호환되며, 적절한 Morita 동치 하에 불변인 새로운 2 차 Hochschild 코호몰로지를 정의하고, 이를 통해 다양한 기하학적/위상수학적 예시에서 1 차 Hochschild 코호몰로지를 계산할 수 있음을 보이는 것입니다.

2. 방법론 (Methodology)

저자들은 다음과 같은 수학적 도구와 구조를 활용하여 새로운 이론을 구축했습니다.

• 비틀린 유도 범주 (Twisted Derived Category, $D^{II}_c(A)$):
  • dg 대수 $A$에 대해, 비틀린 복소수 (twisted complexes) 로 생성된 '비틀린 유도 범주'를 정의했습니다. 이는 '컴팩트 생성된 2 차 유도 범주'라고도 불리며, $A$의 Koszul 이중 대수 (extended bar-construction, $qBA$) 의 코도메인 (coderived) 범주와 동치입니다.
• 새로운 정의 (Definition 4.19):
  • 2 차 Hochschild 코호몰로지 $HC^{II}_c(A)$를 $D^{II}_c(A \otimes A^{op})$ 범주에서의 유도된 Hom 함자, 즉 $RHom_{D^{II}_c(A \otimes A^{op})}(A, A)$로 정의했습니다.
  • 이는 기존의 Positselski-Polishchuk 정의와 다르며, 오히려 표준적인 1 차 Hochschild 코호몰로지와 Positselski-Polishchuk 정의 사이의 '중간' 위치에 있는 완비 (completion) 로 해석됩니다.
• 이중 모듈 Koszul 이중성 (Bimodule Koszul Duality):
  • 기존 Koszul 이중성이 주로 일면 (one-sided) 모듈에 초점을 맞췄다면, 저자들은 **이중 모듈 (bimodules)**과 이중 코모듈 (bicomodules) 사이의 Koszul 이중성을 확립했습니다.
  • 이는 dg 대수 $A$의 이중 모듈 범주와 그 Koszul 이중 대수 $qBA$의 이중 코모듈 범주 사이의 Quillen 동치 (Quillen equivalence) 를 증명하는 것을 포함합니다.
• 곡률 있는 대수 (Curved Algebras) 로의 일반화:
  • 곡률 (curvature) 항 $h$가 있는 곡률 있는 대수 (curved algebras) 에도 이론을 확장했습니다. 곡률 있는 대수는 자기 자신 위의 모듈이 아니므로 Yoneda 임베딩이 존재하지 않는 문제가 발생하는데, 이를 해결하기 위해 $D^{II}_c(A)$와 동치인 새로운 dg 대수 $A'$를 구성하는 보조 정리를 제시했습니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

A. Morita 불변성 (Morita Invariance)

• MC 동치 (MC-equivalence) 하의 불변성: 두 dg 대수 $A, B$ 사이의 MC 동치 (Maurer-Cartan 동치) 가 2 차 Hochschild 코호몰로지를 준동형 (quasi-isomorphism) 으로 유도함을 증명했습니다 (Theorem 4.21).
• 이중 모듈 2 차 Morita 동치: $A$와 $B$가 적절한 이중 모듈 $P, Q$를 통해 2 차 Morita 동치일 때, $HC^{II}_c(A) \simeq HC^{II}_c(B)$가 성립함을 보였습니다 (Theorem 4.25). 이는 기존의 Morita 불변성 정리를 2 차 이론으로 확장한 것입니다.

B. Koszul 이중성과의 호환성

• Koszul 이중성에 의한 불변성: dg 대수 $A$에 대해, 그 2 차 Hochschild 코호몰로지는 Koszul 이중 대수 $qBA$의 표준 Hochschild 코호몰로지와 준동형임을 증명했습니다 (Corollary 5.8).
  $$HC^{II}_c(A) \simeq HC(qBA)$$
  이는 2 차 Hochschild 코호몰로지를 계산할 때, 복잡한 2 차 구조 대신 Koszul 이중 대수의 표준적인 1 차 Hochschild 코호몰로지를 계산할 수 있음을 의미합니다.

C. 기하학적/위상수학적 예시 (Examples)

이론을 적용하여 다음과 같은 구체적인 예시에서 2 차 Hochschild 코호몰로지가 기하학적으로 의미 있는 1 차 Hochschild 코호몰로지와 일치함을 보였습니다:

1. 복소 대수적 다양체 (Complex Algebraic Manifolds):
   • $X$가 매끄러운 복소 대수적 다양체일 때, Dolbeault 대수 $A(X)$의 2 차 Hochschild 코호몰로지는 $X$ 위의 유계 코히어런트 층의 유도 범주 $D^b_{coh}(X)$의 (표준) Hochschild 코호몰로지와 동형입니다.
2. 위상 공간 (Topological Spaces):
   • 위상 공간 $M$의 특이 코체인 대수 $C^*(M)$이나 매끄러운 다양체의 de Rham 대수 $A^*(M)$의 2 차 Hochschild 코호몰로지는 $M$ 위의 무한 국소 시스템 (infinity local systems) 범주 $LC(M)$의 Hochschild 코호몰로지와 동형입니다.
3. 행렬 인자분해 (Matrix Factorizations):
   • 곡률 있는 대수 $R_w$ (정규 환 $R$과 곡률 $w$) 에 대해, 2 차 Hochschild 코호몰로지는 행렬 인자분해 범주 $MF(R, w)$의 Hochschild 코호몰로지와 일치합니다. 이는 특이점 이론 (singularity theory) 에서 중요한 결과입니다.

4. 의의 및 중요성 (Significance)

1. 이론적 통합: 1 차 Hochschild 코호몰로지와 Positselski-Polishchuk 의 2 차 이론 사이의 간극을 메우는 새로운 정의를 제시했습니다. 이 정의는 Koszul 이중성과 자연스럽게 호환되며, 기존 이론들이 놓치고 있던 기하학적 정보를 포착합니다.
2. 계산 가능성: 2 차 Hochschild 코호몰로지를 직접 계산하는 것은 매우 어렵지만, 이 논문은 이를 Koszul 이중 대수의 표준 Hochschild 코호몰로지 계산 문제로 환원시킴으로써 계산을 가능하게 했습니다.
3. 기하학적 응용: 위상수학 (국소 시스템), 대수기하학 (유도 범주), 미분기하학 (행렬 인자분해) 등 다양한 분야에서 등장하는 중요한 dg 범주들의 Hochschild 코호몰로지를 통일된 관점에서 해석하고 계산할 수 있는 강력한 도구를 제공했습니다.
4. 곡률 있는 대수 처리: 곡률 있는 대수 (curved algebras) 에서 Yoneda 임베딩이 부재하는 기술적 난제를 우회하여, 곡률 있는 경우에도 Morita 불변성과 Koszul 이중성이 성립함을 보였습니다. 이는 곡률 있는 대수 이론을 다루는 데 있어 독립적으로 중요한 기여입니다.

결론

이 논문은 Hochschild 코호몰로지의 2 차 버전을 재정의하여 Koszul 이중성과 Morita 불변성을 확보함으로써, 현대 수학의 여러 핵심 분야 (위상수학, 대수기하학, 미분기하학) 에서 발생하는 복잡한 dg 범주들의 불변성을 체계적으로 이해하고 계산할 수 있는 새로운 프레임워크를 제시했습니다.