리 대수적 구조를 활용한 Hochschild 동·상동 이론

초록

본 논문은 국소 자유 리 대수군(리 알제브로이드)을 기준으로 한 링드 공간의 Hochschild (co)homology 를 정의하고, Swan·Caldararu의 대수다양체 접근법을 일반화한다. 저자는 제트 번들 위의 자연스러운 구조를 이용해 표준 복합체로 계산 가능한 공식들을 제시하며, 부록에서는 이러한 제트 번들이 리 대수군의 형식적 지수화에 해당하는 형식 군집체임을 증명한다.

상세 분석

이 연구는 기존의 대수기하학에서 Hochschild (co)homology 를 정의하고 계산하는 방법을 리 대수군이라는 보다 일반적인 구조로 확장한다는 점에서 의미가 크다. 먼저 저자는 링드 공간 ((X,\mathcal{O}_X))와 그 위에 정의된 국소 자유 리 대수군 (\mathcal{L})를 고려한다. 전통적인 경우에서는 (\mathcal{L}=T_X) (접미다)일 때 Hochschild 복합체가 잘 알려져 있지만, 여기서는 (\mathcal{L})가 임의의 리 대수군일 때도 동일한 형태의 복합체를 구성한다. 핵심 아이디어는 (\mathcal{L})에 대한 전미분 연산자를 포함하는 보조 구조, 즉 (\mathcal{L})-연결과 (\mathcal{L})-전미분을 이용해 (\mathcal{L})-대수적 버전의 차동 연산자를 정의하는 것이다.

저자는 먼저 (\mathcal{L})-제트 번들 (\mathcal{J}^\infty_{\mathcal{L}}(\mathcal{O}X))를 구축한다. 이 제트 번들은 전통적인 제트 번들의 일반화로, (\mathcal{L})에 대한 무한 차수의 미분 연산자를 포괄한다. 중요한 점은 (\mathcal{J}^\infty{\mathcal{L}}(\mathcal{O}X))가 자연스럽게 코알제브라 구조와 (\mathcal{L})-연결을 갖는다는 사실이다. 이를 통해 저자는 (\mathcal{L})-Hochschild 복합체 (\mathcal{C}\bullet^{\mathcal{L}}(\mathcal{O}_X))를 정의하고, 그 동계와 상동계가 각각 (\mathcal{L})-Hochschild homology와 cohomology 로 해석된다.

계산 측면에서는 두 가지 표준 복합체를 제시한다. 첫 번째는 (\mathcal{L})-전미분을 이용한 바르코프 복합체 형태이며, 두 번째는 (\mathcal{L})-제트 번들을 이용한 Chevalley‑Eilenberg 복합체와의 텐서 곱 형태이다. 저자는 이 두 복합체가 동형사상으로 연결되어, 실제 계산에서는 상황에 맞는 복합체를 자유롭게 선택할 수 있음을 보인다. 특히, (\mathcal{L})가 완전한 리 대수군일 때는 제트 번들이 형식 군집체(formal groupoid)로서 (\mathcal{L})의 형식적 지수화에 해당한다는 부록의 결과가 핵심적인 역할을 한다. 이 형식 군집체 구조는 복합체의 미분 구조와 코알제브라 구조가 서로 호환됨을 보장하고, 따라서 Hochschild (co)homology 가 (\mathcal{L})-연결에 대해 불변임을 증명한다.

또한 저자는 이론적 결과를 몇 가지 예시—예를 들어, 복소다양체 위의 전통적인 접미다 대수군, 그리고 포아송 구조를 갖는 리 대수군—에 적용하여 구체적인 계산을 제시한다. 이러한 예시는 새로운 정의가 기존의 Hochschild 이론을 완전히 포괄함을 보여준다.

결론적으로, 논문은 리 대수군을 통한 Hochschild (co)homology 의 정의와 계산 방법을 체계화함으로써, 대수기하학, 미분기하학, 그리고 양자장론 등에서 리 대수군이 등장하는 다양한 상황에 적용 가능한 강력한 도구를 제공한다.