[논문 리뷰] Products and push-forwards in parametrised cohomology theories

Robert Waldmuller|arXiv (Cornell University)|2006. 11. 08.

Homotopy and Cohomology in Algebraic Topology참고 문헌 24인용 수 4

한 줄 요약

이 논문은 기저 공간 B에 $E_∞$-오페라드 작용을 지닌 안정된 매개화된 호모토피 범주 $Ho\mathcal{S}_B$ 위에 대칭 모나이드 구조를 개발하여, 곱셈적 매개화된 코homology 이론의 구축을 가능하게 한다. 이는 $H^3$-twisted K-theory와 $Spin^c$-cobordism 이론이 $BPU \cong K(\mathbb{Z},3)$ 위의 매개화된 링 스펙트럼으로 표현될 수 있음을 보이며, 섹션의 곱을 통해 휘어짐의 덧셈을 정확히 추적하는 명시적인 곱셈 구조를 제공한다.

ABSTRACT

We define a symmetric monoidal structure on the parametrised stable homotopy category over a base space with an action of an $E_\infty$ operad. We discuss products, orientations and push-forwards in parametrised cohomology theories corresponding to parametrised ring spectra. Finally, we construct parametrised ring spectra representing twisted K-theory and twisted Spinc-cobordism.

연구 동기 및 목표

• 기저 공간 $B$ 에 $E_\infty$-오페라드 작용이 존재할 때, 안정된 매개화된 호모토피 범주 $Ho\mathcal{S}_B$ 에 대칭 모나이드 구조 $\underline{p}$ 를 정의한다.
• 컵 곱을 통해 휘어짐의 덧셈을 정확히 모델링하는 곱셈적 매개화된 코homology 이론을 구축한다.
• $H^3$-twisted K-theory 가 $BPU \cong K(\mathbb{Z},3)$ 위의 매개화된 링 스펙트럼으로 표현될 수 있음을 보인다.
• $PU$-행동과 호환되는 매개화된 $MSpin^c$-스펙트럼을 구성함으로써 프레임워크를 $Spin^c$-cobordism 으로 확장한다.
• 매개화된 방향성 $\beta$ 가 코homology 이론 수준에서 고전적인 $MSpin^c \to K$ 방향성과 일치함을 증명한다.

제안 방법

• 기저 공간 $B$ 에 존재하는 $E_\infty$-행동을 이용하여 $Ho\mathcal{S}_B$ 에 대칭 모나이드 구조 $\underline{p}$ 를 도입함으로써, 섹션의 곱이 휘어짐의 덧셈을 유지함을 보장한다.
• $BPU$ 위의 매개화된 $K$-스펙트럼 $\mathcal{E}_{K}$ 를 $EPU \times_{PU} Fred(\mathbf{H})$ 로 구성하며, 섬유는 $Fred(\mathbf{H})$ 이고 $PU$-행동은 코너지션을 통해 제공된다.
• 표현 $\varrho(V)$ 를 사용하여, $\mathcal{M}_{Spin^c}$ 의 ex-스펙트럼의 구조 사상들을 캄비언 공간 $Th(\mathbf{U}^{0}_{H(V)} \times_{Spin^c(V)} V)$ 를 통해 정의한다.
• $\mathcal{P}$-대수적 구조와 호환되는 $PU$-행동을 ex-스펙트럼 $\mathcal{M}_{Spin^c}$ 에 부여함으로써 등변성 조건을 확보한다.
• $\mathcal{P}$-스펙트럼 간의 $PU$-등변 사상으로서의 매개화된 방향성 $\beta = 1 \times \alpha$ 를 정의한다.
• 수축과 호모토피 단위를 사용하여 다이어그램 내의 호모토피 동치 $\psi_1$ 과 $\psi_2$ 를 구성함으로써, 매개화된 방향성의 호환성을 증명한다.

실험 결과

연구 질문

• RQ1 기저 공간 $B$ 가 $E_\infty$-오페라드 작용을 지닐 때, 안정된 매개화된 호모토피 범주 $Ho\mathcal{S}_B$ 에 대칭 모나이드 구조를 어떻게 정의할 수 있는가?
• RQ2 컵 곱을 통해 휘어짐의 덧셈을 정확히 모델링하는 곱셈적 매개화된 코homology 이론은 어떻게 구성할 수 있는가?
• RQ3 $H^3$-twisted K-theory 가 $BPU \cong K(\mathbb{Z},3)$ 위의 매개화된 링 스펙트럼으로 표현될 수 있고, 잘 정의된 곱셈 구조를 지닐 수 있는가?
• RQ4 자연스러운 매개화된 $MSpin^c$-스펙트럼이 $BPU$ 위에 존재하여 $PU$-행동과 호환되는 곱셈 구조를 지닐 수 있는가?
• RQ5 매개화된 방향성 $\beta$ 는 코homology 이론 수준에서 고전적인 $MSpin^c \to K$ 방향성과 일치하는가?

주요 결과

• 기저 공간 $B$ 가 $E_\infty$-오페라드 작용을 지닐 때, 안정된 매개화된 호모토피 범주 $Ho\mathcal{S}_B$ 에 대칭 모나이드 구조 $\underline{p}$ 가 구성되었으며, 이는 매개화된 코homology 이론에 곱셈 구조를 가능하게 한다.
• $BPU$ 위의 매개화된 $K$-스펙트럼 $\mathcal{E}_{K}$ 는 매개화된 링 스펙트럼임을 보이며, 이는 $H^3$-twisted K-theory 를 곱셈 이론으로 실현한다.
• 매개화된 방향성 $\beta: \mathcal{M}_{Spin^c} \to \mathcal{K}$ 는 $PU$-등변 $\mathcal{P}$-스펙트럼 간의 사상으로 구성되었으며, 고전적인 $MSpin^c \to K$ 방향성을 유도한다.
• ex-스펙트럼 $\mathcal{M}_{Spin^c}$ 는 $BPU$ 위의 매개화된 링 스펙트럼로 증명되었으며, $PU$-행동과 호환되며, 캄비언 공간을 통한 구조 사상이 정의된다.
• 컵 곱을 통한 $\alpha$-twisted 클래스와 $\beta$-twisted 클래스의 곱은 $(\alpha + \beta)$-twisted 클래스로 결과가 나와, 휘어짐의 덧셈을 정확히 모델링한다.
• $\psi_1$ 과 $\psi_2$ 의 호모토피 동치 증명은 경로 공간 위로의 동형 사상의 확장을 사용하며, $EPU$ 의 게이지 군의 연결성에 기반한다.