CUERDAS Y BRANAS

Por qu las teoras de cuerdas han generado tanto entusiasmo?, Qu son las "branas"?, Realmente son necesarias (y qu utilidad tienen) todas estas ideas? Pretendemos, dentro de los lmites de nuestros conocimientos, dar respuesta a varias preguntas sobre este tipo de teoras de manera breve, sistemtica y pedaggica. Queremos enfatizar desde un principio que a pesar de la fuerte justificacin racional de estas ideas y de su innegable atractivo, esto no garantiza de que sean las correctas, por lo que la posibilidad de estar equivocadas sigue abierta. Por otro lado, aun se cree en la imposibilidad de probar experimentalmente este tipo de ideas y sus predicciones, lo cual es interpretado como un problema muy serio para estas teoras; este no es precisamente el caso de las teoras de entidades extendidas, ya que tanto las supercuerdas como la Teora M en realidad s son capaces de hacer predicciones que podran someterse a la experimentacin con la tecnologa actual, y por lo tanto el problema radica (como explicaremos ms adelante) en otro lado. Sin embargo, en los ltimos 10 aos cierto sector de la comunidad de

fsica terica ha trabajado intensamente para poder obtener predicciones realizables experimentalmente de varias procesos que involucren a la gravedad y a la fsica cuntica y, de hecho, se han realizado muy recientemente varias mediciones respecto a tales proceso, por lo que creemos que no est muy lejos el da en que se pueda comprobar si estas ideas son o no correctas. Desde Septiembre de 1984, el mundo de la Fsica sufri una sacudida en sus cimientos ms profundos. Y todo por una simplea idea: se abandona la prctica de tratar a las partculas como entes fsicos puntuales, y se las considera como entes fsicos extendidos en el espacio. Es decir, partculas tales como los electrones o los quarks ya no se representan matemticamente mediante un "punto" en el espacio, sino que ahora poseen una dimensin finita; ahora pueden ser entes fsicos 1-dimensionales en el espacio ("supercuerdas" = "cuerdas supersimtricas", o quiz, cuerdas "superpoderosas" o con "super poderes"). En trminos cuasi-filosficos, es totalmente natural pensar que representar a una partcula como un "punto" es una idealizacin bastante burda, ya que un punto matemtico es un invariante de escala, lo cual significa que aun cuando pudisemos acercarnos infinitamente a la partcula, sta siempre seguira siendo un punto. Es ms natural pensar que a medida que nos acercamos a la misma observaremos que tiene un volumen o una extensin espacial finita y que la "representacin puntual" es slo una aproximacin vlida slo cuando la vemos desde grandes distancias. Es obvio que dicha representacin ha sobrevivido a lo largo de muchos aos debido a su gran utilidad en la simplificacin de las tcnicas de clculo y al inmenso xito terico-experimental que han tenido las teoras basadas en dicha idealizacin (el Modelo Estndar de Fsica de partculas [MEFP]) hasta la fecha, pero a un nivel ms fundamental resulta insatisfactoria, aparte de que es claro que tales teoras son incompletas y que en la actualidad han surgido una serie de fenmenos que no pueden ser explicados segn el conocimiento convencional. An cuando los fsicos de la poca (Poincar, Lorentz, Dirac, Abraham, etc.) eran conscientes de esto, los intentos de incluir una extensin finita para los entes fundamentales de la teora de partculas y tratarlas como "objetos extendidos en el espacio" fracasaron en sus primeros intentos. Tales modelos incluan contribuciones de trminos "no locales" y violaban los principios (de localidad) de la Relatividad Especial. Nadie saba como construir una teora coherente de entes fsicos extendidos en el espacio. El tratar a las partculas como puntos ha trado problemas de "divergencias" [magnitudes fsicas de una teora (arbitraria) que tienden hacia el infinito, lo cual hace que la teora sea incoherente], debido a que la interaccin entre dos partculas puntuales toma lugar en "un punto definido/localizado" en el espacio-tiempo.

Para poder trabajar con estas divergencias, los cientficos se vieron obligados a la creacin y uso de los llamados mtodos de regularizacin/renormalizacin en las Teoras Cunticas de Campo [QFT= Quantum Field Theory]. Aunque tales mtodos son muy poderosos y permiten el control de los infinitos de manera sistemtica, no son aplicables en todas las situaciones. En las teoras de cuerdas [TC] el uso de tales mtodos no es necesario ya que los entes fsicos no son puntuales.

Existen otras teoras/mtodos (que no se basan en postular objetos extendidos) ms generales creadas para tratar de extender la aplicabilidad de los mtodos de regularizacin y renormalizacin convencionales: Geometra No-Conmutativa [ Geometra Cuntica] y Fsica Difusa [Fuzzy physics]. Estas son muy recientes y se originan, a su vez, a partir de la aceptacin de algunas de las ideas no-convencionales introducidas y/o sugeridas por las cuerdas. Por qu las cuerdas/branas tienen ese increble atractivo? Aparte de una concepcin "ms realista" de los entes fsicos fundamentales, las TC ofrecen un marco unificatorio de todas las interacciones fundamentales conocidas hasta la fecha y ofrecen una posible solucin a uno de los problemas ms difciles que existe en nuestra poca: cmo construir una teora cuntica de la gravedad [Gravitacin Cuntica] que sea coherente matemticamente y que tenga poder predictivo. Pero, cul es el "costo conceptual" a pagar?

Con las cuerdas/branas se introducen muchas ideas extraas que para los fsicos ortodoxos no son ms que herejas, sacrilegios y blasfemias, pero que hoy da son consideradas como "naturales" por muchos fieles creyentes: la idea de dimensiones extras [introducida por G. Nrdstrom (1914), Theodor Kaluza (1919) y Oskar Klein], entes fsicos extendidos (i.e., no-puntuales) que anteriormente no haban podido ser implementados satisfactoriamente dentro de una QFT; fermiones transformndose en bosones y viceversa (una nueva simetra de la naturaleza), etc. La comunidad de Fsicos ha perseguido siempre el sueo reduccionista de "simplificar" todos los conocimientos tericos a unos simples y contados postulados, a partir de los cuales "deducir todo". Circulan en la actualidad cantidades inmensas de artculos acerca de la ahora popularmente llamada "TEORIA DEL TODO". Todo empez en la decada de los 50 cuando en los aceleradores de partculas se empezaron a detectar una cantidad inmensa de partculas extraas. Exista una urgente necesidad de clasificar todas estas partculas dentro de un marco fisicomatemtico unificatorio consistente, coherente. En los 60 surgen modelos como "El Camino Octuple" de Murray GellMann y Yuval Ne'eman, donde se postula la existencia de los quarks, el cual tiene un enorme xito en la clasificacin de las partculas observadas hasta esa fecha. Sin embargo, existe una necesidad de refinar a dicho modelo, pues el mismo slo sirve para clasificar lo que ya exista. Nacen as otros modelos con mucho mas poder predictivo: en 1973 nace la Cromodinmica Cuntica [QCD], una versin mejorada del Camino Octuple, la cual es, hoy por hoy, la mejor teora que se tiene para explicar a la fsica hadrnica [conjunto de fenmenos observados en los aceleradores de partculas que involucran a las interacciones fuertes]. Sin embargo, antes de que surgiera la QCD se propusieron otros modelos para tratar de explicar dichos fenmenos, entre los cuales estaba el propuesto por Gabriel Veneziano: el modelo dual de resonancia (1968), el cual fue el origen de todas las TC actuales. Sin embargo, el modelo de Veneziano y otras versiones mejoradas, tenan serias dificultades pues su poder predictivo estaba contaminado con los famosos problemas de las divergencias o infinitos [llamados tambin problemas de "no-renormalizacin", los cuales surgen cuando los mtodos de regularizacin/renormalizacin no funcionan; este tipo de problemas lo han sufrido una cantidad considerable de diferentes teoras a lo largo de la historia de la fsica de Altas Energas]. Los modelos tambin sufran de anomalas [son "trminos/magnitudes fsicas" que aparecen dentro de la versin cuntica de una teora y cuya existencia IMPIDE que se cumplan ciertas leyes de conservacin o simetras lo cual transforma a la (versin cuntica de) teora en un formalismo inconsistente; en otras palabras, las simetras a pesar de que si se cumplen a en la versin clsica de la teora, no se cumplen en la versin cuntica de la

misma, y no se la puede usar para describir la fsica a nivel cuntico ya que predice locuras. Es claro entonces que si una teora/modelo est libre de anomalas, entonces en lugar de predecir incoherencias, tiene ms posibilidades de poder describir consistentemente a la fenomenologa real observada]. Por tales razones, los modelos tempranos de cuerdas fueron deshechadas por la aceptacin de la Cromodinmica Cuntica como la teora correcta para explicar los procesos hadrnicos observados. Investigaciones posteriores [Yoichiro Nambu, Joel Scherk, Keiji Kikkawa, Bunji Sakita, Miguel A. Virasoro, David Gross, A. Nevau, Pierre Ramond, Michio Kaku, y muchos otros] revelaron de que el modelo de Veneziano tena una caracterstica muy peculiar : las ecuaciones de la teora no describan a la dinmica/evolucin de entes fsicos como "partculas puntuales" en el sentido usual, sino como "entes extendidos (o sea, no localizados en un punto del espacio) 1-dimensionales", a los cuales se les llam "cuerdas" [casi paralelamente se desarroll tambin la teora de objetos de ms de 1 dimension, las membranas 2-dimensionales y de mayor dimensin, pero hablaremos de esto ms adelante]; adems el modelo de Veneziano predeca la existencia del gravitn, que para ese entonces era ALGO INDESEABLE , ya que en esa poca lo que se buscaba era una teora que explicase las interacciones fuertes y no la gravitatoria. Adems, este modelo era consistente slo en 10 dimensiones: un Universo con ms de 4 dimensiones era, en esa poca, algo totalmente impensable. Todos estos "problemas" contribuyeron a que muchos fsicos abandonaran este modelo. Sin embargo, algunos tericos se dieron cuenta de que si se cambiaban algunas definiciones, y se le agregaban otras cosas, esta teora podra llegar a servir para UNIFICAR las fuerzas fundamentales conocidas hasta la fecha. Resurgen en 1974 como una "teora del todo" cuando se descubre que las TC incorporan a la gravedad [Relatividad General de Einstein] de manera coherente dentro de una teora cuntica de entes fsicos extendidos. Sus autores decan entonces tener la gran solucin al problema sobre la unin de la gravedad y la fsica cuntica: haban encontrado una (posible) teora de Gravitacin Cuntica. Sin embargo, a pesar de todo, los primeros modelos de cuerdas aun eran defectuosos (aun haban anomalas). No todos crean en todas estas promesas y, por ende, tales teoras fueron casi totalmente abandonadas; muy pocos fsicos se quedaron trabajando en las mismas, mientras que la mayora trabajaban en las teoras "convencionales" que hoy forman el Modelos Estndar ( MEFP). La "fiebre de las Cuerdas" resurgi en Septiembre de 1984, cuando un equipo de slo dos fsicos solitarios, Michael Green (Queen Mary College, Universidad de Londres) y John Schwarz (Caltech, Univ. de California) completaron un programa de ms de diez aos de investigacin al margen del resto de la comunidad cientfica, publicando la versin super-simtrica de las TC: las SuperCuerdas [TSC].

Ellos y otros investigadores lograron contruir 5 aparentemente diferentes teoras de supercuerdas (hoy da existen muchas versiones de estas 5 teoras originales, pero hablaremos sobre esto ms adelante). Aunque ellos no son los padres de la TC, no la abandoraron ya que estaban convencidos de su potencial y trabajaron durante largo tiempo para construir una teora consistente, sin contradicciones lgicas y libre de anomalas. Esto fue lo que atrajo a muchos fsicos tericos, ya que supuestamente ahora se dispona de un esquema unificatorio en donde la gravitacin se puede "cuantificar" [o sea, la tan anhelada unin entre la gravedad y la fsica cuntica] consistentemente sin que el modelo resultante est plagado de anomalas e infinitos [los intentos para construir una teora de gravedad cuantizada antes de 1984 no eran satisfactorios precisamente por estos problemas]. Procederemos ahora a la descripcin de las teoras de supercuerdas (o sea, de entes fsicos extendidos 1-dimensionales) y branas (como aclararemos mejor ms adelante, entes fsicos extendidos de diversas dimensiones). Desarrollo 1984-1995 Que tienen de especial las Supercuerdas? En el MEFP se describen a las partculas como "entes fsicos localizados en un PUNTO en el espacio". Debido a este solo hecho surgen dentro de las Teoras Cunticas de Campo "enfermedades" como la no-renormalizacin y las anomalas. Por otro lado, los tericos se preguntaban: "Cmo hacer para modificar el concepto de que las partculas, en s, no pueden ser entes puntuales, sino que deben tener dimensiones (o sea, pueden ser objetos extendidos, no localizados en un "punto" del espacio) y que tambin pueden tener estructura interna?... Cmo cambiar dicho concepto de manera coherente, lgica, consistente, si el formalismo fisico-matemtico que se ha desarrollado hasta la fecha ha girado siempre en torno al concepto de partculas puntuales?" La nica teora que ha logrado, hasta ahora, cambiar el concepto de "partcula puntual" de manera coherente y libre de las "enfermedades" que afectaban a las anteriores teoras, es las TSC [es muy importante aclarar que esto no significa que las TSC actuales estn totalmente libre de problemas]. Las TSC postulan que todas las partculas son realmente "entes fsicos extendidos 1-dimensionales" llamados "cuerdas" [Fundamental strings o Fstrings o F1 y se les llama "super-cuerdas" ya que, como se mencion al principio, se incluye tambin el concepto de Supersimetra]. Tomemos una cuerda que est vibrando: si la cuerda vibra de cierto modo, se comportar como un electrn, si vibra de otro modo se comportar como un quark; una cuerda vibrando en diferentes modos puede comportarse como un glun o un neutrino o un fotn, etc. Por tal razn se dice que las partculas no son ms que "diferentes modos vibracionales o excitaciones" de las cuerdas.

CONCEPTOS BASICOS

Es de extrema importancia conocer algunos de los parmetros bsicos de estas teoras, ya que se usan mucho en la literatura especializada y los conceptos fsicos detrs de ellos son cruciales para entender todo el tema que nos ocupa. Algunos parmetros que caracterizan a la cuerda (y por lo tanto, a las TSC) son: Su longitud (o ms bien, su escala fundamental de longitud), ls, que puede tener relacin o no con la la longitud de Planck, LP, ~10-33 centmetros (aproximadamente 100 trillones de veces ms pequeas que el dimetro clsico de un electrn) y aun hoy da se desconoce cul es la verdadera escala de las cuerdas; est relacionada con el parmetro llamado "Universal Regge Slope". Segn el estado actual de las TSC, ste es el nico parmetro libre (ajustable) de las TSC y se interpreta como la escala de longitud o de energa en la cual los efectos, debidos a la naturaleza "extendida" de las cuerdas, se hacen sentir; en esta escala tienen lugar procesos cuya fsica solo puede ser descrita (supuestamente) por las TSC y no por cualquier otra teora efectiva, Seff Esta escala puede ser relativamente grande o muy pequea, y su valor puede ser "ajustado" a conveniencia dependiendo de la TSC usada y de los procesos que se estn estudiando. La Tensin de la cuerda, , nos da la energa de la cuerda por unidad de longitud (o sea, la densidad lineal de energa). De la fsica de altas energas sabemos que para estudiar fenmenos que ocurren en escalas de longitud (o distancias) muy pequeas se requiere de una energa enorme, y

para estudiar fenmenos que ocurren a grandes distancias o escalas de longitud la energa requerida es poca. De esto sabemos que longitud y energa estn inversamente relacionados, .

Todo esto sirve para establecer el lmite cuando alfa tiende a cero, , el cual significa "bajas energas": la interpretacin de este lmite es algo sutil; alfa es la escala de longitud o distancia a la cual se estn estudiando los procesos que involucran a las cuerdas y cuando alfa "tiende a cero" no significa que la longitud de la cuerda "se encoge hasta cero"... lo que significa es que las mediciones fsicas hechas por los aparatos se realizan a una escala de longitud, , que es muy grande en comparacion con alfa, ; la escala es tan gigantesca en comparacin con alfa que, para efectos prcticos, alfa es casi insignificante. Ahora bien, ya que nos encontramos en la escala , los efectos debidos a la "naturaleza extendida" de las cuerdas dejan de jugar un papel importante. En otras palabras, no se pueden "ver" a las cuerdas en su glorioso esplendor, y lo que se observa son los procesos producidos por unos entes fsicos que para efectos prcticos se pueden considerar como "partculas puntuales". Ms claro aun, a grandes escalas de distancia (o equivalentemente, a escalas muy bajas de energa) las cuerdas se comportan como si fuesen partculas fundamentales: es como si se observa la superficie de un escritorio desde muy cerca (lo cual representa una "escala de longitud de observacin" muy pequea), y se detectan toda clase de imperfecciones (rayaduras, grietas, polvo, pintura, astillas de madera, etc., las cuales representan la "estructura interna" de dicha superficie); a medida que uno se aleja del escritorio, la escala de longitud de observacin se hace cada vez ms y ms grande, hasta que no es posible detectar la estructura interna de la superficie y lo que se observa es una superficie bien pulida, sin imperfecciones. Si intentamos describir la superficie del escritorio en estas escalas de observacin, la estructura interna de la superficie deja de jugar un papel fundamental. Otra analoga cotidiana est en la Astronoma: las estrellas parecen "puntos brillantes" ya que la escala de longitud de observacin es muy grande (estamos muy lejos de las estrellas!); sin embargo, sabemos que si nos acercamos lo suficiente (i.e., si reducimos la escala de distancia a la cual realizamos la observacin) nos damos cuenta de que tales "puntos brillantes" tienen "estructura interna" y que realmente son gigantescas esferas de plasma termonuclear, o sea, no son "puntos" sino que son objetos con una extensin o volumen. Debido a que estamos muy lejos de las estrellas, no sentimos el calor que irradian, pero si nos acercamos cada vez ms, los efectos (radiacin, calor, viento estelar, etc.) de la "naturaleza extendida" de esos puntos luminosos empiezan a sentirse cada vez ms y ms

