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

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 6381224
Language Label Description Also known as
default for all languages
No label defined
    English
    Every finite group is the group of self-homotopy equivalences of an elliptic space
    scientific article; zbMATH DE number 6381224

      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