[논문 리뷰] Stably dualizable groups

John Rognes|arXiv (Cornell University)|2005. 02. 09.

Homotopy and Cohomology in Algebraic Topology참고 문헌 30인용 수 9

한 줄 요약

이 논문은 $E$-국소 안정 호모토피 범주에서 안정적으로 이중가능한 군에 대한 일반화된 이중성 이론을 제안하며, 기존의 포incare 이중성 이론을 기하학적이지 않은 군들, 예를 들어 $K(\mathbb{Z}/p,q)$와 같은 군들에까지 확장한다. 주요 기여는 이중화 스펙트럼 $S^{adG}$의 구성으로, 이는 각 군에 대해 이동에 의한 Atiyah--Poincaré 자기이중성과 $\pi_*(L_E S)$에 값이 존재하는 잘 정의된 프레임드 bordism 클래스 $[G]$를 부여한다. 특히 $K(n)$-국소 호모토피 이론에서 명시적인 계산이 이루어진다.

ABSTRACT

We extend the duality theory for topological groups from the classical theory for compact Lie groups, via the topological study by J. R. Klein [Kl01] and the p-complete study for p-compact groups by T. Bauer [Ba04], to a general duality theory for stably dualizable groups in the E-local stable homotopy category, for any spectrum E. The principal new examples occur in the K(n)-local category, where the Eilenberg-Mac Lane spaces G = K(Z/p, q) are stably dualizable and nontrivial for 0 <= q <= n. We show how to associate to each E-locally stably dualizable group G a stably defined representation sphere S^{adG}, called the dualizing spectrum, which is dualizable and invertible in the E-local category. Each stably dualizable group is Atiyah-Poincare self-dual in the E-local category, up to a shift by S^{adG}. There are dimension-shifting norm- and transfer maps for spectra with G-action, again with a shift given by S^{adG}. The stably dualizable group G also admits a kind of framed bordism class [G] in pi_*(L_E S), in degree dim_E(G) = [S^{adG}] of the Pic_E-graded homotopy groups of the E-localized sphere spectrum.

연구 동기 및 목표

• 기하학적이지 않은 군들에까지 확장된 이중성 이론을 제안하며, 기존의 컴acts Lie 군과 $p$-compact 군의 범주를 넘어 $E$-국소 안정 호모토피 범주 내에서 일반적인 군의 클래스로 확장한다.
• 스펙트럼 $S^{adG}$가 존재하고, $E$-국소 범주에서 가역적이고 이중가능한 경우, 그 군을 안정적으로 이중가능한 군으로 정의한다.
• 이러한 군들에 대해 Atiyah--Poincaré 이중성 이론을 $S^{adG}$에 의한 이동에 의해 일반화하며, 다양체와 리 군에 대한 고전적 결과를 확장한다.
• $\operatorname{Pic}_E$-중량이 부여된 호모토피 군에서 프레임드 bordism 클래스 $[G] \in \pi_*(L_E S)$를 정의하고, 이를 계산함으로써 군의 구조와 안정 호모토피 클래스를 연결한다.
• $K(n)$-국소 경우를 분석하며, $G = K(\mathbb{Z}/p,q)$가 $0 \leq q \leq n$일 때 안정적으로 이중가능하다는 것을 보이며, $[G]$의 $K(n)$-호모로지 행동을 명시적으로 규명한다.

제안 방법

• 논문은 군 $G$가 그 분류 공간 $BG$가 $E$-국소 범주에서 이중화 스펙트럼 $S^{adG}$를 가질 경우, 즉 $S[G]$의 쌍대 스펙트럼을 통해 구성된 경우, $E$-국소적으로 안정적으로 이중가능하다고 정의한다.
• Atiyah 이중성의 $E$-국소 형태를 사용하여, $DG_+$를 $S^{adG} \wedge S[G]$로 식별함으로써, $S^{adG}$에 의한 이동에 의해 자기이중성을 확립한다.
• 이중화 스펙트럼 $S^{adG}$는 $E$-국소 범주에서 $S[G]$의 Spanier--Whitehead 쌍대로서 구성되며, 이는 가역적임을 보인다.
• 노름과 전이 사상은 $X_{hG}$, $X_{tG}$, $(S^{-adG} \wedge X)^{hG}$를 포함하는 호모토피 고정점과 코프라이어 시퀀스를 통해 정의되며, $S^{adG}$에 의한 이동이 포함된다.
• 프레임드 bordism 클래스 $[G]$는 복합사상 $S^{adG} \xrightarrow{i} (S[G])_{hG} \xrightarrow{\kappa} (S[G]_{hG})^{hG} \simeq S^{hG} \xrightarrow{p} S$로서 정의되며, 이는 $\pi_*(L_E S)$에 값이 존재한다.
• $K(n)$-국소 경우에선 $S^{adG}$의 $K(n)$-호모로지가 $H^* = K(n)^*(G)$-코모듈 드 프리미티브와 일치하며, 증강 사상 $\epsilon$를 통해 $[G]_*$가 계산된다.

실험 결과

연구 질문

• RQ1 어떤 위상군이 $E$-국소 안정 호모토피 범주에서 이중화 스펙트럼 $S^{adG}$를 갖는가?
• RQ2 비기하학적 군들, 예를 들어 $K(\mathbb{Z}/p,q)$와 같은 군들에 대해 포incare 이중성이 $K(n)$-국소 범주에서 어떻게 일반화될 수 있는가?
• RQ3 $E$-국소 프레임드 bordism 클래스 $[G] \in \pi_*(L_E S)$는 무엇이며, 어떻게 안정 호모토피 클래스를 탐지하는가?
• RQ4 이중화 스펙트럼 $S^{adG}$는 $E$-국소 범주에서 노름과 전이 사상의 행동을 어떻게 제어하는가?
• RQ5 $S^{adG}$의 $K(n)$-호모로지는 무엇이며, $[G]$가 비자명하거나 동형사상이 되는 경우는 언제인가?

주요 결과

• $K(n)$-국소 이중화 스펙트럼 $S^{adG}$는 $G = K(\mathbb{Z}/p,q)$이면서 $0 \leq q \leq n$일 때 존재하며, 리 군을 넘어서 이중성 이론을 일반화한다.
• $G = K(\mathbb{Z}/p,n)$일 경우, 사상 $S^{adG} \to S$는 $K(n)$-호모로지에서 동형사상이므로, $K(n)$-국소 범주에서 $S^{adG} \simeq S$임을 보인다.
• 프레임드 bordism 클래스 $[G] \in \pi_*(L_E S)$는 $G = S^1$일 때 ($[G] = \eta$)와 $G = (S^{2p-3})^\wedge_p$일 때 ($[G] = \alpha_1$) 비자명하며, $K(1)$-국소에서 탐지된다.
• $G = K(\mathbb{Z}/p,q)$이면서 $0 < q < n$일 경우, 사상 $[G]_*: K(n)_*(S^{adG}) \to K(n)_*$는 0이 되며, 이는 $K(n)$-호모로지에서 양의 Adams 필터링을 나타낸다.
• 만약 $G$가 유한한 이산 군일 경우, $[G]_*$는 $K(n)_*$에서 $|G|$를 곱하는 것으로 나타나며, 이는 군 호모로지에서의 노름 원소를 반영한다.
• $G = K(\mathbb{Z}/p,n)$일 경우, $S^{adG}$ 위의 $G$-작용은 호모토피적으로 자명하므로, Poincaré 이중성 동형사상 $DG_+ \simeq S[G]$는 호모토피에 대해 $G$--equivariant하다.