Introdu c ao ` a Teoria dos N os

Eduardo Colli

Os n os
Uma das areas mais fascinantes da Matem atica e a Teoria dos N os, cuja origem remonta ao nal do s eculo XIX e modernamente se insere no campo da Topologia Alg ebrica. Chama a aten c ao o fato de que alguns conceitos, demonstra c oes e problemas em aberto possam ser enunciados em linguagem elementar, permitindo a leigos o acesso a uma vasta por c ao da teoria. A Teoria dos N os estuda as curvas no espa co, sem auto-interse c oes e fechadas. Em outras palavras, as curvas que s ao imagens (injetivas e suaves) de um c rculo no espa co tridimensional. Mas a Teoria considera como equivalentes duas curvas tais que uma pode ser deformada continuamente de tal forma a car id entica ` a outra, sem que no processo de deforma c ao se criem auto-interse c oes, sem que a curva se rompa e sem colapsos (como um n o t ao apertado que desaparece). A preocupa c ao n ao e com a forma exata das curvas, mas sim obter crit erios para dizer se duas curvas s ao ou n ao s ao equivalentes. Um n o n ao e uma curva particular, mas todo o conjunto de posi c oes que ela pode assumir se for deformada de acordo com esses crit erios. Por exemplo, o n o trivial e a classe de curvas que podem se deformar at e se tornarem c rculos. Dizer coloquialmente esta curva e desmanch avel signica dizer esta curva est a na classe de equival encia do n o trivial. O problema central da Teoria dos N os e classic a-los. Classicar signica saber list a-los todos (mesmo que sejam em n umero innito, como eo caso) e saber dizer, para cada curva, qual n o dessa lista ela representa. Isto
1

implica, em particular, ter crit erios para dizer se duas curvas s ao ou n ao s ao equivalentes. O polin omio de Jones e calculado sobre uma proje c ao do n o, que nada mais e do que sua imagem achatada no plano. Ele tem uma propriedade fundamental: duas proje c oes quaisquer do mesmo n o t em o mesmo polin omio de Jones. Por essa raz ao, esse polin omio e chamado de invariante. Um invariante serve para distinguir proje c oes que n ao s ao equivalentes: se o resultado for diferente ent ao uma n ao pode ser deformada na outra. Infelizmente a armativa inversa e falsa: n ao necessariamente duas proje c oes com polin omios iguais representam o mesmo n o! Por essa raz ao diz-se que o polin omio de Jones n ao e um invariante completo, pois ele n ao pode responder positivamente sobre a equival encia de duas proje c oes. N ao foi encontrado at e hoje um invariante nito (isto e, calcul avel em um n umero nito de passos) que seja completo.

Proje co es
A proje c ao e a maneira natural e necess aria de se representar um n o atrav es de um desenho no plano. O nome vem do fato de que podemos colocar o n o sob um facho de luz e observar a sombra que se projeta sobre a mesa. Acontece que esse tipo de analogia e perigosa, pois do desenho da sombra n ao se distingue que peda cos do n o passam por cima ou por baixo. Ent ao a proje c ao de um n o e o desenho de sua sombra acrescido de uma indica c ao de qual segmento passa por baixo, e isso e feito interrompendo o desenho da curva pouco antes do cruzamento, como mostra a gura abaixo, com o n o conhecido como n o trif olio.