intensamente. Ahora bien, como se mencion anteriormente, escalas grandes de distancias se traducen en escalas muy bajas de energa. A energas muy bajas las TSC, que describen los procesos fsicos entre las cuerdas, se "reducen/simplifican" y se convierten en Teoras (Efectivas) de SuperGravedad [SUGRA], y como las cuerdas, a estas escalas, se comportan como "partculas puntuales", las SUGRA slo pueden describir los procesos fsicos entre tales "entidades fsicas puntuales". Aun cuando la escala natural de energa con la cual se trabaja en los grandes aceleradores de partculas es "alta", no es lo suficientemente "alta" como para ver la estructura interna de las partculas observadas, es decir, no es lo suficientemente "alta" para ver a las cuerdas; y en comparacin con la escala de energa de las cuerdas, las densidades de energa que se alcanzan en tales aceleradores aun es DEMASIADO BAJA. Por lo tanto, para efectos prcticos, la tecnologa actual trabaja a muy bajas energas en comparacin con aquella necesaria para "ver" a las cuerdas. Es algo anlogo a lo que pasa con la Relatividad Especial [RE] y la Dinmica Newtoniana [DN]: a velocidades muy altas, la RE juega un papel fundamental, pero a velocidades muy bajas, la RE deja de ser relevante y se "reduce/simplifica" a la DN, la cual solo puede describir los procesos fsicos que ocurren en la escala de velocidades muy bajas. Se pretende entonces que a bajas energas se pueda recuperar al Modelo Estndar de fsica de partculas a partir de las TSC; esto significa que se espera que, al menos en principio, a bajas energas la TSC pueda describir la fsica microscpica del Universo conocido. La constante de acoplamiento (o "carga") de la cuerda, es . Este NO es un parmetro libre ya que est determinado por la estructura interna de la teora. Esta magnitud determina con cunta intensidad INTERACCIONAN las cuerdas entre si. El lmite significa que la interaccin entre las cuerdas es muy dbil; se dice entonces que nos encontramos en el "regimen de acoplamiento dbil". Solamente cuando se trabaja en este regimen se puede usar la teora de perturbaciones, la cual no es sino un mtodo matemtico general para hacer aproximaciones/simplificaciones que facilitan el estudio/descripcin de los fenmenos que ocurren dentro del regimen. Casi la totalidad del conocimiento adquirido en el estudio de las cuerdas/branas ha sido el fruto de trabajar casi exclusivamente dentro de este regimen. significa que la interaccin es fuerte; se dice El lmite entonces que nos encontramos en el "regimen de acoplamiento fuerte". En este regimen no es posible usar los mtodos perturbativos, por lo tanto no se pueden hacer aproximaciones/simplificaciones y hay que (intentar) trabajar con toda la complicacin/dificultad de la teora; no es posible evadir la enorme

dificultad que este "regimen NO-PERTURBATIVO" posee. Se conoce muy poco sobre los fenmenos que pudieran ocurrir dentro de este regimen. El escaso conocimiento que se ha logrado reunir ha sido gracias al uso, bajo ciertas condiciones, de las branas y los intentos que tienen que ver con "ir ms all" del regimen perturbativo de acople dbil de las TSC pueden resumirse, a grandes rasgos, en lo sig.: Teora M y sus Dualidades, Dualidad AdS/CFT, Teora de Campos de Cuerdas (todo lo cual se explicar ms adelante). En resumen: se conoce muy poco sobre el comportamiento fsico del Universo a muy grandes energas y se conoce muy poco de cmo se comportan las cosas cuando interactan muy fuerte. El grado de dificultad/complejidad que stas dos poderosas razones imponen es tan alto que, dado el estado actual de conocimientos de toda la humanidad, los cientficos se ven obligados a trabajar, casi exclusivamente, en el llamado "regimen perturbativo a bajas energas [RPBE]": las QFT convencionales y las teoras que componen el MSFP trabajan dentro de este regimen. Aun hoy en dia, no se ha logrado construir teoras (en general) que funcionen en el regimen no-perturbativo a altas energas, y slo se conocen ciertos modelos especficos que slo pueden aportan poca informacin sobre dicho regimen (modelos basados en instantones y/o monopolos magnticos). En trminos ms simples: nadie sabe cmo se comportan las cosas a altas energas, ni cuando interactan fuertemente (en el caso de la QCD, slo se conocen aspectos globales de tal comportamiento). Las TSC no son la excepcin, y trabajan tambin dentro de dicho regimen (por lo que cambiaremos de notacin: de TSC a TPSC = Teoras Perturbativas de SuperCuerdas).

TIPOS DE CUERDAS

Fig.1. Una partcula, una cuerda abierta y una cerrada, describiendo sus rbitas en el espacio-tiempo 4D.

Se postulan 2 clases de cuerdas: las abiertas y las cerradas (Fig.1). Cuando una partcula se mueve/propaga en el espacio-tiempo, ella describe una trayectoria (que en una grfica de Posicin vs Tiempo aparece como una curva, cuyo nombre tcnico es "rbita" "lnea de mundo" = "worldline"). Cuando una cuerda se mueve/propaga en el espacio-tiempo, no describe una lnea tal y como lo hara un punto, sino que describe una superficie 2-dimensional. Si la cuerda es abierta, la superficie es un "plano (deformado)" ["hoja de mundo plana" = "plane worldsheet" (WS)]; si es cerrada, la superficie ser un "tubo/cilindro (deformado)" ["hoja de mundo cilndrica" = "cilindrical WS"]. Este tipo superficies se representan mediante diagramas llamados "diagramas de partcula libre" y representan a una cuerda propagndose libremente, sin interactuar con nada (Fig.1). Las WS son superficies 2D que pueden poseer o no una orientacin, por lo que las WS pueden ser orientadas (cintas, discos, esferas, toroides, etc) y no-orientadas (Banda de Mobius, Botella de Klein, etc.). Por lo que a las cuerdas tambin se las denota como orientadas y no-orientadas. La orientacin se define matemticamente de la sig. manera: se dibuja un vector perperdicular a la superficie, y luego se transporta dicho vector (mantenindolo siempre perperdicular a la superficie) a lo largo de cualquier trayectoria cerrada (el punto final de la trayectoria es igual al punto inicial) sobre dicha superficie; cuando el vector vuelve a su posicin original (ya que ha recorrido una trayectoria cerrada) pueden pasar 2 cosas, si el mismo apunta hacia la misma direccin que tena antes de empezar su recorrido, entonces la superficie es orientada y si apunta en direccin opuesta, entonces la superficie no es orientada (ver Fig.1.1). Las cuerdas no-orientadas no pueden interactuar con las orientadas, slo con cuerdas de su misma especie.

Existe otra subdivisin de las cuerdas cerradas ("right-moving" and "leftmoving" sectors) que es muy importante entender antes de proseguir (relevante para la clasificacin de las 5 TPSC), y que tiene que ver con el concepto de Quiralidad ("chiral" = "mano", griego; "chirality" = "handedness"): dcese de cualquier objeto que es diferente a otro objeto cuya forma es la "imagen reflejada en un espejo" del primero. Nuestras manos son quirales: ambas manos son el "reflejo especular" una de la otra (Fig.2.a) y ambas son diferentes una de la otra. Si ambas fuesen idnticas ("aquirales") entonces, mediante una serie de rotaciones y traslaciones se podra superponer la mano derecha sobre la izquierda, o viceversa, y ambas encajaran perfectamente. Se dice entonces que exite una simetra ante "reflexiones" ( "simetra de Paridad = [P]"): ambos objetos, imgenes especulares uno del otro, son iguales y si uno cambia uno de ellos por el otro, la fsica sigue siendo la misma. En la naturaleza existen pares de objetos que son imgenes especulares uno del otro, por ejemplo, existen pares de molculas de ADN, protenas,

amino-cidos, azcares, enzimas, anticuerpos, hormonas, etc., que son la imgen especular una de la otra, y sin embargo, aun cuando poseen los mismos componentes, no son iguales (son quirales) ya que la posicin de los mismos es diferente, y no se pueden superponer una sobre otra mediante ninguna rotacin-traslacin (Fig.2.b). El par de objetos quirales es denominado enantiomorfos y/o dextrgiro ( "right-handed") y levgiro ( "left-handed"), dependiendo del marco de referencia usado para definirlos. En fsica de partculas, sucede algo similar. Para definir la quiralidad en las partculas se recurre al sig. escenario de mecnica clsica (Fig.3) y al concepto de "helicidad": un objeto se est propagando en una direccin determinada, y al mismo tiempo est rotando y el "sentido en que hace la rotacin" es definido usando nuestras manos; si est rotando en el mismo sentido en que los dedos de la mano derecha (izquierda) se cierran ("regla de la mano derecha", o "izquierda"), entonces el sentido de la rotacin es hacia donde apunta el dedo pulgar extendido, que en la Fig.3.b se representa por un vector, "S". Si desde un marco de referencia adecuado, se mide la rotacin del objeto y se encuentra que dicho vector "S" apunta en el mismo sentido que el del movimiento del objeto, entonces se dice que el mismo tiene helicidad "izquierda" ( "left-handed") y se le asigna un valor numrico, "h = +1". Si "S" apunta en sentido opuesto al del movimiento, el objeto tiene helicidad "derecha" ( "right-handed") y se le asigna un valor numrico, "h = -1" (ntese que el marco de referencia desde el cual se hacen las mediciones, resulta muy importante para establecer las definiciones pertinentes). En la versin cuntica de este escenario (la apropiada para describir a las partculas elementales), el concepto de "rotacin de la partcula" no se define, pero el uso de los valores numricos de +1 y -1 sigue siendo vlido: la partcula es izquierda si su h = +1; es derecha si su h = -1. Ahora la quiralidad (helicidad) de estas partculas se refiere a los valores de +1 -1. En la fig.3.b., ambos objetos (uno imgen especular del otro) tienen igual quiralidad (ambos objetos tienen el vector S apuntando en igual sentido, y ambos tienen h=+1), por lo que son quirales ya que son diferentes entre si como puede verse si se rota a uno de ellos (ambos estarn girando en el mismo sentido pero sus vectores "S" apuntan en sentidos opuestos). Ahora bien, la importancia de todo esto radica en lo siguiente: la mayora de los leptones tienen ambas helicidades, por ejemplo., existen electrones (al igual que protones, quarks, etc.) con h = +1 (electrn izquierdo) y tambin con h= -1 (electrn derecho), y ambos no son la "imgen especular" uno del otro (Fig.3), pero, mediante una rotacin es posible "superponerlos"; ambos tienen las mismas propiedades, y por lo tanto, son iguales, son aquirales. Si todas las partculas del Universo fueran asi, entonces el Universo sera aquiral. Pero, algo raro pasa con los neutrinos. Slo se han logrado detectar neutrinos izquierdos (h=+1), por lo que se cree que el neutrino derecho (h=-1) no existe. Tambin slo se han logrado detectar anti-neutrinos

derechos (h=-1), pero no anti-neutrinos izquierdos (h=+1)! Por qu? Es un misterio. Se dice entonces que el Universo debe ser chiral, ya que el neutrino izquierdo ( el anti-neutrino derecho) no es igual al neutrino derecho (antineutrino izquierdo), ya que stos no existen (o ms bien, nadie los ha detectado en la Naturaleza). El panorama ha cambiado desde que se estableci de manera concluyente de que los neutrinos poseen masa, pero ms adelante se volver a tratar este punto. Los neutrinos no son la nica evidencia de que el Universo debe ser quiral: una de las 4 interacciones fundamentales, la interaccin dbil (responsables por los procesos de Decaimiento de las partculas) es quiral, en el sentido de que existen procesos fsicos entre partculas que no poseen simetra de Paridad. Ms claramente, supngase que se toma uno de estos procesos (proceso "A") y se "refleja en un espejo"; supngase ahora que el proceso reflejado en el espejo (proceso "B") existe en la naturaleza. Tenemos ahora un par de procesos (procesos "A" y "B"), y ambos son reflejos especulares uno del otro. Si la fsica de stos procesos es la misma, entonces ambos son aquirales. Se puede cambiar el proceso "A" por el "B" y la fsica no cambia; existe entonces una simetra ante la transformacin de reflexin o paridad, en la cual se sustituye un proceso "A" por otro proceso "B" que es la "imgen reflejada" del primero. Si la fsica no es la misma, ambos procesos son quirales. No hay simetra de reflexin o paridad. Supngase ahora que el proceso "B" no existe en la Naturaleza. Entonces, "A" es quiral, ya que no es igual a ningun proceso "B" que sea su reflejo. No hay simetra de reflexin, ya que "el reflejo" no existe en la Naturaleza! Por lo tanto, la interaccin dbil NO es invariante ante una transformacin de reflexin o paridad. Sin embargo, sucede algo curioso si en el proceso "A" se sustituyen todas las partculas por sus anti-partculas: ahora "A" se convierte en el proceso "B". Es decir, "A" con anti-partculas es la imgen especular de "A" con partculas. Y la fsica de ambos procesos es igual, por lo que ambos son aquirales, lo que significa que si se hace la transformacin "cambiar todas las partculas por sus anti-partculas" (transformacin llamada "Conjugacin de Carga = [C]") y tambin se hace una transformacin de paridad, entonces la (fsica de la) interaccin dbil SI es invariante, no cambia, permanece igual, y por lo tanto si hay una simetra, pero esta vez es una simetra combinada, formada por C y P, la llamada "simetra CP = conjugacin de carga y paridad". Para sorpresa de los fsicos, se descubri que el decaimiento del Kaon viola la simetra CP. El Universo sigue siendo quiral, o sea, no es invariante ante transformaciones de paridad, ni aun cuando se incluye la transformacin C. Las leyes fundamentales de la fsica (conocida) reflejan tales hechos, y si la TPSC pretende ser una teora fundamental, debe incluir el fenmeno de la quiralidad. Esto se logra de la siguiente manera: las vibraciones en una cuerda pueden propagarse a lo largo de la misma de izq. a derecha y viceversa; se dividen entonces a las vibraciones o excitaciones de las cuerdas (las cuales representan a las partculas) en dos partes, el grupo de las

excitaciones que se mueven de izq. a derecha ("right-moving sector"), y el grupo de las que se propagan de derecha a izq. ("left-moving sector"). Ambos grupos o sectores pueden ser la "imgen especular" uno del otro. Entonces, una TPSC en particular puede ser quiral (ambos sectores tienen igual helicidad o quiralidad, h) o aquiral (ambos sectores tienen quiralidad diferente) si postula que la fsica de ambos sectores es diferente o igual, respectivamente. Si la TPSC es aquiral, es posible que existan algunos fenmenos dentro de la teora (de los cuales hablaremos ms adelante) que obliguen a que la misma sea quiral. Esta sub-clasificacin de las cuerdas es importante en la clasificacin de las 5 TPSC que se ver ms adelante. Existe tambin un refinamiento muy importante de la anterior subclasificacin. Las cuerdas deben obedecer a ciertas condiciones de frontera, lo cual sirve para clasificar a las cuerdas en otros sub-sectores : para las cuerdas abiertas, existen 2 sectores, el sector R ("R = Ramond" por Pierre Ramond) y el sector NS ("NS = Nevau-Schwarz", por Andre Nevau y John Schwarz), y los estados vibracionales de las cuerdas que representan a los bosones sin masa ("massless states") estn en el sector NS y los fermiones sin masa estn en el sector R. Para las cuerdas cerradas, tambin hay sectores R y NS, pero con la complicacin de que ahora se tienen que tomar en cuenta la subdivisin de los sectores izquierdo y derecho, por lo que combinando todo hay 4 sectores que se pueden formar, RR (el R-sector del left-moving sector se combina con el R-sector del right-moving sector), R-NS (el R-sector del leftmoving sector se combina con el NS-sector del right-moving sector), NS-R (el NS-sector del left-moving sector se combina con el R-sector del right-moving sector), NS-NS (idem) y los bosones sin masa estn en los sectores RR y NSNS, y los fermiones sin masa, en los sectores R-NS y NS-R. A la constante de acople de las F-strings, , se le llama tambin "carga de Nevau-Schwarz", y gracias a ella las cuerdas slo interactan con los campos del sector NS, R-NS, NS-R y NS-NS; las cuerdas no interactan con los campos del sector RR, slo las branas (lo cual se discutir ms adelante). Qu pasa cuando las partculas interactan?Richard Phillip Feynmann [19181988, Premio Nobel 1965] ide una representacin grfica

Fig.4. Las partculas A y B interaccionan entre s intercambiando otra partcula que "transmite la fuerza" entre A y B.

