Portada	Favoritos
Lista Articulos: [0-C] [C-I] [I-P] [P-Z] | Todas las categorías | Página aleatoria | Lo que enlaza aquí

Conexión de Cartan

En matemáticas, la construcción de la conexión de Cartan en geometría diferencial es una generalización amplia del concepto de la conexión, basado en una comprensión del papel del grupo afín en el acercamiento usual. Fue desarrollado por Élie Cartan, como parte (y como manera de formular) su método de triedro móvil.

definiciones casi formales para fibrados vectoriales

Una conexión 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 dimensión n como fibra. Denotemos por ∇_uv una sección de un fibrado vectorial, el resultado de la diferenciación de la sección del fibrado vectorial v a lo largo del campo vectorial tangente u. Para ser una conexión ∇ debe satisfacer las identidades siguientes:

(i) Linealidad y

(ii) Regla de Leibniz y para cualquier función diferenciable

el ejemplo más simple: si el ζ: E = FxB → B es la proyección, es decir ζ es un fibrado vectorial trivial, entonces cualquier sección se puede describir por una función diferenciable v: B → F. Por lo tanto uno puede considerar la conexión 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 1-forma en B a valores en el Hom(F, F); es decir el ω(u, -) ∈ Hom(F, F) y ω se puede describir como una matriz n x n de uno-formas. En particular uno puede elegir una trivialización local del fibrado vectorial y tomar ∇' como conexión trivial correspondiente, entonces ω da una descripción 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 conexión de Levi-Civita es una forma con valores en (n), el álgebra de Lie de O(n) (que se pueda pensar como matrices antisimétricas en una base ortonormal, o 2-vectores del fibrado tangente). Esta forma, ω, describe ∇ de una manera no invariante; depende de la elección de la trivialización local. La construcción siguiente extrae la información invariante de ω.

La 2-forma siguiente con valores en Hom(F, F) se llama forma de curvatura Ω = dω +ω ∧ ω,

donde d es la derivada exterior y ∧ es producto exterior (cuña) (puede parecer un poco extraño 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 descripción local completa de la conexión hasta una transformación de gauge.

Una vez más, si el G ∈ GL(F) es el grupo de estructura de un fibrado vectorial entonces la forma Ω es una 2-forma 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 antisimétricas en una base ortonormal). Esta forma Ω es una descripción equivalente del tensor de curvatura.

Aspectos de la teoría

Fue desarrollada por Élie Cartan, como parte (y una manera de formular) la suya método del triedro móvil. Trabaja con formas diferenciales y así que son de carácter computacional, pero tienen otros dos aspectos importantes, ambos más geométricos.

Una teoría general de los marcos

El primero de éstos mira primero a la teoría de fibrados principales (a la cual uno puede llamar la teoría general de marcos). El ideal de una conexión en un fibrado principal para un grupo de Lie G es relativamente fácil de formular, porque en la dirección 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 definición de la conexión debe agregar simplemente un componente horizontal, compatible con eso. Si G es un tipo de grupo afín con respecto a otro grupo de Lie H - significando que G es un producto semidirecto de H con un grupo de la traslación vectorial T en el cual H actúa, un H-fibrado se puede hacer un G-fibrado por la construcción de un fibrado asociado. Hay T-fibrado asociado, también: un fibrado vectorial, en el cual H actúa por automorfismos que devienen automorfismos interiores en G.

El primer tipo de definición en esta disposición es que una conexión de Cartan para H es un tipo específico de G-conexión principal.

identificando el fibrado tangente

El segundo tipo de definición apunta directamente al fibrado tangente TM de la variedad diferenciable M asumida como la base. Aquí el dato es cierto tipo de identificación del TM, como fibrado, como los vectores 'verticales ' tangentes en el T-fibrado mencionado antes (donde M está naturalmente identificado como la sección nula). Se llama esto el soldaje (la soldadura): ahora tenemos TM dentro de un panorama más rico, expresado por los datos de transición H-valorados. Un punto importante aquí, como con la discusión anterior, es que no se asume que H actúa fielmente en T. Eso permite inmediatamente que los fibrados espinoriales tomen su lugar en la teoría, con H un grupo de espín más bien que simplemente un grupo ortogonal.

Vierbeins, etcetera

La teoría de las tétradas o vierbein es el caso especial para una variedad diferenciable cuatridimensional. Se aplica a la métrica de cualquier signatura. En cualquier dimensión, para una pseudo geometría de Riemann (con signatura métrica (p,q)), esta teoría de la conexión de Cartan es un método alternativo en geometría diferencial. En diversos contextos también se ha llamado método del marco ortonormal, repère mobile, forma de soldaje, forma no holonómica ortonormal.

Esta sección es un acercamiento a las tétradas, pero escrito en términos generales. En otras dimensiones distintas de 4, se han utilizado palabras como tríada, péntada, funfbein, elfbein, etc.. Vielbein cubre todas las dimensiones.

Si se busca una notación de índice base-dependiente, ver tétrada (notación de índice).

los ingredientes básicos

Sea una variedad diferenciable M de dimensión n, y los números naturales fijados p y q con p+q = n. Suponemos dado un SO(p, q) - fibrado principal B sobre M (llamado el fibrado de bases), y un SO(p, q)-fibrado vectorial V asociado a B por medio de la natural representación de SO(p, q) n-dimensional .

Suponga dado también una métrica SO(p, q)-invariante η de signatura (p, q) sobre V; y una función lineal inversible entre fibrados vectoriales sobre M, e: TM → V donde TM es el fibrado tangente de M.

construcciones

Una (pseudo)métrica de Riemann se define sobre M como suma amalgamada (push forward) de η por e. Es decir si tenemos dos secciones de TM, X y Y,

g(X, Y)=η(e(X),e(Y)).

Una conexión sobre V, A se define como la única conexión que satisface estas dos condiciones:

• dη(a, b)=η(d_Aa, b)+η(a, d_Ab) para todas las secciones diferenciables a y b de V (es decir d_Aη=0) donde d_A es la derivada exterior covariante. (esto indica básicamente que A se puede ampliar a una conexión sobre el SO(p, q) fibrado principal)

• d_Ae=0. (esto indica básicamente que ∇ definida abajo es libre de torsión)

ahora que hemos especificado A, podemos utilizarla para definir una conexión sobre TM por producto fibrado (pullback) por e;

e(∇X)=d_Ae(X) para todas las secciones diferenciables X de TM.

Dado que lo que ahora tenemos aquí es una SO(p, q) teoría de gauge, la curvatura F de Riemann definida como F = dA + A∧A es covariante de gauge punto a punto. Éste es simplemente el tensor de Riemann de un modo diverso.

la acción de Palatini

En la formulación tétrada de la relatividad general, la acción, como funcional de la cotétrada e y la conexión A sobre la variedad diferenciable M cuatro dimensional viene dada por

donde F es la 2-forma de curvatura de gauge y e es el equivariante antisimétrico reps por tetravectores del SO(3,1) normalizado por η.

teoría general

Cartan reformuló la geometría diferencial (pseudo) riemanniana; pero no solamente para dichas variedades diferenciables (métricas), sino que hizo la teoría para una variedad diferenciable arbitraria, incluyendo los variedades diferenciables dadas por los grupos de Lie. Esto estaba en términos de marcos móviles (repère mobile) como reformulación alternativa de la relatividad general.

La idea principal es desarrollar las expresiones para connexiones y curvatura usando marcos ortogonales.

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 cómputos. Puede también ser entendido en términos de fibrados de bases y permite generalizaciones como fibrado de espinores

ver también

geometría de Riemann, relatividad general