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.

Nudos (Matemateca (IME/USP)/Rodrigo Tetsuo Argenton)

 

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.

En el espacio de la derecha todos los lazos son equivalentes, pero no en el de la izquierda, ya que le hemos quitado un trozo al espacio

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).

Wilhelm Witinger

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).

Compartir:

Entradas relacionadas

242 comentarios

  1. I really appreciated this clear explanation of how knot invariants work as classification tools. The way you describe the knot group as the fundamental group of the knot complement in Euclidean space is especially helpful — it makes concrete why algebraic topology can distinguish shapes that look similar at a glance. Your point that «two knots with the same invariants would be indistinguishable from a topological point of view» stuck with me, because it captures the whole philosophy of using invariants to reduce geometric problems to algebraic ones.

    The historical note about Dehn and Heegaard introducing the term «homotopy» in 1907 and writing the first book on combinatorial topology was a nice touch. I had not connected Dehn’s work on Hilbert’s third problem to the early development of knot theory before.

    This raises a question for me: if the knot group is such a powerful invariant, what are the simplest known cases where two genuinely different knots share the same group? I know the Alexander polynomial can fail to

    By the way, I found some related content on my site that might interest you: https://freak-circus.com

Deja un comentario