Vida Artificial

Uma bactria sinttica foi produzida no ano passado pelo bilogo Craig Venter. Ele
seqenciou o genoma de uma bactria e nos anos seguintes seqenciou o mesmo
genoma de forma artificial, sinttica, e implantou em uma membrana celular dando
origem a uma vida microbiolgica.

evidente que isso no significa uma replicao dos processos fsico/qumicos que
deram origem a vida. Mas elucida os componentes responsveis pela sua existncia.

Qumicos deram um passo importante na criao de formas de vida artificial a partir do

zero. Usando uma reao qumica, eles criaram membranas celulares de automontagem,
envelopes que contm estruturas e apoio para as reaes necessrias para a vida.

Uma das nossas metas mais ambiciosas a longo prazo tentar fazer uma clula
artificial, uma unidade que viva sinteticamente, um organismo vivo a partir de
molculas sem vida que nunca entraram em contato com algum organismo vivo,
explicou Neal Devaraj, professor de qumica na Universidade da Califrnia, EUA.
Presumivelmente, isso ocorreu em algum momento no passado. Caso contrrio, a vida
no existiria.

Montando a membrana celular, componente essencial da vida na Terra, sem nenhum

precursor biolgico, os pesquisadores esperam iluminar a origem da vida. Ns ainda
no entendemos este passo fundamental em nossa existncia, que como a matria no
viva se transformou em matria viva, disse Devaraj.

Molculas que compem as membranas celulares tm cabeas que se misturam

facilmente com gua e caudas que a repelem. Na gua, elas formam uma dupla camada
com as cabeas para fora e caudas para dentro, uma barreira que retm o contedo da
clula.

Devaraj e o estudante Itay Budin, da Universidade Harvard, criaram molculas similares

com uma reao que une duas cadeias de lipdios. A natureza utiliza enzimas complexas
que so incorporadas em membranas para unir os lipdios, tornando difcil entender
como as primeiras membranas surgiram.

No nosso sistema, ns usamos uma espcie de catalisador primitivo, um on de metal

muito simples, disse Devaraj. A reao em si completamente artificial. No h

1
equivalente biolgico desta reao qumica. E assim que voc poderia ter uma formao
de membranas.

Eles criaram as membranas sintticas a partir de uma emulso aquosa de um leo e um

detergente. Sozinhas, elas so estveis. Eles adicionaram ons de cobre, vesculas
resistentes e tbulos comearam a brotar as gotculas de leo. Aps 24 horas, as
gotculas de leo se foram, consumidas pelas membranas celulares de automontagem.

Embora outros cientistas tenham anunciado recentemente a criao de uma clula

sinttica, s foi feito o seu genoma artificial. Para a vida artificial plena, necessrio a
unio de ambos os genomas de um portador de informao e uma estrutura
tridimensional para abrig-lo.

O valor real desta descoberta pode residir em sua simplicidade. A partir de precursores
disponveis comercialmente, os cientistas precisam apenas de um passo para a criao
de cada cadeia lipdica. [ScienceDaily]

Mark Bedau considerado um dos especialistas mais reconhecidos na rea da biologia

de sntese e vida artificial. Professor no Reed College (Portland, EUA), ele foi criado
em um ambiente filosfico - seu pai era um filsofo -, e ele obteve seu doutorado em
filosofia na Universidade de Berkeley, Estados Unidos. Ele editor-chefe do peridico
Artificial Life e publicou vrios livros sobre o assunto. Nesta entrevista, realizada por
Remy Lestienne por email, Bedau trata sobre o campo da emergncia da vida e as
questes que envolvem a criao de vida artificial e sobre os desafios da biologia de
sntese. "Nossos poderes de criar novas formas de vida esto em progresso e em
desenvolvimento, de modo que cada vez mais urgente exercer essas capacidades de
uma maneira prudente e responsvel", pondera Bedau.

A emergncia criativa de formas de vida mais complexas, a partir de formas mais