para cada tipo de interaccin, dada por diagramas llamados "Diagramas de Feynman" [DdF] (ver Fig.4 y 5). Para cada una de las 4 interacciones bsicas (Fuerte, Dbil , Electromagntica, Gravitacional), para cada partcula conocida y para cada posible forma de interactuar, existen diagramas caractersticos de Feynman. Las QFT usan estos diagramas, y las interacciones se interpretan como el intercambio, entre las partculas interactuantes, de una partcula "transmisora de la fuerza" (Fig.4). Ya que las QFT trabajan dentro del RPBE, se usa la teora perturbativa para tratar de describir a dicha interaccin, y consiste en lo sig.: se empieza con una interaccin bsica (Fig.4), la cual tendr la mayor probabilidad [P0] de ocurrir; a esta interaccin bsica se le suma otra posible forma en que las mismas partculas pueden interactuar, la cual tendr una probabilidad de ocurrir [P1] menor que la interaccin anterior (P1 < P0). La probabilidad total de ambas interacciones ser: PT = P0 + P1 . A estas dos interacciones se le suma otra posible forma en que las mismas partculas pueden interactuar, y tendr una probabilidad de ocurrir [P2] menor que la interaccin anterior con P1 (PT = P0 + P1+ P2, tal que P2 < P1 < P0) y asi sucesivamente, se van sumando ms y ms interacciones, cada una con una probabilidad menor que la interaccin anterior, de tal manera que la probabilidad total de todas estas interacciones ser: PT = P0 + P1 + P2 + P3 + P4 + ... y asi hasta sumar un nmero infinito de posibles interacciones. Para que esto sirva el resultado de la suma debe ser finito, aun cuando se suman infinitos trminos. Se dice que la suma debe converger. Si esto no sucede, entonces la suma diverge, i.e., tiende al infinito. Si esto sucede se debe recurrir a los mtodos de regularizacin/renormalizacin, los cuales, si funcionan, harn que la suma converga. Si no funcionan, se dice que la teora (que contiene a dicha suma) es no-renormalizable, lo cual representa un problema. Tomemos ahora una interaccin cualquiera, la cual se representar grficamente mediante la suma de una sucesin infinita de sus DdF (Fig.5). Esta sucesin infinita se divide en 2 partes: I ) el primer diagrama es llamado "diagrama de rbol" ["tree-level diagram"], y representa la interaccin bsica (Fig.4), o sea la que tiene P0, la mayor probabilidad de suceder, y se dice que este diagrama representa a la interaccin clsica de las partculas, II ) y el resto de los diagramas son la segunda parte de la serie infinita; esta serie infinita de diagramas representan a las aproximaciones de mayor orden (P1, P2 , P3 , P4 , ...) en la teora perturbativa y son llamados "correcciones perturbativas", las cuales se suman al diagrama-rbol para asi tomar en cuenta las diferentes y posibles formas de interactuar entre las partculas. Estos diagramas representan la interaccin cuntica entre las partculas, por lo que se les llama "correcciones perturbativas cunticas" y, en un sentido intuitivo, son las correcciones que hay que sumarle al diagrama de la interaccin clsica debido a la existencia de fenmenos cunticos.

Fig.5. La interaccin completa entre 2 partculas puede descomponerse en una suma infinita de interacciones mas "elementales", cada una con una probabilidad determinada.

En las TPSC los diagramas son ms sencillos desde el punto de vista de la fsica, aun a pesar de que los mismos estn compuestos por superficies en lugar de lneas (ver Fig.6,7,8) ya que slo hay 1 tipo de ente fsico actuando: las cuerdas. Ms claramente, no es que exista 1 sola cuerda a partir de la cual se obtiene todo, sino que existen muchas cuerdas, todas iguales, pero cada una con varios modos iguales y/o diferentes de vibracin, y todas interactuando a travs de una sola "fuerza", descrita simplemente por la unin o separacin de las cuerdas. Es claro ver entonces por qu a las TPSC se las considera como esquemas unificadores: todas las partculas --electrones, fotones, gravitones, protones, quarks, neutrinos, etc.-- se describen como vibraciones estados excitados de un solo tipo de ente fsico, la cuerda, y todas las 4 fuerzas fundamentales se reducen a una sola "forma" de interactuar. Una interaccin general entre cuerdas se puede representar como la suma de interacciones ms "elementales", empezando con el diagrama rbol

que representa la interaccin con la mayor probabilidad de ocurrir, seguida por las correcciones perturbativas, es decir, por los dems diagramas de la serie infinita (Fig.9). Como puede observarse en dicha figura, las superficies que representan las interacciones no se vuelven increiblemente complicadas como los digramas de partculas, ya que slo hay que agregarle agujeros a una superficie dada.

Fig.9

Fig.10

Fig.11 Entre las varias interacciones permitidas (Fig.10) por la consistencia de la teora estn: dos cuerdas abiertas pueden juntarse y formar 1 sola, y/ viceversa, una cuerda puede "romperse" para formar dos o ms cuerdas; una cuerda abierta puede "autointeractuar" y formar una cuerda cerrada, y/ viceversa, una cuerda cerrada puede "romperse" y formar una abierta; dos cuerdas pueden intersectarse en un lugar determinado y "romperse" para formar otras 2 cuerdas; Una cuerda puede autointersectarse y dar origen a una cuerda cerrada, y/ una cuerda cerrada puede intersectar a una abierta para dar origen a otra cuerda abierta.

La complicacin de las interacciones entre cuerdas abiertas y/ cerradas puede verse ejemplificada en la Fig.11. Es claro que aun cuando las TPSC estn bastante desarrolladas, aun falta mucho para comprender la totalidad de los fenmenos que se originan en situaciones tan complicadas como la mostrada en la Fig. 11. Hasta la fecha slo se ha logrado profundizar en el estudio de las interacciones de un nmero muy pequeo de cuerdas, a bajas energas y en el rgimen de acople dbil. Cuando el nmero de cuerdas aumenta, hay que hacerle frente al famoso problema de N-cuerpos, el cual es solubre slo para N = 2 cuerpos, y para N = 3 fenmenos no lineales tales como el Caos empiezan a surgir, lo cual complica enormemente estos estudios. Hasta ahora se ha descrito las posibles interacciones de cuerdas propagndose en espacios planos, "triviales"; sin embargo, como se ver ms adelante, la situacin es en general mucho ms complicada, ya que existen muchas versiones de las 5 teoras originales, en las que las cuerdas tienen que propagarse en espacios mucho ms complicados, los cuales pueden tener una forma bastante extraa: por ejemplo, pueden tener "agujeros" en los cuales algunas cuerdas estn atrapadas, y no se pueden propagar libremente, dando lugar a diferentes efectos. COMPACTIFICACIN Las 5 TPSC originales postulan que estas cuerdas se estn moviendo/propagando en un espacio-tiempo ("TARGET space") infinito y plano (i.e., cero curvatura), M9,1, de 10 dimensiones = 9 espaciales + 1 de tiempo [o quizs el espacio-tiempo podra tener 11 o ms dimensiones, aun no se sabe: la razn de esto radica en que las dimensiones 10 y/o 11 slo son vlidas para las TPSC en las cuales las cuerdas se propagan en un espacio-tiempo PLANO ("trivial"); si las cuerdas se propagan en un espacio-tiempo "no-trivial", o sea no-plano, las condiciones bajo las cuales se obtuvieron tales nmeros cambia, y el espacio-tiempo no tiene por qu tener 10 u 11 dimensiones! es posible que la dimensionalidad del "Target-space" por el cual se propaga la cuerda pueda cambiar de manera dinmica! Este tipo de procesos aun est bajo investigacin]. Ahora bien, si esto es correcto, por qu no se observan las dimensiones extras y slo se observa un Universo 4D ? Existen varias ideas que tratan de resolver esta aparente paradoja, y una de ellas es la sig.: se postula que el espacio-tiempo M9,1 del Universo est realmente formado por (el "producto / multiplicacin" de) 2 partes, M9,1 = Md,1 x X9-d : un espacio-tiempo, Md,1, de (d+1)-dimensiones "normales" (1 < d < 9) y quizs infinitas (las cuales ya son familiares para nosotros) y otro espacio, X9-d, con (9-d) dimensiones finitas que son demasiado pequeas (que podran ser o no del tamao de la long. de Planck) como para poder detectarlas directamente con la tecnologa actual. La naturaleza de los espacios M y X puede ser variada y, de hecho, las nuevas versiones diferentes de las TPSC que existen (y son muchas, por lo que

estrictamente hablando existen ms de 5 teoras) son el resultado de escoger por pura conveniencia la forma de M y de X. La dimensin "d" puede ser cualquier nmero entre 1 y 9, pero por motivos pedaggicos tomaremos por el momento d = 4. En terminologa matemtica, en este caso el espacio-tiempo del Universo se describe como M3,1 x X6, lo cual significa que las cuerdas se propagan en un espacio-tiempo de 10D [3 + 1 + 6] cuya topologa ( = forma del espacio) se describe por un espacio M 4D tal que "en cada punto" del mismo existe un espacio X 6D finito ( = compacto) y muy pequeo

Fig.12. El espacio total est formado por la unin del espacio 4-dimensional y todas las 6-esferas que existen en cada uno de los infinitos puntos del espacio 4D.

En trminos de modelos cosmolgicos, ste tipo de ideas resultan extremadamente extraas: se postula que quizs una vez el Universo debi haber existido, al principio cuando "todo se origin" [ver Antes del Big Bang?], en un estado de "simetra perfecta" tal que el espacio-tiempo tenia todas las 10D infinitas [no-compactas] o todas finitas [compactas], y que se podan observar (de ser tal cosa posible!) las 10D en su totalidad; la escala de energa del Universo era tan alta que todas las fuerzas estaban unificadas, y la fsica del Universo estaba descrita por las TPSC; mientras el Universo evolucionaba, se expanda y su densidad de energa iba decreciendo y, de alguna manera, por algn motivo hasta ahora desconocido, se dieron las condiciones para que el Universo sufriera una Transicin de Fase durante la cual ciertas simetras se rompan, dando asi lugar a la llamada (DES-)COMPACTIFICACIN ESPONTNEA. sta consiste en lo sig.: si todas las dimensiones eran compactas, de alguna forma (hoy da desconocida) 6 se quedaron pequeas y 4 se hicieron muy grandes y quizs infinitas [des-compactificndose]; por otro lado, si todas las dimensiones eran no-compactas, de alguna manera 6 se hicieron muy pequeas (de 10-33 centmetros?) y finitas [proceso de Compactificacin] y las otras 4 se

quedaron sin cambios. Por qu entonces solo se expandieron (3+1)-dimensiones y las otras 6 se quedaron con su tamao original ? Quizs tal transicin, si realmente existi, no ocurri espontneamente y tuvo un origen dinmico [Dynamical compactification], o quizs el Universo siempre fue asi. De cualquier forma, tales consideraciones de ndole cosmolgica no son explicadas (por el momento) en la literatura sobre el tema y en la mayora de las publicaciones sobre TPSC se trabaja con un espacio-tiempo no-compacto (infinito) M9,1 y/ con un espacio-tiempo compactificado Md,1 x X9-d, sin tratar de explicar absolutamente nada sobre los procesos fsicos que originan la compactificacin. Si existe un escenario que trata de explicar tales procesos: el mecanismo Brandenberger-Vafa, en el cual el Universo empez con todas sus dimensiones pequeas y slo 4 se des-compactificaron debido a que existen cuerdas "atrapadas" en ciertos sub-espacios no-triviales de X6 que impidieron que ste tambin se des-compactificara. Dicho mecanismo aun esta siendo investigado, por lo que en general se prefiere seguir ignorando tales procesos; simplemente se trabaja asi, sin hacer mayor alboroto, y se concentran los esfuerzos en investigar cules son las consecuencias de que las cuerdas se propaguen o viajen en tal o cual espacio, lo cual depende de la naturaleza de stos. SIMETRIAS Las TPSC poseen muchas simetras, gracias a las cuales muchas anomalas y divergencias se eliminan, haciendo de estas teoras formalismos consistentes (ej.: Supersimetras, simetras bajo el grupo de Difeomorfismos de la hoja-de-mundo, simetra bajo el grupo de transformaciones conformes, bajo el grupo de Poincar, etc.; aunque resulta buena idea mencionarlas para que el lector sepa de su existencia, no es el propsito de este resmen detallarlas debido a su alto grado de dificultad). Este hecho es una gran ventaja desde el punto de vista matemtico. Sin embargo, en cierto sentido esta situacin no resulta conveniente ya que en ese "estado altamente simtrico" las TPSC no pueden describir lo que se observa en el Universo real, ya que ste no manifiesta tales simetras en la escala actual (global) de energa, dada por la Radiacin Cosmolgica de Fondo. Si partimos de una teora en 10D con muchas simetras, debe existir algn mecanismo que produzca un "Rompimiento de Simetras" (el cual puede ser espontneo, o dinmico) despus de lo cual la teora, ahora con menos simetras, debe ser capaz de describir a nuestro Universo 4D conocido, con el contenido de campos/partculas correspondiente. Se cree que tales rompimientos de simetras ocurren durante las transiciones de fase por las cuales (supuestamente!) pas el Universo durante su evolucin. Se cree tambin que durante una de tales transiciones de fase el proceso de (Des)Compactificacin debi haber ocurrido.

Cmo se produjo este proceso y cmo se rompieron las simetras? Cul es la estructura matemtica del espacio X6D, tal que el espacio, luego de la compactificacin, sea compatible con el Universo observable? Aun se estn realizando investigaciones para poder responder la primera pregunta. Sin embargo, se ha progresado bastante respecto a la segunda. La consistencia matemtica de la teora y la compatibilidad con el Universo 4D observable impone restricciones sobre la naturaleza matemtica de X6D. Entre los espacios matemticos conocidos hasta la fecha que cumplen con tales restricciones estn: espacios de Calabi-Yau [CY6D, por los matemticos Eugenio Calabi (1954) y Shing-Tung Yau (1976)], espacios Orbifolds ("Orbivariedades"), espacios Proyectivos, etc.. Sin embargo, el problema no se ha resuelto del todo ya que resulta ser que existe un nmero gigantesco (no determinado) de stos espacios! Entonces, cul de todos estos billones y billones de espacios, X6D, es el correcto para que una de las 5 TPSC resulte ser la correcta descripcin de la realidad? Cul es el X6D correcto que el Universo "eliji" durante la (des)compactificacin ? Dentro de cada "categoria" de estos espacios hay miles y miles de posibilidades, todas igualmente probables. Podria ser una hyperesfera hexadimensional, o un toroide (una dona) hexadimensional, o podrian ser dos toriodes 3-dimensionales pegados, etc. Se han estudiado varios modelos de TPSC usando CY y Orbifolds conocidos y ya se ha logrado obtener, a partir de stas teoras, modelos a bajas energas bastante parecidos al Modelo Estndar de Fsica de Partculas, sin embargo, "parecidos" no es suficiente. Por otro lado, el problema anterior se refleja directamente en stos modelos: cul de todos es el correcto? (ms adelante ampliaremos un poco sobre este problema). Teoras de SUPERGRAVEDAD como teoras efectivas de las TPSC Debido a que los grados de libertad (o sea, los diferentes modos de vibracin de las cuerdas, lo cual es lo mismo que decir, "las diferentes partculas que existen", segn stas teoras) de una TPSC son infinitos, en muchos casos se procede a trabajar con la teora efectiva correspondiente, la cual se obtiene, como se mencion anteriormente, tomando el lmite de bajas energas, , y el lmite de la constante de acoplamiento dbil, . Ya que la masa de las cuerdas es inversamente proporcional al Reggeslope, y , resulta ser que los grados de libertad con masa diferente de cero tienen una masa extremadamente grande (del orden de la masa/energa de Planck, ~1019GeV/c2 , y mayor; y energas comparables con o mayores que la de Planck slo pueden alcanzarse durante los primeros instantes del "origen" del Universo -- si el Big Bang es correcto, claro est!), por lo que a bajas energas tales partculas/campos no son observables. Unicamente los modos de vibracin (partculas) con masa cero pueden ser observados a bajas energas. Asi, el nmero de grados de libertad se ha reducido de un nmero infinito a una cantidad mucho menor.

Estos grados de libertad son las partculas/campos que supuestamente deben concordar con las partculas/campos del Modelo Estndar de Fsica de partculas. Como se mencion en Modelo Estndar de Fsica de Partculas, GUT's, SUSY, SuperCuerdas , cuando los grados de libertad de una teora se reducen, la teora que resta es llamada "efectiva". En el caso de las TPSC, las difrentes teoras efectivas resultantes son teoras de supergravedad. Estas teoras aun contienen muchas simetras que se deben romper, y aun persiste el problema de la compactificacin (existen billones de posibilidades!), para dar origen a la fsica conocida en los aceleradores de partculas. Todo esto es objeto, hoy da, de una intensa investigacin. Las SUGRA son tambin los modelos de Gravedad Cuntica [GC] que las TPSC proponen, a nivel de bajas energas y con acoplamiento dbil. Ya que las SUGRA son SUSY-QFT Perturbativas, los modelos de GC tambin son perturbativos [GCP = Gravedad Cuntica Perturbativa]. Ir ms all del regimen perturbativo aun est bajo intensa investigacin.

TIPOS DE TPSC
Hasta 1995, se crea que existan 5 tipos diferentes de TPSC, consistentes y libres de anomalas. Seguiremos enfatizando que todas estas teoras son slo descripciones aproximadas, basadas en la teora de perturbaciones, de la dinmica real no-perturbativa a altas energas de las cuerdas. Y por lo tanto, representan (al igual que la mayora de las teoras de la fsica actual) slo una posible aproximacin a la realidad (en la sig. tabla se har una breve descripcin slo de la notacin usada para nombrar a estas 5 TPSC, ya que una descripcin ms detallada est fuera de los objetivos de esta introduccin). Teora Tipo SO(32) Descripcin de la notacin usada I Tipo de cuerdas: abiertas y cerradas propagndose en un espacio-tiempo plano M9,1 10D; es la nica teora con WS noorientables (las cuerdas abiertas y las cerradas son noorientables). Tambin es la nica en donde las cuerdas cerradas pueden romperse para originar cuerdas abiertas. Grado de supersimetra: N=1 [por eso la notacin "tipo I"]. la teora es quiral ya que el left-moving sector y el right-moving sector son iguales. Grupo de simetra de Norma (Gauge group): SO(32) = grupo eSpecial Ortogonal de rotaciones en 32 dimensiones (internas). Este tipo de notacin es un poco confusa, ya que las TPSC tienen muchas ms simetras (i.e., grupos de simetras), y el

grupo SO(32) es slo uno de ellos. La importancia de este grupo en particular es que gracias al mismo, la teora no posee anomalas quirales. Teora Efectiva a bajas energas: SUGRA Tipo I SO(32) 10D Tipo de cuerdas: cerradas propagndose en M9,1 plano 10D; si se incluyen las branas (ver explicacin ms adelante) dentro de la teora, sta tambin contiene cuerdas abiertas. Todas las cuerdas son orientables. Grado de supersimetra: N = 2 [por eso la notacin "tipo II"].

Tipo II A

