[논문 리뷰] Equivariant Motivic Homotopy Theory

Philip Herrmann|arXiv (Cornell University)|2013. 12. 01.

Homotopy and Cohomology in Algebraic Topology참고 문헌 10인용 수 8

한 줄 요약

이 논문은 등변 모티브 호모토피 이론에서 새로운 고정점 Nisnevich 위상을 도입하여, 모든 부분군에 대해 고정점 함자들을 통한 등변 약한 동치의 탐지가 가능하게 한다. A¹-국소 약한 동치가 고정점에서의 행동에 의해 특징지어짐을 증명하고, 이 위상에서 등변 대수적 K-이론이 내림내림을 만족하지 못함을 보이며, 이는 등변 Nisnevich 위상에서의 결과와 대조된다.

ABSTRACT

In this paper we study a model structure on a category of schemes with a group action and the resulting unstable and stable equivariant motivic homotopy theories. The new model structure introduced here samples a comparison to the one by Voevodsky and Hu-Kriz-Ormsby. We show that it allows to detect equivariant motivic weak equivalences on fixed points and how this property leads to a topologically convenient behavior of stable equivalences. We also prove a negative result concerning descent for equivariant algebraic K-theory.

연구 동기 및 목표

• 등변 모티브 호모토피 이론을 위한 새로운 모델 구조를 고정점 Nisnevich 위상 기반으로 개발하기.
• 모든 부분군 H ≤ G에 대해 고정점에서의 행동을 통해 등변 약한 동치를 특징짓기.
• 유도된 안정 등변 모티브 호모토피 이론의 안정성 성질 연구하기.
• 등변 대수적 K-이론이 새로운 위상에서 내림내림을 만족하는지 결정하기.
• 새로운 위상과 기존 위상(특히 등변 Nisnevich 및 등변 위상) 간의 비교하기.

제안 방법

• G-스킴 위에 새로운 그로텐디크 위상을 도입함: H-Nisnevich(또는 고정점 Nisnevich) 위상으로, 그 고정점이 Nisnevich 커버를 이루는 사상이 커버로 간주됨.
• G-매끄러운 스킴 위의 단순형 전층에서, 사상 f 가 국소 약한 동치일 조건은 모든 H ≤ G에 대해 f^H 가 sPre(Sm/k)에서 국소 약한 동치임을 증명함.
• 고정점 함자들과 호환되는 부쉬ield 국소화를 사용하여, A¹-국소 약한 동치가 고정점에 의해 탐지됨을 증명함.
• 진정된 G-스펙트럼에 대한 레이스-메이 고정점과 기하학적 고정점의 모티브 해석을 구성함.
• 등변 K-이론과 그 내림내림 실패를 분석하기 위해 호모토피 극한과 Cech 내림내림 기법을 적용함.
• 메르쿠제프 및 다른 이들의 토르서 및 갈루아 확장에서의 등변 K-이론 결과를 활용하여 내림내림 가정에서 모순을 도출함.

실험 결과

연구 질문

• RQ1 고정점 Nisnevich 위상은 모든 부분군 H ≤ G에 대해 고정점 함자를 통한 등변 약한 동치의 탐지가 가능한가?
• RQ2 비안정 등변 모티브 호모토피 범주에서 A¹-국소 약한 동치는 고정점 행동에 의해 특징지어질 수 있는가?
• RQ3 모티브 고정점 함자와 기하학적 고정점 함자는 안정 등변 모티브 범주에서 등변 안정 약한 동치를 탐지하는가?
• RQ4 등변 대수적 K-이론은 H-Nisnevich 위상에 대해 내림내림을 만족하는가?
• RQ5 H-Nisnevich 위상은 내림내림 성질 측면에서 등변 Nisnevich 및 등변 위상과 어떻게 비교되는가?

주요 결과

• 모든 부분군 H ≤ G에 대해, sPre(GSm/k) 내의 사상 f 는 f^H 가 sPre(Sm/k)에서 A¹-국소 약한 동치일 때이고 그 때에만 A¹-국소 약한 동치이다.
• 고정점 Nisnevich 위상은 고정점에 의한 등변 국소 약한 동치의 탐지를 가능하게 하여, 안정 동치에 대해 위상적으로 유용한 프레임워크를 제공한다.
• 모티브 고정점 함자와 기하학적 고정점 함자는 등변 안정 약한 동치를 탐지하며, 이는 고전 결과를 모티브 설정으로 일반화한 것이다.
• 등변 대수적 K-이론은 H-Nisnevich 위상에 대해 내림내림을 만족하지 않으며, K^et(Spec(R))의 브라우어 군의 토르션에 의해 발생하는 모순으로 증명된다.
• 동일한 반례는 세르페(2010)의 등변 위상 내림내림 주장도 무효화하며, 등변 위상 Nisnevich 커버가 K-이론에 대해 내림내림을 유도하지 않음을 보여준다.
• 내림내림 실패의 원인은 브라우어 군의 비자명한 l-토르션으로, 이는 내림내림 스펙트럴 시퀀스와 Cech 네트워크에 대한 호모토피 극한을 통해 탐지된다.