Você está na página 1de 55

Introduo Teoria da Ressonncia Harmnica por Onda

Andreia Thomaz
Dirigidas a um pblico de estudantes de ps-graduao em experimental fsica de altas energias, o levantamento
de alguns dos conceitos bsicos em teoria da ressonncia harmnica por onda. O objetivo transmitir uma
sensao geral de que a teoria da ressonncia harmnica por onda atingiu. Uma vez que a escala caracterstica da
teoria ressonncia harmnica por onda se espera que seja perto da escala de Planck, a estrutura de cadeias
provavelmente no pode ser sondada diretamente em experimentos do acelerador. A implicao mais acessvel
experimental da teoria a ressonncia harmnica por onda supersimetria a ou abaixo da escala TeV.


























Contedo
1. Viso geral e Motivao
1,1 Supersimetria
1,2 Ideias bsicas da teoria ressonncia harmnicas por onda
1.3 Uma Breve Histria da Teoria de ressonncia harmnica por onda
1.4 Compactao
1.5 Teorias da Perturbao
1.6 A segunda revoluo das supercordas
1.7 As Origens da simetria de calibre
1.8 Concluso
2. Conceitos Bsicos de teoria da Ressonncia Harmnica por Onda
2.1 Descrio Mundial de linha de uma partcula Ponto
2.3 Condies de contorno
2.4 Quantizao
2.5 O Espectro Onda Grtis
2.6 Nmeros de estados fsicos
2.7 A Estrutura da Teoria de Onda de Perturbao
2.8 Recapitulao
3. Superondas 23
3.1 Teorias O Indicador fixo
3.2 R e setores NS
3.3 Projeo O GSO
3.4 Tipo Ondas II
3.5 Anomalias
3.6 Ondas heterticos
3.7 Dualidade T

4. Da Teoria das Superondas a M 32
Teoria 4.1 M
4.2 Tipo II P-branas
4,3 Tipo Teoria das Superondas IIB
4.4 O D3-Brane e N = teoria de calibre 4
4.5 Concluso
1



Introduo
Foi apresentou-me com um grande desafio: explicar a teoria das ondas em fsica experimental de altas energias.
Isso deve ser possvel, se as metas so realistas. Um dos objetivos dar um sentido geral sobre o que o assunto,
e por isso estou muitos entusiasmada com isso, como uma fsica terica. Talvez voc deve considerar essas
explicativa como uma experincia cultural proporcionando uma janela para o mundo de abstratos fsica terica.
Existe apenas uma mensagem em que estas leituras importante para a pesquisa experimental: baixa energia
supersimetria muito bem motivado, teoricamente, e ele merece o e intenso e o que est sendo feito para
encontrar formas de observ-lo. L outros fatos que so bom saber, no entanto. Por exemplo, consistncia da
teoria quntica e a gravidade uma restrio severa, com consequncias de grande alcance. Como ser explicada,
a teoria da ressonncia harmnica por onda requer supersimetria, e os tericos, portanto, cordas estavam entre a
primeira a descobrir isso. Teorias de ressonncia harmnica por onda supersimtricas so chamadas teorias
superondas harmnicas. Ao mesmo tempo, parecia haver distintas teorias das superondas harmnicas, mas foi
eventualmente percebeu que cada uma delas , na verdade, um caso especial de um limitador completamente a
nico teoria subjacente. Esta teoria ainda no est completamente formulada, e quando , poderamos decidir
que um novo nome apropriado. Seja como for, claro que estou a explorar uma estrutura extraordinariamente
rica, com muitas conexes profundas para vrios ramos de fundamental da matemtica e fsica terica. Qualquer
que seja o estado final desta teoria pode ser, claro que estes estudos j tenham sido uma experincia
recompensadora. Para apreciar plenamente a matemtica subjacente a da teoria das superondas harmnicas
requer uma investimento de tempo e estudo. Muitos tericos que fazem este investimento realmente tornar-se
fisgado por ele, e ento no h como voltar atrs. Bem, voc interpretar desta forma no meu objetivo, j que
voc est envolvido em outras atividades importantes, mas espero que possa transmitir uma ideia de por que
muitos tericos do assunto so to atraente. Para aqueles que desejam estudar o assunto com mais pormenor,
existem duas apresentaes padro dos manuais [1. 2]. O plano dessa tese como se segue: A primeira etapa ser
composto por um no-tcnica geral viso geral do assunto. Ele essencialmente a verso atual do meu colquio
fsica(motivacional). Ele ir descrever alguns dos conceitos bsicos e questes sem detalhes tcnicos. Se for bem
sucedido, os interessados no assunto vai ter material suficiente a voc que est disposto para sentar-se com
algumas das anlises mago da questo bsica que explica o que se entende por um onda relativista, e como seus
modos normais so analisados. Modulo 2 vai apresentar a anlise para a teoria das ondas bosnico. Esta uma
teoria irrealista, com bsons s, mas o seu estudo um passo pedagogicamente til. Trata-se de muitos, mas no
todos, os problemas que surgem para superondas harmnicas . Modulo 3 a extenso para incorporar frmions e
supersimetria descrito. H dois formalismos bsicos para fazer isso (chamado de RNS e GS). Devido ao tempo
de limitaes, apenas a primeira delas ser apresentado aqui, examinar algumas dos desenvolvimentos mais
recentes na velhice. Estes incluem vrios dualidades no perturbativa, a existncia de um limite de 11-
dimensional (chamada teoria-M), e a existncia estendida de objetos de dimensionalidades diversos, chamada P-
branas. Como ser explicado, em particular uma classe de p-branas, chamado de D-branas, desempenha um papel
especialmente importante na pesquisa moderna.










