28/03/13

Conexin de Cartan - Wikipedia, la enciclopedia libre

Conexin de Cartan
De Wikipedia, la enciclopedia libre En matemtica, la construccin de la conexin de Cartan en geometra diferencial es una generalizacin amplia del concepto de la conexin, basado en una comprensin del papel del grupo afn en el acercamiento usual. Fue desarrollado por lie Cartan, como parte (y como manera de formular) su mtodo de triedro mvil. Vase tambin formalismo de Cartan

ndice
1 Definiciones casi formales para fibrados vectoriales 2 Aspectos de la teora 2.1 Una teora general de los marcos 2.2 Identificando el fibrado tangente 3 Teora general 4 Vase tambin

Definiciones casi formales para fibrados vectoriales

Una conexin en un fibrado vectorial es una manera de "distinguir" secciones del fibrado a lo largo de vectores tangente. Sea : E B un fibrado vectorial sobre una variedad diferenciable B con un espacio vectorial F de dimensin n como fibra. Denotemos por uv una seccin de un fibrado vectorial, el resultado de la diferenciacin de la seccin del fibrado vectorial v a lo largo del campo vectorial tangente u. Para ser una conexin debe satisfacer las identidades siguientes: (i) Linealidad (ii) Regla de Leibniz diferenciable y y para cualquier funcin

el ejemplo ms simple: si el : E = F B B es la proyeccin, es decir es un fibrado vectorial trivial, entonces cualquier seccin se puede describir por una funcin diferenciable v: B F. Por lo tanto uno puede considerar la conexin trivial uv = v/u. Si uno tiene dos conexiones y ' en el mismo fibrado vectorial entonces la diferencia (u, v) = uv- 'uv depende solamente de los valores de u y v en un punto, una 1forma en B a valores en el Hom(F, F); es decir el (u, -) Hom(F, F) y se puede describir como una matriz n n de uno-formas. En particular uno puede elegir una trivializacin local del fibrado vectorial y tomar ' como conexin trivial correspondiente, entonces da una descripcin local completa de . Si G GL(F) es el grupo estructural del fibrado vectorial entonces la forma es una 1-forma con valores en , el lgebra de Lie de G. En particular para el fibrado tangente de una variedad de Riemann tenemos O(n) como grupo estructural y para la forma para la conexin de Levi-Civita es una forma con valores en (n), el lgebra de Lie de O(n) (que se pueda pensar como matrices antisimtricas en una base ortonormal, o 2vectores del fibrado tangente). Esta forma, , describe de una manera no invariante; depende de la eleccin de la trivializacin local. La construccin siguiente extrae la informacin invariante de . La 2-forma siguiente con valores en Hom(F, F) se llama forma de curvatura = d + ,
es.wikipedia.org/wiki/Conexin_de_Cartan 1/3

28/03/13

Conexin de Cartan - Wikipedia, la enciclopedia libre

donde d es la derivada exterior y es producto exterior (cua) (puede parecer un poco extrao aplicar el producto exterior a las formas con valores en Hom(F, F), pero trabaja de la misma manera). La forma de curvatura proporciona la descripcin local completa de la conexin hasta una transformacin de gauge. Una vez ms, si el G GL(F) es el grupo de estructura de un fibrado vectorial entonces la forma es una 2forma con valores en , el lgebra de Lie de G. Para el fibrado tangente de una variedad diferenciable de Riemann tenemos O(n) como el grupo de estructura y es una 2-forma con valores en (n) (que se puede pensar en como matrices antisimtricas en una base ortonormal). Esta forma es una descripcin equivalente del tensor de curvatura.

Aspectos de la teora
Fue desarrollada por lie Cartan, como parte (y una manera de formular) la suya mtodo del triedro mvil. Trabaja con formas diferenciales y as que son de carcter computacional, pero tienen otros dos aspectos importantes, ambos ms geomtricos.

Una teora general de los marcos

El primero de stos mira primero a la teora de fibrados principales (a la cual uno puede llamar la teora general de marcos). El ideal de una conexin en un fibrado principal para un grupo de Lie G es relativamente fcil de formular, porque en la direccin vertical se puede ver que el dato requerido viene dado trasladando todos los vectores tangente de nuevo al elemento identidad (en el lgebra de Lie), y la definicin de la conexin debe agregar simplemente un componente horizontal, compatible con eso. Si G es un tipo de grupo afn con respecto a otro grupo de Lie H - significando que G es un producto semidirecto de H con un grupo de la traslacin vectorial T en el cual H acta, un H-fibrado se puede hacer un G-fibrado por la construccin de un fibrado asociado. Hay T-fibrado asociado, tambin: un fibrado vectorial, en el cual H acta por automorfismos que devienen automorfismos interiores en G. El primer tipo de definicin en esta disposicin es que una conexin de Cartan para H es un tipo especfico de G-conexin principal.

Identificando el fibrado tangente

El segundo tipo de definicin apunta directamente al fibrado tangente T(M) de la variedad diferenciable M asumida como la base. Aqu el dato es cierto tipo de identificacin del T(M), como fibrado, como los vectores 'verticales ' tangentes en el T-fibrado mencionado antes (donde M est naturalmente identificado como la seccin nula). Se llama esto el soldaje (la soldadura): ahora tenemos T(M) dentro de un panorama ms rico, expresado por los datos de transicin H-valorados. Un punto importante aqu, como con la discusin anterior, es que no se asume que H acta fielmente en T. Eso permite inmediatamente que los fibrados espinoriales tomen su lugar en la teora, con H un grupo de espn ms bien que simplemente un grupo ortogonal.

Teora general
Cartan reformul la geometra diferencial (pseudo) riemanniana; pero no solamente para dichas variedades diferenciables (mtricas), sino que hizo la teora para una variedad diferenciable arbitraria, incluyendo los variedades diferenciables dadas por los grupos de Lie. Esto estaba en trminos de marcos mviles (repre mobile ) como reformulacin alternativa de la relatividad general. La idea principal es desarrollar las expresiones para connexiones y curvatura usando marcos ortogonales.
es.wikipedia.org/wiki/Conexin_de_Cartan 2/3

28/03/13

Conexin de Cartan - Wikipedia, la enciclopedia libre

El formalismo de Cartan es un acercamiento alternativo a la derivada covariante y la curvatura, con las formas diferenciales y los marcos. Aunque es dependiente del marco, est muy bien adaptada a los cmputos. Puede tambin ser entendido en trminos de fibrados de bases y permite generalizaciones como fibrado de espinores

Vase tambin
Geometra de Riemann Relatividad general Obtenido de http://es.wikipedia.org/w/index.php?title=Conexin_de_Cartan&oldid=64516459 Categoras: Geometra diferencial lgebra multilineal Esta pgina fue modificada por ltima vez el 8 mar 2013, a las 22:52. El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; podran ser aplicables clusulas adicionales. Lanse los trminos de uso para ms informacin. Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de lucro.

es.wikipedia.org/wiki/Conexin_de_Cartan

3/3