[논문 리뷰] A Deligne-Riemann-Roch isomorphism I: Preliminaries on virtual categories

Dennis Eriksson|ArXiv.org|2009. 04. 26.

Algebraic Geometry and Number Theory참고 문헌 19인용 수 3

한 줄 요약

이 논문은 호모토피 이론적 방법을 사용하여 정확한 카테고리의 가상 카테고리(virtual category)를 도입하고 분석함으로써, 함자적이고 메트라이즈드된 그로텐디크-리만-로흐 정리의 기초 도구를 확립한다. 이 카테고리에 애덤스 및 λ-연산을 구축하고, K₀-연산의 리프팅에 대한 강성 결과를 증명하며, 이 틀이 카라테오도리 교차 함수수와 유리수 카우프-카테고리와 연결됨을 보인다.

ABSTRACT

This is the first article in an upcoming series of papers. They have arisen through an attempt to answer open questions of Deligne proposed in "Le determinant de la cohomologie", Contemp. Mathematics 67 (1987). It amounts to functorial and metrized versions of the Grothendieck-Riemann-Roch theorem, as well as a Lefschetz-Riemann-Roch formula in the sense of Thomason, cf. "Lefschetz-Riemann-Roch theorem and coherent trace formula" Ann. Sci. Ec. Norm. Sup. 18 (1985), Theorem 3.5. In this article we treat various preliminary results on virtual categories which are the categories where the Deligne-Riemann-Roch theorem is originally formulated. Finally we compare our constructions to constructions of Franke on Chern intersection functors and Chow categories.

연구 동기 및 목표

• 델리뉴의 열린 질문들에 영감을 받아, 함자적이고 메트라이즈드된 그로텐디크-리만-로흐 정리의 카테고리적 프레임워크를 개발하기 위해.
• K₀와 K₁ 정보를 포착하는 K-이론의 호모토피 이론적 단순화로서, 소형 정확한 카테고리 C에 대해 가상 카테고리 V(C)를 정의하고 연구하기 위해.
• 가상 카테고리에 애덤스 연산 ψᵏ과 λ-연산을 유니버설 성질과 분할 원리를 통해 구축하고, 이들이 K₀ 수준의 연산과 호환됨을 증명하며, K₀에서의 연산 리프팅을 가능하게 하는 강성 결과를 도출하기 위해.
• 특히 프랭크의 카라테오도리 함수수와 유리수 카우프-카테고리와의 비교를 통해 기존 이론과의 관계를 분석하기 위해.
• 델리뉴의 매끄러운 곡선에 대한 작업을 확장하여, 향후 정수 계수 버전의 함자적 리만-로흐 정리의 기초를 다지기 위해.

제안 방법

• 소형 정확한 카테고리 C에 대해, BQ(C)를 Q-구성(Quillen Q-construction)으로 정의하고, V(C)를 ΩBQ(C)의 기본군대칭군(fundamental groupoid)으로 정의한다.
• 단순형 층 모델과 A¹-호모토피 이론을 사용하여, V(C)의 호모토피적 구조를 분석하며, 특히 자가동형사상군이 K₁(C)와 동형임을 규명한다.
• 유니버설 성질과 분할 원리를 통해 애덤스 연산 ψᵏ과 λ-연산을 V(C)에 구축하고, 이들이 K₀와의 호환성을 보임을 증명한다.
• 호모토피 대수학과 모델 구조를 사용하여, 정수를 역수로 나누었을 때 K₀-연산이 V(C)로 리프팅될 수 있음을 보여주는 강성 정리(정리 4.5)를 증명한다.
• 사이클 이론적 구성 방법을 통해 가상 카테고리가 유리수 카우프-카테고리 및 카라테오도리 교차 함수수와의 관계를 분석한다.
• A¹-호모토피 이론과 대수적 스택의 결과를 적용하여, 정칙 기반 위의 스킴에 대한 기본 언어와 도구를 정비한다.

실험 결과

연구 질문

• RQ1 가상 카테고리 V(C)는 정확한 카테고리에 대한 K-이론의 호모토피 이론적 보완으로 체계적으로 어떻게 구성될 수 있는가?
• RQ2 애덤스 및 λ-연산은 가상 카테고리에서 어떤 역할을 하는가? 그리고 K₀에서의 연산을 정규적으로 리프팅할 수 있는가?
• RQ3 강성 결과는 K₀-연산이 정수를 역수로 나누었을 때 가상 카테고리로 어떻게 확장되는지를 어느 정도 보장하는가?
• RQ4 가상 카테고리는 기존의 대수적 K-이론 구성, 특히 프랭크의 카라테오도리 함수수나 유리수 카우프-카테고리와 어떻게 관련이 있는가?
• RQ5 이 틀은 델리뉴가 요청한 lin정수 계수 버전의 함자적 리만-로흐 정리로 확장될 수 있는가?

주요 결과

• 가상 카테고리 V(C)는 이sov의류 클래스가 K₀(C)와 자연스러운 전단사 대응을 가지며, 자가동형사상군이 K₁(C)와 동형임을 보인다.
• Propositions 3.8과 3.10을 통해 V(C)에 정의된 애덤스 연산 ψᵏ과 λ-연산이 K₀ 수준의 연산과 호환됨을 입증한다.
• 강성 결과(정리 4.5)는 λ-연산과 가환하는 K₀(C)의 모든 연산이 정수를 역수로 나누었을 때 V(C)로 리프팅됨을 보여준다.
• Section 5에서 상세히 설명된 바와 같이, 가상 카테고리 구성은 유리수 카우프-카테고리 및 카라테오도리 교차 클래스와 호환됨을 입증한다.
• 이 틀은 특히 코homology의 행렬식과 관련된 2차 불변량에 대한 자연스러운 설정을 제공한다.
• 함자적이고 메트라이즈드된 리만-로흐 자료를 캡처하는 데에, 특히 행렬식 함수수의 맥락에서, 가상 카테고리 접근법이 매우 적합함을 보였다.