1 .Viso geral e Motivao
Muitos dos principais desenvolvimentos em fsica fundamental do sculo passado surgiram a partir de
identificao e superao das contradies entre as ideias j existentes. Por exemplo, a incompatibilidade das
equaes de Maxwell e galileu invarincia levou Einstein a propor a especial teoria da relatividade. Da mesma
forma, a inconsistncia da relatividade especial com gravidade newtoniana levou-o a desenvolver a teoria da
relatividade geral. Mais recentemente, a reconciliao especial da relatividade com a mecnica quntica levou ao
desenvolvimento da teoria quntica. Estamos agora enfrenta outra crise do mesmo personagem. Ou seja, a
relatividade geral parece ser incompatvel com a teoria quntica. Qualquer tentativa simples de quantizar geral
relatividade conduz a uma teoria normalizada . Em minha opinio, isto significa que a teoria inconsistente e
precisa ser longa e em distncias curtas ou energias elevadas. A forma como o teoria das ondas faz isso dar-se
um dos pressupostos bsicos da teoria quntica, no pressuposto de que as partculas primrias so pontos
matemticos e, em vez de desenvolver uma teoria quntica de objetos de uma dimenso estendidas, chamado
ondas, h muito algumas teorias consistentes deste tipo, mas a teoria das superondas harmnicas uma grande
promessa como uni uma teoria quntica de todas as foras fundamentais, incluindo a gravidade. No h teoria
das ondas harmnicas realista de partculas elementares que podem servir como um novo modelo padro, uma
vez que h muito que ainda no compreendido. Mas que, juntamente com uma compreenso mais profunda da
cosmologia, a meta. Este ainda um trabalho em progresso. Mesmo que a teoria das ondas harmnicas ainda
no est totalmente formulado, e ainda no podemos dar uma descrio detalhada de como o modelo padro das
partculas elementares deve emergir a baixas energias, existem algumas caractersticas gerais da teoria que pode
ser identificado. Estas so caractersticas que parecem ser bastante genrico, independentemente de como os
vrios detalhes sejam resolvidos. A primeira, e talvez mais importante, que a relatividade geral
necessariamente incorporada na teoria. Ele fica modo de longa distncia e muito curtas / energias elevadas, mas
a uma distncia normal e energias est presente em exatamente a forma proposta por Einstein. Este significado,
porque est surgindo no mbito de uma teoria quntica consistente. Ordinria teoria quntica faz no permitir
que a gravidade existe, a teoria das ondas harmnicas requer isso! O segundo fato geral que Yang {Mills teorias
de calibre do tipo que compem o modelo padro naturalmente surgem na teoria das ondas. Ns no
entendemos por que o especifica SU (3) x SU (2) x U (1) Teoria de calibre do padro modelo deve ser o preferido,
mas anomalia (anomalia-livre) teorias deste tipo geral surgem naturalmente as energias normais. A terceira
caracterstica geral de solues a teoria das ondas harmnicas a supersimetria. A consistncia matemtica da
teoria das cordas depende crucialmente supersimetria, e muito difcil para encontrar solues consistentes
(vcuo quntico ) que no preserva, pelo menos, uma parte da supersimetria. Esta previso da terica da onda
harmnica . Interessadas de outros dois (Relatividade geral e teorias de calibre), em que ela realmente uma
previso. uma caracterstica genrica da teoria das ondas harmnicas que ainda no foi descoberto
experimentalmente.
1.1 Supersimetria
Mesmo que a supersimetria uma parte muito importante da histria, a discusso aqui vai ser muito breve, uma
vez que ser discutido em detalhe por outros docentes. Haver apenas algumas observaes gerais. Primeiro,
como j disse, a supersimetria a previso importante da teoria das ondas harmnicas que poderia aparecer em
energias acessveis, que ainda no foi descoberto. Uma variedade de argumentos no especifico para a teoria das
ondas harmnicas, sugerem que a energia caracterstica escala associado quebra supersimetria deve ser
relacionado com a escala eletrofraca, em outras palavras no intervalo de 100 GeV -1 TeV. A simetria implica que
todas as partculas elementares conhecidas devem ter partculas de parceiros, cujas massas esto neste intervalo
geral. Isso significa que alguns de superparcerias deve ser observvel no Grande Colisor Hadron Collider (LHC),
que comear a operar na parte do meio da dcada. H mesmo uma chance de que experimentos do Fermilab
Tevatron poderia encontrar superpartculas mais cedo do que isso. Na maioria das verses de supersimetria
fenomenolgica h uma multiplicativamente conservada nmero quntico chamado R-paridade. Todas as
partculas conhecidas tm at R-paridade, que a sua superparcerias tm estranho R-paridade. Isto implica que as
superpartculas deve ser pr-produzido em colises de partculas. Isso tambm implica que a partcula mais leve
supersimetria (ou LSP) deve ser absolutamente estvel. No se sabe com certeza que a partcula LSP, mas um
popular
suposio de que um neutralino. "Este um frmio eletricamente neutra, que um mecnica quntica
mista dos parceiros do fton, Z, e partculas neutras de Higgs. Tal LSP iria interagir muito pouco, mais ou menos
como um neutrino. de considervel interesse, uma vez que um candidato excelente matria escura. Procura
por partculas de matria escura chamados WIMPS (fracamente interagindo partculas massivas) poderia
descobrir o LSP algum dia. Atual experincias pode no ter suficiente do volume detector para compensar a
extremamente pequenas sees transversais. H trs argumentos independentes que apontam para o mesmo
intervalo mssico para superpartculas.

O que acabamos de discutir, um LSP neutralino como um importante componente do escuro
matria, requer uma massa de 100 GeV fim. O nmero exacto depende da mistura
que compreende o LSP, o que a sua densidade seja, e uma srie de outros detalhes. Um segundo
argumento baseia-se no problema da hierarquia famoso. Este o facto de que o modelo padro
correes radiativas tendem a renormalizar a massa Higgs a uma escala muito elevada. A maneira de
evitar isso estender o modelo padro para um modelo padro e para supersimtrica
tm a supersimetria ser quebrado numa escala comparvel massa de Higgs, e, portanto,
a escala eletrofraca. O terceiro argumento que d uma estimativa da susy-quebra
escala grande uni cao. Se algum aceita a noo de que o grupo de calibre modelo padro
incorporado em um grupo maior calibre, tais como SU (5) ou SO (10), que quebrado numa alta
escala de massa, em seguida, as trs constantes de acoplamento padro modelo deve unificar em que a massa
escala. Dado o espectro de partculas, pode-se calcular a evoluo do acoplamento como um
funo da energia por meio de equaes do grupo de renormalizao. Um nds que, se um s inclui
as partculas do modelo padro deste ction uni falhar muito mal. No entanto, se um tambm inclui
todas as partculas supersimetria exigidos pela extenso mnima da supersimtrica
modelo padro, em seguida, os acoplamentos no unificar a uma energia de cerca de 2? 1016 GeV. Por esta
acordo ocorra, necessrio que as massas dos superpartculas tm menos de um
TeV poucos.
Existe outro tipo de apoio para esta imagem, tais como a facilidade com a qual supersimtrica grande
cao uni explica as massas dos quarks superior e inferior e eletrofraca simetria
ruptura. Apesar de todas estas indicaes, no podemos ter certeza de que esse quadro correto at
demonstrado experimentalmente. Pode-se supor que tudo isso uma coincidncia gigante, e
a descrio correta da escala TeV fsica baseada em algo inteiramente di? erent. A nica
forma, podemos decidir com certeza fazendo os experimentos. Uma vez eu disse a um reprter de jornal,
, a fim de ter a certeza de ser citado: a descoberta da supersimetria seria mais profunda do que
vida em Marte.
1,2 idias bsicas da Teoria de Cordas
Em teoria convencional eld quntica as partculas elementares so pontos matemticos,
enquanto que na teoria das cordas perturbativa os objetos fundamentais so unidimensionais laos
(De zero a espessura). Cordas tm uma escala de comprimento caracterstica, que pode ser estimada pela
anlise dimensional. Desde que a teoria das cordas uma teoria quntica relativstica que inclui gravidade
ela deve envolver a fundamental constantes c ( velocidade da luz), ~ (a constante de Planck
dividido por 2?), e G (constante gravitacional de Newton). A partir destes pode-se formar um comprimento,
5
conhecido como o comprimento de Planck
`P =
~ G
c3
! 3 = 2
= 1:6? 10 33 centmetros: (1)
Da mesma forma, a massa de Planck
mp =
C ~
G
! 1 = 2
= 1:2? 1019 GeV = c2: (2)
Experincias em energias muito abaixo da energia de Planck no pode resolver distncias to curtas quanto
o comprimento de Planck. Assim, em tais energias, strings podem ser precisamente aproximada por ponto
partculas. Do ponto de vista da teoria das cordas, isso explica por que a teoria quntica tem eld
sido to bem sucedido.
Como uma string evolui no tempo que varre a superfcie de duas dimenses no espao-tempo, que
chamado a folha de mundo da corda. Esta a contrapartida corda da linha mundo para
uma partcula ponto. Na teoria quntica eld, analisados em teoria de perturbao, as contribuies
para amplitudes so associadas aos diagramas de Feynman, que mostram possveis da con gurations
linhas mundiais. Em particular, as interaces correspondem aos cruzamentos de linhas mundiais. Da mesma
corda,
teoria de perturbao teoria envolve folhas de cordas do mundo de vrias topologias. Um particular
signi fato no pode que essas folhas de mundo so genericamente suave. A existncia de interaco
uma consequncia do mundo topologia folhas, em vez de uma singularidade local na folha mundo.
Esta di cia? Do ponto-partcula teorias tem duas implicaes importantes. Em primeiro lugar, na cadeia
estrutura a teoria das interaes unicamente determinada pela teoria livre. Tem
nenhuma interao arbitrrios para ser escolhido. Segundo, as divergncias ultravioletas do ponto de partculas
teorias pode ser atribuda ao fato de que as interaes esto associados ao mundo da linha de junes em
pontos speci c espao-tempo. Como a folha mundo string liso, amplitudes da teoria da corda
no ter divergncias ultravioletas.
1.3 Uma Breve Histria da Teoria de Cordas
A teoria das cordas surgiu no final de 1960 de uma tentativa de descrever a fora nuclear forte.
A incluso de frmions levou descoberta de cordas supersimtricas | ou supercordas
| Em 1971. O assunto caiu em desuso por volta de 1973 com o desenvolvimento da QCD, que
foi rapidamente reconhecida como a teoria correta das interaes fortes. Tambm, as teorias de cordas
tinha vrias caractersticas irrealistas, como dimenses extras e partculas sem massa, nem de
que so apropriados para uma teoria hdron.
Entre os estados corda sem massa, h um que tem a rotao dois. Em 1974, foi demonstrado
Scherk por mim e [3], e independentemente por Yoneya [4], que esta partcula interage como um
6
grviton, ento a teoria realmente inclui a relatividade geral. Isso nos levou a propor essa seqncia
teoria deve ser usado para uni cao ao invs de hdrons. Isto implica, em particular,
que a escala de comprimento da corda deve ser comparvel ao comprimento de Planck, e no o tamanho
de hdrons (10 13 cm) como se tinha anteriormente assumido.
Na \ primeira supercordas revoluo ", que teve lugar em 1984 {85, houve uma srie de
desenvolvimentos importantes (descrito mais tarde) que convenceram um grande segmento do terico
fsica comunidade que esta uma rea que merece investigao. No momento em que a poeira baixou em
1985 tnhamos aprendido que h ve distintas teorias de cordas consistentes, e que cada um
los requer supersimetria espao-tempo nos dez dimenses (nove dimenses espaciais mais
tempo). As teorias, os quais sero descritos mais tarde, so chamados de tipo I, tipo II, tipo IIB,
SO heterotico (32), e E8? E8 hetertico.
1,4 cao Compacti
No contexto do objetivo original da teoria das cordas {para explicar fsica hadrnica {adicional
dimenses so inaceitveis. No entanto, em teoria, que incorpora a relatividade geral,
a geometria do espao-tempo determinado dinamicamente. Assim, pode-se imaginar que a
teoria admite solues consistentes qunticos em que as outras seis dimenses espaciais formam
um espao compacto, muito pequeno para ter sido observada. A primeira suposio natural que o tamanho da
deste espao devem ser comparveis escala corda eo comprimento de Planck. Uma vez que o
equaes devem ser satis ed, a geometria deste espao de seis dimenses no arbitrria. A
possibilidade particularmente interessante, o que consistente com as equaes, que ele forma um
tipo de chamada de espao Calabi Yau {[5].
Calabi Yau {catio compacti, no contexto da E8? E8 teoria das cordas hetertico, pode
dar um e baixo consumo de energia? teoria tiva que se assemelha uma extenso do supersimtrica
modelo padro. H realmente muita liberdade, porque h muito di muitos? Erent
Calabi {Yau, e h outras escolhas arbitrrias que podem ser feitas. Ainda assim,
interessante que se pode chegar bem perto de fsica realista. tambm interessante que o
nmero de quark e lepton famlias que se obtm determinada por a topologia da
Calabi {espao Yau. Assim, por escolhas adequadas, pode-se organizar para acabar com exatamente trs
famlias. As pessoas estavam muito animados com a imagem em 1985. Hoje em dia, temos a tendncia de fazer
uma
mais sbria avaliao que enfatiza toda arbitrariedade que est envolvido, e as coisas
que no funcionam exatamente certo. Ainda assim, no seria surpreendente se alguns aspectos dessa imagem
sobreviver como parte da histria quando entendemos a maneira correta de descrever o mundo real.
7
1,5 Teoria de Perturbao
At 1995, s foi entendida como formular teorias de cordas em termos de perturbao
expanses. Teoria de perturbao til em uma teoria quntica que tem uma pequena adimensional
constante de acoplamento, tal como eletrodinmica quntica, uma vez que permite que se calcule fsico
quantidades como expanses srie de potncia no parmetro pequena. Em QED o parmetro pequeno
a ne-estrutura constante? ? 1 = 137. Uma vez que este bastante pequeno, teoria de perturbao funciona
muito bem para QED. Para uma quantidade fsica T (?), Um computa (utilizando diagramas de Feynman)
T (?) = T0 +? T1 +? 2T2 + :::: (3)
o caso genericamente na teoria quntica eld que expanses desse tipo so divergentes.
Mais especifi camente, que so as expanses assintticas com a convergncia de raio zero. No entanto,
eles podem ser numericamente til se o parmetro de expanso pequena. O problema que no existe
So vrios os no-perturbativos contribuies (como instantons) que tm a estrutura
TNP? e (const:? =): (4)
Em uma teoria como a QCD, h regimes em que a teoria de perturbao til (devido a
liberdade assinttica) e outros regimes em que no . Para problemas de ltimo tipo,
como calcular o espectro de hdrons, os mtodos no perturbativa de computao, tais como
teoria de gauge estrutura, so necessrias.
No caso da teoria das cordas a corda adimensional constante de acoplamento, denotado gs,
determinado dinamicamente pelo valor esperado de um escalar eld chamado dilaton. L
h nenhuma razo especial que este nmero deve ser pequeno. Por isso, improvvel que um realista
vcuo pode ser analisada com preciso usando teoria de perturbao. Mais importante ainda, esses
teorias tm muitas propriedades qualitativas que so inerentemente no perturbativa. Ento preciso
mtodos no perturbativa para entend-las.
1.6 A segunda revoluo das supercordas
Por volta de 1995 alguns surpreendentes e inesperadas \ dualidades "foram descobertas que, desde que o
rst vislumbres caractersticas no perturbativa da teoria das cordas. Essas dualidades foram rapidamente
reconheceu ter trs grandes implicaes.
As dualidades permitiu relacionar todos ve das teorias de supercordas um ao outro. Este
significa que, em um sentido fundamental, todos eles so equivalentes uma outra. Outra forma de
dizer isso que h uma teoria nica subjacente, e que tnhamos sido chamando ve
teorias so melhor vistos como expanses de perturbao desta teoria subjacente sobre ve
di? erent (pontos no espao de coerncia quntica vacuo). Este foi um profundamente satisfatria
8
realizao, uma vez que realmente no queria ve teorias da natureza. Que h uma completamente
teoria nica, sem quaisquer parmetros adimensionais, o melhor resultado poderia ter um
esperava. Para evitar confuso, deve salientar-se que, embora a teoria
nico, perfeitamente possvel que h muitos consistente quntica vcuos. Classicamente,
a instruo correspondente que uma equao pode admitir muitas solues. um
soluo particular (ou vcuo quntico) que ultimatelymust descrever a natureza. Pelo menos, esta
como um fsico de partculas diria. Se esperamos compreender a origem e evoluo da
do universo, alm de propriedades das partculas elementares, seria bom se pudssemos
tambm compreender solues cosmolgicas.
A segunda descoberta crucial foi a de que a teoria admite uma variedade de excitaes no perturbativa,
chamado p-branas, para alm das cordas fundamentais. A letra p rotula o
nmero de dimenses espaciais da excitao. Assim, nesta linguagem, uma partcula um ponto
0-brana, uma cadeia uma 1-brana, e assim por diante. A razo que o p-branas no foram descobertos em
teoria de perturbao que eles tm de tenso (ou densidade de energia) que diverge como gs! 0.
Assim, eles esto ausentes da teoria perturbativa.
A terceira descoberta importante foi a de que a teoria subjacente tem tambm um 11-dimensional
soluo, que chamada teoria-M. Mais tarde, vamos explicar como a dcima primeira dimenso surge.
Um tipo de dualidade chamado dualidade S. (A escolha da letra S um acidente histrico
de no signi cncia grande.) Duas teorias de cordas (vamos cham-los de A e B) esto relacionados por S
dualidade se um deles avaliado em forte acoplamento equivalente a um outro avaliada
no acoplamento fraco. Especi camente, para qualquer f quantidade fsica, a pessoa tem
fA (GS) = fB (1 = gs): (5)
Duas das teorias das supercordas | tipo I e SO (32) hetertica | esto relacionadas pela dualidade S em
desta maneira. A teoria tipo IIB auto-dual. Assim S dualidade uma simetria da teoria IIB,
e esta simetria ininterrupta se gs = 1. Graas a dualidade S, o comportamento de acoplamento forte
de cada uma dessas trs teorias determinada por uma anlise de acoplamento fraco. Os dois restantes
teorias, tipo IIA e E8? E8 hetertico, comportam-se muito di? Erently de acoplamento forte. Eles
crescer uma dcima primeira dimenso!
Outra dualidade surpreendente, que atende pelo nome de dualidade T, foi descoberto vrios
anos antes. Pode ser entendido, em teoria de perturbao, que por isso verificou-se rst.
Mas, felizmente, que muitas vezes continua a ser vlido, mesmo em acoplamento forte. Dualidade T pode
relacionar di? ctions erent compacti de di? teorias erent. Por exemplo, suponha que A tem uma teoria
dimenso compacta que um crculo de raio RA e teoria B tem uma dimenso compacta que
um crculo de raio RB. Se estas duas teorias esto relacionadas pela dualidade T isto significa que eles
9
so equivalentes desde que
RaRb = (`s) 2, (6)
onde `s a escala de comprimento fundamental string. Isto tem a implicao surpreendente que quando
um dos crculos torna-se pequeno o outro torna-se grande. Em uma palestra mais tarde, vamos
explicar como isso possvel. Dualidade T relaciona as duas teorias do tipo II e dois do heterticos
teorias. H exemplos mais complicados do mesmo fenmeno envolvendo compacto
espaos que so mais complicados do que um crculo, como tori, K3, Calabi {Yau, etc
1.7 As Origens da simetria de calibre
H uma variedade de mecanismos que podem dar origem a {Yang Mills simetrias de calibre do tipo
na teoria das cordas. Aqui, vamos nos concentrar em duas possibilidades bsicas: {Kaluza Klein simetrias
e simetrias brana.
O bsico Kaluza Klein {idia remonta dcada de 1920, embora tenha sido muito generalizada
desde ento. A ideia de supor que o 10 - ou 11-geometria dimensional tem um produto
estrutura M? K, onde M o espao-tempo de Minkowski e K um colector compacto. Em seguida, se
K tem simetrias, estes aparecem como simetrias de calibre do e? Tiva teoria de nida em M.
Os Yang {elds calibre Mills surgem como componentes da DRA gravitacional mtrica com uma
direco ao longo de K e o outro ao longo de M. Por exemplo, se o espao de K um n-dimensional
esfera, o grupo de simetria SO (n + 1), se for CP n | o qual tem dimenses 2n |
SU (n +1), e assim por diante. Elegante como este pode ser, parece improvvel que um K realista tem qualquer
Tais simetrias. Espaos Calabi {Yau, por exemplo, no tem nenhum.
Uma forma um pouco mais promissora de conseguir simetrias de calibre realistas atravs da membrana
abordagem. Aqui a idia que uma certa classe de p-branas (chamado D-branas) tm bitola
elds que so restritos ao seu volume mundial. Isto significa que os elds calibre no so
de nida por todo o 10 - ou 11-dimensional espao-tempo, mas apenas sobre a (p +1)-dimensional
hipersuperfcie de nido pelo D-branas. Esse quadro sugere que o mundo que observamos poder
ser uma D-brana embutida em um espao de dimenso superior. Em tal cenrio, no pode haver dois
tipos de dimenses extras: dimenses compactas ao longo das dimenses branas e compacto
perpendiculares ao brana.
O ponto de vista tradicional, que na minha opinio ainda a melhor aposta, que todos extra
dimenses (de ambos os tipos) tm tamanhos de ordem 10 30-10 32 centmetros correspondentes a uma
energia
escala de 1016 1018 GeV. Isso os torna inacessveis observao direta, embora a sua
existncia teria de nite baixa energia conseqncias. No entanto, pode e deve perguntar
\ Quais so os limites experimentais? "Para dimenses compactas ao longo da membrana, que suportam
elds calibre, o nonobservation de dimenses extras em testes do modelo padro implica
10
um limite de cerca de 1 TeV. O LHC dever estender isso para cerca de 10 TeV. Para compacto
dimenses perpendicular \ para a brana ", que suporta apenas excitaes com gravidade
foras de resistncia, os melhores limites vm de Cavendish tipo experincias, que o teste 1 = R2
estrutura da lei da fora de Newton em curtas distncias. Sem desvios foram observados para uma
distncia de cerca de 1 mm, at agora. Experimentos planejados no futuro prximo deve estender o
limitar a cerca de 100 microns. Obviamente, a observao de qualquer desvio a partir de 1 R2 = seria
grande descoberta.
1,8 Concluso
Esta palestra introdutria esboou alguns dos sucessos notveis que a teoria das cordas
conquistou ao longo dos ltimos 30 anos. H muitos outros que no fez t neste breve
pesquisa. Apesar de todo esse progresso, h algumas questes muito importantes e fundamentais
cujas respostas so desconhecidas. Parece que sempre que ocorre um avano, um anfitrio de novo
questes surgem, eo objetivo final parece ainda um longo caminho o?. Para convenc-lo de que no
um longo caminho a percorrer, vamos listar algumas das questes mais importantes:
? O que a teoria? Apesar de uma grande quantidade se sabe sobre a teoria das cordas e M
teoria, parece que a formulao ptima da teoria subjacente ainda no tenha sido
encontrado. Ele pode ser baseado em princpios que ainda no foram formuladas.
? Estamos convencidos de que a supersimetria est presente em altas energias e, provavelmente, no
eletrofraca escala, tambm. Mas no sabemos como ou por que ele est quebrado.
? Um problema muito importante refere-se densidade de energia do vcuo, que um fsico
quantidade em uma teoria gravitacional. Este caracterizado por a constante cosmolgica,
observacionalmente que parece ter um pequeno valor positivo | de modo que o vcuo
energia do universo comparvel energia em matria. Em unidades de Planck
um pequeno nmero (? 10 120). Se a supersimetria foram ininterrupta, poderamos argumentar que
? = 0, mas se ele est quebrado na escala TeV 1, que parece sugerir? ? 10 60,
que muito longe da verdade. Apesar de uma enorme quantidade de ort e? Ea ingenuidade,
ainda no clara a forma como a teoria das supercordas ir conspirar para quebrar a supersimetria no
TeV escala e ainda dar um valor para? que muito menor do que 10 60. O fato de que
o resultado desejado sobre o quadrado deste pode ser uma dica til.
? Mesmo que a teoria subjacente nico, no parecem ser muitos quntica consistente
vcuo. Ns gostaramos muito de formular um princpio terico (no baseados
na observao) para escolher entre esses vcuos. No se sabe se o direito
abordagem para a resposta cosmolgica, probabilstica, antrpica, ou outra coisa.
11
2 Aula 2: Teoria de Cordas Basics
Nesta palestra iremos descrever a dinmica mundial de folha-da teoria original bosnico string.
Como veremos esta teoria tem vrias propriedades irrealistas e insatisfatrios. No obstante
uma preliminar til antes de descrever cordas supersimtricas, porque nos permite
introduzir muitos dos conceitos-chave sem simultaneamente abordar as complicaes adicionais
associado com frmions e supersimetria.
Vamos descrever a dinmica de cadeia de um ponto RST-quantizada de vista. Isto significa que,
nos concentramos em entend-lo a partir de um mundo folha-ponto soma-mais-histrias de vista. Este
abordagem est intimamente ligada anlise de teoria de perturbao. Ele deve ser contrastado com \ segundo
quantizada "string teoria eld que baseado em operadores eld que criam ou destroem toda
cordas. Desde o ponto de primeira-quantizada de vista pode ser menos familiar para voc do que
secondquantized
eld teoria, vamos comear por rever como ele pode ser usado para descrever uma enorme
ponto de partcula.
2.1 Descrio Mundial-Line de uma Partcula de Ponto
Uma partcula ponto varre uma trajetria (ou linha do mundo) no espao-tempo. Isto pode ser descrito
por funes x (?) que descrevem como a linha do mundo, parametrizada por? , incorporado em
o espao-tempo, cujas coordenadas so indicadas x?. Para simplificar, vamos supor que o
espao-tempo
em Minkowski espao com uma mtrica de Lorentz
?? =
0
BBB @
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
1
CCCA
: (7)
Em seguida, o elemento de linha de Lorentz invariante dada pela
ds2 = dx dx:??? (8)
Em unidades ~ = c = 1, a aco de uma partcula de massa m dada por
S = m
Z
ds: (9)
Isto poderia ser generalizado para um espao-tempo curvo substituindo?? por uma mtrica g? (X), mas ns
no faz-lo aqui. Em termos das funes de incorporao, x? (T), a ao pode ser reescrita
sob a forma
S = m
Z
d?
q
x_ x_;??? (10)
12
onde pontos representam? derivados. Uma propriedade importante desta ao invarincia sob
reparametrizations locais. Este um tipo de invarincia de gauge, cujo significado de que o
forma de S inalterado sob uma reparametrizao arbitrrio da linha do mundo? ! ? (~?).
Na verdade, deve-se exigir que a funo? (~?) suave e montona
?
d?
d ~? > 0
?
. O
invarincia reparametrizao um anlogo unidimensional do geral quadridimensional
coordenar invarincia da relatividade geral. Matemticos se referem a esse tipo de simetria
como di? invarincia eomorphism.
A invarincia reparametrizao de S nos permite escolher um medidor. Uma boa escolha o
\ Manomtrica esttica "
x0 =:? (11)
Neste indicador (renomeando o parmetro t) a ao se torna
S = m
Z p1 v2dt (12);
onde
~ V =
d ~ x
dt
: (13)
Exigir essa ao para estar parado em uma variao arbitrria de ~ x (t) d a Euler {
Equaes de Lagrange
d ~ p
dt
= 0, (14)
onde
~ P =
? S
? ~ V
=
m ~ v
p1 v2
(15);
que o resultado habitual. Assim, vemos que de costume cinemtica relativista resulta da ao
S = m
R
ds.
2,2 Mundial-Volume Aes
Podemos agora generalizar a anlise da partcula para um ponto de massa p-brana de Tp tenso.
A aco neste caso refere-se a invariante (p + 1) o volume tridimensional e dada pela
Sp = Tp
Z
d p 1;? (16)
em que o elemento de volume invariante
d? +1 = p
q
det dp +1 ( @ x @ x???):? (17)
13
Aqui a incorporao da p-brana em d-dimensional do espao-tempo dada por funes x? (?).
O ndice? = 0; :::; p rotula os p 1 coordenadas? do p-brana mundo-volume e a
ndice? = 0; :::; d uma rtulos a d coordenadas x? do espao-tempo d-dimensional. Temos
de nido
@? X? =
@ X?
@? : (18)
A operao determinante actua na (p + 1)? (P + 1) matriz cujas linhas e colunas
so marcados por? e. A tenso Tp interpretada como a massa por unidade de volume do
p-brana. Para um 0-brana, apenas a massa.
Exerccio: Mostre que Sp reparametrizao invariante. Em outras palavras, substituindo? =
? (~?), Leva-se a mesma forma, quando expresso em termos de coordenadas a ~?.
Vamos agora especializar para a cadeia, p = 1. Avaliar o determinante d
S [x] = T
Z
d? d?
q
x_ 2x02 (? x_ x0) 2, (19)
onde temos de Ned? 0 =? ,? 1 =? E
x_? =
@ X?
@?
, X0? =
@ X?
@?
: (20)
Esta aco, chamado de Nambu {aco Goto, foi rst proposto em 1970 [6, 7]. O Nambu {
Goto aco equivalente aco
S [x, h] =
T
2
Z
d2? p hh? ?? @ X @ x;?? (21)
onde h? (;) a mtrica mundo folhas, h = h det? E h? o inverso de h? . O
{Equao Euler Lagrange obtidos variando h? so
T? = @? X? @ X
1
2
h? h
? @
x? ? @ X = 0: (22)
Exerccio: Mostre que T? = 0 pode ser utilizada para eliminar a mtrica mundo folhas da
ao, e que, quando isso feito um recupera a Nambu {ao Goto. (Dica: levar o
determinante de ambos os lados da equao @? x? @ X = 1
2h? h
? @
x? @? X :)
Alm de invarincia reparametrizao, a ao S [x, h] tem outra simetria local,
chamada invarincia conformal (ou invarincia de Weyl). Especi camente, que invariante sob a
substituio
h? ! ? (;) H? (23)
x? ! x?:
Esta simetria local especial para o = p 1 caso (cordas).
14
As duas simetrias reparametrizao invarincia de S [x, h] nos permitem escolher um medidor
na qual as trs funes de h? (Isto um 2 simtrica? 2 da matriz) so expressos em termos
de apenas uma funo. Uma escolha conveniente o \ conformalmente
a bitola "
h? =? ? e (;): (24)
Aqui,? denotado o bidimensional de uma mtrica de Minkowski
em folha de mundo. No entanto,
e devido ao factor;? h? apenas \ conformalmente
em ". Classicamente, substituio deste calibre
escolha em S [x, h] deixa a ao calibre xed
S =
T
2
Z
d2?? @? X? @ X: (25)
Mecnica quntica, a histria mais sutil. Em vez de eliminar h atravs da sua clssica
equaes DRA, deve-se realizar uma integral de trajetria de Feynman, utilizao de mquinas padro para
acordo com as simetrias locais e xing calibre. Quando isso for feito corretamente, um nds
que, em geral? no dissociar da resposta. Apenas para o caso especial d = 26 faz
a anlise do quantum reproduzir a frmula que temos dado com base no raciocnio clssico [8].
Caso contrrio, h termos de correo, cuja presena pode ser atribuda a uma anomalia conformal
(Ou seja, a uma avaria mecnica quntica da invarincia conformal).
A ao calibre xa quadrtica na dcada de x. Matematicamente, isto o mesmo que uma teoria
de d elds escalares livres em duas dimenses. As equaes do movimento obtidos variando x?
so simplesmente livres equaes bidimensionais de onda:
? X? x00? = 0: (26)
Esta no a histria toda, no entanto, porque tambm temos de ter em conta as restries
T? = 0. Avaliada no conformalmente
no medidor, essas restries so
T01 = T10 = x_? x0 = 0 (27)
T00 = T11 =
1
2
(X_ 2 + x02) = 0:
Adio e subtrao d
(? X_ x0) 2 = 0: (28)
2.3 Condies de Fronteira
Para ir mais longe, preciso escolher as condies de contorno. Existem trs tipos importantes.
Para uma cadeia fechada deve impor uma periodicidade no parmetro espacial?. Escolhendo seu
vo ser? (Como convencional)
x; = x? (?)? (+;??): (29)
15
Para uma corda aberta (que tem duas extremidades), cada final pode ser obrigado a satisfazer nem Neumann
ou condies de contorno de Dirichlet (para cada valor de?).
Neumann:
@ X?
@?
= 0 em? = 0 ou? (30)
Dirichlet:
@ X?
@?
= 0 em? = 0 ou:? (31)
A condio de Dirichlet podem ser integradas, e ento especi ca um local espao-tempo em que
a string termina. A nica maneira que isso faz sentido se a corda aberta termina em um objeto fsico
{Termina em uma D-brana. (D representa Dirichlet.) Se todas as condies de contorno aberto cordas
so Neumann, em seguida, as extremidades da corda pode ser em qualquer lugar do espao-tempo. O moderno
interpretao que isso significa que no h espao-tempo-lling D-branas presente.
Vamos agora considerar o caso encerrado cordas com mais detalhes. A soluo geral da 2d
equao de onda dada por uma soma de direito \-movers "e \ esquerda-movers":
x? (;?) = x?
R (? ?) + X?
L (+?): (32)
Estes devem estar sujeitas s seguintes condies adicionais:
? x? (;?) real
? x? (+;??) = x? (;)
? (X0L) 2 = (x0r) 2 = 0 (Estes so os T? = 0 restries na eq. (28).)
A primeira destas duas condies pode ser resolvido explicitamente em termos de sries de Fourier:
x?
R =
1
2
x? + `2s
p (? ?) +
ip
2
`S
X
n6 = 0
1
n
?
n e 2in (? ?) (33)
x?
L =
1
2
x? + `2s
p (? +?) +
ip
2
`S
X
n6 = 0
1
n
~ Ne 2in? (+?);
onde os parmetros de expanso?, n ~ n? satisfazer
?
n = (?
n) y; ~?
n = (~?
n) y: (34)
O centro de massa coordenada x? e momento p? tambm so reais. A seqncia de fundamentais
escala de comprimento `s est relacionada com a tenso T por
T =
1
2? 0
, 0 = `2s
: (35)
O parmetro? 0 chamado o declive Regge universal, uma vez que os modos de cadeia linear deitar
trajetrias paralelas Regge com este declive.
16
2,4 Quantizao
A anlise da seqncia fechado esquerda em movimento modos, corda fechada direito em movimento modos e
openstring
modos so todas muito semelhantes. Portanto, para evitar a repetio, vamos nos concentrar no closedstring
direito-movers. Comeando com a aco de calibre xed em eq. (25), o impulso cannica
da cadeia
p? (;?) =
? S
? X_? = Tx_:? (36)
Quantizao cannica (isto apenas livre 2d teoria eld para elds escalares) d
[P x (0,;)? (;)?] = i ~ (0 ?):?? (37)
Em termos de modos de Fourier (configurao ~ = 1), estas se tornam
[P;? X? ] = i?? (38)
[?
m;?
n] m = m + n;? 0?? , (39)
[~?
m, ~?
n] m = m + n;? 0?? ;
e todos os outros comutadores desaparecer.
Lembre-se que um oscilador mecnico quntico harmnico pode ser descrita em termos de aumento
e diminuindo os operadores, normalmente chamado ay e um, que satisfazem
[A; ay] = 1: (40)
Vemos que, alm de um fator de normalizao, o COE expanso? Cients?
m e?
m so
levantar e abaixar os operadores. H apenas um problema. Devido? 00 = 1, o tempo
componentes so proporcionais ao osciladores com o sinal errado ([a; ay] = 1). Isto
potencialmente muito ruim, porque tais osciladores criar estados de norma negativa, o que poderia
levar a uma teoria quntica inconsistente (com probabilidades negativas, etc.) Felizmente, como
vamos explicar, a T? = 0 restries eliminar os estados negativo norma do fsico
espectro.
A restrio clssica para o direito do movimento fechado cordas modos, (x0r) 2 = 0, tem Fourier
componentes
Lm =
T
2
Z?
0
e 2im? (x0r) 2d? =
1
2
1X
n = 1
? M n? ? N, (41)
que so chamados de operadores Virasoro. Desde?
m no comutam com?
m, L0 deve ser
normal-ordenada:
L0 =
1
2
? 20
+
1X
n = 1
? n? ? N: (42)
Aqui?
0 = `sp? = P2, onde p? a dinmica.
17
2.5 O Espectro Cordas Grtis
Lembre-se que o espao de Hilbert de um oscilador harmnico gerado por estados jni, n = 0, 1, 2; :::;
onde o estado fundamental, j0i, aniquilado pelo operador reduo (aj0i = 0) e
jni =
(Ay) n
pn! j0i: (43)
Ento, para um estado fundamental normalizado (h0j0i = 1), pode-se usar [a; ay] = 1 repetidamente para provar
que
? hmjni = m, n (44)
e
ayajni = njni: (45)
O espectro de cadeia (de direita motores) dada pelo produto de um nite no nmero de
oscilador harmnico espaos Fock, um para cada n?, sujeitos s restries Virasoro [9]
(L0 q) j? I = 0 (46)
LNJ i = 0; n> 0?:
Aqui j? I denota um estado fsico, e q uma constante a ser determinada. responsvel por
a arbitrariedade na prescrio normal-ordenao usada para de nir L0. Como veremos, a
L0 equao uma generalizao da equao de Klein Gordon {. Ele contm p2 = @? @ Mais
termos do oscilador cuja autovalor ir determinar a massa do estado.
interessante trabalhar a lgebra dos operadores Virasoro Lm, que decorre
a lgebra oscilador. O resultado, o chamado lgebra Virasoro,
[LM; Ln] = (m n) Lm + n +
c
12
? (M3 m) m + n; 0: (47)
O segundo termo do lado direito chamado de \ termo anomalia conformal "eo
c constante chamado de \ carga central. "
Exerccio: Verifique se a primeira termo do lado direito. Para o crdito extra, verificar a segunda
termo, mostrando que cada componente de x? contribui c = 1, de modo que em conjunto c = d.
H formas mais sofisticadas para descrever o espectro de corda (em termos de BRST
cohomology), mas so equivalentes para a abordagem mais elementar apresentada aqui. Em
a abordagem BRST, calibre xing ao indicador conformado na teoria quntica requer a
Alm do mundo de folhas Faddeev-Popov fantasmas, que acabam por contribuir c = 26. Assim
a anomalia total do x? e os fantasmas cancela para a escolha particular d = 26, tal como
18
afirmado anteriormente. Alm disso, tambm necessrio definir o parmetro q = 1, de modo que a massa de
casca
condio torna-se
? (L0 1) j i = 0: (48)
Uma vez que a matemtica do espectro de cadeia aberta a mesma que a cadeia fechada
movers certas, vamos agora usar as equaes que obtivemos para estudar o espectro corda aberta.
(Aqui estamos assumindo que as condies de contorno aberto cordas so todos Neumann,
correspondente ao espao-tempo-lling D-branas.) A condio de massa concha
M2 = p2 =
1
2
? 20
= N 1; (49)
onde
N =
1X
n = 1
? n? ? N =
1X
n = 1
nayn? um: (50)
O de ay e um so devidamente normalizada levantando e abaixando operadores. Uma vez que cada um tem aya
autovalores 0, 1, 2; :::, os possveis valores de N tambm so 0, 1, 2; :::. A nica maneira de perceber
N = 0 para todos os osciladores de estar no estado fundamental, que denotamos simplesmente por j0;? P i,
onde p? o momento do Estado. Este estado tem M2 = 1, que um tachyon (p?
do tipo espacial). Essa partcula mais rpida que a luz no certamente possvel em um quantum consistente
teoria, porque a vcuo seria instvel. No entanto, em teoria de perturbao (que
o quadro, estamos implicitamente considerando) esta instabilidade no visvel. Desde essa string
teoria suposto ser apenas um exerccio de aquecimento antes de considerar tachyon livre de supercordas
teorias, vamos continuar sem se preocupar com isso.
O primeiro estado animado, com N = 1, corresponde a M2 = 0. A nica maneira de alcanar
N = 1 para excitar o oscilador primeira vez:
j? i =??
1J0; pi: (51)
Aqui? denota o vector de polarizao de uma partcula de rotao de um sem massa. A restrio Virasoro
condio L1j? i = 0 implica que? deve satisfazer
p?? = 0: (52)
Isto assegura que a rotao polarizada transversalmente, de forma que h d polarizao 2 independente
estados. Isto concorda com o que um nds para um Maxwell sem massa ou Yang {Mills eld.
Ao nvel da massa prximo, em que N = 2 e M2 = 1, a possibilidade mais geral tem o
forma
j? i = (??
2 +???
1?
1) j0; pi: (53)
19
No entanto, as limitaes L1j? I = L2J? I = 0 restringir? e?? . A anlise interessante,
mas apenas os resultados sero descritas. Se d> 26, o espectro fsico contm um negativenorm
Estado, o que no permitido. No entanto, quando d = 26, este estado torna-se zero norma
e desacopla a partir da teoria. Isso deixa uma rotao pura \ macio dois "(simtrica traceless
tensor de partculas) como o nico estado fsico neste nvel de massa.
Passemos agora ao espectro fechado string. Um estado fechado de fio descrita como um
produto tensorial de um estado esquerda em movimento e um estado de direito em movimento, sujeita
condio
que o valor de N de a-esquerda em movimento e o estado de movimento para a direita a mesma. A razo para
este \ nvel de correspondncia condio " que temos (L0 1) j? i = (~ L0 1) j? i = 0. A soma
(L0 + L0 ~ 2) j? I interpretado como a condio de massa concha, enquanto o di cia? (L0 ~ L0) j? I =
(N ~ N) j? I = 0 a condio de nvel de correspondncia.
Usando essa regra, o estado terreno fechado-corda apenas
j0i
j0i, (54)
o que representa um spin 0 tachyon com M2 = 2. (A notao no exibe mais a
p dinmica do estado.) Novamente, isso sinaliza um vcuo instvel, mas no vai se preocupar
sobre ele aqui. Muito mais importante, e mais no pode signi, o primeiro estado animado
j? i =?? (?
1j0i
~?
1j0i), (55)
que tem M2 = 0. As restries Virasoro L1j? I = ~ L1j? I = 0 implica que p?? = 0. Tal
tensor polarizao codifica trs estados de spin distintas, cada uma das quais tem um papel fundamental
na teoria das cordas. A parte simtrica de?? codifica um espao-tempo eld mtrica g? (Sem massa
rotao dois) e um escalar dilaton eld? (Spin sem massa zero). O g? eld o eld graviton,
e a sua presena (as invarincias calibre correctas) representa o facto de que a teoria
contm a relatividade geral, que uma boa aproximao para o E? 1 = `s. O seu valor de vcuo
determina a geometria do espao-tempo. Do mesmo modo, o valor de? determina o acoplamento cadeia
constante (gs = <e>).
?? Tem tambm um anti-simtrica, o que corresponde a um tensor sem massa antisymmetric
avaliar eld B? = B?. Este eld tem um medidor de transformao da forma
? B? = @?? @;?? (56)
(O qual pode ser considerado como uma generalizao da regra de transformao para a bitola Maxwell
eld:? A? = @?). O indicador de invariante fora eld (anlogo ao F? = @? A? @? A?)
H?? = @? B? + @? B? ? + @ B:? (57)
20
A importncia da B? eld reside no facto de que a cadeia base uma fonte
para B? , Assim como uma partcula carregada uma fonte para o potencial vetor A?. Matematicamente,
este expresso pelo acoplamento
q
Z
B? Dx? ^ Dx? , (58)
que generaliza o acoplamento de uma partcula carregada para um eld Maxwell
q
Z
A? Dx? (59)
em uma notao conveniente.
2.6 Nmero de estados fsicos
O nmero de estados fsicos cresce rapidamente como uma funo da massa. Isto pode ser analisado
quantitativamente. Para a corda aberto, vamos denotar o nmero de estados fsicos com? = 0M2
n 1 por dn. Estes nmeros so codificados na funo geradora
G (w) =
1X
n = 0
dnwn =
1Y
m = 1
(1 wm) 24: (60)
O expoente 24 re
ECTS o facto de que em 26 dimenses, uma vez que as condies so Virasoro
tidas em conta, o espectro exatamente o que se comea a partir de 24 transversalmente polarizada
osciladores. fcil deduzir a partir desta funo de gerar o nmero de estados assinttica
para n grande, como uma funo de n
dn? ? n 27 = 4e4 pn: (61)
Exerccio: Verifique se essa frmula.
Esta degenerescncia assinttica implica que a funo de partio nite temperatura
tr (e H) =
1X
n = 0
dne Mn (62)
diverge para 1 = T> TH, onde TH a temperatura Hagedorn
TH =
1
4? P? 0
=
1
4? `S
: (63)
TH pode ser a temperatura mxima possvel, ou ento de uma temperatura crtica em que se verifica
uma transio de fase.
21
2,7 Estrutura da Teoria de Perturbao Cordas
Como discutimos na palestra RST, teoria de perturbao clculos so realizados por computao
Diagramas de Feynman. Considerando que, em comum quntica eld diagramas teoria de Feynman so
teias de linhas do mundo, no caso da teoria das cordas so superfcies bidimensionais que representam
mundo folhas de cordas. Para estes fins, conveniente que o mundo necessitam de folhas
geometria euclidiana (ou seja, o mundo h folhas mtrica? positivo de nite). Os diagramas
so classificadas pela sua topologia ed, que muito bem compreendida, no caso de duas dimenses
superfcies. A topologia mundo folha caracteriza-se pelo nmero de identificadores (h), o nmero
limites de (b), e se so ou no orientvel. O fim da expanso
(Ou seja, o poder do acoplamento string constante) determinada pelo nmero de Euler
mundo folha de M. Ela dada por? (M) = 2 2h b. Por exemplo, uma esfera tem h = b = 0, e
da? = 2. Um toro tem h = 1, b = 0, e? = 0, um cilindro tem h = 0, b = 2, e? = 0,
e assim por diante. Superfcies com? = 0 admitir um
a mtrica.
A amplitude de espalhamento dada por um caminho integrante da estrutura esquemtica
Z
Dh? (?) (?) Dx e S [h; x]
YNC
i = 1
Z
M
V? I d2 (? I)? I
Yno
j = 1
Z
@ M
V j d j (j?):? (64)
A ao S [h; x] dada na eq. (21). V? I um operador de vrtice que descreve emisso ou
absoro de um estado fechado de cadeia do tipo? i a partir do interior da folha de mundo cadeia, e
J V um operador de vrtice que descreve emisso de absoro de um estado aberto do tipo corda
j a partir do limite da folha de mundo cadeia. H muitos detalhes tcnicos que so
no explicado aqui. No final, um nds que as folhas no equivalentes conformalmente mundiais de
uma topologia de dados so descritas por um nmero finito de parmetros, e, assim, estas amplitudes
pode ser reformulado como nite-dimensionais integrais sobre esses mdulos \ ". (As integrais de momentum
j esto feitas.): A dimenso da integral resultante torna-se
N = 3 (2h + b 2) + 2NC nenhuma +: (65)
Como exemplo, considere a amplitude descrevendo espalhamento elstico de duas cadeia aberta
estados fundamentais. Neste caso, h = 0, b = 1, nc = 0, no N = 4, e, por conseguinte, = 1. Em termos de
os invariantes habituais Mandelstam s = (p1 + p2) 2 e t = (p1 p4) 2, o resultado
A (s, t) = g2
s
Z 1
0
dx x (s) 1 (1 x ) (t) 1;? (66)
onde a trajectria Regge? (s)
? (S) = 1 + 0s: (67)
22
Esta integral apenas a funo beta de Euler
A (s, t) = g2
sB ( (s);? (t)) = g2
s
(? (S)) (? (T))
(? (S) ? (T))
: (68)
Esta a amplitude de Veneziano famoso [10], que tem todo o negcio comeou.
2,8 Recapitulao
Esta palestra descreveu alguns dos fatos bsicos da teoria das cordas 26-dimensional bosnico.
Um ponto no pode signi que ainda no ficou claro que h realmente um nmero
de teorias distintas, dependendo do que os tipos de cordas inclui um
? orientadas cordas fechadas apenas
? orientadas cordas fechadas e orientadas cordas abertas. Neste caso, pode-se incorporar U (n)
avaliar simetria.
? no orientada apenas cordas fechadas
? no orientada cordas fechadas e no orientada cordas abertas. Neste caso, pode-se incorporar
SO (n) ou Sp simetria de calibre (n).
Como j mencionado, todas as teorias de cordas bosnicos esto doentes como esto,
porque (em cada caso) o espectro fechado seqncia contm um tachyon. A tachyon significa
que se est fazendo teoria de perturbao sobre um vcuo instvel. Isto anlogo ao
extremum simetria ininterrupta do potencial de Higgs no modelo padro. Nesse caso,
Sabemos que existe um mnimo de estabilidade, onde a elds Higgs adquire um valor de vcuo.
concebvel que a cadeia fechada tachyon condensa de maneira anloga, ou ento
pode no haver um vcuo estvel. Recentemente, tem havido um sucesso na demonstrao de que
-corda aberta tquions condensar no mnimo estvel, mas o destino de-corda fechada tquions
ainda um problema em aberto.
3 Aula 3: Supercordas
De entre as cias da teoria das cordas bosnico o facto de no existirem frmions.
Como veremos, a adio de frmions leva naturalmente para a supersimetria e, portanto,
supercordas. Existem dois formalismos alternativos que so usados para estudar supercordas. O
um original, que cresceu a partir dos 1971 trabalhos de Ramond [11] e por Neveu e eu [12],
chamado o formalismo RNS. Nesta abordagem, a supersimetria do bidimensional
23
mundo folhas teoria desempenha um papel central. A segunda abordagem, desenvolvido por Michael Green
e eu no incio de 1980 [13], enfatiza a supersimetria no espao-tempo de dez dimenses.
Devido falta de tempo, apenas a abordagem RNS sero apresentados.
No formalismo RNS, a teoria do mundo folha baseia-se as funes d x? (;) Que
descrever a incorporao da folha de mundo no espao-tempo, exatamente como antes. No entanto, a fim
para a teoria supersymmetrize mundo folhas, tambm apresentamos d ferminico parceiro elds
? (;). Note-se que x? transforma como um vetor do ponto de vista do espao-tempo, mas como escalar d
elds do ponto de vista bidimensional mundo folhas. O? tambm transformar como um espao-tempo
vetor, mas como o mundo folhas espinores. No total, x? e? descrito supersimetria d
multipletos, uma para cada valor de?.
A reparametrizao ao mundial folhas invariante descrito na palestra anterior pode
ser generalizada para ter supersimetria local no mundo folha, bem como. (Os detalhes de como
que as obras so um pouco demais envolvidos para descrever aqui.) Quando se escolhe um conformado
adequado
bitola (h? = e??), juntamente com uma condio adequada calibre ferminico, acaba-se
com uma teoria do mundo folhas que tem a supersimetria global, complementada por constrangimentos. O
restries de formar uma super-lgebra Virasoro. Isto significa que, para alm da Virasoro
limitaes da teoria de cordas bosnico, h restries ferminicos, tambm.
3.1 Teoria O Indicador fixo
A globalmente supersimtrica ao mundial folhas que surge no indicador conformado leva o
forma
S =
T
2
Z
(????? @ x @ x i @?) d2: (69)
O termo rst exactamente o mesmo como na equao. (25) da teoria das cordas bosnico. Lembre-se que ele
tem a estrutura de elds escalares d livres. O segundo termo que foi agora adicionado apenas d
livres sem massa elds espinor Dirac, com aces do tipo. A notao que? so dois 2? 2
Matrizes de Dirac e =
?