Su peculiaridad radica en que ciertos fermiones izquierdos, fL, (del left-moving sector) y sus imgenes derechas, fR, (del rightmoving sector) poseen diferente quiralidad, es decir, fL posee h = + 1 y fR posee h = - 1, o viceversa. En la Fig.3, el vector "S" de la partcula con la etiqueta "derecho" estara apuntando hacia abajo, mientras que el otro "S" apunta hacia arriba. Bajo una rotacin es posible igualar ambos objetos, por lo que en este caso la teora es aquiral y existe simetra de paridad. Sin embargo, es posible hacer que esta teora sea quiral, si se compactifica a M9,1 de forma conveniente. Grupo de simetra de Norma (Gauge group): no tiene; sin embargo, esto no significa que la teora no posea otras simetras, i.e., otros grupos de simetra. Teora Efectiva a bajas energas: SUGRA Tipo II A 10D Tipo de cuerdas: cerradas propagndose en M9,1 plano 10D; si se incluyen las branas (ver explicacin ms adelante) dentro de la teora, sta tambin contiene cuerdas abiertas. Todas las cuerdas son orientables. Grado de supersimetra: N = 2 esta teora es casi igual a la Tipo II A, y la nica diferencia es que tanto fL como fR tienen la misma quiralidad, es decir, fL y fR poseen h = + 1 fL y fR poseen h = - 1. En la Fig.3, los vectores "S" de ambos objetos estn apuntando ambos hacia arriba o ambos hacia abajo. Bajo una rotacin NO es posible igualar ambos objetos, por lo que en este caso la teora es quiral y NO existe simetra de paridad. Grupo de simetra de Norma (Gauge group): no tiene (misma situacin anterior). Teora Efectiva a bajas energas: SUGRA Tipo II B 10D Hetertica Tipo de cuerdas: cerradas propagndose en M9,1 plano 10D; SO(32) [HO] todas las cuerdas son orientables. (hetertico =

Tipo II B

hbrido)

Grado de supersimetra: N=1 En este caso, el Left-moving sector y el Right-moving sector son tratados de forma diferente: en el Right-moving sector las cuerdas poseen supersimetra y en el Left-moving sector no ( viceversa)*. El Right-moving sector vive en 10D y el Left-moving sector vive en 26D; sin embargo, mediante ciertos mtodos matemticos (que tienen que ver con el grupo de simetras SO(32)) es posible "manejar" 16 de esas 26 dimensiones de tal forma que ambos sectores se propaguen en 10D. La quiralidad de ambos sectores es igual, de manera que la teora es quiral. (*a las cuerdas que no posee supersimetra se les denomina "cuerdas bosnicas", ya que la parte ferminica que proporcionara la supersimetra est ausente) Grupo de simetra de Norma (Gauge group): SO(32).

Hetertica E8 x E8 [HE]

Teora Efectiva a bajas energas: SUGRA HO 10D Tipo de cuerdas: cerradas propagndose en M9,1 plano 10D; todas las cuerdas son orientables. Grado de supersimetra: N=1 Es igual a la HO, slo que en este caso los mtodos para "manejar" las 16D estn intimamente relacionados con el grupo de simetras E8 x E8 . Grupo de simetra de Norma (Gauge group): E8 x E8 [grupo formado por la multiplicacion de dos grupos E8 = grupo Euclideano de Rotaciones y Traslaciones en 8 dimensiones (internas).] Teora Efectiva a bajas energas: SUGRA HE 10D -

Por qu los entes fsicos fundamentales del Universo deben ser cuerdas 1-dimensionales? Qu impide que se pueda postular que los entes fundamentales sean 2-dimensionales (quizs los electrones podran ser uno de los tantos modos vibracionales de una membrana, en lugar de una cuerda!), o que sean multi-dimensionales (o sea, p-dimensionales) ? Quizs todo pueda ser descrito como vibraciones de memBRANAS pdimensionales (o p-BRANAS = p-BRANES = p-dimensional memBRANES)! La idea de describir a las partculas como entes puntuales, sin dimensiones, era algo molesta desde el principio y siempre se supo que tal descripcin debe ser solo una aproximacin a la realidad. Desde 1960, Dirac postula que los entes fundamentales de la Naturaleza deben tener dimensiones (no pueden ser "puntuales"). Concretamente, postula

que las vibraciones de una membrana (ente 2-dimensional, o 2-brana) podran describir a las diferentes partculas conocidas. Sin embargo, tal idea posea serios problemas: no haba manera de definir una causalidad basada en la Relatividad Einsteniana, ya que la propagacin de las vibraciones en tales membranas era superlumnica. Las membranas permanecieron dormidas hasta la dcada de los 70's, y cuando surgen las cuerdas, tambin surgen intentos por revivir la idea de Dirac. El nacimiento de la supersimetra (1970-6, Joel Scherk y otros) y los problemas que las teoras de cuerdas tenan en ese entonces, hicieron pensar a muchos que la teora de SuperGravedad en un espacio-tiempo de 11-Dimensiones (11D-SUGRA, desarrollada en 1978 por Eugene Cremmer, Bernard Julia, y Scherk) era la mejor candidata para la unificacin de las fuerzas fundamentales. Sin embargo, en sept. 1984 (la primera revolucin de las supercuerdas) la 11D-SUGRA fue casi olvidada en favor de las teoras de cuerdas, en un espacio-tiempo de 10-Dimensiones, libres de anomalas. A pesar de esto, y emulando la historia de las supercuerdas, algunos permanecieron al margen de las supercuerdas, trabajando en la 11D-SUGRA. En 1986, James Hughes, James Liu, Joseph Polchinski lograron hacer funcionar la idea de Dirac: usando la supersimetra crearon a la supermembrana, o membrana supersimtrica. En 1987, Ergic Bergshoeff, Ergin Sezgin, Paul Townsend, descubrieron que la 11D-SUGRA permita la existencia de una supermembrana (en la actualidad llamada "M2-brana") que vive en un espacio-tiempo de 11D. Curiosamente, algo interesante sucede con esta M2-brana: Paul Howe, Takeo Inami, Kellogg Stelle, Michael Duff mostraron que cuando una de las 11 dimensiones de la 11D-SUGRA se compactificaba en un circulo, una M2-brana que se enrollara en dicho circulo se parece mucho a la supercuerda de la teora IIA en 10D; mostraron entonces que existe una relacin (ahora conocida como " Dualidad-T " que explicaremos ms adelante) entre la cuerda supersimtrica de la teora IIA en un espacio-tiempo de 10-dimensiones y la membrana supersimtrica de la teora de SuperGravedad en un espacio-tiempo de 11dimensiones! Nacen entonces las relaciones/transformaciones de Dualidad entre diferentes teoras en diferentes dimensiones! Estas relaciones de Dualidad establecen una equivalencia entre las teoras as relacionadas: estas teoras son fsicamente indistinguibles, al menos dentro del rango de aproximaciones utilizado! Se empieza a "descubrir" que existen p-branas supersimtricas (o simplemente p-branas) en varias de las TPSC; en otras palabras, se descubre que las TPSC permitan la existencia de tales entes fsicos dentro de su formalismo. Se descubre que algunas 10D-SUGRAs (que son las teoras efectivas a bajas energas procedentes de las teoras 10D de supercuerdas) poseian una curiosidad: si se intercambiaban ciertas relaciones matemticas, se obtenia una nueva versin de la 10D-SUGRA, solo que sta no se comportaba como fuese la teora efectiva a bajas energas procedente de una

teora 10-dimensional cuyo ente fundamental era una cuerda supersimtrica... se comportaba como si se originara de una teoria 10D cuyo ente fundamental es una 5-brana. Duff postula entonces que existe una relacin de Dualidad entre la teora 10D de supercuerdas (que da origen a la 10D-SUGRA inicial) y la teora 10D con la 5-brana (que da origen a la nueva "versin dual" de la anterior 10D-SUGRA): nace la Dualidad 10-dimensional cuerda / 5-brana (10D string / fivebrane Duality). En 1988, Townsend basndose en los trabajos de Hughes-LiuPolchinski, logra mostrar que muchas de las p-branas descubiertas en ese entonces pueden interpretarse como solitones de las diferentes teoras, cuyas masas son inversamente proporcional a (una potencia de) la constante de acople de la cuerda (ver ms adelante). En 1990, Andrew Strominger descubre que en la teoria HE 10D, existe una membrana supersimtrica 5-dimiensional o 5-brana (ahora conocida como "NS5-brane"), y que la misma puede interpretarse como un solitn de la teora, confirmando los trabajos de Townsend. Esta interpretacin permiti establecer que a bajas energas, cuando la constante de acoplamiento de la cuerda (o "carga de la cuerda") es dbil, los entes fsicos fundamentales que estn presentes y dominan la dinmica de la teora son las cuerdas, y que a altas energas, cuando la constante de acoplamiento es fuerte, los entes fsicos que dominan la dinmica de la teora son los solitones, o sea, las p-branas. Ya que las cuerdas de algunas teoras estn relacionadas por Dualidad con las p-branas de otras teoras, Strominger sugiere que existe una Dualidad (ahora conocida como "Dualidad-S") que relaciona una teora de cuerdas con constante de acoplamiento dbil (cuyos entes fsicos dominantes son las cuerdas) con otra teora de cuerdas con constante de acoplamiento fuerte (cuyos entes fsicos dominantes son las pbranas). Este tipo de conjetura ya haba sido formulada, en 1977, por Claus Montonen y David Olive (Montonen-Olive Duality conjectureorelectric-magnetic duality), en el contexto de las SUSY-GUTs. Segn la dualidad propuesta por Strominger, el papel jugado por las cuerdas como los entes fsicos fundamentales en el rgimen de acople dbil (de una teora dada) se intercambia con el de los solitones como los entes fsicos fundamentales en el rgimen de acople fuerte (de la otra teora dual), y viceversa; y como dichas teoras son duales una de la otra, y por lo tanto, son fsicamente indistinguibles, ya no es posible establecer si las cuerdas o las p-branas son los entes realmente fundamentales. Este tipo de dualidad abri las puertas al posible estudio de fenmenos que ocurren en el rgimen de acople fuerte (claramente no-lineales y no-perturbativos), usando fsica lineal, perturbativa, caracterstica del acople dbil: nace la posibilidad de extender a las teoras perturbativas de supercuerdas hacia el dominio NO-PERTURBATIVO! Anamarie Font, Luis Ibaez, Dieter Lust, Fernando Quevedo, e independientemente Soo Yong Rey, logran establecer ms formalmente la conjetura de Montonen-Olive en el marco de teoras de supercuerdas en 4D: la Dualidad-S adquiere un soporte ms slido. Entre 1991 y 1995, se descubren muchas otras dualidades y otras pbranas (en 1992, R. G:uven descubre la 5-brana de la 11D-SUGRA, ahora

llamada

"M5-brana").

En 1995, Edward Witten resume el estatus de la situacin en 10 aos de progreso, y se establece lo que los partidarios de las supercuerdas gustan llamar "la segunda revolucin en la manera de pensar sobre las TPSC", pero que los (olvidados e ignorados) partidarios de las supermembranas y de la 11D-SUGRA no consideran como tal: esa "revolucin" fue gracias a las pbranas y a las dualidades que surgieron del estudio de la 11D-SUGRA:

se descubri que las 5 diferentes TPSC anteriores, estn relacionadas entre si por relaciones de dualidad, y por lo tanto no son 5 teoras diferentes, las 5 teoras estan tambin relacionadas por ciertas dualidades con la 11D-SUGRA, si las SUGRA 10D son teoras efectivas a bajas energas que proceden de las TPSC en 10D, entonces, la 11D-SUGRA debe tambin ser la teora efectiva, a bajas energas y con acople dbil, de una teora ms fundamental, en 11D, no-perturbativa, hasta ahora [28/Oct/2003] desconocida: nace la idea de la existencia de la Teora M. Entonces las 5 diferentes TPSC y la 11D-SUGRA son slo diferentes manifestaciones de una misma teora universal desconocida. La estructura fisico-matemtica de esta supuesta teora M no se conoce. Lo nico que se conoce es su limite a bajas energas, o sea, la 11DSUGRA. Las cuerdas ya no son los nicos entes fundamentales del Universo, ya que las branas en general tambin pueden ser consideradas como fundamentales, las relaciones de dualidad permiten, en algunos casos, estudiar fenmenos no-perturbativos en acople fuerte, usando fsica perturbativa en acople dbil; esto podra abrir las puertas al estudio de procesos de muy difcil estudio en la fsica estndar: en la QCD, el confinamiento de los quarks para formar hadrones, la transicin entre la fase de quarks libres y la fase de confinamiento, etc.

Resumiendo: Se cree que debe existir un solo formalismo "global" (1 sola teora llamada M-THEORY [TM], aunque algunos otros investigadores prefieren llamarla U-Theory) que describa a las otras 6 [5 TPSC y la 11D-sugra] como casos especiales [como por ejemplo, la Relatividad Especial de Einstein es una teora ms general que describe o abarca a la teoria newtoniana como un caso especial]. La TM es slo un nombre y no un formalismo fisico-matemtico desarrollado (existen algunos intentos de construirla, los cuales se discutirn ms adelante) y el conocimiento de las dualidades conocidas no revela cul es la estructura matemtica (completa) comn escondida detrs de estas 6 teoras, por lo que an hoy da [25/Nov/2003] se desconoce la forma completa de este formalismo "universal". En otras palabras, el nombre "Teora M" es slo una

coleccin de argumentos que sugieren la existencia de tal teora. En la literatura cientfica sobre el tema se habla de "resultados de la TM", sin embargo, todos los clculos son realizados usando su teora efectiva, a bajas energas y acople dbil, o sea, la 11D-SUGRA, y no la "Teora M en s", propiamente dicha. En cierto sentido, la TM es como una teora "fantasma".

El descubrimiento de las dualidades vino acompaado del desarrollo/estudio de los SOLITONES que todas estas teoras poseen [la existencia de estos entes fsicos (solitones) no es exclusiva de las teoras de supercuerdas, sino que aparecen siempre que existen fenmenos no-lineales de cualquier tipo y son bien conocidos en otras reas de la fsica]: dentro del marco de las TPSC/TM, estas entidades fsicas describen a "estados exitados localizados en hypersuperficies multidimensionales", es decir, "entes fsicos extendidos en 2 o ms dimensiones espaciales" que tambin pueden vibrar o excitarse, llamados colectivamente BRANAS]. Por otro lado, ahora que las dualidades relacionan a varias teoras entre si, ya las cuerdas (F-strings) no juegan un papel "fundamental" en el sentido de que "todo esta hecho de cuerdas". Ahora, dependiendo de cul teora se tome como bsica, es perfectamente posible que las branas sean las que juegan el papel de entes fsicos fundamentales y las cuerdas jueguen el papel de ser los solitones de la teora. Adems, mediante la aplicacin de una sucesin conveniente de transformaciones de dualidad, cualquier brana puede relacionarse/transformarse con/en cualquier otra brana de otra teora (por ejemplo, la M2-brana de la 11D-SUGRA enrollada en un crculo es la F-string de la teora Tipo IIA en 10D!), lo cual da origen al concepto de "Democracia de branas" segn el cual ninguno de estos entes fsicos es ms fundamental que otro. El desarrollo de la fsica de las branas posee una riqueza de estructura que es posible aplicarla a diversas reas del conocimiento (lo cual se ver ms adelante): por ejemplo, en Cosmologa, el mismo Universo (interpretado como el "todo absoluto") podra ser considerado como una Brana p-dimensional (quizs 11 o ms dimensiones), dentro de la cual existen otras branas de menor dimensin, dentro de las cuales se forman las galaxias, estrellas, quasars, planetas, etc. una de las cuales podra ser nuestro sub-Universo de 4D; en Astrofsica, los agujeros Negros [ms bien, algunas versiones super-simtricas de los mismos] pueden ser descritos por branas de 5 dimensiones con ciertas peculiaridades. Ya que hoy dia no podemos hablar solamente de cuerdas, hablaramos en general de branas. Sin embargo, se debe hacer nfasis en que Debido a la dificultad inicial que presenta su asimilacin, es necesario primero tener una idea intuitiva acerca de estas entidades. Qu es una Brana?

Es anlogo a preguntar "qu es un electrn?" o "qu es un quark?". No es posible dar una respuesta ontolgica [i.e., concerniente al carcter filosfico que trata del "ser en si"], y slo se puede responder de manera puramente

operacional (prctica): "visto como una partcula, un electrn o un quark es un "ente fsico" localizado en una regin finita del espacio-tiempo (las teoras fsicas convencionales, por propsitos puramente prcticos, siempre han asumido dicha regin como "puntual", sin volumen), en la cual se miden ciertas propiedades como masa, spin, carga (elctrica o de color), longitud de onda, etc". Pretender ir ms all de la descripcin operacional es meterse en problemas de ndole filosfico y, aunque muy importantes en si mismos, no profundizaremos en ellos, y slo se hablar de las propiedades fsicas, como por ejemplo: la propiedad "carga" de las partcula/campos "les permite" a stos interactuar entre s (p.ej., un electrn puede "sentir" al campo elctrico porque posee carga elctrica).Antes de describir a una brana, hay que recalcar un hecho muy importante concerniente al estado actual de conocimientos en las TPSC/TM: debido al uso intensivo de aproximaciones, el formalismo matemtico utilizado describe slo de manera aproximada a estos objetos fundamentales (cuerdas, branas). Por lo tanto, cualquier descripcin de estos "entes fsicos no-puntuales" (en el estado actual de conocimientos) ser slo aproximada. Clsicamente hablando, una "brana" es tambin un "ente fsico" (al igual que los electrones, quarks, fotones, etc.) con ciertas propiedades: poseen "masa" (relacionada con su energa por unidad de volumen Tensin, Tp), poseen cierto tipo de "cargas / anti-cargas" [llamadas cargas de RamondRamond (RR), ] gracias a las cuales pueden interactuar entre s y/o con las cuerdas, pueden poseer o no "grados de libertad dinmicos" ( pueden vibrar, tener excitaciones) los cuales dependen del grado de aproximacin que se use para describirlos, y algunas de estas excitaciones ( "grados de libertad" "modos de vibracin") a bajas energas representan, en la versin cuntica, a ciertos campos [llamados campos de Ramond-Ramond], muchos de los cuales no se parecen a los que se conocen. Otras excitaciones a bajas energas representan a partculas supersimtricas (gauginos, gravitinos, etc), otras excitaciones representan a campos escalares, otras a campos de norma (gauge fields de las teoras SUSY Yang-Mills), otras representan al gravitn, etc. Pero la propiedad que ms llama la atencin es que estos entes fsicos no son "entes puntuales" como las partculas fundamentales del Modelo Estndar, sino que (para p > 1) ocupan un volumen-hiperdimensional finito o infinito, dependiendo de las necesidades del modelo que se use: por ejemplo, una brana 7-dimensional, que ocupa un volumen espacial de 7-dimensiones, al moverse en un espaciotiempo M9,1 plano 10D describir un "volumen-de-mundo" ( "world-volume") de forma anloga a las hojas-de-mundo de las cuerdas; esta 7-brana (o cualquier p-brana) puede ser infinita o finita, puede ser plana o estar "enrrollada/envuelta" en un espacio curvo muy pequeo (de un tamao del orden de la longitud de Planck), de forma anloga a como una hoja de papel (que podra representar a una membrana 2-dimensional) se puede enrrollar para formar un tubo de papel, el cual visto desde muy lejos parecera un objeto 1-dimensional (un hilo muy fino o una cuerda)... puede estar vibrando o puede estar totalmente fija en un lugar determinado.

