You are on page 1of 55

Introdução à Teoria da Ressonância Harmônica por Onda

Andreia Thomaz
Dirigidas a um público de estudantes de pós-graduação em experimental física de altas energias, o levantamento
de alguns dos conceitos básicos em teoria da ressonância harmônica por onda. O objetivo é transmitir uma
sensação geral de que a teoria da ressonância harmônica por onda atingiu. Uma vez que a escala característica da
teoria ressonância harmônica por onda se espera que seja perto da escala de Planck, a estrutura de cadeias
provavelmente não pode ser sondada diretamente em experimentos do acelerador. A implicação mais acessível
experimental da teoria a ressonância harmônica por onda é supersimetria a ou abaixo da escala TeV.


























Conteúdo
1. Visão geral e Motivação
1,1 Supersimetria
1,2 Ideias básicas da teoria ressonância harmônicas por onda
1.3 Uma Breve História da Teoria de ressonância harmônica por onda
1.4 Compactação
1.5 Teorias da Perturbação
1.6 A segunda revolução das supercordas
1.7 As Origens da simetria de calibre
1.8 Conclusão
2. Conceitos Básicos de teoria da Ressonância Harmônica por Onda
2.1 Descrição Mundial de linha de uma partícula Ponto
2.3 Condições de contorno
2.4 Quantização
2.5 O Espectro Onda Grátis
2.6 Números de estados físicos
2.7 A Estrutura da Teoria de Onda de Perturbação
2.8 Recapitulação
3. Superondas 23
3.1 Teorias O Indicador fixo
3.2 R e setores NS
3.3 Projeção O GSO
3.4 Tipo Ondas II
3.5 Anomalias
3.6 Ondas heteróticos
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 Conclusão
1



