Variedad compleja

En geometría diferencial, una variedad compleja M es una variedad topológica que tiene la estructura que nos permite definir la noción de función holomorfa .

Ello se podrá conseguir por dos caminos:
 Exigiendo que exista un atlas (o conjunto de cartas) que recubra la variedad de modo que las funciones de transición (o cambios de cartas) sean holomorfas.
 O, de un modo menos directo, exigiendo la existencia sobre la variedad diferenciable subyacente de una estructura casi compleja J (endomorfismo que verifica ) y una condición de integrabilidad.

Toda variedad compleja de dimensión compleja n será, en particular, también una variedad diferenciable de dimensión real 2n, orientable, y dotada de una orientación natural.

Puesto que las funciones holomorfas son mucho más rígidas que las funciones diferenciables, la teoría de variedades complejas presenta importantes diferencias con la de variedades diferenciables.

Ejemplos 
 Las superficies de Riemann son variedades complejas de dimensión compleja 1. El teorema de uniformización demuestra que toda superficie de Riemann simplemente conexa es biholomorfa al disco unidad del plano complejo, a todo el plano complejo o a la esfera de Riemann. Los tres ejemplos citados constituyen variedades complejas no equivalentes.

 La bola abierta de radio uno, , el polidisco (producto cartesiano de discos),  y el espacio complejo  son variedades complejas no biholomorfas.

 Los toros complejos. Dados , una base de  y , subgrupo del grupo de traslaciones, al cociente  se le denomina toro complejo. En contraste con los toros reales, dos toros complejos de la misma dimensión pueden no ser biholomorfos.

 Numerosos grupos de Lie son a la vez variedades complejas. En caso de que las operaciones de grupo (producto e inverso) sean holomorfos diremos que el grupo es un grupo de Lie complejo. Tal es el caso de GL(n,C) o de Sp(n,C).
 Espacios proyectivos complejos.
 Grassmanianas complejas.
 Variedades de banderas complejas.

El camino de las funciones de transición holomorfas 
En toda carta de una variedad diferenciable de dimensión real 2n, con coordenadas reales  podemos formar combinaciones de variables complejas . Pero con esto no bastará para disponer de una carta que forme parte de nuestro atlas complejo. Para retener esta carta en nuestro atlas será necesario verificar si el cambio con el resto de cartas  es holomorfo.

Recordando la teoría de variable compleja, esto puede verificar de varias formas:
 Usando las coordenadas reales, y descomponiendo  en su parte real e imaginaria. Basta con exigir que estas últimas verifiquen las ecuaciones de Cauchy-Riemann:

 O usando coordenadas complejas  y sus conjugadas , observando que la expresión de  verifique , siendo independiente, por tanto, de todas las .

El camino de la estructura casi compleja 

Una estructura casi compleja sobre una variedad diferenciable de dimensión real 2n define, punto a punto, un endomorfismo J²=-Id que imita el efecto de la multiplicación por la unidad imaginaria i, que no está definida a priori en una variedad real.

No toda variedad estructura casi compleja convierte a la variedad en variedad compleja. Para que esto suceda debe darse una condición de integrabilidad.

De hecho, la esfera S6 admite una estructura casi compleja que no es integrable. Se sabe que S2 y S6 son las únicas esferas que admiten una estructura casi compleja. Todavía se desconoce si S6 admite una estructura de variedad compleja (que en todo caso, no será compatible con la estructura casi compleja citada).

La condición de integrabilidad viene dada por la anulación del tensor de Nijenhuis N(X,Y), definido como:
.

Donde X e Y son campos diferenciables cualesquiera y [.,.] denota el corchete de Lie de los campos involucrados.

En el caso de dimensión real 2, toda estructura casi compleja es integrable. Además, se demuestra que una métrica de Riemann define en dimensión real 2 una estructura casi compleja de modo natural.

Compatibilidad de la estructura casi compleja con otras estructuras

Con una conexión 
Una conexión  se dice casi compleja si .

Con una métrica 
Una métrica se dice hermítica si verifica la siguiente condición de compatibilidad con la estructura casi compleja:
 
La compatibilidad con la métrica no implica que la conexión inducida por la métrica sea también compatible con la estructura casi compleja. Esta compatibilidad sólo se produce cuando se reúnen dos condiciones:
 que la estructura casi compleja sea integrable (y nos encontraremos en ese caso en una variedad compleja),
 y que la forma fundamental  definida por  sea cerrada.

A las variedades donde se dan estas dos condiciones se les denomina variedades de Kähler.

Notas

Bibliografía 
 Kobayashi,S. , Nomizu, K. Foundations of Differential Geometry''', Interscience Publishers (1969). ISBN 0-470-49648-7. Capítulo IX sobre variedades complejas.
 Wells, R.O., Differential Analysis on Complex Manifolds'', Springer-Verlag, New York (1980). ISBN 0-387-90419-0. Sección breve que introduce el material estándar básico.

Geometría diferencial
Variedades complejas