Para tener una visin mucho ms intuitiva, usaremos una descripcin usada por las teoras llamadas Brane-Worlds (de las cuales se hablar ms adelante): una brana 3-dimensional podra ser nuestro Universo observable. Esto significara que todas las excitaciones de esta 3-brana representan al espacio curvo que nos rodea y a todos los protones, electrones, fotones, molculas, aire, computadoras, cerveza, personas, oceanos, planetas, cometas, estrellas, galaxias, agujeros negros, estrellas de neutrones, cmulos galcticos, etc, y a muchas otras cosas ms que no tienen anlogos con lo que es conocido. Qu es una brana? Slo hay que mirar alrededor nuestro, y todo lo que vemos (incluyndonos a nosotros mismos y al mismo espacio que nos rodea) no es ms que excitaciones de la 3-brana a la cual pertenecemos. Hay que enfatizar, nuevamente, que todo lo que hay a nuestro alrededor representa solo un pequeo subconjunto de todas las vibraciones posibles de una brana, y sta posee muchas otras cosas ms de las que podemos detectar. Tipos de BRANAS

La siguiente descripcin (clsica, no cuntica) no es exhaustiva, y slo representa una visin muy general de algunas de las distintas especies que habitan en el zoolgico de estas teoras. Los entes solitnicos son variados y sus propiedades y dinmica slo se conocen a bajas energas a travs de la teora perturbativa. Estas branas son parte de las TPSC y hay que incluirlas en estas teoras, por lo que las TPSC ya NO SON teoras de "supercuerdas" solamente, sino que son teoras de supercuerdas y supermembranas (p+1)dimensionales. p-Branas (nombre genrico que sirve para designar a la mayora de las branas): son entes u objetos fsicos de (p+1)-dimensiones espacio-temporales, "p" = nmero de dimensiones espaciales que ocupa el volumen de dicho ente; por lo tanto, puede existir un espacio "afuera" de estos entes, el cual es (9 + 1) dimensional (llamado el "bulk") si el volumen de tales branas es finito o (9 - p + 1) dimensional si su volumen es infinito. Estos son solitones topolgicos, o sea son soluciones estables (por motivos topolgicos) a las ecuaciones de movimiento de una teora que en este caso puede ser la teora efectiva de SuperGravedad [Sugra] en 10D de alguna de las 5 TPSC 10D o puede ser la 11D-SUGRA. Poseen grados de libertad dinmicos (sus exitaciones son cuerdas cerradas que representan a campos fsicos que se propagan dentro del volumen p-dimensional), poseen cargas RR , en principio pueden moverse a travs del espacio-tiempo 10D y pueden afectarlo produciendo curvatura a su alrededor (ya que hay cuerdas cerradas, stas incluyen al gravitn, el cual es el responsable de "curvar" al espacio-tiempo, o sea, de generar gravedad). Para las branas de las 10D-SUGRA, la tensin es . Su masa est relacionada con la carga (que por simplicidad llamaremos "q") a travs de la desigualdad de Bogomolnyi-Prasad-Sommerfield [BPS],

, donde "z" son parmetros no relevantes a esta discusin introductoria. Si se cumple que masa = carga, entonces, se les llama branas extremales y se encuentran en el "estado BPS saturado". Las fuerzas de atraccin/repulsin entre branas extremales ( estados BPS) se cancelan y uno puede tener 2 estados BPS muy cerca el uno del otro y permanecen estticos. Otra propiedad importante para los estados BPS es que debido a la supersimetra la igualdad BPS se conserva, y como consecuencia, cuando se pasa del rgimen perturbativo (de acople dbil) hacia el no-perturbativo (de acople fuerte) sta relacin permanece igual, no se modifica, y esto permite que estas branas puedan ser usadas como "sondas para explorar la fsica noperturbativa". Analoga: si se quiere medir la temperatura (--i.e., la fsica--) de un lquido muy caliente (--i.e., en un rgimen de interacciones muy fuertes--), se debe usar una sonda termmetro (--i.e., la brana-BPS--) que resista tales temperaturas sin derretirse, es decir, sin cambiar su forma (--i.e., m = q se mantiene--), de lo contrario la sonda no servira de nada. En otras palabras, los estados BPS poseen ciertas propiedades que no dependen de la constante de acoplamiento y slo estn determinadas por las simetras de la teora que los alberga, y como la simetra es igual tanto para el rgimen de acoplamiento dbil como para el rgimen de acoplamiento fuerte, tales entes se usan para hacer ciertos clculos no-perturbativos en el regimen de acople fuerte de la teora. Por otro lado, si masa > carga, entonces son llamadas branas no-extremales. Una propiedad importante de este tipo de branas es que as ecuaciones del gravitn (que generan la gravedad) tienen mucha similitud con las de los Agujeros Negros (Black Holes), y vistas desde "afuera" (es decir, vistas desde el bulk, o sea, desde el espacio que no esta dentro de las branas) poseen horizontes de eventos, por lo cual a las branas que poseen tales horizontes se les llama Black p-branes. Debido a relaciones de simetras/dualidades, por cada p-brana existe una p-brana dual (d-p-4)-dimensional, donde d = dimensin total del espaciotiempo, que puede ser 10 (para las TPSC 10D) u 11 (para la Teora M). Por pura analoga con la relacin de dualidad de Dirac en el Electromagnetismo clsico, entre la carga elctrica (o monopolo elctrico) y la carga magntica (o monopolo magntico) donde una es igual al inverso de la otra, a estas branas duales tambin se les llama duales magnticos de las otras branas y poseen "carga dual o magntica", en contraposicin a la carga RR "elctrica" de las otras branas. Sin embargo, las cargas de las branas no tienen que ver directamente con la electricidad ni con el magnetismo, por lo que tales nombres slo deben tomarse como una nomenclatura conveniente. M2-brana ("membrana") y M5-brana: son p-branas BPS y son solitones [de 2 y 5 dimensiones, respectivamente] de la TM de 11D (o ms bien de la 11D-SUGRA); en la Teora M (o ms bien de la 11D-SUGRA) no hay F-strings, slo estn los solitones y los campos correspondientes a la 11D-SUGRA a bajas energas, lo cuales no son excitaciones o modos vibracionales de ninguna cuerda, ya que tal descripcin indicara que se conocen los entes

fundamentales de la TM a altas energas (y por lo tanto, estos campos seran los modos excitados de masa cero a bajas energas de tales entes, cualesquiera que sean), lo cual no es cierto. M5 es el dual magntico de M2 y, junto con los campos de la SUGRA, son el punto de partida para cualquier clculo que tenga que ver con la (aun desconocida) TM. Sus tensiones son y masa de Planck en 11D. respectivamente, donde la "M" es la

Muchas de las p-branas de las otras TPSC 10D se pueden obtener a partir de M2 y M5, a travs de dualidades o compactificaciones convenientes; p.ej., si una de las dimensiones de la M2 se compactifica en un circulo se obtiene la F-string de la Tipo IIA... esto significa lo sig.: si las coordenadas de M2 son [x1, x2] y el rango de las mismas es, digamos, -infinito < x1 < +infinito, -infinito < x1 < +infinito, se puede tomar, por ejemplo, la 2da coordenada y cambiar su rango (hacerlo finito) a , donde "R" es un parmetro que puede identificarse con el radio de un circulo, luego haciendo a R muy pequea se obtiene la F-string de la teora Tipo IIA.

Fig.13. Por simplicidad, se representra a una brana como un plano finito, y todas las dimensiones "resumidas".

Dp-branas: estrictamente hablando, son hipersuperficies planas o hiperplanos (p+1) dimensionales en los cuales los 2 extremos de las cuerdas abiertas terminan; en el estado actual de conocimientos, todas las cuerdas abiertas DEBEN tener sus extremos en alguna Dp-brana, y no pueden escapar de tales hiperplanos. Una cuerda abierta "libre", en las TPSC 10D, est realmente entonces inmersa en una D9-brana, o sea, en un hiperplano 10D que ocupa todo el volumen del espacio-tiempo 10D. Histricamente estas branas se descubrieron a travs de relaciones de dualidad: una cuerda abierta puede poseer 2 tipos de condiciones de frontera, llamadas condiciones de Newmann (que significa que los 2 extremos de la cuerda pueden moverse libremente) condiciones de Dirichlet (los 2 extremos deben estar fijos); si empezamos con una cuerda abierta con condiciones de Newmann, y se le aplica la dualidad en cuestin (que por cierto, es la dualidad T, de la cual se hablar ms adelante), las condiciones de frontera se convierten en condiciones de Dirichlet en una sub-region del espacio-tiempo 10D.

A toda esa sub-regin (p+1)-dimensional del espacio-tiempo 10D se le llam Dp-brana, (la "D" por la condicion de Dirichlet que obedecia la cuerda abierta), y se defini a dicho tipo de brana como un mero sub-espacio plano (un hiper-plano, o un "defecto topolgico", queriendo decir que la brana es tambin un solitn topolgico) del cual la cuerda abierta no puede escapar ya que sus extremos estn confinados a vivir dentro del volumen de dicho sub-espacio. Sin embago, avances recientes permiten una sub-clasificacin de estas branas en: "estables" y "no-estables". Dp-branas estables estados BPS: en 1995 Joseph Polchinski estableci que stos solitones estables son tambin p-branas BPS con carga RR. Con el trabajo de Polchinski se sabe ahora que estas branas son ms que una mera sub-regin plana del espacio-tiempo; son p-branas BPS que tambin poseen excitaciones, o modos de vibracin, los cuales son cuerdas abiertas con sus extremos anclados en su hiper-volumen. Se tiene entonces 2 descripciones complementarias de estas branas: como soluciones solitnicas de alguna SUGRA 10D, con excitaciones formadas por cuerdas cerradas y como sub-regiones del espacio-tiempo donde estn ancladas cuerdas abiertas, las cuales tambin se consideran como excitaciones de la Dp-brana. Sin embargo, ambas descripciones del mismo ente fsico no son vlidas en el mismo rgimen de acoplamiento: la descripcin como solitones de una SUGRA 10D es vlida a bajas energas, y en el rgimen de acoplamiento dbil, mientras que la descripcin en trminos de cuerdas abiertas es vlida a bajas energas, pero en el rgimen de acoplamiento fuerte. Se establece entonces otra relacin ms entre la fsica perturbativa de acoplamiento dbil y la fsica no-perturbativa de acople fuerte, la cual es la base de la Correspondencia AdS/CFT (de la cual se hablar ms adelante). Algunas de estas cuerdas abiertas, a pesar de tener sus extremos en la brana, pueden tener el resto de su estructura afuera de la misma y representan desplazamientos de las Dp-branas en el espacio-tiempo 10D (Fig.13), lo cual convierte a estos entes en objetos dinmicos; se puede tener ms de 1 Dp-brana ocupando el mismo volumen espacial p-dimensional, en cuyo caso se tienen N Dp-branas coincidentes (o sea, ocupando el mismo espacio), y el conjunto tiene una carga total igual a N veces la carga de 1 sola brana; otras cuerdas abiertas viven exclusivamente dentro del volumen de la brana y algunas de ellas pueden representar a campos de Norma de YangMills Supersimtricos (que no son ms que la generalizacin supersimtrica de los campos de las teoras de norma "gauge theories" del Modelo Estandar de Altas Energas) con grupo de simetra de norma U(N), dependiendo del nmero N de branas coincidentes, por lo este tipo de branas son de mucho inters ya que se usan para estudiar la relacin de dualidad existente entre cuerdas abiertas y cuerdas cerradas ("open / closed string duality"), consecuencia de lo cual existe una relacion de dualidad entre teoras con gravedad (las SUGRAS 10D) y teoras con campos de norma de Yang-Mills ("gauge / gravity duality").

Hay branas 0-dimensionales (D0-branas, entes fsicos puntuales --acaso volvemos a caer en los mismo errores del pasado ???), 1-dimensionales (D-strings), 2-dimensionales (membranas cuya superficie puede ser o no finita), y asi sucesivamente hasta llegar a los entes que ocupan un volumen 10dimensional. Para p = -1, la D(-1)-brana se interpreta como un instantn. Las D9-branas son entes fsicos que ocupan TODO el volumen del espacio-tiempo 10-dimensional. La tensin de stas Dp-branas es posee valores positivos. y siempre

estados No-BPS: estas son branas que no cumplen con la relacin BPS anteriormente mencionada, y no preservan la supersimetra, y en ciertas TPSC son estables ya que son los entes fsicos cargados (no poseen carga RR, pero si otro tipo de carga) "ms ligeros" y por lo tanto no pueden decaer en entes menos ligeros que ellos. Sin embargo, en las TPSC Tipo II A y B son inestables. Estas branas aparecen, por ejemplo, en la TPSC I o en TPSC que han sido compactificadas en Orbifolds u Orientifolds ("Orienti-variedades").

Dp-branas inestables: este tipo de branas no poseen ninguna carga que se conserve, por lo que no cumplen con la desigualdad BPS (son estados NoBPS y rompen completamente la supersimetra) y pueden decaer en otras branas BPS estables; no pueden asociarse con los solitones de las SUGRA, por lo que no poseen las mismas caractersticas que las branas estables de Polchinski, y por lo tanto, son slo hiperplanos. Su no-estabilidad se debe a que algunas de las cuerdas abiertas que tienen sus extremos en estas branas, representan a "taquiones" ("tachyonic states"), no en el sentido relativista de una partcula que viaja a velocidad superlumnica, sino en el sentido de que la masa de esta cuerda es negativa. Esto se interpreta como un signo de inestabilidad, y hace que la brana decaiga en branas estables o en el vaco cuntico. Tales branas pueden ser obtenidas, por ejemplo, formando un "estado ligado" entre branas BPS y sus antibranas, Dp-branas -- (Dp)--branas, conincidentes, anlogo al estado ligado llamado "positronium", entre un electrn y un positrn (su anti-partcula). Las antibranas son iguales a las branas pero con carga RR de signo opuesto. Este estado ligado, aunque se forma a partir de estados BPS, no es un estado BPS, es inestable ya que existe un taquin ambos conjuntos de branas. NS-5brana [ "fivebrane"]: es un solitn BPS 5-dimensional anlogo a las p-branas, sin embargo, no poseen carga RR, sino que poseen carga NS y, al igual qe las F-strings, se acoplan a (o sea, interaccionan con) los campos de los sectores NS, NS-NS, NS-R y R-NS. Este solitn es el dual magntico de la F-string (d = 10, por lo que si se considera a la F-string como una 1-brana, entonces, 10 - 1 - 4 = 5 ). Su carga dual es , y su Tensin es . Exisite en las TPSC tipo II A y B y en las HE y HO. Al igual que las Dp-branas, la fivebrane posee dinmica, y sus modos vibracionales (cuerdas cerradas) de ms baja

energa (de masa = 0) en el rgimen de acople dbil, son grados de libertad que describen el sig. conjunto de campos: en ambas TPSC tipo II A y B hay campos escalares que corresponden a traslaciones de este solitn a travs de las 4 dimensiones externas (o "transversas a su world-volume"), en la tipo II B hay un campo vectorial que "vive" dentro del volumen de la brana y en la tipo II A hay un campo tensorial antisimtrico (los nombres "vectorial", "tensiorial" son slo nomenclatura irrelevante para los propsitos de este artculo) que "vive" dentro del volumen y un campo escalar adicional; todos estos campos bosnicos estn acompaados por sus respectivos compaeros ferminicos supersimtricos. En las HE y HO existe un campo adicional que representa a un instantn. Al igual que las Dp-branas, pueden existir un nmero N de NS5-branas coincidentes.

