Postnikov "invariants" in 2004
- Rubio, J. 1
- Sergeraert, F. 2
-
1
Universidad de La Rioja
info
-
2
Institut Fourier
info
ISSN: 1072-947X
Argitalpen urtea: 2005
Alea: 12
Zenbakia: 1
Orrialdeak: 139-155
Mota: Artikulua
Beste argitalpen batzuk: Georgian Mathematical Journal
Laburpena
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