Realizations of countable groups as fundamental groups of compacta (Q358267): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: 0810.3412 / rank | |||
Normal rank |
Revision as of 13:50, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Realizations of countable groups as fundamental groups of compacta |
scientific article |
Statements
Realizations of countable groups as fundamental groups of compacta (English)
0 references
16 August 2013
0 references
It is well-known that every group \(G\) admits a \(CW\)-complex \(X_G\) satisfying \(\pi_1(X_G)\cong G\). Also \(X_G\) may be a finite \(CW\)-complex if and only if \(G\) is finitely presented. In this case \(X_G\) is a compact metric space. Clearly every finitely presented group is finitely generated and every finitely generated group is countable but not vice versa. It is quite natural to ask whether every countable group can be realized as the fundamental group of a compact metric space and this has been an open question for a long time. In the paper under review the author gives an affirmative answer to this open question by constructing a compact path connected subspace \(X_G\) of \(\mathbb{R}^4\) with \(\pi_1(X_G)\cong G\) for any given countable group \(G\). Note that Shelah proved that \(G\) must be finitely generated if \(G\) is countable and \(X_G\) is a Peano continuum (i.e. a compact, connected, locally path connected metric space) and hence the rationals can not be the fundamental group of a Peano continuum. Therefore the construction of the paper can not result in a locally path connected space. The main result of the paper together with well-known results in this area yield the following two interesting consequences. {Theorem} Let \(X\) be a path connected space with countable fundamental group \(G\). If \(X\) is compact, metric and locally path connected, then \(G\) is finitely presented. {Theorem} Let \(X\) be a path connected space with countable fundamental group \(G\). If \(X\) satisfies only two of the three properties listed below, then \(G\) may be any countable group. 1. Compactness. 2. Metrizability. 3. Locally path connectedness.
0 references
fundamental group
0 references
compacta
0 references
Peano continuum
0 references
the realization theorem
0 references
homotopical closeness
0 references
countable group
0 references
Eilenberg-MacLane space
0 references