Note que a informa c ao sobre os cruzamentos d a a sensa c ao e de fato a informa c ao tridimensional. Outra exig encia em rela c ao ` as proje c oes e que elas sejam regulares: cada cruzamento ocorre num s o ponto, para cada cruzamento concorrem apenas dois segmentos da curva, os segmentos se cruzam transversalmente (formam um X) e o n umero de cruzamentos deve ser nito. O conceito de deforma c ao cont nua e sem auto-interse c oes de uma curva no espa co recebe o nome de isotopia. Existe um outro conceito, o de isotopia ambiente, que engloba o conceito de isotopia, mas e mais exigente: na isotopia ambiente, o espa co inteiro deve ser deformado, arrastando a curva de uma posi c ao a outra. Com isotopias ambientes impede-se que haja o colapso de uma por c ao n ao trivial do n o, reduzindo sua complexidade de forma articial. Como nestas notas n ao temos grandes preocupa c oes formais, chamaremos as isotopias ambientes simplesmente de isotopias. Al em disso, para n ao haver confus ao demais, pensaremos diretamente com os modelos f sicos, isto e, as cordas. As curvas est ao dentro das cordas, protegidas por elas, e essa prote c ao impede que fa camos movimentos que n ao sejam isotopias ambientes. As isotopias se transp oem naturalmente para as proje c oes, sendo bastante acompanh a-las pela sombra. Observe que uma isotopia pode desfazer cruzamentos ou mudar sua disposi c ao, mas n ao pode inverter a posi c ao de dois segmentos num cruzamento, fazendo quem passa por baixo passar por cima (se isso fosse poss vel, transformar amos qualquer curva em um c rculo!).
3

Note tamb em que quando um cruzamento e desfeito pode haver uma posi c ao de transi c ao que n ao seja regular, mas n os estamos preocupados apenas com as proje c oes regulares que ocorrem antes e depois da transi c ao. Assim como as curvas, dizemos que duas proje c oes s ao equivalentes se uma isotopia transforma uma na outra. Um n o ent ao e representado pela sua classe de proje c oes (regulares) poss veis, todas equivalentes entre si.

Enlaces
A deni c ao de n o pode ser generalizada da seguinte maneira. Em vez de apenas uma curva fechada no espa co, podemos considerar uma cole c ao (nita) de curvas no espa co, eventualmente enla cadas entre si. Todos os conceitos acima e os que vierem abaixo valem para essa situa c ao tamb em, e muitas vezes as duas no c oes t em que se misturar. Por exemplo, ao se calcular os polin omios de Jones de um n o e necess ario conhecer polin omios de Jones de certos enlaces que aparecem no c alculo. Na gura abaixo mostramos tr es desses n os: o enlace de Hopf, que s ao dois c rculos enla cados da maneira mais simples, o enlace de Whitehead e o enlace de Borrom eas, sendo os dois primeiros com apenas duas componentes e o terceiro com tr es.

O s mbolo das Olimp adas e um enlace de 5 componentes!

Invariantes e os movimentos de Reidemeister

Os invariantes s ao, em geral mas nem sempre, calculados sobre proje c oes
4

(regulares). H a v arios tipos de invariantes: podem ser n umeros, podem ser verdadeiro ou falso, no sentido de que a proje c ao tem ou n ao tem determinada propriedade, podem ser polin omios de uma ou mais vari aveis, podem ser grupos, etc. Por em, para merecer esse nome, e essencial que o invariante n ao dependa da proje c ao do n o utilizada para calcul a-lo. Aqui deniremos dois invariantes: a tricolorabilidade e o polin omio de Jones. A tricolorabilidade e um invariante que s o pode ter dois resultados: verdadeiro ou falso. Isto e, um n o ou e ou n ao e tricoloriz avel. J a o c alculo do polin omio de Jones pode ter v arios resultados, e isso servir a para distinguirmos a maioria dos n os de poucos cruzamentos. No entanto, pensando um pouquinho, chegamos rapidamente a uma pergunta crucial: como podemos saber que uma regra que associa a cada proje c ao um polin omio e realmente invariante, isto e, independente da proje c ao utilizada entre todas as proje c oes equivalentes? Em geral n ao existe problema enquanto a isotopia n ao mexe com cruzamentos, mas apenas muda o formato da proje c ao (chamada de isotopia planar), pois os invariantes j a costumam ser denidos sem se dar muita import ancia ao desenho exato das curvas. Mas quando um cruzamento e alterado ou desmanchado e a nova proje c ao e essencialmente diferente da proje c ao de partida, ser a que a regra continua gerando o mesmo polin omio? Durante uma isotopia, se feita com um m nimo de cuidado, haver a instantes de transi c ao onde a proje c ao pode n ao ser regular, e os demais instantes correspondem a proje c oes regulares, transformadas apenas por isotopias planares, onde essencialmente nada acontece. Durante a isotopia se transita de uma proje c ao regular a outra. Ent ao parece que todo o segredo de mostrar que o polin omio independe da proje c ao e mostrar que ele n ao se altera entre duas proje c oes regulares separadas por uma transi c ao n ao regular. O problema e que para ter uma resposta dever amos, necessariamente, conhecer todos os tipos de transi c ao entre proje c oes regulares! Felizmente esse trabalho j a foi facilitado por um bonito teorema, devido
5

a Kurt Reidemeister, que diz o seguinte: toda isotopia entre duas proje c oes regulares pode ser efetuada com apenas tr es tipos de transi c oes. Essas transi c oes receberam o nome de movimentos de Reidemeister. Antes de descrev e-las, conclu mos o racioc nio iniciado acima: precisamos testar apenas tr es tipos de transi c oes para saber se um polin omio n ao se altera entre as isotopias. Os movimentos de Reidemeister s ao classicados em tipos: I, II e III. O movimento de tipo I e ilustrado na gura abaixo: um la co simples e criado ou deixa de existir. Observe que h a duas variantes, uma sendo a imagem especular da outra.

O movimento de tipo II envolve dois segmentos, e tem tamb em duas variantes. Na transi c ao de uma proje c ao regular para outra h a dois segmentos se tangenciando.

J a o movimento de tipo III envolve tr es segmentos, e a transi c ao e um cruzamento onde concorrem tr es segmentos.

Note que n ao e preciso desenhar mais duas vers oes onde o segmento que se desloca (no caso o horizontal) esteja por cima dos outros dois. Pois as situa c oes mostradas, quando rotacionadas, mostram exatamente esses casos: basta considerar como horizontal o segmento que esteja por cima dos outros dois.

Tricolorabilidade
A tricolorabilidade e um invariante f acil de denir e s o pode dar dois resultados: sim ou n ao. Na verdade, o que se procura saber e se uma proje c ao do n o e ou n ao e tricoloriz avel, mas veremos adiante que se uma proje c ao qualquer do n o for tricoloriz avel ent ao todas as outras tamb em ser ao. De fato, e por essa raz ao que a tricolorabilidade e considerada um invariante. Para denir tricoloriza c ao precisamos do conceito de supra-segmento de uma proje c ao. Um supra-segmento e um peda co da curva de proje c ao com duas propriedades: (i) n ao passa por baixo de nenhum cruzamento; (ii) n ao pode ser prolongado sem violar a primeira regra. Na gura abaixo mostramos alguns exemplos de supra-segmentos, com linha tracejada (o n o da esquerda e conhecido como n o gura-oito).

Em particular, proje c oes como o c rculo ou como um n o trivial em forma de oito, mostradas ` a direita, t em apenas um supra-segmento. Podemos olhar o entorno de cada cruzamento e vericar que: (i) h a um supra-segmento que atravessa o cruzamento; (ii) h a duas extremidades de supra-segmentos que terminam no cruzamento. Essas duas extremidades podem, eventualmente, pertencer ao mesmo supra-segmento, como ocorre no oito da gura acima, ou mesmo pertencer ao supra-segmento que atravessa o cruzamento por cima, como tamb em e o caso do mesmo exemplo. Em todo o caso, olhando apenas para o entorno do cruzamento, concorrem tr es segmentos. Tricolorizar uma proje c ao signica: 1. Atribuir a cada supra-segmento uma e uma s o cor. 2. Usar no m nimo duas e no m aximo tr es cores para pintar todos os suprasegmentos. 3. Respeitar a regra de que, para cada cruzamento, n ao podem concorrer (exatamente) duas cores: ou concorre apenas uma ou concorrem tr es. O exemplo abaixo mostra uma proje c ao tricolorizada. Para o caso de este texto estar impresso em branco e preto, zemos um tracejamento diferente para cada cor: linha cont nua, linha tracejada e linha pontilhada. Observe que h a cruzamentos com uma ou tr es cores, e nenhum com duas, respeitando a terceira regra.

