Variedad compleja

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 f:M \to \mathbb{C}.[1]

Ello se podrá conseguir por dos caminos:

  1. 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.
  2. O, de un modo menos directo, exigiendo la existencia sobre la variedad diferenciable subyacente de una estructura casi compleja J (endomorfismo que verifica J2 = − Id) 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,[2] y dotada de una orientación natural.[3]

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.

Contenido

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, \{ z \in \mathbb{C}^n \mid \lVert z \rVert < 1\}, el polidisco (producto cartesiano de discos), \{ z=(z_1, z_2, \dots, z_n) \in {\mathbb{C}}^n \mid \vert z_i \vert < 1, \mbox{ for all } i = 1,\dots,n \} y el espacio complejo \mathbb{C}^n son variedades complejas no biholomorfas.
  • Los toros complejos. Dados \{v_1,\ldots v_n \}, una base de \mathbb{C}^n y D=\{\sum m_iv_i:m_i\in \mathbb{Z}\}, subgrupo del grupo de traslaciones, al cociente \mathbb{C}^n/ D 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 \{x^1,\ldots , x^n, y^1,\ldots , y^n \} podemos formar combinaciones de variables complejas \{z^1=x^1+i y^1,\ldots , z^n=x^n+i y^n \}. 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 \Phi_j \circ \Phi_i^{-1} es holomorfo.

Recordando la teoría de variable compleja, esto puede verificar de varias formas:

  • Usando las coordenadas reales, y descomponiendo \Phi_j \circ \Phi_i^{-1}=u+i v en su parte real e imaginaria. Basta con exigir que estas últimas verifiquen las ecuaciones de Cauchy-Riemann:

\frac{\partial u}{\partial {x^k}}=\frac {\partial v}{\partial {y^k}} \qquad \frac {\partial v} {\partial {y^k}}=-\frac {\partial v} {\partial {x^k}}

  • O usando coordenadas complejas z^1,\ldots , z^n y sus conjugadas \bar z^1,\ldots , \bar z^n, observando que la expresión de (\Phi_j \circ \Phi_i^{-1})(z^1,\ldots , z^n,\bar z^1,\ldots , \bar z^n) verifique {\partial(\Phi_j \circ \Phi_i^{-1}) \over \partial{\bar z^k}} = 0, siendo independiente, por tanto, de todas las \bar z^k.

El camino de la estructura casi compleja

Artículo principal: Variedad 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:[4]

NJ(X,Y) = [X,Y] + J[JX,Y] + J[X,JY] − [JX,JY].

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 \nabla se dice casi compleja si \nabla J = 0.

Con una métrica

Una métrica se dice hermítica si verifica la siguiente condición de compatibilidad con la estructura casi compleja:

g(JX,JY) = g(X,Y)

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 ϕ(X,Y) = g(X,JY) sea cerrada.

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

Notas

  1. ↑ Del mismo modo que una variedad diferenciable tiene la estructura necesaria para definir el concepto de función diferenciable.
  2. ↑ El recíproco no es cierto pues S4 no admite ninguna estructura compleja a pesar de ser de dimensión par y orientable.
  3. ↑ Hereda la orientación natural de \mathbb{C}^n, ya que los biholomorfismos preservan siempre la orientación.
  4. ↑ Destaquemos que distintos autores usan diferentes múltiplos del tensor de Nijenhuis

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.

Wikimedia foundation. 2010.

Игры ⚽ Нужна курсовая?

Mira otros diccionarios:

  • Variedad casi compleja — En matemáticas, una variedad casi compleja es una variedad diferenciable M equipada en cada espacio tangente TpM con una estructura compleja Jp que varía de forma diferenciable de punto a punto. Esta estructura compleja convierte a cada espacio… …   Wikipedia Español

  • Variedad de Kähler — En matemáticas, una variedad de Kähler es una variedad con estructura unitaria a (condición de integración. En particular, es una variedad compleja, una variedad de Riemann, y una variedad simpléctica, con estas tres estructuras compatibles entre …   Wikipedia Español

  • Variedad (matemática) — En una esfera, la suma de los ángulos de un triángulo no es igual a 180°, pues una esfera no es un espacio euclídeo. Sin embargo, localmente, las leyes de la geometría euclídea son buenas aproximaciones. Este ejemplo ilustra cómo la esfera puede… …   Wikipedia Español

  • Variedad de Kähler — En matemáticas, una variedad de Kähler es una variedad compleja que también lleva una métrica de Riemann y una forma simpléctica en la variedad real subyacente de modo tal que las tres estructuras (compleja, de Riemann y simpléctica) sean todas… …   Enciclopedia Universal

  • Variedad de Calabi-Yau — Sección bidimensional proyectada en 3D de una variedad de Calabi Yau de dimensión 6 embebida en CP4 En matemáticas, una variedad de Calabi Yau es una variedad de Kähler compacta con una primera clase de Chern nula. El matemático Eugenio Calabi… …   Wikipedia Español

  • Conjetura de Hodge — La conjetura de Hodge es un importante problema de geometría algebraica todavía no resuelto en el que se relacionan la topología algebraica de una variedad algebraica compleja no singular y las subvariedades de esa variedad. En concreto, la… …   Wikipedia Español

  • Topología simpléctica — La topología simpléctica es aquella parte de la matemática referida al estudio de las variedades simplécticas. Estas variedades se presentan naturalmente en la formulación hamiltoniana de la mecánica clásica, que proporciona una de las… …   Wikipedia Español

  • Superficie de Riemann — que aparece al extender el dominio de la función El desarrollo de la idea de superficie de Riemann comenzó a mediados del siglo XIX de la mano del matemático Bernhard Riemann, con los intentos de extender el dominio de definición de funciones… …   Wikipedia Español

  • Logaritmo complejo — Una única rama del logaritmo complejo. El tono del color se utiliza para mostrar el argumento (ángulo de coordenadas polares) del logaritmo complejo. La intensidad del color se utiliza para mostrar el módulo del logaritmo complejo. La página con… …   Wikipedia Español

  • Espacio proyectivo complejo — Saltar a navegación, búsqueda En matemáticas, llamamos espacio proyectivo complejo al espacio de las líneas complejas de Cn+1 que pasan por el origen. Normalmente se nota por P(Cn+1), Pn(C) o CPn Constituye una variedad compleja compacta de… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”