MATEMTICAS DE TEORA M

Alberto Mejas
1
Las cosas ms importantes en matemticas, son las que tienen un fundamento ms dbil
-- ABEL, en carta a su maestro Holmbo, en 1826.
Resumen:
A pesar de carecer actualmente de formulacin dinmica, es posible obtener
gran cantidad de informacin sobre Teora M, teora que se postula como unifica-
dora de todas las interacciones, a partir de sus sectores perturbacionales y de baja e-
nerga. En las regiones perturbacionales adecuadas, la Teora M adopta la aparien-
cia de la Teora de Cuerdas. Al considerar su lmite de baja energa, surge la super-
gravedad en once dimensiones. Aqu se indica cmo Teora M puede ser considera
da como una deformacin biparamtrica de Geometra Clsica, dnde un parmetro
controla la generalizacin de puntos a lazos y el otro parmetro controla la suma
sobre topologas de superficies RIEMANN. La formulacin matemtica final de Teo-
ra M tendr que considerar Teora de Fibrados Vectoriales, Teora K y Geometra
No Conmutativa.
Descriptores: Teora cordal, Geometra Riemann, Fibrados Vectoriales, Teora K,
Geometra no Conmutativa, Teora cuntica, Teora Conformal de campos.
Abstract.
Despite currently lacking dynamic formulation, it is possible to get lots of in-
formation about M theory, theory that is postulated like unifying all interactions,
from their perturbative and low energy sectors. In suitable perturbative regions, the
M theory takes the appearance of the string theory. When considering its limit of
low energy, arises the supergravity in eleven dimensions. Here It is indicated how
M-theory can be considered as a two-parameter deformation of Classical Geome-
try, where one parameter controls the generalization from points to loops, and the
other parameter controls the sum over topologies of RIEMANN surfaces. The final
mathematical formulation of M-theory will have to make contact with the theory of
vector bundles, K-theory and noncommutative geometry.
Keywords: String Theory, Riemann Geometry, Vector Bundles, K-Theory, Non-
Commutative Geometry, Quantum Theory, Conformal Fields Theory.
1
Albero R. Mejas E. es Licenciado en Matemtica, egresado de la Facultad de Ciencias de la
Universidad de los Andes (ULA) Mrida- Venezuela. Es profesor jubilado de la Universidad de
los Andes. alrame59@gmail.com
Alberto Mejas
2
1 Introduccin
Durante aos ha habido muchas interacciones fructferas entre Teora Cordal
[15] y varios campos de Matemtica. Materias como Geometra Algebraica y Teor-
a de Representacin han sido estimuladas por nuevos conceptos como Simetra Es-
pecular [3], Cohomologa Cuntica [13] y Teora Conformal de Campos [4]. Pero,
la mayora de estos desarrollos se han basado en la formulacin perturbacional de
Teora Cordal o en el formalismo LAGRANGEano con respecto a aplicaciones de su-
perficies RIEMANN, a variedades y cuantizacin de espacios de lazos. Este enfoque
perturbacional es, sin embargo, slo una descripcin aproximada aplicable para va-
lores pequeos del parmetro de cuantizacin.
Ha habido mucho progreso en la comprensin de una descripcin ms funda-
mental de la teora, con lo que se ha conocido como Teora M. Teora M podra ser,
hasta ahora, el objeto matemtico ms complejo y ms rico en las fsicas. Parece u-
nificar tres grandes ideas de las fsicas tericas del siglo veinte:
1. Relatividad General - la idea que la gravedad puede ser descrita por la geo-
metra RIEMANN de espaciotiempo.
2. Teora de Calibracin - la descripcin de fuerzas entre partculas elementales
usando conexiones sobre fibrados vectoriales. En matemticas esto involucra
Teora K y teoremas de ndices.
3. Las cuerdas o, ms generalmente, los objetos extensos, como generalizacin
natural de partculas puntuales. Matemticamente esto significa que se estu-
dian los espacios primariamente, a travs de sus (cuantizados) espacios de
lazos.
En la actualidad parece que estas tres ideas independientes estn estrecha-
mente relacionadas y, quizs, son esencialmente equivalentes. En alguna extensin,
las fsicas estn intentando construir un diccionario entre Geometra, Teora de Ca-
libracin y Cuerdas.
Alberto Mejas
3
Debe decirse que en todos los desarrollos ha habido dos ingredientes adicio-
nales, que son completamente cruciales. El primero es Mecnica Cuntica la
descripcin de realidad fsica en trminos de lgebras de Operadores que actan
sobre espacios HILBERT. En la mayora de los esfuerzos por entender Teora Cor-
dal, Mecnica Cuntica ha sido fundamental y hay poca indicacin de que esto va-
ya a cambiar.
El segundo ingrediente es Supersimetra unificacin de materia y fuerzas.
Matemticamente, Supersimetra se relaciona estrechamente a complejos DE RHAM
y Topologa Algebraica. De alguna manera, muchas de las milagrosas interconexio-
nes en Teora Cordal, slo funcionan si Supersimetra est presente. Puesto que
esencialmente, se trabaja con complejos, no debe sorprender a los matemticos que
haya varios ndices 'topolgicos' estables con respecto a perturbaciones, que pueden
computarse exactamente, dentro de lmites apropiados. Desde una perspectiva fsi-
ca, Supersimetra es quizs, la ms robusta prediccin de Teora Cordal.
1.1 Una deformacin biparamtrica de Geometra Clsica
Con propsitos didcticos, en esta exposicin se considerar a Teora M co-
mo una familia biparamtrica de deformaciones de Geometra RIEMANN "clsica".
Estos dos parmetros se introducirn heursticamente. (Despus se dar una defini-
cin ms precisa).
Primero, en Teora Cordal Perturbacional se estudian los lazos en una varie-
dad espaciotiempo. Se puede considerar que estos lazos tienen una longitud intrn-
seca
s
, la longitud cordal. Por lo menos, a un nivel heurstico est claro que en el
lmite
s
0, la cuerda degenera a un punto, un lazo constante. El parmetro s
Matemticas de Teora M
4
controla la "cordalidad" del modelo. Se ver cmo la cantidad
s
2
= ' juega el
papel de constante PLANCK en la superficie mundi de la cuerda (superficie que ba-
rre la cuerda en su movimiento). Es decir, controla la correccin cuntica de la teo-
ra de campos, bidimensional, sobre la superficie mundi de la cuerda. Un ejemplo
importante de una deformacin cordal es la cohomologa cuntica [13].
Segundo, las cuerdas pueden henderse y unirse, barriendo una superficie de
topologa general, en espaciotiempo. Segn las reglas generales de Mecnica Cun-
tica hay que incluir una suma sobre todas las topologas. Tal suma sobre las topolo-
gas puede regularse si se puede introducir un parmetro formal
+
e , el acopla-
miento cordal, tal que una superficie de gnero g, se pondera por un factor
2 2

