[논문 리뷰] On the Bousfield classes of $H_\infty$-ring spectra

Jeremy Hahn|arXiv (Cornell University)|2016. 12. 13.

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

한 줄 요약

이 논문은 마크 호베이의 오랫동안 남아 있던 추측을 확인하며, 소수 $p$에서 $K(h)$-acyclic인 임의의 $D_p$-algebra 스펙트럼—$\textrm{H}_\infty$- 및 $\textrm{E}_\infty$-ring 스펙트럼을 일반화한 것—이 항상 $K(h+1)$-acyclic임을 증명한다. 증명은 $K(h+1)$-local $D_p$-$E$-algebras에서의 새로운 무게-$p$ 거듭제곱 연산을 사용하며, $(p, u_1, \dots, u_k, \frac{[p](z)}{z^{p^{k+1}}})$에 모odulo한 $P(x)$의 이미지가 $(p, u_1, \dots, u_k)$에 모odulo한 $x$에만 의존한다는 것을 보여, $R$가 $K(h)$-acyclic이라면 $R \simeq 0$임을 유도하는 귀납적 nilpotence 추론을 가능하게 한다. 따라서 $R$는 $K(h+1)$-acyclic이다.

ABSTRACT

We prove that any K(n)-acyclic, $D_p$-ring spectrum is K(n+1)-acyclic, affirming an old conjecture of Mark Hovey.

연구 동기 및 목표

• Mark Hovey의 추측을 해결하는 것: $K(h)$-acyclic인 $\textrm{E}_\infty$-ring 스펙트럼은 $K(h+1)$-acyclic이다.
• 이를 $\textrm{E}_\infty$보다는 덜 강력하지만 호모토피적으로 교환법칙을 만족하는 링보다 더 강력한 구조인 $D_p$-algebras로 일반화하는 것.
• $K(h+1)$-local 코hom로의 거듭제곱 연산을 사용하여 메이의 nilpotence 추측의 고차원 색채 이론적 일반화를 확립하는 것.
• 색채 이론적 적응과 대수적 $K$-이론에서의 내림내림 구조를 위한 체계적 기초를 제공하는 것.

제안 방법

• $K(h+1)$-local $D_p$-$E$-algebras에서의 무게-$p$ 거듭제곱 연산 $P: \pi_0(R) \to R^0(BC_p)$를 도입하는 것.
• 이deal $(p, u_1, \dots, u_k, \frac{[p](z)}{z^{p^{k+1}}})$에 모odulo한 $P(x)$를 분석하여, 그 이미지가 $(p, u_1, \dots, u_k)$에 모odulo한 $x$에만 의존한다는 것을 보이는 것.
• $E^0(BC_p)/(p, u_1, \dots, u_k, g_{k+1}(z)) \cong \mathbb{F}_p[[u_h]]/g(z)$와 같은 등식을 사용하여 문제를 계수에 대한 분석으로 환원하는 것.
• Weierstrass 준비정리를 적용하여 $E^{hC_p}$가 $E$ 위에서 자유임을 보여, 타테와 호모토피 고정점의 비교를 가능하게 하는 것.
• $K(h) \otimes E^{tC_p} \simeq \mathbb{F}_p[[u_h]]/g(z)[z^{\pm 1}][u_h^{-1}]$라는 사실을 이용하여 $R^{tC_p}$의 $K(h)$-acyclicity가 $R$의 것과 관련됨을 밝히는 것.
• 귀납적 nilpotence 추론을 적용: 만약 $u_h^n$이 $\pi_0(R/(p, \dots, u_{h-1}))$에서 0으로 간다면, $u_h^{n-1}$ 역시 0이 되며, 결국 $R \simeq 0$이 됨을 유도하는 것.

실험 결과

연구 질문

• RQ1 $D_p$-algebra 스펙트럼 스펙트럼의 $K(h)$-acyclicity는 소수 $p$에서 $K(h+1)$-acyclicity를 유도하는가?
• RQ2 거듭제곱 연산을 $K(h+1)$-local 코호몰로지에서 사용하여 메이의 nilpotence 추측을 고차원 색채 높이로 확장할 수 있는가?
• RQ3 $E/(p, u_1, \dots, u_k)$-코호몰로지에 대해 $E^{BC_p}/(p, u_1, \dots, u_k, \frac{[p](z)}{z^{p^{k+1}}})$를 통해 인식되는 거듭제곱 연산이 존재하는가?
• RQ4 $D_p$-algebras에서 타테 구조 $R^{tC_p}$의 $K(h)$-acyclicity는 $R$의 $K(h+1)$-acyclicity를 유도하는가?
• RQ5 $R^{BC_p}/(p, u_1, \dots, u_k, \frac{[p](z)}{z^{p^{k+1}}})$의 구조가 $\pi_0(R)$ 내의 nilpotence를 탐지하는 데 사용될 수 있는가?

주요 결과

• 정리 1.3은 $K(h)$-acyclic인 임의의 $D_p$-algebra 스펙트럼 $R$가 반드시 $K(h+1)$-acyclic임을 증명하며, 이는 호베이의 추측을 확인한다.
• 정리 1.6는 $R^{BC_p}/(p, u_1, \dots, u_k, \frac{[p](z)}{z^{p^{k+1}}})$에서의 무게-$p$ 거듭제곱 연산 $P(x)$의 이미지가 $(p, u_1, \dots, u_k)$에 모odulo한 $x$에만 의존한다는 것을 보이며, 이는 메이의 nilpotence 설정의 고차원 색채 이론적 일반화이다.
• 보조정리 4.5.3은 $x \in E_0$가 $\pi_0(R/(p, \dots, u_{h-1}))$에서 0으로 간다면, 그리고 $\mathbb{F}_p[[u_h]]$에서 양의 순서를 가진다면, $R \simeq 0$임을 증명하며, 이는 $K(h+1)$-acyclicity를 암시한다.
• 정리 4.6는 $K(h)$-acyclic이라면 $D_p$-algebras는 $K(h+1)$-acyclic임을 확인하며, 이 증명은 $u_h$에 대한 귀납적 nilpotence 추론에 의존한다.
• 보조정리 4.6.1은 결과를 타테 구조로 확장한다: 만약 $R^{tC_p}$가 $K(h)$-acyclic이라면, $R$는 $K(h+1)$-acyclic이다. 이는 클라우젠 등이 이전에 얻은 결과를 일반화한다.
• 논문은 $K(h) \otimes E^{tC_p} \simeq \mathbb{F}_p[[u_h]]/g(z)[z^{\pm 1}][u_h^{-1}]$임을 확립하며, 이는 $R^{tC_p}$의 $K(h)$-acyclicity가 $R$의 것과 관련됨을 밝히는 데 핵심적이다.