Continuous group actions on profinite spaces

DOI10.1016/J.JPAA.2010.07.008MaRDI QIDQ626744zbMATH OpenOpenAlexFDO

Authors Gereon Quick

Publication date 18 February 2011

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0906.0245

zbMATH Keywords

descent spectral sequenceprofinite spaceétale homotopy type

Mathematics Subject Classification ID

Homotopy theory and fundamental groups in algebraic geometry (14F35) Limits, profinite groups (20E18) Equivariant homotopy theory in algebraic topology (55P91) Homotopy groups of special types (55Q70)

Abstract: For a profinite group, we construct a model structure on profinite spaces and profinite spectra with a continuous action. This yields descent spectral sequences for the homotopy groups of homotopy fixed point space and for stable homotopy groups of homotopy orbit spaces. Our main example is the Galois action on profinite 'etale topological types of varieties over a field. One motivation is to understand Grothendieck's section conjecture in terms of homotopy fixed points.

Review text

Let \({\widehat{\mathcal S}}\) be the category of profinite spaces. This means simplicial objects in the category of profinite sets. Let \(k\) be a field, \(\bar k\) a separable closure of \(k\) and \(G_{k}=Gal({\bar k}/k).\) Let \(X\) be a variety over k, \({\bar X}=X{\otimes}_{k}{\bar k}\) and \(\widehat{Et}{\bar X}\) be the profinitely completed étale topological type of \({\bar X}\) [cf. \textit{E. M. Friedlander}, Etale homotopy of simplicial schemes. Annals of Mathematics Studies, 104. Princeton, New Jersey: Princeton University Press and University of Tokyo Press (1982; Zbl 0538.55001)]. There is a natural sequence of profinite spaces \[ \widehat{Et}{\bar X}\rightarrow \widehat{Et}{X}\rightarrow \widehat{Et}{k} \] that in view of the equivalence \(\widehat{Et}{k}\cong BG_{k}\) suggests to think of \(\widehat{Et}{X}\) as the homotopy orbit of \(\widehat{Et}{\bar X}\) under the \(G_{k}\)-action. The author proves the following generalization of the theorem of \textit{D. A. Cox} [Proc. Am. Math. Soc. 76, 17--22 (1979; Zbl 0442.14004)]. Theorem. Let \(k\) be a field with absolute Galois group \(G_{k}\) and let \(X\) be a geometrically connected variety over \(k.\) Then the canonical map \[ ({\lim}_{L} \widehat{Et}{X}) {\times}_{G_{k}}EG_{k} \rightarrow \widehat{Et}{X} \] is a weak equivalence of profinite spaces, where the limit is taken over all finite Galois extensions \(L/k\) in \(\bar k\) and \(X_{L}\) denotes \(X{\otimes}_{k}L\).

Recommendations

• Nonabelian H^1 and the étale van Kampen theorem
• scientific article; zbMATH DE number 1088537
• An equivalence of profinite completions
• Profinite homotopy theory
• Étale realization on the \(\mathbb A^1\)-homotopy theory of schemes
• STABLE COHOMOLOGY OF GROUPS AND ALGEBRAIC VARIETIES
• Kato-Nakayama spaces, infinite root stacks and the profinite homotopy type of log schemes
• Galois actions on homotopy groups of algebraic varieties
• On the étale homotopy type of higher stacks
• An Étale realization which does NOT exist

Cites work

• 2-nilpotent real section conjecture
• \(\mathbb{A}^1\)-homotopy theory
• Algebraic and Etale K-Theory
• Complex cobordism of profinite spaces and Lannes' T-functor
• Continuous homotopy fixed points for Lubin-Tate spectra
• Continuous étale cohomology
• Die Struktur der absoluten Galoisgruppe \({\mathfrak p}\)-adischer Zahlkörper
• Duality and Pro-Spectra
• Ensembles profinis simpliciaux et interprétation géométrique du foncteur T
• Equivariant stable homotopy and Sullivan's conjecture
• Etale homotopy
• Etale Homotopy of Simplicial Schemes. (AM-104)
• Generalized étale cohomology theories
• Homotopical algebra
• Homotopy fixed point spectra for closed subgroups of the Morava stabilizer groups.
• Homotopy limits, completions and localizations
• scientific article; zbMATH DE number 3674235 (Why is no real title available?)
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 737039 (Why is no real title available?)
• scientific article; zbMATH DE number 1992950 (Why is no real title available?)
• scientific article; zbMATH DE number 2066328 (Why is no real title available?)
• scientific article; zbMATH DE number 1478717 (Why is no real title available?)
• scientific article; zbMATH DE number 1860105 (Why is no real title available?)
• scientific article; zbMATH DE number 3395017 (Why is no real title available?)
• Localization Theories for Simplicial Presheaves
• On finitely generated profinite groups. I: Strong completeness and uniform bounds. II: Products in quasisimple groups.
• Profinite homotopy theory
• Relations between \(K_2\) and Galois cohomology
• Spectra and symmetric spectra in general model categories
• Stable étale realization and étale cobordism
• The Brauer-Manin obstruction for sections of the fundamental group
• The Etale Homotopy Type of Varieties over R
• The local pro-p anabelian geometry of curves
• Torsion algebraic cycles and étale cobordism
• Zur Spektralsequenz von Faserungen

Cited in

(12)

• Profinite completion of operads and the Grothendieck-Teichmüller group
• The Berkovich realization for rigid analytic motives
• Profinite \(G\)-spectra
• On actions of spaces continuously containing topological groups
• Homotopic and geometric Galois theory. Abstracts from the workshop held March 7--13, 2021 (online meeting)
• Existence of rational points as a homotopy limit problem
• scientific article; zbMATH DE number 3923663 (Why is no real title available?)
• On the continuous action of enriched lattice-valued convergence groups: Some examples
• Étale cohomology, purity and formality with torsion coefficients
• Simplicial model structures on pro-categories
• A homotopy orbit spectrum for profinite groups
• On procongruence curve complexes and their automorphisms

This page was built for publication: Continuous group actions on profinite spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q626744)