g
.
Las topologas de gnero superior pueden interpretarse como procesos virtuales en
los que las cuerdas se escinden y se juntan un tpico fenmeno cuntico. Por tan-
to, el parmetro controla las correcciones cunticas. De hecho se puede igualar
2
con la constante PLANCK en espaciotiempo. Slo para valores pequeos de se pue-
de describir teora de cuerdas en trminos de espacios de lazos y sumas sobre su-
perficies.
De hecho, en el caso de partculas se sabe que para valores grandes de es me-
jor pensar en trminos de ondas o, ms precisamente, campos cunticos. As que, se
espera que, para valores grandes de y ' el marco correcto es Teora Cordal de
Campos [22]. Esto es en parte verdad, pero es en general difcil de analizar esta Te-
ora Cordal directamente. En particular, la ocurrencia de branas, objetos extendidos
de dimensin superior, que jugarn un papel importante en lo subsecuente, es a me-
nudo oscura. (Ver, sin embargo, [18]).
Alberto Mejas
5
Resumiendo, se pueden distinguir dos tipos de deformaciones: efectos corda-
les parametrizados por ' y efectos cunticos parametrizados por . Esta situacin
puede describirse con la siguiente tabla
Vale la pena mostrar algunos campos matemticos relacionados, en una tabla
similar
Ahora se repasarn brevemente, estas varias generalizaciones. Se puede
hallar ms material al respecto en [5].
' > 0
Teora Conformal de Campos
cuerdas
M-teora
campos cordales, branas
' = 0
Mecnica Cuntica
partculas
Teora Cuntica de Campos
campos
=0 >0
a' > 0
Cohomologa Cunt ica
(Gromov, Witte n)
Geome tr a No Conmutativ a
(Connes )
a' = 0
Invar iant es
combi natorias nodulares
(Vass iliev , Konts evich )
4-varie dades , 3-varie dade s,
nudos
(Donaldson , Witte n, Jones )
=0 >0
Matemticas de Teora M
6
2 Mecnica Cuntica y Partculas
En Mecnica Clsica se describen las partculas puntuales sobre una variedad
RIEMANN , que se considera como un espaciotiempo (EUCLIDEano). Hablando
pedantemente, se mira a a travs de aplicaciones
w: pt ,
de un punto abstracto a . La Mecnica Cuntica asocia al clsico espacio de con-
figuracin , el espacio HILBERT = L
2
() de las funciones de onda cuadrtica-
mente integrables. Se quiere pensar a este espacio HILBERT como asociado a un
punto
=
pt
.
Para una partcula puntual supersimtrica, se trabajar, ms bien, con el espacio de
formas diferenciales DE RHAM, = *().
Clsicamente, una partcula puede ir en un tiempo t, de un punto w a un pun-
to v a lo largo de alguna lnea preferida, tpicamente una geodsica. Mecnico-
cunticamente se tiene, en cambio, un operador de evolucin lineal

t
: ,
que describe la evolucin con respecto al tiempo. A travs de la integral FEYNMAN,
de lnea, este operador se asocia a aplicaciones del intervalo de longitud t, a .
Ms precisamente, el ncleo
t
(w, v) del operador
t
, viene dado por la integral
de lnea
( ) | |
( )
,
2
0
t
t
u =
}
}

t
t
w
d w
w v dw e ,
Alberto Mejas
7
sobre todas las lneas w(t ) con el w(0) = w y w(t ) = v .
t
es el ncleo de la ecua-
cin de calor
d
dw

t
=
t
,
0
= (w v).
Estas integrales de lneas tienen una propiedad de empalme natural: si se tie-
ne una evolucin primero sobre un tiempo t
1
, seguida de una evolucin sobre un
tiempo t
2
, esto debe ser equivalente a una evolucin sobre un tiempo t
1
+ t
2

t
1

t
2
=
t
1
+
t
2
. (1)
Esto permite escribir

t
= e
- t H
donde H es el HAMILTONiano. En el caso de una partcula en , el HAMILTONiano
viene dado, desde luego, simplemente por el LAPLACEano H = .
La propiedad de composicin (1) es una propiedad general de las Teoras
Cunticas de Campos. Conduce al enfoque functorial de SEGAL, de Teora Cuntica
de Campos, como un functor entre la categora de variedades (con bordismos) y la
de espacios vectoriales (con aplicaciones lineales) [16].
El HAMILTONiano puede escribirse como
H = = (dd* + d*d).
Aqu las diferenciales d, d* juegan el papel del sobrecargas. Los estados fundamen-
tales satisfacen H = 0 y, por tanto, son formas armnicas y en correspondencia 1-
a-1 con el grupo de cohomologa DE RHAM
Harm*() H*().
Matemticas de Teora M
8
Es preciso hacer dos comentarios adicionales. Primero, se puede considerar,
tambin, a una 1-variedad cerrada, a saber, un aro (copia de una circunferencia) S
1
de longitud t. Ya que un aro se obtiene identificando los dos extremos de un inter-
valo, se puede escribir

S
1
= Tr

t
.
Aqu la funcin particin
S
1
es un nmero asociado al aro S
1
que codifica al es-
pectro de . Tambin se puede calcular la funcin particin supersimtrica usando
el nmero FERMInico F (definido como el grado de la correspondiente forma dife-
rencial). Determina el nmero EULER
Tr

(1)
F