simples ao longo da histria da vida sobre a Terra, um fato inegvel. Contudo, at hoje
ningum conhece os mecanismos precisos graas aos quais isso aconteceu. De fato,
ningum sabe at como isso pode ter acontecido, em princpio, por que ningum sabe
como construir um modelo computacional bottom-up que mostre o crescimento correto
da complexidade mxima. De modo que, por enquanto, a emergncia criadora
permanece um mistrio. Pessoalmente, penso na evoluo biolgica como um processo
essencialmente bottom-up, e as redes de causas implicadas como certamente complexas
o bastante para gerar uma multido de estruturas emergentes fracas. E uma dessas

2
estruturas a emergncia criativa. Se estou certo sobre isso, ento a emergncia criativa
no envolve emergncia de tipo forte. A emergncia fraca suficiente. Dizer isso
tambm confessar minha ignorncia, pois no sei exatamente qual tipo de emergncia
fraca est envolvida na emergncia criativa. Um teste para saber se voc compreende a
emergncia criativa mostrar se voc capaz de construir um modelo bottom-up
manifestando as caractersticas da emergncia criativa. Por enquanto, no posso fazer
isso, e hoje ningum pode. Criar um modelo computacional bottom-up manifestando
propriedades da emergncia criadora como o Santo Graal para todos os proponentes
da emergncia fraca.

Mas se se amplia bastante a viso, ento a questo da abertura torna-se controversa. A

cincia contempornea diz que o universo real finito; ele ocupa somente uma
quantidade finita de espao, e ele existiu somente por uma quantidade finita de tempo.
Assim, o universo inteiro tal como ele existe um sistema fechado. Em consequncia
disso, todo exemplo concreto de emergncia fraca tem que existir nesse sistema
fechado, e a abertura no pode estar em uma condio necessria da emergncia. Uma
ilustrao bastante simples desse ponto dado pelos autmatos celulares tal como o
chamado Game of Life. Estes autmatos celulares so sistemas fechados, mas mostram
muitos comportamentos caractersticos da emergncia fraca (e talvez tambm de outros
tipos de emergncia). Assim, a abertura certamente no necessria para a emergncia
fraca (e pelas mesmas razes, a estocasticidade tambm no necessria, como vamos
discutir abaixo).

Atitudes gerais e a viso tradicional

muito comum entre os bilogos a idia de que definir vida um empreendimento

ftil, ainda que esta negao completa e irrefletida da prpria questo no constitua o
que chamaremos abaixo de viso tradicional. Embora seja possivelmente interessante,
dificilmente necessrio fazer-se um levantamento sistemtico com questionrios entre
os pesquisadores na bioqumica, citologia, biologia molecular e biologia e evolutiva,
para observar-se que a maioria dos cientistas se mostra extremamente ctica no que
concerne s tentativas de se propor definies claras de seres vivos - seus objetos de
estudo. Eles simplesmente afirmam (com alguma justificativa) que uma definio no
tem qualquer utilidade na resoluo dos vrios quebra-cabeas experimentais da
pesquisa normal. Entrem num laboratrio de DNA ou num departamento de biologia
molecular, participem de um seminrio de pesquisa e perguntem qual definio de vida

3
o pesquisador toma como seu ponto de partida; vocs se defrontaro com um sorriso
indulgente.

A promessa bsica da pesquisa sobre Vida Artificial[8] a de usar os novos recursos

