[논문 리뷰] Operational K-theory

Dave Anderson, Sam Payne|arXiv (Cornell University)|2013. 01. 03.

Algebraic Geometry and Number Theory참고 문헌 39인용 수 17

한 줄 요약

이 논문은 코herent sheaf의 Grothendieck K₀ 이론과 쌍대적인 bivariant 이론으로서의 운영 K-이론을 도입하며, 운영 차우 이론과 유사한 성질을 지닌 기하학적으로 강건한 불변량으로서 그 성립을 확립한다. 주요 결과로는 A¹-호모토피 불변성, 차우 봉입에 대한 강하, 완전 선형 다양체에 대한 쌍대성 등을 증명하며, 토릭 다양체의 에르고딕 운영 K-이론이 팬 위의 조각적 지수함수와 명시적으로 일치함을 규명한다.

ABSTRACT

We study the operational bivariant theory associated to the covariant theory of Grothendieck groups of coherent sheaves, and prove that it has many geometric properties analogous to those of operational Chow theory. This operational K-theory agrees with Grothendieck groups of vector bundles on smooth varieties, admits a natural map from the Grothendieck group of perfect complexes on general varieties, satisfies descent for Chow envelopes, and is A^1-homotopy invariant. Furthermore, we show that the operational K-theory of a complete linear variety is dual to the Grothendieck group of coherent sheaves. As an application, we show that the K-theory of perfect complexes on any complete toric threefold surjects onto this group. Finally, we identify the equivariant operational K-theory of an arbitrary toric variety with the ring of integral piecewise exponential functions on the associated fan.

연구 동기 및 목표

• 코herent sheaf의 Grothendieck K₀ 이론과 쌍대적인 bivariant 운영 K-이론을 개발하기 위해.
• 특이성 또는 Q-계수화되지 않은 다양체에서 전통적 K-이론의 한계를 극복하여, K₀와 K^∘가 일치하지 않거나 계산이 어려운 경우에도 유용하도록 하기 위해.
• A¹-호모토피 불변성, 차우 봉입에 대한 강하, 완전 선형 다양체에 대한 쌍대성과 같은 기하학적 성질을 확립하기 위해.
• 고전적 리만-로흐 정리의 일반화 및 강화를 위한 계산 가능하고 잘 행동하는 이론을 제공하기 위해.

제안 방법

• Fulton과 MacPherson의 일반적 구성에 따라, 공변 K₀ 이론과 관련된 bivariant 이론으로서 운영 K-이론을 구성하기 위해.
• 운영 K-이론의 원소를, 적절한 피보터 스퀘어에 따라 인덱싱된 K₀(Y') → K₀(X') 연산자들의 집합으로 정의하며, 이는 적절한 푸시포워드, 평행 끌어올림, Gysin 사상과 가환성을 만족한다.
• f-완전 복합체가 공식 [F] ↦ ∑(−1)^i [Tor_i^Y(P_•, F)]를 통해 이러한 연산자들을 유도함을 보임.
• 완전 선형 다양체의 운영 K-이론이 크로네커 쌍대성에 의해 K₀(X)의 쌍대임을 증명함.
• 강하 및 초초기구 기법을 사용하여, 토릭 다양체의 에르고딕 운영 K-이론을 그 팬 위의 정수 조각적 지수함수의 링과 일치시킴.
• 스펙트럴 시퀀스 및 에르고딕 초초기구를 활용하여 단순 복합체의 K-이론을 계산하고, 강하 동형사상의 성립을 증명함.

실험 결과

연구 질문

• RQ1 K₀와 쌍대적이며 운영 차우 이론과 유사한 기하학적 성질을 지닌 bivariant 운영 K-이론을 구성할 수 있는가?
• RQ2 운영 K-이론은 일반 스킴에서 A¹-호모토피 불변성과 차우 봉입에 대한 강하를 만족하는가?
• RQ3 완전 선형 다양체에서 운영 K-이론과 K₀ 사이에 쌍대성이 존재하는가?
• RQ4 토릭 다양체의 에르고딕 운영 K-이론은 그 팬의 조합론적 자료로 명시적으로 기술될 수 있는가?
• RQ5 완전 토릭 3차원 다양체에서 완전 복합체의 K-이론은 코herent sheaf의 그로텐디크 군에 전사하는가?

주요 결과

• 운영 K-이론은 A¹-호모토피 불변성을 지니며, 차우 봉입에 대한 강하를 만족하여 기하학적 연산에서 잘 행동함.
• 매끄러운 다양체에서는 운영 K-이론이 K^∘(X), 즉 벡터 번들의 그로텐디크 군과 일치함.
• 모든 완전 선형 다양체에서 운영 K-이론은 K₀(X)와 쌍대적이며, 크로네커 쌍대성을 확립함.
• 모든 완전 토릭 3차원 다양체에서 완전 복합체의 K-이론은 K₀(X)에 전사함으로써 핵심 계산 문제를 해결함.
• 토릭 다양체의 에르고딕 운영 K-이론은 그 팬 위의 정수 조각적 지수함수의 링과 동형임을 규명함.
• 일반 다양체에서 완전 복합체의 그로텐디크 군으로부터 자연스러운 사상이 존재하여 고전적 K-이론을 확장함.