Orientivariedades u "Orientifolds" ["Op-planos"]: son solitones que, en la descripcin perturbativa de orden ms bajo, no poseen gdl dinmicos como las Dp-branas estables y se representan como hiper-planos (p+1)dimensionales estticos que estn fijos en ciertos puntos del espaciotiempo; sin embargo, a ordenes perturbativos ms altos, podra darse el caso de que la descripcin de estos entes fsicos cambie. Las cuerdas cerradas orientadas que entran y se propagan dentro de su volumen (proceso de absorsin) se convierten no-orientadas, es decir, las WS de dichas cuerdas son no-orientadas; las cuerdas cerradas que salen de su volumen (proceso de emisin) decaen en un par de cuerdas cerradas cada una con diferente orientacin, y slo una de ellas representa a un estado fsico, y la otra es la "imgen" (bajo cierto grupo de transformaciones) de dicho estado fsico. En otras palabras, los Op-planos pueden absorber y emitir cuerdas cerradas orientadas. Se parecen a las Dp-branas estables BPS en que tambin poseen carga RR y tienen Tensin. Pero difieren de stas en que en algunos casos la tensin del Op-plano puede ser negativa, y en otros casos tanto su carga como su Tensin pueden tener una fraccin de las cargas y Tensiones asociadas a las Dp-branas BPS. Debido a la existencia de ciertos campos en los sectores RR y NS-NS de las TPSC, para cada dimensin "p" hay diferentes variedades de Opplanos; por ejemplo, para p 5, existen 4 tipos de Op-planos: Op+, Op-, Op~+, Op~- , con cargas 2p - 5 1/2) respectivamente (donde , - 2p - 5 , 2p - 5 , (2p - 5+ = carga RR de la Dp-brana BPS).

Es interesante ahora tener un cuadro general del espectro (o conjunto) de estados sin masa (modos vibracionales de cuerdas que se propagan en un espacio plano) y de las diferentes branas que habitan en estas TPSC y en la SUGRA 11D, a bajas energas. El espectro mostrado est incompleto, pero resulta orientativo.

Teora

Espectro (incompleto) de estados y de las branas de estas teoras sector de cuerdas cerradas NS-NS: Gravitn, campo de Kalb-Ramond, Dilatn RR: A(p) = Campos de Ramond-Ramond, con p= 1,3, 5, 7, 9. R-NS: gravitino (con h=+1), dilatino (con h=-1) NS-R: gravitino (con h=-1), dilatino (con h=+1) ntese, como se mencion anteriormente, que los fermiones de los sectores R-NS y NS-R tienen quiralidad Espectro de opuesta. estados con masa = sector de cuerdas abiertas NS: Campos de norma ("gauge fields"), AI, 0 correspondientes al grupo de simetras que depende del nmero, N, de Dp-branas superpuestas sobre las cuales las cuerdas abiertas tienen sus extremos; campos escalares, que no son ms que las fluctuaciones espaciales de las Dp-branas. R: gauginos (compaeros supersimticos de los gauge fields) y los compaeros supersimticos de los campos escalares. NS5-brana (con sus repectivos campos bosnicos escalares y tensoriales y sus campos ferminicos Espectro de supersimtricos), Dp-branas y sus correspondientes antibranas branas, BPS estables (con p = 0, 2, 4, 6, 8), Dp-branas NoBPS inestables (con p = -1, 1, 3, 5, 7, 9), Op-planos (con p = 3, 5, 7, 9). sector de cuerdas cerradas NS-NS: Gravitn, campo de Kalb-Ramond, Dilatn RR: A(p) = Campos de Ramond-Ramond, con p= 0,2,4; A(0) = Axin R-NS: gravitino (con h=+1), dilatino (con h=-1) NS-R: gravitino (con h=+1), dilatino (con h=-1) ntese, como se mencion anteriormente, que los fermiones de los sectores R-NS y NS-R tienen la misma Espectro de quiralidad. estados con masa = sector de cuerdas abiertas NS: Campos de norma ("gauge fields"), AI, 0 correspondientes al grupo de simetras que depende del nmero, N, de Dp-branas superpuestas sobre las cuales las cuerdas abiertas tienen sus extremos; campos escalares, que no son ms que las fluctuaciones espaciales de las Dp-branas. R: gauginos (compaeros supersimticos de los gauge fields) y los compaeros supersimticos de los campos escalares.

Type IIA

Type IIB

NS5-brana (con sus repectivos campos bosnicos escalares y vectoriales y sus campos ferminicos Espectro de supersimtricos), Dp-branas y sus correspondientes antibranas branas, BPS estables (con p = -1, 1, 3, 5, 7, 9), Dp-branas No-BPS inestables (con p = 0, 2, 4, 6, 8), Op-planos (con p = 2, 4, 6, 8). sector de cuerdas cerradas NS-NS: Gravitn, Dilatn RR: campo A(2). R-NS y NS-R: gravitino (con h=+1), dilatino (con h=-1) Espectro de sector de cuerdas abiertas estados con NS: Campo de norma ("gauge field"), AI correspondiente al masa = 0 grupo SO(32); campos escalares, que no son ms que las fluctuaciones espaciales de las Dp-branas. R: gaugino (compaero supersimticos de ste gauge field) y los compaeros supersimticos de los campos escalares. Dp-branas y sus correspondientes anti-branas, BPS estables (con p= 1,5,9). Existen 32 D9-branas que llenan Espectro de todo el espacio-tiempo. Las D0-brana, D7-brana, D8-brana, branas D(-1)-brana son No-BPS estables y son sus propias antibranas. Ya que slo el right-moving ( alternativamente, el leftmoving) sector es supersimtrico, en stas teoras slo 2 sectores: NS y R. Espectro de existen estados con NS: Gravitn, campo de Kalb-Ramond, Dilatn, Campo de masa = 0 norma (AI) correspondiente al grupo E8 x E8. R: gaugino compaero de ste campo de norma, gravitino, dilatino . Espectro de NS5-brana (con sus repectivos campos bosnicos y sus branas campos ferminicos supersimtricos). Ya que slo el right-moving ( alternativamente, el leftmoving) sector es supersimtrico, en stas teoras slo Espectro de existen 2 sectores: NS y R. estados con NS: Gravitn, campo de Kalb-Ramond, Dilatn, Campo de masa = 0 norma (AI) correspondiente al grupo SO(32), y R: gaugino compaero de ste campo de norma, gravitino, dilatino. Espectro de NS5-brana (con sus repectivos campos bosnicos y sus branas campos ferminicos supersimtricos). Espectro de Gravitn, gravitino, campos (RR) de norma A(p) (con p = 3, SUGRA estados con 6), todos en 11D. masa = 0 11D (TM) Espectro de M2-brana, M5-brana branas

Type I

HE

HO

Los campos RR pueden ser vistos como generalizaciones de los campos de norma ("gauge fields") que aparecen en las teoras de Yang-Mills; las branas son los nicos entes fsicos que pueden interactuar con estos campos. El Axin y el Dilatn son campos escalares; el valor promedio del Dilatn, , es el que define a la constante de acoplamiento ("carga NS") de la cuerda, . La existencia de los campos de Kalb-Ramond trae como consecuencia de que la estructura del espacio-tiempo cambie y se convierta en un espaciotiempo NO-CONMUTATIVO, por lo que las TPSC incorporan de manera natural el concepto de no-conmutatividad. Es natural entonces preguntarse dnde estn los quarks, los gluones, los fotones, los electrones, los neutrinos, etc. que se supone deben existir en estas teoras que pretenden describir al Universo conocido? Tal y como estn formuladas, estas 5 TPSC no describen al Universo. Aun es necesario romper varias simetras, elejir algun espacio conveniente para realizar la compactificacin adecuada, volver a recalcular el espectro de estados fsicos posibles y realizar muchas cosas ms para que alguna versin de estas teoras pueda aspirar a ser la mejor candidata para describir al Universo conocido. Aunque desde ahora se puede observar que algunos estados tales como el gravitn y los campos generalizados de norma (en 10 u 11 D) tienen alguna semejanza con la fsica en 4D: gravitn <---> Relatividad General, campos de norma <---> gluones, fotones.

Interacciones entre branas

Existe una amplia variedad de interacciones entre estos entes, entre las cuales podemos citar a los siguientes:

est la interaccin bsica entre branas a travs de cuerdas abiertas cuyos extremos estn en branas diferentes (Fig.14) y del intercambio de cuerdas cerradas entre las mismas (Fig.15), tambin existe interacciones entre las Dp-branas y los Op-planos (Fig.16, ntese la "x" para el Op-plano... esta signfica que cuando la cuerda entra en el Op-plano se convierte en no-orientada) y tambin entre los Op-planos, a travs del intercambio de cuerdas cerradas orientadas, una brana puede emitir / absorber cuerdas cerradas (Fig.17), tambin pueden existir branas de menor dimensionalidad viviendo dentro de branas, pero en un "estado diluido", es decir, la brana menor est, de alguna forma, no localizada (o "disuelta") en una regin determinada dentro de la brana mayor ; tambin pueden existir branas que se intersectan a diferentes ngulos (Fig.18);

las branas pueden interactuar entre si para formar "estados ligados o unidos", de manera anloga en que un electrn interacta con un protn para formar el estado ligado conocido como 'tomo de hidrgeno'; por ejemplo, existen los estados ligados D1-brana/F-string, D0-brana/D2brana, etc. existe branas cuyas "fronteras" terminan en otras branas (Fig.19)... cuando una brana se enrrolla parcialmente en un espacio compacto, el resultado es una brana menor y con una carga cuyo valor es una fraccin de la carga de la brana original, por lo que son llamadas branas fraccionarias ,

Fig.14

Fig.15

Fig.16

Fig.18 Fig.17

Fig.19

Las transformaciones de dualidad (tdd) entre las diferentes teoras vienen dadas por grupos de "simetras de dualidad", los cuales son variados; sin embargo, es posible clasificar a estas transformaciones segn un cuadro muy general. Aun hoy dia no se posee un formalismo general del cual se puedan deducir todas las tdd conocidas, y stas (aun cuando poseen una estructura matemtica definida) slo se entienden intuitivamente, es decir, su comprensin desde el punto de vista de la fsica aun no se ha completado. Cuando 2 teoras son duales se dice que son fsicamente equivalentes; sin embargo, tal "equivalencia" debe entenderse no como una equivalencia total, absoluta, si no como una equivalencia parcial, ya que (como se mencion anteriormente) la mayor parte de las investigaciones realizadas en TPSC y en TM se realizan en el rgimen de bajas energas y acople dbil, por lo que establecer de forma precisa hasta qu grado ambas teoras son realmente equivalentes es una tarea no-trivial y en extremo complicada.

La mayora de estas dualidades entre teoras se establecen primero como conjeturas, y la verificacin tales dualidades se realiza a travs de un proceso largo de comparacin entre la fsica predicha por una teora y la fsica predicha por la otra. Es importante tambin enfatizar que, hoy dia, tales conjeturas son objeto de intensa investigacin. Contnuamente surgen nuevas tdd entre nuevas versiones de estas teoras, y dar una lista de todas las ttd conocidas est ms all de la capacidad del autor de este artculo. Se pretende entonces dar slo un breve vistazo a las ideas generales que describen a estas transformaciones. Dualidad T: cuando una dimensin del espacio-tiempo 10D (u 11D), M9,1 , se compactifica en un crculo, S1, i.e. M9,1 = Md,1 x X9-d = M8,1 x S1, o varias dimensiones se compactifican en un Toro n-dimensional (el cual puede ser visto como una "combinacin de crculos"), Tn, o sea, M9,1 = Md,1 x X9-d = M9-n,1 x Tn, las cuerdas tienen que propagarse a travs de tal espacio y las branas se pueden ver afectadas ya que una (o varias) de tales dimensiones puede pertenecerle a la brana. En el caso de las cuerdas, es posible (ya que la consistencia de la teora as lo requiere) que una cuerda cerrada est "atrapada" en el espacio compacto (el crculo o el toro), y que su longitud le d varias veces la vuelta a dicho espacio. En este caso se clasifica a las cuerdas en 2 sectores: el sector Kaluza-Klein ("KK sector") compuesto por las cuerdas (con , n = "n-simo" modo vibracional, R = radio del espacio compacto) que se propagan libremente a travs de todo el espacio compacto y el sector "enrrollado" ("winding sector") compuesto por aquellas cuerdas "atrapadas" que le dan vuelta varias veces al espacio compacto (con , m = nmero de veces que la longitud de la cuerda le da vueltas al espacio compacto), por lo tanto el espectro de estados (o conjunto de los modos vibracionales de las cuerdas, a bajas energas y en acople dbil, por supuesto) esta compuesto por los estados KK y los estados enrrollados ("winding states"). Resulta que si se hace la transformacin: , lo que fsicamente se est haciendo es intercambiar a los estados KK por los winding states y viceversa, sin embargo, el espectro de estados permanece igual, no cambia bajo esta transformacin de dualidad. Esto significa lo siguiente.: supngase que se tiene una teora "t1" compactificada (o sea, el espacio-tiempo donde se mueven las cuerdas descritas por la teora es descrito como ya se ha mencionado) en un crculo o toro (de radio R), su espectro de estados tendr 2 sectores, el KK (con n ) y el enrrollado (con m

); supngase tambin que se tiene otra teora "t2" compactificada tambin en un crculo o toro (de radio R' ), la cual tambin tendr 2 sectores, el KK (con n' ) y el enrrollado (con m'); el espectro de estados de "t1" es igual al espectro de "t2" si R' es el inverso del radio del espacio compacto de la anterior teora "t1", o sea R' = alfa / R, & m' = n, n' = m. En tal caso, ambas teoras son fsicamente equivalentes bajo la dualidad T (i.e., son T-duales). Los estados KK de "t1" se intercambian por los winding states de "t2", y los winding states de "t1" se intercambian por los KK states de "t2", sin embargo, ambos espectros son iguales. Este tipo de dualidad ya ha sido generalizada a otros espacios que no son ni el crculo ni el toro n-dimensional. Dualidad S: supngase que se tienen dos teoras "t1" (con constante de acoplamiento gs) y "t2" (con constante de acoplamiento g's); si se cumple que g's = z / gs ( z = ciertos parmetros que son irrelevantes para esta discusin), es decir, si la constante de acople de una de las teoras es inversamente proporcional a la constante de acople de la otra teora, y si se cumple que ciertos campos fsicos de una teora se pueden intercambiar con ciertos campos de la otra teora, entonces se dice que ambas son fsicamente equivalentes bajo la dualidad S (son S-duales). En este tipo de dualidad, la fsica descrita por la teora "t1" con gs grande (o sea, cuando "t1" est en el rgimen de acoplamiento fuerte) puede ser descrita igualmente por la teora "t2" con g's pequeo (o sea, "t2" est en el rgimen de acoplamiento dbil cuando "t1" est en el de acople fuerte). Como se mencion anteriormente, esto tiene la ventaja de que en lugar de usar a "t1" para tratar de comprender la fsica de algn fenmeno con todo el nivel de complejidad que significa trabajar con acople fuerte, se puede usar a "t2" ya que es fsicamente equivalente a "t1" pero con la ventaja de que tiene acople dbil y se pueden usar los mtodos perturbativos para simplificar el problema. Este tipo de dualidad est en el corazn de la Correspondencia AdS/CFT, de la cual se hablar ms adelante.

Dualidad U: es un grupo de tdd mucho ms general y las tdd T y S son subconjuntos de estas tdd. Cuadro de dualidades conocidas hasta 1995:

esta lista de dualidades entre teoras es constantemente utilizada en la literatura sobre el tema para dar una idea de cmo se descubri que realmente no hay 5 TPSC diferentes, sino que todas estn relacionadas entre si mediante tdd y que a su vez, estn relacionadas con la 11D-SUGRA, la cual se cree es slo la versin simplificada de una teora ms general, ms abarcadora, llamada Teora M (Fig.21). Se dice entonces que las 5 TPSC y la 11D SUGRA son slo "casos especiales" de esta aun desconocida Teora M. Ya que han pasado muchos aos desde entonces, este cuadro est incompleto ya que han surgido muchsimas ms relaciones de dualidad entre otras versiones de estas teoras, algunas de las cuales se mencionarn ms adelante.

Fig.21. Cdigo de colores : flechas verdes indican que el espacio-tiempo plano (i.e., trivial) de la teora se sustituye por otro espacio no-trivial en el cual una o varias dimensiones se han compactificado; las flechas rojas indican que las teoras compactificadas en los espacios no-triviales estn relacionadas entre si por la dualidad S,T, Omega, etc., y son fsicamente equivalentes.

Este cuadro se lee de la siguiente forma: por ejemplo, el espaciotiempo plano de la 11D-SUGRA se compactifica en un espacio M9,1 x S1, y la teora resultante (o sea, la 11D SUGRA compactificada en M9,1 x S1) es S-dual a la TPSC tipo IIA en un espacio-tiempo 10D plano; el espacio-tiempo plano de la 11D-SUGRA se compactifica en un espacio M9,1 x I, (donde I = intervalo de 0 a 1), y la teora que resulta (o sea, la 11D SUGRA compactificada en M9,1 x I ) es S-dual a la TPSC HE en un espacio 10D plano; la TPSC tipo IIA compactificada en M8,1 x S1 y la Tipo IIB compactificada en M8,1 x S1son Tduales; la TPSC tipo II A puede ser obtenida a partir de la tipo II B mediante una proyeccin "Omega", cuyo efecto es "quitarle" la orientacin a las cuerdas de la tipo II B, etc. Relaciones entre los entes fsicos de teoras duales : por ejemplo, en la S-dualidad entre la 11D SUGRA compactificada en M9,1 x S1 y la TPSC tipo IIA en un espacio-tiempo 10D plano, una M2-brana enrrollada

en S1 (i.e., 1 de las 2 dimensiones de la brana forma un crculo) es equivalente (bajo la dualidad S) a la F-string de la Tipo II A, una M2-brana que no est enrrollada es equivalente a la D2-brana de la Tipo II A, una M5-brana enrrollada en S1 es equivalente a la D4-brana de la Tipo II A, una M5-brana no enrrollada es equivalente a la NS5-brana de la Tipo II A, etc. De manera similar, existen relaciones anlogas de equivalencia entre los entes fsicos de otras teoras duales. Algunos otros ejemplos de dualidades (a nivel de conjeturas) que no aparecen en el cuadro anterior: se conjetura que la Tipo IIA compactificada en K3 (un tipo especial de espacio Calabi-Yau) es S-dual a la Tipo HE compactificada en un toro 4D, T4; se conjetura que la TM (i.e., 11D SUGRA) compactificada en M6,1 x K3 es S-dual a la HE compactificada en M6,1 x T3; se conjetura que la TM (i.e., 11D SUGRA) compactificada en M3,1 x S1 x CY6 es S-dual a la Tipo II A compactificada en M3,1 x CY6, donde CY = algn espacio Calabi-Yau 6D determinado; se conjetura que la TM (i.e., 11D SUGRA) compactificada en M9-n,1 x K3 x Tn-3 es S-dual a la HE 9-n,1 n compactificada en M x T ; etc. Como se mencion anteriormente, existen muchsimas ms relaciones de dualidad entre muchas otras teoras compactificadas en espacios ms complicados, y su estudio requiere de un grado de especializacin bastante alto, por lo que slo nos limitaremos a hacer mencin de las ideas principales. La fsica (y sus consecuencias) predicha por todas las versiones diferentes y complicadas de las teoras originales aun son objeto de intensa investigacin, lo cual es reflejo de la inmensidad y riqueza de estos temas. : cuadro global general Se expondr un esquema muy general sobre algunas de las reas de inters en el tema (adems de las ya mencionadas anteriormente), sin pretender dar una lista exhaustiva de todo lo que aparece en la literatura cientfica. En trminos muy generales, se pueden distinguir 3 grandes corrientes: i ) investigacin que pretende encontrar los fundamentos fsicomatemticos reales de todas estas teoras, en particular, se trata de construir, basados en criterios fsicos adecuados, un formalismo no-perturbativo que abarque y explique todo lo hasta ahora recopilado a travs de aos de investigacin; ii ) aun cuando slo se poseen teoras incompletas, y muchas de ellas con muchos defectos, se pretende aplicar lo hasta ahora aprendido al desarrollo de un modelo de fsica de altas energas lo ms parecido posible al Modelo Estandar de Fsica de Altas Energas y Partculas elementales, y en muchos casos se ha logrado un xito relativamente bueno, aunque aun existen muchos problemas no-triviales por resolver; iii ) aun cuando slo se poseen teoras incompletas, y con defectos, se pretende aplicar lo hasta ahora aprendido al desarrollo de un modelo cosmolgico lo ms parecido posible al