t
(1)
F
= ().
Segundo, para hacer el paso desde Mecnica Cuntica a la propagacin de
una partcula en la Teora Cuntica de Campos, hay que integrar con respecto a la
mtrica en la 1-variedad. En caso de un intervalo se obtiene el propagador usual, la
funcin GREEN del LAPLACEano,
0
1

A
=
A
}
t
dte .
3 Teora Conformal de Campos y Cuerdas
Ahora se introducir el primer parmetro de ' y se generalizar desde las
partculas puntuales y la Mecnica Cuntica a las cuerdas y la Teora Conformal de
Campos.
Alberto Mejas
9
3.1 Modelos sigma
Una cuerda se puede considerar como un lazo parametrizado. As que, en es-
te caso, se estudiar la variedad a travs de aplicaciones
w: S
1

es decir, a travs del espacio de lazos libres .

La cuantizacin asociar un espacio HILBERT a este espacio de lazos.
Aproximadamente, se podra pensar en este espacio HILBERT como L
2
(), pero
es bueno pensar en l como un cuantizacin de un espesor infinitesimal del lugar de
los lazos constantes, . Estos lazos constantes son los puntos fijos bajo la
obvia accin de S
1
sobre el espacio de lazos. El fibrado normal a en , des-
compone en espacios propios bajo esta accin de S
1
y esto da una descripcin
(vlida para un gran volumen de ) del espacio HILBERT
S
1
asociado al aro, co-
mo las secciones normalizables de un fibrado de un espacio FOCK infinito sobre .

S
1
= L
2
(,
+

)
donde el fibrado FOCK est definido como
=
>

n 1
S
q
n
(T ) = qT
Aqu se usa la variable formal q para indicar la -graduacin de y la notacin
estndar
S
q
V =
>

N 0
q
N
S
N
V,
para la funcin generadora de productos simtricos de un espacio vectorial V.
Cuando una cuerda se mueve en el tiempo, barre una superficie . Para una
cuerda libre, tiene la topologa de S
1
I, pero tambin se puede considerar, sin
costo extra, cuerdas interactivas que se unen y se hienden. En ese caso ser una
Matemticas de Teora M
10
superficie orientada, de topologa arbitraria. As, en el formalismo LAGRANGEano
uno se permite considerar aplicaciones
w:
Hay una accin natural para un tal modelo sigma si se escoge una estrella HODGE o
una estructura conformal sobre (conjuntamente, desde luego, con una mtrica
RIEMANN g sobre )
S(w) =

g
v
dw

dw
v
.
Los puntos crticos de S(w) son las aplicaciones armnicas.
En el formalismo LAGRANGEano de cuantizacin se considera la integral de
lnea formal sobre todas las aplicaciones w: ,

w:

e
S
/
'
.
Aqu la constante ' juega el papel de constante PLANCK en la superficie mundi, ,
de la cuerda. Puede absorberse en el volumen del designado, reescalando la
mtrica segn g ' g. Por consiguiente, el lmite semiclsico ' 0 es equi-
valente al lmite vol() .
3.2 Descripcin Functorial
En la descripcin functorial de Teora Conformal de Campos, las aplicacio-
nes

se abstraen de la definicin de modelo de sigma.

Ahora el punto de partida es una superficie RIEMANN, , arbitraria (cerrada,
orientada) con borde. Este borde consiste en una coleccin de aros orientados. Es-
tos aros se califican como entrantes o salientes dependiendo de cmo concuerda su
Alberto Mejas
11
orientacin con la de . A cada superficie con m bordes entrantes y n salientes se
asocia una aplicacin lineal

=
1
n
S

1
n
S

.
Estas aplicaciones no son independientes pero satisfacen los axiomas de empalme
que generalizan la ley de la composicin simple (1)

2
=

.
donde se obtiene empalmando
1
y
2
por sus bordes entrantes y salientes, res-
pectivamente.
De esta manera se obtiene lo que se conoce como un functor modular. Tiene
una rica estructura algebraica. Por ejemplo, la esfera con tres agujeros da lugar a un
producto
:
S
1

S
1

S
1
.
Usando el hecho que una esfera con cuatro agujeros puede obtenerse pegan-
do dos copias de la esfera de tres agujeros se demuestra que este producto es esen-
cialmente conmutativo y asociativo. Para ms detalles ver, por ejemplo, [12, 5].
=
Matemticas de Teora M
12
3.3 Campos B y gavillas
Hay una generalizacin franca de la accin de modelo de sigma (3.1) que in-
cluye una 2-forma B sobre . Este llamado campo B (o B-campo) agrega una fase
extra
exp i

w*B
en la integral de lnea. La dos-forma B debe considerarse como una dos-forma an-
loga a una conexin. Su curvatura H, que localmente viene dada por H = dB, real-
mente representa a una clase [H / 2 ] H
3
(, ). As, ms generalmente, si se
considera como el borde de una variedad y la aplicacin w se extiende sobre ,
entonces el factor fase se define como
exp i

w*H
Retrotrayendo B al espacio de lazos, se ve que acta como una conexin en un fi-
brado lineal sobre .
Un tal campo B puede ser considerado como una conexin en una gavilla [9]
sobre la variedad . Las gavillas son generalizaciones de fibrados lineales que so-
portan naturalmente, conexiones de p-formas. Objetos extensos como cuerdas y
branas estn estrechamente vinculados a estas teoras de p-formas.
3.4 Cuerdas y gravedad
La manera en que la relatividad general surge de la teora de cuerdas, es pro-
funda y aqu se usar algn tiempo para explicar esto. Ya se ha visto que, a nivel
Alberto Mejas
13
clsico, cada modelo sigma, bidimensional es conformalmente, invariante. Para
describir la accin clsica y la resultante ecuacin de movimiento (la condicin de
las aplicaciones armnicas) para aplicaciones slo se necesita la estrella
HODGE o una estructura conformal sobre . Esto ya no es verdad a nivel cuntico.
Heursticamente, se necesita una mtrica completa sobre para definir la medida
en la integral de lnea sobre todas las aplicaciones y esta dependencia
mtrica, de la integral de lnea destruye la invariancia conformal de la Teora Cun-
tica.
As que la funcin de particin realmente es una funcin de ambas mtricas g
sobre y sobre . Ahora se puede considerar un reescalamiento (constante)

