[논문 리뷰] Units of ring spectra and Thom spectra

Matthew Ando, Andrew J. Blumberg외 3명|ArXiv.org|2008. 10. 24.

Homotopy and Cohomology in Algebraic Topology참고 문헌 35인용 수 43

한 줄 요약

이 논문은 현대 호모토피 이론을 사용하여 $E_\infty$ 및 $A_\infty$ 링 스펙트럼에서의 톰 스펙트럼과 방향성에 대한 통합된 프레임워크를 수립한다. units 스펙트럼 $gl_1A$ 가 $Σ^\infty_+\Omega^\infty$ 에 대한 오른쪽 수반임을 증명하고, $A$-모듈러스 톰 스펙트럼 $Mf$ 가 $R$-방향성을 가질 조건은 $B \to BGL_1A \to BGL_1R$ 의 복합이 0임을 보이며, 이는 고전적인 방향성에 대한 장애이론을 일반화한다.

ABSTRACT

We review and extend the theory of Thom spectra and the associated obstruction theory for orientations. We recall (from May, Quinn, and Ray) that a commutative ring spectrum A has a spectrum of units gl(A). To a map of spectra f: b -> bgl(A), we associate a commutative A-algebra Thom spectrum Mf, which admits a commutative A-algebra map to R if and only if b -> bgl(A) -> bgl(R) is null. If A is an associative ring spectrum, then to a map of spaces f: B -> BGL(A) we associate an A-module Thom spectrum Mf, which admits an R-orientation if and only if B -> BGL(A) -> BGL(R) is null. We also note that BGL(A) classifies the twists of A-theory. We develop and compare two approaches to the theory of Thom spectra. The first involves a rigidified model of A-infinity and E-infinity spaces. Our second approach is via infinity categories. In order to compare these approaches to one another and to the classical theory, we characterize the Thom spectrum functor from the perspective of Morita theory.

연구 동기 및 목표

• 톰 스펙트럼의 고전적 장애이론을 $A_\infty$ 링 스펙트럼으로 확장하기.
• 링 스펙트럼의 units를 $Σ^\infty_+\Omega^\infty$ 에 대한 오른쪽 수반으로서 현대적이고 호모토피적으로 일관된 형태로 제시하기.
• $∞$-카테고리와 매개화된 스펙트럼를 사용하여 $E_\infty$ 및 $A_\infty$ 환경에서의 톰 스펙트럼 이론을 통합하기.
• 모리타 이론을 통해 톰 스펙트럼 함자를 기하학적 구조인 선형 번들의 성질과 가역 모듈러스와 연결지어 특성화하기.

제안 방법

• HTT에서 제시한 $∞$-카테고리 프레임워크를 사용하여 매개화된 스펙트럼를 모델링하고, 왼쪽 칸 확장을 통해 톰 스펙트럼를 정의하기.
• $Σ^\infty_+\Omega^\infty$ 에 대한 오른쪽 수반으로서 $gl_1A$ 의 스펙트럼를 구성함으로써, 연결 스펙트럼의 호모토피 카테고리와 $E_\infty$ 링 스펙트럼 사이의 유도 수반을 확립하기.
• $A$ 가 $A_\infty$ 링 스펙트럼일 경우, $f: B \to BGL_1A$ 가 선형 번들을 분류한다고 할 때, $B \to BGL_1A \to \mathrm{Mod}_A$ 의 다이어그램의 코일리미트를 통해 $A$-모듈러스 톰 스펙트럼 $Mf$ 를 정의하기.
• 수반과 호모토피 프로젝션을 사용하여, $R$-모듈러스의 $∞$-카테고리에서의 사상 공간을 포함하는 프로젝션으로서 $Mf$ 의 $R$-방향성 공간을 특성화하기.
• 두 가지 등가적인 접근 방식을 수립하기: 하나는 [Blum05, BCS08] 에서 제시한 $A_\infty$ 공간의 강화된 모델을 사용하고, 다른 하나는 $∞$-카테고리와 대칭 모노이드 구조를 사용하기.
• 모리타 이론을 적용하여, 톰 스펙트럼 함수가 $R$-대수에서 $R$-선형 번들로의 忘却 함수에 대한 왼쪽 수반으로서의 보편 성질을 통해 특성화됨을 보여주기.

실험 결과

연구 질문

• RQ1 고전적인 톰 스펙트럼의 방향성에 대한 장애이론은 어떻게 현대적 $∞$-카테고리적 및 호모토피 대수학을 사용하여 재구성될 수 있는가?
• RQ2 $E_\infty$ 링 스펙트럼 $A$ 에 대해 스펙트럼의 units $gl_1A$ 의 정확한 호모토피적 성격은 무엇이며, $Σ^\infty_+\Omega^\infty$ 함수와 어떻게 관련되는가?
• RQ3 톰 스펙트럼과 방향성의 이론은 $E_\infty$ 에서 $A_\infty$ 링 스펙트럼으로 일관적이고 계산 가능한 방식으로 확장될 수 있는가?
• RQ4 강화된 공간과 $∞$-카테고리의 두 가지 접근 방식은 어떻게 동일한 톰 스펙트럼 함수의 구성으로 이어지는가?
• RQ5 모리타 이론은 톰 스펙트럼 함수를 보편적 구성으로 특성화하는 데 어떤 역할을 하는가?

주요 결과

• $gl_1A$ 는 연결 스펙트럼에서 $E_\infty$ 링 스펙트럼로 가는 함수 $Σ^\infty_+\Omega^\infty$ 에 대한 오른쪽 수반으로서, 유도 수반을 확립한다.
• $E_\infty$ $A$-대수 톰 스펙트럼 $Mf$ 가 $E_\infty$ $R$-대수로 가는 사상이 존재하기는 조건은 $b \to bgl_1A \to bgl_1R$ 의 복합이 0임을 보이며, 이는 고전적인 장애 조건을 일반화한다.
• $A$ 가 $A_\infty$ 링 스펙트럼일 경우, $f: B \to BGL_1A$ 에 의해 분류되는 선형 번들과 관련된 $A$-모듈러스 톰 스펙트럼 $Mf$ 가 $R$-방향성을 가질 조건은 $B \to BGL_1A \to BGL_1R$ 가 0임을 보이며, 이는 $A_\infty$ 환경으로의 장애이론 확장을 제공한다.
• $Mf$ 의 $R$-방향성 공간은 $f$ 가 자명한 선형 번들로의 올림을 나타내는 것으로, $R$-모듈러스의 $∞$-카테고리에서의 호모토피 프로젝션으로서 동치이다.
• $R$-선들 위에서 항등함수로 정의된 톰 스펙트럼 $MR$ 는 $R^\circ / \mathrm{Aut}(R^\circ)$ 와 동치이며, 이는 단위 구면의 자동사상에 의한 호모토피 몫이다.
• 모리타 이론을 통한 통합: 톰 스펙트럼 함수는 $R$-대수에서 $R$-선형 번들로의 忘却 함수에 대한 왼쪽 수반으로서 보편 성질을 통해 특성화되며, 이는 보편적 성질을 제공한다.