- Stephen Theriault dio una charla excelente, a un ritmo muy adecuado (al menos para mis lentas neuronas) y sobre el tema que parece estar de moda ahora: los grupos Gauge. De hecho mostró como ciertas descomposiciones (no los tradicionales splittings) de los grupos de Lie pueden ser usados para el cálculo de la (co)homología del espacio clasificador de algunos grupos de Gauge.
- Me ha sorprendido cómo los matemáticos nipones vuelven al tema de las generalizaciones del concepto de H-espacio (los espacios de tipo
y
). Así, Carles Broto comentaba medio en broma, medio en serio, que el matemático más citado del congreso había sido Jaume Aguadé gracias a sus
espacios.
- A colación del tema anterior, Norio Iwase se preguntaba en su charla:
Dado un H-espacio racional
, ¿se verifica que
esto es, la categoría LS y la complejidad topológica de
coinciden?
Pues la respuesta es NO. Abusando de la paciencia y conocimientos de Aniceto Murillo pude construir un ejemplo: consideremos
con
un espacio de Moore simplemente conexo con torsión en dimensión impar. Obviamente
y por tanto
es un H-espacio racional (trivial). Como los espacios de Moore son suspesiones, y en este caso
no es contráctil, tenemos que
Por otro lado, usando el Teorema de Coeficientes Universales para cohomología sabemos que la cohomología entera de
está concentrada en dimensión
Usando la acotación inferior de la complejidad topológica por la nilpotecia del producto cup para los divisores de cero de
tenemos que
- También me gustó la charla de Kee Y. Lam, así como las notas del curso que dio previamente (y al que yo no asistí).
No voy a acabar con la lista de charlas del congreso, pues para eso está la página web del evento.