[논문 리뷰] The Mukai pairing, I: a categorical approach

Andrei Căldăraru, Simon Willerton|arXiv (Cornell University)|2007. 07. 13.

Homotopy and Cohomology in Algebraic Topology참고 문헌 8인용 수 38

한 줄 요약

이 논문은 매끄럽고 올바른 공간의 Hochschild 호모로지에 대한 Mukai 쌍선형형식에 대한 범주론적 접근을 제안하며, K3 곡면에 대한 Mukai의 쌍선형형식을 일반화한다. 이는 Hochschild 호모로지에서의 적분 변환의 함의성과 수반성, 이 맥락에서의 캐런 특성의 정의를 포함하며, 2-카테고리인 공간과 핵심을 이용한 유도 범주 프레임워크 내에서 반-리만-로흐 공식과 Cardy 조건이 일반적으로 성립함을 증명한다.

ABSTRACT

We study the Hochschild homology of smooth spaces, emphasizing the importance of a pairing which generalizes Mukai's pairing on the cohomology of K3 surfaces. We show that integral transforms between derived categories of spaces induce, functorially, linear maps on homology. Adjoint functors induce adjoint linear maps with respect to the Mukai pairing. We define a Chern character with values in Hochschild homology, and we discuss analogues of the Hirzebruch-Riemann-Roch theorem and the Cardy Condition from physics. This is done in the context of a 2-category which has spaces as its objects and integral kernels as its 1-morphisms.

연구 동기 및 목표

• 매끄럽고 올바른 공간의 Hochschild 호모로지에 대해 K3 곡면에 대한 Mukai의 쌍선형형식을 범주론적 프레임워크를 이용해 일반화한다.
• 유도 범주 간의 적분 핵심이 Hochschild 호모로지에 선형 사상으로 유도되며, 이 사상이 합성에 대해 함의적임을 확립한다.
• 수반 함자들이 Mukai 쌍선형형식에 대해 수반 선형 사상으로 유도됨을 보인다.
• Hochschild 호모로지에 값이 있는 캐런 특성을 정의하고, HKR 동형사상에 의해 고전적 캐런 특성과 관련지어진다.
• 반-히르체브루흐-리만-로흐 정리와 Cardy 조건이 개방-폐쇄 위상 양자장 이론의 맥락에서 이 프레임워크 내에서 성립함을 보인다.
• 공간을 대상으로, 적분 핵심을 1-모르피즘으로 하는 2-카테고리(V𝐵ar)를 개발하여 이러한 구조의 체계적 연구를 가능하게 한다.

제안 방법

• 공간 X의 Hochschild 코호모로지와 호모로지를 유도 범주 X×X 내의 Ext 군을 통해 정의한다: HH^i(X) = Hom^i(Id_X, Id_X), HH_i(X) = Hom^{-i}(Σ_X^{-1}, Id_X).
• 비퇴화된 Mukai 쌍선형형식 ⟨−,−⟩_M 을 HH_•(X) 위에 도입하여 코homology의 Poincaré 쌍선형형식을 일반화한다.
• 공간을 대상으로, 적분 핵심을 1-모르피즘으로 하는 2-카테고리 V𝐵ar 를 구성하며, 대각선과 반가역적 배럴을 이용해 항등 및 Serre 대칭 핵심을 정의한다.
• 반사적 예의를 통해 핵심 간의 수반성이 호모로지에서 호환 가능한 수반성을 보장함으로써 함의성을 확보한다.
• 핵심 E: pt → X 가 HH_0(pt) 내의 단위 1에 작용하는 방식으로 캐런 특성 ch: K_0(X) → HH_0(X) 를 정의한다.
• 캐런 특성의 쌍선형형식이 오일러 지표와 같음을 증명한다: ⟨ch(E), ch(F)⟩_M = χ(E,F) = ∑(−1)^i dim Ext^i(E,F), 이는 반-히르체브루흐-리만-로흐 정리를 증명한다.

실험 결과

연구 질문

• RQ1 K3 곡면에 대한 Mukai의 쌍선형형식은 어떻게 매끄럽고 올바른 공간의 Hochschild 호모로지에 대해 범주론적 프레임워크를 통해 일반화될 수 있는가?
• RQ2 유도 범주 간의 적분 변환이 Hochschild 호모로지에 대해 합성에 대해 함의적인 선형 사상을 유도하는가?
• RQ3 Hochschild 호모로지 내에 고전적 캐런 특성을 HKR 동형사상 하에서 복원하는 자연스러운 캐런 특성이 존재하는가?
• RQ4 반-히르체브루흐-리만-로흐 공식은 Mukai 쌍선형형식이 컵乘법 대신 쓰이는 일반화된 맥락에서 성립하는가?
• RQ5 비-칼라비-유다이 공간에 대해서도 개방-폐쇄 TQFT의 Cardy 조건이 이 유도 범주적 프레임워크 내에서 자연스럽게 만족되는가?

주요 결과

• Hochschild 호모로지 위의 Mukai 쌍선형형식은 비퇴화적이며, 코homology의 Poincaré 쌍선형형식을 일반화한다.
• 적분 핵심은 Hochschild 호모로지에 대해 합성과 호환되는 방식으로 선형 사상을 유도하며, 이는 함의성과 일치한다.
• 수반 함자들은 Mukai 쌍선형형식에 대해 수반 선형 사상을 유도함으로써 쌍대성의 호환성을 보장한다.
• 캐런 특성 사상 ch: K_0(X) → HH_0(X) 는 잘 정의되어 있으며, HKR 동형사상 하에서 고전적 캐런 특성과 일치한다.
• 반-히르체브루흐-리만-로흐 공식이 성립한다: ⟨ch(E), ch(F)⟩_M = ∑(−1)^i dim Ext^i(E,F), 이는 쌍선형형식이 오일러 지표와 연결됨을 보여준다.
• 반사적 예의를 통해 모든 핵심이 수반성을 보장함에 따라, 개방-폐쇄 TQFT의 Cardy 조건은 비-칼라비-유다이 공간에 대해서도 이 프레임워크 내에서 자동으로 만족된다.