Fica para o leitor a tentativa de tricolorizar a proje c ao mostrada acima do poss n o gura-oito. E vel?

Por que a tricolorabilidade e um invariante?

Gostar amos de mostrar que se uma proje c ao de um n o ou enlace e tricoloriz avel ent ao todas as outras tamb em ser ao. Ora, j a sabemos que podemos alterar a proje c ao original com isotopias planares e movimentos de Reidemeister para obtermos qualquer outra proje c ao. Se a proje c ao original for tricoloriz avel e nenhum dos movimentos alterar a propriedade de tricolorabilidade ent ao sabemos que a proje c ao nal ser a tamb em tricoloriz avel. Uma isotopia planar n ao altera a propriedade de tricolorabilidade porque n ao mexe nos cruzamentos, a n ao ser por deforma c oes sem conseq u encias. E o que dizer dos movimentos de Reidemeister? Vejamos o que faz o movimento do tipo I. Na gura abaixo, vemos ` a esquerda um cruzamento que ser a desmanchado por esse movimento, resultando na gura da direita. N ao nos importar a a forma do restante da proje c ao, dentro do c rculo hachuriado, que se manter a inalterado pelo movimento.

Note que s o uma cor pode concorrer no cruzamento mostrado, pois pelo menos duas cores s ao for cosamente iguais. Escolhemos o vermelho (linha cont nua) para o desenho. Agora suponha que a proje c ao da esquerda seja tricoloriz avel: isso implica que h a pelo menos mais uma cor al em do vermelho dentro da regi ao tracejada, sempre respeitando a regra de que em cada cruzamento concorrem uma ou tr es cores. Ao passarmos para a proje c ao da direita a propriedade de tricoloriza c ao continua intacta! Al em disso, o mesmo racioc nio pode ser conduzido no
9

sentido inverso. Passemos ao movimento de tipo II, ilustrado na gura abaixo. Suponhamos que a proje c ao da esquerda seja tricoloriz avel e, num primeiro caso, admitamos que os dois segmentos envolvidos no movimento tenham a mesma cor, por exemplo, vermelho. Neste caso, uma segunda cor deve aparecer na regi ao hachuriada. Passando ` a proje c ao da direita nenhuma cor precisa ser acrescentada, pois os dois novos cruzamentos cam monocrom aticos, respeitando a regra tr es, e a segunda cor e mantida dentro da regi ao hachuriada.

Precisamos, no entanto, analisar a outra possibilidade: a de que os segmentos envolvidos tenham cores diferentes, por exemplo, verde (linha tracejada) e vermelho (linha cont nua). Neste caso, depois do movimento, somos obrigados a usar a cor restante (azul, ou linha pontilhada) para manter a regra tr es respeitada.

Observe que um racioc nio semelhante pode ser feito no sentido oposto do movimento.
10

