[논문 리뷰] Cdh Descent in Equivariant Homotopy $K$-Theory

Marc Hoyois|arXiv (Cornell University)|2016. 04. 21.

Homotopy and Cohomology in Algebraic Topology참고 문헌 14인용 수 21

한 줄 요약

이 논문은 희미한 선형 대수적 군의 분류 공간에 대한 기하 모델을 구축하여 등변 모티브 호모토피 이론의 맥락에서 호모토피 K-이론에 대해 cdh 수렴을 확립한다. 등변 모티브 K-이론 스펙트럼이 E∞-환으로 구성되었을 때, 임의의 기저 변경 하에 대해 cdh 수렴과 호모토피 불변성을 만족함을 증명하며, Cisinski의 cdh 수렴 결과를 쿼티언트 스택으로 확장한다. 이는 쿼티언트 스택에 대해 선형으로 재구성 가능한 군에 의한 작용을 갖는 쿼티언트 스택에 대해 적용된다.

ABSTRACT

We construct geometric models for classifying spaces of linear algebraic groups in G-equivariant motivic homotopy theory, where G is a tame group scheme. As a consequence, we show that the equivariant motivic spectrum representing the homotopy K-theory of G-schemes (which we construct as an E-infinity-ring) is stable under arbitrary base change, and we deduce that homotopy K-theory of G-schemes satisfies cdh descent.

연구 동기 및 목표

• 스킴에서 호모토피 K-이론에 대한 cdh 수렴을 선형으로 재구성 가능한 대수적 군에 의한 쿼티언트 스택으로 확장한다.
• 정규 스택에서 K-이론과 일치하는 잘 정의된 호모토피 K-이론 스펙트럼 KH를 희미한 아르틴 스택에 대해 정의한다.
• KH가 cdh 셰이프임을 확립하고, 등변 설정에서 강력한 호모토피 불변성과 Bott 주기성을 만족함을 보인다.
• 등변 모티브 호모토피 설정에서 선형 대수적 군의 분류 공간에 대한 기하 모델을 구축한다.
• 결과로 얻어진 K-이론 스펙트럼이 임의의 기저 변경 하에 안정함을 증명하여 등변 K-이론에서의 수렴 결과를 가능하게 한다.

제안 방법

• 등변 설정에서 Morel과 Voevodsky의 방법을 일반화하여 희미한 군 스킴의 등변 분류 공간에 대한 기하 모델을 구축한다.
• 스택 X가 Nisnevich-국소적으로 분할 가능한 벡터(bundle) 토르서를 갖는 경우, KB(Δ• × X)의 기하적 실현으로 KH를 정의하여 Bott 주기성과의 호환성을 확보한다.
• 안정 등변 모티브 호모토피 이론을 사용하여, 스무스 N-준프로젝티브 X-스택에 대해 SH(X) 내에서 E∞-환 스펙트럼 KGLX로 KH를 표현한다.
• 모티브 등가성의 E∞-공간에 기반하여, N-준프로젝티브 사상 하에서 {KGLX}X∈tqStkB의 기저 변경 호환성을 증명한다.
• 군 완성과 아르티노 셰이프화 기법을 활용하여, N-준프로젝티브 사상에 沿해 KGLX의 당김이 동치임을 보인다.
• 우변 칸 확장을 적용하여, 하위범주에서 전체 2-category tqStkB로의 구성 확장을 보장하며, 전역 코카르티esian構조를 확보한다.

실험 결과

연구 질문

• RQ1 G가 희미한 선형 대수적 군일 때, 쿼티언트 스택 [X/G]에 대해 호모토피 K-이론이 cdh 수렴을 만족하는가?
• RQ2 등변 모티브 호모토피 호모토피 카테고리에서 cdh 수렴을 지원하는 기하 모델로 BG를 구성할 수 있는가?
• RQ3 이러한 스택에 대해 등변 모티브 K-이론 스펙트럼 KH(X)는 호모토피 불변성과 Bott 주기성을 만족하는 E∞-환 스펙트럼으로 표현 가능한가?
• RQ4 스택들 tqStkB 위의 모티브 스펙트럼 {KGLX}에 대해 기저 변경 성질이 성립하는가?
• RQ5 기하적 실현을 통해 유한하거나 대각선형 군 작용을 갖는 스택으로 cdh 수렴 결과를 확장할 수 있는가?

주요 결과

• 호모토피 K-이론 스펙트럼 KH는 희미한 쿼티언트 스택의 2-category tqStkB 위에서 E∞-환 스펙트럼으로 구성되었으며, cdh 수렴을 만족한다.
• 정규 스택 X에 대해 K(X) → KH(X)는 동치이며, 고전적 K-이론과의 호환성을 보장한다.
• KH는 강력한 호모토피 불변성을 만족한다: 임의의 벡터(bundle)에 대한 fpqc 토르서 p: Y → X에 대해, 당김 p∗: KH(X) → KH(Y)는 동치이다.
• Bott 주기성이 성립한다: 임의의 X 위의 벡터(bundle) V에 대해, KH(X)-모듈러 동치 KH(V) ≃ KH(X)가 존재한다.
• G가 유한하거나 Nisnevich-국소적으로 대각선형일 경우, X = [X/G]에 대해 KH(X)는 KB(Δ• × X)로 기하적으로 실현되며, Weibel의 정의를 일반화한다.
• X ↦ KGLX의 할당은 N-준프로젝티브 사상 위에서 CAlg(SH(−))의 코카르티esian 섹션을 이룬다. 이는 KH가 tqStkB 위의 cdh 셰이프임을 의미한다.