La normalización fijada define el número por (1/(2π))∫ω.
Al sustituir ∫ω=−4π se obtiene −4π/(2π)=−4/2.
El valor es −2; el signo depende de la forma y de la orientación elegida.
EJERCICIO 2 / 5Respuesta comprobable
Tu reto 2.
Si un fibrado tiene curvatura nula, ¿cuál es su número de Chern real sobre una superficie?
PISTA 1
Una pista
Integra la forma cero.
Un desarrollo posible.
Curvatura nula significa F=0, por lo que ω=iF también es cero.
Su integral sobre la superficie es cero y dividir entre 2π deja 0.
El número real de Chern es 0. En espacios con torsión, esta conclusión por formas no basta para anular una clase integral; en una superficie cerrada orientada la clase de grado dos no tiene esa torsión.
EJERCICIO 3 / 5Respuesta comprobable
Tu reto 3.
Si el número de Chern es 5, ¿cuánto vale ∫ω en unidades de π?
PISTA 1
Una pista
Multiplica por 2π.
Un desarrollo posible.
El número es 5 y cumple 5=(1/(2π))∫ω.
Multiplicar ambos lados por 2π da ∫ω=10π.
La pregunta pide el coeficiente en unidades de π, que es 10, no la expresión 10π completa.
EJERCICIO 4 / 5Razonamiento · revisión personal
Tu reto 4.
Explica por qué una integral π no puede dar esta normalización de curvatura global de línea en una superficie cerrada.
PISTA 1
Una pista
El número obtenido debe ser entero.
Un desarrollo posible.
Si ∫_Sω=π, el cociente normalizado sería π/(2π)=1/2.
Bajo las hipótesis de fibrado complejo de línea, curvatura unitaria y superficie cerrada orientada, ese cociente debe ser un entero.
Como 1/2 no lo es, los datos no pueden cumplir simultáneamente todas esas hipótesis y esa normalización. No basta que la forma sea cerrada para que sea una curvatura global con período permitido.
EJERCICIO 5 / 5Razonamiento · revisión personal
Tu reto 5.
Distingue una clase real nula de una clase integral necesariamente nula.
PISTA 1
Una pista
Piensa en torsión.
Un desarrollo posible.
Una clase integral c puede tener torsión: existe m>0 con mc=0 aunque c≠0.
En cohomología real se puede dividir por m, por lo que su imagen debe ser cero.
Así una forma exacta o un representante real nulo solo anula la imagen real. Para deducir c=0 hace falta información adicional, por ejemplo ausencia de torsión en el grupo integral correspondiente.