Observe tamb em que a altera c ao de cor n ao deve ser feita em segmentos que entram na regi ao tracejada, pois n ao sabemos como e a proje c ao nessa regi ao. Felizmente n ao precisamos disso para demonstrar a invari ancia da tricolorabilidade sob os movimentos de Reidemeister. Resta apenas a an alise dos movimentos de tipo III. Deixaremos para o leitor completar a demonstra c ao, baseado na gura abaixo, que mostra as possibilidades de cores para os segmentos envolvidos no movimento.

Tor c ao: um n ao-invariante

Nesta e na pr oxima se c ao deniremos dois n ao-invariantes de um n o. O primeiro ser a um n umero inteiro e o segundo um polin omio, ambos calculados sobre uma proje c ao do n o. Eles n ao s ao invariantes porque o resultado muda ap os movimentos de Reidemeister de tipo I, embora n ao ap os movimentos de tipos II e III. No entanto, combinando os dois adequadamente obteremos um polin omio cujo resultado resiste tamb em aos movimentos de tipo I, caracterizando-se como um leg timo invariante. O primeiro n ao-invariante e chamado de tor c ao da proje c ao, e ser a denotado por (J ), se J simboliza a proje c ao. A id eia e dar um sentido para se percorrer o n o e em cada cruzamento analisar a orienta c ao da troca entre os segmentos, atribuindo +1 ou 1. O n umero (J ) ser a a soma dos n umeros atribu dos a cada cruzamento. A atribui c ao de +1 ou 1 aos cruzamentos e feita em fun c ao da orienta c ao dada. Com um sentido denido para percorrer a curva, em cada cruzamento os dois segmentos que ali concorrem herdam uma orienta c ao. Se o segmento de cima tem que ser girado no sentido anti-hor ario para coincidir com o de baixo atribui-se +1, caso contr ario 1, como mostra a gura abaixo.
11

+1

Perceba que a invers ao da orienta c ao do n o n ao altera o resultado: os dois sentidos se invertem no cruzamento e a regra gera o mesmo n umero, +1 ou 1. Mas isso n ao e verdade para enlaces: a troca de orienta c ao de apenas uma das componentes faz mudar apenas um dos sentidos em alguns cruzamentos! Os cruzamentos em que um e apenas um dos sentidos mudam s ao aqueles que envolvem um segmento da componente que teve orienta c ao trocada e um segmento de uma componente que n ao teve a orienta c ao trocada. Assim, enquanto a tor c ao e denida para proje c oes de n os independentemente de sua orienta c ao, para enlaces ela deve ser denida em proje c oes orientadas. Como exemplo, calculamos a tor c ao da seguinte proje c ao do n o gura-oito, e o resultado e zero. Veja na gura abaixo.
+1

+1

Podemos ver que a tor c ao n ao se altera com movimentos do tipo II e III. Pois, no caso do tipo II, quando os dois cruzamentos existem, um deles vale +1 e o outro obrigatoriamente 1, de forma que a contribui c ao total de ambos e nula. Desfazendo os cruzamentos os segmentos nem se cruzam, o que resulta em contribui c ao nula tamb em. No caso do tipo III h a tr es segmentos e tr es cruzamentos: o cruzamento xo contribui da mesma forma
12

antes e depois do cruzamento e os outros dois, embora se desloquem, n ao se alteram em termos de orienta c ao. Por outro lado, um movimento de tipo I cria ou destr oi um cruzamento, portanto a tor c ao se altera em uma unidade, para mais ou para menos.

Polin omio-colchete: outro n ao-invariante

O polin omio-colchete de uma proje c ao J ser a denotado por J . Esse polin omio e de uma vari avel, x, e engloba pot encias negativas, portanto e um polin omio de Laurent. Se quisermos explicitar a vari avel x na nota c ao do polin omio escrevemos simplesmente J (x). Ele ser a denido por um mecanismo indutivo, com uma regra que permite escrever o polin omio-colchete de uma proje c ao em fun c ao de x e em fun c ao de polin omios-colchetes de proje c oes com menor n umero de cruzamentos. Sendo assim, ap os um n umero nito de etapas eliminam-se completamente preciso notar que as proje os cruzamentos, restando apenas c rculos. E c oes com menor n umero de cruzamentos geradas a partir de uma certa proje c ao podem ter mais do que uma componente, isto e, podem ser enlaces. S ao tr es as regras de c alculo do polin omio-colchete. Primeiro, dene-se o polin omio-colchete de um c rculo, que denotaremos sempre por C : C =1. Como ao nal as express oes simplicam para express oes com esse colchete e com a vari avel x, a regra se justica para se eliminarem completamente os colchetes e restarem apenas os termos em x. A segunda regra prev e o que acontece se a proje c ao for a uni ao de uma proje c ao J qualquer com um c rculo C , n ao enla cado com J : J C = (x2 x2 ) J . Esta regra n ao reduz o n umero de cruzamentos, mas o n umero de componentes, etapa necess aria se se quer chegar a apenas uma proje c ao circular,
13

da qual d a conta a primeira regra. A terceira regra ensina a desmanchar um cruzamento. Simbolicamente, ela e escrita da seguinte forma:

<

>=x<

