호치슨 동류와 무키 페어링의 통합적 이해

본 논문은 매끄럽고 적절한 스킴 X (특히 특성 0 필드 위) 에 대해 두 종류의 Hochschild 동류 페어링을 비교하고, 이들의 일치를 통해 적분 변환과 Riemann‑Roch 정리를 새로운 관점에서 재구성한다. 첫 장에서는 D. Shklyarov가 제시한 “자연스러운” 페어링 ⟨ , ⟩ₛₕₖ 를 소개한다. 이 페어링은 DG‑카테고리 perf(X) 의 대각 커널 𝒪_Δ 을 이용해 정의되며, Künneth 동형 K:HH·(perf X)⊗HH·(perf X)→HH·(perf X×X)와 결합해 HH·(X)⊗HH·(X)→k 로 전이된다. 이때, ⟨a,b⟩ₛₕₖ = Δ_* ∘ K(a⊗b) 로 표현된다. 두 번째로, A. Caldararu가 정의한 무키 페어링 ⟨ , ⟩ₘ 를 복습한다. 무키 페어링은 HH·(X)≅RHom_{X×X}(Δ!𝒪_X, 𝒪_Δ) 이라는 동형을 이용하고, 여기서 Δ!𝒪_X≅Δ_*S_X^{-1} 로 표현된다. Serre‑dual trace tr_{X×X} 와 결합해 ⟨v,w⟩ₘ = tr_{X×X}(D(v)∘w) 로 정의된다. 이 페어링은 Hodge‑cohomology 수준에서 ⟨a,b⟩ₘ = ∫_X IHKR(a)∗IHKR(b) td(T_X) 로 계산된다(정리 6). 핵심 결과인 정리 1은 두 페어링이 차례로 반전 연산 ∨ (즉, Hodge‑분해에서 (−1)^p 를 곱하는 연산) 를 적용하면 일치한다는 것을 보인다. 구체적으로 a,b∈HH·(X) 에 대해 ⟨b^∨,a⟩ₘ = ⟨a,b⟩ₛₕₖ 가 성립한다. 이는 무키 페어링이 스키리오프식 페어링과 “거의” 동일함을 의미한다. 또한, X가 Calabi‑Yau이면 A도 Calabi‑Yau가 되며, 이 경우 정리 1은 스키리오프가 제시한 비가환 Riemann‑Roch 정리와 무키 페어링 기반의 전통적 정리 사이의 일치를 보여준다. 다음 장에서는 적분 변환 Φ∈perf(X×Y) 에 대한 세 가지 정의를 제시한다. (i) Φ_*^{nat} 은 스키리오프의 정의대로, 즉 ⟨ , ⟩ₛₕₖ 와 Chern character Ch(Φ) 를 이용한 컨볼루션이다. (ii) Φ_*^{muk} 은 논문이 새로 제안한 방식으로, Ch(Φ) 를 ⟨ , ⟩ₘ 와 반전 연산 W(=∨) 로 결합한다: Φ_*^{muk}(a)=⟨a⊗Ch(Φ), W⊗id⟩ₘ. (iii) Φ_*^{cal} 은 Caldararu가 Ext‑기반으로 정의한 변환이다. 저자는 Φ_*^{muk} 가 합성 보존( (Ψ∘Φ)_*^{muk}=Ψ_*^{muk}∘Φ_*^{muk}) 와 항등성(𝒪_Δ_*^{muk}=id) 을 만족함을 증명하고, 이를 통해 Φ_*^{nat}=Φ_*^{muk}=Φ_*^{cal} 임을 보인다(정리 2). 따라서 기존 문헌에서 제시된 서로 다른 적분 변환이 모두 동등함을 확인한다. 마지막으로, 이러한 페어링과 변환의 일치를 활용해 Dennis trace map의 전단사화에 대한 히르치브루흐‑Riemann‑Roch 정리를 도출한다. K‑이론과 Hochschild 동류 사이의 Dennis trace Ch_i:K_i(X)→HH_i(perf X)≅HH_i(X) 를 Hochschild‑Kostant‑Rosenberg 동형 IHKR 로 옮기면, 전통적인 Chern character ch_i와 Todd class td(T_X) 가 나타난다. 정리 3은 매끄러운 사상 f:X→Y 와 별도 스킴 Z 에 대해, (f×id)_*(ch_i(α)·π_X^*td(T_X)) = ch_i((f×id)_*α)·π_Y^*td(T_Y) 를 만족함을 보인다. 이는 비가환 DG‑알제브라와 전통적인 알제브라적 Riemann‑Roch 사이의 교량을 제공한다. 전체적으로, 논문은 (1) 스키리오프와 칼다라루가 정의한 두 페어링의 정확한 관계를 밝히고, (2) 적분 변환의 여러 정의가 모두 동등함을 증명하며, (3) 이를 바탕으로 Dennis trace에 대한 Riemann‑Roch 정리를 비가환 설정에서 확장한다는 세 가지 주요 기여를 한다. 이러한 결과는 DG‑카테고리, Hochschild 동류, 그리고 전통적인 Hodge‑이론 사이의 상호작용을 깊이 있게 이해하는 데 중요한 발판을 제공한다.