7 votos

Una frase poco clara en el libro "Griffiths, Harris-Principios de la geometría algebraica"

Deje $X$ ser un complejo de múltiples y considerar la posibilidad de un holomorphic vector paquete de $\pi:E\to X$ de la fila $r$. Por la costumbre de la correspondencia entre el vector haces localmente libres de poleas, consideramos $E$ como una gavilla por abuso de notación. Se denota con a $\mathscr A_X^{p,q}$ la gavilla de $C^\infty$ $(p,q)$-formas diferenciales en $X$ y definimos: $$A^{p,q}(E):=\Gamma(X,\mathscr A^{p,q}\otimes_{\mathscr O_X} E)$$ $$A^k(E):=\bigoplus_{p+q=k}A^{p,q}(E)$$

Ahora supongamos que $\nabla:A^\bullet(E)\to A^\bullet(E)$ es una conexión directa en $E$, entonces el operador de curvatura se define como: $$\nabla^2:A^0(E)\to A^2(E)$$ donde $\nabla^2$ es la composición de los mapas de $\nabla: A^0(E)\to A^2(E)$$\nabla: A^1(E)\to A^2(E)$. Uno puede mostrar que $\nabla^2$ $C^\infty(X)$- lineal.


No entiendo la siguiente frase de la Griffiths-Harris libro en la página 75 (I reformular mediante el uso de mi notación):

Desde $\nabla^2$ $C^\infty(X)$- lineal, entonces es inducida por un paquete de mapa de $E\to\bigwedge^2T^*X\otimes E$, o en otras palabras, $\nabla^2$ corresponde a una sección global $\Theta$ de el lote a $\bigwedge^2T^*X\otimes\operatorname{Hom}(E,E)$.

Yo absolutamente no entiendo cómo puedo ver el operador $\nabla^2$ como la sección de $\Theta$.

5voto

Khushi Puntos 1266

Sea$E$,$F$ dos paquetes lisos de vector sobre un colector liso$X$. Un mapa lineal$L : \Gamma(E) \to \Gamma(F)$ es$C^{\infty}(X)$ - lineal si y solo si hay un homomorfismo de paquete vectorial$\sigma : E \to F$, es decir$\sigma \in \Gamma (\operatorname{Hom}(E, F))$, tal que$L(s) = \sigma\circ s$ para todo% Unesdoc.unesco.org unesdoc.unesco.org Una prueba puede encontrarse en la Introducción de Lee a Manifolds Suaves (segunda edición), Lemma 10.29 donde se llama el nombre 'Bundle Homomorphism Characterization Lemma'.

En este caso $s \in \Gamma(E)$. Para completar la identificación, observe que$F = \bigwedge^2T^*X\otimes E$ y por lo tanto

ps

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X