Postnikov "invariants" in 2004

  1. Rubio, J. 1
  2. Sergeraert, F. 2
  1. 1 Universidad de La Rioja
    info

    Universidad de La Rioja

    Logroño, España

    ROR https://ror.org/0553yr311

  2. 2 Institut Fourier
    info

    Institut Fourier

    Saint-Martin-d’Hères, Francia

    ROR https://ror.org/05rwrfh97

Revista:
Georgian Mathematical Journal

ISSN: 1072-947X

Any de publicació: 2005

Volum: 12

Número: 1

Pàgines: 139-155

Tipus: Article

SCOPUS: 2-s2.0-33749064714 GOOGLE SCHOLAR lock_openAccés obert editor

Altres publicacions en: Georgian Mathematical Journal

Repositori institucional: lock_openAccés obert Editor

Resum

The very nature of the so-called Postnikov invariants is carefully studied. Two functors, precisely defined, explain the exact nature of the connection between the category of topological spaces and the category of Postnikov towers. On one hand, these functors are in particular effective and lead to concrete machine computations through the general machine program Kenzo. On the other hand, the Postnikov «invariants» will be actual invariants only when an arithmetical decision problem – currently open – will be solved; it is even possible this problem is undecidable