[논문 리뷰] Grothendieck-Riemann-Roch for derived schemes

Parker E. Lowrey, Timo Schürg|arXiv (Cornell University)|2012. 08. 30.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 4

한 줄 요약

이 논문은 매끄러운 기저 위의 유도 스킴의 호모토피 범주에서 이중형 대수적 K-이론과 이중형 유도 초월 이론을 정의하여, 유도 스킴에 대한 호모로지적이고 코호모로지적일 뿐만 아니라 그로텐디크-리만-로흐 공식을 수립한다. K-이론에서 유도 초월 이론으로 가는 캐런 지도가 가상의 고스인 호모모르피즘과 토드 클래스를 연결함으로써, 준매끄러운 사상에 대해 캐논-콘스테비치의 가상 클래스 공식을 복원하는 GRR 공식을 도출한다.

ABSTRACT

We define bivariant algebraic K-theory and bivariant derived Chow on the homotopy category of derived schemes over a smooth base. The orientation on the latter corresponds to virtual Gysin homomorphisms. We then provide a morphism between these two bivariant theories and compare the two orientations. This comparison then yields a homological and cohomological Grothendieck-Riemann-Roch formula for virtual classes.

연구 동기 및 목표

• 매끄러운 기저 위에 준가역적 기저를 가진 유도 스킴에 대해 이중형 K-이론과 이중형 운영 초월 이론을 확장한다.
• 준매끄러운 사상에 대해 이러한 이론에 대한 방향성을 정의하고, 이를 가상의 매끄러운 구조로 해석한다.
• 이중형 K-이론과 이중형 유도 초월 이론 사이의 사상 구축 및 그 방향성 비교.
• 유도 대수기하학에서 가상 클래스에 대한 그로텐디크-리만-로흐 공식 유도.
• 유도 프레임워크가 가상 현상, 특히 완전한 장애 이론을 통해 교차 이론에서 자연스럽게 설명됨을 보임.

제안 방법

• 상대적으로 완전한 복합체의 그로텐디크 군을 사용하여 유도 스킴 위에서 이중형 대수적 K-이론 정의.
• 등식 $ d\mathrm{CH}(X) \cong \mathrm{CH}(\overline{X}) $ 를 사용하여 기저 스킴 위의 초월 군의 운영 확장을 통해 이중형 유도 초월 이론 정의.
• 이중형 구조와 호환되는 캐런 지도 $ \tau: K \to d\mathrm{CH}_{\mathbb{Q}} $ 구축.
• 방향성 할당: K-이론에서 $[\mathcal{O}_X]$ 와 초월 이론에서의 가상 고스인 호모모르피즘 $[f^{!}]_{\text{vir}}$.
• $ \tau([\mathcal{O}_X]) = \mathrm{Td}(\mathbb{T}_{X/Y}) \cap [f^{!}]_{\text{vir}} $ 를 증명하여 두 방향성을 연결.
• 정규 쌍정의와 $ \mathbb{A}^1 $-불변성을 사용하여 $ \mathcal{O}_X $-곱셈이 K-이론에서 가상 고스인에 대응함을 보임.

실험 결과

연구 질문

• RQ1 이중형 이론이 유도 스킴으로 어떻게 확장되어 가상의 교차 이론적 현상을 포착할 수 있는가?
• RQ2 유도 초월 이론에서의 가상 고스인 호모모르피즘과 K-이론에서의 구조층 사이의 정확한 관계는 무엇인가?
• RQ3 K-이론과 유도 초월 이론 사이의 캐런 지도가 두 방향성을 어떻게 연결하는가?
• RQ4 유도 스킴가 외부 자료 없이 가상 클래스를 얼마나 자연스럽게 포함하는가?
• RQ5 유도 프레임워크가 고전적 GRR 공식과 콘스테비치의 가상 클래스 공식을 어떻게 복원하는가?

주요 결과

• 사상 $ \tau: K \to d\mathrm{CH}_{\mathbb{Q}} $ 는 이중형 이론의 잘 정의된 사상이다.
• 이중형 K-이론의 방향성 $[\mathcal{O}_X]$ 는 $ \tau $ 에서 $ \mathrm{Td}(\mathbb{T}_{X/Y}) \cap [f^{!}]_{\text{vir}} $ 로 매핑되며, 이는 유도 초월 이론에서의 가상 고스인 호모모르피즘이다.
• 적절한 준매끄러운 사상 $ f: X \to Y $ 에 대해 주요 GRR 공식은 $ ch(f_*(\mathcal{P})) \cap \mathrm{Td}(\mathbb{T}_{Y/k}) \cap [Y]_{\text{vir}} = f_*(ch(\mathcal{P}) \cap \mathrm{Td}(\mathbb{T}_{X/k}) \cap [X]_{\text{vir}}) $ 이다.
• 만약 $ Y $ 가 매끄럽다면, 공식은 $ [\mathcal{P}] = \sum (-1)^i [\mathcal{H}^i(\mathcal{P})] $ 를 통해 기저 스킴 위의 계산으로 축소된다.
• 유도 프레임워크는 가상 현상을 고전적 방법의 자연스러운 확장으로 설명하며, 특히 구조층이 장애 데이터를 캡슐화함으로써 이를 가능하게 한다.
• 특수한 경우로, 특성 0인 체 위에서 매끄러운 스킴에 매끄러운 임베딩이 존재할 경우, 결과는 [CFK09, Theorem 4.2.3]을 특수한 케이스로 복원한다.