de la mtrica de la superficie mundi y determinar la - dependencia de la funcin
de particin (g, ). En general se encuentra un resultado distinto de cero.
El sorprendente resultado de teora de renormalizacin estndar en Teora
Cuntica de Campos, es que un reescalamiento en puede absorberse en una rede-
finicin de la mtrica g en . Esto lleva a la famosa ecuacin de flujo del grupo de
renormalizacin [14]
[

c
c

|
v
g
v
c
c
]
Z = 0.
Aqu la funcin beta |
v

es un campo vectorial sobre el espacio MET() de
mtricas RIEMANN sobre .
Matemticas de Teora M
14
Este efecto puede observarse ms fcilmente, en una expansin semiclsica
del modelo sigma en '. Es decir, se considera aplicaciones que son aproximada-
mente constantes
w = w
0
+
con : Tw
0
. En esta aproximacin la accin puede escribirse (esque-
mticamente) como

g
v
(w
0
)d

d
v
+ R
v
(w
0
)

.
Aqu la curvatura RIEMANN R
v
se puede considerar como una pequea
perturbacin en el lmite de gran volumen. En la expansin de orden uno se en-
cuentra que
|
v
= 'R
v
+ ('
2
).
As, a este nivel de aproximaciones, la mtrica RICCI plana con
R
v
= 0,
corresponde a las TCC's Cunticas.
Una propiedad importante de la funcin | es que es un campo vectorial gra-
diente en MET()
| = S, S =

g R(g)
donde S es la accin EINSTEIN-HILBERT para la mtrica g en . Las Teoras Con-
formales de Campos vienen dadas por ceros de | y, as, corresponden a los puntos
Alberto Mejas
15
crticos de S. En este sentido una TCC Cuntica corresponde a una solucin semi-
clsica de gravedad.
3.5 Geometra 'encordada' y T-dualidad
Los modelos sigma bidimensionales dan una deformacin monoparmtrica
natural, de Geometra Clsica. El parmetro de deformacin es la constante
PLANCK '. En el lmite ' 0, se localizan los lazos constantes y se recupera la
Mecnica Cuntica o Teora de Partculas Puntuales. Los lazos no constantes con-
tribuyen para ' distinto de cero.
Esta estructura es de lo ms familiar ahora, en la forma de cohomologa
cuntica para variedades KAHLER. Bajo circunstancias convenientes la integral de
lnea localiza aplicaciones holomorfas ponderadas por un factor de fase q
d
, donde d
es el grado y q = e
t
con t la retrotraida de la forma KAHLER complejificada
'

+ iB.
As las aplicaciones de TCC,

, tienen una expansin tpica [3]

=
E
d
q
d
N

(d )
donde N

(d ) cuenta el nmero de aplicaciones holomorfas . Puesto que,

esencialmente, q ~ e
1/'
se ve que estas correcciones no son perturbacionales desde
un punto de vista desde la superficie mundi. All son invisibles en una expansin
Taylor con respecto ' .
De hecho se puede describir al espacio de mdulos de las TCC's, aproxi-
madamente como sigue. Tendr componentes a que pueden describirse con respec-
to a un espacio de configuracin . Para estos modelos, los mdulos parametrizan
Matemticas de Teora M
16
mtricas RICCI planas ms una opcin de B-campo. Estos componentes tienen un
borde 'al infinito' qu describe variedades de gran volumen. Se puede usar el par-
metro ' como coordenada transversa local en el cuello alrededor de este borde. Al
alejarse de este borde, hay hacer las correcciones cordales.
En el medio del espacio de mdulos pueden tener lugar fenmenos exticos.
Por ejemplo, el grupo de automorfismos de la TCC puede saltar, lo que da lugar a
singularidades de orbidad en los puntos de simetra mejorados.
El ms llamativo de los fenmenos es que el espacio de mdulos puede tener
otro borde que permite otra interpretacin semiclsica con respecto a una segunda
geometra clsica

. Estos puntos lucen como volmenes cunticos o pequeos
con respecto a las variables originales en ; pero, tambin pueden interpretarse
como grandes volmenes con respecto a un conjunto de variables duales sobre una
variedad dual o reflejo

. En este caso se habla de una T-dualidad o dualidad T.
De esta manera se relacionan dos variedades y

ya que ellas dan lugar a la
misma TCC.
El ejemplo ms simple de tal una T-dualidad ocurre para la compactificacin
toroidal. Si = es un toro, las TCC's sobre y su dual * son isomorfas. Esto
se explicar con ms detalle en 5.
4 Teora M y Branas
Se ha visto cmo la TCC da lugar a una estructura rica con respecto a la
geometra modular formulada en trminos de aplicaciones

. Para ir desde TCC a

Teora Cordal hay que dar dos pasos ms.
Alberto Mejas
17
4.1 Suma sobre topologas cordales
Primero, hay que generalizar a la situacin dnde las aplicaciones

no son
slo funciones sobre el espacio de mdulos,
g,n
, de superficies RIEMANN, sino
formas diferenciales ms generales. De hecho, es particularmente interesante el ca-
so dnde ellas son formas volumen, ya que permiten definir las llamadas amplitu-
des cordales como
A
g
=

.
sta tambin es la definicin general de invariantes GROMOV-WITTEN [12].
Aunque se ha suprimido la dependencia con respecto a los mdulos de TCC,
se debe comprender que las amplitudes A
g
(ahora asociadas a una superficie to-
polgica de gnero g) todava tiene (entre otras) dependencia de '.
Segundo, no basta considerar una amplitud cordal de una topologa dada. As
como en Teora de Campos se suma sobre todos los posibles grafos FEYNMAN, en
Teora Cordal hay que sumar sobre todas las topologas de la superficie mundi de la
cuerda. De hecho, hay que ensamblar al conjunto de estas amplitudes en una fun-
cin generadora.
A()
0 >
E
g

2g-2
A
g
.
Aqu se introduce la llamada constante de acoplamiento cordal . Desgraciadamen-
te esta funcin generadora puede ser, a lo sumo, una expansin en serie asinttica
de una funcin analtica A(). Un estimado grosero del volumen de
g
muestra
que, tpicamente,
Matemticas de Teora M
18
A
g
~ 2g!
De hecho, argumentos de Fsica General determinan que las amplitudes no pertur-
bativas A() tienen correcciones de la forma
A( ) =
0 >
E
g