computacionais (ou as novas tcnicas de robtica, ou a nova biotecnologia) para
construir formas completamente novas e genunas de vida. Desse modo, ela pretende
superar o que Carl Sagan chamou de desvantagem fundamental dos bilogos, o fato de
que eles conhecem, basicamente, apenas um exemplo particular de vida, a saber, a vida
na Terra, que constitui fundamentalmente `a mesma' forma de vida a um nvel
bioqumico e metablico, governada pelos mesmos mecanismos de herana, os mesmos
tipos de padres metablicos etc. Mediante a construo de exemplos inteiramente
novos de vida, a pesquisa sobre Vida Artificial promete enriquecer o nosso zoolgico de
formas de vida e, assim, ser capaz de explicar ou compreender o que verdade, em
termos universais, acerca da vida e o que so simplesmente aspectos particulares,
contingentes, da forma de vida que evoluiu na Terra. Ns poderamos, por exemplo,
estender a noo de que toda vida requer clulas com DNA e RNA para uma noo de
vida como sistemas de componentes que so capazes de autoreplicao, podendo ou no
ser baseados numa qumica orgnica de cadeias carbnicas[9].

(i) A vida como tal no pode ser definida; da porque uma definio clara no
encontrada.

(ii) A questo da definio de vida no importante para a biologia.

Esta definio pode ser formulada por meio de uma generalizao de proposies acerca
dos tipos de entidades que evoluem por seleo natural. A contribuio de Maynard
Smith (ver acima) pode ser generalizada desta maneira. De acordo com esta definio, a
vida uma propriedade de populaes de entidades que (1) se autoreproduzem; (2)
herdam caractersticas de seus predecessores por um processo de transferncia de
informao gentica e, assim, de caractersticas hereditrias (implicando uma distino
entre gentipo e fentipo); (3) apresentam variao em virtude de mutaes aleatrias
(no gentipo); e (4) tm a propenso de deixar descendentes determinada pelo sucesso
de sua combinao de propriedades (herdadas como gentipo e manifestas como
fentipo) frente ao desafio das presses seletivas encontradas no ambiente.

Esta formulao pode se tornar ainda mais abstrata se enfatizarmos que a referncia a
`gentipo' e `fentipo' no implica necessariamente a idia de genes particulares feitos