Modelo Estandar de Cosmologa, y asi tratar de explicar al Universo observable y resolver muchas incgnitas que la Cosmologa convencional no puede aun resolver; nuevamente, el xito alcanzado es relativamente bueno, pero aun quedan problemas muy serios por resolver; Los intentos de aplicar estas teoras han recibido serias crticas, ya que muchos creen que es aun muy temprano para tales propsitos debido a que las mismas todava se encuentran en etapa de desarrollo, y cualquier modelo que se pueda construir no ser lo suficientemente realista como para ser considerado como un candidato serio para la descripcin de la fsica conocida del Universo. Sin embargo, la historia de esta ciencia ha demostrado que tales crticas no son suficiente para detener el impetu de tales intentos, apoyados en argumentos tales como: "la historia de la fsica demuestra que el desarrollo de la misma nunca ha sido totalmente uniforme, muchas veces los descubrimientos se realizan por intentar las cosas a travs del ensayo y error; los problemas de la fsica se deben atacar desde varios puntos de vista, desde varios ngulos, utilizando diferentes tcnicas, y aun asi quizs no se logre nada, pero durante el recorrido se aprender que es lo que NO debe hacerse"... Adems, toda teora debe confrontarse con el experimento o con datos observados, y aun cuando todas estas teoras estn incompletas, es buena idea intentar desde temprano realizar algn tipo de test de comparacin entre lo conocido y lo predicho por nuevas ideas, para asi tener al menos algo que sirva de gua para realizar futuras investigaciones. Y el estudio de la fenomenologa a bajas energas predicha por estas teoras y de sus predicciones cosmolgicas es una manera de hacerlo. Estructura fsico-matemtica fundamental de las teoras Problema: Las versiones conocidas de las TPSC/TM NO SON INDEPENDIENTES DEL ESPACIO DE FONDO en el cual se propagan los entes fsicos; es necesario formular las teoras de tal forma que SEAN INDEPENDIENTES DEL FONDO ("formulacin covariante"), ya que solo asi podrn describir leyes fsicas invariantes vlidas (supuestamente) en cualquier lugar del Universo. El nico intento que promete tal formulacin es la SFT (ver ms adelante)... Problema: Solo se conocen las VERSIONES PERTUBATIVAS de las TPSC/TM, Y NO SE TIENE AUN UNA FORMULACIN MATEMTICA COMPLETA NO PERTURBATIVA de una teora realmente fundamental. No se entiende bien aun cul es la estructura matemtica fundamental de las TPSC, la cual se cree debe provenir de una

versin no-perturbativa (a altas energas y con acople fuerte) de la aun desconocida TM (recurdese que lo nico que se conoce de la TM es su versin perturbativa a bajas energa y con acople dbil, o sea, su 11D SUGRA). Entre los varios intentos por resolver este problema de extrema importancia estn: (M)atrix theory: (Tom Banks, etc.) es un intento por construir la formulacin matemtica no-perturbativa de la fantasmal TM en cierto lmite. Se usa un sistema formado por D0-branas de la TPSC Tipo II A, el cual bajo ciertas condiciones es descrito por una fsica "simple" ("Matrix Quantum Mechanics"); las posiciones de las N D0-branas son representadas por coordenadas que no son puntos si no que son matrices N x N (con N ---> infinito), por lo que se obtiene un espacio No-conmutativo. Las distintas versiones de esta teora aun no han logrado formularse de manera tal que la teora sea INDEPENDIENTE DEL ESPACIO DE FONDO. Sin embargo, con este formalismo se han reconstrudo muchos resultados conocidos obtenidos en la 11D SUGRA. String Field theory [SFT]: (Michio Kaku, Witten, Ashoke Sen, Barton Zwiebach, etc.) la teora de campos cunticos (QFT = Quantum Field Theory) trata a los entes fsicos fundamentales como campos, los cuales no estn localizados en una regin puntual del espaciotiempo, sino que estn definidos en una regin extendida del mismo; las partculas son entonces interpretadas como fluctuaciones o escitaciones de dichos campos (i.e., las partculas son los "quanta" del campo, por ejemplo: el campo electromagntico y sus fotones). Esta formulacin es mucho ms conveniente y general que tratar con las partculas de forma directa. Ahora bien, en las TPSC no existe una formulacin completa anloga a una "teora de campos", en la cual se trate a las cuerdas como las excitaciones o fluctuaciones de dichos campos; por lo tanto, las TPSC tratan a las cuerdas de manera directa como si fuesen "partculas"; a pesar que se sabe que tal formulacin no es la ms conveniente, es la nica y la mejor que se tiene hasta el momento. Se han realizado varios intentos de construir una teora de campos de cuerdas (SFT), y una formulacin completa de esta SFT aun est bajo investigacin. Sin embargo, existen fuertes razones para creer que tal SFT puede resolver muchos de los problemas de las

TPSC, ya que la SFT se formula de una manera NOPERTURBATIVA desde el principio, y tambin existe evidencia (terica, matemtica, por supuesto!) de que la SFT puede formularse INDEPENDIENTE DEL ESPACIO DE FONDO. En algunas formulaciones actuales, se puede partir de un campo de cuerdas que posea una excitacin o fluctuacin taquinica (o sea, la excitacin representa a un taquin) el cual, al interactuar de cierta forma (condensacin taquinica "tachyon condensation"), puede dar origen a todo un espactro de p-branas! Esto significa que es posible obtener branas a partir de una teora de campos de cuerdas. Recurdese que la existencia de un taquin signfica "inestabilidad" de las branas que lo contienen; la condensacin se realiza cuando el par de brana-antibrana inestables (Fig.22) se aniquila debido al taquin entre ellas, lo cual da origen a otros estados. Problema: Aun no se dispone de un criterio fsico convincente que sirva para explicar cmo el Universo eligi una entre billones (o quizs infinitas) de posibles formas en que pudo sufrir la transicin de fase de (des)compactificacin; tal y como estn estructuradas actualmente las TPSC, stas predicen un nmero gigantesco (sino infinito) de posibilidades, todas con igual probabilidad de ocurrir, sin dar ninguna pista de la existencia de algn criterio que pudiera diferenciar una de otra. A este problema se le llama "degeneracin del vaco": cul de los infinitos espacios de Calabi-Yau eligi el Universo durante la (des)compactificacin? Se cree que la teora no-perturbativa de cuerdas/branas que se anda buscando debe resolver este problema. Hasta donde alcanzan los conocimientos del autor de este artculo, existe un intento por resolver este problema: Brian Green, David Morrigan y Andrew Strominger (19??) lograron construir un modelo en el cual algunas black p-branes enrrolladas en ciertos espacios compactos daban origen (de forma dinmica) a ciertas relaciones entre diferentes espacios de Calabi-Yau, lo cual arrojaba esperanza de que quizs no exista un nmero infinito de tales espacios (o "posibilidades", o en el lenguaje tcnico, "vacos") y que muchos de ellos estuviesen relacionados entre si a travs de alguna relacin de equivalencia, de manera anloga al caso de las 5 TPSC que se crean diferentes, cuando en realidad son solo casos espaciales de 1 sola teora. Problema: Todas los modelos "realistas" que se han construido hasta ahora para tratar de describir al Universo 4-dimensional, son modelos con supersimetra; sin embargo, el Universo observable no posee supersimetra, por lo que sta debe estar rota.

El problema consiste en que aun no se sabe cmo se rompe (de forma dinmica) dicha simetra. Se cree que este problema debe ser resuelto al mismo tiempo e que el problema de la degeneracin del vaco se resuelva. Problema: Existen otras teoras alternativas a las TPSC / TM, que compiten por ser "LA" teora de Gravedad Cuntica. Entre stas se encuentra la Loop Quantum Gravity [LQG], la cual logra unificar a la fsica cuntica con la Relatividad General, en un marco matemtico NO-PERTURBATIVO E INDEPENDIENTE DEL ESPACIO DE FONDO, lo cual las TPSC/TM aun no logran. Sin embargo, la LQC no ofrece un marco unificatorio de todas las fuerzas fundamentales. Es de mucho inters aprender entonces cmo la LQC logra tales objetivos y tratar de incorporarlo a las teoras de cuerdas y branas. Algunas investigaciones en esta rea (Polchinski...) sugieren que podra existir una conexin entre la LQG, las TPSC con cuerdas cerradas y las teoras de norma, bajo ciertas condiciones (en el lmite N ---> muy grande, donde N = parmetro que caracteriza al grupo de simetras de la teora de norma): todas estas teoras tienen entes fsicos (o "grados de libertad") fundamentales en forma de "lazos cerrados" (o "loops"), cuya topologa es igua a una cuerda cerrada!. Tambin existen otros frentes de batalla que pretenden profundizar en otros aspectos: Clasificacin de las branas y sus interacciones: se estn estudiando los diferentes aspectos de las interacciones entre branas y su clasificacin mediante una rama de la matemtica llamada K-Teora . Dualidades: Se est tratando de entender ms profundamente todas las dualidades y se estn buscando otras que pudieran estar escondidas. Aplicacin [del formalismo incompleto existente] a la Fsica de Altas Energas Fenomenologa (terica) de cuerdas / branas: La intencin de las TPSC/TM es proporcionar un marco unificatorio de todas las fuerzas conocidas. En trminos muy generales, se est intentendo recuperar al MEFP [o por lo menos parte de su fenomenologa] a partir de una teora "bsica, fundamental" (descrita por una "formula matemtica" llamada accin, SFundamental) que sea invariante ante un cierto grupo de transformaciones de simetras, GFundamental. En otras palabras, a partir de una teora fisico-matemtica (descrita por: SFundamental & GFundamental) se intenta obtener una teora "menos fundamental" capaz de describir al Universo conocido, la cual en principio estar descrita por "otra formula matamtica" llamada accin effectiva de bajas energas, Seff-be, invariante ante un sub-grupo de simetras, Geff, no supersimtrico, que sea lo ms parecido posible al grupo de simetras del MEFP, GMEFP = SU(3)c x SU(2) x U(1)Y, o a un grupo de alguna GUTs (y asi obtener, a partir del espectro de estados de las cuerdas, aquellos estados que corresponden a lo que es conocido, o sea, quarks, electrones, neutrinos, fotones, gluones, etc.).

Es claro que esto aun no se ha logrado de forma totalmente satisfactoria, pero se ha alcanzado cierto progreso en esta rea. Alungos de los intentos (teoras) que aparecen en la literatura son: teora Hetertica E8 x E8 dbilmente acoplada, sin branas, compactificada en el espacio M3,1 x CY6 [CY = Calabi-Yau space arbitrario; recurdese que son un conjunto de espacios que poseen caractersticas convenientes necesarias para la consistencia de la teora]; ms claramente, en este caso se postula que la teora fundamental es la HE compactificada en dicho espacio, lo cual introduce o aade ciertas simetras adicionales a las que ya posea la HE, y como consecuencia se obtiene a GFundamental con la ayuda del cual se construye a SFundamental . Usando las propiedades del CY estudiado (geometra, topologa, etc.) y usando otros criterios no-triviales, se obtienen a Seff-be y a Geff, los cuales deben ser lo ms parecidos a los correspondientes del MEFP. Es obvio entonces que los resultados obtenidos dependern de forma directa del CY que se use, y el problema es "cul es el CY correcto de entre los billones que existen?" [este tipo de procedimientos de construccin de teoras efectivas se usa en la mayora de los casos estudiados];

teora Hetertica E8 x E8 dbilmente acoplada, sin branas, compactificada en una Orbivariedad (u "Orbifold") determinada, o sea, el espacio-tiempo en donde se propagan las cuerdas/branas de esta teora es M9,1 = Md,1 x X9-d = M3,1 x [X / Gd]6 y la frase "compactificada en ..." por lo general se refiere en este caso siempre al espacio compacto "X". [a pesar de que se ha intentado no entrar en detalles demasiado tcnicos, la "definicin intuitiva" de un orbifold como un "espacio matemtico abstracto y conveniente" no es muy satisfactoria, a menos que se tenga una idea de su construccin matemtica; asi, al observar que tal espacio es realmente una construccin matemtica abstracta, la aceptacin de la definicin intuitiva ser menos difcil... sea entonces Gd = grupo de simetras "discretas" del espacio compacto "X" arbitrario, el Orbifold = X / Gd es el espacio cociente de "rbitas o trayectorias" de "X" bajo la accin del grupo Gd, o sea, se toma al espacio arbitrario "X" y se le "reduce de tamao" de la sig. forma: debido a Gd algunos puntos de "X" son equivalenes a otros puntos de "X", algunas lneas de "X" son equivalentes a otras lneas de "X", etc.; todos los puntos, lneas, etc. que son equivalentes entre si se agrupan en sub-conjuntos, y asi se divide a "X" en varios sub-espacios; luego se toma 1 solo elemento de cada uno de tales sub-conjuntos y se forma un nuevo conjunto con dichos elementos y a este nuevo conjunto se le va a llamar X / Gd, el cual no es mas que "X" reducido de tamao... sin embargo, algunos de los puntos de "X" no van a ser equivalentes a nada, salvo a ellos mismos... a estos puntos se les llama "puntos fijos" o "singularidades", ya que en tales puntos la geometra del espacio "X" no est bien definida ya que tiende al infinito, o sea, diverge... por lo tanto, un Orbifold es un espacio compacto extrao, ya que su geometra es "suave, bien comportada" en muchas regiones, excepto en las

singularidades; un ejemplo es un Cono, el cual es regular en todos lados, excepto en la punta, donde no puede definirse una funcin matemtica que describa la geometra alrededor de dicho punto ya que tal funcin tendera al infinito, lo cual representa una inconsistencia matemtica]. El caso ms estudiado, por su "sencillez", es X = T6 = toroide en 6D; los resultados que se obtengan dependen bastante de la naturaleza del espacio "X" elegido y de la eleccin de un grupo de simetra entre los varios que "X" pueda tener;

teora 11D SUGRA compactificada en M3,1x (S1/Z2) x CY6 [este espacio es una combinacin de un espacio orbifold con Calabi-Yau];

teora tipo IIB compactificada en un Orientifold, o sea en M3,1 x [Orientifold]6, la cual es equivalente por las relaciones de dualidad a una teora tipo I SO(32) compactificada en un Orbifold; este tipo de construcciones resulta interesante ya que se empieza con la tipo II B compactificada en un Orbifold, y bajo ciertas transformaciones convenientes se convierte a dicho Orbifold en un Op-plano, es decir, se lo convierte en una brana mas de la teora, la cual hereda las singularidades del Orbifold que le dio origen. En estos modelos se trata con cuerdas cerradas, abiertas, Dp-branas, anti-Dp-branas y orientifolds. Las Dp-branas se introducien para cancelar ciertas anomala de la teora, las cuales se localizan en los puntos fijos del orientifold; teoras tipo IIB compactificada en ciertos Orbifolds , M3,1 x [X / Gd]6 , con un conjunto de D3-branas localizadas en algn punto fijo del orbifold, junto con D7-branas y D7-antibranas localizadas en algn otro lado para cancelar anomalas.

En algunos casos se han logrado reproducir con relativo xito algunas caractersticas del MEFP (las 3 familias de quarks y leptones, el nglulo de Weinberg para el clculo de la masa del bosn Z 0, el grupo GMEFP, se han logrado obtener varias predicciones modelo-independientes y otras cosas). Tambin se ha logrado construir modelos parecidos al Minimal SUSY Standard Model [MSSM], el cual es una extensin / generalizacin del MEFP con la mnima cantidad posible de supersimetra. Sin embargo, existen problemas aun difciles que no se han resuelto: por ejemplo, la mayora de los modelos "realistas" obtenidos son supersimtricos, y aun no se sabe como romper la SUSY (espontneamente o dinmicamente).

