16 votos

Lo que hace que el diferencial de formas especiales

Hay dos estructuras naturales definidos en el diferencial de los colectores, es decir, la tangente del paquete y su doble cotangente del paquete. Un elemento de la tangente bundle $TM$ a un punto de base $p\in M$ puede ser descrito por un operador diferencial $X$, también llamado vector tangente. Si elegimos un coordiante para $p=(x_1,\ldots,x_n)$, entonces tenemos una base natural para el espacio vectorial tangente a $p$ y escribir $X=X^i\frac{\partial}{\partial x^i}$. Doblemente, un elemento de la cotangente bundle $T^*M$ en el mismo punto de base $p$ puede ser descrito por una forma diferenciada $\theta$. Tomar dual de la base del espacio vectorial tangente y podemos escribir $\theta=\theta_idx^i$.

Todo lo anteriormente relativas a la tangente del paquete y la cotangente del paquete de apariencia simétrica. Sin embargo, podemos hacer más en la cotangente del paquete. Podemos obtener un segundo orden diferencial de la forma $\omega=d\theta=d\theta_i\wedge dx^i$ por el exterior diferencial de funcionamiento en la cotangente del paquete. Mientras que no es ningún tipo de "exterior tangente" cámara en tangente paquete sin imponer extra estructura. Además, hay una distinguida de un formulario, denominado "la tautología de una forma", en la cotangente del paquete, mientras que no hay distinguido vector tangente tangente en paquete. Lo que hace que el diferencial de forma especial?

Además, de formas diferenciales, podemos definir la copa del producto y el exterior de productos de de Rham cohomology de la cadena. Ninguna otra cosa puede ser definido por los vectores.

11voto

ಠ_ಠ Puntos 1713

Una cosa importante a notar es que la asignación de $M \mapsto \Gamma(M, TM)$ no define un functor en la categoría de suave colectores y suave mapas, porque vector tangente campos no se comportan bien en pushforwards o pullbacks por la suave mapas. Por otro lado, la asignación de $M \mapsto \Gamma(M, \bigwedge^k T^*M)$ define un functor contravariante en la categoría de suave colectores, ya que los formularios pueden ser tirados por la suave mapas.

También, observe que el functor $C^\infty(-)$ que asigna a cada suave colector su álgebra de las funciones lisas es la contravariante representable functor $\text{Hom}(-, \mathbb{R})$. Así que si queremos un functorial construcción de asignar a cada suave colector de algunos de álgebra que generaliza la función suave de álgebra, probablemente debería ser un contravariante de la construcción.

Esto encaja en el más general de la dualidad entre el espacio y la cantidad. La heurística es que un espacio de categoría a menudo puede ser pensado como el opuesto de una expresión algebraica de la categoría, por lo que functors que asignar algunos "el álgebra de las cantidades" a un espacio general, debe ser contravariante.

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