[논문 리뷰] Lefschetz and Hirzebruch-Riemann-Roch formulas via noncommutative motives

Denis-Charles Cisinski, Gonçalo Tabuada|arXiv (Cornell University)|2011. 11. 01.

Advanced Topics in Algebra참고 문헌 7인용 수 5

한 줄 요약

이 논문은 비가환 모티프의 프레임워크를 사용하여 Lefschetz 및 Hirzebruch-Riemann-Roch 정리의 비가환 대응을 수립한다. Lunts와 Shklyarov의 공식들이 비가환 dg 범주 위에서 대칭 모노이드적 가환 불변량의 형식적 결과로 나타나며, 이는 범주론적 설정에서 모티프 추적 및 쌍대 구조를 통해 통합된다.

ABSTRACT

V. Lunts has recently established Lefschetz fixed point theorems for Fourier-Mukai functors and dg algebras. In the same vein, D. Shklyarov introduced the noncommutative analogue of the Hirzebruch-Riemann-Roch theorem. In this short article, we see how these constructions and computations formally stem from their motivic counterparts.

연구 동기 및 목표

• 비가환 Lefschetz 공식(Lunts)과 비가환 Hirzebruch-Riemann-Roch 정리(Shklyarov)를 동일한 모티프 프레임워크 아래 통합하기.
• 이 공식들이 매끄럽고 유한한 dg 범주 위에서 대칭 모노이드적 가환 불변량의 형식적 결과로 유도됨을 보여주기.
• 비가환 모티프와 실현을 통한 Grothendieck-Riemann-Roch 정리의 범주론적 해석을 수립하기.
• Hochschild 호모로지와 Weil 호모로지 이론에서의 추적 및 쌍대 구조가 모티프 구성의 특수한 경우임을 보여주기.
• 비가환 모티프 호모토피 이론에서 실현의 강한 모노이드성에 기반해 이러한 공식이 성립하는 이유에 대한 개념적 설명 제공하기.

제안 방법

• dg 범주들의 $K_0$-군에 대응하는 사상들을 갖는 비가환 모티프의 범주를 사용한다.
• 매끄럽고 유한한 dg 범주에서 강한 모노이드성을 갖는 대칭 모노이드적 가환 불변량 $L: \text{dgcat}(k) \to \text{D}$ 를 적용한다.
• 모든 dg 범주 $\mathcal{A}$ 에 대해 $\mathit{ch}_L: K_0(\mathcal{A}) \to \mathrm{Hom}_{\mathsf{D}}(\mathbf{1}, L(\mathcal{A}))$ 인 카렌 캐릭터 맵을 구성한다.
• 범주 $\mathcal{A}$ 가 유한할 경우, $L(\mathcal{A}) \otimes L(\mathcal{A}^{\mathsf{op}}) \to \mathbf{1}$ 에 대응하는 자연스러운 쌍대 $\mathrm{Hom}_{\mathsf{D}}(\mathbf{1}, L(\mathcal{A}))$ 위에 쌍대를 유도한다.
• 실현과 모티프 추적을 비교함으로써 핵심 등식을 도출하며, 실현이 Künneth 공식을 만족한다는 사실에 기반한다.

실험 결과

연구 질문

• RQ1 Lunts의 비가환 Lefschetz 공식은 어떤 보편적 모티프 구성에서 유도될 수 있는가?
• RQ2 Shklyarov의 비가환 Hirzebruch-Riemann-Roch 정리의 범주론적 기원은 무엇인가?
• RQ3 Hochschild 호모로지와 Weil 호모로지 이론은 어느 정도까지 하나의 모티프 프레임워크의 실현으로 나타나는가?
• RQ4 dg 범주 위에서의 대칭 모노이드적 가환 불변량은 어떻게 추적 및 쌍대 공식을 포함하는가?
• RQ5 Grothendieck-Riemann-Roch 정리는 비가환 모티프를 통해 범주론적으로 재구성될 수 있는가?

주요 결과

• 모든 매끄럽고 유한한 dg 범주 $\mathcal{A}$ 와 완전한 $\mathcal{A}$-이중모듈러 $M$ 에 대해 비가환 Lefschetz 공식 (1.8) 이 성립하며, Fourier-Mukai 함수 $\Phi_M$ 의 추적은 $\mathrm{HH}_i(\mathcal{A};M)$ 의 계수들의 교대합과 같다.
• 매끄럽고 유한한 $k$-스킴 $X$ 와 코herent 커널 $\mathcal{E}$ 에 대해 등식 (1.10) 이 성립한다: 베티 호모로지 추적의 교대합은 Hochschild 호모로지 차원의 교대합과 같다.
• 비가환 Hirzebruch-Riemann-Roch 공식 (1.12) 는 범주 $\mathsf{D}$ 에서의 자연스러운 쌍대를 통해 수립되며, $\mathrm{ch}_L(\mathbf{R}\mathrm{Hom}_{\mathcal{A}}(M,N)) = \langle \mathrm{ch}_L(N), \mathrm{ch}_L(DM) \rangle$ 이다.
• 만약 $L = \mathrm{HH}$ 라면, 카렌 캐릭터 $\mathrm{ch}_L$ 는 Dennis 추적 맵과 일치하며, 이는 Shklyarov의 결과 (1.6) 을 특수한 경우로 복원한다.
• 증명은 비가환 모티프의 실현이 강한 대칭 모노이드성을 갖기에 Künneth 공식을 만족하며, 이는 추적 및 쌍대 항등식이 범주론적으로 계산될 수 있음을 허용한다.
• 이 프레임워크는 모티프 함의성과 모노이드성의 형식적 결과로 고전적 및 비가환 인덱스 정리가 통합됨을 보여준다.