Resumen

Así como los movimientos de Reidemeister conducen a soluciones conjuntistas de la ecuación de trenzas e invariantes de nudos/lazos "coloreando" (diagramas de) nudos con estas soluciones, los movimientos de Kirby (simplificados por Fenn-Rourke, y llevados a una lista finita por Martelli) abren la puerta a invariantes "por coloreo" de 3-variedades.

Este lunes mostraré las soluciones y los problemas que aparecen, usando GAP, al buscar soluciones de cardinal bajo con la computadora.