Invariantes de nudos: el grupo de un nudo
Seguimos hablando de nudos en Matemáticas y sus fronteras, y hoy nos toca hacerlo de los invariantes que se pueden asociar a un nodo y de cómo éstos ayudan a su clasificación.
La noción de un invariante de nudos es sencilla: se trata de una cantidad (u objeto matemático) que es la misma para nudos equivalentes, de manera que dos nudos que posean los mismos invariantes serían indistinguibles desde el punto de vista de la topología.
Uno de estos invariantes es el llamado grupo del nudo, que no es más que el grupo fundamental del complementario del nudo en el espacio euclidiano.
Para fijar ideas, recordemos lo que es el grupo fundamental de un espacio. Dado un espacio (pensemos en la superficie de una esfera para fijar ideas), podemos considerar un punto y todos los lazos que comienzan y terminan en se punto. Ahora estableceríamos una relación de equivalencia entre esos lazos: dados dos cualesquiera, L y L’, se dicen equivalentes si se puede deformar uno en el otro de una manera continua (esto se manifiesta matemáticamente como la existencia de una homotopía que deja fijos inicio y final y va recorriendo parametrizada de 0 a 1 una familia de lazos Lt tales que para t=0, L0 es L, y para L1 estaríamos con L´. La figura a continuación nos ayudará a hacernos una idea intuitiva.
Como complemento histórico, digamos que la palabra homotopía fue utilizada por primera vez por el matemático germano-americano Max Wilhelm Dehn (famoso por haber resuelto el tercer problema de Hilbert, el primero de los 23 en ser resuelto), y el matemático danés Poul Heegaard. Dehn y Heegard escribieron en 1907 el primer libro sobre topología combinatoria.
Además, dos lazos se pueden multiplicar, porque basta componerlos y reparametrizarlos, y esta operación es respetada por la homotopía, de manera que las clases de equivalencia de los lazos (es decir, dado un lazo consideramos todos los que son equivalentes a él) se pueden multiplicar. Y esta operación dota a la colección de clases equivalentes de lazos de una estructura algebraica, de grupo precisamente. La notación es esta: si X es el espacio y x el punto que consideramos, entonces
Π(X, x)
denotará lo que llamamos grupo fundamental de X con base el punto x. El elemento neutro para este grupo es la clase del lazo constante x. Un resultado importante es que este grupo es el mismo si dos espacios son homeomorfos (recordemos la definición en la entrada anterior). Otro es que si dos puntos cualesquiera de nuestro espacio se pueden unir por una curva, entonces los grupos fundamentales en esos puntos serán isomorfos (algebraicamente idénticos).
En este video se puede encontrar un curso introductorio a la topología algebraica en el que se explica de una manera muy gráfica la construcción del grupo fundamental de un espacio
[youtube]https://www.youtube.com/watch?v=J7–sI4A6D0[/youtube]
Por ejemplo, si seguimos pensando en la superficie de una esfera, veremos que cualquier lazo de puede deformar al propio punto de una manera continua, así que su grupo fundamental constará solo del elemento neutro. Si calculamos el grupos fundamental de un círculo, veremos que es el grupo de los números enteros, ya que podemos dar vueltas en uno u otro sentido desde un punto dado, o quedarmos todo el tiempo en ese punto.
La construcción del grupo fundamental es uno de los grandes logros matemáticos, porque sirve para asociar un objeto algebraico (fácil de manipular) a un objeto topológico (muy difícil de controlar), y es parte de lo que se ha dado en llamar Topología Algebraica.
El concepto se debe al gran matemático francés Henri Poincaré, quién lo definió en 1895 en su artículo «Analysis situs» (por cierto, Analysis situs era el antiguo nombre por el que se conocía a la topología).
Si queremos usar los grupos fundamentales para diferenciar nudos, debemos desarrollar un método para calcularlos. La clave la dio el matemático austríaco Wilhelm Wirtinger (1865-1945). Supongamos que nuestro nudo N tiene n arcos y m cruces, y consideramos en cada cruce la llamada relación de Wirtinger (que viene dada por un productos de arcos teniendo en cuenta si los cruces son positivos o negativos). Entonces Wirtinger probó que el grupo del nudo está determinado por los arcos a1, …, an y las relaciones r1, …, rm (técnicamente, es el grupo libre generado por los arcos cocientado por el menor subgrupo normal que contiene las relaciones).
Otro instrumento importante para calcular grupos de nudos lo ofrece el teorema de van Kampen, que permite calcular el grupo fundamental de un espacio si se descompone adecuadamente en espacios más sencillos de los que conocemos su grupo fundamental. En próximas entradas seguiremos escribiendo sobre este apasionante tema.
___
Manuel de León (CSIC, Fundador del ICMAT, Real Academia de Ciencias, Real Academia Canaria de Ciencias).