[논문 리뷰] Actions of Eilenberg-MacLane spaces on K-theory spectra and uniqueness of twisted K-theory

Benjamin Antieau, David Gepner외 1명|arXiv (Cornell University)|2011. 06. 25.

Homotopy and Cohomology in Algebraic Topology참고 문헌 15인용 수 5

한 줄 요약

이 논문은 에일렌베르크-맥클레인 공간 $K(\mathbb{Z},3)$ 에서 $BGL_1K$ 로의 모든 맵과 $K(\mathbb{Z}/2,2)$ 에서 $BGL_1KO$ 로의 모든 맵이 원천 공간의 자기형사에 의해 호모토피류로 유일하게 결정됨을 보여, 에일렌베르크-맥클레인 공간의 $K$-이론 계산을 통해 복소수 및 실수 경우의 왜곡 K-이론의 유일성을 확립한다. 핵심 결과는 이러한 맵들의 공간이 각각 $\mathbb{Z}$ 와 $\mathbb{Z}/2$ 와 동형임을 보여, 다양한 정의가 모두 일치함을 보장한다.

ABSTRACT

We prove the uniqueness of twisted K-theory in both the real and complex cases using the computation of the K-theories of Eilenberg-MacLane spaces due to Anderson and Hodgkin. As an application of our method, we give some vanishing results for actions of Eilenberg-MacLane spaces on K-theory spectra.

연구 동기 및 목표

• 복소수 및 실수 경우에서 다양한 정의에 걸쳐 왜곡 K-이론의 유일성을 확립하기 위해.
• 에일렌베르크-맥클레인 공간 $K(\mathbb{Z},3)$ 와 $K(\mathbb{Z}/2,2)$ 에서 $K$-이론 스펙트럼의 단위군의 분류공간인 $BGL_1K$ 와 $BGL_1KO$ 로의 맵을 분류하기 위해.
• 모든 이러한 맵이 원천 공간의 자기형사에 의해 호모토피류로 결정됨을 보여, 정의 간 일관성을 확보하기 위해.
• 스펙트럴 계산을 통해 에일렌베르크-맥클레인 공간이 $K$-이론 스펙트럼에 작용할 때의 영성 결과를 제공하기 위해.

제안 방법

• 스펙트럼 $GL_1K$ 가 $K(\mathbb{Z}/2,0) \times K(\mathbb{Z},2) \times BSU_\otimes$ 로 분해됨을 이용해 $K(\mathbb{Z},3)$ 에서 $BGL_1K$ 로의 맵을 분석한다.
• Anderson 와 Hodgkin 이 수행한 에일렌베르크-맥클레인 공간의 $K$-이론 계산을 적용하여 $K(\mathbb{Z},3)$ 에서 $BGL_1K$ 로의 맵의 군을 결정한다.
• $BBSU_\otimes$ 성분이 $[K(\mathbb{Z},3), BBSU_\otimes]$ 에 대해 자명하게 기여함을 보여, 맵이 $K(\mathbb{Z},3)$ 를 통해 인식됨을 시사한다.
• 무한 루프 공간 분해의 델로핑을 적용하여 $BGL_1K$ 를 $K(\mathbb{Z}/2,1) \times K(\mathbb{Z},3) \times BBSU_\otimes$ 와 연결한다.
• 프레드홀름 연산자에 대한 $PU(\mathcal{H}) \simeq K(\mathbb{Z},3)$ 의 작용을 이용해 조아히무의 $K$-이론 스펙트럼에 스펙트럼 수준의 작용을 구성한다.
• 조아히무의 스펙트럼에 대한 $PU(\mathcal{H})$ 의 코어이션 작용이 $A_\infty$-맵을 유도하며, 이는 $K(\mathbb{Z},3) \to BGL_1K$ 로의 맵으로 델로핑됨을 보여준다.

실험 결과

연구 질문

• RQ1 모든 $K(\mathbb{Z},3)$ 에서 $BGL_1K$ 로의 맵은 $K(\mathbb{Z},3)$ 를 통해 인식되는 호모토피류로 동치인가?
• RQ2 $[K(\mathbb{Z},3), BGL_1K]$ 의 호모토피류 클래스의 군은 무엇인가?
• RQ3 $BGL_1K$ 로의 맵을 통해 유도된 왜곡 $K$-이론의 다양한 정의는 어떻게 관련되어 있는가?
• RQ4 $BSU_\otimes$ 성분은 $K(\mathbb{Z},3)$ 에서 $BGL_1K$ 로의 맵을 분류할 때 어떤 역할을 하는가?
• RQ5 $PU(\mathcal{H})$ 가 프레드홀름 연산자에 작용하는 방식을 이용해 잘 정의된 왜곡 $K$-이론 스펙트럼을 구성할 수 있는가?

주요 결과

• $[K(\mathbb{Z},3), BGL_1K]$ 군은 $\mathbb{Z}$ 와 동형이며, 이 동형은 $K(\mathbb{Z},3)$ 의 자기형사환의 유도에 의해 유도된다.
• $[K(\mathbb{Z}/2,2), BGL_1KO]$ 군은 $\mathbb{Z}/2$ 와 동형이며, 이는 실수 경우에서 자동형사에 대해 유일성을 보여준다.
• $[K(\mathbb{Z},3), BBSU_\otimes]$ 공간은 영이므로, $K(\mathbb{Z},3)$ 에서 $BGL_1K$ 로의 맵들이 호모토피류로 $K(\mathbb{Z},3)$ 를 통해 인식됨을 시사한다.
• $PU(\mathcal{H})$ 가 조아히무의 $K$-이론 스펙트럼에 대한 코어이션 작용은 잘 정의된 $A_\infty$-맵 $K(\mathbb{Z},3) \to BGL_1K$ 를 유도하며, 이는 표준적 왜곡을 실현한다.
• 모든 합리적인 왜곡 $K$-이론 정의들은 고정된 표준 맵과 호모토피류로 동치인 맵들로부터 유도되며, 이는 유일성을 보장한다.
• 특히 $BSU_\otimes$ 성분에서의 스펙트럴 계산을 통해 에일렌베르크-맥클레인 공간이 $K$-이론 스펙트럼에 작용할 때의 영성 결과를 확보한다.