Uno de los aspectos fascinantes de estos modelos "realistas" es que se ha logrado explicar algunas de las propiedades fundamentales de las partculas (tales como la masa, la carga elctrica, etc.) en trminos de la geometra/topologa del espacio 6D compacto oculto, "X": la masa de una partcula, por ejemplo, no es ms que una "consecuencia" de la manera en que una cuerda se enrrolla o queda atrapada en algn defecto de la topologa ("forma") de dicho espacio (Fig.23). En el MEFP tales propiedades no tienen ninguna explicacin y son parmetros que se deben adquirir experimentalmente, en cambio, en los modelos "realistas" es posible incluso hasta predecir el valor de tales propiedades! DUALIDAD ENTRE CUERDAS CERRADAS Y CUERDAS ABIERTAS CORRESPONDENCIA o Dualidad AdS/CFT y HOLOGRAFA La QCD tiene varios aspectos parecidos a las cuerdas: por ejemplo, cuando se trata de separar dos quarks, se forma entre ellos un flujo de gluones localizado en una regin 1-dimensional parecida a un tubo o cuerda, el cual impide el poder separalos (a tal flujo de gluones se le llama "cuerda-QCD"); se dice entonces que los quarks estn confinados, o sea, no pueden existir cada uno por su cuenta en un estado libre. Hoy dia se cree que es posible que las cuerdas puedan, despus de todo, describir a la QCD (de regreso a sus orgenes !): los "quarks" estaran representados por los extremos de las cuerdas, y el flujo de "gluones" entre los quarks (el cual representa las interacciones entre los mismos) es representado por la longitud misma de la cuerda. Por qu podra ser posible esto? En 1974, Gerard 't Hooft (premio Nobel 1999 de fsica compartido con Martinus Veltman) descubri que una teora de norma de Yang-Mills basada en el grupo de norma SU(Nc) se simplifica cuando "Nc" tiende a ser muy grande. Aqui, Nc representa al nmero de "grados de libertad de color", es decir, es el nmero de estados diferentes en que los gluones pueden existir; para la QCD (que es una teora de norma Yang-Mills), el grupo es SU(3)c, lo cual significa que un glun de esta teora puede existir en 3 estados diferentes, que son etiquetados con los nombres de "rojo", "verde", "azul". Se han hecho simulaciones con supercomputadoras [Teper] usando teoras de norma en retculos ["Lattice gauge theories"] y se ha descubierto que para el clculo de ciertas cantidades fsicas (masas de los Glueballs = estados ligados de 2 o ms gluones, o sea, "tomos de gluones" ; la tensin de la QCD-string o k-string, etc.) de este tipo de teoras, es lo mismo trabajar con Nc --> infinito o con Nc = 2, 3, 4 o 5. En otras palabras, parece ser que tales cantidades son independientes del valor de Nc. Esto sugiere fuertemente que, al manos en principio, se podra usar la versin simplificada (cuando Nc es muy grande) de tales teoras de norma para obtener ciertos resultados de

mucha relevancia para las teoras de norma con Nc pequeo (recurdese que la QCD tiene Nc = 3, la teora de interacciones dbiles tiene Nc = 2, y ambas teoras forman parte del MEFP). Ahora bien, tal como se mencion anteriormente, el nmero de Dp-branas BPS estables coincidentes, N, est directamente relacionado con el grupo de norma U(N) de una teora de norma Yang-Mills. Bajo ciertas condiciones, es posible obtener el sub-grupo SU(N) tal que N = Nc y asi poder usar las teoras de cuerdas/branas para describir una teora de norma de Yang-Mills! Y no solamente esto, sino que a travs de ciertas relaciones de dualidad (dualidad AdS/CFT) se cree que es posible que se pueda describir el rgimen de acoplamiento fuerte de la QCD (extremadamente difcil de estudiar) mediante una teora de cuerdas/branas en un rgimen de acople dbil. En otras palabras, se cree que es posible usar a las cuerdas/branas para estudiar los fenmenos no-peturbativos existentes en teoras tan importantes como la QCD, que se utiliza para analizar los datos obtenidos en los aceleradores de partculas! Dualidad AdS / CFT: fue propuesta como una conjetura por Juan Maldacena (1976) y trata de la posible equivalencia entre 2 teoras, una teora efectiva de supercuerdas (o sea, una SUGRA 10D) compactificada en un espacio-tiempo M9,1 = AdSd x X10-d (donde AdS = espacio-tiempo de Anti-de Sitter, X = espacio compacto conveniente), a bajas energas y con acoplamiento dbil, y una teora efectiva de norma Yang-Mills, con supersimetra y con simetra conforme (Conformal Field Theory [CFT], o escrito de forma ms compacta, SCYM = SuperConformal Yang-Mills), con acoplamiento fuerte ( = gYM Nc llamada constante de acople de t'Hooft, donde gYM = constante de acople de la teora de norma YM). Lo curioso de esta construccin terica es que ambas teoras efectivas se obtienen a partir de un nmero N de D3-branas BPS estables coincidentes (las cuales slo existen en la TPSC Tipo IIB). Recurdese que una Dp-brana puede ser vista a travs de 2 descripciones equivalentes: como un solitn de una teora SUGRA o como un hiperplano donde las cuerdas abiertas tienen sus extremos anclados. Tenemos entonces los siguientes escenarios: Solitn SUGRA) - Se empieza con N D3-branas BPS estables coincidentes inmersas en un espacio-tiempo (9+1=10)D plano; ya que estas branas poseen energa por unidad de volumen (o sea, su Tensin), las mismas curvan (dbilmente, ya que se est trabajando a muy bajas energas) el espacio-tiempo dentro de su volumen y a su alrededor, y esto permite que este solitn pueda ser caracterizado por sus modos vibracionales, que en este caso son cuerdas cerradas. A su vez, los modos vibracionales de estas cuerdas representan a ciertos campos (Gravitn, que describe la geometra-curvatura del espacio-tiempo dentro y afuera de la brana, el Dilatn, etc.). Entonces, al estudiar de forma "directa" a estos campos (o sea,

ya no se mencionan ms a las branas), se est estudiando de forma "menos directa" a dichas N branas. Y como las D3-branas pertenecen a la TPSC Tipo IIB, estos campos pertenecen a una teora efectiva 10D SUGRA. Se tiene entonces una teora de cuerdas cerradas (que a bajas energas es representada por una teora de Sugra) que se propagan en un espacio curvo (descrito por el gravitn) de 10D, en el lmite cuando el radio de curvatura del espacio, R, es muy grande (en comparacin con la escala de las cuerdas, o sea, R >> ls , o igualmente (R / ls ) >> 1 ), lo que significa que la intensidad del campo gravitacional es muy dbil. Ahora bien, R est dado por , y de estas relaciones se deduce que si entonces, la constante de acoplamiento de t'Hooft debe ser muy grande, . Sin embargo, la constante de acoplamiento, gs, de esta SUGRA 10D es dbil. Ahora bien, la geometra descrita por el gravitn es la de un espacio-tiempo curvo, el cual se puede caracterizar con coordenadas esfricas, es decir, con un radio = r (el cual no debe confundirse con el radio de curvatura R) y con algunos ngulos. Lo interesante ahora es que en el lmite cuando r tiende a cero, "r ---> 0", esta geometra describe a un espacio-tiempo compacto de la forma AdSd x X10-d , con d=5. Esto significa que en este lmite (llamado Lmite cercano al Horizonte, o "Near Horizon Limit") se tiene a una teora 10D SUGRA (clsica) compactificada en AdSd x X10-d. Hiperplano) Se empieza tambin con N D3-branas BPS estables coincidentes inmersas en un espacio-tiempo 10D plano; a muy bajas energas las excitaciones o modos vibracionales de las branas sern las cuerdas abiertas que viven dentro del volumen de todas estas branas y, a su vez, las excitaciones o modos vibracionales de estas cuerdas abiertas representan a campos de norma de Yang-Mills, los cuales poseen varias simetras (Supersimetra, simetra Conforme, simetra de norma representada por el grupo de norma SU(Nc), con N = Nc) ; en otras palabras, se tiene una teora efectiva SCYM (cuntica) que "vive" dentro del volumen plano 3D de las Nc branas coincidentes (o sea, viviendo dentro del world-volume 4D de las branas), con constante de acoplamiento, , y con grado de supersimetra . Escrito de forma resumida: teora SCYM 4D, = "algn nmero", con grupo de norma SU(Nc). Ntese que en este escenario, las branas no curvan el espaciotiempo a su alrededor, ya que su caracterizacin como "hiperplanos" les impide afectar de dicha forma al espacio-tiempo.

Se tienen entonces 2 teoras construdas a partir de D3-branas, en diferentes regmenes de acoplamiento, mientras que la 10D SUGRA tiene acople dbil, la 4D SYCM tiene acople fuerte. Es anlogo a la dualidad-S descrita anteriormente. Si estas dos teoras son duales (o fsicamente equivalentes), entonces se puede usar a la 10D SUGRA de acople dbil para estudiar fenmenos noperturbativos de acople fuerte de la 4D SYCM ("gauge / gravity duality or correspondence")! El objetivo es entonces tratar de construir una teora (perturbativa) dual a una teora de norma Yang-Mills, sin supersimetra y sin simetra conforme, con el grupo de norma SU(3)c de la QCD, para asi poder usarla para investigar fenmenos no-perturbativos propios de la QCD. Es entonces obvio que hay que buscar la forma de romper de forma conveniente la simetra Conforme y la susy , en su defecto, tratar de construir teoras con el menor grado posible de susy (o sea, con = 1) y tratar de eliminar de alguna forma la simetra Conforme. Es claro que esta situacin ideal aun no se ha logrado, pero las investigaciones aun continuan. La dualidad AdS / CFT es implementada mediante el asi llamado Formalismo GKPW (por S. S. Gubser, Igor Klebanov, Alexander Polyakov & Witten), el cual relaciona ciertas cantidades fsicas de una de las teoras con ciertas cantidades fsicas de la otra teora. Este formalismo es slo vlido para el lmite cercano al horizonte. Se ha tratado de generalizar dicho formalismo ms all de dicho lmite (o sea, cuando r es mayor que cero) de varias formas, entre las cuales est el Formalismo DGKS (por Ulf Danielsson, Martin Kruczenski, Alberto Guijosa, Bo Sundborg). Este tipo de generalizaciones representan otro intento de construir teoras sin simetra conforme. Esta dualidad es un complemento a las investigaciones en el campo de la fenomenologa visto anteriormente, ya que la fenomenologa de cuerdas/branas buscan reproducir al MEFP, sin embargo, aun no es claro si tal logro conducir a un formalismo que pueda lidiar con el rgimen de acoplamiento fuerte del MEFP; en caso de que as fuese, tal formalismo quizs sea parecido o igual a esta dualidad AdS / CFT. La existencia de tal dualidad ya ha sido confirmada tericamente en muchos casos pero, como se mencion anteriormente, solo a energas muy bajas, o sea, en el rgimen perturbativo. Aun hoy en da no se entienden exactamente todos los detalles de dicha dualidad ms all del rgimen perturbativo, lo cual es motivo de intensa investigacin, aunque se cree que la dualidad ms all de dicho rgimen debe expreserse como una dualidad entre cuerdas abiertas y cerradas ("open-closed string duality"). Sin embargo, es impresionante la posibilidad de que an cuando en el futuro se pudiera demostrar que las TPSC / TM no son la fsica correcta, si esta dualidad sobrevive podra ser vista simplemente como un CAMBIO de formalismo / lenguaje matemtico conveniente que permite hacer clculos difciles. Ejemplos de dualidades estudiadas:

teora SUGRA Tipo II B compactificada en AdS5 x S5 es dual (en el sentido AdS/CFT mencionado anteriormente) a una teora SCYM 4D, = 4, con grupo de norma U(N); teora SUGRA Tipo II B compactificada en un Orbifold, AdS5 x (S5 /Gd), es dual (en el sentido AdS/CFT) a una teora SCYM 4D, con = 1 o 2 dependiendo de cual Gd se elige; teora SUGRA Tipo II B compactificada en un Orientifod, AdS5 x (S5 /Z2), es dual a una teora SCYM 4D, = 4 con grupo de norma SO(2N) o USp(2N); teora SUGRA Tipo II B compactificada en AdS3 x S3 x X4 (donde X4 = K3 T4), es dual a una CFT (1+1)Dimensional, cuyos campos se propagan dentro del volumen de un sistema ligado de una D1-brana y una D5-brana; teora SUGRA Tipo II B compactificada en AdS3 x S2 x X6 (donde X6 = T6 T2 x K3 T2 x CY3), es dual a una cierta teora SCYM con = (0,4) (esta notacin significa que el left-moving sector no tiene supersimetra y el right-moving sector tiene un grado de susy igual a 4); teora SUGRA Tipo I compactificada en AdS3 x S3 x X4 (donde X4 = K3 T4) es dual a una teora SCYM (1+1)Dimensional, con = 4; teora SUGRA Tipo II B compactificada en AdS5 x T1,1 (donde T1,1 es un sub-espacio 5D de un espacio 6D llamado Conivariedad o "Conifold"), es dual a una teora SCYM 4D, con = 1, y con grupo de norma SU(N) x SU(N) ; teora SUGRA Tipo II B compactificada en AdS5 x (T1,1)def (donde (T1,1)def es la misma Conivariedad pero "deformada", es decir, se han introducido ligeros cambios a la conivariedad para evitar la aparicin de ciertas singularidades), es dual a una teora supersimtrica YM 4D, con = 1, y con grupo de norma SU(N + M) x SU(N), donde M = nmero de branas fraccionarias que se han introducido para eliminar la simetra Conforme. En la TM tambin se han estudiado otros casos: a partir de N M2branas o M5-branas coincidentes, se obtiene una SUGRA 11D la cual se compactifica en AdS7 x S4, AdS7 x RP4 (donde RP = espacio proyectivo real), AdS4 x RP7 , etc., las cuales son duales a otras teoras. Esta dualidad es muy rica ya que se han logrado reproducir algunos comportamientos propios del rgimen no-perturbativo de acople fuerte de la QCD:

clculo de la masa de glueballs (QCD) usando las ecuaciones de movimiento del Dilatn y Gravitn, de la 10D SUGRA Tipo IIB. Transiciones de fase (una teora de sugra con campos propagndose en el espacio curvo generado por una generalizacin de un Hoyo Negro es dual a una teora de norma en la cual ocurren transiciones de fase en ciertas Temperaturas crticas las que a su vez son duales a la Temperatura de la Radiacin de Hawking del Agujero Negro generalizado), confinamiento (los quarks de la QCD no pueden vivir libres a bajas energas ya que estn "confinados/atrapados" dentro de los bariones, es decir, los quarks deben formar los estados ligados conocidos como "bariones = mesones + hadrones"; tal comportamiento no se puede deducir a partir de la QCD-perturbativa ya que es un fenmeno que ocurre en el rgimen de acoplamiento fuerte, y la dualidad AdS/CFT

aporta ciertos mecanismos que explican cmo sucede tal confinamiento), apantallamiento de carga ("screening"), es decir, cuando las partculas (fsicas) cargadas atraen a otras partculas virtuales cargadas (provenientes del vaco cuntico) las cuales forman una especie de "nube" alrededor de la carga de la partcula fsica; dicha "nube" de partculas virtuales cargadas tiene el efecto de disminuir (apantallndola) la carga de la partcula fsica; etc. (propuesta Gerard t'Hooft, 19??, desarrollada por Leonard

Holografa: Susskind

El Principio Hologrfico postula / conjetura que cualquier teoria de gravedad en D-dimensiones puede ser descrita por una teora no-gravitacional (es decir, una teora compuesta por otros campos diferentes al de la gravedad) en una dimensin menor (otras versiones ms sofisticadas son: "la `totalidad` est contenida en cada una de sus partes, por lo que cualquiera de sus partes puede ser usada para reconstruir a dicha `totalidad` ", "el estado de cualquier sistema fsico puede codificarse en variables que vivan en la frontera de dicho sistema ", "volumen = superficie", etc.). La dualidad AdS/CFT es un ejemplo de este pricipio. Hay varias cosas muy extraas y sorprendentes respecto a esta dualidad: la relacin entre una teora clsica y una cuntica, entre una teora con acoplamiento fuerte y otra con acoplamiento dbil, entre una teora que vive en un espacio de 4 dimensiones con otra que vive en 10 dimensiones. En otras palabras, Cmo es posible que una teora 4D pueda describir la misma fsica que una teora 10D ?

Los hologramas convencionales son hechos usando lasers, los cuales se hacen incidir sobre un objeto 3-dimensional rebotando luego hacia una pantalla 2-dimensional de tal forma que interfieren, superponindose con otros lasers para formar un patrn de interferencia en el cual queda "grabada" la informacion, sobre la superficie 2-dimensional, de lo que era el objeto 3dimensional. Luego, mediante otras tcnicas de lectura uno puede recuperar dicha informacion de la estructura bidimensional y reconstruir el objeto 3-dimensional.

Fig.24. D1-branas atrapadas/enrrolladas 6D en el espacio compacto X

Si dicha teora 4D describe realmente a otra en 10D, y si nuestro Universo, nuestra "realidad", puede representarse mediante dicha teora 4D, entonces, nuestro Universo (la "pantalla de dimension menor") podra ser una especie de Holograma csmico, el cual representa a una realidad mucho ms profunda. Todos los cmulos galcticos, galaxias, agujeros negros, quasares, calcetines, helados de chocolate, mascotas, pizzas, championes, etc. (o sea, todo lo que percibimos con nuestros sensores, la "realidad sensorial"), podran ser slo un reflejo/proyeccin de p-branas que se mueven, vibran, evolucionan e interactan unas con otras en un Universo 11D (o quizs de ms dimensiones), el cual (o parte de l) quizs tenga la forma de una dona (toroide) 7-dimensional, en la cual una p-brana que quede atrapada dentro del agujero (Fig.24) de la dona vibrara de tal manera que nosotros (en 4D) la percibiremos como un neutrino con masa, o si posee la geometra de una esfera hiperdimensional comprimida con muchos agujeros, las membranas pdimensionales que se muevan en ese espacio y que queden atrapadas en tales agujeros, podran comportarse de tal forma que la teora que describe su dinmica se va a parecer bajo ciertas condiciones a la teoria electromagntica de Maxwell. En otras palabras, las leyes de la fsica de nuestro Universo observable 4-dimensional no seran ms que la proyeccin en 4D de todas las leyes (o

informacin) conocidas y desconocidas 11D que gobierna el comportamiento de las membranas multidimensionales.

Javier de Lucas