2g-2
A
g
+ (e
-1/

).
Claramente, para acercarse la definicin apropiada de las amplitudes cordales, estas
correcciones no perturbativas tienen que ser comprendidas.
4.2 Teora M
Se considerarn dos nuevas ideas notables.
1. La Teora cordal no es una teora de cuerdas. No basta considerar los espacios
de lazos. Hay que incluir otros objetos extendidos, colectivamente conocidos como
branas. Se puede intentar pensar en estos objetos como asociados a aplicaciones
ms generales dnde es un espacio de dimensin superior. Pero, el pro-
blema es que no hay una cuantizacin consistente que parta de 'pequeas' branas a
lo largo de las lneas de Teora de Cuerdas, es decir, una expansin dnde se pueda
controlar el tamao de (a travs de ' ) y la topologa (a travs de ). Sin embar-
go, mediante el formalismo de D-branas [13] stos pueden analizarse exactamente
en la teora perturbacional de cuerdas.
2. Como se ha enfatizado, las amplitudes A dependen de muchos parmetros o
mdulos. Aparte del acoplamiento cordal , todos los otros mdulos tienen una in-
terpretacin geomtrica, con respecto a la mtrica y al B-campo en . El segundo
nuevo ingrediente es la visin de que se puede dar a la teora de cuerdas sobre ,
Alberto Mejas
19
con acoplamiento cordal , una realizacin totalmente geomtrica en trminos de
una nueva teora (llamada M-teora o Teora M) sobre la variedad S
1
dnde la
longitud del aro S
1
es [18].
5 Compactificaciones Toriles
Cmo se puede ver hay una jerarqua natural de geometras generalizadas,
ordinariamente asociadas a partculas, cuerdas y branas. Conforme a este punto de
vista una variedad 'clsica' puede ser considerada como un elemento de tres cate-
goras diferentes. Vista como un objeto en una de tales categoras, puede heredar
diferentes simetras.
Aunque todava no se puede dar una definicin completamente rigurosa de
qu es teora M, se sabe qu tipo de datos se quiere asociar a un espacio . Estos
datos contienen por lo menos lo siguiente
1. Un espacio modulal de estructuras geomtricas en . Esta puede ser una
mtrica RICCI plana, pero, tambin, B-campos o sus generalizaciones.
2. Un retculo de cargas, , que rotula los varios sectores de la teora.
3. Un grupo de simetras, discreto, G, (el grupo de dualidad) que acta sobre el
retculo , que, tpicamente, formar una representacin irreducible.
4. Un fibrado de un espacio HILBERT
=

()
sobre el espacio modulal , graduado por el retculo de cargas .
Esta jerarqua de estructuras puede ilustrarse muy bien con una clase muy
simple de variedades: los n-toros, escritos como cocientes
Matemticas de Teora M
20
=
n
/R
con R un retculo de rango n.
5.1 Partculas en un toro
Los estados de una partcula puntual, mecnico-cuntica, en , son rotulados
convenientemente por su momento
p R *.
Las funciones de onda e
ipw
forman una base de = L
2
() que diagonaliza
al HAMILTONiano H = - = p
2
. As que se puede escribir
=
* p R
(p)
donde las partes graduadas (p) son monodimensionales. Hay una accin natural
del grupo de simetra
G = SL(n, ) = Aut R
sobre el retculo = R y el espacio HILBERT . (Estas transformaciones, en gene-
ral, no dejarn invariante a la mtrica, sino que, ms bien, darn por retrotraccin
otra mtrica plana en .)
5.2 Cuerdas sobre un toro
En el caso de una cuerda que se mueve sobre el toro , los estados tambin
se rotulan por su nmero de devanado
r R.
Alberto Mejas
21
El nmero de devanado simplemente distingue los varios componentes co-
nexos del espacio de lazos , ya que

0
=
1
R.
Por tanto, se ve una ocurrencia natural del llamado retculo NARAIN

n,n
= R R *.
ste es un retculo autodual, par, de signatura (n, n) con producto interno
p = (r, k), q
2
= 2r k.
Resulta que las simetras del retculo
n,n
se elevan a simetras de toda la te-
ora conformal de campos. Los grupos de simetra
SO(n,n, ) = Aut
n,n
se llaman las -dualidades. Un ejemplo particular es el intercambio *. Des-
de esta perspectiva, puede considerarse que la cuerda se mueve sobre el espacio
*. Si se considera estados quirales o BPS en la supercuerda, entonces el es-
pacio HILBERT graduado (q) viene dado por
(p) = (
1
2
p
2
),
con respecto al espacio FOCK

q
=

=

n 1
S
q
n
(
8
)
q
n
(
8
) =
>

n 1
q
N
(N).
Matemticas de Teora M
22
Ntese que el diagrama DYNKIN de la correspondiente lgebra LIE
D
n
so(n, n) se obtiene a partir de A
n 1
sl (n), agregando una raz extra. Las re-
flexiones en esta raz representan la -dualidad que aplica a *.
5.3 Branas en un toro
Al considerar de lleno la M-teora, el retculo de cargas se vuelve ms com-
plicado. Para valores pequeos de n (n 4), se puede escribir como

n,n
H
par / impar
().
Aqu se aprecia que el retculo de branas (que son pares o impares depen-
diendo del tipo de teora de cuerdas que se considere)
H
par / impar
()

par / impar
L
*
,
transforma como semiespinores las representaciones bajo el grupo de -dualidad
SO(n,n, ). El grupo de dualidad completo, resulta ser el grupo excepcional sobre
los enteros
E
n + 1
().
As se ve que la jerarqua se refleja en los grupos de simetra
SL(n, ) SO(n, nZ) E
n + 1
()
de rangos n 1, n y n +1 respectivamente. Ya es muy profunda (y generalmente no
contestada) la pregunta de cul es la estructura matemtica 'correcta' asociada a un
n-toro, que da lugar al grupo E
n + 1
().
Alberto Mejas
23
En este caso, tambin se tiene evidencia indirecta de cmo debe comportarse
el espacio HILBERT graduado . Si se considera los llamados estados BPS las par-
tes graduadas () deben ser finito-dimensionales y para grande se puede esti-
mar su crecimiento
dim H() ~ exp S()
donde S() es la entropa. Argumentos de fsica de agujeros negros establecen que
S() =
( )
Q ,
con Q() un invariante algebraico del grupo de dualidad G. Por ejemplo, para n = 5
con G = E
6
, el retculo tiene rango 26 y Q es la famosa invariante cbica. Simi-
larmente, para n = 6 y G = E
7
, se obtiene la invariante curtica de la representacin
56-dimensional.
6 D-Branas
El ingrediente crucial para extender la Teora de Cuerdas ms all de la Teo-
ra de Perturbacin, es D-branas [13]. Desde un punto de vista matemtico, D-
branas puede ser considerado como una versin relativa de la Teora GROMOV-
WITTEN. El punto de partida es ahora un par de variedades relativas (, ) con
una variedad d-dimensional y ., cerrada. Las superficies mundi de la cuerda
se definen como superficies RIEMANN con borde y la clase de aplicaciones w:
, debe satisfacer
Matemticas de Teora M
24
w() .
Es decir, el borde de las superficies Riemann debe aplicarse al subespacio .
Ntese que en una descripcin functorial, ahora, hay dos tipos de bordes de
superficie. Primero, hay los bordes tipo tiempo recin descritos. Aqu se escoge
una condicin de borde definida, a saber, que la cuerda quede en la D-brana .
Segundo, hay bordes tipo espacio que se han considerado antes. stos son un in-
grediente esencial en cualquier descripcin HAMILTONiana. Sobre estos bordes se
escogen condiciones de valores iniciales que se propagan con el tiempo. En la teor-
a de cuerdas cerradas estos bordes son cerrados y por consiguiente son sumas de
aros. Con D-branas hay un segundo tipo de borde: la cuerda abierta con el intervalo
I = [0,1].
La ocurrencia de dos tipos de bordes tipo espacio, puede comprenderse por-
que hay varias maneras de escoger una coordenada 'tiempo' en una superficie RIE-
MANN con borde. Localmente una tal superficie siempre luce como S
1
I.
Esta ambigedad de cmo tajar a la superficie, es un nuevo ingrediente poderoso en
la teora de cuerdas abiertas.
A la TCC descrita por el par (, ), se asociar una categora modulal ex-
tendida. Tiene dos tipos de objetos o 1-variedades: el aro S
1
(la cuerda cerrada) y el
intervalo I = [0,1] (la cuerda abierta). Los morfismos entre dos 1-variedades son de
nuevo bordismos o superficies RIEMANN , ahora con un posible borde. Ahora se
Alberto Mejas
25
tienen dos tipos de espacios HILBERT: cuerdas cerradas
S
1
y las cuerdas abiertas

I
.
Semiclsicamente, el espacio HILBERT cuerda abierta viene dado por

I
= L
2
(, )
con fibrado de espacio FOCK
=
>

n 1
S
q
n
(T ).
Ntese que se tiene una sola copia del espacio FOCK , las condiciones de contorno
al final del intervalo, relacionan las levomotrices y las dextromotrices. Adems, los
campos son secciones del fibrado de espacio FOCK sobre la D-brana , no sobre
toda la variedad espaciotiempo . En este sentido los estados de cuerdas abiertas,
se localizan en la D-brana.
Se ha visto que un nuevo ingrediente importante en el paso de la geometra
clsica a la geometra 'encordada', es el campo de 2-forma B, tcnicamente una co-
nexin sobre una gavilla. Se acopla a la hoja mundi de la cuerda va

B
El factor de fase
exp i

B
Matemticas de Teora M
26
que aparece en la integral de lnea, debe considerarse como la generalizacin de la
holonoma de una conexin en un fibrado lineal asociado a un lazo. Satisface un
invariancia de calibracin
B B + d .
Si ahora, se trabaja en la categora de superficies RIEMANN con bordes, se ve que
tales aplicaciones no son invariantes por calibracin, sino que escogen un factor de
fase
exp i

.
Sin embargo, en las superficies con borde, se puede ponderar la integral de lnea
con un factor de fase, extra. Sea A una conexin (en un fibrado lineal trivial) en .
Entonces se puede agregar el factor de fase de holonoma
exp i

.
Ahora se puede ver que el sistema tiene un invariancia de calibracin generalizada
dnde aparte de la transformacin de B, se tiene
A A .
Esto lleva a una nocin generalizada de curvatura invariante por calibracin
F = dA + B.
Esta ecuacin implica inmediatamente que, restringida a la D-brana , la curvatu-
ra H = dB debe desaparecer.
Alberto Mejas
27
6.1 Branas y matrices
Uno de los hechos ms notables es que las D-branas puede estar dotadas de
una multiplicidad N que, naturalmente, lleva a una estructura no abeliana [19].
Dada una categora modular como se ha descrito anteriormente, hay una ma-
nera simple, en que sta puede ser tensorada sobre las matrices HERMITEanas NN.
Simplemente se reemplaza al espacio HILBERT
I
asociado al intervalo I por

I
Mat
N

N
con la condicin de HERMITEcidad
( M
IJ
)* = * M
IJ
.
Las aplicaciones

se generalizan como sigue. Para simplificar, consi-

drese, primero, a una superficie con un solo borde C. Supngase que C contiene
n espacios HILBERT de cuerdas abiertas 'entrantes', con los estados
1
M
1
,...,

n
M
n
. Estos estados ahora tienen valores matriciales. As, el nuevo morfismo
est definido como

(
1
M
1
,...,
n
M
n
) =

(
1
,...,
n
)Tr(M
1
,..., M
n
).
En caso de ms de un componente de borde, simplemente se tiene una traza adicio-
nal por cada componente.
En particular se puede considerar el diagrama de disco con tres inserciones
de cuerdas abiertas. Considerando esto como una aplicacin
Matemticas de Teora M
28

:
I

I

I
,
se ve que este vrtice de interaccin de cuerdas abiertas viene dado ahora, por

(
1
M
1
,
2
M
2
) = (
1

2
)(M
1
M
2
).
As se ha tensorado producto cordal asociado, con la multiplicacin matricial.
Si se considera el lmite geomtrico dnde la TCC se piensa como el modelo
sigma semiclsico sobre , los campos cordales que corresponden a los estados en
el espacio HILBERT de cuerda abierta
I
se volvern campos con valores matricia-
les sobre la D-brana , esto es, pueden ser considerados como secciones de End(E)
con E un fibrado vectorial (trivial) sobre .
Esta estructura matricial aparece naturalmente si se consideran N D-branas
diferentes
1
,...,
n
. En tal caso, se tiene una matriz de cuerdas abiertas que se esti-
ran desde la brana
I
a la
J
. En este caso no hay ninguna descripcin de fibrado
vectorial obvia. Pero, si todas los D-branas coinciden,
1
= =
N
, aparece una
simetra U(N).
6.2 D-branas y K-teora
La relacin con fibrados vectoriales ha demostrado ser sumamente poderosa.
El prximo paso es considerar D-branas con fibrados vectoriales no triviales. Re-
sulta que estas configuraciones pueden ser consideradas como compuestas de bra-
Alberto Mejas
29
nas de varias dimensiones [7]. Hay una frmula precisa que relaciona la topologa
fibrado vectorial E con la carga de la brana (E) que puede ser considerada como
una clase en H*(). (Por conveniencia se considerarn primero las branas mxi-
males = .) Se escribe [10]
(E) = ch(E)

A
1/ 2
H*(). (2)
Aqu ch(E) es el carcter CHERN (generalizado) ch(E) = Tr exp(F/ 2i) y

A es el
gnero que aparece en el teorema del ndice de ATIYAH-SINGER. Ntese que la car-
ga de la D-brana puede ser fraccionaria.
Branas de menor dimensin, pueden describirse empezando con dos branas
de la mayor dimensin, con fibrados vectoriales E
1
y E
2
, de cargas opuestas. Fsi-
camente dos de tales branas se aniquilarn dejando atrs una coleccin de branas de
menor dimensin. Matemticamente el objeto resultante debe ser considerado co-
mo un fibrado virtual E
1
E
2
que representa a una clase en el grupo de K-teora
K
0
() de [20]. De hecho la aplicacin en (2) es una correspondencia muy co-
nocida
: K
0
() H
even
()
que es un isomorfismo cuando es tensorado con los reales. En este sentido hay una
aplicacin 1-a-1entre las D-branas y las clases de K-teora [20]. Esta relacin con la
K-teora ha demostrado ser muy til.
Matemticas de Teora M
30
6.3 Ejemplo: el teorema del ndice
Un buen ejemplo del poder de interpretacin entre cuerdas abiertas y cerra-
das, es la emergencia natural del teorema del ndice. Considrese el cilindro =
S
1
I entre dos D-branas descritas por fibrados vectoriales (virtuales) E
1
y E
2
. Esto
se puede ver como diagrama de cuerda cerrada con estado entrante E
1
y estado
saliente E
2

=E
1
E
2
.
Interpretando el estado del borde de la D-brana en trminos de estados fun-
damentales de cuerdas cerradas (dados por las clases de cohomologa) se tiene
E = (E ) H*().
As que

ch(E
1
) ch(E
-
2
)

A .
Por otro lado tambin se puede ver al cilindro como una traza sobre los esta-
dos de cuerdas abiertas, con condiciones de contorno rotuladas por E
1
y E
2
. Los es-
tados fundamentales en
I
son secciones del fibrado espinor DIRAC torcidas por
E
1
E
-
2
. Esto da

= Tr
I
(-1)
F
= ndice(D
E
1

E
-
2
).
As que el teorema del ndice sigue elementalmente.
7 U-dualidad
Se ha indicado que en la teora M no se busca incluir slo cuerdas, sin tam-
bin, D-branas (e incluso otros objetos extensos que no se discutirn aqu, como NS
Alberto Mejas
31
5-branas y monopolos KALUZA-KLEIN). As, en el lmite de pequeos acoplamien-
tos cordales , todo el espacio HILBERT cordal (con segunda cuantizacin) lucira
como
= S*(
cue rda
) S*(
brana
).
Claro que nuestra discusin hasta ahora ha sido muy sesgada. En la teora total
habr simetras, llamadas U-dualidades o dualidades U, que intercambiarn cuerdas
y branas.
En la actualidad hay muy pocas formulaciones de M-teora que presenten un
tal acercamiento de manifiestos invariantes por dualidad. Slo para la teora matri-
cial [1] de compactificaciones muy especiales (como las de toros de baja dimen-
sin) o la famosa correspondencia AdS-TCC [11], se da una definicin precisa, no
perturbacional.
Aqu se dar un ejemplo bastante simple de una tal simetra que aparece al
compactificar la supercuerda (Tipo IIA) en un 4-toro
4
=
4
/ L. En este caso, el
retculo de cargas tiene rango 16 y puede escribirse como

4,4
K
0
(
4
).
Forma una representacin espinorial irreducible bajo el grupo de U-dualidad
G = SO(5,5, ).
Ntese que el subgrupo de T-dualidad SO (4,4, ) tiene tres representaciones in-
equivalentes 8-dimensionales (relacionadas por trialidad). Las cuerdas con retculo
NARAIN
4,4
se transforman en la representacin vectorial, mientras que las branas
Matemticas de Teora M
32
par-dimensionales, rotuladas por el K-grupo K
0
(
4
)
par
L
*
, se transforman en
la representacin espinorial. (Las D-branas impar-dimensionales, que son rotuladas
por K
1
() y que aparecen en la teora Tipo IIB, se transforman en la representacin
espinorial conjugada) .
Para calcular el espectro de supercuerdas hay que introducir el correspon-
diente espacio FOCK. Viene dado por

q
=

=

n 1
S
q
n
(
8
)
q
n
(
8
) =
>

n 1
q
N
(N).
El espacio HILBERT de cuerdas BPS, con momenta adquiridos p
4,4
, vie-
ne dado, entonces, por

cuerda
(p) = (
1
2
p
2
).
Para D-branas se toma un enfoque completamente diferente. Puesto que el
sistema slo est aclarado para acoplamientos cordales pequeos, hay que usar
mtodos semiclsicos. Considrese una D-brana que corresponde a una clase de K-
teora, E, con vector de carga = ch(E) H*(). A tal fibrado vectorial, se puede
asociar un espacio modulal

de conexiones auto-duales. (Si se trabajara en el

contexto holomrfal, se podra considerar igualmente bien los espacios modulales
de haces holomorfos de esta clase topolgica). Ahora, afortunadamente, se sabe
mucho sobre estos espacios modulales. Ellos son hiperKAHLER y (para primitivo)
Alberto Mejas
33
tersos. De hecho, ellos son, topolgicamente, esquemas HILBERT [11] qu son de-
formaciones de productos simtricos

Hilb

2
/
2
(
4
) ~ S

2
/
2
(
4
).
Determinando los estados BPS mediante cuantizacin geomtrica se encuentra que

brana
() = H* (

).
Se han determinado las cohomologas de estos espacios de mdulos [8] con el re-
sultado de que
>

n 1
q
N
H*( HILB
N
(
4
)) =
q
.
Esto da el resultado final

brana
() = (
2
/ 2)
cuerda
(p)
donde y p estn relacionados por una transformacin de U-dualidad SO(5,5, ).
8 Geometra No Conmutativa
Desde el punto de vista presente, las D-branas y las cuerdas abiertas corres-
pondientes, parecen indicar que en una ms acabada formulacin de M-teora, la
Geometra No Conmutativa ha jugado un papel fundamental [2], [17]. Una de las
indicaciones es la ocurrencia de campos B en la teora de cuerdas. Aproximada-
mente en la presencia de un tal B-campo (constante) las coordenadas de espacio-
tiempo ya no conmutan, sino que, ms bien, satisfacen
[w

,w

] = B

.
Matemticas de Teora M
34
Uno de los resultados ms llamativos es que la teora de calibracin de las D-
branas, en la presencia de un tal B-campo, de hecho, es invariante bajo el grupo de
T-dualidad mediante el concepto de equivalencia MORITA. Exploraciones adiciona-
les de los eslabones entre la Teora de cuerdas y Geometra no Conmutativa, bien
pueden dar la clave para una ltima comprensin de M-teora.
Referencias
[1]BANKS, T. FISCHLER, W. SHENKER, S. H. and SUSSKIND, L. M Theory as a
matrix model: a conjecture. Phys. Rev. D55 (1997) 5112-5128. hep-th/9610043.
[2]CONNES, A. DOUGLAS, M. and SCHWARZ, A. Noncommutative geometry and
matrix theory: compactifications on tori. JHEP 9802 (1998) 003. hep-
th/9711162.
[3]COX, D. A. and KATZ, S. Mirror Symmetry and Algebraic Geometry
(Mathematical Surveys and Monographs, No. 68.). AMS. 1999.
[4]DI FRANCESCO, Ph. MATHIEU, P. and SENECHAL, D. Conformal Field Theory
(Graduate Texts in Contemporary Physics). Springer. 1996.
[5]DIJKGRAAF, R. Les Houches Lectures on Fields, Strings and Duality, in
Quantum, Symmetries. Les Houches Session LXIV. Eds. A. Connes, K.
Gawedzki, and J. ZinnJustin. North-Holland. 1998. hep-th/9703136.
[6]Dijkgraaf, R. The Mathematics of M-Theory. Proceedings of the 3rd European
Congress of Mathematics. Barcelona. 2000. Progress in Mathematics. Birkhuser
Verlag.
[7] DOUGLAS, M. Branes within branes. hep-th/9512077.
[8]GOTTSCHE, L. The Betti numbers of the Hilbert scheme of points on a smooth
projective surface. Math. Ann. 286 (1990) 193-207; Hilbert Schemes of Zero-
dimensional Sub- schemes of Smooth Varieties. Lecture Notes in
Mathematics 1572. Springer-Verlag. 1994.
[9]GREEN, M. HARVEY, J. and MOORE, G. I-brane inflow and anomalous couplings
on D-branes. Class. Quant. Grav. 14 (1997) 47-52. hep-th/9605033.
Alberto Mejas
35
[10] HITCHIN, N. Lectures on special Lagrangian submanifolds. math/9907034.
[11] HUYBRECHTS, D. Compact hyperkahler manifolds: basic results. alg-
geom/9705025.
[12] MALDACENA,J. The large N limit of superconformal field theories and
supergravity. Adv. Theor. Math. Phys. 2 (1998) 231-252. hep-th/9711200.
[13] MANIN, YU. I. Frobenius Manifolds, Quantum Cohomology, and Moduli
Spaces. AMS. 1999.
[14] POLCHINSKI, J. Dirichlet-branes and Ramond-Ramond charges. Phys. Rev.
Lett. 75 (1995) 4724-4727. hep-th/9510017.
[15] POLCHINSKI, J. String Theory (Cambridge Monographs on Mathematical
Physics), Cambridge University Press, 1998.
[16] SEGAL, G. The definition of conformal field theory. Preprint. Two
dimensional conformal field theories and modular functors, in IXth
International Conference on Mathematical Physics. B. Simon, A. Truman
and I. M. Davies Eds. (Adam Hilger, Bristol, 1989).
[17] SEIBERG, N. and WITTEN, E. String theory and noncommutative geometry.
JHEP 9909 (1999) 032. hep-th/9908142.
[18] SEN, A. and ZWIEBACH, B. Tachyon condensation in string field theory.
JHEP 0003 (2000) 002, hep-th/9912249.
[19] WITTEN, E. Bound states of strings and p-branes. Nucl. Phys. B460 (1996)
335. hep- th/9510135.
[20] WITTEN, E. D-branes and K-theory. JHEP 9812 (1998) 019, hep-th/9810188.
[21] WITTEN, E. String theory in various dimensions. Nucl. Phys. B 443 (1995)
85. hep- th/9503124.
[22] ZWIEBACH, B. Closed string field theory: quantum action and the B-V master
equation. Nucl. Phys. B390 (1993) 33152, hep-th/9206084.