EJERCICIO 1 / 5Respuesta comprobable
Tu reto 1.
¿Cuál es la dimensión real de una variedad compleja de dimensión 3?
- PISTA 1
Una pista
Cada coordenada compleja tiene dos reales.
Un desarrollo posible.
Una coordenada compleja zⱼ=xⱼ+i yⱼ equivale a dos coordenadas reales independientes.
Con tres coordenadas complejas hay seis coordenadas reales locales.
La dimensión real es 2·3=6; la dimensión compleja permanece 3.
EJERCICIO 2 / 5Respuesta comprobable
Tu reto 2.
Si J²=−I, ¿cuál es el coeficiente de v en J²v?
- PISTA 1
Una pista
Aplica la identidad.
Un desarrollo posible.
La identidad de operadores J²=−I es válida sobre cada espacio tangente.
Al aplicarla a v se obtiene J²v=−Iv=−v.
El coeficiente de v es −1. Esta identidad es algebraica y por sí sola no demuestra integrabilidad en dimensión superior.
EJERCICIO 3 / 5Respuesta comprobable
Tu reto 3.
¿Cuánto vale d(dx∧dy) en R²?
- PISTA 1
Una pista
Las formas coordenadas son cerradas.
Un desarrollo posible.
La regla de Leibniz exterior da d(dx∧dy)=d(dx)∧dy−dx∧d(dy).
Como dx=d(x) y dy=d(y), d(dx)=d²x=0 y d(dy)=d²y=0.
Ambos términos se anulan y el resultado es la forma cero, indicada por 0.
EJERCICIO 4 / 5Razonamiento · revisión personal
Tu reto 4.
Explica por qué dω=0 automáticamente para una 2-forma en una superficie real.
- PISTA 1
Una pista
Su derivada sería una 3-forma.
Un desarrollo posible.
Una 2-forma suave ω tiene derivada exterior dω de grado tres.
En un espacio tangente real de dimensión dos, tres vectores son linealmente dependientes y toda forma alternada de grado tres se anula.
Por tanto dω=0 punto a punto.
Para concluir Kähler aún se necesita que ω sea la forma fundamental de una métrica hermítica sobre una superficie compleja.
EJERCICIO 5 / 5Razonamiento · revisión personal
Tu reto 5.
Distingue compleja, hermítica y Kähler.
- PISTA 1
Una pista
Cada noción añade estructura o una condición.
Un desarrollo posible.
La estructura compleja consiste en un atlas de cartas holomorfas; induce un J integrable con J²=−I.
Una métrica hermítica añade un producto positivo g compatible con ese J y determina ω(X,Y)=g(JX,Y).
Ser de Kähler exige además dω=0.
En dimensiones complejas mayores que uno esta condición es adicional y puede fallar, como en la métrica conforme de C² desarrollada en la teoría.