Sesión 456 (Grupos Fundamentales y el Teorema de Seifert–van Kampen)

Abril 13 de 2026 (Sesión 456) Grupos Fundamentales y el Teorema de Seifert–van Kampen La Topología Algebraica es una rama de las matemáticas encargada de estudiar invariantes topológicos que no pueden ser detectados mediante la topología clásica. En esencia, esta disciplina busca abordar problemas en la categoría de espacios topológicos, Top, trasladándolos, a través de un funtor $F$, a otra categoría cuyos objetos poseen estructura algebraica, como grupos, anillos, módulos, espacios vectoriales, etc. Uno de los principales ejemplos de este enfoque es el grupo fundamental, el cual es un funtor que asigna a cada espacio topológico un grupo (no necesariamente abeliano) que constituye un invariante topológico, es decir, que se preserva bajo homeomorfismos. Este objeto es central en la teoría de homotopía, ya que permite detectar y clasificar ciertas formas de deformación continua en los espacios topológicos. Por su parte, el teorema de Seifert–van Kampen es una valiosa herramient...

Sesión 369 (H(Q) no tiene topología de grupo polaco)

Marzo 13 de 2023 (Sesión 368)

H(Q) no tiene topología de grupo polaco.

Sea A un álgebra de conjuntos y Aut(A) el grupo de automorfismos de A. Note que Aut(A) es subconjunto de A^A y Aut(A) puede dotarse de la topología de subespacio que resulta de poner en A^A la topología producto (viendo a A como un espacio discreto). En el artículo “On the non-existence of certain group topologies” de Christian Rosendal publicado en 2005, se muestra que si G es un subgrupo de Aut(A) y se pone en G una topología que lo hace grupo topológico Hausdorff y Baire y, se cumplen otras hipótesis adicionales, dicha topología sobre G debe extender a la topología producto en AA . 

Considerando A=CO(Q) (el conjunto de todos los clopen del espacio de racionales Q) y G=H(Q) (el grupo de homeomorfismos de Q en Q), en el artículo se muestra también que H(Q) no tiene topología de grupo polaco, pues si existiese una topología con esas características, debería extender a la topología producto y esto origina una contradicción con la separabilidad. 

El hecho de que H(Q) no tenga topología de grupo polaco guarda relación con algunas preguntas planteadas en la propuesta de tesis cuyo objetivo es entender aspectos sobre la estructura boreliana de los grupos de homeomorfismos de X en X, donde X es un espacio métrico y numerable. En la sesión se comentarán las conexiones entre este hecho y algunas de las preguntas del trabajo de investigación y se darán algunos detalles de la demostración del resultado. 

Referencias: 
[1] Rosendal, C., “On the non-existence of certain group topologies”, Fundamenta Mathematicae Vol 187, (2005) 213-228

Expositor: Juan David Franco Salazar

Comentarios

Entradas populares de este blog

Sesión 423 (Sobre suavidad)

Sesión 439 (Propiedad de Schur, secuencialidad débilmente completa y reflexividad)

Sesión 441 (Bicategorías de Tangles y la Cohomología de Khovanov)