> + x 1 <

>

A proje c ao e representada pelo cruzamento que ser a desmanchado, no lado esquerdo da igualdade. As novas proje c oes deixam de ter o cruzamento, pois os segmentos s ao religados de outra forma. S o e preciso muita aten c ao para o fato de que no lado esquerdo o segmento superior e aquele de inclina c ao positiva (note que n ao e necess aria a regra em que o segmento superior tem inclina c ao negativa, basta posicionar a proje c ao adequadamente). Por exemplo, para o n o trif olio temos

x
Admite-se implicitamente que vale a regra

x1

a J + b J = (a + b ) J , onde a e b s ao express oes em x. Assim, usando essa regra, al em das outras tr es, passo a passo, conclui-se que o polin omio-colchete dessa proje c ao do n o trif olio e x7 x3 x5 . aconselh E avel que o leitor obtenha essa express ao por conta pr opria. Podemos ver que o polin omio-colchete e invariante por movimentos de Reidemeister do tipo II. Basta focalizar na regi ao onde e feito o movimento, come cando pela situa c ao em que h a dois cruzamentos:
x x1

14

Depois cada um dos dois colchetes e desmembrado de acordo com o segundo cruzamento, prestando-se aten c ao sempre na posi c ao do segmento superior. O resultado e:
x x x
1

x x

Agrupando os termos, obt em-se