+
?
um de dois componentes Majorana espinor. A condio Majorana
significa simplesmente que + e so reais em uma representao adequada da lgebra de Dirac. Na verdade,
uma escolha conveniente aquele para o qual
? ? @? = @ + + + @ +, (70)
onde @? representam derivadas com relao a? =? ? ?. Nesta base, as equaes de
movimento so simplesmente
@ +?
= @ ?
+ = 0: (71)
Assim?
descreve direito-movers e?
+ Descreve esquerdo motores.
24
Concentrando-se nos motores de direita?
, As transformaes globais supersimetria, que
so uma simetria da aco de calibre fixo, so
? X? = I? ?
(72)
? ?
= 2 @ x?:
Exerccio: Mostre que esta uma simetria da ao (69).
H uma simetria anloga para os motores de esquerda. (Assim, a teoria do mundo folhas est
disse ter (1, 1). supersimetria) Continuando a focar os motores-direita, o Virasoro
restrio
(@ x) 2 +
Eu
2
?
? @ = 0: (73)
O termo primeiro o que encontramos na teoria das cordas bosnico, eo segundo termo uma
ferminico contribuio adicional. H tambm uma limitao associada ferminico
?
@ x? = 0: (74)
Os modos de Fourier de satisfazer essas restries a lgebra super-Virasoro. H um segundo
lgebra super-Virasoro idntico para os motores de esquerda.
Como na teoria das cordas bosnico, a lgebra Virasoro tem termos de anomalias de conformao proporcionais
a uma carga central c. Tal como no que a teoria, cada componente de x? 1 contribui para o
carga central, para um total de d, enquanto que (na abordagem de quantizao BRST) reparametrizao o
fantasmas simetria contribuir 26. Mas agora h contribuies adicionais. Cada
componente de? d +1 = 2, para um total de d = 2, e os fantasmas supersimetria locais contribuem
11. Adicionando-se tudo isso, d um total de c = 3d
2 15. Assim, vemos que
a anomalia conformal cancela para a escolha c especi d = 10. Este o preferido crtico
dimenso para supercordas, como d = 26 a dimenso crtica para cordas bosnicos. Para
outros valores a teoria tem uma variedade de inconsistncias.
3,2 R e setores NS
Vamos agora considerar condies de contorno para? (;). (A histria de x? Est exatamente como antes.)
Primeiro, vamos considerar as condies aberta cordas de fronteira. Para a ao ser bem de nido, ele
Acontece que um deve definir + =? nas duas extremidades? = 0;?. Um sinal global uma questo
de conveno, para que possamos definir
? +
(0;?)? =
(0;?), (75)
25
sem perda de generalidade. Mas isso ainda deixa duas possibilidades para a outra extremidade, que so
R chamado e NS:
R:?
+ (;) = ?
(;) (76)
NS:?
+ (;)? =
(;):
Combinando-as com as equaes de movimento @ + = + = 0, que nos permite expressar a
solues gerais como sries de Fourier
R:?
=
1
p2
X
n2Z
d?
ne em (? ?) (77)
?
+ =
1
p2
X
n2Z
d?
ne em (? +?)
NS:?
=
1
p2
X
R2Z +1 = 2
b?
r e ri (? ?)
? +
=
1
p2
X
R2Z +1 = 2
b?
r e ri (+?):
A condio Majorana implica que d?
n = d? Y n e b?
r = b? Y r. Note-se que o ndice n toma
valores inteiros, enquanto o ndice r leva meia-inteiros valores (? 1
2;? 3
2; :::). Em particular,
apenas a condio de limite R d um modo zero.
Quantizao cannica dos elds livres Fermi? (;?) muito normal e simples.
O resultado pode ser expresso como relaes anticommutation para o coe? Cients d?
m e
b?
r:
R: fd?
n, d?
?? ng = m + n, 0 m, n 2 Z (78)
NS: fd?
r, d?
s g = r + s;?? 0 r, s 2 Z +
1
2
:
Assim, em adio aos agentes de osciladores harmnicos?
m que aparecem como coe? cients no modo
expanses de x?, h oscilador ferminico operadores d?
m ou b?
r que aparecem como coe? cients
expanses em modo de?. A estrutura bsica fb; byg = 1 muito simples. Ele descreve um
dois estados do sistema com bj0i = 0, e = byj0i j1i. O da b ou d's com ndices negativos podem ser
considerado como levantar operadores e aqueles com ndices positivos como operadores de reduo, assim como
fizemos para o? n.
No setor de NS, o estado fundamental j0; pi satis es
?
mj0; pi = b?
r j0; pi = 0; m, r> 0 (79)
que uma generalizao simples de como ns de nido o estado do terreno no bosnico
teoria das cordas. Todos os estados excitados obtidos por agir com a? e b levantando operadores
26
so bsons espao-tempo. Veremos mais tarde que o estado fundamental, de nido como temos feito aqui,
novamente uma tachyon. No entanto, nesta teoria, como veremos tambm, h uma maneira pela qual esta
tachyon podem (e devem) ser removido a partir do espectro fsico.
No setor de R h zero modos que satisfazem a lgebra
fd?
0; d?
0g =?? : (80)
Este o d-dimensional lgebra Dirac espao-tempo. Deste modo, o de d0 deve ser considerado como Dirac
matrizes e todos os estados no setor de P deve ser espinores a fim de fornecer representao
espaos em que estes operadores podem atuar. A concluso, portanto, que, enquanto toda a cadeia
estados no setor NS so bsons espao-tempo, todos os estados de cadeia no setor de P so o espao-tempo
frmions.
No caso corda fechada, os estados fsicos so obtidos por tensoring direito-movers e
deixou-motores, cada um dos quais so matematicamente muito semelhante ao do espectro de cadeia aberta.
Este
significa que h quatro setores distintos de closed-corda estados: NS
NS e R
R descrever
bsons espao-tempo, enquanto NS
R e R
NS descrever frmions espao-tempo. Ns vamos voltar
para explorar o que isto d mais tarde, mas rst precisamos explorar os motores de direitos por si
com mais pormenor.
O modo de zero da restrio ferminico? @ x? = 0 d uma equao de onda para
(Ferminico) cordas no setor Ramond, F0j i = 0, que chamado de Dirac {Ramond
equao. Em termos dos osciladores
F0 =? 0? d0 +
X
n6 = 0
? n? dn: (81)
A pea em zero de modo F0,? 0? d0, tem sido isolado, uma vez que apenas a habitual Dirac
operador,
? @?, At a normalizao. (Lembre-se que? 0? proporcional p? = i @?, E d?
0
proporcional s matrizes de Dirac
?.) O cho ferminico estado j 0i, que satis es
?
n j 0i = d?
n j 0i = 0, n> 0, (82)
satis es a equao de onda
? 0? d0j 0i = 0, (83)
que precisamente a equao de Dirac sem massa. Da que o Estado um terreno ferminico sem massa
espinor.
3,3 Projeo O GSO
No sector do NS (bosnico) a frmula de massa
M2 = N
1
2
, (84)
27
que para ser comparado com a frmula = N M2 1 da teoria das cordas bosnico. Desta vez
o operador tem o nmero N de contribuies dos osciladores b, bem como o? osciladores.
(A razo por que a constante normal-ordenao 1 = 2 em vez de 1 funciona como se segue. Cada
transversal? oscilador contribui 1 = 24 e cada oscilador b transversal contribui 1 = 48.
O resultado segue desde a teoria bosnico tem 24 direes transversais e supercordas
teoria tem 8 direes transversais.) Assim, o estado fundamental, que tem N = 0, agora um
tachyon com M2 = 1 = 2.
Este o lugar onde as coisas estavam at que o trabalho de 1976 Gliozzi, Scherk, e Olive [14]. Eles
notar-se que o espectro de um truncamento admite consistente (o chamado projeco GSO) que
necessria para a consistncia da teoria de interao. No setor de NS, a projeo GSO
mantm estados com um nmero mpar de b-oscilador excitaes, e remove estados com um mesmo
nmero de b-oscilador de excitao. Uma vez que esta regra implementado somente os valores possveis de
N so inteiros e meio, e o espectro de massas permitidos so integrais
M2 = 0, 1, 2; :::: (85)
Em particular, o estado fundamental agora bosnico massa. O espectro no contm
um tachyon. A projeco GSO tambm actua sobre o sector R, em que h um anlogo
restrio dos osciladores d. Isso equivale a impor uma projeo sobre a quiralidade
espinores.
Vamos olhar para o espectro sem massa da teoria GSO-projetada. O estado fundamental
bson agora um vetor sem massa, representado pelo estado? b?
1 = 2J0; pi, que (como antes) tem
d 2 = 8 polarizaes fsicas. O frmion estado fundamental um sem massa de Majorana {Weyl
frmion que tem 1
4? 2d = 2 = 8 polarizaes fsicas. Assim, existem um igual nmero de
bsons e frmions, como exigido para uma teoria com supersimetria espao-tempo. Na verdade, esta
o par de elds que entram na 10-dimensional de super Yang {Mills teoria. A alegao
que a teoria completa agora tem supersimetria espao-tempo.
Se h supersimetria espao-tempo, ento deve haver um nmero igual de bsons
frmions e em todos os nveis de massa. Vamos denotar o nmero de estados bosnicos com M2 = n
Por DNS (n) eo nmero de estados com ferminico M2 = n por dR (n). Ento podemos codificar
esses nmeros em funes geradoras, assim como fizemos para a teoria das cordas bosnico
FNS (w) =
1X
n = 0
DNS wn (n) =
1
2PW
0
@ 1Y
m = 1
1 + ui 1 = 2
1 wm
! 8

1Y
m = 1
1 wm 1 = 2
1 wm
! 8
1
A
(86)
fR (w) =
1X
n = 0
dR wn (n) = 8
1Y
m = 1
?
1 + wm
1 wm
? 8
: (87)
28
O 8 em expoentes se referem ao nmero de direces transversais em dez dimenses. O
e? ect da projeo GSO a subtrao do segundo mandato, em FNS e reduo de
coe? cient em fR 16-8. Em 1829, Jacobi descobriu a frmula
fR (w) = FNS (w): (88)
(Ele usou um di notao? Erent, claro.) Para ele, essa relao era uma curiosidade obscura, mas
agora vemos que ele fornece fortes evidncias para a supersimetria desta teoria de cordas em 10
dimenses. A prova completa da supersimetria para a teoria de interao foi construdo
por ano ve verde e me depois que o papel GSO [13].
3,4 Tipo II Supercordas
Ns descrevemos o espectro de bosnico (NS) e estados ferminicos (R) de cordas. Isto tambm
d o espectro da esquerda e da direita em movimento em movimento de cadeia fechada modos, para que
possamos formar a
fechou-corda espectro atravs da formao de produtos tensoriais como antes. Em particular, o massless
certo movimento espectro consiste de um vector e um Majorana {spinor Weyl. Assim, o sem massa
fechou-corda espectro dada por
(Vetor + MW espinor)
(Vetor + MW espinor): (89)
Na verdade, existem duas possibilidades distintas porque dois MW espinor pode ter um oposto
quiralidade ou a mesma quiralidade.
Quando os dois espinores MW tm quiralidade oposta, a teoria chamada de tipo IIA supercordas
teoria, e seu espectro sem massa faz o tipo multipleto supergravidade II. Este
teoria esquerda-direita simtrica. Em outras palavras, o espectro invariante sob espelho re-

seco. Isto implica que a teoria IIA paridade conservao. Quando os dois espinores MW
tm a mesma quiralidade, a teoria de supercordas resultante tipo IIB quiral e, portanto, a paridade
violar. Em cada caso, existem dois gravitinos, decorrente vector
espinor e espinor

vetor, que so elds calibre para supersimetria local. (Em quatro dimenses diramos
que as gravitinos tm spin 3 = 2, mas isso no uma descrio precisa de 10 dimenses.)
Assim, uma vez que ambas as teorias do tipo II tm dois supercordas gravitinos, tm locais N = 2 supersimetria
no sentido 10-dimensional. As acusaes so supersimetria Majorana {Weyl
espinores, que tm 16 componentes, assim as teorias do tipo II tm 32 sobrecarrega conservadas.
Esta a mesma quantidade de supersimetria como o que normalmente chamado de N = 8 em quatro
dimenses.
O tipo de teorias de supercordas II contm apenas orientados cordas fechadas (na ausncia
de D-branas). No entanto, h uma outra teoria de supercordas, chamado tipo I, que pode ser
obtido por uma projeco do tipo IIB teoria, que s mantm a soma da diagonal
29
dois gravitinos. Assim, esta teoria s tem N = 1 supersimetria (16 supercharges).
uma teoria de cordas no orientada fechados. No entanto, ela pode ser suplementada por aberta no orientada
cordas. Isso introduz um Yang {grupo de calibre Mills, que classicamente pode ser SO (n) ou Sp (n)
para qualquer valor de n. Quantum solteiros consistncia fora SO (32) como a nica possibilidade. Este
restrio pode ser entendido em um nmero de maneiras. A maneira que ela foi primeira descoberta foi
considerando anomalias.
3,5 Anomalias
Teorias quirais (paridade violar) calibre pode ser inconsistente devido a anomalias. Isto acontece
quando existe uma avaria mecnica quntica da simetria gauge, a qual induzida
por determinados esquemas de um circuito de Feynman. (s vezes, se considera tambm quebra de mundial
simetrias por anomalias, o que no implica uma inconsistncia. Isso no o que somos
interessado em aqui.) No caso de quatro dimenses, os diagramas relevantes so tringulos, com
os elds quirais indo ao redor do circuito e trs elds calibre anexados como linhas externas. Em
o caso do modelo padro, os quarks e lptons so quirais e contribuir para uma variedade
de possveis anomalias. Felizmente, o modelo padro tem apenas o contedo do direito, para que todos
das anomalias de calibre cancelar. Se um descartadas as contribuies quark ou lpton, seria
no funciona.
No caso de 10-dimensionais teorias de calibre quirais, o Feynman potencialmente anormal
diagramas so hexgonos, com seis elds calibre externos. As anomalias podem ser atribudas
aos elds sem massa, e, portanto, eles podem ser analisados no e de baixa energia? tiva eld
teoria. H vrios casos possveis em 10 dimenses:
? N = 1 supersimtrica Yang {teoria Mills. Esta teoria tem anomalias para cada escolha
do grupo de calibre.
? Tipo I supergravidade. Esta teoria tem anomalias gravitacionais.
? Digite supergravidade II. Esta teoria no-quirais, e, portanto, trivialmente anomalyfree.
? Supergravidade tipo IIB. Esta teoria tem trs elds quirais cada um dos quais contribui
a vrios tipos de anomalias gravitacionais. No entanto, quando suas contribuies so
combinadas, todas as anomalias cancelar. (Esse resultado foi obtido por Alvarez {Gaum? Ee
Witten em 1983 [15].)
? Tipo I supergravidade acoplado a super-Yang {Mills. Esta teoria tem tanto de calibre e
anomalias gravitacionais para cada escolha de Yang-Mills grupo de calibre exceto SO (32) e
30
E8? E8. Para estas duas escolhas, cancelar todas as anomalias. (Este resultado foi obtido pela
Verde e me em 1984 [16].)
Como mencionado anteriormente, a nvel clssica se pode tipo de ne eu teoria das supercordas
para qualquer grupo de calibre ortogonal ou simpltica. Agora vemos que no nvel quntico, o
nica escolha que consistente SO (32). Para qualquer outra escolha h anomalias fatais. O
termo SO (32) usada aqui um tanto imprecisa. H diversos grupos de Lie di? Erent que
tm a mesma lgebra de Lie. Acontece que o grupo de Lie preciso que seja apropriado girar
(32) = Z2.
3,6 Cordas heterticos
Os dois grupos de Lie que so apontados | E8? E8 e Spin (32) = Z2 | ter vrios
propriedades em comum. Cada um deles tem dimenso = 496 classificao e = 16. Alm disso, a sua
reticulados peso correspondem aos apenas dois at auto-duais reticulados em 16 dimenses. Este ltimo
fato foi a pista crucial que levou Gross, Harvey, Martinec, e Rohm [17] para a descoberta
da corda hetertica logo aps o resultado cancelamento anomalia. Uma dica a relao
10 + 16 = 26. A construo da corda hetertica utiliza o d = string bosnico 26 para
os motores de esquerda e os d = 10 supercordas os motores direita. O adicional 16 que se move da esquerda
dimenses esto associados a um mesmo auto-dual ltice 16-dimensional. Desta forma se constri
no SO (32) ou E8? E8 simetria de calibre.
Assim, para recapitular, em 1985 tivemos teorias das supercordas ve consistentes, tipo I (com
grupo SO calibre (32)), as duas teorias do tipo II, e as duas teorias heterticos. Cada um um
teoria 10-dimensional supersimtrica. A teoria de perturbao, foi estudada em considervel
pormenor, e ao mesmo tempo alguns detalhes podero no ter sido completada, era claro que cada um dos ve
teorias tem um bem de nido, expanso de perturbao ultravioleta-nite, satisfazendo todas as usual
requisitos de consistncia (unitariedade, analiticidade, causalidade, etc) Este foi agradvel, embora
era um tanto misterioso porque deve haver teorias de gravidade quntica ve consistentes.
Foram necessrios mais 10 anos at que ns compreendemos que estas so realmente quntico ve especial
vcuos de uma teoria nica subjacente.
Dualidade 3,7 T
T dualidade, um resultado surpreendente obtido no final de 1980, relata uma teoria de cordas com um
dimenso compacta circular de raio R a outra teoria de cordas com uma dimenso circular de
raio 1 = R (em unidades `s = 1). Isto muito profunda, porque indica uma limitao do nosso
movimentos normais da geometria clssica. Cordas ver geometria di? Erently de partculas pontuais.
Vejamos como isso possvel.
31
A chave para compreender a dualidade T considerar os tipos de excitaes que uma seqncia
pode ter, na presena de uma dimenso circular. Uma classe de excitaes, chamado Kaluza {
Excitaes Klein, uma caracterstica muito geral de qualquer teoria quntica, baseada ou no
em cordas. A idia que, para que o eipx funo de onda a ser de valor nico, o
impulso ao longo do crculo deve ser um mltiplo de 1 = R, p = n = R, onde n um nmero inteiro.
Do ponto de vista da dimenso inferior-isto interpretado como uma contribuio (n = R) 2 para o
quadrada da massa.
H um segundo tipo de excitao que especial para cadeias fechadas. A saber, um fechado
seqncia pode acabar m vezes em torno da dimenso circular, ser pego na topologia de
o espao, contribuindo com uma energia dada pelos tempos de tenso das cordas do comprimento da corda
Em = 2? R? m? T: (90)
T = 1 Colocando
2? (Para `s = 1), este apenas Em = mR.
O combinado de energia quadrado da {Kaluza Klein e sinuoso modo de excitaes
E2 =
?
n
R
? 2
+ (MR) 2 + :::; (91)
onde os pontos representam contribuies oscilador de cordas. Sob dualidade T
m $ n, R $ 1 = R: (92)
Juntos, esses intercmbios deixar a energia invariante. Isto significa que, o que interpretado
como Kaluza {excitao Klein em uma teoria das cordas interpretado como um enrolamento de excitao de
modo
na teoria T duplo, e as duas teorias tm raios e R 1 = R, respectivamente. Os dois
exemplos principais de T-duais pares so as duas teorias do tipo II e as duas teorias heterticos.
Neste ltimo caso, h aspectos tcnicos adicionais que explicam como os dois grupos de calibre
esto relacionados. Basicamente, quando o catio compacti em um crculo a nove dimenso realizada
em cada caso, necessrio incluir e? ects que ns no explicadas (chamadas linhas de Wilson)
para quebrar os grupos de calibre de SO (16)? SO (16), que um subgrupo de SO comum (32) e
E8? E8.
4 Aula 4: A partir das Supercordas a Teoria M
Teoria das supercordas est passando por um perodo de rpido desenvolvimento em que importante
avanos no entendimento esto sendo alcanados. O foco desta palestra ser em explicar
por isso, pode haver um vcuo 11-dimensional, mesmo que haja apenas dez dimenses
na teoria das supercordas perturbativa. A extenso no perturbativa da teoria das supercordas, que
permite uma dcima primeira dimenso foi nomeado teoria M. A letra M se destina a ser
32

exvel na sua interpretao. Ele poderia ficar para a magia, mistrio, ou meta de re
ect nossa atual
estado de compreenso incompleta. Aqueles que pensam que supermembranes bidimensionais
(O M2-brana) so fundamentais pode considerar M como estando por membrana. Uma abordagem
teoria chamada Matrix outra possibilidade. E, claro, alguma teoria M vista como a
me de todas as teorias.
No primeiro supercordas revoluo que identidades ed teorias das supercordas ve distintas, cada uma em
10 dimenses. Trs deles, do tipo I teoria e as duas teorias heterticos, tm N = 1
supersimetria no sentido 10-dimensional. Uma vez que o spinor 10d mnima simultaneamente
Majorana e Weyl, isto corresponde a 16 sobrecarrega conservadas. As outras duas teorias,
chamado tipo II e tipo IIB, tem N = 2 supersimetria (32 sobrecarrega). No AI
caso os dois espinores ter imparcialidade oposto de modo que o espectro de esquerda-direita simtrica
(Nonchiral). No caso das duas IIB espinores tm a mesma quiralidade e o espectro
quiral.
Em cada uma destas teorias de supercordas ve tornou-se claro, e foi amplamente demonstrado, de
h expanses de perturbao consistentes de amplitudes de espalhamento on-shell. Em quatro dos
ve casos (hetertico e tipo II) as cordas fundamentais so orientadas e inquebrvel. Como
resultado, essas teorias tm expanses de perturbao particularmente simples. Especi camente, no
um diagrama de Feynman nico em cada fim da expanso loop. Os diagramas de Feynman
retratar folhas mundiais de cordas, e, portanto, eles so superfcies bidimensionais. Para estes quatro
teorias do diagrama L-loop nico um gnero fechado orientvel-L superfcie de Riemann, que
pode ser visualizada como uma esfera, com L alas. Externos (entrada ou sada) partculas
so representados por N pontos (ou punes \ ") sobre a superfcie de Riemann. Um diagrama dado
representa um bem de nida integral de 2 N 6 dimenso 6L. Esta integral no tem ultravioleta
divergncias, embora o espectro de estados de spin contm arbitrariamente elevado (incluindo um
sem massa grviton). Do ponto de vista do ponto de partculas de contribuies corda, e supersimetria
propriedades so responsveis por cancelamentos incrveis. Tipo I supercordas so
no orientada e quebrvel. Como resultado, a expanso de perturbao mais complicado para
esta teoria, e vrias folhas diagramas mundo em uma determinada ordem tm de ser combinados corretamente
para cancelar as divergncias e anomalias.
Uma importante descoberta que foi feita entre as duas revolues de supercordas T
dualidade. Como explicado anteriormente, esta dualidade relaciona duas teorias de cordas quando um espacial
dimenso forma um crculo (representado S1). Em seguida, a geometria 10-dimensional R9? S1. T
dualidade identifi cao es esta cadeia compacti com uma de uma teoria das cordas tambm em segundo
R9? S1. Se os raios dos crculos nos dois casos so indicados os smbolos R1 e R2, em seguida,
? R1R2 = 0: (93)
33
Aqui? 0 = `2s
o parmetro de inclinao universal Regge, e `s o comprimento da corda fundamentais
escala (para ambas as teorias de cordas). Note-se que a dualidade T implica que encolhendo o crculo de zero
em uma teoria corresponde decompacti cao da teoria dual.
O IIA tipo e teorias IIB so T dupla, ento a teoria compactifying IIA nonchiral em
um crculo de raio R e R deixar! 0 d a teoria IIB quiral em 10 dimenses! Este
significa, em particular, que no devem ser considerados como teorias distintas. O raio R
, na verdade, o valor de vcuo de um escalar eld, que surge como um componente interno do
10d tensor mtrico. Assim, o tipo IIA e IIB em teorias do tipo 10-D so dois pontos limitantes
em um espao de mdulos contnua de quantum vcuo. As duas teorias heterticos so tambm T duplo,
embora h mais detalhes tcnicos neste caso. Dualidade T aplicada ao tipo I
teoria d uma descrio dual, que por vezes chamado de tipo IA ou I0.
Teoria 4,1 M
Nos anos 1970 e 1980, vrias teorias supersimetria e supergravidade foram construdos.
Em particular, a teoria das representaes supersimetria mostrou que o maior espao-tempo possvel
dimenso de uma teoria da supergravidade (com spins? 2) 11. Onze dimenses
supergravidade, que tem 32 sobrecarrega conservadas, foi construdo em 1978 por Cremmer,
Julia, e Scherk [18]. Ele tem trs tipos de elds | da DRA grviton (com 44 polarizaes),
o eld gravitino (com 128 polarizaes), e um medidor de trs ndice eld C?? (Com
84 polarizaes). Estas partculas sem massa so referidos coletivamente como o supergraviton.
Supergravidade 11d nonrenormalizable e, portanto, no pode ser uma teoria fundamental. No entanto,
agora acreditamos que uma e de baixa energia? tiva descrio da teoria de M, que um
bem de nido teoria quntica. Isto significa, em particular, que o aumento da dimenso, termos no
e? aco tiva para as elds supergravidade tm unicamente determinada coe? cients dentro do
M configurao teoria, apesar de serem formalmente em nite (e, portanto, indeterminado) dentro
contexto supergravidade.
Conexes intrigantes entre a teoria das cordas tipo IIA e supergravidade 11d ter sido
conhecido h muito tempo, mas a relao exacta s foi explicada em 1995. O eld
equaes de supergravidade 11d admitir uma soluo que descreve um supermembrane. Em outra
palavras, esta soluo tem a propriedade de que a densidade de energia concentrada num bidimensional
superfcie. A descrio do mundo volume 3D da dinmica deste supermembrane,
bastante anloga s aces mundo 2D em volume das supercordas (no formalismo GS [19]),
foi construdo por Bergshoe?, Sezgin e Townsend em 1987 [20]. Os autores sugeriram
que uma teoria quntica consistente 11d pode ser de nida em termos dessa membrana, em analogia
amarrar teorias em dez dimenses. (A maioria dos especialistas acreditam agora que a teoria M no pode
ser de nido como uma teoria supermembrane). Outro resultado surpreendente foi que um adequado dimen-
34
reduo profissional deste supermembrane d o tipo (anteriormente conhecido) IIA supercordas
mundo volume ao. Durante muitos anos, estes fatos permaneceu curiosidades inexplicveis at que
foram reconsiderados por Townsend [21] e por Witten [22]. A concluso que tipo IIA
supercordas teoria realmente tem uma dimenso circular 11 para alm da anteriormente
conhecido dez dimenses do espao-tempo. Este fato no foi reconhecido mais cedo porque a aparncia
da dimenso 11 um fenmeno no perturbativa, no visvel na perturbao
teoria.
Para explicar a relao entre a teoria M e teoria de cordas tipo IIA, uma boa abordagem
identificar os parmetros que caracterizam cada um deles e para explicar como eles so
relacionados. Onze dimenses supergravidade (e, portanto, a teoria M, tambm) no tem nenhuma adimensional
parmetros. O nico parmetro a constante de Newton 11d, que elevou a uma adequada
potncia ( 1 = 9), d a 11d Planck massa mp. Quando a teoria M compacti ed em um crculo
(De modo a que a geometria do espao-tempo R10? S1) um outro parmetro o raio R do crculo.
Agora, considere os parmetros do tipo IIA teoria das supercordas. Eles so a escala de massa cadeia
ms, introduzido anteriormente, ea seqncia de acoplamento adimensional gs constante.
Podemos identificar compacti ed teoria M com o tipo de teoria das supercordas IIA, fazendo o
seguintes correspondncias:
m2s
= 2? Rm3p
(94)
? gs = 2 RMS: (95)
Usando estes pode-se derivar gs = (2? PGR) 3 = 2 e ms = g1 = 3
s pf. Esta ltima implica que o
11d comprimento de Planck menor do que a escala de comprimento corda no acoplamento fraco por um fator
de
(GS) 1 = 3.
Teoria de perturbao convencional string uma expanso em potncias de gs em xed ms.
A equao (95) mostra que isto equivalente a uma expanso de cerca de R = 0. Em particular, o
limite de acoplamento forte do tipo de teoria das supercordas IIA corresponde a decompacti cao
a dcima primeira dimenso, portanto, em uma teoria M sentido a teoria das cordas tipo IIA menos em
acoplamento nite.
(O E8? E8 teoria das cordas hetertica tambm 11-dimensional de acoplamento forte.) Este
explica por que a dcima primeira dimenso no foi descoberto em estudos de perturbao cadeia
teoria.
Essas relaes codificar alguns fatos interessantes. Por um lado, a seqncia de IIA fundamentais
na verdade, uma M2-brana da teoria M com uma das suas dimenses em volta da circular
dimenso espacial. Denotando as tenses de corda e de membrana (energia por unidade de volume) por
TF1 e TM2, se deduz que
? TF1 = 2 RTM2: (96)
35
No entanto, TF1 = 2? M2s
e TM2 = 2? m3p
. Combinando essas relaes d eq. (94).
4.2 Tipo II p-branas
Teorias do tipo II supercordas conter uma variedade de p-branas solues que preservam a metade do 32
supersimetrias. Estas so as solues em que a energia est concentrada em um p-dimensional
hipersuperfcie espacial. (O volume mundo tem um p dimenses.) As solues correspondentes
teorias de supergravidade foram construdos em 1991 por Horowitz e Strominger [23]. Um grande
classe dessas excitaes p branas so chamados D-branas (ou Dp-branas quando queremos especificar
a dimenso), cuja tenso dada por
TDP = 2? Mp 1
s = gs: (97)
Esta dependncia da constante de acoplamento um dos aspectos caractersticos de um D-brana.
Outra caracterstica da D-branas que eles carregam uma carga que os casais para um medidor
eld no sector RR da teoria [24]. Os particulares RR elds calibre que ocorrem implicam
que p leva at mesmo os valores na teoria IIA e valores mpares na teoria IIB.
Em particular, o D2-brana do tipo IIA teoria corresponde de supermembrane
Teoria M, mas agora de uma geometria de fundo em que uma das dimenses transversais um
crculo. As tenses verificar, porque (usando eqs. (94) e (95))
TD2 = 2 m3?
= Gs = 2? M3p
= TM2: (98)
A massa da primeira excitao Kaluza Klein {do supergraviton 11d 1 = R. Usando eq. (95),
vemos que isso pode ser identi cados com o D0-brana. Ctions mais identidades deste tipo surgem
quando consideramos a dupla magntico do supermembrane teoria M, que uma ve-brana,
chamado M5-brane.2 tenso Sua TM5 = 2? M6P
. Envolvendo uma das suas dimenses em torno
o crculo d o D4-brana, com tenso
TD4 = 2? RTM5 = 2? M5S
= Gs: (99)
Se, por outro lado, o M5-quadro no envolvida em torno do crculo, obtm-se a
NS5-brana da teoria IIA com a tenso
TNS5 = TM5 = 2? M6S
= G2
s: (100)
Para resumir, tipo IIA teoria das supercordas a teoria M compacti ed em um crculo de raio
R = gs `s. M teoria acredita-se ser um bem de nida teoria quntica em 11d, a qual se aproxima
a baixa energia por supergravidade 11d. Suas excitaes so o supergraviton sem massa,
2No geral, a dupla magntico de uma p-brana em d dimenses a (d p 4)-brana.
36
o M2-brana, eo M5-brana. Estes conta tanto para o fundamental (perturbativa)
seqncia da teoria IIA e para muitos dos seus excitaes no perturbativa. As identidades que
apresentamos aqui so exatas, porque eles so protegidos por supersimetria.
4,3 Tipo Teoria das Supercordas IIB
Tipo II teoria das supercordas, que a teoria das cordas outra mximo supersimtrica
com 32 sobrecarrega conservadas, tambm 10-dimensional, mas ao contrrio da teoria IIA seus dois
supercharges tm a mesma quiralidade. Na baixa energia, tipo de teoria das supercordas IIB
aproximadas por supergravidade tipo IIB, assim como supergravidade 11d aproxima a teoria M. Em
cada caso, a teoria da supergravidade apenas bem-de nido como uma teoria eld clssico, mas ainda pode
nos ensinar muito. Por exemplo, ele pode ser usado para a construo de p-branas solues e calcule a sua
tenses. Mesmo que essas solues so apenas aproximados, supersimetria consideraes
garantir que as tenses, os quais esto relacionados com os tipos de cargas conservadas as p-branas
transportar, so exatas. Como o espectro IIB contm sem massa elds quirais, deve-se verificar
se existem anomalias que quebram as invarincias calibre | invarincia de coordenadas geral,
invarincia de Lorentz local, e locais supersimetria. Na verdade, o niteness UV da cadeia
teoria Feynman diagramas garante que todas as anomalias deve cancelar, como foi veri ed de um eld
ponto de vista teoria Alvarez-Gaum? ee Witten [15].
Tipo II ou teoria das supercordas supergravidade contm dois elds escalares, a dilatao? e
um axion?, que so convenientemente combinadas num complexo eld
? =? + Ie :? (101)
A aproximao supergravidade tem um SL (2, R) simetria que transforma este eld no linear:
? !
um? + B
c? + D
, (102)
onde a, b, c, d so nmeros reais satisfazendo anncio bc = 1. No entanto, na cadeia de quantum
Teoricamente, esta simetria quebrada ao subgrupo discreto SL (2, Z) [25], o que significa que
a, b, c, d so restritos a serem inteiros. De o do valor do vcuo? eld ser
h? i =
?
2?
+
Eu
gs
, (103)
o SL (2, Z) transformao simetria? ! ? + 1 implica que? uma coordenada angular.
Alm disso, no caso especial? = 0, a transformao simetria? ! 1 =? leva gs! 1 = gs.
Essa simetria, chamado S dualidade, implica que o acoplamento gs constante equivalente ao acoplamento
1 = constante gs, de modo a que, no caso do tipo de teoria de supercordas II, a expanso acoplamento fraco
37
ea expanso forte acoplamento so idnticos! (Uma transformao S-dualidade anloga
relaciona a teoria das supercordas tipo I para o SO a teoria das cordas (32) hetertico.)
Lembre-se que o AII tipo e teorias das supercordas tipo IIB so T dupla, o que significa que se
eles so compacti ed em crculos de raios RA e RB, obtm-se as teorias equivalentes para a
identifi cao RaRb = `2s
. Alm disso, vimos que o tipo IIA teoria realmente a teoria M
compacti ed em um crculo. O ltimo fato codifica a informao no perturbativa. Acontece
ser muito til para combinar esses dois fatos e considerar a dualidade entre a teoria M
compacti ed em um toro (R9? T2) e tipo IIB a teoria das supercordas compacti ed em um crculo
(R9? S1).
Um toro pode ser descrito como o plano complexo modded pelas relaes de equivalncia
z? z + w1 e z? z + w2. At conformal equivalncia, os perodos de W1 e W2 podem ser
substitudo por 1 e? , Com Im? > 0. Nesta caracterizao? e? 0 = (um? + B) = (c? + D),
onde a, b, c, d so inteiros satisfazendo anncio bc = 1, descrever tori equivalente. Assim, um toro
caracterizada por um parmetro de modular? e um SL (2, Z) o grupo modular. O natural, e
conjecturas, correta neste momento que se deve identificar o parmetro modular? do
M toro teoria com o parmetro? que caracteriza o vcuo do tipo IIB [26, 27]. Depois
a dualidade da teoria M e teoria das supercordas tipo IIB d uma explicao geomtrica de
simetria no perturbativa S dualidade da teoria IIB: a transformao? ! 1 =?,
que envia gs! 1 = gs na teoria IIB, corresponde ao intercambiar os dois ciclos do
toro na descrio teoria M. Para completar a histria, devemos relacionar a rea da M
toro teoria (AM), para o raio do crculo teoria IIB (RB). Esta uma simples conseqncia
das frmulas acima indicadas
m3p
PM = (2 RB?) 1: (104)
Assim, o limite RB! 0, em xado?, Corresponde a decompacti catio do toro teoria M,
preservando sua forma. Por outro lado, o limite de PM! 0 corresponde ao catio decompacti
do crculo teoria IIB. A dualidade pode ser mais explorada, combinando as vrias p-branas
em 9 dimenses que podem ser obtidos a partir de qualquer teoria M ou os pontos de vista da teoria IIB.
Quando isso for feito, uma nds tudo o que corresponde bem e que se deduz vrias
relaes entre as tenses [28].
Outro fato interessante sobre a teoria IIB que ele contm uma na famlia de nite
cadeias marcadas por um par de nmeros inteiros (p, q) sem divisor comum [26]. A (1, 0) string
pode ser identifi cados como a cadeia IIB fundamental, enquanto o; string (0 1) a seqncia de-D. De
Deste ponto de vista, um (p, q) string pode ser considerado como um estado ligado de cordas p fundamentais
e q D-cordas [29]. Essas seqncias tm uma interpretao muito simples na teoria M dupla
Descrio. Elas correspondem a uma M2-brana com um dos seus ciclos de enrolada em torno de um (p, q)
38
ciclo do toro. O comprimento mnimo de um tal ciclo proporcional jp + q? j, e, assim,
Um nds que a tenso de um (p, q) (utilizando =?) String dada pela
Tp;? Q = 2 + q jp jm2s
: (105)
Imagine que voc viveu no mundo 9-dimensional que descrito como equivalente M
teoria compacti ed em um toro ou como o tipo IIB teoria das supercordas compacti ed em um
crculo. Suponha-se, por outro lado, voc tinha aceleradores de energia muito alta com a qual voc estava indo
para determinar o \ "dimenso verdadeira do espao-tempo. Voc concluiria que 10 ou 11 o
corrigir resposta? Se AM ou RB, era muito grande em unidades de Planck no haveria uma natural
escolha, claro. Mas como voc poderia decidir de outra forma? A resposta que, ou ponto de vista
igualmente vlido. O que determina que a escolha que voc faz qual dos elds sem massa voc
respeito como \ "componentes internos do tensor mtrico e quais voc considera como questo
elds. Campos que so componentes mtricas em uma descrio correspondem matria em elds
a uma dupla.
4.4 O D3-Brane e N = 4 Teoria Calibre
D-branas tm uma srie de propriedades especiais, que os tornam especialmente interessante. Por
ni co, so membranas em que cordas pode acabar | stands D para as condies de contorno de Dirichlet.
O fim de uma seqncia carrega uma carga, eo D-brana teoria do mundo volume contm
um U (1) calibre eld que carrega o associado
ux. Quando n Dp-branas so coincidentes, ou
paralelos e praticamente coincidentes, o associado (p + 1)-dimensional teoria mundo-volume um
U (n) teoria de gauge [29]. O medidor de n2 bsons Aij
? e seus parceiros supersimetria surgir
como os estados fundamentais de cordas orientadas execuo do om Dp-brana para o j Dp-brana.
Os elementos diagonais, pertencentes ao sublgebra de Cartan, tm massa. O Aij eld
? com
i 6 = j tem uma massa proporcional separao das membranas ith e j.
A teoria de calibre U (n) associado a uma pilha de n Dp-branas tem supersimetria maximal
(16 supercharges). O e baixo consumo de energia? Teoria tiva, quando as separaes branas so
pequena comparada com a escala de corda, supersimtrica Yang {Mills teoria. Estas teorias podem
ser construdo por reduo dimensional de 10d supersimtrica teoria de calibre U (n) a p + 1
dimenses. Um caso de particular interesse, que vamos agora focar, p = 3. Uma pilha de n
D3-branas no tipo de teoria das supercordas IIB tem um N dissociado = 4; d = 4 U teoria de gauge (n)
associado a ele. Esta teoria medidor tem um nmero de caractersticas especiais. Por um lado, devido
a cancelamentos bson {frmions, no h divergncias UV em qualquer ordem de perturbao
teoria. A funo beta (g) identicamente zero, o que implica que a teoria a escala
invariante. De facto, N = 4; teorias d = 4 calibre so conformemente invariante. Conformal
39
combina-se com a invarincia supersimetria para dar uma simetria superconformal, que contm
32 geradores ferminicos. Outra propriedade importante dos N = 4, d = 4 teorias de calibre
uma dualidade eltrico-magntico, que se estende a uma SL (2, Z) grupo de dualidades. Agora considere
a teoria de calibre N = 4 U (n) associado a uma pilha de n D3-branas de tipo IIB supercordas
teoria. H uma identi ca bvio, que acaba por ser correto. Ou seja, o SL (2, Z)
dualidade da teoria de calibre induzida a partir do ambiente que a teoria de supercordas tipo IIB.
As membranas D3-si so invariantes sob SL (2, Z) transformaes.
Como j disse, um (1, 0) fundamental seqncia pode acabar em um D3-brana. Mas aplicando um
SL apropriado (2, Z) de transformao, esta con gurao transformado para uma em que uma (p, q)
string termina no D3-brana. A carga no final deste descreve uma cadeia com dyon
p carga elctrica e magntica carga q, no que diz respeito ao calibre apropriado eld. Mais
em geral, para uma pilha de n D3-branas, qualquer par podem ser ligados por um (p, q) string. A massa
proporcional ao comprimento da corda vezes a sua tenso, o que ns vimos proporcional
jp + q? j. Desta forma, v-se que as partculas eletricamente carregadas, descrito por fundamentais
elds, pertencem nite em SL (2, Z) multipletos. Os outros estados so excitaes no perturbativa
da teoria gauge. Os gurations eld con que descrevem a preservar metade da
supersimetria. Como resultado suas massas so dadas exatamente pelas consideraes descritas
acima. Uma questo interessante, cuja resposta era desconhecida at recentemente, se N = 4
teorias de calibre em quatro dimenses tambm admitem excitaes no perturbativa que preservam quarto
da supersimetria. A resposta acaba por ser o que eles fazem, mas somente se n? 3. Este
resultado tem uma boa descrio dual em termos de trs cordas junes [30].
4.5 Concluso
Nesta palestra descrevemos alguns dos avanos interessantes em supercordas entendimento
teoria que ocorreram nos ltimos anos. A nfase tem sido na
aparncia no perturbativa de uma dcima primeira dimenso na teoria das supercordas tipo II, bem
como as suas implicaes quando combinado com supercordas dualidades T. Em particular, argumentou
que deve haver um vcuo quntico coerente, cuja baixa energia e? Descrio tiva
dado pela supergravidade 11d.
O que descrevemos faz uma imagem auto-consistente convincente, mas que no constitui
uma formulao completa da teoria M. Nos ltimos anos tem havido alguns
grandes avanos nesse sentido, que vamos brie
y mencionar aqui. A primeira, que passa
o nome de Teoria da Matrix, baseia uma formulao da teoria M em
no espao-tempo, em termos 11d
da mecnica quntica supersimtrica de N D0-branas no limite N grande. Matriz
Teoria passou todos os testes que foram realizados, alguns dos quais so muito trivial.
A construo tem uma generalizao agradvel para descrever compacti cao da teoria M em um
40
toro Tn. No entanto, no parece ser til para n> 5, e outro catio compacti
manifolds so (na melhor das hipteses) inbil para lidar. Outra desvantagem deste mtodo que ele
trata a dcima primeira dimenso di? erently das demais.
Outra proposta relativa supercordas e fundos teoria M a grande N limites de
certas teorias eld foi apresentada por Maldacena em 1997 [31] e para ser mais precisa
por Gubser, Klebanov, e Polyakov [32], e por Witten [33], em 1998. (Para uma reviso desta
tema, ver [34]). Nesta abordagem, existe uma dualidade conjecturado (isto , a equivalncia) entre
conformalmente uma invariante teoria eld (CFT) nas dimenses d e teoria das supercordas tipo IIB
ou teoria M em um espao Anti-de Sitter (AdS) em d + 1 dimenses. O restantes 9 d ou
10 dimenses d formar um espao compacto, sendo os casos mais simples esferas. Trs exemplos
com supersimetria ininterrupta so AdS5? S5, AdS4? S7, e AdS7? S4. Esta abordagem
por vezes referido como AdS / CFT dualidade. Este um extremamente ativo e muito promissor
assunto. Ele j nos ensinou muito sobre o comportamento N grande de calibre diversos
teorias. Como de costume, os mais fceis de estudar as teorias so aqueles com um monte de supersimetria, mas
Parece que neste quebra supersimetria abordagem mais acessvel do que no anterior
entes. Por exemplo, um dia pode ser possvel construir a cadeia QCD em termos de
uma teoria da gravidade dupla AdS, e us-lo para realizar clculos numricos do hdron
espectro. Na verdade, j houve algumas etapas preliminares neste sentido.
Apesar de todos os sucessos que foram alcanados no avano da nossa compreenso
Em particular,


O


Referncias

Univ. Press, 1987.

Phys.
Theor. Phys.
41
Phys.
46.

Theor. Phys.
Lett.



Phys.
Phys. Phys.
Lett.
Lett.
Phys.
Lett.

Lett.
Lett.
Lett.
Lett.
Phys.
Phys.

Phys.
Lett. Lett.

42
Phys. Proc. Suppl.
Lett.
Phys.
Phys.
Theor. Phys.
Lett.

Theor. Matemtica. Phys.

183.
43