2018
DOI: 10.1112/jlms.12169
|View full text |Cite
|
Sign up to set email alerts
|

Infinitesimal finiteness obstructions

Abstract: Does a space enjoying good finiteness properties admit an algebraic model with commensurable finiteness properties? In this note, we provide a rational homotopy obstruction for this to happen. As an application, we show that the maximal metabelian quotient of a very large, finitely generated group is not finitely presented. Using the theory of 1‐minimal models, we also show that a finitely generated group π admits a connected 1‐model with finite‐dimensional degree 1 piece if and only if the Malcev Lie algebra … Show more

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
20
0

Year Published

2019
2019
2022
2022

Publication Types

Select...
3
2

Relationship

3
2

Authors

Journals

citations
Cited by 5 publications
(20 citation statements)
references
References 40 publications
0
20
0
Order By: Relevance
“…Theorem 7.2 admits the following generalization: if G is a finitely generated group, and if (A, d) is a connected dga with dim A 1 < ∞ whose 1-minimal model is isomorphic to M (G; k), then the Malcev Lie algebra m(G; k) is isomorphic to the completion with respect to the degree filtration of the Lie algebra h(A, d) := lie((A 1 ) * )/ im((d 1 ) * + µ * A ) . Proofs of this result are given in [2,63]; related results can be found in [4,5,66].…”
Section: Filtered-formality and 1-formalitymentioning
confidence: 89%
See 1 more Smart Citation
“…Theorem 7.2 admits the following generalization: if G is a finitely generated group, and if (A, d) is a connected dga with dim A 1 < ∞ whose 1-minimal model is isomorphic to M (G; k), then the Malcev Lie algebra m(G; k) is isomorphic to the completion with respect to the degree filtration of the Lie algebra h(A, d) := lie((A 1 ) * )/ im((d 1 ) * + µ * A ) . Proofs of this result are given in [2,63]; related results can be found in [4,5,66].…”
Section: Filtered-formality and 1-formalitymentioning
confidence: 89%
“…Given a finitely presented group G, the solvable quotients G/G (i) need not be finitely presented (see [63]). Thus, finding presentations for the Chen Lie algebra gr(G/G (i) ) can be an arduous task.…”
Section: 5mentioning
confidence: 99%
“…A related result (based on the above proof) is given in Proposition 4.9 from [34]. In fact, the same proof as in Corollary 5.3 works for all universal solvable quotients: Corollary 5.4.…”
Section: Jump Loci and Alexander Invariantsmentioning
confidence: 76%
“…For q " 1, the aforementioned properties of the space X can be interpreted purely in terms of the Malcev Lie algebra of it fundamental group, mpπq. Indeed, as shown in [40], X admits a 1-finite 1-model if and only if mpπq is the lower central series completion of a finitely presented Lie algebra L. More stringently, as shown in the foundational work of Quillen [41] and Sullivan [49], X is 1-formal if and only if L can be chosen to be a quadratic Lie algebra.…”
Section: Now Letmentioning
confidence: 99%
“…The existence of such a model puts rather stringent constraints on the group π. One such constraint is given in [40,Theorem 1.5].…”
Section: Theorem 43 ([25]mentioning
confidence: 99%