Escolar Documentos
Profissional Documentos
Cultura Documentos
Amor e Matematica - Edward Frenkel PDF
Amor e Matematica - Edward Frenkel PDF
Sobre a obra:
Sobre nós:
F94a
Frenkel, Edward, 1968-
14-15444
CDD: 510.9
CDU: 51(09)
CASA DA PALAVRA PRODUÇÃO EDITORIAL
Av. Calógeras, 6, 701 - Rio de Janeiro – RJ – 20030-070
21.2222 3167 21.2224 7461
divulga@casadapalavra.com.br
www.casadapalavra.com.br
Para os meus pais
Sumário
Prefácio
1 Um animal misterioso
2 A essência da simetria
3 O quinto problema
4 Kerosinka
5 Linhas de solução
6 Aprendiz de matemático
8 Números mágicos
9 Pedra de Roseta
10 No loop
11 Conquistando o topo
12 Árvore do conhecimento
13 O chamado de Harvard
Epílogo
Agradecimentos
Notas
Glossário de termos
Prefácio
Este livro também trata do amor. Certo dia, tive a visão de um matemático
descobrindo a “fórmula do amor”, e isso se tornou a premissa de um filme, Rites
of Love and Math, o qual comentarei posteriormente no livro, Quando exibo o
filme, alguém sempre pergunta: “Existe realmente uma fórmula do amor?”
Minha resposta: “Toda fórmula que descobrimos é uma fórmula do amor.”
A matemática é uma fonte de conhecimento atemporal e profunda, que
alcança o coração de toda matéria e nos une através de culturas, continentes e
séculos. Meu sonho é que todos nós sejamos capazes de ver, apreciar e admirar a
beleza mágica e a harmonia refinada dessas ideias, fórmulas e equações, pois
isso dará muito mais significado ao nosso amor mútuo e ao amor pelo mundo.
Um guia para o leitor
Um animal misterioso
Isso era bastante claro. No entanto, era obscuro como os físicos descobriram
que prótons e nêutrons não eram partículas indivisíveis, e sim estruturas
compostas por blocos menores.
Afirma-se que, no final da década de 1950, um grande número de partículas
aparentemente elementares, denominadas hádrons, foi descoberto. Os nêutrons e
os prótons são hádrons e, naturalmente, desempenham funções importantes no
cotidiano como elementos básicos da matéria. Quanto ao resto dos hádrons –
bem, ninguém tinha ideia de por que existiam (ou “quem os encomendou”, como
afirmou um pesquisador). Havia tanto deles que Wolfgang Pauli, físico muito
influente, brincou dizendo que a física estava se transformando em botânica. Os
físicos precisavam desesperadamente dominar os hádrons, para descobrir os
princípios subjacentes que determinariam seu comportamento e explicariam sua
insana proliferação.
De forma independente, Gell-Mann e Yuval Ne’eman propuseram um novo
sistema de classificação. Os dois mostraram que os hádrons podem ser divididos
naturalmente em famílias pequenas, cada uma com oito ou dez partículas. Eles
as denominaram octetos e decupletos. As partículas no interior de cada uma das
famílias apresentavam propriedades similares.
Nos livros de divulgação científica que estava lendo na ocasião, encontrava
diagramas de octeto como este:
A essência da simetria
O quinto problema
Mas voltemos ao meu exame. Outra hora e meia tinha se passado. Então, um
dos examinadores afirmou:
– OK, terminamos com as perguntas. Aqui está um problema que queremos
que você resolva.
O problema que ele me deu era bastante difícil. A solução exigia o uso do
assim chamado princípio de Sturm, que não era estudado na escola.4 No entanto,
eu o conhecia, por conta do meu curso por correspondência. Assim, fui capaz de
resolvê-lo. Quando estava fazendo os cálculos finais, o examinador retornou.
– Já terminou?
– Quase.
Ele observou minhas anotações e, sem dúvida, percebeu que minha solução
estava correta e que eu estava simplesmente acabando meus cálculos.
– Sabe, vou lhe apresentar outro problema – ele disse.
Curiosamente, o segundo problema era duas vezes mais difícil que o
primeiro. Mesmo assim, fui capaz de resolvê-lo, mas o examinador novamente
me interrompeu.
– Ainda não acabou? – ele perguntou. – Tente esse, então.
Se fosse uma luta de boxe, com um dos pugilistas acuado num canto,
ensanguentado, tentando desesperadamente se manter de pé, defendendo-se de
uma saraivada de golpes (muitos deles baixos, devo acrescentar), aquele seria o
equivalente ao golpe final. À primeira vista, o problema parecia simples: dado
um círculo e dois pontos no plano fora do círculo, construa outro círculo passando
através desses dois pontos e tocando o primeiro círculo em um ponto.
No entanto, a solução é de fato bastante complicada. Mesmo um matemático
profissional não seria necessariamente capaz de resolvê-lo com rapidez.
Precisaria usar um truque denominado inversão ou seguir uma construção
geométrica elaborada. Nenhum dos dois métodos era estudado no ensino médio,
e, portanto, o problema não deveria ter sido permitido nesse exame.
Eu tinha estudado inversão e percebi que poderia aplicá-la naquele caso.
Comecei a resolver o problema, mas, alguns minutos depois, os meus
interrogadores voltaram e se sentaram perto de mim. Um deles disse:
– Sabe, acabamos de ter uma conversa com o vice-presidente do comitê de
admissão e discutimos o seu caso. Ele nos perguntou por que ainda estamos
perdendo nosso tempo… Veja – ele puxou um formulário de aparência oficial
com algumas observações rabiscadas nele. Foi a primeira vez que eu o vi –, na
primeira pergunta de seu bilhete, você não nos deu a resposta completa; você
nem mesmo sabia a definição de um círculo. Assim, tivemos que te dar um
menos. Na segunda pergunta, seu conhecimento também foi questionável, mas
tudo bem, demos um mais ou menos. Em seguida, você não conseguiu resolver
completamente o primeiro problema e não resolveu o segundo problema. E o
terceiro? Você também não o resolveu. Veja, não tivemos outra escolha senão
reprová-lo.
Olhei para o meu relógio. Mais de quatro horas tinham se passado desde o
início do exame. Eu estava exausto.
– Posso ver minha prova escrita?
O outro homem se dirigiu para a mesa e trouxe minha prova. Colocou-a na
minha frente. Enquanto virava as páginas, tive a impressão de estar num filme
surrealista. Todas as respostas estavam corretas, todas as soluções estavam
corretas. No entanto, existiam muitos comentários. Estavam todos escritos a lápis
– assim poderiam ser facilmente apagados, estimei –, mas eram todos ridículos,
como alguém fazendo uma brincadeira comigo. Um dos comentários ainda
subsiste na minha memória: durante um cálculo, escrevi “
Kerosinka
Naquela noite, após o exame, meus pais e eu chegamos na casa bem tarde.
Ainda estávamos em estado de choque em relação ao que acontecera.
Foi uma experiência muito dolorosa para os meus pais. Sempre fui bastante
próximo deles, e eles sempre me deram amor e apoio incondicionais. Nunca me
pressionaram a estudar com mais afinco ou a escolher uma profissão específica,
mas me estimularam a ir atrás da minha paixão. E, naturalmente, estavam
orgulhosos das minhas habilidades. Ficaram arrasados com o que aconteceu
comigo no exame, tanto por causa da injustiça absoluta como pelo fato de terem
sido incapazes de fazer alguma coisa para proteger seu filho.
Trinta anos antes, em 1954, o sonho do meu pai de se tornar um físico teórico
também fora interrompido brutalmente, mas por um motivo distinto. Como
outras milhões de pessoas inocentes, o pai dele, ou seja, meu avô, fora vítima das
perseguições de Josef Stalin. Em 1948, ele foi preso sob a falsa acusação de
querer explodir uma grande fábrica de automóveis em Gorky (atualmente, Níjni
Novgorod), onde trabalhava como chefe de suprimentos. A única “prova”
apresentada em sua acusação foi a caixa de fósforos encontrada em sua posse no
momento da prisão. Ele foi enviado a um campo de trabalhos forçados, numa
mina de carvão, na região norte da Rússia, parte do Arquipélago Gulag, que
Alexander Soljenítsin e outros escritores descreveram de maneira tão vívida anos
depois. Meu avô foi considerado “inimigo do povo”, e meu pai era, portanto,
“filho de um inimigo do povo”.
Meu pai foi obrigado a escrever isso em seu pedido de inscrição para o
departamento de física da Universidade de Gorky. Ainda que ele tenha concluído
o ensino médio com distinção e devesse ser aceito automaticamente na
universidade, foi reprovado na entrevista, cujo único objetivo era marginalizar os
parentes dos “inimigos do povo”. Então, meu pai foi forçado a ir para uma escola
de engenharia (como outros prisioneiros, meu avô foi reabilitado e solto pelo
decreto de Nikita Khrushchov, em 1956, mas, àquela altura, era muito tarde para
reparar a injustiça).
Agora, trinta anos depois, seu filho tinha de passar por uma experiência
semelhante.
No entanto, não houve tempo para autocomiseração. Tínhamos de decidir
rapidamente o que fazer a seguir, e a primeira questão envolvia a escola para
qual eu deveria me candidatar. Todas realizavam seus exames ao mesmo tempo,
em agosto, dali a cerca de duas semanas, e eu só podia me candidatar a uma
delas.
Na manhã seguinte, meu pai acordou cedo e voltou para Moscou. Ele levou a
recomendação do examinador da MGU a sério. Parecia que o examinador
estava tentando me ajudar, talvez como uma espécie de compensação parcial
pela injustiça que cometera. Assim, depois que meu pai chegou a Moscou, ele foi
direito ao escritório de admissões do Instituto de Petróleo e Gás.* De algum
modo, conseguiu achar alguém disposto a conversar com ele privadamente e
relatou minha situação. O membro da universidade disse que tinha conhecimento
do antissemitismo na MGU, mas afirmou que o Instituto de Petróleo e Gás era
diferente. Ele ainda revelou que o nível dos candidatos para seu curso de
matemática aplicada era bastante alto devido à grande quantidade de estudantes
como eu, que não eram aceitos na MGU. O exame de acesso não seria nada
fácil. Mas, ele disse:
– Se o seu filho for tão brilhante quanto você diz, ele será admitido. Não há
discriminação contra judeus nos exames aqui. –Eno fim da conversa, afirmou: –
Porém, tenho de preveni-lo. Nossos cursos de pós-graduação são dirigidos por
pessoas diferentes, e acho que seu filho provavelmente não será aceito na escola
de pós-graduação.
No entanto, isso era algo para me preocupar dentro de cinco anos; muito
tempo à frente.
Em Moscou, meu pai ainda visitou outras duas escolas com cursos de
matemática aplicada, mas nenhuma delas com a atitude que encontrou no
Instituto de Petróleo e Gás. Assim, naquela noite, quando ele voltou para casa e
contou as novidades para mim e minha mãe, decidimos imediatamente que eu
me candidataria ao Instituto de Petróleo e Gás, para seu curso de matemática
aplicada.
O Instituto era uma das doze escolas de Moscou que formavam técnicos para
diversos setores industriais, tais como o Instituto de Metalurgia e o Instituto de
Engenheiros Ferroviários (na União Soviética, muitas faculdades eram chamadas
de institutos). A partir do final da década de 1960, o antissemitismo praticado pela
MGU “criou um mercado para colocações em matemática para estudantes
judeus”, como Mark Saul escreveu em seu artigo.1 O Instituto de Petróleo e Gás
“começou a satisfazer esses mercados, beneficiando-se das políticas antissemitas
das outras universidades em relação à admissão de estudantes altamente
qualificados”. Mark Saul explica:
Seu apelido, Kerosinka, refletia (seu) orgulho e cinismo. Um
kerosinka é um aquecedor portátil a querosene; uma resposta de
tecnologia simples, mas eficaz, contra a adversidade. Os
estudantes e os diplomados do instituto rapidamente se tornaram
conhecidos como “kerosineshchicks”, e a escola se tornou um
refúgio para os estudantes judeus apaixonados por matemática.
Como o destino escolheu Kerosinka como repositório de tanto
talento? A resposta não é fácil. Sabemos que existiam outras
instituições que se beneficiaram da exclusão dos judeus da
MGU. Também sabemos que o estabelecimento dessa política de
exclusão era uma ação consciente, que provavelmente
encontrou alguma resistência inicialmente. Talvez tivesse sido
mais fácil para algumas instituições continuarem a aceitar
estudantes judeus do que instituir uma nova política. No entanto,
depois que o fenômeno cresceu e havia um núcleo de estudantes
judeus em Kerosinka, por que isso foi tolerado? Existiam boatos
tenebrosos a respeito de uma conspiração da polícia secreta
(KGB) para manter os estudantes judeus sob vigilância em um
ou dois lugares. No entanto, parte da motivação pode ter sido
mais positiva: a administração do instituto pode ter percebido um
bom departamento se desenvolvendo e ter feito o possível para
preservar o fenômeno.
A cerca na lateral do edifício era bastante alta (tinha, facilmente, cerca de seis
metros de altura), mas, em um ponto, o metal estava curvado, e era possível se
infiltrar no terreno. E então? Entramos no edifício por uma porta lateral e, depois
de atravessarmos longos corredores, acabamos na cozinha. Atravessamos a
cozinha, tentando não atrair muita atenção do pessoal que trabalhava ali,
alcançamos o refeitório e, em seguida, o saguão de entrada principal. Pegamos o
elevador até o 14° andar, onde ficava o auditório.
Alexander Alexandrovich Kirillov (ou San Sany ch, como ele era
afetuosamente chamado) é um professor carismático e um grande ser humano,
a quem cheguei a conhecer muito bem anos depois. Acho que ele estava dando
um curso da graduação sobre teoria da representação, na linha de seu conhecido
livro. Ministrava ainda um seminário para estudantes de pós-graduação, que
também frequentávamos.
Escapamos impunes da invasão graças ao bom coração de Kirillov. Seu filho
Shurik (atualmente, professor da Stony Brook University ) estudou na escola
especializada em matemática n° 179, junto com meus colegas de classe Dima
Kleinbock e Sy oma Hawkin. Obviamente, San Sany ch sabia da situação relativa
às admissões na MGU. Muitos anos depois, ele me contou que não havia nada
que pudesse fazer a esse respeito; não lhe permitiam participar do comitê de
admissão, que era, em grande medida, composto de apparatchiks do Partido
Comunista. Assim, tudo que ele podia fazer era permitir que nos infiltrássemos
furtivamente em seus cursos.
Kirillov fazia tudo ao seu alcance para acolher favoravelmente os estudantes
de Kerosinka que frequentavam suas aulas. Uma das melhores lembranças do
meu primeiro ano de faculdade foi assistir a suas aulas e seminários brilhantes.
Também frequentei um seminário dado por Alexander Rudakov, o que também
foi uma grande experiência.
Enquanto isso, eu estava aprendendo tudo que podia de matemática em
Kerosinka. Morava num dormitório da faculdade, mas voltava para casa nos
finais de semana, e ainda estava me encontrando com Evgeny Evgenievich a
cada duas semanas. Ele me recomendava alguns livros para ler, e eu relatava
para ele o meu progresso. No entanto, eu estava alcançando rapidamente o ponto
em que, para manter meu ímpeto e também minha motivação, precisaria de um
mentor com quem me encontrasse com mais regularidade, não só para
aprender, mas também para receber um problema para resolver. Como não
estava no Mek-Mat, não podia tirar proveito dos inúmeros recursos que aquele
departamento tinha a oferecer. E eu era muito tímido para me aproximar de
alguém como A. A. Kirillov e lhe pedir para trabalhar comigo individualmente
ou me dar um problema para resolver. Sentia-me como um intruso. No semestre
da primavera de 1986 (meu segundo ano em Kerosinka), a complacência e a
estagnação estavam começando a se manifestar. Com todas essas condições
desfavoráveis, comecei a duvidar de que poderia realizar meu sonho de me
tornar um matemático.
*Na época, o instituto era conhecido como Instituto Gubkin da Indústria
Petroquímica e do Gás (o nome era uma homenagem a I. M. Gubkin, ministro de
longa data do Ministério de Petróleo e Gás da URSS). Depois que virei estudante
ali, foi renomeado como Instituto Gubkin de Petróleo e Gás e, posteriormente,
como Universidade Gubkin de Petróleo e Gás.
Capítulo 5
Linhas de solução
Assim, vamos supor que temos duas tranças. Para produzir uma nova trança
como resultado delas, colocamos uma sobre a outra, alinhando os prendedores,
como exposto na figura. Então, removemos as placas intermediárias e, ao
mesmo tempo, conectamos os fios superiores aos inferiores, presos aos
prendedores correspondentes.
A trança resultante terá o dobro de altura, mas esse não é o problema.
Simplesmente encurtaremos os fios, para que a trança resultante tenha a mesma
altura das originais e, ao mesmo tempo, preserve a maneira pela qual os fios
sigam ao redor mutuamente. Voilà! Começamos com duas tranças e produzimos
uma nova. Essa é a regra de composição de duas tranças em nosso grupo de
tranças.
Como um grupo de tranças não resulta de simetrias, às vezes é melhor
pensar nessa operação não como “composição” (o que era natural no caso dos
grupos de simetrias), mas como “adição” ou “multiplicação”, semelhante às
operações que realizamos com números. Desse ponto de vista, as tranças são
como números – são como alguns “números cabeludos”, por assim dizer.
a + b = b + a.
a + b ≠ b + a.
Aprendiz de matemático
x n + y n = zn
x + y = z,
x 2 + y 2 = z2.
32 + 42 = 52.
Tudo isso era conhecido desde a antiguidade. O que era desconhecido era se
a equação tinha soluções para n maior que 2. Parece bastante simples, não? Quão
difícil pode ser responder a uma pergunta como essa?
Bem, ao que se constatou, bastante difícil. Em 1637, Pierre de Fermat,
matemático francês, deixou uma anotação em um antigo livro dizendo que, se n
fosse maior que 2, então a equação não teria soluções x, y e z que fossem
números naturais. Em outras palavras, não somos capazes de encontrar três
números naturais x, y e z que obedeçam a uma equação como
x 3 + y 3 = z3,
x 4 + y 4 = z4,
x n + y n = zn
De jeito nenhum!
Em relação a qualquer problema matemático, você jamais sabe o que a
solução envolverá. Você espera e reza para ser capaz de descobrir uma solução
atraente e elegante, e talvez descobrir algo interessante pelo caminho. Além
disso, você certamente espera ser capaz de fazer isso num período de tempo
razoável, sem ter de esperar 350 anos para chegar à conclusão. No entanto, você
nunca pode ter certeza.
No caso do meu problema, tive sorte; de fato, havia uma solução elegante que eu
era capaz de achar num período de tempo relativamente curto: cerca de dois
meses. No entanto, ela não chegou facilmente para mim. Nunca chega. Tentei
diversos métodos distintos. À medida que cada um deles falhava, sentia-me cada
vez mais frustrado e ansioso. Aquele era meu primeiro problema, e,
inevitavelmente, questionei minha capacidade de me tornar um matemático.
Esse problema foi meu primeiro teste, que me diria se eu tinha, afinal, o que era
necessário.
O trabalho não me isentou de frequentar as aulas e fazer provas em
Kerosinka, mas minha maior prioridade era o problema, e passei horas
intermináveis debruçado sobre ele, noites e finais de semana. Estava me
pressionando demais. Comecei a ter problemas com o sono; foi a primeira vez
que isso aconteceu comigo. A insônia que desenvolvi durante o trabalho nesse
problema foi o primeiro “efeito colateral” da minha pesquisa matemática.
Assombrou-me durante muitos meses na sequência, e, a partir daí, jamais me
permiti perder-me tão completamente num problema matemático.
Encontrava-me com Fuchs quase toda semana no edifício do Mekh-Mat,
onde lhe relatava os detalhes do meu progresso, ou a falta do mesmo (naquela
altura, ele havia conseguido arranjar uma identidade especial para mim, e,
assim, eu não tinha mais de pular a cerca). Fuchs sempre me deu apoio e
estímulo, e, todas as vezes que nos encontrávamos, ele me falava a respeito de
um novo macete ou sugeria um novo insight, que eu procuraria aplicar no meu
problema.
E então, subitamente, achei a solução; ou, talvez de modo mais exato, a solução
se apresentou por si mesma, em todo o seu esplendor.
Estava tentando utilizar um dos métodos padrão para calcular os números de
Betti que Fuchs me ensinara, denominado “sequência espectral”. Era capaz de
aplicá-lo até certo ponto, o que me permitiu, em princípio, calcular os números
de Betti do grupo B' n, a partir do conhecimento dos números de Betti de todos os
grupos B' m, com m < n. A limitação era, claro, que eu não sabia o que eram
aqueles outros números de Betti.
No entanto, isso me deu uma maneira de enfrentar o problema: se eu
conseguisse adivinhar a resposta correta, então teria um caminho para
demonstrá-la seguindo esse método.
É fácil falar, mas criar essa suposição exigiu muitos cálculos de amostra, que
simplesmente se tornavam cada vez mais complicados. Durante muito tempo,
nenhum padrão pareceu emergir.
De repente, como num passe de mágica, tudo ficou claro para mim. O
quebra-cabeça se completou, e a imagem final se revelou plena de elegância e
beleza, num momento que sempre lembrarei e tratarei com carinho. Foi uma
sensação incrível de elevação, que fez todas aquelas noites em claro valerem a
pena.
Pela primeira vez na minha vida, tinha em meu poder algo que ninguém mais
no mundo tinha. Era capaz de dizer algo novo a respeito do universo. Não era a
cura do câncer, mas era uma peça valiosa de conhecimento, e ninguém poderia
tirá-la de mim.
Se você vivenciar essa sensação uma vez, vai querer vivenciá-la de novo. Foi
a primeira vez que aconteceu para mim, e, como o primeiro beijo, tornou-se
muito especial. Soube, então, que podia me considerar um matemático.
Foi para esse homem impressionante que Fuchs sugeriu que eu apresentasse meu
primeiro artigo de matemática. A revista de Gelfand, Functional Analysis and
Applications, tinha quatro edições por ano, com cerca de cem páginas cada uma
(um número desprezível para uma revista como aquela, mas o editor se recusava
a dar mais espaço). Era uma publicação tida em alta consideração em todo o
mundo. Era traduzida para o inglês, e diversas bibliotecas científicas do mundo a
assinavam.
Era muito difícil ter um artigo publicado nessa revista, em parte por causa da
limitação severa do número de páginas. De fato, eram publicados dois tipos de
artigos: artigos de pesquisa, cada um geralmente com dez a quinze páginas,
contendo demonstrações detalhadas; e de comunicações curtas, em que somente
os resultados eram apresentados, sem demonstrações. As comunicações não
podiam ter mais de duas páginas. Na teoria, cada um desses artigos curtos devia
ser acompanhado por um artigo detalhado, contendo todas as demonstrações,
mas, na realidade, muito frequentemente isso não acontecia, porque publicar um
artigo mais longo era extremamente difícil. De fato, era quase impossível para
um matemático da URSS publicar no exterior (ele precisava conseguir todos os
tipos de certificados de segurança, o que podia demorar facilmente mais de um
ano e exigir muito esforço). Por outro lado, na União Soviética, a quantidade de
publicações especializadas em matemática, considerando a quantidade de
matemáticos existentes no país, era muito pequena. Infelizmente, muitas delas
eram controladas por grupos que não permitiam que estranhos publicassem, e o
antissemitismo também predominava em algumas delas.
Por causa de tudo isso, certa subcultura de artigos de matemática emergiu na
URSS, o que passou a ser conhecido como a “tradição russa” referente a artigos
matemáticos: redação extremamente concisa, com poucos detalhes fornecidos.
O que muitos matemáticos fora da União Soviética não atinaram era que isso
acontecia em grande medida por necessidade, e não por escolha. Era aquele tipo
de comunicação curta que Fuchs estava tencionando para o meu primeiro artigo.
Cada artigo apresentado para a Functional Analysis and Applications,
incluindo as comunicações curtas, tinha de ser examinado e aprovado por
Gelfand. Se ele gostasse, então deixaria o artigo passar pelo processo-padrão de
revisão por pares. Isso significava que, para meu artigo ser levado em
consideração, eu tinha de me encontrar pessoalmente com Israel Moiseevich.
Assim, antes de um dos primeiros seminários do semestre do outono de 1986,
Fuchs me apresentou a Gelfand.
Gelfand apertou minha mão, sorriu e disse:
– Muito prazer. Eu ouvi falar de você.
Fiquei totalmente deslumbrado. Podia jurar que via uma auréola em torno da
cabeça de Gelfand.
Então, Gelfand se virou para Fuchs e lhe pediu para ver meu artigo.
Gelfand começou a virar as páginas. Eram cinco, no total, que datilografei
impecavelmente (e lentamente, com dois dedos) numa máquina de escrever que
peguei emprestada em Kerosinka. Em seguida, eu havia inserido as fórmulas à
mão.
– Interessante – Gelfand afirmou, em tom de aprovação, e, em seguida,
virou-se para Fuchs:
– Mas por que isso é importante?
Fuchs começou a explicar algo a respeito de discriminantes de polinômios de
grau n, com raízes distintas, e como meu resultado podia ser utilizado para
descrever a topologia da fibra do discriminante, e… Gelfand o interrompeu:
– Mity a – ele disse, usando o diminutivo do nome de Fuchs –, você sabe
quantos assinantes tem a revista?
– Não, Israel Moiseevich, não sei.
– Mais de mil. – Era uma quantidade bem grande, considerando como a
revista era especializada. – Não posso enviá-lo com cada exemplar, para você
explicar a cada assinante o motivo pelo qual esse resultado é bom, posso?
Fuchs fez um gesto negativo com a cabeça.
– Isso tem de ser dito claramente no artigo, OK? – Gelfand falou tudo isso
para Fuchs, como se tudo fosse culpa dele. Então, disse para nós dois: – De
qualquer forma, o artigo parece bom para mim.
Em seguida, Gelfand voltou a sorrir e se afastou para conversar com outra
pessoa.
Fuchs esperou até Gelfand estar fora do alcance da sua voz e disse para
mim:
– Não se preocupe com isso. Ele só quis impressioná-lo.
E tinha conseguido.
– Temos apenas que incluir um parágrafo com esse objetivo no começo do
artigo, e, depois disso, ele provavelmente vai publicá-lo – concluiu Fuchs.
Aquele era o melhor resultado possível. Após acrescentar o parágrafo
requerido por Gelfand, apresentei oficialmente o artigo e, no fim, ele foi
publicado.7 Com isso, meu primeiro projeto em matemática estava completo.
Superei meu primeiro desafio e estava no início de uma trajetória que me levaria
ao mundo mágico da matemática moderna.
Esse é o mundo que quero compartilhar com vocês.
*Também vale notar que Gelfand não foi eleito membro pleno da Academia
de Ciências da URSS até meados dos anos 1980 porque a seção de matemática
da Academia foi controlada durante décadas pelo diretor do Instituto de
Matemática Steklov de Moscou, Ivan Matveevich Vinogradov, apelidado de o
“antissemita em comando da URSS”. Vinogradov tinha posto em prática políticas
antissemitas draconianas na Academia e no Instituto Steklov, que ficaram sob seu
controle por quase cinquenta anos.
Capítulo 7
Constata-se que não podemos representar esse número como m/n, onde m e
n são dois números naturais.2 No entanto, poderemos alcançar um número
aproximado por meio de números racionais se anotarmos alguns dígitos iniciais
de sua forma decimal: 1,4142; em seguida, 1,41421; em seguida, 1,414213; e
assim por diante. No entanto, independentemente de quantas casas decimais
mantivermos, será uma aproximação – sempre haverá mais dígitos na
sequência. Nenhum número decimal finito fará justiça alguma vez à
.
Como
, etc.
Vamos tentar introduzir na mistura
nos números racionais e vemos que tipo de sistema numérico obtemos. Sem
dúvida, queremos ser capazes de multiplicar os números dentro desse novo
sistema; assim, temos de incluir todos os números que são produtos de números
racionais e
, e a outra é
e o segundo é como
Infelizmente, Galois estava muito à frente de seu tempo. Suas ideias eram
tão radicais que seus contemporâneos não eram capazes de entendê-las. Seus
artigos foram rejeitados duas vezes pela Academia de Ciências francesa, e levou
quase cinquenta anos para sua obra ser publicada e apreciada pelos outros
matemáticos. Não obstante, é considerada agora um dos pilares da matemática
moderna.
O que Galois fez foi trazer a ideia de simetria, intuitivamente familiar para
nós na geometria, para o primeiro plano da teoria dos números. Além disso, ele
demonstrou o poder incrível da simetria.
Antes de Galois, os matemáticos se concentravam na tentativa de descobrir
fórmulas explícitas para soluções de equações como x 2 = 2 e x 3 – x + 1 = 0,
denominadas equações polinomiais. Infelizmente, ainda é assim que aprendemos
na escola, embora dois séculos tenham se passado desde a morte de Galois. Por
exemplo, somos solicitados a memorizar a seguinte fórmula para soluções de
uma equação quadrática geral (isto é, de grau 2):
ax 2 + bx + c = 0
ax 3 + bx 2 + cx + d = 0,
.
Como nosso próximo exemplo, vamos considerar a equação cúbica escrita
acima, e vamos supor que seus coeficientes são números racionais, mas todas as
suas três soluções são irracionais. Então, construímos um novo corpo numérico
juntando essas soluções aos números racionais. É como adicionar três
ingredientes distintos à nossa xícara de chá: um cubo de açúcar, um pouco de
leite e uma colher de mel. Em qualquer simetria desse corpo numérico (a xícara
de chá com a adição desses ingredientes), a equação cúbica não mudará, pois
seus coeficientes são números racionais, preservados pelas simetrias. Portanto,
cada solução da equação cúbica (um dos três ingredientes) necessariamente se
moverá para outra solução. Essa observação nos permite descrever o Grupo de
Galois de simetrias desse corpo numérico em termos de permutações das três
soluções. O ponto principal é que obtemos essa descrição sem anotar nenhuma
fórmula para as soluções.9
Da mesma forma, o Grupo de Galois de simetrias do corpo numérico obtido
pelo ajuntamento de todas as soluções de uma equação polinomial arbitrária
relativa aos números racionais também pode ser descrito em termos de
permutações dessas soluções (haverá n soluções para uma equação polinomial
de grau n cujas soluções são todas distintas e não racionais). Dessa maneira,
podemos inferir muitas informações a respeito da equação sem enunciar suas
soluções em termos de coeficientes.10
A obra de Galois é um grande exemplo do poder de um insight matemático.
Galois não resolveu o problema de descobrir uma fórmula para soluções de
equações polinomiais no sentido em que era entendido. Ele reconfigurou o
problema. Ele o reformulou, considerou-o sob uma ótica totalmente diferente. E
seu brilhante insight mudou para sempre a maneira pela qual as pessoas pensam
a respeito de números e equações.
Cento e cinquenta anos depois, Langlands radicalizou ainda mais essas ideias.
Em 1967, ele propôs insights revolucionários, ligando a teoria do Grupo de Galois
a outra área da matemática, denominada análise harmónica. Essas duas áreas,
que parecem estar a anos-luz de distância, acabaram se revelando estreitamente
relacionadas. Langlands, na ocasião com pouco mais de 30 anos, resumiu essas
ideias numa carta para o eminente matemático André Weil. Na época, cópias
circularam amplamente entre os matemáticos.11 A apresentação é notável por
sua sobriedade:12
O que veio a seguir foi o início de uma teoria inovadora, que mudou para
sempre a maneira pela qual pensamos a matemática. Assim, nasceu o Programa
de Langlands.
Diversas gerações de matemáticos dedicaram suas vidas a resolver os
problemas propostos por Langlands. O que havia neles que os inspiraram tanto? A
resposta será dada no próximo capítulo.
*Note que aqui e abaixo utilizo um sinal de menos (um travessão) para
representar números negativos, em vez de um hífen. Isso obedece à notação
matemática padrão. De fato, não há realmente nenhuma diferença entre os dois,
pois – N = 0 – N.
Capítulo 8
Números mágicos
x n + y n = zn,
y 2 + y = x 3 – x 2.
{0, 1, 2, … , N – 2, N – 1}
2 + 2 = 1 módulo 3
{0, 1, 2, 3, 4, … , p – 2, p – 1}
2 · 3 = 1 módulo 5,
4 · 4 = 1 módulo 5
y2 + y = x3 – x2
Por exemplo, calculemos o termo com q3. Só pode ocorrer nas expressões q, q(q
+ q2) e q(q + q2) 2 (de fato, todas as outras que aparecem na soma de definição,
como q(q + q2) 3, somente conterão potências de q maiores que 3). A primeira
expressão não contém q3, e cada uma das outras duas contém q3 uma vez. Sua
soma produz 2q3. De maneira semelhante, obtemos os outros termos da série.
Analisando os primeiros termos dessa série, constatamos que para n entre 1 e
7, o coeficiente em frente de qn é o enésimo número de Fibonacci Fn. Por
exemplo, temos o termo 13q7 e F7 = 13. Constata-se que isso é verdadeiro para
todo n. Por esse motivo, os matemáticos denominam essa série infinita a função
geradora dos números de Fibonacci.
Essa função notável pode ser utilizada para fornecer uma fórmula eficaz de
cálculo do enésimo número de Fibonacci sem qualquer referência aos números
precedentes.10 No entanto, mesmo pondo de lado os aspectos computacionais,
podemos apreciar o valor agregado por essa função geradora: em vez de
oferecer um procedimento recursivo autorreferente, ela contempla todos os
números de Fibonacci simultaneamente.
Voltemos aos números ap, calculando as soluções das equações cúbicas módulo
números primos. Consideremos esses números como análogos dos números de
Fibonacci (ignoremos o fato de que os números ap são rotulados pelos números
primos p, enquanto os números de Fibonacci Fn são rotulados por todos os
números naturais n).
Parece quase inacreditável a existência de uma regra que gere esses
números. No entanto, em 1954, Martin Eichler, matemático alemão, descobriu
uma.11 Considere a seguinte função geradora:
q(1 – q) 2 (1 – q11) 2(1 – q2) 2(1 – q22) 2(1 – q3) 2(1 – q33) 2 …
y2 + y = x3 – x2
Essa única linha é um código secreto contendo todas as informações das soluções
da equação cúbica módulo todos os primos.
Uma analogia útil seria pensar na equação cúbica como um organismo
biológico sofisticado, e em suas soluções como diversas características desse
organismo. Sabemos que todas essas características estão codificadas na
molécula de DNA. Da mesma forma, toda a complexidade da nossa equação
cúbica acaba se revelando codificada numa função geradora, que é como o
DNA dessa equação. Além disso, essa função é definida por meio de uma regra
simples.
O que é ainda mais fascinante é que, se q for um número cujo valor absoluto
é menor que 1, então a soma infinita acima converge para um número bem
definido. Assim, obtemos uma função em q, e essa função tem uma propriedade
muito especial, que é similar à periodicidade das funções trigonométricas seno e
cosseno.
A função seno seno(x) é periódica com o período 2π, isto é, seno(x + 2π) =
seno(x). No entanto, também seno(x + 4π) = seno(x), e, em um amplo sentido,
seno(x + 2πn) = seno(x), para qualquer número inteiro n. Pense a respeito disso
desta maneira: cada número inteiro n origina uma simetria de linha, e cada ponto
x sobre a linha é trocado por x + 2πn. Portanto, o grupo de todos os números
inteiros é concebido como um grupo de simetrias da linha. A periodicidade da
função seno significa que essa função é invariável nesse grupo.
Da mesma forma, a função geradora de Eichler da variável q apresentada
acima acaba se revelando invariável sob um determinado grupo de simetria.
Nesse caso, devemos adotar q para ser não um número real, mas sim complexo
(discutiremos esse tópico no próximo capítulo). Então, podemos ver q não como
um ponto sobre a linha, como no caso da função seno, mas como um ponto
dentro de um disco unitário sobre o plano complexo. A propriedade simétrica é
similar: sobre esse disco há um grupo de simetrias, e nossa função é invariável
nesse grupo.12 Uma função com esse tipo de propriedade de invariância é
denominada forma modular.
O grupo de simetria do disco é muito rico. Para ter uma ideia do que é,
observe essa figura, na qual o disco é quebrado numa infinidade de triângulos.13
As simetrias atuam trocando esses triângulos. De fato, para dois triângulos
quaisquer, há uma simetria os trocando. Ainda que essas simetrias sejam muito
sofisticadas, são análogas a como, quando o grupo de números inteiros atua sobre
a linha, suas simetrias se deslocam em torno dos intervalos [2πm, 2π(m + 1)]. A
função seno é invariável nessas simetrias, enquanto a função geradora de Eichler
é invariável sob as simetrias do disco.
Ou seja, para qualquer equação cúbica, existe uma forma modular, de tal
modo que ap = bp, para todos os números primos p, e vice-versa.15
Agora, posso explicar a ligação entre a conjectura de Shimura–Taniy ama-
Weil e o Último Teorema de Fermat: começando com uma solução da equação
de Fermat, podemos construir uma determinada equação cúbica.16 No entanto,
Ken Ribet demonstrou que os números das soluções dessa equação cúbica
módulo números primos não podem ser os coeficientes de uma forma modular
cuja existência é estipulada pela conjectura de Shimura–Taniy ama–Weil. Uma
vez que essa conjectura seja demonstrada, concluímos que a equação cúbica não
pode existir. Portanto, não há soluções para a equação de Fermat.
A conjectura de Shimura–Taniy ama–Weil é um resultado impressionante,
pois os números ap provêm do estudo de soluções de uma equação módulo
números primos – são do mundo da teoria dos números – e os números bp são os
coeficientes de uma forma modular, do mundo da análise harmônica. Esses dois
mundos parecem estar a anos-luz de distância e, no entanto, constata-se que
descrevem a mesma coisa!
Embora não reste muita dúvida de que essas conjecturas são válidas, a
maioria delas ainda não está demonstrada até hoje, apesar do enorme esforço de
diversas gerações de matemáticos dos últimos 45 anos.
Você pode estar se perguntando: como alguém pode propor esses tipos de
conjecturas?
Realmente, isso é uma questão da natureza do insight matemático. A
capacidade de enxergar padrões e conexões que ninguém enxergara antes não
vem facilmente. Em geral, é o resultado de meses, ou até mesmo de anos, de
trabalho duro. Aos poucos, a indicação de um novo fenômeno ou teoria emerge,
e, inicialmente, você não acredita. No entanto, diz: “E se for verdade?” Você
tenta testar a ideia, fazendo cálculos com amostras. Às vezes, esses cálculos são
árduos, e você precisa escalar montanhas de fórmulas pesadas. A probabilidade
de cometer um erro é muito alta, e, se não funcionar inicialmente, você tentará
refazer, repetidas vezes.
Frequentemente, no fim do dia (ou de um mês ou de um ano), você constata
que sua ideia inicial estava errada e precisa tentar outra coisa. Esses são os
momentos de frustração e desespero. Você acha que perdeu muito tempo, sem
nada para demonstrar. Isso dói. Contudo, você jamais desiste. Volta à prancheta,
analisa mais dados, aprende com os erros anteriores, procura propor uma ideia
melhor. E, de vez em quando, derepente, sua ideia começa a funcionar. É como
se você tivesse passado um dia inútil surfando e finalmente pegasse uma onda:
tenta dar conta dela e surfá-la o maior tempo possível. Em momentos como
estes, você tem de liberar sua imaginação e deixar a onda levá-lo o mais longe
possível. Mesmo se, inicialmente, a ideia parece totalmente maluca.
O enunciado da conjectura de Shimura–Taniy ama–Weil deve ter parecido
maluco para seus criadores. Como poderia não parecer? Sim, a conjectura tinha
suas raízes em resultados anteriores, como os de Eichler que discutimos
anteriormente (que foram generalizados posteriormente por Shimura), que
demonstraram que, para algumas equações cúbicas, os números de soluções
módulo p foram registrados nos coeficientes de uma forma modular. No entanto,
a ideia de que isso era válido para qualquer equação cúbica deve ter parecido
totalmente absurda na ocasião. Era um salto de fé, dado inicialmente por Yukata
Taniy ama, matemático japonês, na forma de uma questão que ele propôs no
Simpósio Internacional de Teoria dos Números Algébricos, realizado em Tóquio,
em setembro de 1955.
Sempre me perguntei: o que levou Taniy ama a acreditar que isso não era
uma maluquice, mas algo real? A ter coragem de dizer isso publicamente?
Nunca saberemos. Infelizmente, não muito tempo depois de sua grande
descoberta, em novembro de 1958, Taniy ama suicidou-se. Ele tinha só 31 anos.
Para aumentar ainda mais a tragédia, pouco depois, a mulher com quem estava
planejando se casar também se matou, deixando o seguinte bilhete:17
Nas palavras de Shimura, Taniy ama “não foi muito cuidadoso quando
enunciou seu problema” no simpósio de Tóquio, em setembro de 1955.19
Algumas correções tiveram de ser realizadas. No entanto, foi um insight
revolucionário, que levou a um dos feitos mais significativos da matemática do
século XX.
A terceira pessoa cujo nome está ligado à conjectura é André Weil, a quem
mencionei antes. Ele é um dos gigantes da matemática do século XX. Conhecido
tanto por sua genialidade, como por seu mau humor, ele nasceu na França e foi
para os Estados Unidos na Segunda Guerra Mundial. Depois de manter cargos
acadêmicos em diversas universidades norte-americanas, fixou-se no Instituto de
Estudos Avançados de Princeton, em 1958, e ficou ali até sua morte, em 1998,
com 92 anos.
André Weil, 1981. Foto de Herman Landshoff. Do Shelby White e Leon Levy
Archives Center, Instituto de Estudos Avançados de Princeton.
Pedra de Roseta
Em 1940, na França, durante a guerra, André Weil foi preso por se recusar a
servir nas forças armadas. Como o obituário na revista The Economist disse:1
Na prisão, Weil escreveu uma carta para sua irmã, Simone Weil, famosa
filósofa e humanista. Essa carta é um documento notável; nela, ele tenta explicar,
em termos bastante elementares (acessíveis até a uma filósofa – estou
brincando!) a “visão geral” da matemática, como ele a enxergava. Ao fazer isso,
ele dá um grande exemplo, a ser seguido por todos os matemáticos. Às vezes
brinco que talvez devêssemos prender alguns dos principais matemáticos, para
forçá-los a expressar suas ideias em termos acessíveis, como Weil fez.
Na carta, Weil escreve a respeito do papel da analogia na matemática, e
ilustra isso por meio da analogia que mais o interessava: entre a teoria dos
números e a geometria.
Essa analogia provou ser muito importante para o desenvolvimento do
Programa de Langlands. Como discutimos anteriormente, as raízes do Programa
de Langlands estão na teoria dos números. Langlands conjecturou que questões
difíceis da teoria dos números, como o cálculo das soluções das equações módulo
números primos, podem ser resolvidas com métodos da análise harmônica; de
modo mais específico, o estudo das funções automorfas. Isso é estimulante: em
primeiro lugar, oferece uma nova maneira de resolver problemas que pareciam
insolúveis anteriormente. E, em segundo, aponta para ligações profundas e
fundamentais entre áreas distintas da matemática. Assim, naturalmente,
queremos saber o que realmente está acontecendo: por que essas ligações ocultas
existem? E nós ainda não entendemos isso completamente. Mesmo a conjectura
de Shimura–Taniy ama–Weil levou muito tempo para ser resolvida. E é apenas
um caso especial das conjecturas gerais de Langlands. Há milhares de
enunciados similares que ainda não foram demonstrados.
Então, como devemos abordar essas conjecturas difíceis? Uma maneira é
simplesmente continuar trabalhando duro e tentar propor novas ideias e insights.
Isso aconteceu, e progressos significativos foram feitos. Outra possibilidade é
tentar expandir o escopo do Programa de Langlands. Como ele aponta para
algumas estruturas essenciais da teoria dos números e da análise harmônica, e
das ligações entre ambas, há chances de que estruturas e ligações semelhantes
também possam ser descobertas entre outros campos da matemática.
De fato, isso acabou se revelando verdade. Gradualmente, constatou-se que
os mesmos padrões misteriosos podem ser observados em outras áreas da
matemática, como na geometria e até mesmo na física quântica. Depois que
aprendemos algo sobre esses padrões em uma área, obtemos alusões a respeito
de seus significados em outras áreas. Afirmei anteriormente que o Programa de
Langlands é a Teoria da Grande Unificação da matemática. O que quero dizer
com isso é que ele aponta para alguns fenômenos e ligações universais entre
esses fenômenos através dos distintos campos da matemática. E acredito que
detém a chave para o entendimento do que realmente envolve a matemática,
muito além das conjecturas originais de Langlands.
Atualmente, o Programa de Langlands é um assunto muito vasto. Há uma
grande comunidade de pessoas trabalhando nele em distintos ramos: teoria dos
números, análise harmônica, geometria, teoria da representação, física
matemática. Embora trabalhem com objetos muito distintos, todos estão
observando fenômenos parecidos. E esses fenômenos dão indícios para o
entendimento de como esses diversos domínios estão interligados, como peças de
um gigantesco quebra-cabeça.
Meu ponto de partida para o Programa de Langlands foi meu trabalho a
respeito da álgebra de Kac–Moody, que descreverei em detalhes nos próximos
capítulos. No entanto, quanto mais aprendia sobre o Programa de Langlands,
mais ficava entusiasmado com a maneira pela qual ele é ubíquo em matemática.
Pense nas distintas áreas da matemática moderna como idiomas. Temos
sentenças desses idiomas que achamos que significam a mesma coisa. Nós as
colocamos perto umas das outras, e, aos poucos, começamos a desenvolver um
dicionário que nos permite a tradução entre distintas áreas da matemática. André
Weil nos oferece um arcabouço adequado para o entendimento das ligações
entre a teoria dos números e a geometria; uma espécie de “pedra de Roseta” da
matemática moderna.
Por um lado, temos objetos da teoria dos números: números racionais e
outros corpos numéricos que discutimos no capítulo anterior, como aqueles que
obtivemos juntando
À primeira vista, a teoria dos números não tem nada em comum com as
superfícies de Riemann. No entanto, constata-se que há diversas analogias entre
ambas. O ponto-chave é que há outra classe de objetos entre as duas.
Para perceber isso, temos de entender que a superfície de Riemann pode ser
descrita por meio de uma equação algébrica. Por exemplo, consideremos
novamente uma equação cúbica, como
y 2 + y = x 3 – x 2.
e–
e–
2 = –1, (–
) 2 = –1.
e–
, os números
e–
e–
. Utilizamos as mesmas regras para fazer contas com esses novos números.
Recordemos como argumentamos antes: constatamos que a equação x 2 = 2
2 não tinha soluções entre os números racionais. Assim, criamos duas soluções
dessa equação, denominadas
e–
e–
.
Os elementos do novo sistema numérico que obtemos juntando
r+ s
onde r e s são números racionais. Compare essa fórmula com a da página 93,
que expressa elementos gerais do sistema numérico obtido juntando
.
= –1. De forma similar, também podemos subtrair e dividir esses números.
Finalmente, ampliamos a definição de números complexos permitindo que r
e s na fórmula acima sejam números reais arbitrários (não apenas números
racionais). Então, obtemos os números complexos mais gerais. Note que é
costume denotar
por i (de “imaginário”), mas achei melhor não fazer isso, para enfatizar o
significado algébrico desse número: realmente, é apenas uma raiz quadrada de –
1, nem mais nem menos. É simplesmente tão concreto quanto a raiz quadrada de
2. Não há nada de misterioso a respeito disso.
Podemos ter uma sensação de como esses números são concretos
representando-os geometricamente. Da mesma forma que os números reais
podem ser representados geometricamente como pontos de uma linha, os
números complexos podem ser representados como pontos de um plano. Ou
seja, representamos o número complexo r + s
y2 + y = x3 – x2
x2 + y2 = 1
Há algum tempo se sabe que há uma profunda analogia entre os grupos de Galois
e os grupos fundamentais.21 Isso dá uma resposta à nossa primeira pergunta:
qual é o análogo do grupo de Galois na coluna direita da pedra de Roseta de Weil?
É o grupo fundamental da superfície de Riemann.
Nossa próxima questão é encontrar análogos apropriados das funções
automorfas; isto é, os objetos que aparecem no outro lado da relação de
Langlands. E aqui temos de dar um salto espetacular. As boas e velhas funções
acabam se revelando inadequadas. Precisam ser substituídas por objetos mais
sofisticados da matemática moderna, denominados feixes, que serão descritos no
capítulo 14.
Isso foi proposto por Vladimir Drinfeld na década de 1980. Ele apresentou
uma nova formulação do Programa de Langlands que se aplica às colunas
central e direita, que envolvem curvas sobre corpos finitos e superfícies de
Riemann, respectivamente. Essa formulação ficou conhecida como o Programa
de Langlands geométrico. Em particular, Drinfeld descobriu os análogos das
funções automorfas adequados para a coluna direita da pedra de Roseta de Weil.
No loop
Para explicar o que é a álgebra de Lie, primeiro preciso falar dos “grupos de
Lie”. Os nomes homenageiam Sophus Lie, matemático norueguês que os
inventou.
Os conceitos matemáticos povoam o reino da matemática, exatamente
como as espécies povoam o reino animal: eles estão ligados mutuamente,
formam famílias e subfamílias, e, muitas vezes, dois conceitos distintos se unem
e produzem um fruto.
O conceito de grupo é um bom exemplo. Pense nos grupos como análogos
de pássaros, que formam uma classe no reino animal, ou animália (denominada
classe das aves). Essa classe é dividida em 23 ordens; cada ordem, por sua vez,
divide-se em famílias, e cada família divide-se em gêneros. Por exemplo, a
águia-pescadora-africana pertence à ordem Accipitriformes, à família
Accipitridae e ao gênero Haliaeetus (em comparação com esses nomes, “grupo
de Lie” não parece tão exótico!). Da mesma forma, os grupos formam uma
grande classe de conceitos matemáticos, e, dentro dela, existem diferentes
“ordens”, “famílias” e “gêneros”.
Por exemplo, há uma ordem de grupos finitos que inclui todos os grupos com
uma finidade de elementos. O grupo de simetrias de uma mesa quadrada, que
discutimos no capítulo 2, consiste de quatro elementos; assim, é um grupo finito.
Da mesma forma, o grupo de Galois de um corpo numérico obtido ao se juntar
as soluções de uma equação polinomial aos números racionais é um grupo finito
(por exemplo, no caso de uma equação quadrática, possui dois elementos). A
classe de grupos finitos é ainda subdividida em famílias, como a família dos
grupos de Galois. Outra família consiste de grupos cristalográficos, que são os
grupos de simetrías de diversos cristais.
Também há outra ordem: a dos grupos infinitos. Por exemplo, o grupo de
números inteiros é infinito, assim como o grupo de tranças Bn, que discutimos no
capítulo 5, para cada n definido = 2, 3, 4, … (Bn consiste de tranças com n fios;
existe uma infinidade delas). O grupo de rotações de uma mesa redonda, que
consiste de todos os pontos de um círculo, também é um grupo infinito.
Foram essas álgebras de Kac-Moody que Fuchs sugeriu como tópico de meu
próximo projeto de pesquisa. Quando comecei a tomar conhecimento de tudo
isso, constatei que tinha de estudar muito antes de poder alcançar o ponto em que
poderia realizar algo sozinho. Mas estava fascinando com o assunto.
Fuchs vivia na zona nordeste de Moscou, não longe de uma estação onde eu
podia pegar um trem para minha cidade natal. Costumava ir para casa todas as
sextas-feiras para passar o fim de semana. Assim, Fuchs sugeriu que eu
aparecesse em sua casa todas as sextas-feiras ás 17h, e pegasse o trem após
nosso encontro. Em geral, eu trabalhava com Fuchs por cerca de três horas
(período de tempo no qual ele também me oferecia o jantar) e, em seguida,
pegava o último trem, chegando em casa por volta de meia-noite. Esses
encontros desempenharam um grande papel em minha educação matemática.
Nós nos reuníamos semana após semana, durante todo o semestre do outono de
1986, e, depois, também no semestre da primavera de 1987.
Só em janeiro de 1987 acabei de ler o longo artigo de Feigin e Fuchs, e senti
que podia começar a trabalhar em meu projeto de pesquisa. Nesta época,
consegui obter uma licença para frequentar a Biblioteca de Ciências de Moscou,
um imenso depósito de livros e publicações (muitos dos quais a biblioteca de
Kerosinka também tinha), não só em russo, mas também em outras línguas.
Comecei a frequentá-la regularmente para estudar dezenas de publicações de
matemática, procurando artigos sobre álgebras de Kac-Moody e assuntos afins.
Eu também estava ansioso por aprender a respeito de suas aplicações na
física quântica, que era, claro, uma grande atração para mim. Como mencionei
antes, as álgebras de Kac-Moody desempenham um papel importante na teoria
das cordas, mas também aparecem como simetrias de modelos da física
quântica bidimensional. Vivemos num espaço tridimensional e, assim, modelos
realistas que descrevem nosso mundo devem ser tridimensionais. Se incluirmos o
tempo, obteremos quatro dimensões. No entanto, matematicamente, nada nos
impede de construir e analisar modelos que descrevem mundos de outras
dimensões. Os modelos em dimensões menores que três são mais simples, e
temos uma maior probabilidade de resolvê-los. Então, podemos utilizar o que
aprendemos para enfrentar os mais sofisticados modelos tridimensionais e
quadrimensionais.
Essa é, de fato, uma das ideias principais do assunto denominado “física
matemática”, ou seja, modelos de estudo de diversas dimensões, que podem não
ser aplicáveis diretamente em nosso mundo físico, mas compartilham algumas
das características importantes dos modelos realistas.
Alguns desses modelos de dimensão baixa também possuem aplicações no
mundo real. Por exemplo, uma camada metálica muito fina pode ser
considerada um sistema bidimensional e, portanto, pode ser descrita de maneira
eficaz por um modelo bidimensional. Um exemplo famoso é o assim chamado
modelo de Ising de interação de partículas que ocupam os nós de uma estrutura
bidimensional. A solução exata do modelo de Ising por Lars Onsager
proporcionou insights valiosos a respeito do fenômeno de magnetização
espontânea, ou ferromagnetismo. No cerne do cálculo de Onsager estava uma
simetria oculta desse modelo, enfatizando mais uma vez o papel importante da
simetria no entendimento dos sistemas físicos. Posteriormente, entendeu-se que
essa simetria é descrita pela assim chamada álgebra de Virasoro, parente
próxima da álgebra de Kac-Moody 22 (na realidade, a álgebra de Virasoro era o
assunto principal do artigo de Feigin e Fuchs que eu estava estudando).
Também há uma grande classe de modelos desse tipo, em que as simetrias
são descritas pela álgebra de Kac-Moody apropriada. A teoria matemática da
álgebra de Kac-Moody é essencial para o entendimento desses modelos.23
Conquistando o topo
No verão, estava pronto para compartilhar minhas conclusões com Fuchs. Sabia
que ele sentiria o mesmo entusiasmo em relação ao artigo de Wakimoto que eu
sentira. Fui ver Fuchs em sua datcha, mas quando cheguei, ele me disse que
havia um pequeno problema: marcara encontro comigo e com seu colaborador e
ex-aluno Boris Feigin no mesmo dia – de forma não intencional, segundo ele,
embora eu não acreditasse (muito tempo depois, Fuchs confirmou que foi
realmente intencional).
Fuchs me apresentara a Feigin alguns meses antes. Foi antes de um dos
seminários de Gelfand, pouco depois de eu concluir meu artigo sobre grupos de
tranças e ter começado a leitura do artigo de Feigin e Fuchs. Estimulado por
Fuchs, pedi sugestões de outras leituras para Feigin. Na ocasião, Boris Lvovich,
como eu o tratava, tinha 33 anos, mas já era considerado uma das grandes
estrelas da comunidade matemática de Moscou. Usando uma calça jeans e tênis
gastos, ele pareceu bastante tímido. Óculos de lentes grossas e grandes cobriam
seus olhos, e, na maior parte de nossa conversa, Feigin olhou para baixo, para
evitar qualquer contato visual. Obviamente, eu também era tímido e inseguro,
apenas um jovem estudante, e ele já era um matemático famoso. Assim, não foi
o encontro mais envolvente. No entanto, de vez em quando, ele levantava os
olhos e olhava para mim com um sorriso aberto e afável. Isso quebrou o gelo.
Pude sentir uma gentileza autêntica.
No entanto, a sugestão inicial de Feigin me surpreendeu: ele me disse que eu
deveria ler o livro Statistical Physics, de Landau e Lifshitz, uma perspectiva que
achei absolutamente terrível na época, em parte por causa da semelhança, em
tamanho e peso, entre esse livro bem grosso e o compêndio sobre a história do
Partido Comunista que todos nós tínhamos de estudar na escola.
Em defesa de Feigin, aquele foi um bom conselho – Statistical Physics é
realmente um livro importante, e, com o tempo, minha pesquisa se voltou
exatamente para aquela direção (embora tenha de admitir, para minha
vergonha, que ainda não li o livro). No entanto, na ocasião, essa ideia não me
estimulou; até certo ponto, pelo fato de que nossa conversa inicial não foi a lugar
nenhum. Jamais voltei a conversar com Feigin, além de dizer “oi” quando o via
no seminário de Gelfand, até aquele dia na datcha de Fuchs.
Pouco depois de minha chegada, vi Feigin pela janela descendo de sua
bicicleta. Após os cumprimentos e alguma conversa informal, nós três nos
sentamos junto à mesa redonda da cozinha, e Fuchs me perguntou:
– Então, quais são as novidades?
– Bem… Descobri esse artigo interessante de um matemático japonês,
Wakimoto.
– Sei… – Fuchs se virou para Feigin e perguntou: – Você conhece?
Feigin fez um gesto negativo com a cabeça, e Fuchs disse para mim:
– Ele sempre sabe tudo… Mas é bom que esse artigo seja desconhecido para
ele, pois será interessante que ele lhe ouça.
Comecei a descrever o trabalho de Wakimoto para os dois. Como previsível,
ambos ficaram muito interessados. Foi a primeira vez que tive a oportunidade de
discutir conceitos matemáticos em profundidade com Feigin, e, imediatamente,
tive a sensação de que entramos em sintonia. Ele me escutou com atenção e fez
todas as perguntas certas. Sem dúvida, entendeu a importância daquele material
e, embora sua atitude se mantivesse descontraída e casual, aparentemente ficou
entusiasmado. Na maior parte do tempo, Fuchs foi mero espectador, mas tenho
certeza de que se sentiu feliz ao ver que seu plano secreto de me aproximar de
Feigin funcionou tão bem. Realmente, foi uma conversa incrível. Senti que estava
na iminência de algo importante.
Aparentemente, Fuchs sentiu o mesmo. Quando estava indo embora, ele me
disse:
– Parabéns. Gostaria que este fosse o seu artigo. Mas acho que agora você
está pronto para levá-lo a um novo patamar.
Voltei para casa e continuei a estudar as questões levantadas pelo artigo de
Wakimoto. Ele não dava nenhuma explicação sobre suas fórmulas. Eu estava
fazendo o equivalente a um trabalho de perícia forense, tentando descobrir as
pistas de uma visão geral por trás de suas fórmulas.
Alguns dias depois, a visão começou a emergir. Num insight, enquanto
andava de um lado para o outro no dormitório da faculdade, entendi que as
fórmulas de Wakimoto provinham da geometria. Foi uma descoberta
surpreendente, pois a abordagem de Wakimoto era totalmente algébrica; não
havia nenhuma sugestão referente à geometria.
Para explicar minha interpretação geométrica, vamos rever o grupo de Lie
SO(3) de simetrias da esfera e seu grupo de loops. Como explicado no capítulo
anterior, um elemento do grupo de loops de SO(3) é uma coleção de elementos
de SO(3); um elemento de SO(3) para cada ponto do loop. Cada um desses
elementos de SO(3) atua na esfera por meio de uma rotação específica. Isso
implica que cada elemento do grupo de loops de SO(3) origina uma simetria do
espaço de loops da esfera.1
Entendi que podia utilizar essa informação para obter uma representação da
álgebra de Kac-Moody associada ao SO(3). Isso ainda não nos dá as fórmulas de
Wakimoto. Para obtê-las, temos de modificar as fórmulas de maneira até certo
ponto radical. Imagine virar um casaco pelo avesso. Podemos fazer isso em
relação a qualquer casaco, mas, na maioria dos casos, ele se torna inutilizável;
não podemos usá-lo em público. No entanto, há casacos que podem ser usados
dos dois lados. E o mesmo era válido para as fórmulas de Wakimoto.
Munido desse novo entendimento, tentei de imediato generalizar as fórmulas
para outras álgebras de Kac-Moody mais complicadas. O primeiro passo,
geométrico, funcionou bem, exatamente como no caso de SO(3). No entanto,
quando tentei “virar pelo avesso” as fórmulas, obtive algo absurdo. A matemática
resultante simplesmente não fazia adição. Procurei remexer nas fórmulas, mas
não consegui resolver o problema. Tive de considerar a possibilidade real de que
essa construção só funcionava para SO(3), e não para álgebras de Kac-Moody
mais gerais. Não havia jeito de saber com certeza se o problema tinha uma
solução e, em caso positivo, se a solução podia ser obtida mediante os meios
disponíveis. Simplesmente tinha de trabalhar duro e esperar o melhor.
Uma semana se passou, e era hora de me encontrar com Fuchs de novo.
Queria lhe falar de meus cálculos e pedir conselhos. Ao chegar à datcha, Fuchs
me disse que sua mulher tinha de ir a Moscou para realizar algumas tarefas, e ele
tinha de tomar conta de suas duas jovens filhas.
– Mas, sabe de uma coisa – ele disse –, Feigin veio aqui ontem. Ele está
muito empolgado a respeito das coisas que você nos falou na semana passada.
Por que você não vai visitá-lo? A datcha dele fica a apenas quinze minutos daqui.
Eu lhe disse que o mandaria para lá hoje. Ele está te esperando.
Fuchs me explicou como chegar à datcha de Feigin, e fui para lá.
De fato, Feigin estava me esperando. Ele me cumprimentou calorosamente
e me apresentou à sua encantadora mulher, Inna, e aos seus três filhos: Roma e
Zheny a, dois meninos bem agitados, de 8 e 10 anos, respectivamente, e Lisa,
adorável menina de 2 anos. Naquele momento, não tinha ideia de quão próximo
ficaria nos próximos anos dessa maravilhosa família.
A mulher de Feigin nos ofereceu chá e bolo, e nos sentamos na varanda. Era
uma bela tarde de verão, com os raios do sol se projetando através das árvores
frondosas e os pássaros trinando; uma idílica paisagem rural. Mas, claro, a
conversa rapidamente se concentrou na construção de Wakimoto.
No fim das contas, Feigin também estava pensando nela e seguindo linhas
parecidas. No início de nossa conversa, de fato, ficamos basicamente
completando as frases um do outro. Era uma sensação especial: ele me entendia
completamente, e vice-versa.
Comecei a lhe falar do meu insucesso em generalizar a construção para
outras álgebras de Kac–Moody. Feigin escutou atentamente e, após ficar em
silêncio por algum tempo, refletindo, chamou minha atenção para um ponto
importante que eu deixara escapar. Na tentativa de generalizar a construção de
Wakimoto, precisamos descobrir uma generalização apropriada da esfera: a
variedade sobre a qual SO(3) atua por simetrias. No caso de SO(3), essa
alternativa é praticamente única. No entanto, para os outros grupos, há muitas
alternativas. Em meus cálculos, admitira como certo que as generalizações
naturais da esfera eram os assim chamados espaços projetivos. Contudo, aquele
não era necessariamente o caso; o fato de que eu não estava chegando a lugar
nenhum com aquilo podia simplesmente ser porque minha alternativa de espaços
era equivocada.
Como expliquei acima, no final, precisei virar as fórmulas “pelo avesso”.
Toda a construção dependia da expectativa de que, milagrosamente, as fórmulas
resultantes ainda seriam corretas. No caso de Waki- moto, isso aconteceu para o
grupo mais simples SO(3). Meus cálculos indicaram que, para os espaços
projetivos, aquele não era o caso, mas aquilo não significava que uma construção
melhor não poderia ser encontrada. Feigin sugeriu que eu tentasse as assim
chamadas variedades de bandeiras.2
A variedade de bandeiras para o grupo SO(3) é a esfera; assim, para os
outros grupos, esses espaços podem ser vistos como substitutos naturais dela. No
entanto, as variedades de bandeiras são mais ricas e mais versáteis que os
espaços projetivos; dessa maneira, havia uma chance de que um análogo da
construção de Wakimoto pudesse funcionar para elas.
Já estava escurecendo, ou seja, era hora de voltar para casa. Combinamos
de nos encontrar novamente na próxima semana e, em seguida, despedi-me da
família de Feigin e me dirigi para a estação ferroviária.
Na viagem de trem para casa, num vagão vazio, com as janelas abertas
deixando entrar o ar quente do verão, eu não conseguia parar de pensar sobre o
problema. Tinha de tentar resolvê-lo, ali mesmo, naquele exato momento.
Peguei uma caneta e um bloco de papel e comecei a escrever as fórmulas para
a variedade de bandeiras mais simples. O vagão antigo, fazendo um ruído
intenso, chacoalhava de um lado para o outro, impedindo-me de segurar minha
caneta com firmeza; assim, as fórmulas que escrevia ficavam todas bagunçadas.
Mal conseguia ler o que estava escrevendo. No entanto, no meio do caos, havia
um padrão emergindo. Sem dúvida, as coisas funcionavam melhor para as
variedades de bandeiras que para os espaços projetivos que tentara, em vão,
domar na semana anterior.
Mais algumas linhas de cálculos e… Eureca! Estava funcionando. As
fórmulas “às avessas” funcionavam tão bem quanto no trabalho de Wakimoto. A
construção se generalizou maravilhosamente. Fiquei tomado de alegria: aquilo
era demais. Eu consegui. Descobri novas realizações de campo-livre das
álgebras de Kac-Moody !
Na manhã seguinte, conferi meus cálculos cuidadosamente. Tudo deu certo.
Não havia telefone na datcha de Feigin e, assim, não podia ligar para ele e contar
minhas novas constatações. Comecei a escrevê-las na forma de uma carta e,
quando nos encontramos na semana seguinte, falei dos novos resultados.
Esse foi o começo de nosso trabalho conjunto. Feigin se tornou meu professor,
mentor, conselheiro e amigo. Inicialmente, eu o chamava de Boris Lvovich, da
maneira antiquada russa, incluindo o patronímico. No entanto, posteriormente,
ele insistiu que eu o chamasse de Bory a, uma forma muito mais informal.
Tive uma sorte incrível com meus professores. Evgeny Evgenievich me
apresentou a beleza da matemática e conseguiu que eu me apaixonasse por ela.
Ele também me ajudou a aprender os conceitos básicos. Fuchs me salvou depois
da catástrofe do exame vestibular na MGU e pôs em movimento minha hesitante
carreira na matemática. Ele me conduziu ao meu primeiro projeto sério, dando-
me confiança em minhas habilidades, e me encaminhou a uma área de pesquisa
empolgante, na interface entre a matemática e a física. Finalmente, eu estava
pronto para as altas esferas. Bory a demonstrou ser o melhor conselheiro que eu
podia sonhar naquela fase da minha jornada. Era como se minha carreira na
matemática estivesse se dinamizando.
Indubitavelmente, Bory a é um dos matemáticos mais originais de sua
geração, no mundo inteiro, um visionário que possui a noção mais profunda da
matemática. Ele me orientou no país das maravilhas da matemática moderna,
cheio de beleza mágica e harmonia sublime.
Agora que tenho meus alunos, valorizo ainda mais o que Bory a fez por mim
(e o que Evgeny Evgenievich e Fuchs fizeram por mim antes). É duro ser
professor! Em vários aspectos, é como ter um filho. Você tem de se sacrificar
muito, não pedindo nada em troca. Claro que as recompensas também podem
ser enormes. Mas como decidir a direção a indicar aos alunos, quando lhes dar
assistência e quando jogá-los em águas profundas e deixá-los aprender a nadar
sozinhos? Isso é arte. Ninguém pode lhe ensinar como fazer isso.
Bory a se preocupou muito comigo e com meu desenvolvimento como
matemático. Ele nunca me disse o que fazer, mas conversar e aprender com ele
sempre me deu um senso de direção. De algum modo, ele foi capaz de garantir
que eu sempre soubesse o que queria fazer em seguida. E, com Bory a ao meu
lado, sempre senti a confiança de que estava no caminho certo. Tive muita sorte
de tê-lo como professor.
Eu já estava no início do semestre de outono de 1987, meu quarto ano em
Kerosinka. Tinha 19 anos, e minha vida jamais fora tão empolgante. Ainda
estava morando no alojamento dos estudantes, divertindo-me com meus amigos,
apaixonando-me… Também ficava em dia com os meus estudos. Naquela
altura, não comparecia à maioria das minhas aulas e estudava sozinho para os
exames (ocasionalmente, apenas alguns dias antes da prova). Tirava sempre
notas A – a única exceção foi um B em Economia Política Marxista (que coisa
feia!).
Da maioria das pessoas, mantinha em segredo o fato de que tinha uma
“segunda vida”, que consumia a maior parte do meu tempo e da minha energia:
meu trabalho matemático com Bory a.
Em geral, encontrava-me com Bory a duas vezes por semana. O trabalho
oficial dele era no Instituto de Física do Estado Sólido, mas ele não tinha muita
coisa para fazer ali, e só tinha de aparecer uma vez por semana. Nos outros dias,
trabalhava no apartamento da sua mãe, que ficava a dez minutos de caminhada
da sua casa. Também era perto de Kerosinka e do meu alojamento. Era nosso
local de encontro usual. Eu o encontrava no final da manhã ou no começo da
tarde, e nós trabalhávamos em nossos projetos, às vezes durante todo o dia. A
mãe de Bory a chegava do trabalho no começo da noite e nos servia o jantar;
frequentemente, íamos embora juntos por volta das 21h ou 22h.
Como nossa primeira missão, Bory a e eu escrevemos um resumo de nossos
resultados e o enviamos à revista Russian Mathematical Surveys. Foi veiculado
dentro de um ano; muito rápido para os padrões das publicações de matemática.3
Depois de conquistar isso, Bory a e eu nos concentramos no desenvolvimento
adicional de nosso projeto. Nossa construção era de grande eficácia e abriu
diversas novas direções de pesquisa. Utilizamos nossos resultados para entender
melhor as representações das álgebras de Kac–Moody. Nosso trabalho nos
capacitou para desenvolver uma realização de campo-livre de modelos quânticos
bidimensionais. Permitiu-nos fazer cálculos nesses modelos que não estavam
acessíveis antes, o que, em pouco tempo, deixou os físicos interessados em nosso
trabalho.
Foi uma época muito estimulante. Nos dias em que Bory a e eu não nos
encontrávamos, eu trabalhava sozinho; em Moscou, durante a semana, e, em
casa, nos finais de semana. Continuava frequentando a Biblioteca de Ciências e
devorando cada vez mais livros e artigos sobre assuntos afins. Estava almoçando
e jantando a matéria. Era como se eu estivesse submerso nesse belo universo
paralelo, e quisesse ficar ali, aprofundando-me cada vez mais nesse sonho.
Depois de cada nova descoberta, de cada nova ideia, esse mundo mágico estava
se tornando mais e mais a minha casa.
No entanto, no outono de 1988, quando entrei no quinto e último ano dos
meus estudos em Kerosinka, fui arrastado de volta à realidade. Era o momento
de começar a pensar no futuro. Embora estivesse entre os melhores alunos de
minha turma, minhas perspectivas pareciam lúgubres. O antissemitismo excluía
os graduados da escola de pós-graduação e dos melhores empregos disponíveis.
Não ter propiska, ou seja, visto de residência em Moscou, complicava as coisas
ainda mais. O dia do juízo final estava chegando.
Capítulo 12
Árvore do conhecimento
Não esperava receber nada em troca, a não ser a alegria e a paixão puras da
atividade intelectual. Queria dedicar minha vida à matemática simplesmente
porque amava fazer aquilo.
Na vida estagnada do período soviético, os jovens de talento não podiam
investir sua energia em negócios; a economia não tinha setor privado. Ao
contrário, ela estava sob rígido controle governamental. Da mesma forma, a
ideologia comunista controlava a atividade intelectual nas esferas de
humanidades, economia e ciências sociais. Todos os livros ou artigos dessas áreas
tinham que começar com citações de Marx, Engels e Lenin, e, de modo
inequívoco, apoiar o ponto de vista marxista do assunto. A única maneira de
escrever um artigo sobre filosofia estrangeira, digamos, seria apresentá-lo como
uma condenação dos “pontos de vista burgueses reacionários” dos filósofos.
Aqueles que não seguiam essas regras estritas eram condenados e perseguidos. O
mesmo se aplicava nas artes plásticas, na música, na literatura e no cinema.
Qualquer coisa que pudesse ser, até mesmo remotamente, considerada crítica da
sociedade, política ou estilo de vida soviético – ou que simplesmente se desviasse
dos cânones do “realismo socialista” – era sumariamente censurada. Os
escritores, compositores e diretores que se atreviam a seguir suas visões artísticas
eram banidos, e seus trabalhos eram arquivados ou destruídos.
Diversas áreas da ciência também eram dominadas pela linha do partido.
Por exemplo, a genética foi banida durante muitos anos porque seus resultados
eram considerados contrários aos ensinamentos do marxismo. Mesmo a
linguística não era poupada: depois que Stalin, que se considerava um especialista
nesse assunto (e também em muitos outros), escreveu seu ensaio infame On
Certain Questions of Linguistics, o ramo, em grande medida, foi reduzido à
interpretação desse tratado sem sentido. Aqueles que não o seguiam eram
reprimidos.
Nesse ambiente, a matemática e a física teórica eram um oásis de liberdade.
Embora os burocratas do Partido Comunista quisessem controlar cada aspecto da
vida, essas áreas eram muito abstratas e de difícil entendimento para eles. Stalin,
por exemplo, jamais se atreveu a fazer qualquer pronunciamento sobre a
matemática. Ao mesmo tempo, os líderes soviéticos também perceberam a
importância dessas áreas aparentemente obscuras e esotéricas para o
desenvolvimento de armas nucleares; eis o motivo pelo qual eles não quiseram
“mexer” nelas. Em consequência, os matemáticos e os físicos teóricos que
trabalharam no projeto da bomba atômica (muitos deles de modo relutante, devo
acrescentar) eram tolerados, e alguns eram até bem tratados pelo Big Brother.
Assim, por um lado, a matemática era abstrata e barata, e, por outro, era útil
nas áreas em que os líderes soviéticos se preocupavam muito; sobretudo, defesa,
o que assegurava a sobrevivência do regime. É por isso que os matemáticos
podiam realizar suas pesquisas e não ficavam sujeitos às restrições impostas aos
outros ramos (a menos que tentassem se intrometer em política, como a “Carta
dos 99”, que mencionei anteriormente).
Acredito que esse foi o principal motivo pelo qual tantos jovens estudantes de
talento escolheram a matemática como profissão. Era uma área na qual podiam
se envolver numa atividade intelectual livre.
Não obstante minha paixão e alegria de praticar a matemática, eu precisava de
um emprego. Por causa disso, em paralelo com meu principal trabalho de
pesquisa em matemática, que realizava em segredo com Bory a, tinha de fazer
alguma pesquisa “oficial” em Kerosinka.
Meu orientador era Yakov Isaevich Khurgin, professor do Departamento de
Matemática Aplicada, e um dos membros mais carismáticos e reverenciados da
faculdade. Ex-aluno de Gelfand, Yakov Isaevich, naquela altura, tinha quase 70
anos, mas era um dos professores mais “descolados” que tínhamos. Por causa de
seu estilo envolvente de ensino e senso de humor, suas aulas tinham a maior
frequência de alunos. Embora eu não comparecesse à maioria das aulas desde o
terceiro ano, sempre tentei assistir às suas lições de teoria das probabilidades e
estatística. Comecei a trabalhar com Yakov Isaevich no meu terceiro ano.
Ele era muito amável comigo. Verificava se eu era bem tratado e, quando eu
precisava de ajuda, sempre estava presente. Por exemplo, quando tive alguns
problemas em meu dormitório, ele usou sua influência para intervir. Yakov
Isaevich era um homem inteligente, que aprendeu bem como “funciona o
sistema”: embora fosse judeu, ocupava uma posição prestigiosa em Kerosinka,
como professor titular e chefe de um laboratório que trabalhava em áreas que
abrangiam desde exploração de petróleo até medicina.
Yakov Isaevich também era um divulgador da matemática, tendo escrito
diversos livros de sucesso para leigos. Em especial, eu gostava de um deles,
intitulado So What? (E daí?). Trata de sua colaboração com cientistas,
engenheiros e médicos. Por meio de diálogos com eles, Yakov Isaevich explica
de maneira acessível e divertida conceitos matemáticos interessantes (a maioria
relacionada à probabilidade e estatística, suas principais áreas de especialização)
e suas aplicações. O título do livro tinha a intenção de retratar a noção de
curiosidade pela qual um matemático aborda problemas da vida real. Esses livros
e sua paixão por tornar as ideias da matemática acessíveis ao grande público me
inspiraram muitíssimo.
Durante muitos anos, Yakov Isaevich trabalhou com médicos, sobretudo
urologistas. A motivação original era pessoal. Ele estava matriculado no Mekh-
Mat quando foi convocado para a linha de frente da Segunda Guerra Mundial,
onde contraiu uma grave doença renal nas trincheiras geladas. Na realidade, ele
teve sorte, pois foi levado ao hospital e foi salvo; a maioria dos seus colegas de
classe, que também foram convocados pelo exército, morreu em combate. No
entanto, daí em diante, ele teve de lidar com problemas renais. Na União
Soviética, a medicina era gratuita, mas a qualidade dos serviços médicos era
baixa. Para conseguir um bom tratamento, a pessoa tinha de ter uma ligação
pessoal com um médico ou ter recursos para oferecer propina. Contudo, Yakov
Isaevich tinha outra coisa a oferecer, que pouquíssimas pessoas tinham: sua
expertise como matemático. Ele a utilizou para ser favorecido pelos melhores
especialistas de urologia de Moscou.
Era uma grande coisa para ele, pois, sempre que seus rins apresentavam
problemas, Yakov Isaevich conseguia tratamento com os principais urologistas no
melhor hospital de Moscou. E isso também era importante para os médicos, pois
Yakov Isaevich os ajudava a analisar seus dados, que muitas vezes revelavam
fenômenos interessantes e previamente desconhecidos. Yakov Isaevich
costumava dizer que o pensamento dos médicos estava bem adaptado para a
análise de pacientes específicos e a tomada de decisões em cada caso específico.
No entanto, isso às vezes também dificultava o foco na visão geral e a tentativa
de encontrar padrões e princípios gerais. É aí que os matemáticos se tornavam
úteis, pois nosso pensamento é completamente distinto: somos educados para
procurar e analisar tipos de padrões gerais. Os médicos amigos de Yakov
Isaevich apreciavam isso.
Quando me tornei seu aluno, Yakov Isaevich me inscreveu em seus projetos
médicos. No fim das contas, nos cerca de dois anos e meio que trabalhei com
Yakov Isaevich, desenvolvemos três projetos em urologia. Os resultados foram
utilizados por três jovens urologistas em suas teses de doutorado (na Rússia, em
medicina, havia um título adicional depois do de doutor, que requeria a
elaboração de uma tese contendo pesquisa médica original). Tornei-me coautor
de publicações em revistas médicas e até fui coautor de uma patente.
Lembro-me bem do início do primeiro projeto. Yakov Isaevich e eu fomos
visitar Alexei Velikanov, jovem urologista, filho de um dos médicos mais
importantes de Moscou. Yakov Isaevich era amigo de longa data (e paciente) do
pai de Alexei, que pediu para ele ajudar seu filho. Alexei nos mostrou uma
grande folha de papel, com diversos dados coletados de cerca de cem pacientes
que tinham passado pela remoção de adenoma da próstata (um tumor benigno da
próstata, frequentemente encontrado em homens mais velhos). Os dados
incluíam diversas características, como pressão arterial e outros resultados do
exame, pré e pós-cirurgia. Ele estava esperando usar aqueles dados para sugerir
algumas conclusões sobre quando a cirurgia tinha mais probabilidade de ser
bem-sucedida, permitindo-lhe, assim, fazer um conjunto de recomendações
sobre quando remover o tumor.
Alexei precisava de ajuda para analisar os dados e esperava que pudéssemos
ajudá-lo. Como aprendi tempos depois, era uma situação típica. Frequentemente,
médicos, engenheiros e outros esperavam que os matemáticos tivessem alguma
varinha de condão que lhes permitisse tirar conclusões rapidamente de quaisquer
dados coletados por eles. Claro que é um pensamento ilusório. Conhecemos
alguns métodos eficientes de análise estatística, mas, com muita frequência,
esses métodos não podem ser aplicados porque os dados não são precisos ou
porque são tipos diferentes de dados: alguns são objetivos; outros são subjetivos
(descrevem como os pacientes “se sentem”, por exemplo); ou quantitativos,
como pressão arterial e frequência cardíaca; ou qualitativos, como respostas
“sim” ou “não” para algumas perguntas específicas. É muito difícil, ou mesmo
impossível, utilizar esses dados não homogêneos numa fórmula estatística.
Por outro lado, às vezes formular as perguntas corretas permite que
entendamos que alguns dados são irrelevantes e devem ser simplesmente
descartados. Minha experiência é que somente cerca de 10% a 15% das
informações coletadas pelos médicos foram utilizadas no momento do
diagnóstico ou das recomendações de tratamento. No entanto, se você
conversasse com eles, jamais diriam isso diretamente. Insistiriam que todas as
informações são úteis e tentariam propor um quadro ou outro, em que levariam
em conta essas informações. Levaria um tempo para convencê-los de que, na
realidade, em todos aqueles casos, eles ignoraram a maioria dos dados e
tomaram a decisão com base em poucos critérios essenciais.
Claro que, às vezes, existiam perguntas que podiam ser respondidas
simplesmente introduzindo os dados em algum programa de análise estatística.
No entanto, ao longo do trabalho nesses projetos, passei gradualmente a entender
que nós, matemáticos, somos mais úteis para os médicos não tanto por causa de
nosso conhecimento desses programas de análise estatística (afinal, isso não é
muito difícil, e qualquer pessoa pode aprender), mas sim por causa de nossa
capacidade de formular as perguntas certas e, em seguida, empreender uma
análise fria e isenta para obter as respostas. Realmente, é essa “mentalidade
matemática” que parece ser mais útil para aqueles que não são educados a
pensar como matemáticos.
Em meu primeiro projeto, essa abordagem nos ajudou a eliminar os dados
irrelevantes e, depois, descobrir algumas ligações ou correlações não triviais
entre os parâmetros restantes. Isso não foi fácil e nos tomou alguns meses, mas
ficamos felizes com os resultados. Escrevemos um artigo conjunto sobre nossas
conclusões, e Alexei o utilizou em sua tese de doutorado. Yakov Isaevich e eu
fomos convidados para a defesa de tese, juntamente com outro estudante de
Kerosinka, Alexander Lofshitz, meu bom amigo, que também trabalhou naquele
projeto.
Lembro-me de quando, na defesa de tese, um dos médicos perguntou o
nome do programa de computador utilizado para obter aqueles resultados, e
Yakov Isaevich respondeu que o nome era “Edward e Alexander”. Era verdade:
não utilizamos computador; em vez disso, fizemos todos os cálculos à mão ou
com uma calculadora simples. O ponto principal não foi o cálculo (aquela foi a
parte fácil), mas sim a formulação das perguntas corretas. Um eminente
cirurgião, presente na defesa, fez então um comentário sobre como era muito
impressionante que os matemáticos se revelassem tão úteis na medicina, e que
talvez se tornassem ainda mais úteis nos anos vindouros. Nosso trabalho foi bem
recebido pela comunidade médica, e Yakov Isaevich ficou satisfeito.
Pouco depois, Yakov Isaevich me pediu para trabalhar em outro projeto de
urologia, que tinha a ver com tumores nos rins (para outra tese de doutorado),
que eu também fui capaz de executar com sucesso.
O terceiro e último projeto médico em que trabalhei foi o mais interessante
para mim. O jovem médico Sergei Aruty uny an – que também precisava de
ajuda para analisar seus dados para uma tese – e eu desenvolvemos grande
afinidade. Ele estava trabalhando com pacientes cujos sistemas imunológicos
estavam rejeitando os rins transplantados. Nessa situação, o médico tem de
tomar uma decisão muito rápida quanto a manter ou remover o rim, com
consequências de longo alcance: se ele mantiver o rim, o paciente poderá
morrer; mas, se removê-lo, o paciente precisará de outro, que pode ser difícil de
encontrar.
Sergei queria achar uma maneira de distinguir que recomendações eram
mais viáveis estatisticamente, com base em diagnósticos de ultrassom
quantitativos. Ele tinha muita experiência nessa área e coletou muitos dados.
Esperava que eu pudesse ajudá-lo a analisá-los e propor critérios objetivos
significativos para tomada de decisão, que podiam ser úteis para outros médicos.
Revelou-me que ninguém ainda fora capaz de fazer isso; a maioria dos médicos
considerava impossível e preferia recorrer às suas próprias abordagens para
esses casos.
Observei os dados. Como em nossos projetos prévios, existiam cerca de
quarenta parâmetros distintos medidos para cada paciente. Em nossos encontros
regulares, fazia perguntas incisivas para Sergei, tentando descobrir quais dados
eram relevantes e quais não eram. Mas foi difícil. Como os outros médicos, ele
dava suas respostas com base em casos específicos, o que não foi muito
proveitoso.
Decidi utilizar outra abordagem. Pensei: “Sergei toma esses tipos de decisões
todos os dias e, sem dúvida, é muito bom nisso. E se eu conseguisse aprender a
‘ser ele’? Mesmo se eu não soubesse muito a respeito dos aspectos médicos do
problema, poderia tentar aprender sua metodologia acompanhando o processo de
tomada de decisão dele e, então, utilizar esse conhecimento para sugerir um
conjunto de regras.”
Propus que disputássemos uma espécie de jogo.2 Sergei coletara dados de
cerca de 270 pacientes. Ao acaso, escolhi os de trinta, e pus de lado os restantes.
Consideraria o histórico de cada um desses pacientes escolhidos ao acaso e
pediria que Sergei, que estava sentado no canto oposto da sala, fizesse perguntas
para mim acerca do paciente, que eu responderia consultando o prontuário. Meu
objetivo com tudo isso era procurar entender o padrão de suas perguntas (mesmo
talvez não conseguindo entender o significado daquelas perguntas tão bem quanto
ele). Por exemplo, às vezes ele fazia perguntas diferentes ou iguais, mas em
sequência distinta. Nesse caso, eu o interrompia:
– Da última vez, você não perguntou isso. Por que está perguntando isso
agora?
E ele explicava:
– Porque, no último paciente, o volume do rim era assim, e isso descartou
esse cenário. Mas, nesse paciente, o volume é assado, e, dessa maneira, esse
cenário é bastante possível.
Eu anotava tudo isso e tentava incorporar essas informações o máximo
possível. Mesmo tantos anos depois, posso visualizar bem: Sergei sentado numa
cadeira, no canto da sua sala, absorvido em seus pensamentos, tragando um
cigarro (ele era um fumante inveterado). Era fascinante para mim tentar
desconstruir a maneira como ele pensava; era mais ou menos como tentar
desfazer um quebra-cabeça para descobrir quais eram as peças essenciais.
As respostas de Sergei me forneceram informações muito valiosas. Ele
sempre chegava ao diagnóstico depois de não mais do que três ou quatro
perguntas. Então, eu comparava aquele diagnóstico com o que realmente fora
dado a cada paciente. Sergei nunca errava.
Depois de 24 casos, eu já conseguia dar o diagnóstico sozinho, seguindo o
simples conjunto de regras que aprendi interrogando Sergei. Depois de outros seis
casos, tornei-me praticamente tão bom quanto ele em prever o resultado. De
fato, havia um simples algoritmo em jogo, que Sergei estava seguindo na maioria
dos casos.
Claro que sempre havia alguns casos em que o algoritmo não era útil. No
entanto, se alguém conseguisse dar o diagnóstico de maneira eficaz e rápida de
90% a 95% dos pacientes, já seria um feito e tanto. Sergei me disse que, na
literatura existente a respeito do assunto de diagnósticos por ultrassom, não havia
nada daquele tipo.
Depois de concluir nosso “jogo”, produzi um algoritmo explícito, que
formulei como a árvore de decisão a seguir. De cada nó da árvore, saem duas
pontas que alcançam outros nós; a resposta para uma pergunta específica no
primeiro nó impõe para qual dos dois próximos nós possíveis o usuário deve se
deslocar. Por exemplo, a primeira pergunta é sobre o índice de resistência
periférica (RP) do vaso sanguíneo dentro do transplante. Esse foi um parâmetro
que o próprio Sergei tinha proposto por meio de sua pesquisa. Se o valor fosse
maior que 0,79, então era muito provável que o rim estivesse sendo rejeitado, e o
paciente necessitava de uma cirurgia imediata. Nesse caso, nós nos
deslocávamos para o nó preto da direita. Caso contrário, íamos para o nó da
esquerda e fazíamos a seguinte pergunta: qual é o volume (V) do rim? E assim
por diante. Portanto, os dados de cada paciente originam um caminho específico
nessa árvore. A árvore termina depois de quatro passos ou menos (no momento,
não é importante para nós o que eram os dois parâmetros restantes, TP e MPI).
O nó terminal contém o veredicto, como exposto na figura: o nó preto significa
“operar”, e o branco, “não operar”.
Por meio do algoritmo, processei os dados dos cerca de 240 pacientes
restantes, cujos prontuários tinha posto de lado. A concordância foi notável. Em
cerca de 95% dos casos, levou a um diagnóstico preciso.
O chamado de Harvard
Em março de 1989, no meio de todo esse estresse e incerteza, uma carta chegou
dos Estados Unidos, num papel timbrado da Universidade de Harvard.
Cerca de um mês após minha chegada, Bory a Feigin também veio para
Cambridge. Sasha Beilinson enviou-lhe um convite para visitar o MIT por dois
meses. Senti-me feliz com a vinda de Bory a para Cambridge: ele era meu
professor, e nós éramos muito próximos. Também tínhamos diversos projetos em
andamento, e aquela era uma grande oportunidade de trabalhar neles.
Inicialmente, não imaginei que sua visita também provocaria um grande tumulto
em minha vida.
A notícia de que as portas para o Ocidente estavam abertas, e que os
matemáticos podiam viajar livremente e visitar universidades nos Estados Unidos
e em outros países, rapidamente se espalhou pela comunidade matemática
moscovita. Muitas pessoas decidiram aproveitar a oportunidade e se mudar em
definitivo para os Estados Unidos. Alguns começaram a enviar currículos para
diversas universidades e ligar para os seus colegas nos Estados Unidos, dizendo-
lhes que estavam procurando empregos. Como ninguém sabia por quanto tempo
essa política de “abertura” continuaria (a maioria das pessoas tinha a expectativa
de que, após alguns meses, as fronteiras seriam fechadas de novo), isso criou
uma espécie de frenesi em Moscou; todas as conversas terminavam com a
mesma pergunta: “Não é melhor cair fora?”
E como podia ser de outra maneira? A maioria dessas pessoas tinha de lidar
com o antissemitismo e diversos outros obstáculos na União Soviética. Não
conseguiam achar emprego na academia e tinham de trabalhar com matemática
como ocupação secundária. Além disso, embora a comunidade matemática
soviética fosse muito forte, estava bastante isolada do resto do mundo. Havia
grandes oportunidades de desenvolvimento profissional no Ocidente que
simplesmente não existiam na União Soviética. Quando as oportunidades de uma
vida melhor no exterior se apresentaram a essas pessoas, como alguém podia
esperar que elas fossem leais ao país que as rejeitara e que tentava impedi-las de
trabalhar no ramo que amavam?
Quando chegou aos Estados Unidos, Bory a Feigin percebeu imediatamente
que uma grande fuga de cérebros da Rússia estava prestes a acontecer e nada
poderia detê-la. Na Rússia, a economia estava se desintegrando, com escassez de
alimentos por toda parte, e a situação política estava ficando cada vez mais
instável. Nos Estados Unidos, havia um padrão de vida muito superior, uma
abundância de tudo, e a vida dos acadêmicos parecia muito confortável. O
contraste era imenso. Como era possível convencer uma pessoa a voltar para a
União Soviética depois de ela vivenciar tudo aquilo pessoalmente? O êxodo da
maioria esmagadora dos matemáticos de primeira linha da Rússia – ou de
qualquer pessoa, na realidade, que conseguisse arrumar um emprego – parecia
inevitável, e não demoraria a acontecer.
Não obstante, Bory a decidiu voltar para Moscou, apesar do fato de que ele
enfrentara o antissemitismo durante toda sua vida e não tinha ilusões a respeito da
situação da União Soviética. Ele foi aceito na Universidade de Moscou como
aluno de graduação (em 1969, quando se candidatou, alguns estudantes judeus
ainda eram aceitos), mas não teve permissão para ingressar no curso de
doutorado. Bory a teve de se matricular numa universidade na cidade provinciana
de Yaroslavl para obter seu diploma. Em seguida, enfrentou muita dificuldade
para encontrar um emprego, até que conseguiu um cargo no Instituto de Física do
Estado Sólido. No entanto, Bory a achava perturbadora essa corrida para sair da
União Soviética. Ele considerava moralmente errado deixar o país em massa
dessa maneira, num momento de grande reviravolta, como ratos abandonando
um navio que está afundando.
Bory a sentia muita tristeza com o fato de que, em pouco tempo, a grande
escola matemática de Moscou deixaria de existir. A comunidade coesa de
matemáticos, na qual ele vivia havia muitos anos, estava prestes a se evaporar
diante de seus próprios olhos. Bory a sabia que, em breve, ficaria praticamente
sozinho em Moscou, privado do maior prazer de sua vida: trabalhar na
matemática junto com seus amigos e colegas.
Claro que esse se tornou o tema principal de minhas conversas com Bory a.
Ele tentava me convencer a voltar e a não sucumbir àquilo que ele considerava
ser uma histeria coletiva, dominando aqueles que estavam tentando escapar para
o Ocidente. Bory a também estava preocupado com o fato de que eu não seria
capaz de me tornar um bom matemático nos Estados Unidos. A “sociedade de
consumo” norte-americana, ele achava, pode liquidar a motivação e a ética de
trabalho de uma pessoa.
– Veja, você tem talento, mas ele precisa ser desenvolvido – Bory a me disse.
– Você tem de trabalhar duro, da mesma forma que estava trabalhando em
Moscou. Só assim você pode alcançar seu potencial. Aqui, nos Estados Unidos,
isso é impossível. Há muitas distrações e tentações. A vida aqui é uma questão de
diversão, prazer e gratificação imediata. Como você pode se concentrar em seu
trabalho?
Eu não estava concordando com a argumentação de Bory a, ao menos não
inteiramente. Sabia que eu tinha uma motivação forte em relação à matemática.
Mas tinha apenas 21 anos, e Bory a, quinze anos mais velho, era meu mentor.
Devia-lhe tudo que alcançara como matemático. Suas palavras me deram o que
pensar; e se ele tivesse razão?
O convite para Harvard foi um divisor de águas em minha vida. Apenas
cinco anos antes, fora reprovado no exame para a MGU, e parecia que meu
sonho de me tornar um matemático tinha acabado de forma irreparável. A
chegada em Harvard foi minha vindicação, uma recompensa por todo o trabalho
duro que fiz em Moscou naqueles cinco anos. No entanto, eu queria me manter
em movimento, realizando novas descobertas. Queria me tornar o melhor
matemático possível. Considerei o convite para Harvard como apenas uma etapa
de uma longa jornada. Era um avanço. Arthur Jaffe e outros acreditaram em
mim e me deram aquela oportunidade. Não podia desapontá-los.
Em Cambridge, tive a sorte de ter o apoio de matemáticos maravilhosos,
como Victor Kac, que me estimularam e me ajudaram de todas as maneiras
possíveis. No entanto, também senti a inveja de alguns dos meus colegas: por que
esse rapaz estava recebendo tanto tão cedo? O que ele fez para merecer isso?
Senti-me forçado a corresponder às expectativas, para provar a todos que meus
primeiros trabalhos matemáticos não eram um acaso feliz, que eu podia fazer
coisas melhores e maiores em matemática.
Os matemáticos formam uma comunidade pequena e, como todos os seres
humanos, fofocam a respeito de quem vale o quê. Em meu pouco tempo de
Harvard, já tinha ouvido muitas histórias de prodígios que se apagaram cedo.
Tinha ouvido alguns comentários implacáveis a respeito deles, coisas como
“Lembra-se de fulano? Seus primeiros trabalhos eram tão bons. Mas ele não fez
nada nem de perto tão importante nos últimos três anos. Que vergonha!”.
Estava aterrorizado que, em três anos, dissessem isso a meu respeito; assim,
constantemente me sentia sob pressão para produzir e ter êxito.
Enquanto isso, na União Soviética, a situação econômica estava se
deteriorando rapidamente, e a perspectiva era muito incerta. Observando tudo
isso de dentro, e convencidos de que eu não tinha futuro na União Soviética, meus
pais me ligavam com regularidade insistindo para que eu não voltasse. Naquele
tempo, era muito difícil (e caro) ligar da União Soviética para os Estados Unidos.
Eles tinham receio de que seu telefone residencial estivesse grampeado e, dessa
maneira, viajavam para Moscou, dirigiam-se ao correio central e ligavam dali.
Essa viagem durava quase um dia inteiro. No entanto, estavam decididos, ainda
que sentissem muito a minha falta, a fazer tudo ao alcance deles para me
convencer a ficar nos Estados Unidos. Eles tinham absoluta certeza de que aquilo
era o melhor para mim.
Bory a também queria o melhor para mim, mas sua postura tinha, em parte,
uma base moral. Ele estava indo contra a corrente, e eu o admirei por isso. No
entanto, eu também tinha de reconhecer que ele podia se dar ao luxo de fazer
isso por causa da sua situação relativamente confortável em Moscou (embora
isso fosse logo mudar, pois ele seria forçado a passar alguns meses do ano no
exterior – principalmente, no Japão – para sustentar sua família). Minha situação
era totalmente diferente: não tinha lugar para ficar em Moscou, e só possuía um
propiska temporário, ou seja, o direito de viver ali. Embora Yakov Isaevich
tivesse me assegurado um emprego temporário como assistente em Kerosinka, a
vaga proporcionava apenas um salário de fome, que mal dava para alugar um
quarto em Moscou. Por causa do antissemitismo, conseguir se matricular numa
escola de pós-graduação seria uma batalha difícil, e minhas perspectivas futuras
de emprego pareciam ainda mais desalentadoras.
No fim de novembro, Arthur Jaffe me chamou em seu escritório e ofereceu
estender minha permanência em Harvard até o fim de maio. Eu tinha de tomar
uma decisão rapidamente, mas estava dividido. Gostava do meu estilo de vida
em Boston. Sentia que era meu lugar. Com Harvard e o MIT, Cambridge era um
dos principais centros de matemática do mundo. Alguns dos matemáticos mais
brilhantes estavam ali, e eu podia simplesmente bater em suas portas, fazer-lhes
perguntas, aprender com eles. Havia também inúmeros seminários, onde quase
todas as descobertas estimulantes eram relatadas logo após terem sido feitas.
Estava cercado pelos estudantes mais brilhantes. Era o ambiente mais
estimulante para um jovem com pretensões a matemático que se podia imaginar.
Moscou costumava ser tal lugar, mas não era mais.
No entanto, aquela era a primeira vez que ficava longe de casa por tanto
tempo. Sentia falta da minha família e dos meus amigos. E Bory a, meu
professor, que era a pessoa mais próxima de mim em Cambridge, estava
inflexível quanto à opinião de que eu deveria voltar em dezembro, como
planejado.
Todas as manhãs acordava apavorado, pensando: “O que devo fazer?” Em
retrospecto, a decisão parece óbvia. No entanto, com tantas forças diferentes
colidindo, todas ao mesmo tempo, a decisão não era nada fácil. Finalmente, após
algumas deliberações angustiadas, decidi seguir o conselho dos meus pais e
permanecer. Contei para Jaffe. Meus amigos Reshetikhin e Tsy gan tomaram a
mesma decisão.
Bory a ficou triste com isso, e senti que o tinha desapontado. Foi um momento
de tristeza e muita incerteza quando me despedi dele no Aeroporto Logan, antes
de sua partida para Moscou, em meados de dezembro. Não sabíamos o que o
futuro reservava para nenhum de nós dois; nem mesmo se seríamos capazes de
nos encontrar de novo num futuro próximo. Eu ignorara o conselho de Bory a. No
entanto, ainda tinha medo de que talvez vivenciasse os receios dele.
*Vera Serganova, a quarta beneficiária da bolsa, veio na primavera.
Capítulo 14
ap = a módulo p.
Essa fórmula foi demonstrada por Pierre de Fermat, o matemático que propôs o
Último Teorema de Fermat. Ao contrário da explicação deste último, a
demonstração da fórmula acima é razoavelmente simples. Pode até caber na
margem da página de um livro. Eu a apresento no fim deste livro.6 Para
distinguir esse resultado do Último Teorema de Fermat (às vezes também
chamado de Grande Teorema de Fermat), ele é chamado de pequeno teorema
de Fermat.
Por exemplo, fixe p = 5. Então, nosso corpo finito é {0, 1, 2, 3, 4}. Elevemos
cada um deles à quinta potência. Sem dúvida, 0 elevado a qualquer potência é 0,
e 1 elevado a qualquer potência é 1; assim, não há nenhuma surpresa nesse caso.
Em seguida, eleve 2 à quinta potência: obtemos 32. No entanto, 32 = 2 + 5 · 6;
assim, o módulo 5 disso é 2 – obtemos de volta 2, como prometido. Consideremos
a quinta potência de 3: obtemos 243, mas isso é 3 + 5 · 48; assim, é 3 módulo 5.
Novamente, obtemos de volta o número que começamos. E, finalmente, vamos
tentar a mesma coisa com 4: sua quinta potência é 1.024, que é 4 módulo 5.
Bingo! Incentivo-o a verificar que a3 = a módulo 3, e a7 = a módulo 7 (para
números primos maiores, você talvez precise de uma calculadora para verificar
o pequeno teorema de Fermat).
O notável também é que uma equação similar constitui a base do algoritmo
de criptografia RSA, amplamente utilizado em operações bancárias on-line.7
Essa fórmula ap = a é mais do que uma descoberta perfeita; significa que a
operação de elevar números à p-ésima potência, mandando a para ap, é um
elemento do grupo de Galois do corpo finito. Denominase simetria de Frobenius
ou simplesmente Frobenius. Constata-se que o grupo de Galois do corpo finito de
p elementos é gerado pelo Frobenius.8
y 2 + y = x 3 – x 2,
O que é especialmente importante para nós é que os feixes fazem sentido tanto
na coluna central como na coluna direita da pedra de Roseta de Weil. Isso abre
um caminho para deslocar o Programa de Langlands da coluna central para a
coluna da direita.
Nesta, consideremos variedades que são definidas sobre números
complexos. Por exemplo, consideremos as superfícies de Riemann como a
esfera ou a superfície de uma rosca. Nesse cenário, as funções automorfas que
aparecem nas colunas esquerda e central da pedra de Roseta de Weil não fazem
muito sentido. Ao contrário dos feixes. Assim, depois que substituímos funções
por feixes na coluna central (o que podemos fazer porque temos o dicionário de
Grothendieck), recuperamos a analogia entre as colunas central e direita da
pedra de Roseta de Weil.
Resumindo: quando passamos da coluna central da pedra de Roseta de Weil
para a coluna da direita, precisamos fazer alguns ajustes nos dois lados da
relação prevista pelo Programa de Langlands, pois as noções do grupo de Galois
e as funções automorfas não têm equivalentes imediatos na geometria das
superfícies de Riemann. Em primeiro lugar, o grupo de Galois encontra seu
análogo no grupo fundamental de uma superfície de Riemann, como explicado
no capítulo 9. Em segundo, utilizamos o dicionário de Grothendieck e, em vez das
funções automorfas, consideramos os feixes que satisfazem propriedades
análogas às das funções automorfas. Denominamos esses feixes de
automorfismos.
Isso é ilustrado pelo quadro a seguir, em que temos as três colunas da pedra
de Roseta, e as duas linhas, em cada coluna, contêm os nomes dos objetos nos
dois lados da relação de Langlands específica a essa coluna.
FADE IN:
INTERIOR – ESCRITÓRIO DE DRINFELD, EM HARVARD
Drinfeld está andando diante do quadro-negro. Edward, sentado numa
cadeira, está anotando. Uma caneca de chá está sobre a mesa, ao seu lado.
DRINFELD
Então, a conjectura de Shimura–Taniy ama–Weil nos dá uma ligação entre as
equações cúbicas e as formas modulares, mas Langlands foi muito mais longe do
que isso. Ele anteviu uma relação mais geral, em que o papel das formas
modulares é desempenhado pelas representações automorfas de um grupo de
Lie.
EDWARD
O que é uma representação automorfa?
DRINFELD
(Após uma longa pausa) Neste momento, a definição exata não é
importante. E, seja como for, você pode lê-la num livro. O importante é que é
uma representação de um grupo de Lie G – por exemplo, o grupo SO(3) de
rotações de uma esfera.
EDWARD
OK. E com o que essas representações automorfas se relacionam?
DRINFELD
Bem, essa é a parte mais interessante: Langlands previu que devem se
relacionar com representações do grupo de Galois, em outro grupo de Lie.1
EDWARD
Entendo. Você quer dizer que esse grupo de Lie não é o mesmo grupo G?
DRINFELD
Não! É outro grupo de Lie, que é denominado grupo dual de Langlands de G.
Drinfeld escreve o símbolo LG no quadro-negro.
EDWARD
O L é de Langlands?
DRINFELD
(Insinuação de um sorriso) Bem, a motivação original de Langlands foi
entender algo denominado L-funções. Assim, ele chamou esse grupo de L-
grupo…
EDWARD
Deixe-me ver se eu entendi. Para cada grupo de Lie G, há outro grupo de
Lie denominado LG. Certo?
DRINFELD
Certo. E isso aparece na relação de Langlands, cuja aparência esquemática
vou lhe mostrar.
Drinfeld desenha um diagrama no quadro-negro:2
EDWARD
Não entendi… Pelo menos, ainda não. Mas deixe-me fazer uma pergunta
mais simples: o que é um grupo dual de Langlands de SO(3), por exemplo?
DRINFELD
Essa é muito fácil: é a cobertura dupla de SO(3). Você viu o truque da
caneca?
EDWARD
O truque da caneca? Ah, sim, eu me lembro…
CORTA PARA:
INTERIOR – UMA FESTA DOS ALUNOS DE PÓS-GRADUAÇÃO DE
HARVARD
Cerca de doze estudantes, entre 20 e 25 anos, estão conversando, e bebendo
cerveja e vinho. Edward conversa com um estudante.
ESTUDANTE
É assim que funciona.
O estudante pega uma caneca de plástico com vinho e a põe sobre a palma
aberta de sua mão direita. Então, ele começa a girar a palma e o braço (como
exibido na série de fotos a seguir). Depois de ele realizar um giro completo (360
graus), os braços dele ficam torcidos. Mantendo a caneca em pé, ele continua
girando, e, após outro giro completo – surpresa! –, o braço dele e a caneca
voltam para a posição inicial, destorcida.3
OUTRO ESTUDANTE
Ouvi falar que os filipinos têm uma dança do vinho tradicional, em que
fazem isso com as duas mãos.4
Ele pega duas canecas de cerveja e tenta girar as duas simultaneamente,
mas suas mãos vacilam, e ele derrama cerveja das duas canecas. Todos dão
risadas.
CORTA PARA:
INTERIOR – ESCRITÓRIO DE DRINFELD NOVAMENTE
DRINFELD
O truque ilustra o fato de que há uma trajetória fechada no grupo SO(3), que
não é trivial, mas, se percorrermos essa trajetória duas vezes, obteremos uma
trajetória trivial.5
Truque da caneca (veja da esquerda para a direita, de cima para baixo). Fotos de
Andrea Young.
EDWARD
Entendo. O primeiro giro completo da caneca torce o braço quando se faz
isso, e isso é igual a uma trajetória não trivial em SO(3).
Ele pega uma caneca de chá da mesa e realiza o movimento relativo à
primeira torção.
EDWARD
Pode-se achar que o segundo giro torceria o braço ainda mais. Em vez disso,
o segundo giro destorce o braço.
Edward completa o movimento.
DRINFELD
Exatamente.6
EDWARD
O que isso tem a ver com o grupo dual de Langlands?
DRINFELD
O grupo dual de Langlands de SO(3) é uma cobertura dupla de SO(3).
Assim…
EDWARD
Assim, para cada elemento de SO(3), há dois elementos do grupo dual de
Langlands.
DRINFELD
Por causa disso, esse novo grupo7 não terá trajetórias fechadas não triviais.
EDWARD
Então, passar para o grupo dual de Langlands é uma maneira de se livrar
dessa torção?
DRINFELD
Isso mesmo.8 À primeira vista, talvez pareça uma diferença menor, mas, na
realidade, tem consequências importantes, como a diferença de comportamento
entre os elementos básicos da matéria, como os elétrons e os quarks, e as
partículas que realizam interações entre eles, como os fótons. Para grupos de Lie
mais genéricos, a diferença entre o grupo de seu grupo dual de Langlands é ainda
mais pronunciada. De fato, em diversos casos, não há ligação evidente entre os
dois grupos duais.
EDWARD
Por que o grupo dual aparece na relação de Langlands? Parece mágica…
DRINFELD
Na realidade, não sabemos.
FADE OUT
FADE IN:
INTERIOR – ESCRITÓRIO DE DRINFELD
DRINFELD
Então temos de achar uma maneira sistemática de construir esses feixes
automorfos. E acho que as representações das álgebras de Kac-Moody podem
dar certo.
EDWARD
O que é isso?
DRINFELD
Agora estamos no mundo das superfícies de Riemann. Tal superfície deve ter
um limite, que consiste de loops.
Drinfeld desenha uma figura no quadro-negro.
DRINFELD
Numa superfície de Riemann, os loops nos dão uma ligação para grupos de
loop e, portanto, para as álgebras de Kac-Moody. Por meio dessa ligação,
podemos converter representações de uma álgebra de Kac-Moody em feixes no
espaço de módulos dos G-fibrados, em nossa superfície de Riemann. Por ora,
ignoremos os detalhes. De forma esquemática, espero que funcione como isso.
Ele desenha um diagrama no quadro-negro:
DRINFELD
A segunda seta é evidente para mim. A questão real é como construir a
primeira seta. Feigin me falou de seu trabalho sobre as representações das
álgebras de Kac-Moody. Acho que, nesse caso, você pode colocá-lo em uso.
EDWARD
No entanto, de certo modo, as representações da álgebra de Kac-Moody de
G devem “conhecer” algo a respeito do grupo dual de Langlands LG.
DRINFLED
Isso mesmo.
EDWARD
Como isso é possível?
DRINFELD
É isso o que você tem de descobrir.
FADE OUT
Acho que me senti um pouco como Neo falando com Morpheus, no filme
Matrix. Era excitante, mas também um pouco assustador. Será que eu realmente
seria capaz de dizer algo novo a respeito desse ramo da matemática?
Para explicar como eu abordei esse problema, preciso falar sobre um
método eficiente de construir representações do grupo fundamental de uma
superfície de Riemann. Fazemos isso utilizando equações diferenciais.
Uma equação diferencial é uma equação que relaciona uma função e suas
derivadas. Como exemplo, consideremos um carro em movimento numa estrada
reta. A estrada tem uma coordenada; denotemos essa coordena por x. A posição
do carro no momento t, no tempo, é, então, codificada pela função x(t). Por
exemplo, pode ser que x(t) = t2.
A velocidade do carro é a proporção entre a distância percorrida num
pequeno período de tempo Δt e esse período de tempo:
Se o carro estivesse se movimentando com velocidade constante, não teria
importância o período de tempo Δt considerado. No entanto, se o carro estiver
mudando sua velocidade, então um Δt menor nos dará uma aproximação mais
exata da velocidade no momento t. Para obtermos o valor instantâneo exato da
velocidade naquele momento, temos de considerar o limite dessa proporção
quando Δt tende a zero. Esse limite é a derivada de x(t). É denotado por x'(t).
Por exemplo, se x(t) = t2, então x'(t) = 2t, e, em um amplo sentido, se x(t) =
tn, então x'(t) = ntn-1. Não é difícil derivar essas fórmulas, mas, neste momento,
isso não é essencial para nós.
Muitas leis da natureza podem ser enunciadas como equações diferenciais,
isto é, equações envolvendo funções e suas derivadas. Por exemplo, as equações
de Maxwell a respeito do eletromagnetismo, das quais falaremos a respeito no
próximo capítulo, são equações diferenciais, assim como as equações de Einstein
que descrevem a força da gravidade. De fato, a maioria dos modelos
matemáticos (na física, na biologia, na química ou nos mercados financeiros)
envolve equações diferenciais. Mesmo as perguntas mais simples que uma
pessoa pode fazer a respeito de finanças pessoais, como, por exemplo, a maneira
de calcular juros compostos, leva-nos rapidamente a equações diferenciais.
Eis um exemplo de equação diferencial:
Para mim, parece uma metáfora poética para aquilo que estamos tentando
alcançar no Programa de Langlands: uma unidade de geometria, álgebra e
aritmética (isto é, teoria dos números). Uma alquimia atual.
O trabalho de Beilinson e Drinfeld resolveu alguns problemas consagrados,
mas também suscitou outras perguntas. Eis como é em matemática: cada novo
resultado remove o véu que cobre o desconhecido, mas o que então se torna
conhecido não contém simplesmente respostas – inclui perguntas que não
sabíamos formular, direções que não sabíamos que podíamos explorar. E, assim,
cada descoberta nos inspira a dar novos passos e nunca nos deixa satisfeitos em
nossa busca por conhecimento.
Dualidade quântica
Sem dúvida, tenho de manter em segredo a receita de minha mãe. Mas aqui
está uma que encontrei na Internet:
Não foi só alegria. Foi algo maior, mais profundo: afinal, o que
podia ser mais misterioso, o que podia ser mais impressionante
do que descobrir que a estrutura do mundo físico está
intimamente ligada aos conceitos matemáticos profundos,
conceitos que foram desenvolvidos como resultado das
considerações enraizadas somente na lógica e na beleza da
forma?
A uma distância de cerca de uma hora de trem de Nova York, Princeton parece
uma típica cidadezinha da região nordeste dos Estados Unidos. O Instituto de
Estudos Avançados, conhecido pela comunidade científica simplesmente como
“o instituto”, fica nos arredores de Princeton, no meio de um bosque. A área ao
redor dele é silenciosa e pitoresca: patos nadando em lagoas, árvores refletidas
nas águas plácidas. O instituto, um agrupamento de edifícios de tijolo de dois e
três andares com ares dos anos 1950, irradia poder intelectual. Ninguém pode
deixar de saborear sua rica história, perambulando pelos corredores silenciosos e
pela biblioteca principal, que foi usada por Einstein e outros gigantes.
Esse é o lugar onde nosso encontro se realizou, em março de 2004. Apesar
do curto prazo, a resposta aos convites que enviamos em dezembro foi bastante
positiva. Eram cerca de vinte participantes; assim, quando abrimos o encontro,
pedi para todos se apresentarem. Tive vontade de me beliscar: Witten e
Langlands estavam ali, sentados próximos, além de Peter Goddard, assim como
muitos dos seus colegas da Escola de Matemática e da Escola de Ciências
Naturais. David Olive, dos artigos de Montonen–Olive e de Goddard-Nuy ts-
Olive, também estava presente. E, é claro, Ben Mann estava conosco.
Tudo correu de acordo com os planos. Basicamente, relatamos a história que
você está lendo neste livro: as origens do Programa de Langlands na teoria dos
números e na análise harmônica, a passagem para as curvas sobre corpos finitos
e, em seguida, as superfícies de Riemann. Também passamos bastante tempo
explicando a construção de Beilinson–Drinfeld e meu trabalho com Feigin a
respeito das álgebras de Kac–Moody, além de suas ligações com as teorias
quânticas de campos bidimensionais.
Ao contrário do que acontece em uma conferência típica, houve bastante
troca de ideias entre os palestrantes e a plateia. Foi um encontro intenso, com
discussões ininterruptas, tanto na sala do seminário como na lanchonete.
Durante todo o tempo, Witten apresentou grande atividade. Sentado na
primeira fila, ele escutava atentamente e formulava perguntas, ocupando
constantemente os palestrantes. Na manhã do terceiro dia, disse para mim:
– Gostaria de falar à tarde. Acho que tenho uma ideia do que está
acontecendo.
Depois do almoço, Witten descreveu uma possível ligação entre os dois
assuntos. Era o início de uma nova teoria ligando matemática e física que ele e
seus colaboradores, e, em seguida, muitos outros, vêm procurando desde então.
Como discutimos, na terceira coluna da pedra de Roseta de André Weil, a
versão geométrica do Programa de Langlands gira em torno das superfícies de
Riemann. Todas são bidimensionais. Por exemplo, como discutimos no capítulo
10, a esfera – a superfície de Riemann mais simples – possui duas coordenadas:
latitude e longitude. Por isso, é bidimensional. Todas as outras superfícies de
Riemann são bidimensionais também, porque uma pequena vizinhança de cada
ponto parece uma porção de um plano bidimensional; assim, pode ser descrita
por meio de duas coordenadas independentes.
Por outro lado, as teorias de calibre, em que a dualidade eletromagnética é
observada, são definidas no espaço-tempo quadridimensional. Para ligar ambas,
Witten começou aplicando a “redução dimensional” de uma teoria de calibre
quadridimensional de quatro para duas dimensões.
Realmente, na física, a redução dimensional é uma ferramenta-padrão:
aproximamos um determinado modelo físico enfocando alguns graus de
liberdade e, ao mesmo tempo, ignorando outros. Por exemplo, suponha que você
está voando em um avião, e um comissário de bordo, parado no corredor,
entrega-lhe um copo de água. Para simplificar, assuma que o movimento da
mão do comissário é perpendicular ao movimento do avião. A velocidade do
copo tem dois componentes: o primeiro é a velocidade do avião, e o segundo é a
velocidade da mão do comissário, entregando-lhe o copo. No entanto, a primeira
é muito maior que a segunda; assim, se formos descrever o movimento do copo
no ar, do ponto de vista de um observador estático em terra, poderemos ignorar
seguramente o segundo componente de velocidade e dizer simplesmente que o
copo está se movendo na mesma velocidade do avião. Portanto, podemos reduzir
um problema bidimensional, envolvendo dois componentes de velocidade, a um
problema unidimensional, envolvendo o componente dominante.
Em nosso contexto, a redução dimensional é realizada da seguinte maneira:
consideramos uma forma geométrica (ou variedade), que é produto de duas
superfícies de Riemann. Nesse caso, “produto” significa que consideramos uma
nova forma geométrica, cujas coordenadas são as coordenadas de cada uma
dessas superfícies, consideradas em conjunto.
Como um exemplo mais simples, consideremos o produto de duas linhas.
Cada linha possui uma coordenada e, assim, o produto terá duas coordenadas
independentes. Portanto, será um plano: cada ponto nele é representado por um
par de coordenadas. Estas são as coordenadas das duas linhas, consideradas em
conjunto.
A ideia da teoria das cordas é que as vibrações dessas minúsculas cordas durante
seu movimento através do espaço-tempo criam partículas elementares e forças
entre elas.
Os modelos sigma se inserem na teoria das cordas depois que começamos a
considerar como as cordas se movem. Na física padrão, quando uma partícula
semelhante a um ponto se move no espaço, seu percurso é uma trajetória
unidimensional. Em momentos temporais distintos, as posições da partícula são
representadas por pontos sobre essa trajetória.
As cordas também podem interagir: uma corda pode “se dividir” em dois ou
mais pedaços, e esses pedaços também podem se reunir, como exposto na
próxima figura. Isso nos dá uma superfície de Riemann mais geral, com um
número arbitrário de “furos” (e com círculos delimitadores). É denominada
superfície do universo (worldsheet) da corda.
Essa trajetória pode ser representada por uma superfície de Riemann ∑
incorporada no espaço-tempo S e, por conseguinte, por uma aplicação de ∑ em
S. Esses são precisamente os tipos de aplicações que aparecem no modelo sigma
em ∑, com a variedade alvo S. No entanto, nesse momento, as coisas são viradas
de ponta-cabeça: o espaço-tempo S agora é a variedade alvo desse modelo
sigma – isto é, o receptor dos aplicações – e não a fonte das aplicações, em
contraste com as teorias quânticas de campos convencionais, como a do
eletromagnetismo.
A ideia da teoria das cordas é que, ao fazer cálculos nesses modelos sigma e
somando os resultados em todas as possíveis superficies de Riemann ∑ (isto é,
em todas as possíveis trajetórias das cordas que se propagam num espaço-tempo
fixo S) 4, podemos reproduzir a física que observamos no espaço-tempo S.
Infelizmente, a teoria resultante é assolada por alguns problemas sérios (em
particular, permite a existência de “táquions”, partículas elementares que se
movem mais rápido que a luz, cuja existência é rejeitada pela teoria da
relatividade de Einstein). A situação melhorará muito se considerarmos uma
extensão supersimétrica da teoria das cordas. Então, obtemos o que se denomina
teoria de supercordas. No entanto, há um problema novamente: a teoria de
supercordas acaba se revelando matematicamente consistente somente se nosso
espaço-tempo S tiver dez dimensões, o que está em desacordo com o mundo que
observamos, que possui apenas quatro (três dimensões de espaço e uma de
tempo).
No entanto, pode ser que nosso mundo seja realmente um produto, no sentido
explicado acima, do espaço-tempo quadridimensional que observamos e de uma
minúscula variedade hexadimensional M, que é tão pequena que não
conseguimos vê-la usando os instrumentos disponíveis. Neste caso, então
estaríamos numa situação similar à redução dimensional (de quatro para duas
dimensões) que discutimos antes: a teoria decadimensional originaria uma teoria
efetiva quadridimensional. A expectativa é que essa teoria efetiva descreva nosso
universo e, em particular, inclua o Modelo Padrão e também a teoria quântica da
gravidade. Essa promessa de possível unificação de todas as forças conhecidas
da natureza é o principal motivo pelo qual a teoria de supercordas foi estudada
tão amplamente nos últimos anos.5
Contudo, temos um problema: qual é essa variedade hexadimensional M?
Para avaliar quão intimidante é esse problema, vamos supor, em prol da
argumentação, que a teoria de supercordas era matematicamente consistente em
seis dimensões, e não dez. Então, haveria somente duas dimensões adicionais, e
teríamos de encontrar uma variedade bidimensional M. Nesse caso, não haveria
tantas alternativas: M teria de ser uma superfície de Riemann, que, como
sabemos, é caracterizada por seu gênero, isto é, o número de “furos”. Além
disso, para que essa teoria funcione, esse M deve satisfazer certas propriedades
adicionais; por exemplo, tem de ser o que se denomina variedade de Calabi-Yau,
em homenagem a dois matemáticos, Eugenio Calabi e Shing-Tung Yau, que
foram os primeiros a estudar esses espaços matematicamente (anos antes dos
físicos se interessarem pelo assunto, devo acrescentar).6 A única superfície de
Riemann que possui essa propriedade é o toro. Portanto, se M fosse
bidimensional, seríamos capazes de especificá-lo: teria de ser um toro.7 No
entanto, conforme a dimensão de M cresce, o mesmo acontece em relação ao
número de possibilidades. Se M for hexadimensional, então, por meio de algumas
estimativas, existirão 10500 alternativas – um número inimaginavelmente
grande, Qual dessas variedades hexadimensionais é obtida em nosso universo e
como podemos verificar isso experimentalmente? Essa é uma das perguntas-
chave da teoria das cordas que ainda continuam sem resposta.8
De qualquer forma, deve ficar claro a partir dessa discussão que os modelos
sigma desempenham um papel decisivo na teoria de supercordas, e, de fato, sua
simetria especular pode ser traçada em relação a uma dualidade da teoria.9 Os
modelos sigma também têm muitas aplicações fora da teoria das cordas. Os
físicos têm os estudado de forma muito detalhada, e não só os modelos sigma em
que a variedade alvo M é hexadimensional.10
Tudo isso, como diz meu pai, é bastante pesado: vimos espaços de módulos de
Hitchin, simetria especular, A-branas, B-branas, feixes automorfos… Uma
pessoa pode ficar com dor de cabeça só tentando acompanhar tudo isso.
Acreditem em mim: mesmo entre os especialistas, poucas pessoas conhecem os
detalhes práticos de todos os elementos dessa construção. No entanto, minha
intenção não é que vocês aprendam todos eles. Em vez disso, quero indicar as
ligações lógicas entre esses objetos e mostrar o processo criativo dos cientistas
que os estudam: o que os motiva, como eles aprendem uns com os outros, como
o conhecimento que adquirem é utilizado para promover nosso entendimento das
questões-chave.
Contudo, para aliviar um pouco nosso fardo, eis um quadro que ilustra as
analogias entre os objetos que discutimos e as colunas da pedra de Roseta de
Weil, e mais uma coluna extra correspondente à física quântica. Ele amplia o
quadro da página 196. (Combinei as colunas esquerda e central da pedra de
Roseta de Weil, pois os objetos que aparecem nelas são muito similares
mutuamente.)
Ao observar esse quadro, meu pai me perguntou: como Kapustin e Witten
desenvolveram o Programa de Langlands? Claro que essa é uma pergunta
importante. Em primeiro lugar, ligar o Programa de Langlands à simetria
especular e à dualidade magnética permite o uso do poderoso arsenal dessas
áreas da física quântica, para promover novos avanços do Programa de
Langlands. Inversamente, as ideias do Programa de Langlands, transplantadas
para a física, motivaram os físicos a formular algumas perguntas sobre a
dualidade eletromagnética que eles jamais haviam formulado. Isso levou a
algumas descobertas fascinantes. Em segundo lugar, a linguagem das A-branas
acabou se revelando bem adaptada ao Programa de Langlands. Muitas dessas A-
branas possuem uma estrutura muito mais simples do que os feixes automorfos,
que são notoriamente complicados. Portanto, ao utilizar a linguagem das A-
branas, podemos desvendar alguns dos mistérios do Programa de Langlands.
Quero apresentar um exemplo concreto de como essa nova linguagem pode
ser aplicada. Assim, comentarei a respeito de meu trabalho subsequente com
Witten,18 que concluímos em 2007. Para explicar o que fizemos, terei de falar a
respeito de um problema que até agora eu, de cerca forma, varri para debaixo
do tapete. Na discussão acima, supus que todas as fibras que apareciam nos dois
espaços de módulos de Hitchin são toros lisos a que estamos acostumados (como
aqueles expostos nas figuras acima: roscas com formas perfeitas, por assim
dizer). De fato, isso é verdadeiro para a maioria das fibras. No entanto, há
algumas fibras especiais que parecem diferentes: são degenerações de toros
lisos. Se não existissem degenerações, o mecanismo SYZ daria uma descrição
completa da simetria especular entre as branas nos dois espaços de módulos de
Hitchin. Contudo, a presença de toros degenerados complica muito essa simetria
especular. A parte mais interessante e complicada da simetria especular é, de
fato, o que acontece com as branas que “vivem” nesses toros degenerados.
Em seu trabalho, Kapustin e Witten só consideraram a simetria especular
limitada a toros lisos. Isso deixou em aberto a questão a respeito dos toros
degenerados. Em nosso trabalho, Witten e eu explicamos o que acontece no caso
dos toros degenerados mais simples, aquele com as assim chamadas
“singularidades orbifold”, como a do toro comprimido exposto abaixo:
É como se Homer Simpson ficasse muito excitado com o fato de ter uma
caixa com uma infinidade de roscas que ele acidentalmente pisou, esmagando
algumas (mas não se preocupe com Homer; ainda sobraria uma infinidade de
roscas com o formato perfeito).
Conforme nos aproximamos do ponto marcado na base (que é um dos três
pontos especiais), o pescoço do toro na fibra se torna cada vez mais fino, até
colapsar no ponto marcado. Na figura anterior, a fibra no ponto marcado é
exibida sob um ângulo diferente. Não é mais um toro; é o que podemos chamar
de toro “degenerado”.
A pergunta que temos de responder é o que acontece quando a zero-brana no
espaço de módulos de Hitchin se concentra no ponto especial do toro degenerado,
como aquele marcado na figura acima, em que o pescoço colapsa. Os
matemáticos chamam isso de singularidade orbifold.
No fim das contas, esse ponto possui um grupo de simetria adicional. No
exemplo exposto acima, é igual ao grupo de simetrias de uma borboleta. Em
outras palavras, consiste do elemento identidade e de um outro elemento, que
correspondem à virada das asas da borboleta. Isso implica que não existe apenas
uma zero-brana, mas sim duas zero-branas distintas concentradas nesse ponto.
Então, a pergunta é: quais serão as duas A-branas correspondentes no espaço de
módulos de Hitchin dual especular? (Nesse caso, note que G será o grupo SU(2),
que é o grupo dual de Langlands de SO(3).)
Como Witten e eu explicamos em nosso trabalho, em cada um dos três
pontos especiais na base da fibração de Hitchin, o toro degenerado no lado dual
especular parecerá com a figura a seguir (a figura é extraída de nosso trabalho).
Ele aparece na fibração de Hitchin de forma semelhante àquilo que foi
exposto na figura anterior, exceto que agora, conforme nos aproximamos de um
dos pontos especiais da base, o pescoço do toro na fibra se torna cada vez mais
fino em dois lugares, e colapsa quando alcançamos o ponto especial na base.
A fibra degenerada correspondente é bastante diferente da anterior, pois
agora o toro colapsa em dois pontos, em vez de um. Portanto, esse toro
degenerado possui dois pedaços. Os matemáticos os chamam de componentes.
Neste momento, podemos responder à nossa pergunta: as duas A-branas que
estamos procurando (dual especular para as duas zero-branas concentradas no
ponto singular do primeiro toro degenerado) serão as A-branas “espalhadas” em
cada um dos dois componentes do toro degenerado dual.
O Programa de Langlands foi o foco deste livro. Acho que esse programa
proporciona uma boa visão panorâmica da matemática moderna: sua estrutura
conceitual profunda, seus insights inovadores, suas conjecturas tentadoras, seus
teoremas profundos e suas ligações inesperadas entre campos distintos. Também
ilustra os vínculos intricados entre a matemática e a física e o diálogo
mutuamente enriquecedor entre essas duas matérias. Portanto, exemplifica as
quatro qualidades das teorias matemáticas que discutimos no capítulo 2:
universalidade, objetividade, resistência e aplicabilidade no mundo físico.
Claro que existem muitas outras áreas fascinantes da matemática. Na
literatura, algumas foram expostas aos leigos; outras, não. Como Henry David
Thoreau afirmou:20 “Ouvimos falar da poesia da matemática, mas muito pouco
dela já foi cantado.” Infelizmente, suas palavras parecem verdadeiras hoje, mais
de 150 anos depois que ele as escreveu; o que quer dizer que nós, matemáticos,
precisamos realizar um trabalho melhor de revelação do poder e da beleza de
nosso assunto para um público mais amplo. Ao mesmo tempo, espero que a
história do Programa de Langlands incite a curiosidade dos leitores a respeito da
matemática e os motive a aprender mais.
*Nesse aspecto, Hitchin cita o grande poeta alemão Goethe: “Os
matemáticos são como franceses: independente do que você diga a eles, eles
traduzem em sua própria língua, e, imediatamente, é algo inteiramente
diferente.”
*Frase de Homer Simpson, personagem da série de TV Os Simpsons. (N. do
T.)
Capítulo 18
Mesmo se uma única fórmula não fosse eficiente para explicar tudo, as
fórmulas matemáticas são algumas das expressões mais puras, versáteis e
econômicas da verdade conhecidas pela humanidade. Elas transmitem
conhecimento atemporal e valioso, imune a modas passageiras, e comunicam o
mesmo significado para qualquer um que entra em contato com elas. As
verdades que expressam são as verdades necessárias, são os faróis firmes da
realidade norteando a humanidade através do tempo e espaço.
Heinrich Hertz, que demonstrou a existência das ondas eletromagnéticas, e
cujo sobrenome é utilizado agora como unidade de frequência, expressou sua
admiração da seguinte maneira:5
Ninguém é capaz de escapar da sensação de que essas fórmulas
matemáticas possuem existência independente e inteligência própria, que são
mais sábias do que nós somos, ainda mais sábias do que seus descobridores.
Hertz não está sozinho em seu sentimento. A maioria dos praticantes da
matemática acredita que as fórmulas e ideias habitam um mundo distinto. Robert
Langlands afirma que a matemática “muitas vezes surge na forma de
insinuações, uma palavra que sugere que a matemática, e não só seus conceitos
básicos, existe independentemente de nós. É uma noção difícil de aceitar, mas
também difícil de ser ignorada por um matemático profissional”.6 Isso é ecoado
por outro matemático eminente, Yuri Manin (o mentor de Drinfeld), que fala a
respeito de uma “visão do grande Castelo da Matemática, imponente em algum
lugar do Mundo Platônico das Ideias, que (os matemáticos) descobrem de
maneira humilde e devotada (em vez de inventar)”.7
Desse ponto de vista, os grupos de Galois foram descobertos pelo prodígio
francês, em vez de inventados por ele. Até ser descoberto, esse conceito vivia em
algum lugar nos jardins encantados do mundo ideal da matemática, esperando
para ser encontrado. Mesmo se os documentos de Galois tivessem sumido e não
houvesse sido dado a ele o devido crédito por sua descoberta, exatamente os
mesmos grupos teriam sido descobertos por outra pessoa.
Compare isso com as descobertas de outras áreas do esforço humano: se
Steve Jobs não tivesse voltado para a Apple, talvez jamais tivéssemos conhecido
iPods, iPhones e iPads. Outras inovações tecnológicas teriam sido feitas, mas não
há motivo para esperar que os mesmos elementos tivessem sido encontrados por
outros. Em contraste, as verdades matemáticas são inevitáveis.
Frequentemente, o mundo habitado pelos conceitos e ideias matemáticas é
chamado de mundo platônico da matemática, em homenagem a Platão, filósofo
grego, que foi o primeiro a afirmar que as entidades matemáticas são
independentes de nossas atividades racionais.8 No livro The Road to Reality, o
aclamado físico-matemático Roger Penrose diz que as asserções matemáticas
que pertencem ao mundo platônico da matemática “são exatamente aquelas que
são objetivamente verdadeiras. Dizer que alguma asserção matemática possui
uma existência platônica é dizer simplesmente que é verdadeira num sentido
objetivo”. Da mesma forma, as noções matemáticas “possuem uma existência
platônica porque são noções objetivas”.9
Como Penrose, acredito que o mundo platônico da matemática é distinto dos
mundos físico e mental. Por exemplo, consideremos o Último Teorema de
Fermat. Em seu livro, Penrose pergunta de modo retórico se “concordamos que
a asserção de Fermat era sempre válida, muito antes de Fermat realmente fazê-
la, ou [se] sua validade [é] uma questão meramente cultural, dependente de
quaisquer padrões subjetivos da comunidade dos matemáticos humanos”.10
Valendo-se da tradição consagrada pelo tempo da argumentação por meio de
reductio ad ab-surdum (“redução ao absurdo”, em latim), Penrose mostra que
abraçar a intepretação subjetiva nos leva rapidamente a asserções que são
“evidentemente absurdas”, enfatizando a independência do conhecimento
matemático de qualquer atividade humana.
Kurt Gödel, cujo trabalho – sobretudo, os celebrados teoremas da
incompletude – revolucionou a lógica matemática, era um defensor despudorado
dessa visão. Ele afirmou que os conceitos matemáticos “formam uma realidade
objetiva por sua própria conta, que não podemos criar ou mudar, mas só
perceber e descrever”.11 Em outras palavras, “a matemática descreve uma
realidade não sensitiva, que existe independentemente tanto dos atos como das
disposições da mente humana, apenas sendo percebida, e, provavelmente, de
modo muito incompleto, pela mente humana”.12
O mundo platônico da matemática também existe independentemente da
realidade física. Por exemplo, como discutimos no capítulo 16, os instrumentos
das teorias de calibre foram desenvolvidos originalmente pelos matemáticos,
sem qualquer referência à física. De fato, constatou-se que apenas três desses
modelos descrevem forças conhecidas da natureza (eletromagnética, fraca e
forte). Elas correspondem a três grupos de Lie específicos (grupo circular, SU(2)
e SU(3), respectivamente), embora exista uma teoria de calibre para qualquer
grupo de Lie. As teorias de calibre associadas aos grupos de Lie diferentes
daquelas três são perfeitamente sólidas matematicamente, mas não existem
ligações conhecidas entre elas e o mundo real. Além disso, discutimos sobre as
extensões supersimétricas dessas teorias de calibre, que podemos analisar
matematicamente, ainda que a supersimetria não seja encontrada na natureza e
muito possivelmente não esteja presente nela. Modelos similares também fazem
sentido matematicamente num espaço-tempo que possui dimensão diferente de
quatro. Há muitos outros exemplos de teorias matemáticas valiosas, que não
estão ligadas diretamente a qualquer tipo de realidade física.
Em seu livro Shadows of the Mind, Roger Penrose fala a respeito do triângulo
composto pelo mundo físico, o mundo mental e o mundo platônico da
matemática.13 Eles são distintos, mas estão profundamente entrelaçados. Ainda
não entendemos plenamente como estão ligados, mas uma coisa é clara: cada
um afeta nossas vidas de maneira profunda. No entanto, enquanto todos nós
valorizamos a importância dos mundos físico e mental, muitos continuam
alegremente ignorantes quanto ao mundo da matemática. Acredito que, quando
nos dermos conta dessa realidade oculta e utilizarmos seus poderes inexplorados,
ocorrerá em nossa sociedade uma mudança com as dimensões da Revolução
Industrial.
Do meu ponto de vista, a objetividade do conhecimento matemático é a
fonte de suas possibilidades ilimitadas. Essa qualidade diferencia a matemática
de qualquer outro tipo de esforço humano. Acredito que entender o que está por
trás dessa qualidade elucidará os mistérios mais profundos da realidade física, da
consciência e das inter-relações entre ambas. Em outras palavras, quanto mais
perto chegarmos do mundo platônico da matemática, mais poder teremos para
entender o mundo ao nosso redor e o nosso lugar nele.
Felizmente, nada pode nos deter de nos aprofundarmos nessa realidade
platônica e integrá-la em nossas vidas. O verdadeiramente notável é a
democracia inerente da matemática: enquanto algumas partes dos mundos físico
e mental podem ser percebidas ou interpretadas de modo diferente por distintas
pessoas, ou podem até mesmo não ser acessíveis a alguns de nós, os conceitos e
as equações são percebidos da mesma maneira e pertencem a todos igualmente.
Ninguém tem o monopólio sobre o conhecimento matemático; ninguém pode
reivindicar uma fórmula ou ideia como sua invenção; ninguém pode patentear
uma fórmula! Albert Einstein, por exemplo, não seria capaz de patentear sua
fórmula E = mc 2. Pois, se correta, uma fórmula matemática enuncia uma
verdade eterna a respeito do universo. Portanto, ninguém pode clamar sua
propriedade; ela é nossa, e podemos compartilhá-la à vontade.14 Rico ou pobre,
negro ou branco, jovem ou adulto, ninguém pode tirar essas fórmulas de nós.
Nesse mundo, nada é tão profundo e elegante, e, no entanto, tão disponível para
todos.
Seguindo Mishima, o destaque do cenário austero de Rites of Love and Math era
uma grande caligrafia pendurada na parede. No filme de Mishima, a caligrafia
dizia shisei – sinceridade. O filme dele tratava de sinceridade e honra. O nosso
tratava da verdade, de modo tão natural que achamos que nossa caligrafia devia
significar verdade. E decidimos fazer isso não em japonês, mas em russo.
A palavra “verdade” tem duas traduções em russo. A mais familiar, pravda,
refere-se à verdade factual, como uma notícia (por isso, era o nome do jornal
oficial do Partido Comunista da URSS). A outra, istina, significa uma verdade
mais profunda, filosófica. Por exemplo, o enunciado que diz que o grupo de
simetrias de uma mesa redonda é um círculo é pravda, mas o enunciado do
Programa de Langlands (nos casos em que foi demonstrado) é istina.
Evidentemente, a verdade pela qual o matemático se sacrifica no filme é istina.
Em nosso filme, quisemos refletir sobre o aspecto moral do conhecimento
matemático: uma fórmula com tanto poder pode ter outro lado, podendo ser
utilizada para o mal. Consideremos um grupo de físicos teóricos no início do
século XX tentando entender a estrutura do átomo. O que eles faziam era uma
busca científica pura e nobre, que, inadvertidamente, levou-os à descoberta da
energia atômica. Trouxe-nos muita coisa boa, mas também destruição e morte.
Da mesma forma, uma fórmula matemática descoberta como parte de nossa
busca do conhecimento pode se mostrar nociva. Embora os cientistas devam ser
livres para perseguir suas ideias, também acredito que é nossa responsabilidade
fazer tudo ao nosso alcance para assegurar que as fórmulas descobertas por nós
não sejam empregadas para o mal. Eis por que, em nosso filme, o matemático
está preparado para morrer para proteger a fórmula de cair em mãos erradas. A
tatuagem é sua maneira de esconder a fórmula e, ao mesmo tempo, assegurar
que ela sobreviva.
O que ela significa? Nossa monografia era a primeira parte de uma série que
elaboramos acerca de uma nova abordagem relativa às teorias quânticas de
campos envolvendo “instantons” – são configurações de campos com
propriedades notáveis. Embora as teorias quânticas de campos tenham sido bem-
sucedidas em descrever com precisão a interação entre partículas elementares,
há diversos fenômenos importantes que ainda são entendidos de maneira
deficiente. Por exemplo, conforme o Modelo Padrão, os prótons e os nêutrons
consistem de três quarks cada um, que não podem ser separados. Na física, o
fenômeno é conhecido como confinamento. Sua explicação teórica adequada
ainda é deficiente, e muitos físicos acreditam que os instantons são a chave para
a solução desse mistério. No entanto, na abordagem convencional relativa às
teorias quânticas de campos, os instantons são elusivos.
Propusemos uma abordagem nova relativa às teorias quânticas de campos
que esperávamos que nos ajudasse a entender melhor os efeitos poderosos dos
instantons. A fórmula anterior enuncia uma identidade surpreendente entre duas
maneiras de calcular a função de correlação em uma de nossas teorias.16 Na
época em que a descobrimos mal sabíamos que, em pouco tempo, ela seria
designada para desempenhar o papel de fórmula do amor.
Oriane Giraud, nossa artista de efeitos especiais, gostou da fórmula, mas disse
que era muito complicada para uma tatuagem. Simplifiquei a notação, e eis
como ela aparece em nosso filme:
A matemática muda “de caso para caso”, e nisso reside sua função espiritual
profunda e amplamente inexplorada.
Albert Einstein escreveu:22 “Todos que estão seriamente envolvidos na busca
da ciência se convenceram de que algum espírito se manifesta nas leis do
universo – um espírito muitíssimo superior ao do homem, e um diante do qual
nós, com nossos modestos poderes, devemos nos sentir humildes.” E Isaac
Newton expressou seus sentimentos desta maneira:23 “Tenho a impressão de ter
sido somente um garoto brincando e me divertindo na praia, encontrando, de vez
em quando, um seixo mais liso ou uma concha mais bonita que o normal,
enquanto que o grande oceano da verdade permanece todo desconhecido diante
de mim.”
Meu sonho é que um dia todos nós nos daremos conta dessa realidade
escondida. Dessa maneira, talvez possamos ser capazes de deixar de lado nossas
diferenças e nos voltarmos para as profundas verdades que nos unem. Então,
todos nós seremos como crianças brincando na praia, maravilhados com a beleza
deslumbrante e a harmonia que descobrimos, compartilhamos e apreciamos
juntos.
*Não me faça amor preguiçoso…/ Mova-me de caso a caso.
Epílogo
Prefácio
1. Edward Frenkel, Don’t Let Economists and Politicians Hack Your Math,
Slate, 8 de fevereiro de 2013.
Disponível on-line, em: http://goo.gl/UYe4Na
3. Isso pode parecer supérfluo, mas não estamos sendo meticulosos nesse
caso. Devemos incluir isso se quisermos ser consistentes. Afirmamos que
uma simetria é qualquer transformação que preserva nosso objeto, e a
identidade é essa transformação.
Para evitarmos confusão, nessa discussão desejo enfatizar que nós só nos
preocupamos com o resultado final de uma determinada simetria. O que
fazemos com o objeto no processo não tem importância; apenas as
posições finais de todos os pontos do objeto importam. Por exemplo, se
girarmos a mesa 360 graus, então cada ponto termina na mesma posição
que estava inicialmente. Eis por que para nós a rotação de 360 graus é
igual à simetria de nenhuma rotação. Pelo mesmo motivo, a rotação de 90
graus no sentido anti-horário é igual à rotação de 270 graus no sentido
horário. Como outro exemplo, vamos supor que empurramos a mesa
sobre o piso por três metros numa determinada direção e, em seguida, a
empurramos de volta por três metros; ou que movemos a mesa para outro
aposento e, em seguida, a trouxemos de volta. Desde que acabe na
mesma posição e cada um de seus pontos acabe na mesma posição que
estava inicialmente, esta é considerada a mesma simetria que a simetria
idêntica.
6. Ver Sean Carroll, The Particle at the End of the Universe: How the Hunt for
the Higgs Boson Leads Us to the Edge of a New World, Dutton, 2012.
9. Note que cada rotação também origina uma simetria de qualquer objeto
redondo, como a mesa redonda. Portanto, em princípio, também podemos
falar de uma representação do grupo de simetrias por meio das simetrias
da mesa redonda, em vez de por meio de um plano. No entanto, na
matemática, o termo “representação” é reservado específicamente para
a situação em que um determinado grupo origina simetrias de um espaço
n-dimensional. Essas simetrias devem ser o que os matemáticos
denominam transformações lineares, conceito explicado na nota 2 do
capítulo 14.
Capítulo 4 - Kerosinka
5. Como uma das nossas regras é que um fio não pode se enredar consigo
mesmo, o fio único que temos não tem lugar para ir a não ser direto para
baixo, a partir do único prendedor situado na placa superior, em direção
ao prendedor na placa inferior. Claro que ele pode seguir um caminho
complicado, como uma estrada sinuosa de montanha ou uma rua
serpenteante, mas, ao encurtá-lo, se necessário, podemos fazer o fio
descer verticalmente. Em outras palavras, o grupo B1 consiste de um
único elemento, que é a identidade (também é seu próprio inverso e o
resultado da adição consigo mesmo).
7. Ver David Garber, “Braid group cry ptography ”. Em: Braids: In-troductory
Lectures on Braids, Configurations and Their Applications, eds. A. Jon
Berrick, e.a., pp. 329-403, World Scientific 2010. Disponível em:
http://goo.gl/fZqklv
11. Para cada sobreposição entre dois fios, atribuiremos +1 se o fio descendo
da esquerda passar por baixo do fio descendo da direita; atribuiremos –1 se
o oposto for válido. Consideremos, por exemplo, essa trança:
12. Note que o número total de sobreposições da trança obtida pela adição de
duas tranças será igual à soma dos números totais de suas sobreposições.
Portanto, a adição de duas tranças com números totais de sobreposições 0
será novamente uma trança com número total de sobreposições 0. O
subgrupo comutador B' n consiste de todas essas tranças. Num certo modo
preciso, é a parte não abeliana máxima do grupo de tranças Bn.
1. Algumas pessoas especularam que Fermat pode ter blefado quando deixou
aquela anotação na margem da página. Não acho; considero que ele
cometeu um erro honesto. Seja como for, devemos ser gratos a ele; sua
pequena anotação na margem tem tido um efeito positivo no
desenvolvimento da matemática.
= m'/n'. Esse processo pode ser repetido, se necessário, até alcançarmos dois
números que são relativamente primos.
Assim, assumamos que
e3–
No entanto,
e–
e–
I ○ I = I, I ○ S = S, S ○ I = S,
e a mais interessante:
S ○ S = I.
De fato, se trocarmos
e–
7. Alguns anos antes, Niels Henrik Abel demonstrou que havia uma equação
quíntica que não podia ser resolvida por radicais (Joseph-Louis Lagrange e
Paolo Ruffini também fizeram contribuições importantes). No entanto, a
demonstração de Galois foi mais genérica e mais conceituai. Para obter
mais detalhes a respeito dos grupos de Galois e da rica história da solução
de equações polinomiais, ver Mario Livio, The Equation Wat Couldn’t Be
Solved, Simon & Schuster, 2005.
2 nas quais
1+ω+ω 2 = 0,
ω 2 = – 1 – ω.
.
Observamos acima que os elementos do grupo de Galois do corpo de
decomposição de equações x 2 = 2 permutam as duas soluções dessa
equação,
e–
(x 1 – x 2) 2(x 1 – x 3) 2(x 2 – x 2) 2,
, e sua inversa.
10. Por exemplo, não é difícil demonstrar que, para uma típica equação
quíntica (isto é, uma com n = 5), para a qual temos cinco soluções, o
grupo de Galois é o grupo de todas as permutações desses cinco números.
Uma permutação é um rearranjo de um para um desses números, como
o exibido na figura abaixo.
Nessa permutação, a solução x 1 corresponde a qualquer uma das cinco
(possivelmente a si mesma); assim, temos cinco alternativas. Então, x 2
corresponde a uma das quatro soluções restantes; x 3 corresponde a uma
das três restantes, e assim por diante. Portanto, no total, existem 5 · 4 · 3 ·
2 · 1 = 120 permutações, e, assim, o grupo de Galois consiste de 120
elementos.
4. Ver Andrew Wiles, “Modular elliptic curves and Fermat’s last theorem”.
Em: Annals of Mathematics, vol. 141, 1995, pp. 443–551; De Richard
Tay lor e Andrew Wiles, “Ring-theoretic properties of certain Hecke
algebras”. Em: Annals of Mathematics, vol. 141, 1995, 553–572.
5. Se N não for um número primo, então poderemos anotar N = xy, para dois
números naturais x e y entre 1 e N – 1. Então, x não tem um módulo N
inverso multiplicativo. Em outras palavras, não existe uma número natural
z entre 1 e N – 1 de modo que
xz = 1 módulo N.
xyz = y módulo N.
a·b=1 módulo p.
a · c 1 = a · c 2 = n módulo p.
No entanto, temos
a · c 1 – a · c 2 = a · (c 1 – c 2) = 0 módulo p.
a · b = 1 módulo p.
10. Observemos que, para qualquer número a cujo valor absoluto é menor que
1, temos
como
11. Sigo a apresentação desse resultado dada em Richard Tay lor, “Modular
arithmetic: driven by inherent beauty and human curio-sity ”. Em: The
Letter of the Institute for Advanced Study, verão de 2012, pp. 6–8.
Agradeço a Ken Ribet pelos comentários úteis. De acordo com o livro
Dirichlet Series and Automorphic Forms, Springer-Verlag, 1971, de autoria
de André Weil, a equação cúbica que estamos discutindo neste capítulo foi
apresentada por John Tate, depois de Robert Fricke.
O grupo SL2
13. Essa figura foi criada por Lars Madsen e é publicada com sua permissão.
Agradeço a Ian Agol por indicá-la para mim e pela proveitosa discussão.
14. Ver, por exemplo, de Neal Koblitz, “Elliptic curve cry ptosy stems”. Em:
Mathematics of Computation, vol. 49, 1987, pp. 203–209; e, de I. Blake, G.
Seroussi e N. Smart, Elliptic Curves in Cry ptography, Cambridge
University Press, 1999.
15. Em geral, isso é válido para uma finidade de números primos. Também há
um par adicional de invariáveis ligadas à equação cúbica (o assim
chamado condutor) e à forma modular (o assim chamado nível), e essas
invariáveis também são preservadas nessa correspondência. Por exemplo,
no caso da equação cúbica que consideramos, as duas invariáveis são
iguais a 11. Também noto que todas as formas modulares que aparecem
aqui têm o termo constante zero, o coeficiente b1 na frente de q é igual a
1, e todos os outros coeficientes bn com n > 1 são determinados pelo bp
correspondente aos números primos p.
17. Goro Shimura, “Yutaka Taniy ama and his time. Very personal
recollections”. Em: Bulletin of London Mathematical Society, vol. 21,
1989, p. 193.
19. Ver a nota de rodapé, nas pp. 1302–103, no seguinte artigo sobre a rica
história da conjectura: Serge Lang, “Some history of the Shimura–
Taniy ama conjecture”. In: Notices of the American Mathematical
Society, vol. 42, 1995, pp. 1301–1307. Disponível on-line, em:
http://goo.gl/CTzKLh
13. Ibid., p. 253. A ideia é que, dada uma curva sobre um corpo finito,
consideramos as assim chamadas funções racionais nela. Essas funções
são proporções de dois polinômios (note que essa função possui um “polo”
– isto é, seu valor é indefinido – em cada ponto da curva na qual o
polinômio que aparece no denominador possui um zero). Constata-se que o
conjunto de todas as funções racionais numa dada curva é análogo em
suas propriedades ao conjunto de números racionais, ou a um corpo
numérico mais geral, como aqueles que discutimos no capítulo 8.
Para explicar isso com mais precisão, consideremos as funções racionais
nas superfícies de Riemann; a analogia ainda será válida. Por exemplo,
vamos analisar a esfera. Utilizando a projeção estereográfica, podemos
visualizá-la como uma união de um ponto e do plano complexo (podemos
considerar o ponto extra como um ponto que representa o infinito).
Denotemos por t = r + s
15. Existiam três conjecturas de Weil, que foram demonstradas por Bernard
Dwork, Alexander Grothendieck e Pierre Deligne.
a1 + a2 = a2 + a1.
X.
Agora observe que, se tivermos uma trajetória fechada na superfície de
Riemann X, começando e terminando num ponto P, em X, podemos pegar
cada ponto de X' na fibra em P, e “seguilo” ao longo dessa trajetória,
Quando voltarmos, alcançaremos, em geral, um ponto diferente na fibra
em P, e, assim, obteremos uma transformação dessa fibra. Esse é o
fenômeno da monodromia, que será discutido com mais detalhes no
capítulo 15. Essa transformação da fibra pode ser rastreada em relação a
um elemento do grupo de Galois. Portanto, obtemos um vínculo entre o
grupo fundamental e o grupo de Galois.
Capítulo 10 – No loop
7. Para obter mais detalhes, ver, por exemplo, de Shing-Tung Yau e Steve
Nadis, The Shape of Inner Space, Basic Books, 2010.
10. Ver, por exemplo, de Brian Greene, The Elegant Universe, Vintage Books,
2003.
14. O plano tangente é o mais próximo da esfera entre todos os planos que
passam por esse ponto. Só a toca nesse único ponto; se movermos esse
plano, mesmo um pouco (de modo que ainda passe pelo mesmo ponto fixo
na esfera), obteremos um plano que cruza a esfera em mais pontos.
denotam dois vetores numa álgebra de Lie (que é um espaço vetorial, como
explicado na nota anterior), então o resultado dessa operação neles é
denotado por
possui orientação positiva (isso pode ser expresso pela assim chamada regra da
mão direita).
20. Por exemplo, a álgebra de Lie do grupo de Lie SO(3) é o espaço vetorial
tridimensional. Portanto, a álgebra de Lie do grupo de loops de SO(3)
consiste de todos os loops nesse espaço tridimensional. No espaço vetorial,
o produto vetorial fornece uma estrutura de álgebra de Lie desses loops.
Portanto, dados dois loops, produzimos um terceiro, embora não seja fácil
descrever o que é em palavras.
1. Eis uma construção precisa: vamos supor que temos um elemento do grupo
de loops de SO(3), que é uma coleção {g(φ)} de elementos de SO(3),
parametrizado pelo ângulo φ (a coordenada no círculo). Por outro lado,
um elemento do espaço de loops da esfera é uma coleção {f(φ)} de pontos
da esfera, parametrizado por φ. Dados essas coleções {g(φ)} e {f(φ)},
construímos outro elemento do espaço de loops da esfera enquanto a
coleção {g(φ) (f(φ))}. Isso significa que aplicamos a rotação g(φ) ao ponto
f(φ) da esfera, independentemente para cada φ. Portanto, vemos que cada
elemento do grupo de loops de SO(3) origina uma simetria do espaço de
loops da esfera.
2. Tempos depois, soube que Gelfand, que colaborou com cardiologistas (pelo
mesmo motivo que Yakov Isaevich trabalhou com urologistas), também
utilizou com sucesso essa abordagem na pesquisa médica.
em V1, e
aN = 1.
x = y módulo p
aΦ(n) = 1 módulo n.
Logo, temos
a(p–1)(q–1) = 1 módulo pq
a 1+m(p–1)(q–1) = a módulo pq
b = ae módulo n.
de = 1 + m(p – 1)(q – 1)
bd módulo n.
b = ae módulo n.
bd módulo n.
32 = 9 = 2 módulo 7, 42 = 16 = 2 módulo 7.
Note que 4 é –3 em relação à aritmética módulo 7, pois 3 + 4 = 0 módulo
7. Assim, as duas soluções da equação x 2 = 2 são os inversos um do outro,
exatamente como
(no entanto, temos de lembrar que esses não são os mesmos números que
juntamos aos números racionais antes).
Obtemos um novo corpo finito, que consiste de números da forma
a+b
,
em
. O mesmo é válido para qualquer número primo p, de modo que a
equação x 2 = 2 não possui soluções no corpo finito {0, 1, 2, …, p – 1}.
10. No presente contexto, voltar significa encontrar, para uma dada função f,
um feixe, de modo que, para cada ponto s em nossa variedade, o traço de
Frobenius na fibra em s é igual ao valor de f em s. Qualquer número dado
pode ser realizado como traço de uma simetria de um espaço vetorial. O
difícil é combinar esses espaços vetoriais numa coleção coerente,
satisfazendo as propriedades de um feixe.
Neste livro, para simplificar a exposição, não fazemos uma distinção entre
um grupo de Lie e sua “complexificação”.
12. O motivo pelo qual a monodromia assume valores no grupo circular deve-
se à conhecida fórmula de Euler
que Richard Fey nman chamou de “urna das fórmulas mais notáveis,
quase espantosas de toda a matemática”. Desempenhou um papel
importante no romance de Yoko Ogawa The Housekeeper and the
Professor, Picador, 2009. Outro caso especial, não menos importante, é
.
Isso significa que o círculo unitário no plano complexo com a coordenada
t, em que a solução de nossa equação diferencial é definida, consiste de
todos os pontos da forma
em tn. O resultado é
1. Você pode estar querendo saber o que aconteceu entre 1991 e 2003. Bem,
neste livro, meu principal objetivo é falar a respeito dos aspectos do
Programa de Langlands que considero mais interessantes e como foram
realizadas as descobertas nessa área, das quais tive a sorte de participar.
Não estou procurando relatar a história completa da minha vida até hoje.
No entanto, se você estiver curioso, durante esses anos, trouxe minha
família da Rússia para os Estados Unidos; mudei-me para Berkeley, na
Califórnia; apaixonei-me e me desapaixonei, casei e me divorciei, orientei
diversos alunos de doutorado, viajei e palestrei em todo o mundo,
publiquei um livro e dezenas de monografias. Continuo tentando desvendar
os mistérios do Programa de Langlands em diferentes domínios: da
geometria aos sistemas integráveis, dos grupos quânticos à física.
Guardarei os detalhes dessa parte da minha jornada para outro livro.
2. Ver: http://goo.gl/BqRZeS
7. Esse grupo de calibre SU(3) não deve ser confundido com outro grupo
SU(3) discutido no capítulo 2, que foi utilizado por Gell-Mann e outros para
classificar partículas elementares (é denominado “grupo de sabor”). O
grupo de calibre SU(3) tem a ver com a característica dos quarks que se
denomina “cor”. Constatase que cada quark pode ter três cores diferentes,
e o grupo de calibre SU(3) é responsável pela troca dessas cores. Por
causa disso, a teoria de calibre que descreve a interação dos quarks é
denominada cromodinâmica quântica. David Gross, David Politzer e
Frank Wilczek ganharam o Prêmio Nobel pela descoberta impressionante
da assim chamada liberdade assintótica na cromodinâmica quântica (e
outras teorias de calibre não abelianas), que ajudou a explicar o
comportamento misterioso dos quarks.
8. Uma resolução que foi muito discutida recentemente é a ideia de que cada
uma dessas variedades origina seu próprio universo, com suas próprias leis
científicas. Isso se alia com a versão do princípio antrópico: nosso universo
é selecionado entre essas variedades pelo fato de que as leis científicas
nelas permitem vida inteligente (de modo que a pergunta “por que nosso
universo é assim?” possa ser respondida). No entanto, essa ideia, que
recebeu o nome de “paisagem da teoria das cordas” ou “multiverso”, foi
recebida com muito ceticismo nas áreas científica e filosófica.
11. Para obter mais detalhes a respeito de branas, ver, de Lisa Randall, Warped
Passages: Unraveling the Mysteries of the Universe’s Hidden Dimensions,
Harper Perennial, 2006; sobretudo, o capítulo IV.
14. Para obter mais detalhes sobre a T-dualidade, ver o capítulo 7 do livro de
Yau e Nadis mencionado na nota 6.
15. Para obter mais detalhes sobre a conjectura SYZ, ver o capítulo 7 do livro
de Yau e Nadis mencionado na nota 6.
19. Edward Frenkel, “Gauge theory and Langlands duality ”. Em: As-térisque,
vol. 332, 2010, pp. 369–403. Disponível on-line em: http:
//goo.gl/8zmlQP
20. Henry David Thoreau, A Week on the Concord and Merrimack Rivers,
Penguin Classics, 1998, p. 291.
11. Kurt Gödel, Collected Works, volume III, Oxford University Press, 1995, p.
320.
13. Roger Penrose, Shadows of the Mind, Oxford University Press, 1994, seção
8.47.
15. Edward Frenkel, Andrey Losev e Nikita Nekrasov, “Instantons bey ond
topological theory I”. Em: Journal of the Institute of Mathematics of
Jussieu, vol. 10, 2011, 463–565; no artigo, há uma nota de rodapé
explicando que a fórmula (5.7) desempenhou a função da “fórmula do
amor”, em Rites of Love and Math.
19. Hervé Lehning, “La dualité entre l’amour et les maths”. Em: Tangente Sup,
vol. 55, maio-junho de 2010, pp. 6–8. Disponível on-line, em:
http://ritesofloveandmath.com
20. Utilizamos o poema To the Many, de Anna Akhmatova, grande poeta russa
da primeira metade do século XX.
22. Carta de Einstein para Phy llis Wright, 24 de janeiro de 1936, como citada
no livro de Walter Isaacson Einstein: His Life and Universe, Simon &
Schuster, 2007, p. 388.
23. David Brewster, Memoirs of the Life, Writings, and Discoveries of Sir
Isaac Newton, vol. 2, Adamant Media Corporation, 2001 (reimpressão da
edição de 1855 de Thomas Constable and Co.), p. 407.
Epílogo
1. Edward Frenkel, Robert Langlands e Ngô Báo Châu, “Formule des Traces
et Fonctorialité: le Début d’un Programme”. Em: Annales des Sciences
Mathématiques du Québec 34(2010) 199–243. Disponível on-line, em:
http://goo.gl/gU16NE
Círculo. Uma variedade que pode ser descrita como o conjunto de todos os
pontos equidistantes de um determinado ponto no plano.
Curva sobre corpo finito. Um objeto algébrico que inclui todas as soluções de
uma equação algébrica de duas variáveis (como uma equação cúbica), com
valores num corpo finito de p elementos e todas as suas extensões.
Dualidade. Equivalência entre dois modelos (ou teorias), de acordo com uma
mudança prescrita de parâmetros e objetos.
Esfera. Uma variedade que pode ser descrita como o conjunto de todos os pontos
num espaço tridimensional plano que são equidistantes de um determinado ponto.
Feixe. Uma regra que atribui um espaço vetorial para cada ponto de uma
determinada variedade, satisfazendo certas propriedades naturais.
Feixe automorfo. Um feixe que substitui uma função automorfa na relação de
Langlands geométrica, na coluna direita da pedra de Roseta de Weil.
Grupo de Lie. O espaço que também é uma variedade, de modo que a operação
no grupo é uma aplicação lisa.
Número primo. Um número natural que não é divisível por qualquer número
natural diferente de si mesmo e de 1.
Teoria quântica de campos. Esse termo pode se referir a dois conceitos distintos.
Em primeiro lugar, pode ser um ramo da física que estuda modelos de interações
de partículas quânticas e campos. Em segundo, um modelo específico desse tipo.
Variedade. Uma forma geométrica lisa, tal como um círculo, uma esfera ou a
superfície de uma rosca.
1a edição Novembro de 2014
papel de miolo Lux Cream 70g/m 2
papel de capa Cartão supremo 20g/m 2
tipografia typesetter Linux Libertine
BooksInBy tes