Variedades complejas y casi complejas, métricas Hermíticas y métricas Kählerianas.

Muchos de los aspectos de las variedades reales son traducibles a variedades complejas cambiando el concepto de diferenciabilidad por el de holomorfía: atlas con aplicaciones de transición holomorfas, aplicación holomorfa entre variedades complejas, subvariedad compleja de una variedad compleja, etc.

Sin embargo, muchas de las propiedades de la variedad compleja dependen unicamente de la existencia de una casi estructura compleja local $latex J_p$ que nos permita complexificar el plano tangente:

$latex J_p: T_p M longrightarrow T_p M$.

Para este fin, es suficiente, dado un espacio vectorial $latex V$, definir una estructura compleja mediante el endomorfismo $latex J$ en $latex V$ tal que $latex J^2 = -1$, de manera que, la multiplicación escalar por un número complejo queda:

$latex (a+bi) X = aX + bJX$ para $latex X in V$ y $latex a,b in mathbb{R}$.

Una variedad casi compleja no es mas que una variedad real de dimensión par donde tenemos definido un tensor $latex J$ de tipo $latex (1,1)$ (recordar que $latex f: V longrightarrow V$ puede reescribirse como un tensor $latex J:V^* times V longrightarrow mathbb{K}$).

Reciprocamente, dado un espacio vectorial complejo $latex V$ de dimensión compleja $latex n$, si consideramos el endomorfismo lineal:

$latex JX = iX$ para $latex X in V$,

entonces este es una estructura compleja si consideramos $latex V$ como un espacio real $latex 2n$ dimensional.

Identificaremos las tuplas $latex (z^1, ldots, z^n)$ de $latex mathbb{C}^n$ con las $latex 2n$-tuplas $latex (x^1, ldots, x^n, y^1, ldots, y^n)$ de $latex mathbb{R}^{2n}$, donde la estructura compleja de éste último inducida por el primero será la estructura compleja canónica que mapea $latex (x^1, ldots, x^n, y^1, ldots, y^n)$ en $latex (y^1, ldots, y^n, -x^1, ldots, -x^n)$.

Para que una variedad casi compleja sea una variedad compleja necesitamos una condición adicional: que la casi estructura diferenciable sea integrable, es decir, que tenga torsión nula.

Podemos definir una métrica $latex h$ sobre una variedad casi compleja que se llamará métrica Hermítica si es compatible con la  estructura casi compleja:

$latex h(JX,JY) = h(X,Y)$ para cualesquiera $latex X,Y$.

Las métricas Hermíticas sobre variedades complejas (con atlas sobre $latex mathbb{C}^n$) dan lugar a métricas de Riemann sobre la variedad real subyacente (con atlas sobre $latex mathbb{R}^{2n}$). Para que la conexión inducida por esta métrica también sea compatible con la estructura casi compleja, necesitamos que la métrica sea una métrica Kähleriana, es decir, que la $latex 2$-forma fundamental $latex Phi$ asociada a la métrica Hermítica:

$latex Phi(X,Y) = h(X,JY)$ para todos los campos vectoriales $latex X$ e $latex Y$,

sea cerrada ($latex dPhi = 0$).

Dejar un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *


¡IMPORTANTE! Responde a la pregunta: ¿Cuál es el valor de 13 8 ?