Introdução
Foi apresentou-me com um grande desafio: explicar a teoria das ondas em física experimental de altas energias.
Isso deve ser possível, se as metas são realistas. Um dos objetivos é dar um sentido geral sobre o que é o assunto,
e por isso estou muitos entusiasmada com isso, como uma física teórica. Talvez você deve considerar essas
explicativa como uma experiência cultural proporcionando uma janela para o mundo de abstratos física teórica.
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 são bom saber, no entanto. Por exemplo, consistência da
teoria quântica e a gravidade é uma restrição severa, com consequências de grande alcance. Como será explicada,
a teoria da ressonância harmônica por onda requer supersimetria, e os teóricos, portanto, cordas estavam entre a
primeira a descobrir isso. Teorias de ressonância harmônica por onda supersimétricas são chamadas teorias
superondas harmônicas. Ao mesmo tempo, parecia haver distintas teorias das superondas harmônicas, mas foi
eventualmente percebeu que cada uma delas é, na verdade, um caso especial de um limitador completamente a
único teoria subjacente. Esta teoria ainda não está completamente formulada, e quando é, poderíamos decidir
que um novo nome é apropriado. Seja como for, é claro que estou a explorar uma estrutura extraordinariamente
rica, com muitas conexões profundas para vários ramos de fundamental da matemática e física teórica. Qualquer
que seja o estado final desta teoria pode ser, é claro que estes estudos já tenham sido uma experiência
recompensadora. Para apreciar plenamente a matemática subjacente a da teoria das superondas harmônicas
requer uma investimento de tempo e estudo. Muitos teóricos que fazem este investimento realmente tornar-se
fisgado por ele, e então não há como voltar atrás. Bem, você interpretar desta forma não é meu objetivo, já que
você está envolvido em outras atividades importantes, mas espero que possa transmitir uma ideia de por que
muitos teóricos do assunto são tão atraente. Para aqueles que desejam estudar o assunto com mais pormenor,
existem duas apresentações padrão dos manuais [1. 2]. O plano dessa tese é como se segue: A primeira etapa será
composto por um não-técnica geral visão geral do assunto. Ele é essencialmente a versão atual do meu colóquio
física(motivacional). Ele irá descrever alguns dos conceitos básicos e questões sem detalhes técnicos. Se for bem
sucedido, os interessados no assunto vai ter material suficiente a você que está disposto para sentar-se com
algumas das análises âmago da questão básica que explica o que se entende por um onda relativista, e como seus
modos normais são analisados. Modulo 2 vai apresentar a análise para a teoria das ondas bosônico. Esta é uma
teoria irrealista, com bósons só, mas o seu estudo é um passo pedagogicamente útil. Trata-se de muitos, mas não
todos, os problemas que surgem para superondas harmônicas . Modulo 3 a extensão para incorporar férmions e
supersimetria é descrito. Há dois formalismos básicos para fazer isso (chamado de RNS e GS). Devido ao tempo
de limitações, apenas a primeira delas será apresentado aqui, examinará algumas dos desenvolvimentos mais
recentes na velhice. Estes incluem vários dualidades não perturbativa, a existência de um limite de 11-
dimensional (chamada teoria-M), e a existência 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 .Visão geral e Motivação
Muitos dos principais desenvolvimentos em física fundamental do século passado surgiram a partir de
identificação e superação das contradições entre as ideias já existentes. Por exemplo, a incompatibilidade das
equações de Maxwell e galileu invariância levou Einstein a propor a especial teoria da relatividade. Da mesma
forma, a inconsistência da relatividade especial com gravidade newtoniana levou-o a desenvolver a teoria da
relatividade geral. Mais recentemente, a reconciliação especial da relatividade com a mecânica quântica levou ao
desenvolvimento da teoria quântica. Estamos agora enfrenta outra crise do mesmo personagem. Ou seja, a
relatividade geral parece ser incompatível com a teoria quântica. Qualquer tentativa simples de “quantizar” geral
relatividade conduz a uma teoria normalizada . Em minha opinião, isto significa que a teoria é inconsistente e
precisa ser longa e em distâncias curtas ou energias elevadas. A forma como o teoria das ondas faz isso é dar-se
um dos pressupostos básicos da teoria quântica, no pressuposto de que as partículas primárias são pontos
matemáticos e, em vez de desenvolver uma teoria quântica de objetos de uma dimensão estendidas, chamado
ondas, há muito algumas teorias consistentes deste tipo, mas a teoria das superondas harmônicas é uma grande
promessa como uni uma teoria quântica de todas as forças fundamentais, incluindo a gravidade. Não há teoria
das ondas harmônicas realista de partículas elementares que podem servir como um novo modelo padrão, uma
vez que há muito que ainda não é compreendido. Mas que, juntamente com uma compreensão mais profunda da
cosmologia, é a meta. Este ainda é um trabalho em progresso. Mesmo que a teoria das ondas harmônicas ainda
não está totalmente formulado, e ainda não podemos dar uma descrição detalhada de como o modelo padrão das
partículas elementares deve emergir a baixas energias, existem algumas características gerais da teoria que pode
ser identificado. Estas são características que parecem ser bastante genérico, independentemente de como os
vários detalhes sejam resolvidos. A primeira, e talvez mais importante, é que a relatividade geral é
necessariamente incorporada na teoria. Ele fica modo de longa distância e muito curtas / energias elevadas, mas
a uma distância normal e energias está presente em exatamente a forma proposta por Einstein. Este é significado,
porque está surgindo no âmbito de uma teoria quântica consistente. Ordinária teoria quântica faz não permitir
que a gravidade existe, a teoria das ondas harmônicas requer isso! O segundo fato geral é que Yang {Mills teorias
de calibre do tipo que compõem o modelo padrão naturalmente surgem na teoria das ondas. Nós não
entendemos por que o especifica SU (3) x SU (2) x U (1) Teoria de calibre do padrão modelo deve ser o preferido,
mas anomalia (anomalia-livre) teorias deste tipo geral surgem naturalmente as energias normais. A terceira
característica geral de soluções a teoria das ondas harmônicas é a supersimetria. A consistência matemática da
teoria das cordas depende crucialmente supersimetria, e é muito difícil para encontrar soluções consistentes
(vácuo quântico ) que não preserva, pelo menos, uma parte da supersimetria. Esta previsão da teórica da onda
harmônica . Interessadas de outros dois (Relatividade geral e teorias de calibre), em que ela realmente é uma
previsão. É uma característica genérica da teoria das ondas harmônicas que ainda não foi descoberto
experimentalmente.
1.1 Supersimetria
Mesmo que a supersimetria é uma parte muito importante da história, a discussão aqui vai ser muito breve, uma
vez que será discutido em detalhe por outros docentes. Haverá apenas algumas observações gerais. Primeiro,
como já disse, a supersimetria é a previsão importante da teoria das ondas harmônicas que poderia aparecer em
energias acessíveis, que ainda não foi descoberto. Uma variedade de argumentos não especifico para a teoria das
ondas harmônicas, sugerem que a energia característica 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 partículas elementares conhecidas devem ter partículas de parceiros, cujas massas estão neste intervalo
geral. Isso significa que alguns de superparcerias deve ser observável no Grande Colisor Hadron Collider (LHC),
que começará a operar na parte do meio da década. Há mesmo uma chance de que experimentos do Fermilab
Tevatron poderia encontrar superpartículas mais cedo do que isso. Na maioria das versões de supersimetria
fenomenológica há uma multiplicativamente conservada número quântico chamado R-paridade. Todas as
partículas conhecidas têm até R-paridade, que a sua superparcerias têm estranho R-paridade. Isto implica que as
superpartículas deve ser pré-produzido em colisões de partículas. Isso também implica que a partícula mais leve
supersimetria (ou LSP) deve ser absolutamente estável. Não se sabe com certeza que a partícula é LSP, mas um
popular
suposição é de que é um “neutralino”. "Este é um férmião eletricamente neutra, que é um mecânica quântica
mista dos parceiros do fóton, Z°, e partículas neutras de Higgs. Tal LSP iria interagir muito pouco, mais ou menos
como um neutrino. É de considerável interesse, uma vez que é um candidato excelente matéria escura. Procura
por partículas de matéria escura chamados WIMPS (fracamente interagindo partículas massivas) poderia
descobrir o LSP algum dia. Atual experiências pode não ter suficiente do volume detector para compensar a
extremamente pequenas seções transversais. Há três argumentos independentes que apontam para o mesmo
intervalo mássico para superpartículas.

O que acabamos de discutir, um LSP neutralino como um importante componente do escuro
matéria, requer uma massa de 100 GeV fim. O número exacto depende da mistura
que compreende o LSP, o que a sua densidade seja, e uma série de outros detalhes. Um segundo
argumento baseia-se no problema da hierarquia famoso. Este é o facto de que o modelo padrão
correções radiativas tendem a renormalizar a massa Higgs a uma escala muito elevada. A maneira de
evitar isso é estender o modelo padrão para um modelo padrão e para supersimétrica
têm a supersimetria ser quebrado numa escala comparável à massa de Higgs, e, portanto,
a escala eletrofraca. O terceiro argumento que dá uma estimativa da susy-quebra
escala é grande uni cação. Se alguém aceita a noção de que o grupo de calibre modelo padrão
é incorporado em um grupo maior calibre, tais como SU (5) ou SO (10), que é quebrado numa alta
escala de massa, em seguida, as três constantes de acoplamento padrão modelo deve unificar em que a massa
escala. Dado o espectro de partículas, pode-se calcular a evolução do acoplamento como um
função da energia por meio de equações do grupo de renormalização. Um nds que, se um só inclui
as partículas do modelo padrão deste cátion uni falhar muito mal. No entanto, se um também inclui
todas as partículas supersimetria exigidos pela extensão mínima da supersimétrica
modelo padrão, em seguida, os acoplamentos não unificar a uma energia de cerca de 2? 1016 GeV. Por esta
acordo ocorra, é necessário que as massas dos superpartículas têm menos de um
TeV poucos.
Existe outro tipo de apoio para esta imagem, tais como a facilidade com a qual supersimétrica grande
cação uni explica as massas dos quarks superior e inferior e eletrofraca simetria
ruptura. Apesar de todas estas indicações, não podemos ter certeza de que esse quadro é correto até
é demonstrado experimentalmente. Pode-se supor que tudo isso é uma coincidência gigante, e
a descrição correta da escala TeV física é baseada em algo inteiramente di? erent. A única
forma, podemos decidir com certeza é fazendo os experimentos. Uma vez eu disse a um repórter 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 idéias básicas da Teoria de Cordas
Em teoria convencional eld quântica as partículas elementares são pontos matemáticos,
enquanto que na teoria das cordas perturbativa os objetos fundamentais são unidimensionais laços
(De zero a espessura). Cordas têm uma escala de comprimento característica, que pode ser estimada pela
análise dimensional. Desde que a teoria das cordas é uma teoria quântica relativística 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 centímetros: (1)
Da mesma forma, a massa de Planck é
mp =
C ~
G
! 1 = 2
= 1:2? 1019 GeV = c2: (2)
Experiências em energias muito abaixo da energia de Planck não pode resolver distâncias tão curtas quanto
o comprimento de Planck. Assim, em tais energias, strings podem ser precisamente aproximada por ponto
partículas. Do ponto de vista da teoria das cordas, isso explica por que a teoria quântica tem eld
sido tão bem sucedido.
Como uma string evolui no tempo que varre a superfície de duas dimensões no espaço-tempo, que
é chamado a folha de mundo da corda. Esta é a contrapartida corda da linha mundo para
uma partícula ponto. Na teoria quântica eld, analisados em teoria de perturbação, as contribuições
para amplitudes são associadas aos diagramas de Feynman, que mostram possíveis da con gurations
linhas mundiais. Em particular, as interacções correspondem aos cruzamentos de linhas mundiais. Da mesma
corda,
teoria de perturbação teoria envolve folhas de cordas do mundo de várias topologias. Um particular
signi fato não pode é que essas folhas de mundo são genericamente suave. A existência de interacção
é uma consequência do mundo topologia folhas, em vez de uma singularidade local na folha mundo.
Esta di cia? Do ponto-partícula teorias tem duas implicações importantes. Em primeiro lugar, na cadeia
estrutura a teoria das interações é unicamente determinada pela teoria livre. Tem
nenhuma interação arbitrários para ser escolhido. Segundo, as divergências ultravioletas do ponto de partículas
teorias pode ser atribuída ao fato de que as interações estão associados ao mundo da linha de junções em
pontos speci c espaço-tempo. Como a folha mundo string é liso, amplitudes da teoria da corda
não ter divergências ultravioletas.
1.3 Uma Breve História da Teoria de Cordas
A teoria das cordas surgiu no final de 1960 é de uma tentativa de descrever a força nuclear forte.
A inclusão de férmions levou à descoberta de cordas supersimétricas | 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 interações fortes. Também, as teorias de cordas
tinha várias características irrealistas, como dimensões extras e partículas sem massa, nem de
que são apropriados para uma teoria hádron.
Entre os estados corda sem massa, há um que tem a rotação dois. Em 1974, foi demonstrado
Scherk por mim e [3], e independentemente por Yoneya [4], que esta partícula interage como um
6
gráviton, então a teoria realmente inclui a relatividade geral. Isso nos levou a propor essa seqüência
teoria deve ser usado para uni cação ao invés de hádrons. Isto implica, em particular,
que a escala de comprimento da corda deve ser comparável ao comprimento de Planck, e não o tamanho
de hádrons (10 13 cm) como se tinha anteriormente assumido.
Na \ primeira supercordas revolução ", que teve lugar em 1984 {85, houve uma série de
desenvolvimentos importantes (descrito mais tarde) que convenceram um grande segmento do teórico
física comunidade que esta é uma área que merece investigação. No momento em que a poeira baixou em
1985 tínhamos aprendido que há ve distintas teorias de cordas consistentes, e que cada um
los requer supersimetria espaço-tempo nos dez dimensões (nove dimensões espaciais mais
tempo). As teorias, os quais serão descritos mais tarde, são chamados de tipo I, tipo II, tipo IIB,
SO heterotico (32), e E8? E8 heterótico.
1,4 cação Compacti
No contexto do objetivo original da teoria das cordas {para explicar física hadrônica {adicional
dimensões são inaceitáveis. No entanto, em teoria, que incorpora a relatividade geral,
a geometria do espaço-tempo é determinado dinamicamente. Assim, pode-se imaginar que a
teoria admite soluções consistentes quânticos em que as outras seis dimensões espaciais formam
um espaço compacto, muito pequeno para ter sido observada. A primeira suposição natural é que o tamanho da
deste espaço devem ser comparáveis à escala corda eo comprimento de Planck. Uma vez que o
equações devem ser satis ed, a geometria deste espaço de seis dimensões não é arbitrária. A
possibilidade particularmente interessante, o que é consistente com as equações, é que ele forma um
tipo de chamada de espaço Calabi Yau {[5].
Calabi Yau {catião compacti, no contexto da E8? E8 teoria das cordas heterótico, pode
dar um e baixo consumo de energia? teoria tiva que se assemelha uma extensão do supersimétrica
modelo padrão. Há realmente muita liberdade, porque há muito di muitos? Erent
Calabi {Yau, e há outras escolhas arbitrárias que podem ser feitas. Ainda assim, é
interessante que se pode chegar bem perto de física realista. É também interessante que o
número de quark e lepton famílias que se obtém é determinada por a topologia da
Calabi {espaço Yau. Assim, por escolhas adequadas, pode-se organizar para acabar com exatamente três
famílias. As pessoas estavam muito animados com a imagem em 1985. Hoje em dia, temos a tendência de fazer
uma
mais sóbria avaliação que enfatiza toda arbitrariedade que está envolvido, e as coisas
que não funcionam exatamente certo. Ainda assim, não seria surpreendente se alguns aspectos dessa imagem
sobreviver como parte da história quando entendemos a maneira correta de descrever o mundo real.
7
1,5 Teoria de Perturbação
Até 1995, só foi entendida como formular teorias de cordas em termos de perturbação
expansões. Teoria de perturbação é útil em uma teoria quântica que tem uma pequena adimensional
constante de acoplamento, tal como eletrodinâmica quântica, uma vez que permite que se calcule físico
quantidades como expansões série de potência no parâmetro pequena. Em QED o parâmetro é pequeno
a ne-estrutura constante? ? 1 = 137. Uma vez que este é bastante pequeno, teoria de perturbação funciona
muito bem para QED. Para uma quantidade física T (?), Um computa (utilizando diagramas de Feynman)
T (?) = T0 +? T1 +? 2T2 + :::: (3)
É o caso genericamente na teoria quântica eld que expansões desse tipo são divergentes.
Mais especifi camente, que são as expansões assintóticas com a convergência de raio zero. No entanto,
eles podem ser numericamente útil se o parâmetro de expansão é pequena. O problema é que não existe
São vários os não-perturbativos contribuições (como instantons) que têm a estrutura
TNP? e (const:? =): (4)
Em uma teoria como a QCD, há regimes em que a teoria de perturbação é útil (devido a
liberdade assintótica) e outros regimes em que não é. Para problemas de último tipo,
como calcular o espectro de hádrons, os métodos não perturbativa de computação, tais como
teoria de gauge estrutura, são necessárias.
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 razão especial que este número deve ser pequeno. Por isso, é improvável que um realista
vácuo pode ser analisada com precisão usando teoria de perturbação. Mais importante ainda, esses
teorias têm muitas propriedades qualitativas que são inerentemente não perturbativa. Então é preciso
métodos não perturbativa para entendê-las.
1.6 A segunda revolução das supercordas
Por volta de 1995 alguns surpreendentes e inesperadas \ dualidades "foram descobertas que, desde que o
rst vislumbres características não perturbativa da teoria das cordas. Essas dualidades foram rapidamente
reconheceu ter três grandes implicações.
As dualidades permitiu relacionar todos ve das teorias de supercordas um ao outro. Este
significa que, em um sentido fundamental, todos eles são equivalentes uma à outra. Outra forma de
dizer isso é que há uma teoria única subjacente, e que tínhamos sido chamando ve
teorias são melhor vistos como expansões de perturbação desta teoria subjacente sobre ve
di? erent (pontos no espaço de coerência quântica vacuo). Este foi um profundamente satisfatória
8
realização, uma vez que realmente não queria ve teorias da natureza. Que há uma completamente
teoria única, sem quaisquer parâmetros adimensionais, é o melhor resultado poderia ter um
esperava. Para evitar confusão, deve salientar-se que, embora a teoria é
único, é perfeitamente possível que há muitos consistente quântica vácuos. Classicamente,
a instrução correspondente é que uma equação pode admitir muitas soluções. É um
solução particular (ou vácuo quântico) que ultimatelymust descrever a natureza. Pelo menos, esta
é como um físico de partículas diria. Se esperamos compreender a origem e evolução da
do universo, além de propriedades das partículas elementares, seria bom se pudéssemos
também compreender soluções cosmológicas.
A segunda descoberta crucial foi a de que a teoria admite uma variedade de excitações não perturbativa,
chamado p-branas, para além das cordas fundamentais. A letra p rotula o
número de dimensões espaciais da excitação. Assim, nesta linguagem, uma partícula é um ponto
0-brana, uma cadeia é uma 1-brana, e assim por diante. A razão que o p-branas não foram descobertos em
teoria de perturbação é que eles têm de tensão (ou densidade de energia) que diverge como gs! 0.
Assim, eles estão ausentes da teoria perturbativa.
A terceira descoberta importante foi a de que a teoria subjacente tem também um 11-dimensional
solução, que é chamada teoria-M. Mais tarde, vamos explicar como a décima primeira dimensão surge.
Um tipo de dualidade é chamado dualidade S. (A escolha da letra S é um acidente histórico
de não signi cância grande.) Duas teorias de cordas (vamos chamá-los de A e B) estão 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 física, a pessoa tem
fA (GS) = fB (1 = gs): (5)
Duas das teorias das supercordas | tipo I e SO (32) heterótica | estão 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. Graças a dualidade S, o comportamento de acoplamento forte
de cada uma dessas três teorias é determinada por uma análise de acoplamento fraco. Os dois restantes
teorias, tipo IIA e E8? E8 heterótico, comportam-se muito di? Erently de acoplamento forte. Eles
crescer uma décima primeira dimensão!
Outra dualidade surpreendente, que atende pelo nome de dualidade T, foi descoberto vários
anos antes. Pode ser entendido, em teoria de perturbação, que é por isso verificou-se rst.
Mas, felizmente, que muitas vezes continua a ser válido, mesmo em acoplamento forte. Dualidade T pode
relacionar di? cátions erent compacti de di? teorias erent. Por exemplo, suponha que A tem uma teoria
dimensão compacta que é um círculo de raio RA e teoria B tem uma dimensão compacta que
é um círculo de raio RB. Se estas duas teorias estão relacionadas pela dualidade T isto significa que eles
9
são equivalentes desde que
RaRb = (`s) 2, (6)
onde `s é a escala de comprimento fundamental string. Isto tem a implicação surpreendente que quando
um dos círculos torna-se pequeno o outro torna-se grande. Em uma palestra mais tarde, vamos
explicar como isso é possível. Dualidade T relaciona as duas teorias do tipo II e dois do heteróticos
teorias. Há exemplos mais complicados do mesmo fenômeno envolvendo compacto
espaços que são mais complicados do que um círculo, 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 básicas: {Kaluza Klein simetrias
e simetrias brana.
O básico Kaluza Klein {idéia remonta à década de 1920, embora tenha sido muito generalizada
desde então. A ideia é de supor que o 10 - ou 11-geometria dimensional tem um produto
estrutura M? K, onde M é o espaço-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 métrica com uma
direcção ao longo de K e o outro ao longo de M. Por exemplo, se o espaço de K é um n-dimensional
esfera, o grupo de simetria é SO (n + 1), se for CP n | o qual tem dimensões 2n | é
SU (n +1), e assim por diante. Elegante como este pode ser, parece improvável que um K realista tem qualquer
Tais simetrias. Espaços Calabi {Yau, por exemplo, não tem nenhum.
Uma forma um pouco mais promissora de conseguir simetrias de calibre realistas é através da membrana
abordagem. Aqui a idéia é que uma certa classe de p-branas (chamado D-branas) têm bitola
elds que são restritos ao seu volume mundial. Isto significa que os elds calibre não são
de nida por todo o 10 - ou 11-dimensional espaço-tempo, mas apenas sobre a (p +1)-dimensional
hipersuperfície de nido pelo D-branas. Esse quadro sugere que o mundo que observamos poder
ser uma D-brana embutida em um espaço de dimensão superior. Em tal cenário, não pode haver dois
tipos de dimensões extras: dimensões compactas ao longo das dimensões branas e compacto
perpendiculares ao brana.
O ponto de vista tradicional, que na minha opinião ainda é a melhor aposta, é que todos extra
dimensões (de ambos os tipos) têm tamanhos de ordem 10 30-10 32 centímetros correspondentes a uma
energia
escala de 1016 1018 GeV. Isso os torna inacessíveis à observação direta, embora a sua
existência teria de nite baixa energia conseqüências. No entanto, pode e deve perguntar
\ Quais são os limites experimentais? "Para dimensões compactas ao longo da membrana, que suportam
elds calibre, o nonobservation de dimensões extras em testes do modelo padrão implica
10
um limite de cerca de 1 TeV. O LHC deverá estender isso para cerca de 10 TeV. Para compacto
dimensões perpendicular \ para a brana ", que suporta apenas excitações com gravidade
forças de resistência, os melhores limites vêm de Cavendish tipo experiências, que o teste 1 = R2
estrutura da lei da força de Newton em curtas distâncias. Sem desvios foram observados para uma
distância de cerca de 1 mm, até agora. Experimentos planejados no futuro próximo deve estender o
limitar a cerca de 100 microns. Obviamente, a observação de qualquer desvio a partir de 1 R2 = seria
grande descoberta.
1,8 Conclusão
Esta palestra introdutória esboçou alguns dos sucessos notáveis que a teoria das cordas
conquistou ao longo dos últimos 30 anos. Há muitos outros que não fez t neste breve
pesquisa. Apesar de todo esse progresso, há algumas questões muito importantes e fundamentais
cujas respostas são desconhecidas. Parece que sempre que ocorre um avanço, um anfitrião de novo
questões surgem, eo objetivo final parece ainda um longo caminho o?. Para convencê-lo de que não
é um longo caminho a percorrer, vamos listar algumas das questões mais importantes:
? O que é a teoria? Apesar de uma grande quantidade se sabe sobre a teoria das cordas e M
teoria, parece que a formulação óptima da teoria subjacente ainda não tenha sido
encontrado. Ele pode ser baseado em princípios que ainda não foram formuladas.
? Estamos convencidos de que a supersimetria está presente em altas energias e, provavelmente, no
eletrofraca escala, também. Mas não sabemos como ou por que ele está quebrado.
? Um problema muito importante refere-se à densidade de energia do vácuo, que é um físico
quantidade em uma teoria gravitacional. Este é caracterizado por a constante cosmológica,
observacionalmente que parece ter um pequeno valor positivo | de modo que o vácuo
energia do universo é comparável à energia em matéria. Em unidades de Planck é
um pequeno número (? 10 120). Se a supersimetria foram ininterrupta, poderíamos 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 não é 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, não parecem ser muitos quântica consistente
vácuo. Nós gostaríamos muito de formular um princípio teórico (não baseados
na observação) para escolher entre esses vácuos. Não se sabe se o direito
abordagem para a resposta é cosmológica, probabilística, antrópica, ou outra coisa.
11
2 Aula 2: Teoria de Cordas Basics
Nesta palestra iremos descrever a dinâmica mundial de folha-da teoria original bosônico string.
Como veremos esta teoria tem várias propriedades irrealistas e insatisfatórios. Não obstante
é uma preliminar útil antes de descrever cordas supersimétricas, porque nos permite
introduzir muitos dos conceitos-chave sem simultaneamente abordar as complicações adicionais
associado com férmions e supersimetria.
Vamos descrever a dinâmica 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-histórias de vista. Este
abordagem está intimamente ligada à análise de teoria de perturbação. 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 começar por rever como ele pode ser usado para descrever uma enorme
ponto de partícula.
2.1 Descrição Mundial-Line de uma Partícula de Ponto
Uma partícula ponto varre uma trajetória (ou linha do mundo) no espaço-tempo. Isto pode ser descrito
por funções x (?) que descrevem como a linha do mundo, parametrizada por? , É incorporado em
o espaço-tempo, cujas coordenadas são indicadas x?. Para simplificar, vamos supor que o
espaço-tempo é
em Minkowski espaço com uma métrica 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 acção de uma partícula de massa m é dada por
S = m
Z
ds: (9)
Isto poderia ser generalizado para um espaço-tempo curvo substituindo?? por uma métrica g? (X), mas nós
não fazê-lo aqui. Em termos das funções de incorporação, x? (T), a ação pode ser reescrita
sob a forma
S = m
Z
d?
q
x_ x_;??? (10)
12
onde pontos representam? derivados. Uma propriedade importante desta ação é invariância sob
reparametrizations locais. Este é um tipo de invariância de gauge, cujo significado é de que o
forma de S é inalterado sob uma reparametrização arbitrário da linha do mundo? ! ? (~?).
Na verdade, deve-se exigir que a função? (~?) É suave e monótona
?
d?
d ~? > 0
?
. O
invariância reparametrização é um análogo unidimensional do geral quadridimensional
coordenar invariância da relatividade geral. Matemáticos se referem a esse tipo de simetria
como di? invariância eomorphism.
A invariância reparametrização de S nos permite escolher um medidor. Uma boa escolha é o
\ Manométrica estática "
x0 =:? (11)
Neste indicador (renomeando o parâmetro t) a ação se torna
S = m
Z p1 v2dt (12);
onde
~ V =
d ~ x
dt
: (13)
Exigir essa ação para estar parado em uma variação arbitrária de ~ x (t) dá a Euler {
Equações 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 cinemática relativista resulta da ação
S = m
R
ds.
2,2 Mundial-Volume Ações
Podemos agora generalizar a análise da partícula para um ponto de massa p-brana de Tp tensão.
A acção 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 incorporação da p-brana em d-dimensional do espaço-tempo é dada por funções x? (?).
O índice? = 0; :::; p rotula os p 1 coordenadas? do p-brana mundo-volume e a
índice? = 0; :::; d uma rótulos a d coordenadas x? do espaço-tempo d-dimensional. Temos
de nido
@? X? =
@ X?
@? : (18)
A operação determinante actua na (p + 1)? (P + 1) matriz cujas linhas e colunas
são marcados por? e. A tensão Tp é interpretada como a massa por unidade de volume do
p-brana. Para um 0-brana, é apenas a massa.
Exercício: Mostre que Sp é reparametrização 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 acção, chamado de Nambu {acção Goto, foi rst proposto em 1970 [6, 7]. O Nambu {
Goto acção é equivalente à acção
S [x, h] =
T
2
Z
d2? p hh? ?? @ X @ x;?? (21)
onde h? (;) É a métrica mundo folhas, h = h det? E h? é o inverso de h? . O
{Equação Euler Lagrange obtidos variando h? são
T? = @? X? @ X
1
2
h? h
? @
x? ? @ X = 0: (22)
Exercício: Mostre que T? = 0 pode ser utilizada para eliminar a métrica mundo folhas da
ação, e que, quando isso é feito um recupera a Nambu {ação Goto. (Dica: levar o
determinante de ambos os lados da equação @? x? @ X = 1
2h? h
? @
x? @? X :)
Além de invariância reparametrização, a ação S [x, h] tem outra simetria local,
chamada invariância conformal (ou invariância de Weyl). Especi camente, que é invariante sob a
substituição
h? ! ? (;) H? (23)
x? ! x?:
Esta simetria local é especial para o = p 1 caso (cordas).
14
As duas simetrias reparametrização invariância de S [x, h] nos permitem escolher um medidor
na qual as três funções de h? (Isto é um 2 simétrica? 2 da matriz) são expressos em termos
de apenas uma função. Uma escolha conveniente é o \ conformalmente
a bitola "
h? =? ? e (;): (24)
Aqui,? denotado o bidimensional de uma métrica de Minkowski
em folha de mundo. No entanto,
e devido ao factor;? h? é apenas \ conformalmente
em ". Classicamente, substituição deste calibre
escolha em S [x, h] deixa a ação calibre xed
S =
T
2
Z
d2?? @? X? @ X: (25)
Mecânica quântica, a história é mais sutil. Em vez de eliminar h através da sua clássica
equações DRA, deve-se realizar uma integral de trajetória de Feynman, utilização de máquinas padrão para
acordo com as simetrias locais e xing calibre. Quando isso for feito corretamente, um nds
que, em geral? não dissociar da resposta. Apenas para o caso especial d = 26 faz
a análise do quantum reproduzir a fórmula que temos dado com base no raciocínio clássico [8].
Caso contrário, há termos de correção, cuja presença pode ser atribuída a uma anomalia conformal
(Ou seja, a uma avaria mecânica quântica da invariância conformal).
A ação calibre xa é quadrática na década de x. Matematicamente, isto é o mesmo que uma teoria
de d elds escalares livres em duas dimensões. As equações do movimento obtidos variando x?
são simplesmente livres equações bidimensionais de onda:
? X? x00? = 0: (26)
Esta não é a história toda, no entanto, porque também temos de ter em conta as restrições
T? = 0. Avaliada no conformalmente
no medidor, essas restrições são
T01 = T10 = x_? x0 = 0 (27)
T00 = T11 =
1
2
(X_ 2 + x02) = 0:
Adição e subtração dá
(? X_ x0) 2 = 0: (28)
2.3 Condições de Fronteira
Para ir mais longe, é preciso escolher as condições de contorno. Existem três tipos importantes.
Para uma cadeia fechada deve impor uma periodicidade no parâmetro espacial?. Escolhendo seu
vão 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 condições de contorno de Dirichlet (para cada valor de?).
Neumann:
@ X?
@?
= 0 em? = 0 ou? (30)
Dirichlet:
@ X?
@?
= 0 em? = 0 ou:? (31)
A condição de Dirichlet podem ser integradas, e então especi ca um local espaço-tempo em que
a string termina. A única maneira que isso faz sentido é se a corda aberta termina em um objeto físico
{Termina em uma D-brana. (D representa Dirichlet.) Se todas as condições de contorno aberto cordas
são Neumann, em seguida, as extremidades da corda pode ser em qualquer lugar do espaço-tempo. O moderno
interpretação é que isso significa que não há espaço-tempo-lling D-branas presente.
Vamos agora considerar o caso encerrado cordas com mais detalhes. A solução geral da 2d
equação de onda é dada por uma soma de direito \-movers "e \ esquerda-movers":
x? (;?) = x?
R (? ?) + X?
L (+?): (32)
Estes devem estar sujeitas às seguintes condições adicionais:
? x? (;?) é real
? x? (+;??) = x? (;)
? (X0L) 2 = (x0r) 2 = 0 (Estes são os T? = 0 restrições na eq. (28).)
A primeira destas duas condições pode ser resolvido explicitamente em termos de séries 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 parâmetros de expansão?, n ~ n? satisfazer
?
n = (?
n) y; ~?
n = (~?
n) y: (34)
O centro de massa coordenada x? e momento p? também são reais. A seqüência de fundamentais
escala de comprimento `s está relacionada com a tensão T por
T =
1
2? 0
, 0 = `2s
: (35)
O parâmetro? 0 é chamado o declive Regge universal, uma vez que os modos de cadeia linear deitar
trajetórias paralelas Regge com este declive.
16
2,4 Quantização
A análise da seqüência fechado esquerda em movimento modos, corda fechada direito em movimento modos e
openstring
modos são todas muito semelhantes. Portanto, para evitar a repetição, vamos nos concentrar no closedstring
direito-movers. Começando com a acção de calibre xed em eq. (25), o impulso canónica
da cadeia é
p? (;?) =
? S
? X_? = Tx_:? (36)
Quantização canônica (isto é apenas livre 2d teoria eld para elds escalares) dá
[P x (0,;)? (;)?] = i ~ (0 ?):?? (37)
Em termos de modos de Fourier (configuração ~ = 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 mecânico quântico harmônico pode ser descrita em termos de aumento
e diminuindo os operadores, normalmente chamado ay e um, que satisfazem
[A; ay] = 1: (40)
Vemos que, além de um fator de normalização, o COE expansão? Cients?
m e?
m são
levantar e abaixar os operadores. Há apenas um problema. Devido? 00 = 1, o tempo
componentes são 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 quântica inconsistente (com probabilidades negativas, etc.) Felizmente, como
vamos explicar, a T? = 0 restrições eliminar os estados negativo norma do físico
espectro.
A restrição clássica 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 são chamados de operadores Virasoro. Desde?
m não 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 dinâmica.
17
2.5 O Espectro Cordas Grátis
Lembre-se que o espaço de Hilbert de um oscilador harmônico é gerado por estados jni, n = 0, 1, 2; :::;
onde o estado fundamental, j0i, é aniquilado pelo operador redução (aj0i = 0) e
jni =
(Ay) n
pn! j0i: (43)
Então, 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 número de
oscilador harmônico espaços Fock, um para cada n?, sujeitos às restrições Virasoro [9]
(L0 q) j? I = 0 (46)
LNJ i = 0; n> 0?:
Aqui j? I denota um estado físico, e q é uma constante a ser determinada. É responsável por
a arbitrariedade na prescrição normal-ordenação usada para de nir L0. Como veremos, a
L0 equação é uma generalização da equação de Klein Gordon {. Ele contém 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. "
Exercício: Verifique se a primeira termo do lado direito. Para o crédito 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 são equivalentes para a abordagem mais elementar apresentada aqui. Em
a abordagem BRST, calibre xing ao indicador conformado na teoria quântica requer a
Além 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. Além disso, é também necessário definir o parâmetro q = 1, de modo que a massa de
casca
condição torna-se
? (L0 1) j i = 0: (48)
Uma vez que a matemática do espectro de cadeia aberta é a mesma que a cadeia fechada
movers certas, vamos agora usar as equações que obtivemos para estudar o espectro corda aberta.
(Aqui estamos assumindo que as condições de contorno aberto cordas são todos Neumann,
correspondente ao espaço-tempo-lling D-branas.) A condição 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 é são devidamente normalizada levantando e abaixando operadores. Uma vez que cada um tem aya
autovalores 0, 1, 2; :::, os possíveis valores de N também são 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 partícula mais rápida que a luz não é certamente possível em um quantum consistente
teoria, porque a vácuo seria instável. No entanto, em teoria de perturbação (que é
o quadro, estamos implicitamente considerando) esta instabilidade não é visível. Desde essa string
teoria é suposto ser apenas um exercício 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 alcançar
N = 1 é para excitar o oscilador primeira vez:
j? i =??
1J0; pi: (51)
Aqui? denota o vector de polarização de uma partícula de rotação de um sem massa. A restrição Virasoro
condição L1j? i = 0 implica que? deve satisfazer
p?? = 0: (52)
Isto assegura que a rotação é polarizada transversalmente, de forma que há d polarização 2 independente
estados. Isto concorda com o que um nds para um Maxwell sem massa ou Yang {Mills eld.
Ao nível da massa próximo, 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 limitações L1j? I = L2J? I = 0 restringir? e?? . A análise é interessante,
mas apenas os resultados serão descritas. Se d> 26, o espectro físico contém um negativenorm
Estado, o que não é permitido. No entanto, quando d = 26, este estado torna-se zero norma
e desacopla a partir da teoria. Isso deixa uma rotação pura \ maciço dois "(simétrica traceless
tensor de partículas) como o único estado físico neste nível 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 à
condição
que o valor de N de a-esquerda em movimento e o estado de movimento para a direita é a mesma. A razão para
este \ nível de correspondência condição "é que temos (L0 1) j? i = (~ L0 1) j? i = 0. A soma
(L0 + L0 ~ 2) j? I é interpretado como a condição de massa concha, enquanto o di cia? (L0 ~ L0) j? I =
(N ~ N) j? I = 0 é a condição de nível de correspondência.
Usando essa regra, o estado terreno fechado-corda é apenas
j0i
j0i, (54)
o que representa um spin 0 tachyon com M2 = 2. (A notação não exibe mais a
p dinâmica do estado.) Novamente, isso sinaliza um vácuo instável, mas não vai se preocupar
sobre ele aqui. Muito mais importante, e mais não pode signi, é o primeiro estado animado
j? i =?? (?
1j0i
~?
1j0i), (55)
que tem M2 = 0. As restrições Virasoro L1j? I = ~ L1j? I = 0 implica que p?? = 0. Tal
tensor polarização codifica três estados de spin distintas, cada uma das quais tem um papel fundamental
na teoria das cordas. A parte simétrica de?? codifica um espaço-tempo eld métrica g? (Sem massa
rotação dois) e um escalar dilaton eld? (Spin sem massa zero). O g? eld é o eld graviton,
e a sua presença (as invariâncias calibre correctas) representa o facto de que a teoria
contém a relatividade geral, que é uma boa aproximação para o E? 1 = `s. O seu valor de vácuo
determina a geometria do espaço-tempo. Do mesmo modo, o valor de? determina o acoplamento cadeia
constante (gs = <e>).
?? Tem também um anti-simétrica, o que corresponde a um tensor sem massa antisymmetric
avaliar eld B? = B?. Este eld tem um medidor de transformação da forma
? B? = @?? @;?? (56)
(O qual pode ser considerado como uma generalização da regra de transformação para a bitola Maxwell
eld:? A? = @?). O indicador de invariante força eld (análogo ao F? = @? A? @? A?) É
H?? = @? B? + @? B? ? + @ B:? (57)
20
A importância da B? eld reside no facto de que a cadeia base é uma fonte
para B? , Assim como uma partícula 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 partícula carregada para um eld Maxwell
q
Z
A? Dx? (59)
em uma notação conveniente.
2.6 Número de estados físicos
O número de estados físicos cresce rapidamente como uma função da massa. Isto pode ser analisado
quantitativamente. Para a corda aberto, vamos denotar o número de estados físicos com? = 0M2
n 1 por dn. Estes números são codificados na função 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 dimensões, uma vez que as condições são Virasoro
tidas em conta, o espectro é exatamente o que se começa a partir de 24 transversalmente polarizada
osciladores. É fácil deduzir a partir desta função de gerar o número de estados assintótica
para n grande, como uma função de n
dn? ? n 27 = 4e4 pn: (61)
Exercício: Verifique se essa fórmula.
Esta degenerescência assintótica implica que a função de partição 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 máxima possível, ou então de uma temperatura crítica em que se verifica
é uma transição de fase.
21
2,7 Estrutura da Teoria de Perturbação Cordas
Como discutimos na palestra RST, teoria de perturbação cálculos são realizados por computação
Diagramas de Feynman. Considerando que, em comum quântica eld diagramas teoria de Feynman são
teias de linhas do mundo, no caso da teoria das cordas são superfícies 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 métrica? positivo de nite). Os diagramas
são classificadas pela sua topologia ed, que é muito bem compreendida, no caso de duas dimensões
superfícies. A topologia mundo folha caracteriza-se pelo número de identificadores (h), o número
limites de (b), e se são ou não orientável. O fim da expansão
(Ou seja, o poder do acoplamento string constante) é determinada pelo número 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. Superfícies com? = 0 admitir um
a métrica.
A amplitude de espalhamento é dada por um caminho integrante da estrutura esquemática
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 ação S [h; x] é dada na eq. (21). V? I é um operador de vértice que descreve emissão ou
absorção de um estado fechado de cadeia do tipo? i a partir do interior da folha de mundo cadeia, e
J V é um operador de vértice que descreve emissão de absorção de um estado aberto do tipo corda
j a partir do limite da folha de mundo cadeia. Há muitos detalhes técnicos que são
não explicado aqui. No final, um nds que as folhas não equivalentes conformalmente mundiais de
uma topologia de dados são descritas por um número finito de parâmetros, e, assim, estas amplitudes
pode ser reformulado como nite-dimensionais integrais sobre esses módulos \ ". (As integrais de momentum
já estão feitas.): A dimensão da integral resultante torna-se
N = 3 (2h + b 2) + 2NC nenhuma +: (65)
Como exemplo, considere a amplitude descrevendo espalhamento elástico de duas cadeia aberta
estados fundamentais. Neste caso, h = 0, b = 1, nc = 0, não 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 trajectória Regge? (s) é
? (S) = 1 + 0s: (67)
22
Esta integral é apenas a função 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 negócio começou.
2,8 Recapitulação
Esta palestra descreveu alguns dos fatos básicos da teoria das cordas 26-dimensional bosônico.
Um ponto não pode signi que ainda não ficou claro é que há realmente um número
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.
? não orientada apenas cordas fechadas
? não orientada cordas fechadas e não orientada cordas abertas. Neste caso, pode-se incorporar
SO (n) ou Sp simetria de calibre (n).
Como já mencionado, todas as teorias de cordas bosônicos estão doentes como estão,
porque (em cada caso) o espectro fechado seqüência contém um tachyon. A tachyon significa
que se está fazendo teoria de perturbação sobre um vácuo instável. Isto é análogo ao
extremum simetria ininterrupta do potencial de Higgs no modelo padrão. Nesse caso,
Sabemos que existe um mínimo de estabilidade, onde a elds Higgs adquire um valor de vácuo.
É concebível que a cadeia fechada tachyon condensa de maneira análoga, ou então
pode não haver um vácuo estável. Recentemente, tem havido um sucesso na demonstração de que
-corda aberta táquions condensar no mínimo estável, mas o destino de-corda fechada táquions
ainda é um problema em aberto.
3 Aula 3: Supercordas
De entre as cias da teoria das cordas bosônico é o facto de não existirem férmions.
Como veremos, a adição de férmions leva naturalmente para a supersimetria e, portanto,
supercordas. Existem dois formalismos alternativos que são 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 início de 1980 [13], enfatiza a supersimetria no espaço-tempo de dez dimensões.
Devido à falta de tempo, apenas a abordagem RNS serão apresentados.
No formalismo RNS, a teoria do mundo folha baseia-se as funções d x? (;) Que
descrever a incorporação da folha de mundo no espaço-tempo, exatamente como antes. No entanto, a fim
para a teoria supersymmetrize mundo folhas, também apresentamos d fermiônico parceiro elds
? (;). Note-se que x? transforma como um vetor do ponto de vista do espaço-tempo, mas como escalar d
elds do ponto de vista bidimensional mundo folhas. O? também transformar como um espaço-tempo
vetor, mas como o mundo folhas espinores. No total, x? e? descrito supersimetria d
multipletos, uma para cada valor de?.
A reparametrização ação 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 são um pouco demais envolvidos para descrever aqui.) Quando se escolhe um conformado
adequado
bitola (h? = e??), juntamente com uma condição adequada calibre fermiônico, acaba-se
com uma teoria do mundo folhas que tem a supersimetria global, complementada por constrangimentos. O
restrições de formar uma super-álgebra Virasoro. Isto significa que, para além da Virasoro
limitações da teoria de cordas bosônico, há restrições fermiônicos, também.
3.1 Teoria O Indicador fixo
A globalmente supersimétrica ação 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 equação. (25) da teoria das cordas bosônico. 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 acções do tipo. A notação é que? são dois 2? 2
Matrizes de Dirac e =
?

+
?
é um de dois componentes Majorana espinor. A condição Majorana
significa simplesmente que + e são reais em uma representação adequada da álgebra de Dirac. Na verdade,
uma escolha conveniente é aquele para o qual
? ? @? = @ + + + @ +, (70)
onde @? representam derivadas com relação a? =? ? ?. Nesta base, as equações de
movimento são simplesmente
@ +?
= @ ?
+ = 0: (71)
Assim?
descreve direito-movers e?
+ Descreve esquerdo motores.
24
Concentrando-se nos motores de direita?
, As transformações globais supersimetria, que
são uma simetria da acção de calibre fixo, são
? X? = I? ?
(72)
? ?
= 2 @ x?:
Exercício: Mostre que esta é uma simetria da ação (69).
Há uma simetria análoga 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
restrição é
(@ x) 2 +
Eu
2
?
? @ = 0: (73)
O termo primeiro é o que encontramos na teoria das cordas bosônico, eo segundo termo é uma
fermiônico contribuição adicional. Há também uma limitação associada fermiônico
?
@ x? = 0: (74)
Os modos de Fourier de satisfazer essas restrições a álgebra super-Virasoro. Há um segundo
álgebra super-Virasoro idêntico para os motores de esquerda.
Como na teoria das cordas bosônico, a álgebra Virasoro tem termos de anomalias de conformação 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 quantização BRST) reparametrização o
fantasmas simetria contribuir 26. Mas agora há contribuições 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 crítico
dimensão para supercordas, como d = 26 é a dimensão crítica para cordas bosônicos. Para
outros valores a teoria tem uma variedade de inconsistências.
3,2 R e setores NS
Vamos agora considerar condições de contorno para? (;). (A história de x? Está exatamente como antes.)
Primeiro, vamos considerar as condições aberta cordas de fronteira. Para a ação ser bem de nido, ele
Acontece que um deve definir + =? nas duas extremidades? = 0;?. Um sinal global é uma questão
de convenção, para que possamos definir
? +
(0;?)? =
(0;?), (75)
25
sem perda de generalidade. Mas isso ainda deixa duas possibilidades para a outra extremidade, que são
R chamado e NS:
R:?
+ (;) = ?
(;) (76)
NS:?
+ (;)? =
(;):
Combinando-as com as equações de movimento @ + = + = 0, que nos permite expressar a
soluções gerais como séries 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 condição 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 condição de limite R dá um modo zero.
Quantização canônica dos elds livres Fermi? (;?) É muito normal e simples.
O resultado pode ser expresso como relações 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 adição aos agentes de osciladores harmónicos?
m que aparecem como coe? cients no modo
expansões de x?, há oscilador fermiônico operadores d?
m ou b?
r que aparecem como coe? cients
expansões em modo de?. A estrutura básica 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 redução, 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 generalização simples de como nós de nido o estado do terreno no bosônico
teoria das cordas. Todos os estados excitados obtidos por agir com a? e b levantando operadores
26
são bósons espaço-tempo. Veremos mais tarde que o estado fundamental, de nido como temos feito aqui,
é novamente uma tachyon. No entanto, nesta teoria, como veremos também, há uma maneira pela qual esta
tachyon podem (e devem) ser removido a partir do espectro físico.
No setor de R há zero modos que satisfazem a álgebra
fd?
0; d?
0g =?? : (80)
Este é o d-dimensional álgebra Dirac espaço-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 representação
espaços em que estes operadores podem atuar. A conclusão, portanto, é que, enquanto toda a cadeia
estados no setor NS são bósons espaço-tempo, todos os estados de cadeia no setor de P são o espaço-tempo
férmions.
No caso corda fechada, os estados físicos são obtidos por tensoring direito-movers e
deixou-motores, cada um dos quais são 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
bósons espaço-tempo, enquanto NS
R e R
NS descrever férmions espaço-tempo. Nós 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 restrição fermiônico? @ x? = 0 dá uma equação de onda para
(Fermiônico) cordas no setor Ramond, F0j i = 0, que é chamado de Dirac {Ramond
equação. Em termos dos osciladores
F0 =? 0? d0 +
X
n6 = 0
? n? dn: (81)
A peça em zero de modo F0,? 0? d0, tem sido isolado, uma vez que é apenas a habitual Dirac
operador,
? @?, Até a normalização. (Lembre-se que? 0? É proporcional à p? = i @?, E d?
0
é proporcional às matrizes de Dirac
?.) O chão fermiônico estado j 0i, que satis es
?
n j 0i = d?
n j 0i = 0, n> 0, (82)
satis es a equação de onda
? 0? d0j 0i = 0, (83)
que é precisamente a equação de Dirac sem massa. Daí que o Estado é um terreno fermiônico sem massa
espinor.
3,3 Projeção O GSO
No sector do NS (bosônico) é a fórmula de massa
M2 = N
1
2
, (84)
27
que é para ser comparado com a fórmula = N M2 1 da teoria das cordas bosônico. Desta vez
o operador tem o número N de contribuições dos osciladores b, bem como o? osciladores.
(A razão por que a constante normal-ordenação é 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 bosônico tem 24 direções transversais e supercordas
teoria tem 8 direções 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 projecção GSO) que é
necessária para a consistência da teoria de interação. No setor de NS, a projeção GSO
mantém estados com um número ímpar de b-oscilador excitações, e remove estados com um mesmo
número de b-oscilador de excitação. Uma vez que esta regra é implementado somente os valores possíveis de
N são inteiros e meio, e o espectro de massas permitidos são integrais
M2 = 0, 1, 2; :::: (85)
Em particular, o estado fundamental é agora bosônico massa. O espectro não contém
um tachyon. A projecção GSO também actua sobre o sector R, em que há um análogo
restrição dos osciladores d. Isso equivale a impor uma projeção sobre a quiralidade
espinores.
Vamos olhar para o espectro sem massa da teoria GSO-projetada. O estado fundamental
bóson é agora um vetor sem massa, representado pelo estado? b?
1 = 2J0; pi, que (como antes) tem
d 2 = 8 polarizações físicas. O férmion estado fundamental é um sem massa de Majorana {Weyl
férmion que tem 1
4? 2d = 2 = 8 polarizações físicas. Assim, existem um igual número de
bósons e férmions, como é exigido para uma teoria com supersimetria espaço-tempo. Na verdade, esta
é o par de elds que entram na 10-dimensional de super Yang {Mills teoria. A alegação é
que a teoria completa agora tem supersimetria espaço-tempo.
Se há supersimetria espaço-tempo, então deve haver um número igual de bósons
férmions e em todos os níveis de massa. Vamos denotar o número de estados bosônicos com M2 = n
Por DNS (n) eo número de estados com fermiônico M2 = n por dR (n). Então podemos codificar
esses números em funções geradoras, assim como fizemos para a teoria das cordas bosônico
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 número de direcções transversais em dez dimensões. O
e? ect da projeção GSO é a subtração do segundo mandato, em FNS e redução de
coe? cient em fR 16-8. Em 1829, Jacobi descobriu a fórmula
fR (w) = FNS (w): (88)
(Ele usou um di notação? Erent, é claro.) Para ele, essa relação era uma curiosidade obscura, mas
agora vemos que ele fornece fortes evidências para a supersimetria desta teoria de cordas em 10
dimensões. A prova completa da supersimetria para a teoria de interação foi construído
por ano ve verde e me depois que o papel GSO [13].
3,4 Tipo II Supercordas
Nós descrevemos o espectro de bosônico (NS) e estados fermiônicos (R) de cordas. Isto também
dá o espectro da esquerda e da direita em movimento em movimento de cadeia fechada modos, para que
possamos formar a
fechou-corda espectro através da formação 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 têm 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 simétrica. Em outras palavras, o espectro é invariante sob espelho re-

secção. Isto implica que a teoria IIA é paridade conservação. Quando os dois espinores MW
têm 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 são elds calibre para supersimetria local. (Em quatro dimensões diríamos
que as gravitinos têm spin 3 = 2, mas isso não é uma descrição precisa de 10 dimensões.)
Assim, uma vez que ambas as teorias do tipo II têm dois supercordas gravitinos, têm locais N = 2 supersimetria
no sentido 10-dimensional. As acusações são supersimetria Majorana {Weyl
espinores, que têm 16 componentes, assim as teorias do tipo II têm 32 sobrecarrega conservadas.
Esta é a mesma quantidade de supersimetria como o que é normalmente chamado de N = 8 em quatro
dimensões.
O tipo de teorias de supercordas II contêm apenas orientados cordas fechadas (na ausência
de D-branas). No entanto, há uma outra teoria de supercordas, chamado tipo I, que pode ser
obtido por uma projecção do tipo IIB teoria, que só mantém a soma da diagonal
29
dois gravitinos. Assim, esta teoria só tem N = 1 supersimetria (16 supercharges). É
uma teoria de cordas não orientada fechados. No entanto, ela pode ser suplementada por aberta não 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 consistência fora SO (32) como a única possibilidade. Este
restrição pode ser entendido em um número 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 mecânica quântica da simetria gauge, a qual é induzida
por determinados esquemas de um circuito de Feynman. (Às vezes, se considera também quebra de mundial
simetrias por anomalias, o que não implica uma inconsistência. Isso não é o que somos
interessado em aqui.) No caso de quatro dimensões, os diagramas relevantes são triângulos, com
os elds quirais indo ao redor do circuito e três elds calibre anexados como linhas externas. Em
o caso do modelo padrão, os quarks e léptons são quirais e contribuir para uma variedade
de possíveis anomalias. Felizmente, o modelo padrão tem apenas o conteúdo do direito, para que todos
das anomalias de calibre cancelar. Se um descartadas as contribuições quark ou lépton, seria
não funciona.
No caso de 10-dimensionais teorias de calibre quirais, o Feynman potencialmente anormal
diagramas são hexágonos, com seis elds calibre externos. As anomalias podem ser atribuídas
aos elds sem massa, e, portanto, eles podem ser analisados no e de baixa energia? tiva eld
teoria. Há vários casos possíveis em 10 dimensões:
? N = 1 supersimétrica 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 é não-quirais, e, portanto, é trivialmente anomalyfree.
? Supergravidade tipo IIB. Esta teoria tem três elds quirais cada um dos quais contribui
a vários tipos de anomalias gravitacionais. No entanto, quando suas contribuições são
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 nível clássica se pode tipo de ne eu teoria das supercordas
para qualquer grupo de calibre ortogonal ou simplética. Agora vemos que no nível quântico, 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
têm a mesma álgebra de Lie. Acontece que o grupo de Lie preciso que seja apropriado é girar
(32) = Z2.
3,6 Cordas heteróticos
Os dois grupos de Lie que são apontados | E8? E8 e Spin (32) = Z2 | ter vários
propriedades em comum. Cada um deles tem dimensão = 496 classificação e = 16. Além disso, a sua
reticulados peso correspondem aos apenas dois até auto-duais reticulados em 16 dimensões. Este último
fato foi a pista crucial que levou Gross, Harvey, Martinec, e Rohm [17] para a descoberta
da corda heterótica logo após o resultado cancelamento anomalia. Uma dica é a relação
10 + 16 = 26. A construção da corda heterótica utiliza o d = string bosônico 26 para
os motores de esquerda e os d = 10 supercordas os motores direita. O adicional 16 que se move da esquerda
dimensões estão associados a um mesmo auto-dual látice 16-dimensional. Desta forma se constrói
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 heteróticos. Cada um é um
teoria 10-dimensional supersimétrica. A teoria de perturbação, foi estudada em considerável
pormenor, e ao mesmo tempo alguns detalhes poderão não ter sido completada, era claro que cada um dos ve
teorias tem um bem de nido, expansão de perturbação ultravioleta-nite, satisfazendo todas as usual
requisitos de consistência (unitariedade, analiticidade, causalidade, etc) Este foi agradável, embora
era um tanto misterioso porque deve haver teorias de gravidade quântica ve consistentes.
Foram necessários mais 10 anos até que nós compreendemos que estas são realmente quântico ve especial
vácuos 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
dimensão compacta circular de raio R a outra teoria de cordas com uma dimensão circular de
raio 1 = R (em unidades `s = 1). Isto é muito profunda, porque indica uma limitação do nosso
movimentos normais da geometria clássica. Cordas ver geometria di? Erently de partículas pontuais.
Vejamos como isso é possível.
31
A chave para compreender a dualidade T é considerar os tipos de excitações que uma seqüência
pode ter, na presença de uma dimensão circular. Uma classe de excitações, chamado Kaluza {
Excitações Klein, é uma característica muito geral de qualquer teoria quântica, baseada ou não
em cordas. A idéia é que, para que o eipx função de onda a ser de valor único, o
impulso ao longo do círculo deve ser um múltiplo de 1 = R, p = n = R, onde n é um número inteiro.
Do ponto de vista da dimensão inferior-isto é interpretado como uma contribuição (n = R) 2 para o
quadrada da massa.
Há um segundo tipo de excitação que é especial para cadeias fechadas. A saber, um fechado
seqüência pode acabar m vezes em torno da dimensão circular, ser pego na topologia de
o espaço, contribuindo com uma energia dada pelos tempos de tensão 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 excitações é
E2 =
?
n
R
? 2
+ (MR) 2 + :::; (91)
onde os pontos representam contribuições oscilador de cordas. Sob dualidade T
m $ n, R $ 1 = R: (92)
Juntos, esses intercâmbios deixar a energia invariante. Isto significa que, o que é interpretado
como Kaluza {excitação Klein em uma teoria das cordas é interpretado como um enrolamento de excitação de
modo
na teoria T duplo, e as duas teorias têm raios e R 1 = R, respectivamente. Os dois
exemplos principais de T-duais pares são as duas teorias do tipo II e as duas teorias heteróticos.
Neste último caso, há aspectos técnicos adicionais que explicam como os dois grupos de calibre
estão relacionados. Basicamente, quando o catião compacti em um círculo a nove dimensão é realizada
em cada caso, é necessário incluir e? ects que nós não 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 período de rápido desenvolvimento em que importante
avanços no entendimento estão sendo alcançados. O foco desta palestra será em explicar
por isso, pode haver um vácuo 11-dimensional, mesmo que haja apenas dez dimensões
na teoria das supercordas perturbativa. A extensão não perturbativa da teoria das supercordas, que
permite uma décima primeira dimensão foi nomeado teoria M. A letra M se destina a ser
32

exível na sua interpretação. Ele poderia ficar para a magia, mistério, ou meta de re
ect nossa atual
estado de compreensão incompleta. Aqueles que pensam que supermembranes bidimensionais
(O M2-brana) são fundamentais pode considerar M como estando por membrana. Uma abordagem
teoria chamada Matrix é outra possibilidade. E, claro, alguma teoria M vista como a
mãe de todas as teorias.
No primeiro supercordas revolução que identidades ed teorias das supercordas ve distintas, cada uma em
10 dimensões. Três deles, do tipo I teoria e as duas teorias heteróticos, têm N = 1
supersimetria no sentido 10-dimensional. Uma vez que o spinor 10d mínima é 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 é simétrica
(Nonchiral). No caso das duas IIB espinores têm a mesma quiralidade e o espectro é
quiral.
Em cada uma destas teorias de supercordas ve tornou-se claro, e foi amplamente demonstrado, de
há expansões de perturbação consistentes de amplitudes de espalhamento on-shell. Em quatro dos
ve casos (heterótico e tipo II) as cordas fundamentais são orientadas e inquebrável. Como
resultado, essas teorias têm expansões de perturbação particularmente simples. Especi camente, não
é um diagrama de Feynman único em cada fim da expansão loop. Os diagramas de Feynman
retratar folhas mundiais de cordas, e, portanto, eles são superfícies bidimensionais. Para estes quatro
teorias do diagrama L-loop único é um gênero fechado orientável-L superfície de Riemann, que
pode ser visualizada como uma esfera, com L alças. Externos (entrada ou saída) partículas
são representados por N pontos (ou punções \ ") sobre a superfície de Riemann. Um diagrama dado
representa um bem de nida integral de 2 N 6 dimensão 6L. Esta integral não tem ultravioleta
divergências, embora o espectro de estados de spin contém arbitrariamente elevado (incluindo um
sem massa gráviton). Do ponto de vista do ponto de partículas de contribuições corda, e supersimetria
propriedades são responsáveis por cancelamentos incríveis. Tipo I supercordas são
não orientada e quebrável. Como resultado, a expansão de perturbação é mais complicado para
esta teoria, e várias folhas diagramas mundo em uma determinada ordem têm de ser combinados corretamente
para cancelar as divergências e anomalias.
Uma importante descoberta que foi feita entre as duas revoluções de supercordas é T
dualidade. Como explicado anteriormente, esta dualidade relaciona duas teorias de cordas quando um espacial
dimensão forma um círculo (representado S1). Em seguida, a geometria 10-dimensional é R9? S1. T
dualidade identifi cação es esta cadeia compacti com uma de uma teoria das cordas também em segundo
R9? S1. Se os raios dos círculos nos dois casos são indicados os símbolos R1 e R2, em seguida,
? R1R2 = 0: (93)
33
Aqui? 0 = `2s
é o parâmetro de inclinação 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 círculo de zero
em uma teoria corresponde à decompacti cação da teoria dual.
O IIA tipo e teorias IIB são T dupla, então a teoria compactifying IIA nonchiral em
um círculo de raio R e R deixar! 0 dá a teoria IIB quiral em 10 dimensões! Este
significa, em particular, que não devem ser considerados como teorias distintas. O raio R
é, na verdade, o valor de vácuo de um escalar eld, que surge como um componente interno do
10d tensor métrico. Assim, o tipo IIA e IIB em teorias do tipo 10-D são dois pontos limitantes
em um espaço de módulos contínua de quantum vácuo. As duas teorias heteróticos são também T duplo,
embora há mais detalhes técnicos neste caso. Dualidade T aplicada ao tipo I
teoria dá uma descrição dual, que é por vezes chamado de tipo IA ou I0.
Teoria 4,1 M
Nos anos 1970 e 1980, várias teorias supersimetria e supergravidade foram construídos.
Em particular, a teoria das representações supersimetria mostrou que o maior espaço-tempo possível
dimensão de uma teoria da supergravidade (com spins? 2) é 11. Onze dimensões
supergravidade, que tem 32 sobrecarrega conservadas, foi construído em 1978 por Cremmer,
Julia, e Scherk [18]. Ele tem três tipos de elds | da DRA gráviton (com 44 polarizações),
o eld gravitino (com 128 polarizações), e um medidor de três índice eld C?? (Com
84 polarizações). Estas partículas sem massa são referidos coletivamente como o supergraviton.
Supergravidade 11d é nonrenormalizable e, portanto, não pode ser uma teoria fundamental. No entanto,
agora acreditamos que é uma e de baixa energia? tiva descrição da teoria de M, que é um
bem de nido teoria quântica. Isto significa, em particular, que o aumento da dimensão, termos no
e? acção tiva para as elds supergravidade têm unicamente determinada coe? cients dentro do
M configuração teoria, apesar de serem formalmente em nite (e, portanto, indeterminado) dentro
contexto supergravidade.
Conexões intrigantes entre a teoria das cordas tipo IIA e supergravidade 11d ter sido
conhecido há muito tempo, mas a relação exacta só foi explicada em 1995. O eld
equações de supergravidade 11d admitir uma solução que descreve um supermembrane. Em outra
palavras, esta solução tem a propriedade de que a densidade de energia é concentrada num bidimensional
superfície. A descrição do mundo volume 3D da dinâmica deste supermembrane,
bastante análoga às acções mundo 2D em volume das supercordas (no formalismo GS [19]),
foi construído por Bergshoe?, Sezgin e Townsend em 1987 [20]. Os autores sugeriram
que uma teoria quântica consistente 11d pode ser de nida em termos dessa membrana, em analogia
amarrar teorias em dez dimensões. (A maioria dos especialistas acreditam agora que a teoria M não pode
ser de nido como uma teoria supermembrane). Outro resultado surpreendente foi que um adequado dimen-
34
redução profissional deste supermembrane dá o tipo (anteriormente conhecido) IIA supercordas
mundo volume ação. Durante muitos anos, estes fatos permaneceu curiosidades inexplicáveis até que
foram reconsiderados por Townsend [21] e por Witten [22]. A conclusão é que tipo IIA
supercordas teoria realmente tem uma dimensão circular 11 para além da anteriormente
conhecido dez dimensões do espaço-tempo. Este fato não foi reconhecido mais cedo porque a aparência
da dimensão 11 é um fenómeno não perturbativa, não visível na perturbação
teoria.
Para explicar a relação entre a teoria M e teoria de cordas tipo IIA, uma boa abordagem
é identificar os parâmetros que caracterizam cada um deles e para explicar como eles são
relacionados. Onze dimensões supergravidade (e, portanto, a teoria M, também) não tem nenhuma adimensional
parâmetros. O único parâmetro é a constante de Newton 11d, que elevou a uma adequada
potência ( 1 = 9), dá a 11d Planck massa mp. Quando a teoria M é compacti ed em um círculo
(De modo a que a geometria do espaço-tempo é R10? S1) um outro parâmetro é o raio R do círculo.
Agora, considere os parâmetros do tipo IIA teoria das supercordas. Eles são a escala de massa cadeia
ms, introduzido anteriormente, ea seqüência de acoplamento adimensional gs constante.
Podemos identificar compacti ed teoria M com o tipo de teoria das supercordas IIA, fazendo o
seguintes correspondências:
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 perturbação convencional string é uma expansão em potências de gs em xed ms.
A equação (95) mostra que isto é equivalente a uma expansão de cerca de R = 0. Em particular, o
limite de acoplamento forte do tipo de teoria das supercordas IIA corresponde a decompacti cação
a décima primeira dimensão, portanto, em uma teoria M sentido é a teoria das cordas tipo IIA menos em
acoplamento nite.
(O E8? E8 teoria das cordas heterótica também é 11-dimensional de acoplamento forte.) Este
explica por que a décima primeira dimensão não foi descoberto em estudos de perturbação cadeia
teoria.
Essas relações codificar alguns fatos interessantes. Por um lado, a seqüência de IIA fundamentais
na verdade, é uma M2-brana da teoria M com uma das suas dimensões em volta da circular
dimensão espacial. Denotando as tensões 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 relações dá eq. (94).
4.2 Tipo II p-branas
Teorias do tipo II supercordas conter uma variedade de p-branas soluções que preservam a metade do 32
supersimetrias. Estas são as soluções em que a energia está concentrada em um p-dimensional
hipersuperfície espacial. (O volume mundo tem um p dimensões.) As soluções correspondentes
teorias de supergravidade foram construídos em 1991 por Horowitz e Strominger [23]. Um grande
classe dessas excitações p branas são chamados D-branas (ou Dp-branas quando queremos especificar
a dimensão), cuja tensão é dada por
TDP = 2? Mp 1
s = gs: (97)
Esta dependência da constante de acoplamento é um dos aspectos característicos de um D-brana.
Outra característica 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 dimensões transversais é um
círculo. As tensões verificar, porque (usando eqs. (94) e (95))
TD2 = 2 m3?
= Gs = 2? M3p
= TM2: (98)
A massa da primeira excitação Kaluza Klein {do supergraviton 11d é 1 = R. Usando eq. (95),
vemos que isso pode ser identi cados com o D0-brana. Cátions mais identidades deste tipo surgem
quando consideramos a dupla magnético do supermembrane teoria M, que é uma ve-brana,
chamado M5-brane.2 tensão é Sua TM5 = 2? M6P
. Envolvendo uma das suas dimensões em torno
o círculo dá o D4-brana, com tensão
TD4 = 2? RTM5 = 2? M5S
= Gs: (99)
Se, por outro lado, o M5-quadro não é envolvida em torno do círculo, obtém-se a
NS5-brana da teoria IIA com a tensão
TNS5 = TM5 = 2? M6S
= G2
s: (100)
Para resumir, tipo IIA teoria das supercordas é a teoria M compacti ed em um círculo de raio
R = gs `s. M teoria acredita-se ser um bem de nida teoria quântica em 11d, a qual se aproxima
a baixa energia por supergravidade 11d. Suas excitações são o supergraviton sem massa,
2No geral, a dupla magnético de uma p-brana em d dimensões é a (d p 4)-brana.
36
o M2-brana, eo M5-brana. Estes conta tanto para o fundamental (perturbativa)
seqüência da teoria IIA e para muitos dos seus excitações não perturbativa. As identidades que
apresentamos aqui são exatas, porque eles são protegidos por supersimetria.
4,3 Tipo Teoria das Supercordas IIB
Tipo II teoria das supercordas, que é a teoria das cordas outra máximo supersimétrica
com 32 sobrecarrega conservadas, também é 10-dimensional, mas ao contrário da teoria IIA seus dois
supercharges têm 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 clássico, mas ainda pode
nos ensinar muito. Por exemplo, ele pode ser usado para a construção de p-branas soluções e calcule a sua
tensões. Mesmo que essas soluções são apenas aproximados, supersimetria considerações
garantir que as tensões, os quais estão relacionados com os tipos de cargas conservadas as p-branas
transportar, são exatas. Como o espectro IIB contém sem massa elds quirais, deve-se verificar
se existem anomalias que quebram as invariâncias calibre | invariância de coordenadas geral,
invariância 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 contém dois elds escalares, a dilatação? e
um axion?, que são convenientemente combinadas num complexo eld
? =? + Ie :? (101)
A aproximação supergravidade tem um SL (2, R) simetria que transforma este eld não linear:
? !
um? + B
c? + D
, (102)
onde a, b, c, d são números reais satisfazendo anúncio 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 são restritos a serem inteiros. De ção do valor do vácuo? eld ser
h? i =
?
2?
+
Eu
gs
, (103)
o SL (2, Z) transformação simetria? ! ? + 1 implica que? é uma coordenada angular.
Além disso, no caso especial? = 0, a transformação 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 expansão acoplamento fraco
37
ea expansão forte acoplamento são idênticos! (Uma transformação S-dualidade análoga
relaciona a teoria das supercordas tipo I para o SO a teoria das cordas (32) heterótico.)
Lembre-se que o AII tipo e teorias das supercordas tipo IIB são T dupla, o que significa que se
eles são compacti ed em círculos de raios RA e RB, obtém-se as teorias equivalentes para a
identifi cação RaRb = `2s
. Além disso, vimos que o tipo IIA teoria é realmente a teoria M
compacti ed em um círculo. O último fato codifica a informação não 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 círculo
(R9? S1).
Um toro pode ser descrito como o plano complexo modded pelas relações de equivalência
z? z + w1 e z? z + w2. Até conformal equivalência, os períodos de W1 e W2 podem ser
substituído por 1 e? , Com Im? > 0. Nesta caracterização? e? 0 = (um? + B) = (c? + D),
onde a, b, c, d são inteiros satisfazendo anúncio bc = 1, descrever tori equivalente. Assim, um toro é
caracterizada por um parâmetro de modular? e um SL (2, Z) o grupo modular. O natural, e
conjecturas, correta neste momento é que se deve identificar o parâmetro modular? do
M toro teoria com o parâmetro? que caracteriza o vácuo do tipo IIB [26, 27]. Depois
a dualidade da teoria M e teoria das supercordas tipo IIB dá uma explicação geométrica de
simetria não perturbativa S dualidade da teoria IIB: a transformação? ! 1 =?,
que envia gs! 1 = gs na teoria IIB, corresponde ao intercambiar os dois ciclos do
toro na descrição teoria M. Para completar a história, devemos relacionar a área da M
toro teoria (AM), para o raio do círculo teoria IIB (RB). Esta é uma simples conseqüência
das fórmulas acima indicadas
m3p
PM = (2 RB?) 1: (104)
Assim, o limite RB! 0, em xado?, Corresponde a decompacti catião do toro teoria M,
preservando sua forma. Por outro lado, o limite de PM! 0 corresponde ao catião decompacti
do círculo teoria IIB. A dualidade pode ser mais explorada, combinando as várias p-branas
em 9 dimensões 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 várias
relações entre as tensões [28].
Outro fato interessante sobre a teoria IIB é que ele contém uma na família de nite
cadeias marcadas por um par de números 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 seqüência 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 seqüências têm uma interpretação muito simples na teoria M dupla
Descrição. 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 mínimo de um tal ciclo é proporcional à jp + q? j, e, assim,
Um nds que a tensão 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
círculo. Suponha-se, por outro lado, você tinha aceleradores de energia muito alta com a qual você estava indo
para determinar o \ "dimensão verdadeira do espaço-tempo. Você concluiria que 10 ou 11 é o
corrigir resposta? Se AM ou RB, era muito grande em unidades de Planck não haveria uma natural
escolha, claro. Mas como você poderia decidir de outra forma? A resposta é que, ou ponto de vista
é igualmente válido. O que determina que a escolha que você faz é qual dos elds sem massa você
respeito como \ "componentes internos do tensor métrico e quais você considera como questão
elds. Campos que são componentes métricas em uma descrição correspondem à matéria em elds
a uma dupla.
4.4 O D3-Brane e N = 4 Teoria Calibre
D-branas têm uma série de propriedades especiais, que os tornam especialmente interessante. Por
ni cão, são membranas em que cordas pode acabar | stands D para as condições de contorno de Dirichlet.
O fim de uma seqüência carrega uma carga, eo D-brana teoria do mundo volume contém
um U (1) calibre eld que carrega o associado
ux. Quando n Dp-branas são 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 bósons Aij
? e seus parceiros supersimetria surgir
como os estados fundamentais de cordas orientadas execução do om Dp-brana para o j Dp-brana.
Os elementos diagonais, pertencentes ao subálgebra de Cartan, têm massa. O Aij eld
? com
i 6 = j tem uma massa proporcional à separação 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 separações branas são
pequena comparada com a escala de corda, é supersimétrica Yang {Mills teoria. Estas teorias podem
ser construído por redução dimensional de 10d supersimétrica teoria de calibre U (n) a p + 1
dimensões. 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 número de características especiais. Por um lado, devido
a cancelamentos bóson {férmions, não há divergências UV em qualquer ordem de perturbação
teoria. A função beta (g) é identicamente zero, o que implica que a teoria é a escala
invariante. De facto, N = 4; teorias d = 4 calibre são conformemente invariante. Conformal
39
combina-se com a invariância supersimetria para dar uma simetria superconformal, que contém
32 geradores fermiônicos. Outra propriedade importante dos N = 4, d = 4 teorias de calibre é
uma dualidade elétrico-magnético, 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 são invariantes sob SL (2, Z) transformações.
Como já disse, um (1, 0) fundamental seqüência pode acabar em um D3-brana. Mas aplicando um
SL apropriado (2, Z) de transformação, esta con guração é 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 eléctrica e magnética 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 tensão, o que nós vimos é proporcional
jp + q? j. Desta forma, vê-se que as partículas eletricamente carregadas, descrito por fundamentais
elds, pertencem à nite em SL (2, Z) multipletos. Os outros estados são excitações não perturbativa
da teoria gauge. Os gurations eld con que descrevem a preservar metade da
supersimetria. Como resultado suas massas são dadas exatamente pelas considerações descritas
acima. Uma questão interessante, cuja resposta era desconhecida até recentemente, é se N = 4
teorias de calibre em quatro dimensões também admitem excitações não 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 descrição dual em termos de três cordas junções [30].
4.5 Conclusão
Nesta palestra descrevemos alguns dos avanços interessantes em supercordas entendimento
teoria que ocorreram nos últimos anos. A ênfase tem sido na
aparência não perturbativa de uma décima primeira dimensão na teoria das supercordas tipo II, bem
como as suas implicações quando combinado com supercordas dualidades T. Em particular, argumentou
que deve haver um vácuo quântico coerente, cuja baixa energia e? Descrição tiva
é dado pela supergravidade 11d.
O que descrevemos faz uma imagem auto-consistente convincente, mas que não constitui
uma formulação completa da teoria M. Nos últimos anos tem havido alguns
grandes avanços nesse sentido, que vamos brie
y mencionar aqui. A primeira, que passa
o nome de Teoria da Matrix, baseia uma formulação da teoria M em
no espaço-tempo, em termos 11d
da mecânica quântica supersimétrica de N D0-branas no limite N grande. Matriz
Teoria passou todos os testes que foram realizados, alguns dos quais são muito trivial.
A construção tem uma generalização agradável para descrever compacti cação da teoria M em um
40
toro Tn. No entanto, não parece ser útil para n> 5, e outro catião compacti
manifolds são (na melhor das hipóteses) inábil para lidar. Outra desvantagem deste método é que ele
trata a décima primeira dimensão 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 revisão desta
tema, ver [34]). Nesta abordagem, existe uma dualidade conjecturado (isto é, a equivalência) entre
conformalmente uma invariante teoria eld (CFT) nas dimensões d e teoria das supercordas tipo IIB
ou teoria M em um espaço Anti-de Sitter (AdS) em d + 1 dimensões. O restantes 9 d ou
10 dimensões d formar um espaço compacto, sendo os casos mais simples esferas. Três exemplos
com supersimetria ininterrupta são 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 fáceis de estudar as teorias são aqueles com um monte de supersimetria, mas
Parece que neste quebra supersimetria abordagem é mais acessível do que no anterior
entes. Por exemplo, um dia pode ser possível construir a cadeia QCD em termos de
uma teoria da gravidade dupla AdS, e usá-lo para realizar cálculos numéricos do hádron
espectro. Na verdade, já houve algumas etapas preliminares neste sentido.
Apesar de todos os sucessos que foram alcançados no avanço da nossa compreensão
Em particular,


O


Referências

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. Matemática. Phys.

183.
43