A finite Q-bad space

DOI10.2140/GT.2019.23.1237MaRDI QIDQ2001902zbMATH OpenOpenAlexFDO

Authors S. O. Ivanov, Roman Mikhailov

Publication date 11 July 2019

Published in Geometry \& Topology (Search for Journal in Brave)

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

zbMATH Keywords

\(R\)-bad space\(R\)-good spaceBousfield-Kan completionhomologynilpotent completion

Mathematics Subject Classification ID

Homotopy theory and fundamental groups in algebraic geometry (14F35) Valuations, completions, formal power series and related constructions (associative rings and algebras) (16W60) Localization and completion in homotopy theory (55P60)

Abstract: We prove that for a free noncyclic group $F$, $H_2(hat{F}_{m}athbbQ,mathbbQ)$ is an uncountable $mathbbQ$-vector space. Here $hat{F}_{m}athbbQ$ is the $mathbbQ$-completion of $F$. This answers a problem of A.K. Bousfield for the case of rational coefficients. As a direct consequence of this result it follows that, a wedge of circles is $mathbbQ$-bad in the sense of Bousfield-Kan. The same methods as used in the proof of the above results allow to show that, the homology $H_2(hat{F}_{m}athbbZ,mathbbZ)$ is not divisible group, where $hat{F}_{m}athbbZ$ is the integral pronilpotent completion of $F$.

Review text

Following the results of \textit{A. K. Bousfield} and \textit{D. M. Kan} [Homotopy limits, completions and localizations. Springer, Cham (1972; Zbl 0259.55004)] on the concept of \(R\)-completion of a space (\(R\) a commutative ring), the authors first present some technical results on power series, completion of lamplighter groups and the completion of a free group. The main results of the paper are: Theorem 1: For \(F\) any finitely generated non cyclic free group, \(H_2(\widehat{F_\mathbb{Q}},\mathbb{Q})\) is uncountable. Theorem 2: For \(F\) any finitely generated non cyclic free group and \(p\) any prime, \(H_2(\widehat{F_\mathbb{Z}},\mathbb{Z}/p)\) is uncountable. In particular, \(H_2(\widehat{F_\mathbb{Z}},\mathbb{Z})\) is not divisible. Corollary: A wedge of \(\ge 2\) circles is \(\mathbb{Q}\)-bad.

Recommendations

• On discrete homology of a free pro-p-group
• \(P\)-nilpotent completion is not idempotent
• On a problem of Bousfield for metabelian groups
• On Bousfield's problem for solvable groups of finite Prüfer rank
• Homology of the completion of a Lie algebra

Cites work

• Homological localization towers for groups and Π-modules
• On a problem of Bousfield for metabelian groups
• On discrete homology of a free pro-p-group
• On the p-Adic Completions of Nonnilpotent Spaces
• The localization of spaces with respect to homology
• The Second Homology Group of a Group; Relations among Commutators
• Van Kampen theorems for diagrams of spaces

Cited in

(14)

• \(P\)-nilpotent completion is not idempotent
• Parafree augmented algebras and Gröbner-Shirshov bases for complete augmented algebras
• An overview of rationalization theories of non-simply connected spaces and non-nilpotent groups
• The homology of the lamplighter Lie algebra
• Homological properties of parafree Lie algebras
• On the cokernel of the Baumslag rationalization
• On discrete homology of a free pro-p-group
• Homology of the completion of a Lie algebra
• HR-length of a free group via polynomial functors
• Formality and finiteness in rational homotopy theory
• Rational homotopy via Sullivan models and enriched Lie algebras
• Homology of the pronilpotent completion and cotorsion groups
• Higher structures in rational homotopy theory
• Bousfield-Kan completion and very large groups

This page was built for publication: A finite \(\mathbb{Q}\)-bad space

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