Every finite group is the group of self-homotopy equivalences of an elliptic space (Q483615)

From MaRDI portal
Revision as of 10:47, 9 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Every finite group is the group of self-homotopy equivalences of an elliptic space
scientific article

    Statements

    Every finite group is the group of self-homotopy equivalences of an elliptic space (English)
    0 references
    0 references
    0 references
    17 December 2014
    0 references
    In this paper Cristina Costoya and Antonio Viruel give a positive answer to one of the main questions concerning the group of homotopy self-equivalences of a given space. They prove that every finite group \(G\) can be realized as the group of self-homotopy equivalences of infinitely many (non homotopy equivalent) rational elliptic spaces. The basic tool is the theorem of Frucht: For every finite group \(G\) there exist infinitely many non-isomorphic connected finite graphs whose automorphim group is isomorphic to \(G\). Thus to each graph \({\mathcal G}\) they associate a Sullivan minimal model \((\land V,d)\) whose group of self-homotopy equivalences is isomorphic to the group of automorphisms of \({\mathcal G}\). More precisely \((\land V,d) = (\land (x_1, x_2, y_1, y_2, y_3,z) \otimes \land (x_v, z_v), d)\) where the \(x_v\) and the \(z_v\) are indexed by the vertices of the graph and the differential of \(z_v\) takes into account the names of the edges having \(v\) as a summit. As a corollary, there are infinitely many rational spaces that are homotopically rigid. In a second step the authors specify that the elliptic rational spaces can be chosen to be rationalization of inflexible manifolds.
    0 references
    0 references
    self-homotopy equivalence
    0 references
    rational homotopy
    0 references
    rational elliptic space
    0 references
    group of a graph
    0 references

    Identifiers