4
de DNA ou organismos feitos de clulas. Trata-se de uma referncia a quaisquer tipos
de `replicadores' e `interagentes'. O termo `replicador' foi originalmente cunhado pelo
zologo Richard Dawkins, ao conceber que a evoluo ocorre principalmente pela
seleo ao nvel dos genes (replicadores), que pelo prprio processo de replicao
preservam sua estrutura ao longo do tempo[32]. Para Dawkins, a vida na Terra se
iniciou com o surgimento, na sopa primordial, de molculas que podiam se replicar, isto
, catalisar a produo de seu prprio tipo. Isto teria conduzido evoluo de clulas e
organismos multicelulares como `mquinas de sobrevivncia' para seus genes
replicadores, ou seja, as seqncias perptuas de informao escritas nos nucleotdeos
das molculas de DNA. Assim, a caracterstica definidora da vida para Dawkins
corresponde seleo natural de replicadores cada vez mais eficientes[33].

Logo no incio da minha carreira vi como as simulaes informticas com

computadores podem revelar estruturas emergentes nas redes complexas regidas por
leis causais, de modo que inclu simulaes com computadores nas ferramentas
filosficas que costumava usar. O valor epistmico das simulaes em computadores
capturado pela noo de emergncia fraca - que a caracterstica costumeira e evidente
das qualidades emergentes aparecendo nas simulaes informticas complexas de tipo
bottom-up. Mais tarde, completei minhas ferramentas com uma grande quantidade de
dados empricos obtidos nas experimentaes nos laboratrios midos, embora minha
contribuio pessoal seja somente o programa (software) para modelizar os dados
experimentais e predizer quais provas experimentais novas podem revelar melhor as
respostas emergentes. Estas experincias com computadores, que podemos caracterizar
como feitas por um "rob cientista", permitem engenhar sistemas bioqumicos
complexos que mostram as propriedades emergentes desejadas. Um alvo era planejar
ou "programar" o que chamamos de protoclulas, isto , sistemas qumicos mnimos, os
mais simples possvel, embora bastante complexos para mostrar todas as caractersticas
chave dos sistemas vivos. Sendo muito simples, estes sistemas qumicos mnimos
podem revelar muito sobre as caractersticas essenciais dos sistemas vivos, o que
interessa aos filsofos. Naturalmente, o projeto de fabricar novas formas de vida em
laboratrio levanta um grande nmero de assuntos ticos e sociais importantssimos.
Portanto, fui tambm envolvido em iniciativas intelectuais e sociais que promovem
prticas relevantes da chamada responsabilidade social cientfica.

5
A emergncia criativa de formas de vida mais complexas, a partir de formas mais
simples ao longo da histria da vida sobre a Terra, um fato inegvel. Contudo, at
hoje ningum conhece os mecanismos precisos graas aos quais isso aconteceu. De
fato, ningum sabe at como isso pode ter acontecido, em princpio, por que ningum
sabe como construir um modelo computacional bottom-up que mostre o crescimento
correto da complexidade mxima. De modo que, por enquanto, a emergncia criadora
permanece um mistrio. Pessoalmente, penso na evoluo biolgica como um processo
essencialmente bottom-up, e as redes de causas implicadas como certamente complexas
o bastante para gerar uma multido de estruturas emergentes fracas. E uma dessas
estruturas a emergncia criativa. Se estou certo sobre isso, ento a emergncia criativa
no envolve emergncia de tipo forte. A emergncia fraca suficiente. Dizer isso
tambm confessar minha ignorncia, pois no sei exatamente qual tipo de emergncia
fraca est envolvida na emergncia criativa. Um teste para saber se voc compreende a
emergncia criativa mostrar se voc capaz de construir um modelo bottom-up
manifestando as caractersticas da emergncia criativa. Por enquanto, no posso fazer
isso, e hoje ningum pode. Criar um modelo computacional bottom-up manifestando
propriedades da emergncia criadora como o Santo Graal para todos os proponentes
da emergncia fraca.

Jean Weissenbach, o diretor do instituto de pesquisa Genoscope em Evry, Frana,

disse que aqueles que pretendem efetivamente criar vida a partir de matria
inerte, apenas fazem fico cientfica. Voc compartilha dessa opinio? Ou, ao
contrrio, ser que esse objetivo lhe parece alcanvel num futuro no to
distante? Quais so, a seu ver, as condies mnimas necessrias para alcanar esse
objetivo - isto , criar um sistema capaz de metabolizar e reproduzir - num sistema
simples e artificial?

Estou convencido que possvel criar novas formas de vida nos laboratrios. Essas
formas de vida sero provavelmente muito mais simples que qualquer organismo vivo
existente, mas isso no um problema. No ser uma surpresa para mim se isso
acontecer durante nossa vida, ou mesmo na prxima dcada. Contudo, difcil predizer
o progresso da cincia e, por enquanto, somente um punhado de grupos de pesquisa no
mundo tem recursos para trabalhar sobre protoclulas. Assim, ficaria surpreso se o
objetivo de criar vida em laboratrio no se realizasse daqui h algumas geraes.

6
Os pesquisadores no campo de protoclulas mais ou menos compartilham um consenso
quanto definio das condies necessrias para uma vida qumica mnima. Chamo de
modelo Program-Metabolism-Container (PMC). um modelo qumico funcional que
no se preocupa com os detalhes tais como a natureza dos materiais qumicos
envolvidos, mas, ao contrrio, se concentra em certas funes qumicas, tais como a
agregao, o metabolismo ou o isolamento espacial. Estas funes qumicas podem
ocorrer de diversas maneiras, e qualquer realizao qumica correta da estrutura
funcional PMC seria um exemplo de vida qumica mnima.

O modelo PMC considera que uma vida qumica mnima se estabelece em todo sistema
qumico desde que trs funcionalidades qumicas crticas estejam integradas, de tal
maneira que cada uma sustente as outras. A primeira funcionalidade qumica (P, para
"programa") coloca as propriedades qumicas do sistema sob o controle de uma
informao hereditria, armazenada no sistema e que pode ser modificada no processo
de reproduo. A segunda funcionalidade qumica (M, para "metabolismo") consiste em
extrair energia livre do meio ambiente e digerir recursos disponveis no meio ambiente
para sustentar e corrigir o sistema, o fazer crescer e finalmente reproduzir-se. A terceira
funcionalidade (C, para "contedo") assegura que o sistema mantenha a sua identidade
ao longo do tempo atravs da localizao de todos os seus componentes, da
concentrao dos princpios reagentes e da proteo das operaes qumicas de
parasitas moleculares e venenos.

No modelo PMC, os termos "programa", "metabolismo" e "contedo" devem ser

entendidos por suas funcionalidades, com um mnimo de constrangimento sobre as suas
realizaes qumicas. As funcionalidades P, M e C no so somente contguas no
espao; elas so quimicamente integradas e se sustentam mutuamente, de modo que o
processo contnuo de cada componente depende do processo contnuo das duas outras
componentes. Deste modo, a PMC integrada apresenta um tipo de cooperao qumica.
O programa envolvido no sistema pode sustentar a trade funcional quando sequncias
ou estruturas de biopolmeros tm propriedades catalticas ou so usadas como matria
estrutural de um invlucro. De modo semelhante, um metabolismo pode abastecer a
produo de pedaos constitutivos de paredes e de programas. As paredes celulares
podem atuar como catalisadores de vrias maneiras; por exemplo, as condies
termodinmicas em um agregado de lipdeos ou na interface com um agregado de
molculas d'gua, que diferem das condies termodinmicas na gua simples, podem

7
ser catalticas. Esses exemplos mostram como cada componente de um sistema PMC
ajuda na operao das outras, e consequentemente, ajuda a assegurar o processo
contnuo da trade PMC inteira.

Geometria Simpltica e Fsica-Matemtica

Em anos recentes, a colaborao entre a fsica terica e a matemtica tem sido extremamente
frutfera, em ambas as direes. Vrios resultados profundos em fsica matemtica (e.g. em
teoria de cordas topolgicas, teoria de gauge super-simtrica) e geometria (e.g. em topologia
simpltica, geometria de Poisson, geometria algbrica enumerativa) foram obtidos como
resultado deste esforo comum. Descrevemos aqui, brevemente, alguns pontos dessa
colaborao, que evidencia o potencial de interao entre as pesquisas em geometria simpltica
e teoria de cordas descritas nesse projeto.

A geometria simpltica, alm de oferecer o aparato geomtrico para a descrio da mecnica

hamiltoniana clssica, possui papel fundamental na fsica terica moderna, em especial na teoria
de cordas. De fato, variedades de Calabi-Yau (tipos especiais de variedades Kahler)
emergiram como a geometria relevante para a teoria de cordas, em particular na teoria
topolgica de Witten [12]; neste contexto, o chamado modelo A depende essencialmente da
geometria simpltica da variedade de Calabi-Yau. Uma importante dualidade descoberta por
fsicos, conhecida como simetria-espelho, revela uma intima relao entre as geometrias
simpltica e complexa de certos pares de variedades Calabi-Yau. A formulao desta dualidade
devida a Kontsevich [8] se expressa, de forma mais precisa, atravs da equivalncia entre a
categoria de Fukaya de subvariedades Lagrangianas (com a homologia de Floer descrevendo
morsmos) no lado simpltico, e a categoria derivada de feixes coerente no lado complexo.
Vrios dos invariantes recentemente descobertos em topologia simpltica e dinmica
hamiltoniana, como os invariantes de Gromov-Witten, possuem papel de destaque nessa teoria.
A teoria de cordas tem tambem forte ligao com a geometria de Poisson, tanto do ponto de
vista clssico [3], como na prova da conjectura da formalidade de Kontsevich [9], veja [2].

A geometria complexa generalizada [4, 5], descrita no projeto de geometria simpltica, nica as
geometrias complexa e simpltica, e tem recebido grande ateno dos fsicos por ser til na
formulao e estudo de dualidades em teoria de cordas, ver e.g. [1]. Outras aplicaes
importantes das estruturas complexas generalizadas em fsica-matemtica incluem teoria de
cordas topolgicas [10, 11], a geometria de modelos sigma com uxo [6], modelos sigma super-
simtricos (e.g. [13]), a descrio geomtrica de \branes" em teoria de cordas [7], entre outros.

Teoria das Supercordas

Nathan Berkovits Instituto de Fsica Terica (IFT-UNESP)

8
A obteno de uma descrio unicada de todas as foras fundamentais na natureza um sonho
antigo dos fsicos tericos. Presentemente, a teoria de supercordas o nico modelo quanto-
mecnico consistente para se descrever partculas com interaes gravitacionais e Yang-Mills.
Todas as outras tentativas de se unicar essas foras sofrem de divergncias quanto-mecnicas
nas amplitudes de espalhamento que no podem ser removidas atravs de renormalizao.
Mesmo que a teoria de supercordas no seja a teoria de unicao nal, provavelmente contm
alguns dos ingredientes essenciais de tal teoria. Ela tambm tem propriedades como dualidade,
simetria-espelho, branas, etc. que tm aplicaes para diversas reas de matemtica e fsica.

Um ingrediente das supercordas que crucial para a ausncia de divergncias a super-simetria

de espao-tempo. Entretanto, no formalismo usual de supercordas de Ramond-Neveu-Schwarz
(RNS), os efeitos de supersimetria de espao-tempo so extremamente difceis de se analisar.
Embora exista o formalismo alternativo de Green-Schwarz (GS) para a supercorda onde a
supersimetria de espao-tempo manifesta, o formalismo Green-Schwarz pode ser quantizado
somente no gauge do cone-de-luz, o que reduz tremendamente a sua utilidade.

Durante os ltimos quinze anos, a pesquisa de nosso grupo tem se centrado no entendimento do
papel da supersimetria de espao-tempo na supercorda. Esta pesquisa nos levou a descobrir um
novo formalismo de supercordas onde a supersimetria de espao-tempo manifesta e que pode
ser quantizado em gauges covariantes [1][2]. Porque no sofre dos problemas dos formalismos
RNS e GS, este novo formalismo til para estudar a ausncia de divergncias e outras
propriedades da supercorda, por exemplo, como ela propaga num background Ramond-
Ramond. Algumas linhas de pesquisa associadas ao este novo formalismo incluem amplitudes
de espalhamento, teoria de campos da supercorda, backgrounds Ramond-Ramond, e
quantizao covariante da supermembrana:

Tpicos de Pesquisa

- Amplitudes de espalhamento

Usando os formalismos RNS ou GS, muito complicado calcular amplitudes de espalhamento

quando o nmero de cordas externas e o nmero de loops no sejam pequenos.

Recentemente, foi mostrado como calcular amplitudes multiloop [3][4]. Alem de simplicar a
prova da nitude perturbativa da supercorda, foi possvel provar uma conjetura de dualidade
sobre a aparncia de termos R^4 na aao efetiva IIB [5]. Tambm foi calculada a amplitude de
dois loops em super-espao [6][7] [8], que anteriormente somente foi calculada para particulas
externas bosnicas. No futuro prximo, provavelmente vai ser possvel calcular amplitudes com
mais loops e provar conjeturas de dualidade envolvendo derivadas mais altas dos termos R^4.

- Teoria de campos da supercorda

9
Usando intuio [9] vindo do novo formalismo, uma ao da teoria de campos da supercorda
aberta foi construida [10] que no sofre dos problemas das aes anteriores.

Esta ao foi usada para testar a conjetura de Sen sobre o decaimento no nvel clssico do
tquion [11], e seria interessante extender este anlise para o decaimento no nvel quntico.
Tambm foi construida a ao de teoria de campos para o setor Neveu-Schwarz da supercorda
hetertica [12] e provavelmente vai ser possvel usar esta ao para estudar o decaimento do
tquion hetertico. Seria interessante incluir o setor Ramond na ao hetertica, talvez usando
super-espao N=1 d=4 como no formalismo hbrido.

- Backgrounds Ramond-Ramond

Quantizao da supercorda em backgrounds Ramond-Ramond importante para o estudo de

geometria no-anticommutativa [13][14][15][16] e para testar a conjetura de Maldacena [17].
Porque no possvel descrever backgrounds Ramond-Ramond usando o formalismo RNS, o
novo formalismo o nico que consegue descrever estes backgrounds numa maneira covariante
[18][19][20]. Recentemente foi mostrado que o background AdS_5xS5 consistente no nvel
quntico [21], e junto com Juan Maldacena, foi mostrado que o background AdS_5xS^5 tem
simetrias adicionais que so relacionadas com integrabilidade [22]. Atualmente estamos
estudando com Cumrun Vafa este background no limte de curvatura grande que relacionada
com super-Yang-Mills N=4 d=4 perturbativa [23][24][25].

Talvez v ser possvel relacionar esta supercorda com a twistor-corda construida junto com
Edward Witten que tambm descreve super-Yang-Mills N=4 d=4 [26] [27][28].

- Quantizao covariante da supermembrana

Embora quantizao covariante em dez dimenses suciente para estudar propriedades

perturbativas da teoria das supercordas, se precisa entender melhor a supermembrana em onze
dimenses para poder estudar propriedades no-perturbativas da supercorda. O estudo da
supermembrana usando o novo formalismo com espinores puros foi comeado em [29]. Foi
possvel quantizar covariantemente a superpartcula em d=11 que descreve supergravitao em
d=11, e estamos tentando agora usar esta quantizao para covariantizar o formalismo chamado
M(atrix) theory. Um passo foi feito com Nikita Nekrasov onde calculamos o carter de
spinores puros em d=10 e d= 11 [30] [31]. Tambm foi mostrado com Paul Howe que a
estrutura de super-espao em d=11 naturalmente envolve spinores puros [32].

Geometria Simpltica

Bursztyn (IMPA), Leonardo Macarini (UFRJ)

Introduo

10
Geometria simpltica uma rea clssica da geometria diferencial, com razes na formulao
geomtrica da mecnica hamiltoniana do sculo XIX. Seus avanos recentes, contudo, tm tido
papel central no desenvolvimento de outras reas da fsica e da matemtica, incluindo dinmica,
topologia e geometria algbrica. O projeto aqui delineado descreve as principais linhas de
pesquisa em geometria simpltica no Brasil, incluindo avanos recentes e novas propostas,
assim como suas interaes com outros grupos de pesquisa nacionais bem estabelecidos,
incluindo sistemas dinmicos e teoria ergdica, e geometria diferencial.

1.1. Pesquisadores.

Henrique Bursztyn (IMPA), Leonardo Macarini (UFRJ),

2. Linhas e projetos de Pesquisa

2.1. Dinmica de sistemas Hamiltonianos. Desde os trabalhos seminais de M.

Gromov e A. Floer, estabelecendo tcnicas analticas profundas para entender propriedades de

rigidez em Geometria Simpltica, avanos fundamentais vem sido obtidos nesta rea. Muitos
desses avanos tm revelado uma ainda no bem entendida relao entre invariantes simplticos
e a dinmica de sistemas Hamiltonianos.

O propsito central da linha de pesquisa de L. Macarini o estudo dessa relao.

H tambm um especial interesse no estudo de sistemas dinmicos advindos da rea de

geometria diferencial. Mais precisamente, os seguintes tpicos tm sido estudados:

2.1.1. Hiperfcies simplticamente equivalentes a hiperfcies convexas em fibrados cotagentes.

Em [16] mostramos que hiperfcies simplticamente no-convexas formam um conjunto
bastante grande (do ponto de vista topolgico) comparado aquele dado por hiperfcies
simplticamente equivalentes a hiperfcies em fibrados cotangentes convexas em cada fibra. A
prova utiliza o ndice de Maslov de rbitas peridicas e um argumento de semi-continuidade
inferior da dimenso dos grupos de homologia simpltica filltrada.

2.1.2. Aplicaes de homologia de Floer na dinmica de fluxos de Reeb. Utilizamos em [15]

homologia de Floer para dar estimativas inferiores da entropia topolgica de fluxos de Reeb em
hiperfcies starshaped em fibrados cotangentes sobre variedades racionalmente hiperblicas.

2.1.3. Homologia de contato de estruturas de contato toricas. Em [1], damos exemplos de

infinitas estruturas de contato tericas em S2 S3 com distintas homologias de contato. In
particular, tais estruturas de contato no so equivalentes. Construmos tambm generalizaes
em dimenso maior.

11
2.1.4. Capacidade de Hofer-Zehnder. Nos trabalhos [12, 14] obtemos uma classe ampla de
variedades simplticas com capacidade de Hofer-Zehnder finita. Objetivamos entender melhor
as obstrues para a finitude destes invariantes.

2.1.5. Fluxo de Ricci para fluxos eletromagnticos. Fluxos eletromagnticos so generalizaes

naturais de fluxos geodsicos em geometria diferencial. Em [11] construimos uma deformao
de fluxos eletromagnticos por meio do fluxo de Ricci aplicado a mtrica de Kaluza-Klein
warped associada. Estudamos ento a variao de certos invariantes dinmicos, como a entropia
topolgica.

2.2. Geometria simpltica equivariante e geometria de Poisson. Um tema central em geometria

simpltica o estudo de simetrias, ou aes Hamiltonianas. Em sua verso moderna, tal teoria
teve incio nos trabalhos de Kostant, Soriau e Smale nas dcadas de 1960-70, e tem sido
fundamental no desenvolvimento da geometria simpltica desde ento. Grande parte da
pesquisa recente de Bursztyn focada em aes Hamiltonianas, e nas estruturas geomtricas
que surgem em suas generalizaes recentes.

2.2.1. Geometria de Poisson. Estruturas de Poisson generalizam estruturas simplticas, e

aparecem naturalmente no estudo de simetrias. Um tema importante o estudo de noes
apropriadas de equivalncia e dualidade de variedades de Poisson, em especial da noo de
equivalncia de Morita, advinda da geometria no-comutativa.

Nesta linha seguem os trabalhos [6, 8], alm de [7] para quantizaes por deformao.

2.2.2. Aes Hamiltonianas e aplicaes momento. Interaes entre a geometria simpltica e

novas reas da matemtica e fsica (e.g. grupos qunticos, topologia e teoria de calibre)
estimularam o surgimento de novas verses de aes Hamiltonianas e aplicaes momento a
partir de 1990. Os ltimos anos presenciaram o estudo da geometria destes novos objetos,
visando achar uma descrio que os unifique. Os trabalhos [2, 4] ilustram, e abrem novas
frentes, nesta direo.

2.2.3. Geometria complexa generalizada e supergeometria. Estruturas complexas generalizadas

(introduzidas por Hitchin, em 2003) unificam as geometrias simpltica e complexa. uma nova
rea da geometria com intensa atividade de pesquisa, em especial por suas conexes com a
fsica (e.g. no estudo de supersimetria). O trabalho [5] estuda simetrias e aplicaes momento
em geomeria complexa generalizada, produzindo novas construes e exemplos; em [3], tais
construes so entendidas e generalizadas sob a tica da supergeometria, que fornece
ferramentas ainda inexploradas.

12