Ponentes: Daniel Miguel Treviño (Universidad de La Rioja)

Lugar: Salón de Actos (Edificio CCT), o a través de Blackboard (https://bit.ly/salaDMC)

Hora: miércoles 12 de enero, 9:15

Resumen: En este trabajo presentamos un nuevo módulo del sistema de álgebra computacional Kenzo dedicado al cálculo de nuevos sistemas espectrales. Dado un conjunto simplicial, podemos considerar las construcciones de sus espacios de lazos y clasificante, junto con las fibraciones universales asociadas. A partir de cada una de ellas, combinándolas con la fibración inicial, construimos dos sistemas espectrales que relacionan sucesiones espectrales de Serre y de Eilenberg–Moore. Para definir los sistemas espectrales, utilizamos filtraciones generalizadas sobre downsets en $\mathbb{Z}^2$. Dichas filtraciones se definen en ciertos complejos de tipo Bar y Cobar, que son los que originan las sucesiones espectrales de Eilenberg–Moore. La implementación abarca complejos de cadenas de tipo infinito, mediante la técnica de homología efectiva.