Invariantes de Nós

Um invariante de nó é uma quantidade que não se altera quando um nó é deformado, fornecendo uma ferramenta para provar que dois nós são genuinamente diferentes.

Definition

Um invariante de nó é uma função em nós que assume valores iguais em nós equivalentes, de modo que valores diferentes certificam que dois nós não são isotopicamente ambientes; equivalentemente, é qualquer quantidade preservada sob os três movimentos de Reidemeister.

Scope

Este tópico aborda o princípio de que qualquer quantidade inalterada sob os movimentos de Reidemeister é um invariante de nó, e examina os invariantes clássicos: o grupo do nó (o grupo fundamental do complemento), a superfície de Seifert e o gênero de Seifert, o número de cruzamentos, o número de desamarração, o número de ponte e a tricolorabilidade. Ele trata das matrizes de Seifert e da assinatura, das limitações dos invariantes individuais e do papel dos invariantes na detecção de quiralidade e na distinção de nós que parecem superficialmente semelhantes.

Core questions

• Como os movimentos de Reidemeister reduzem a questão da invariância a uma condição finita e verificável?
• Quais invariantes geométricos e algébricos — grupo do nó, gênero, assinatura — capturam características distintas de um nó?
• Por que um invariante pode distinguir alguns nós, mas falhar em separar outros?
• Como os invariantes detectam propriedades como quiralidade e o número de desamarração?

Key concepts

• Movimentos de Reidemeister e invariância
• Grupo do nó e o complemento do nó
• Superfícies de Seifert, gênero de Seifert e matriz de Seifert
• Números de cruzamento, desamarração e ponte
• Assinatura e tricolorabilidade

Clinical relevance

Os invariantes de nós são o que tornam a teoria dos nós aplicável: eles distinguem topoisômeros de DNA em biologia molecular e fornecem as obstruções usadas na classificação de três-variedades via cirurgia em nós e ligações.

History

Reidemeister provou em 1927 que seus três movimentos geram a equivalência de nós, reduzindo a invariância a verificações locais; a construção de superfícies de Seifert (1934) forneceu o gênero e a assinatura, e esses invariantes clássicos formaram a espinha dorsal do assunto antes da era polinomial.

Key figures

• Kurt Reidemeister
• Herbert Seifert
• Dale Rolfsen

Seminal works

• lickorish1997
• rolfsen1976

Frequently asked questions

Por que os movimentos de Reidemeister são tão importantes?

Reidemeister provou que dois diagramas representam o mesmo nó exatamente quando um pode ser obtido do outro por esses três movimentos locais, então verificar se uma quantidade permanece inalterada por eles prova que é um invariante genuíno.

O que é o gênero de Seifert de um nó?

É o menor gênero entre todas as superfícies orientáveis no espaço cujo contorno é o nó; é um invariante que mede a complexidade do nó e é aditivo sob soma conexa.