[논문 리뷰] Chern class and Riemann-Roch theorem for cohomology theory without homotopy invariance

Masanori Asakura, Kanetomo Sato|arXiv (Cornell University)|2013. 01. 24.

Homotopy and Cohomology in Algebraic Topology참고 문헌 45인용 수 6

한 줄 요약

이 논문은 호모토피 불변성이나 코homology 이론에서의 순수성 조건을 가정하지 않고도 높은 체르누 클래스와 리만-로흐 정리의 프레임워크를 개발한다. 제1 체르누 클래스, 프로젝티브 번들의 공식, 엄격한 닫힌 포함에 대한 푸시포워드를 기반으로 하는 공리 체계를 사용하여, 이러한 일반화된 코homology 이론에서 높은 K-군에 대해 분모가 없는 리만-로흐 정리를 확립한다.

ABSTRACT

In this paper, we formulate axioms of certain graded cohomology theory for which Chern class maps from higher K-theory are defined, following the method of Gillet [Gi1]. We will not include homotopy invariance nor purity in our axioms. It will turn out that the Grothendieck-Riemann-Roch theorem and the Riemann-Roch theorem without denominators hold for our higher Chern classes. We will also give two applications of our Riemann-Roch results.

연구 동기 및 목표

• 호모토피 불변성 또는 순수성을 요구하지 않는 코homology 이론 프레임워크를 제시하고, 질레트의 공리적 접근을 확장한다.
• 이러한 일반화된 코homology 이론에서 대수적 K-이론의 높은 체르누 클래스와 특성을 정의한다.
• 이 넓은 맥락에서 분모가 없는 리만-로흐 정리를 확립한다.
• 높은 K-이론에 대한 리만-로흐 결과의 응용을 대수기하학에서 제시한다.
• 단순 복합체에서 프로젝티브 번들의 공식과 푸시포워드 구조 간의 호환성을 검증한다.

제안 방법

• Gm[-1]에서 Γ(1)로의 제1 체르누 클래스 사상, 프로젝티브 번들의 공식, 엄격한 닫힌 포함에 대한 푸시포워드를 포함하는 세 핵심 공리로 적합한 코homology 이론을 정의한다.
• 질레트의 방법을 활용하여 호모토피 불변성이 없는 코homology 이론에 적합하게 높은 체르누 클래스를 구성한다.
• 유도 범주에서 f!: f*Γ(i)Y → Γ(i+r)X[2r] 형태의 푸시포워드 사상들을 활용하여 체르누 클래스와의 호환성과 전이 성질을 보장한다.
• 벡터 번들의 프로젝티브 완비화에 대해 f!(1) = cr(Q)라는 핵심 항등식이 H^{2r}(X, Γ(r))에서 성립함을 증명하여 프로젝티브 번들의 공식과 푸시포워드 간의 호환성을 확립한다.
• 프레임워크를 활용하여 높은 K-군에 대해 분모가 없는 리만-로흐 정리를 증명한다.
• 유도 범주와 무한 복합체에서의 호모토피 이론을 활용하여 유도 범주 내에서의 호모토피 관계의 일관성을 보장한다.

실험 결과

연구 질문

• RQ1 호모토피 불변성이 없는 코homology 이론에서 높은 체르누 클래스와 리만-로흐 정리를 어떻게 구성할 수 있는가?
• RQ2 엄격한 닫힌 포함에 대한 푸시포워드 구조는 어떻게 정의하고, 프로젝티브 번들의 공식과 어떻게 호환시킬 수 있는가?
• RQ3 순수성과 호모토피 불변성이 없을 경우, 분모가 없는 리만-로흐 정리가 성립하기 위한 조건은 무엇인가?
• RQ4 프로젝티브 번들의 공식과 체르누 클래스 구성 간의 호환성을 어떻게 공식적으로 확립할 수 있는가?
• RQ5 이 프레임워크는 일반화된 코homology 이론에서 높은 대수적 K-이론과 초주기군에 어떤 영향을 미치는가?

주요 결과

• 호모토피 불변성 또는 순수성을 만족하지 않는 적합한 코homology 이론에서 높은 체르누 클래스에 대해 분모가 없는 리만-로흐 정리가 성립한다.
• 제로 섹션 f: Y → X = P(E ⊕ 1)에 대해 H^{2r}(X, Γ(r))에서 f!(1) = cr(Q)라는 항등식이 성립함으로써, 프로젝티브 번들의 공식과 푸시포워드 공리 간의 호환성이 확립된다.
• 세 핵심 공리가 만족될 경우, 질레트의 방법을 활용한 높은 체르누 클래스의 구성은 호모토피 불변성이 없는 코homology 이론으로도 확장 가능하다.
• 유도 범주 D((X•)Zar)는 푸시포워드와 호모토피 관계에 대해 일관된 프레임워크를 제공하여 이론의 타당성을 보장한다.
• 이 프레임워크는 §11–13에서 두 가지 응용을 가능하게 하여, 높은 K-이론과 대수기하학의 순환류에 응용 가능성을 입증한다.
• 제1 체르누 클래스가 푸시포워드와 프로젝티브 번들과 호환됨이 공식적으로 검증되어, 단순 복합체에서의 벡터 번들의 유클리드 합 공식이 가능해진다.