[논문 리뷰] Galois extensions of structured ring spectra

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

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

한 줄 요약

이 논문은 구조화된 링 스펙트럼(structured ring spectra)인 교환 $S$-대수에 대한 일반화된 갈루아 이론을 수립하며, 호모토피 고정점과 스매시 곱 조건을 통한 $E$-국소적 $G$-갈루아 확장들을 도입한다. 주요 결과는 유한군 $G$의 부분군과 중간 분리 확장 사이의 이중적 대우 갈루아 대응을 수립하는 것으로, 고전적 갈루아 이론을 안정 호모토피 이론으로 확장하며, $K$-이론, 루빈-타이트 스펙트럼, 복소 코호몰로지 등에 응용 가능하다.

ABSTRACT

We introduce the notion of a Galois extension of commutative S-algebras (E_infty ring spectra), often localized with respect to a fixed homology theory. There are numerous examples, including some involving Eilenberg-Mac Lane spectra of commutative rings, real and complex topological K-theory, Lubin-Tate spectra and cochain S-algebras. We establish the main theorem of Galois theory in this generality. Its proof involves the notions of separable and etale extensions of commutative S-algebras, and the Goerss-Hopkins-Miller theory for E_infty mapping spaces. We show that the global sphere spectrum S is separably closed, using Minkowski's discriminant theorem, and we estimate the separable closure of its localization with respect to each of the Morava K-theories. We also define Hopf-Galois extensions of commutative S-algebras, and study the complex cobordism spectrum MU as a common integral model for all of the local Lubin-Tate Galois extensions.

연구 동기 및 목표

• 교환 $S$-대수에 대해 고전적 갈루아 이론의 호모토피 이론적 유사체를 개발하여 산술적 및 기하학적 개념을 구조화된 링 스펙트럼으로 일반화한다.
• 호모토피 고정점과 스매시 곱 조건을 사용하여 $E$-국소적 $G$-갈루아 확장을 정의하고 특성화함으로써 안정 호모토피 이론과의 호환성을 확보한다.
• 충실한 $E$-국소적 $G$-갈루아 확장에서 유한군 $G$의 부분군과 중간 분리 확장 사이의 이중적 갈루아 대응을 수립한다.
• 복소 코호몰로지 스펙트럼 $MU$가 호프 코행렬을 통해 루빈-타이트 갈루아 확장의 보편 정수 모델로 작용하는 방식을 분석한다.
• 구의 스펙트럼의 분리 폐쇄와 그 $K(n)$-국소화를 분석하며, 민코프스키의 판별식 정리의 응용을 고려한다.

제안 방법

• 호모토피 동치 두 개를 통해 $E$-국소적 $G$-갈루아 확장을 정의한다: $A \to B^{hG}$ 및 $B \bigwedge_A B \to \textstyle\bigprod_G B$ in $E_*$-호모로지.
• 구조화된 $S$-대수의 범주에서 확장 정의의 호모토피 불변성을 확보하기 위해 코프리미티브 해석을 사용한다.
• 고어스-홉킨스-밀러 이론을 적용하여 $E_\finity$ 사상 공간을 제어하고 $E$-국소적 $G$-갈루아 확장을 구성한다.
• 곱셈 사상 $B \bigwedge_A B \to B$의 이중모듈로 단면을 호모토피 상수로 통해 분리성을 확립한다.
• 홉킨스-밀러 정리를 사용하여 루빈-타이트 스펙트럼 $E_n$의 자기사상이 $\rho_0(E_n)$에 대한 작용으로 결정됨을 보이며, 자동형사상과 형식군법칙의 동형사상 간의 연결을 밝힌다.
• 텀 다이아몬드와 $S[BU]$-코행렬을 활용하여 $MU$의 복소 기울기와 $K(n)$-국소화에서의 갈루아 유사 작용 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 고전적 갈루아 이론은 어떻게 안정 호모토피 이론의 맥락에서 구조화된 링 스펙트럼으로 확장될 수 있는가?
• RQ2 교환 $S$-대수의 사상이 충실한 $E$-국소적 $G$-갈루아 확장임을 보장하는 조건은 무엇이며, 이는 호모토피 고정점과 스매시 곱과 어떻게 관련되는가?
• RQ3 $G$-갈루아 확장의 갈루아 군은 확장 대수의 자기사상 공간으로부터 복원될 수 있는가?
• RQ4 왜 복소 코호몰로지 스펙트럼 $MU$는 다양한 크로모틱 수준에서 루빈-타이트 갈루아 확장의 보편 모델로 작용하는가?
• RQ5 구의 스펙트럼 $S$의 분리 폐쇄와 그 $K(n)$-국소화는 무엇이며, 민코프스키의 판별식 정리는 이 맥락에서 어떻게 적용되는가?

주요 결과

• 주요 정리는 부분군 $K \subset G$와 분리 $A$-대수 $C = B^{hK}$의 약한 동치류 사이의 이중적 대우 갈루아 대응을 수립한다. 여기서 $C \to B$는 충실하다.
• 연결된 $B$를 갖는 충실한 $E$-국소적 $G$-갈루아 확장 $A \to B$에 대해, 갈루아 군 $G$는 $A$-대수 자기사상의 공간 $\mathcal{C}_A(B,B)$와 약하게 동치이다.
• 민코프스키의 판별식 정리를 그 $K(n)$-국소화에 적용함으로써, 구의 스펙트럼 $S$는 분리 폐쇄임을 보였다.
• 복소 코호몰로지 스펙트럼 $MU$는 $S[BU]$를 통한 호프 코행렬을 갖는데, 이는 루빈-타이트 스펙트럼 $E_n$ 위에서 프로파인트 군 $\mathbb{G}_n$의 갈루아 작용을 암시한다. 이는 전역 갈루아 군이 없더라도 가능하다.
• 루빈-타이트 형식군법칙의 각 자동형사상 $g \in \mathbb{G}_n$은 $E_n$의 자기사상으로 유일하게 올라간다. 이는 $\pi_0(E_n)$에서의 작용과 보편 변형에 의해 결정된다.
• $K(n)$-국소화 $L_{K(n)}S \to E_n$는 프로-\mathbb{G}_n-Galois 확장이며, 갈루아 군 $\mathbb{G}_n$은 모라바 안정화군의 프로파인트 완비화를 통해 작용한다.