[논문 리뷰] A^1-homotopy invariance in spectral algebraic geometry

Denis-Charles Cisinski, Adeel A. Khan|arXiv (Cornell University)|2017. 05. 09.

Homotopy and Cohomology in Algebraic Topology참고 문헌 12인용 수 7

한 줄 요약

이 논문은 연결성 있는 E∞-환에 대해 스펙트럴 대수기하학에서의 A¹-호모토피 불변성과 고전적 모티빅 호모토피 이론 사이의 등치성을 확립하며, Weibel의 호모토피 불변 K-이론의 스펙트럴 대체 이론이 고전 이론으로 붕괴됨을 보여준다. 이는 일반화된 Bass–Thomason–Trobaugh 접근법을 통해 비연결성 대수기하학 K-이론의 새로운 구성법을 제안하고, 연결성 있는 E∞-환 R에 대해 KH(R) ≅ KH^cl(π₀(R))임을 증명한다.

ABSTRACT

We study two different flavours of A^1-homotopy theory in the setting of spectral algebraic geometry, and compare them to classical A^1-homotopy theory. As an application we show that the spectral analogue of Weibel's homotopy invariant K-theory collapses to the classical theory. Along the way we give a new construction of nonconnective algebraic K-theory of stable infinity-categories via a generalization of the Bass-Thomason-Trobaugh construction.

연구 동기 및 목표

• 스펙트럴 대수기하학에서의 A¹-호모토피 이론과 고전적 모티빅 호모토피 이론 사이의 체계적 비교를 수립하기 위해.
• 연결성 있는 E∞-환 위에서 매끄럽고 섬세하게 매끄러운 E∞-대수에서의 A¹-호모토피 불변성 간 비자명한 등치성을 해결하기 위해.
• Weibel의 호모토피 불변 K-이론(KH)의 스펙트럴 변종을 정의하고 고전 이론과 비교하기 위해.
• ∞-카테고리적 환경에서 일반화된 Bass–Thomason–Trobaugh 방법을 사용하여 비연결성 대수기하학 K-이론의 새로운 구성법을 제공하기 위해.
• 연결성 있는 E∞-환에 대해 스펙트럴 KH-이론이 그 0번째 호모토피 환의 고전 KH-이론과 동형임을 증명하기 위해.

제안 방법

• R 위의 매끄러운 E∞-대수에서의 Nisnevich 층의 두 ∞-카테고리를 정의한다: H(R)와 H♭(R). 두 카테고리 모두 A¹-호모토피 불변성을 요구한다.
• 자연스러운 결과를 일반화하여, 모든 연결성 있는 E∞-환에 대해 H(R) ≃ H^cl(π₀(R))임을 증명한다. 이는 섬세하게 매끄러운 대수와 고전적 매끄러운 대수의 비교를 통한 것이다.
• 스펙트럴 버전의 Bass 기본 수열을 구성하고, K₁(Gm)에 있는 Bott 클래스를 포함한 코일리미트를 통해 스펙트럴 KH-이론을 정의한다.
• Bott 주기화 함자와 스펙트럴 설정에서 고전 설정으로의 유도된 기저 변경을 사용하여 스펙트럴 및 고전적 모티빅 스펙트럼 간의 관계를 규명한다.
• ∞-카테고리적 강하와 국소화 기법을 적용하여 A¹♭-국소화가 A¹-국소화를 함의함을 보이고, 다양한 호모토피 불변 조건 간의 비교를 가능하게 한다.
• 제한 함자의 왼쪽 수반 함자가 Bott 주기화를 유지함을 이용하여, 스펙트럴-고전 비교 동안 주기성 성질을 전달할 수 있음을 활용한다.

실험 결과

연구 질문

• RQ1 스펙트럴 대수기하학에서의 A¹-호모토피 불변 조건은 고전적 모티빅 호모토피 이론의 것과 어떻게 비교될 수 있는가?
• RQ2 스펙트럴 대체 이론인 Weibel의 호모토피 불변 K-이론 KH(R)은 어느 정도까지 고전적 이론 KH^cl(π₀(R))과 일치하는가?
• RQ3 Bass–Thomason–Trobaugh 구성법은 ∞-카테고리적, 스펙트럴 설정에서 비연결성 대수기하학 K-이론을 정의하기 위해 일반화될 수 있는가?
• RQ4 A¹-호모토피 등치성 하에서, 모티빅 스펙트럼의 Bott 주기성이 고전 설정에서 스펙트럴 설정으로 확장되는가?
• RQ5 연결성 있는 E∞-환 위에서 매끄럽고 섬세하게 매끄러운 E∞-대수에서의 A¹-호모토피 불변 층의 ∞-카테고리 간 정확한 관계는 무엇인가?

주요 결과

• 모든 연결성 있는 E∞-환 R에 대해, 매끄러운 R-대수에서의 A¹-호모토피 불변 Nisnevich 층의 ∞-카테고리는 π₀(R)의 고전적 A¹-호모토피 카테고리와 동치이다. 즉, H(R) ≃ H^cl(π₀(R))이다.
• R이 E∞-Z-대수이면, 세 개의 ∞-카테고리 H(R), H♭(R), H^cl(π₀(R))는 모두 동치이다.
• 모든 연결성 있는 E∞-환 R에 대해, 스펙트럴 호모토피 불변 K-이론 KH(R)는 고전적 호모토피 불변 K-이론 KH^cl(π₀(R))과 자연스럽게 동형이다.
• 자유 E∞-대수 R{T}를 사용한 A¹-호모토피 불변성에 의한 KH(R)의 구성은, R[T]를 통한 고전적 구성과 카테고리의 동치 하에서 일치한다.
• Bott 주기화 함자는 스펙트럴에서 고전적 기하로의 기저 변경 함자와 가환하며, 주기성 성질의 전달을 가능하게 한다.
• Q(Lw! (K|A)) → KH|B의 자연스러운 사상은 Bott 주기적 모티빅 스펙트럼의 동형을 이룬다. 이는 스펙트럴 KH-이론이 K-스펙트럼의 주기화로부터 유도됨을 보여준다.