(x
2

mas as duas u ltimas parcelas da soma se cancelam por causa da segunda regra (ali as, a segunda regra e feita para que essa conta d e certo). Resta apenas o polin omio-colchete de dois segmentos de corda que n ao se cruzam, exatamente a posi c ao que eles adquirem depois do movimento de Reidemeister. A seguinte seq u encia de igualdades mostra a invari ancia do polin omiocolchete para movimentos de Reidemeister do tipo III:
=x +x
1

=x

+x

A segunda igualdade decorre da aplica c ao, duas vezes seguidas, da invari ancia sob o movimento de tipo II. Por outro lado, e f acil mostrar que valem as igualdades

= x 3

= x 3

Isto mostra que o movimento de tipo I altera o polin omio-colchete, multipli3 3 cando-o por x ou x , de acordo com o cruzamento. Note que no lado esquerdo o cruzamento contribu a com = 1 para a tor c ao, enquanto que no da direita contribu a com = +1. Assim, podemos dizer que o efeito do movimento de tipo I e multiplicar por x3 o polin omio-colchete, quando um cruzamento de tor c ao e desfeito.
15

O polin omio de Jones

Felizmente o fato de a tor c ao e o polin omio-colchete n ao serem invariantes pelos movimentos de tipo I permite que os combinemos de forma a criar um polin omio invariante pelo tipo I, sem que ele perca a propriedade de tamb em ser invariante pelos movimentos de tipos II e III. Seja J a proje c ao antes do movimento de tipo I e J a proje c ao ap os o mesmo movimento, com a hip otese de que J tenha um cruzamento a menos do que J (indicando o sentido em que e feito o movimento). Seja a tor c ao do cruzamento que ser a desmanchado. Retomando a deni c ao de tor c ao, observamos que (J ) = (J ) . Por outro lado, da se c ao anterior deduzimos que J = x3 J . Agora denimos o polin omio qJ por qJ (x) = (x3 ) (J ) J e queremos provar que qJ = qJ . Ora, qJ (x) = = = = = (x3 ) (J ) J (x3 ) (J )+ (x3 ) J (x3 ) (J ) (x3 ) (x3 ) J (x3 ) (J ) J qJ (x) .

Observe que qJ tamb em e invariante por movimentos de Reidemeister de tipos II e III, pois em sua deni c ao entram apenas a tor c ao e o polin omiocolchete, que s ao invariantes por esses movimentos. A t tulo de exemplo, voltamos ` a proje c ao do n o trif olio em que obtivemos 7 3 5 o polin omio-colchete x x x . Como a tor c ao dessa proje c ao e igual a
16

3 ent ao qJ (x) = (x3 )3 (x7 x3 x5 ) = x16 + x12 + x4 . O polin omio de Jones e denido a partir de qJ apenas trocando-se x 1/4 por t , por uma quest ao de respeito ` a maneira como ele foi originalmente denido. Denotaremos esse polin omio por VJ , mas por simplicidade, quando estiver claro de que n o ou enlace estamos falando, usaremos apenas V . Ent ao, no mesmo exemplo do n o trif olio, V (t) = t4 + t3 + t1 .

O polin omio de Jones para enlaces

Observe que para enlaces com duas ou mais componentes o polin omio de Jones pode depender da escolha de orienta c ao, n ao por causa do polin omiocolchete, cujo c alculo n ao depende da orienta c ao, mas por causa da tor c ao. Assim, o polin omio de Jones e um invariante entre proje c oes orientadas, mas n ao ca unicamente denido num enlace sem orienta c ao. Mesmo assim, como sabemos que a orienta c ao entra apenas na determina c ao da tor c ao, podemos ter uma id eia de como diferem os polin omios de Jones do mesmo enlace com orienta c oes distintas. Chamemos de J o enlace orientado. Como qJ (x) = (x3 ) (J ) J (x) e x deve ser substitu do por t1/4 , ent ao VJ (t) = t3/4
(J )

J (t1/4 ) .

um enlace que tenha a mesma proje Agora chamemos de J c ao de J , mas seja orientado diferentemente. Como o polin omio-colchete e determinado
17

 , logo sem uso da orienta c ao, temos J = J t3/4 VJ (t) = VJ (t) t3/4
(J ) ) (J

J (t1/4 ) (t1/4 ) J

= (t3/4 ) (J ) (J )

Ou seja, o polin omio de Jones para uma orienta c ao e o polin omio de Jones para outra orienta c ao multiplicado por uma certa pot encia de t3/4 .

Obten c ao direta do polin omio de Jones

Nesta Se c ao abordaremos uma maneira direta de se obter os polin omios de Jones. A maneira direta acaba sendo mais pr atica porque, olhando para apenas um cruzamento podemos reduzir o polin omio procurado a uma combina c ao de polin omios de n os ou enlaces mais simples, e se j a soubermos os polin omios desses n os mais simples n ao precisaremos decompor outros cruzamentos. Em primeiro lugar, da Se c ao anterior inferimos que o polin omio de Jones de um n o trivial e igual a 1:
Rela c ao de novelo

VC (t) = 1 = t0 .

(1)

Substituindo-se x por t1/4 e levando-se em conta que (J C ) = (J ) e (C ) = 0, a segunda regra do polin omio-colchete se traduz, para o polin omio de Jones, em VJ C (t) = (t1/2 + t1/2 )VJ (t) . (2)

A terceira regra tamb em implica em uma rela c ao para os polin omios de Jones, chamada de rela c ao de novelo (skein relation, em ingl es), que passamos a descrever. Sejam tr es enlaces orientados J+ , J e J0 que diferem apenas num cruzamento. Nesse cruzamento, eles s ao como mostra a gura abaixo:
18

J+

J0

Para produzir J0 , e preciso conectar o segmento que chega ao cruzamento por cima com aquele que sai por baixo, e o segmento que chega por baixo ao que sai por cima. Ent ao a rela c ao entre seus polin omios de Jones e dada pela equa c ao t1 VJ+ (t) tVJ (t) + (t1/2 t1/2 )VJ0 (t) = 0 . (3)

Com o uso dessas tr es regras e poss vel escrever o polin omio de um enlace complicado em fun c ao de polin omios de enlaces mais simples. Como os polin omios de Jones s ao iguais em proje c oes equivalentes, pode-se tomar proje c oes mais simples dos enlaces restantes, n ao havendo necessidade de decompor um por um cada cruzamento. Aplicando-as seguidamente determinase o polin omio de qualquer enlace.

Prova da rela c ao de novelo

Sugere-se fortemente que o leitor n ao leia esta Se c ao e tente mostrar por conta pr opria porque vale a rela c ao de novelo, usando a terceira regra do polin omio-colchete. Em todo o caso, se o leitor n ao se sentir seguro, apresentamos a demonstra c ao. Primeiro, vamos diretamente ` as deni c oes. Temos VJ+ (t) = qJ+ (t1/4 ) = (1) (J+ ) (t3/4 ) (J+ ) J+ (t1/4 ) , VJ (t) = qJ (t1/4 ) = (1) (J ) (t3/4 ) (J ) J (t1/4 ) , VJ0 (t) = qJ0 (t1/4 ) = (1) (J0 ) (t3/4 ) (J0 ) J0 (t1/4 ) . Por simplicidade, vamos omitir o argumento t1/4 nas express oes de J+ , J e J0 .
19

As tor c oes se relacionam pelas express oes (J+ ) = (J0 ) + 1 , (J ) = (J0 ) 1 . Os polin omios-colchetes se relacionam pela terceira regra. Pela terceira regra, surgem dois tipos de enlaces que desfazem o cruzamento: um e o pr oprio J0 , e o outro e o que une segmentos com orienta c oes opostas, o qual chamaremos de J0 . Note que J0 n ao e um enlace orientado, porque as orienta c oes entraram em conito pela maneira como o segmentos foram religados. No entanto, s o estamos preocupados com o polin omio-colchete de J0 , e este ignora a orienta c ao. A terceira regra diz que J+ = t1/4 J0 + t1/4 J0 , onde substitui-se x por t1/4 . Quanto a J , temos que adaptar para obter J = t1/4 J0 + t1/4 J0 . Agora podemos substituir essas express oes todas nas f ormulas dos polin omios de Jones dos tr es enlaces. Para simplicar, denotaremos + = (1) (J0 ) (t3/4 ) (J0 ) VJ+ (t) , e , 0 analogamente, multiplicando os respectivos polin omios pelo mesmo fator. Achando a rela c ao entre + , e 0 teremos a rela c ao entre os polin omios, bastando cancelar o fator comum. Ent ao + = t3/4 t1/4 J0 + t1/4 J0 = t3/4 t1/4 J0 + t1/4 J0 0 = J0 . c oes: A rela c ao de novelo e obtida ao se eliminar J0 das equa t1 + t = t1/2 J0 + t1/2 J0 = (t1/2 + t1/2 )0 .
20

= t1/2 J0 t J0 , = t1 J0 t1/2 J0 ,

Pal ndromos
Imaginemos a seguinte situa c ao: tomamos uma proje c ao e tamb em sua imagem especular, que pode ser desenhada apenas invertendo todos os cruzamentos (isto e, fazendo os segmentos superiores se tornarem inferiores, e vice-versa). Como se comporta o polin omio de Jones de um n o ou de um enlace (orientado) quando se invertem as posi c oes de todos os cruzamentos? A resposta e bastante simples: o polin omio de Jones da imagem especular e exatamente o polin omio de Jones original trocando-se t por t1 (ca como exerc cio para o leitor olhar para a rela c ao de novelo para se convencer desse fato). Por exemplo, a imagem especular da proje c ao do n o trif olio que nos serviu de exemplo tem um polin omio de Jones V (t) = t + t3 t4 (sempre escrevemos o polin omio com as pot encias em ordem crescente). Da podemos tirar uma importante conclus ao: como as duas proje c oes t em polin omios de Jones diferentes ent ao elas n ao correspondem ao mesmo n o! Em outras palavras, n ao h a uma isotopia que transforme uma proje c ao na outra! Isso mostra que o n o trif olio n ao e um s o, ele se apresenta em duas vers oes! Por outro lado, tomando uma proje c ao do n o gura-oito obteremos o polin omio de Jones V (t) = t2 t1 + 1 t + t2 (1 representa t0 e t representa t1 ). Curiosamente, sua imagem especular tamb em deve ter o mesmo polin omio, pois a troca de t por t1 n ao muda nada. Esse polin omio e um pal ndromo, express ao usada para denotar palavras sim etricas como arara. Nesta analogia, as letras correspondem aos coecientes das pot encias de t.
21

De fato esse polin omio tinha que ser palindr omico, simplesmente porque para o n o gura-oito qualquer proje c ao sua e isot opica a sua imagem especular, fato que convidamos o leitor a vericar. Se as proje c oes s ao isot opicas, seus polin omios t em que ser iguais, anal o polin omio e um invariante! Ent ao, ao contr ario do n o trif olio, s o existe um n o gura-oito. H a que se ter cuidado, no entanto, com a arma c ao inversa: n ao podemos concluir que um n o cujas proje c oes tenham polin omios palindr omicos se apresenta em apenas uma forma. Como j a dissemos, o polin omio de Jones n ao e um invariante completo, no sentido de que polin omios de Jones iguais n ao implicam em proje c oes equivalentes. Entre os n os de at e sete cruzamentos, apenas os n os 41 (gura-oito) e 63 s ao palindr omicos. Os n os palindr omicos s ao candidatos a se apresentarem em apenas uma vers ao, mas esse fato precisa ser vericado. Sugerimos ao leitor que tente mostrar que a proje c ao do n o 63 mostrada na tabela e equivalente a sua imagem especular. Se conseguir, otimo. Se n ao conseguir, ainda n ao poder a armar nada, pode ter sido apenas falta de sorte! Mas pode ter sido tamb em porque isso e imposs vel! Para provar que e imposs vel, se for este o caso, ser a preciso recorrer a outro invariante que assuma valores diferentes em cada proje c ao.

Exerc cios e experimentos

1. Vericar que a proje c ao do n o gura-oito e equivalente a sua imagem especular. 2. Conseguindo o item anterior com corda, mostre a isotopia entre uma proje c ao e outra usando exclusivamente movimentos de Reidemeister e isotopias planares. 3. Tentar o mesmo com o 63 . 4. Termine a demonstra c ao de que a tricolorabilidade e um invariante.
22

5. Tente, com corda, construir um n o bem complicado. Veja se e poss vel arranjar uma proje c ao com o menor n umero poss vel de cruzamentos (voc e ver a que e muito dif cil saber ao certo se conseguiu). Calcule o polin omio de Jones e procure uma tabela de n os para pelo menos tentar identic a-lo. Sua proje c ao e igual ` a do n o encontrado na tabela? Como saber que se trata do mesmo n o? Sugest ao: fa ca os exerc cios abaixo para ter melhores ferramentas para ajudar no c alculo do polin omio e encontre um atlas completo sobre n os e enlaces no site http://www.math.toronto.edu/drorbn/KAtlas/Knots/ 6. Sejam L e J dois enlaces orientados quaisquer que n ao est ao enla cados entre si, isto e, que podem ser afastados um do outro. Ache uma f ormula para o polin omio de L J em fun c ao dos polin omios de L e J . 7. Seja L#J a composi c ao dos enlaces L e J , como mostra a gura abaixo. Expresse o polin omio de Jones de L#J em fun c ao dos polin omios de Jones de L e J .

J=L

Um enlace e dito primo se n ao pode ser escrito como a composi c ao de dois outros. Em geral, as tabelas de n os s o apresentam n os primos. Uma pergunta em aberto e saber se dois n os n ao triviais podem ser compostos de tal forma a resultar no n o trivial. 8. Fa ca uma dedu c ao semelhante no caso em que os dois enlaces se enlacam como na gura abaixo.

L
23

E se uma das orienta c oes for invertida? 9. Os n os s ao, em geral, apresentados por proje c oes com o m nimo de cruzamentos poss vel, e por esse n umero s ao ordenados. O n umero m nimo de cruzamentos n ao deixa de ser um invariante. Hoje em dia h a programas de computador feitos para tabular n os (s ao progressos bem recentes, ver por exemplo o artigo de Hoste-Thistlethwaite-Weeks, The rst 1701936 knots, Math. Intelligencer 20(4) (1998) 33-46), o que permite tamb em contar o n umero de n os primos para um dado n umero m nimo n de cruzamentos. At e n = 22 os resultados s ao (resultados

24

tirados do site mencionado acima): 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 1 0 0 1 1 2 3 7 21 49 165 367 1.288 4.878 19.536 85.263 379.799 1.769.979 8.400.285 40.619.285 199.631.989 990.623.857 4.976.016.485

Investigue que regra de crescimento parecem obedecer esses n umeros. 10. Tome um n o trivial projetado com apenas um cruzamento (em forma de oito ou innito) e use essa proje c ao para mostrar que a rela c ao de novelo (terceira regra) implica na segunda regra (aquela que fornece o polin omio da uni ao n ao enla cada de um enlace qualquer e de um n o
25

trivial). 11. Existem v arios polin omios invariantes, alguns deles at e mais ecientes do que os polin omios de Jones. O polin omio de Alexander, que foi o primeiro a ser descoberto, na d ecada de 1920, e menos eciente do que o polin omio de Jones, pois n ao distingue imagens especulares e se repete em alguns n os de poucos cruzamentos. Chamando de A esse polin omio, ele tamb em pode ser obtido de uma rela c ao de novelo: A(J+ ) A(J ) + (t1/2 t1/2 )A(J0 ) = 0 , al em de A(C ) = 1. Calcule esse polin omio em alguns exemplos de n os e enlaces e tente obter algumas propriedades. Por exemplo, qual e o polin omio de Alexander do enlace trivial de duas componentes? Ou ainda, o polin omio de Alexander distingue imagens especulares? 12. O polin omio HOMFLY (nome que incorpora iniciais de seus descobridores) e mais geral que o polin omio de Jones e o polin omio de Alexander. Ele e um polin omio de duas vari aveis x e y , e pode ser calculado pela rela c ao de novelo xP (J+ ) + x1 P (J ) + yP (J0 ) = 0 . Calcule o polin omio HOMFLY para o enlace trivial de duas componentes. 13. Verique que substituindo xpor it1 e y por i(t1/2 t1/2 ) no polin omio HOMFLY, onde i = 1, resulta no polin omio de Jones. J ao 1/2 1/2 polin omio de Alexander sai de x = i e y = i(t t ). 14. Os dois n os abaixo s ao os n os mutantes de Kinoshita e Terasaka. Um e obtido do outro rodando em 180 graus a regi ao dentro do c rculo e depois tomando sua imagem especular. Veja se algum polin omio distingue esses dois n os (dica: se o HOMFLY n ao funcionar ent ao os outros n ao podem funcionar tampouco, uma vez que s ao casos particulares dele). Pode-se mostrar que esses n os s ao de fato diferentes.
26

15. Uma pergunta em aberto e se existe algum n o n ao trivial cujo polin omio de Jones d e igual a 1. Recentemente (M. Thistlethwaite, Links with trivial Jones polynomial, J. of Knot Theory and its ramications 10 (4) (2001) 641-643) mostrou-se que h a enlaces de duas componentes cujos polin omios de Jones s ao iguais ao do enlace trivial com mesmo n umero de componentes (isto e, t1/2 t1/2 ). Um artigo de 2003 do mesmo autor, com colaboradores, mostra que h a innitos enlaces desse tipo, com qualquer n umero de componentes maior ou igual a 2 (mais precisamente, enlaces n ao triviais de k componentes com o mesmo polin omio de Jones que o enlace trivial de k componentes). A gura abaixo mostra um enlace de duas componentes, com 15 cruzamentos.

Verique a arma c ao do autor para esse enlace. Mostre que, no entanto, o polin omio HOMFLY distingue esse enlace do enlace trivial de duas componentes.

Pesquisar
27

Estas notas foram redigidas a partir do livro The Knot Book, de Colin C. Adams, voltado para um p ublico bastante amplo de n ao-matem aticos. Recomenda-se fortemente a leitura do livro. Ele cont em tamb em muitos problemas abertos, mas como foi editado em 1993 pode ser que alguns deles j a tenham sido resolvidos desde l a. A tabela anexa, contendo os n os primos de at e 10 cruzamentos, foi tirada do site citado acima.

28