Conexión (paquete afín)

Let Y → X sea un haz afín modelada sobre un paquete del vector Y → X . Una conexión Γ en Y → X se llama la conexión afín si como una sección Γ: Y → J ¹ Y del chorro de haz J ¹ Y → Y de Y es un afín haz morfismo sobre X . En particular, esta es una conexión afín en el paquete tangente T X de unsuavizar colector X . (Es decir, la conexión en un paquete afín es un ejemplo de una conexión afín; sin embargo, no es una definición general de una conexión afín. Estos son conceptos relacionados pero distintos que, lamentablemente, hacen uso del adjetivo "afín").

Con respecto a las coordenadas del paquete afín ( x ^λ , y ⁱ ) en Y , una conexión afín Γ en Y → X viene dada por la forma de conexión valorada en tangente

${\displaystyle {\begin{aligned}\Gamma &=dx^{\lambda }\otimes \left(\partial _{\lambda }+\Gamma _{\lambda }^{i}\partial _{i}\right)\,,\\\Gamma _{\lambda }^{i}&={{\Gamma _{\lambda }}^{i}}_{j}\left(x^{\nu }\right)y^{j}+\sigma _{\lambda }^{i}\left(x^{\nu }\right)\,.\end{aligned}}}$

Un haz afín es un haz de fibras con un grupo de estructura afín general GA ( m , ℝ) de transformaciones afines de su fibra típica V de dimensión m . Por lo tanto, una conexión afín está asociada a una conexión principal . Siempre existe.

Para cualquier afín conexión Γ: Y → J ¹ Y , la correspondiente lineal derivado Γ  : Y → J ¹ Y de un morfismo afín Γ define una única conexión lineal en un paquete del vector Y → X . Con respecto a las coordenadas lineales del paquete ( x ^λ , y ⁱ ) en Y , esta conexión dice

${\displaystyle {\overline {\Gamma }}=dx^{\lambda }\otimes \left(\partial _{\lambda }+{{\Gamma _{\lambda }}^{i}}_{j}\left(x^{\nu }\right){\overline {y}}^{j}{\overline {\partial }}_{i}\right)\,.}$

Dado que cada paquete de vectores es un paquete afín, cualquier conexión lineal en un paquete de vectores también es una conexión afín.

Si Y → X es un paquete de vectores, tanto una conexión afín Γ como una conexión lineal asociada Γ son conexiones en el mismo paquete de vectores Y → X , y su diferencia es una forma de soldadura básica en

${\displaystyle \sigma =\sigma _{\lambda }^{i}(x^{\nu })dx^{\lambda }\otimes \partial _{i}\,.}$

Por lo tanto, cada conexión afín en un paquete del vector Y → X es una suma de una conexión lineal y una forma de soldadura básica sobre Y → X .

Debido a la división vertical canónica V Y = Y × Y , esta forma de soldadura se lleva a una forma de valor vectorial

${\displaystyle \sigma =\sigma _{\lambda }^{i}(x^{\nu })dx^{\lambda }\otimes e_{i}}$

donde e _i es una base de fibra de Y .

Dada una conexión afín Γ en un paquete de vectores Y → X , sean R y R las curvaturas de una conexión Γ y la conexión lineal asociada Γ , respectivamente. Se observa fácilmente que R = R + T , donde

${\displaystyle {\begin{aligned}T&={\tfrac {1}{2}}T_{\lambda \mu }^{i}dx^{\lambda }\wedge dx^{\mu }\otimes \partial _{i}\,,\\T_{\lambda \mu }^{i}&=\partial _{\lambda }\sigma _{\mu }^{i}-\partial _{\mu }\sigma _{\lambda }^{i}+\sigma _{\lambda }^{h}{{\Gamma _{\mu }}^{i}}_{h}-\sigma _{\mu }^{h}{{\Gamma _{\lambda }}^{i}}_{h}\,,\end{aligned}}}$

es la torsión de Γ con respecto a la forma básica de soldadura σ .

En particular, considere el paquete tangente T X de una variedad X coordinada por ( x ^μ , ẋ ^μ ) . Existe la forma de soldadura canónica

${\displaystyle \theta =dx^{\mu }\otimes {\dot {\partial }}_{\mu }}$

en T X que coincide con el tautológico de una forma

${\displaystyle \theta _{X}=dx^{\mu }\otimes \partial _{\mu }}$

en X debido a la división vertical de canónica VT X = T X × T X . Dada una conexión lineal arbitraria Γ en T X , la conexión afín correspondiente

${\displaystyle {\begin{aligned}A&=\Gamma +\theta \,,\\A_{\lambda }^{\mu }&={{\Gamma _{\lambda }}^{\mu }}_{\nu }{\dot {x}}^{\nu }+\delta _{\lambda }^{\mu }\,,\end{aligned}}}$

en T X es la conexión Cartan . La torsión de la conexión de Cartan A con respecto a la forma de soldadura θ coincide con la torsión de una conexión lineal Γ , y su curvatura es una suma R + T de la curvatura y la torsión de Γ .

Ver también

• Conexión (colector de fibra)
• Conexión afín
• Conexión (paquete de vectores)
• Conexión (matemáticas)
• Teoría de calibre afín

Referencias

• Kobayashi, S .; Nomizu, K. (1996). Fundamentos de la geometría diferencial . 1-2 . Wiley-Interscience. ISBN 0-471-15733-3.
• Sardanashntly, G. (2013). Geometría diferencial avanzada para teóricos. Haz de fibras, colectores de chorro y teoría lagrangiana . Publicaciones académicas de Lambert. arXiv : 0908.1886 . Código Bibliográfico : 2009arXiv0908.1886S . ISBN 978-3-659-37815-7.

Este artículo relacionado con la geometría diferencial es un fragmento . Puedes ayudar a Wikipedia expandiéndolo .

• v
• t
• e