Articulo de referencia

Tensor asesino

En matemáticas, un tensor de Killing o campo tensorial de Killing es una generalización de un vector de Killing , para campos tensoriales simétricos en lugar de campos vectorial...

En matemáticas, un tensor de Killing o campo tensorial de Killing es una generalización de un vector de Killing , para campos tensoriales simétricos en lugar de campos vectoriales . Es un concepto de la geometría riemanniana y pseudoriemanniana , y se utiliza principalmente en la teoría de la relatividad general . Los tensores de Killing satisfacen una ecuación similar a la ecuación de Killing para los vectores de Killing. Al igual que los vectores de Killing, cada tensor de Killing corresponde a una cantidad que se conserva a lo largo de geodésicas . Sin embargo, a diferencia de los vectores de Killing, que están asociados con simetrías ( isometrías ) de una variedad , los tensores de Killing generalmente carecen de una interpretación geométrica tan directa. Los tensores de Killing reciben su nombre de Wilhelm Killing .

Definición y propiedades

En la siguiente definición, los paréntesis alrededor de los índices tensoriales son una notación para la simetrización. Por ejemplo:

T(αβγ)=16(Tαβγ+Tαγβ+Tβαγ+Tβγα+Tγαβ+Tγβα){\displaystyle T_{(\alpha \beta \gamma )}={\frac {1}{6}}(T_{\alpha \beta \gamma }+T_{\alpha \gamma \beta }+T_{\beta \alpha \gamma }+T_{\beta \gamma \alpha }+T_{\gamma \alpha \beta }+T_{\gamma \beta \alpha })}

Definición

Un tensor de Killing es un campo tensorial.K{\displaystyle K}(de algún orden m ) en una variedad (pseudo)riemanniana que es simétrica (es decir,Kβ1βmetro=K(β1βmetro){\displaystyle K_{\beta _{1}\cdots \beta _{m}}=K_{(\beta _{1}\cdots \beta _{m})}}) y satisface: [ 1 ] [ 2 ]

(αKβ1βmetro)=0{\displaystyle \nabla _{(\alpha }K_{\beta _{1}\cdots \beta _{m})}=0}

Esta ecuación es una generalización de la ecuación de Killing para vectores de Killing :

(αKβ)=12(αKβ+βKα)=0{\displaystyle \nabla _{(\alpha }K_{\beta )}={\frac {1}{2}}(\nabla _{\alpha }K_{\beta }+\nabla _{\beta }K_{\alpha })=0}

Propiedades

Los vectores de Killing son un caso especial de tensores de Killing. Otro ejemplo sencillo de un tensor de Killing es el propio tensor métrico . Una combinación lineal de tensores de Killing es un tensor de Killing. Un producto simétrico de tensores de Killing también es un tensor de Killing; es decir, siSα1αl{\displaystyle S_{\alpha _{1}\cdots \alpha _{l}}}yTβ1βmetro{\displaystyle T_{\beta _{1}\cdots \beta _{m}}}son tensores asesinos, entoncesS(α1αlTβ1βmetro){\displaystyle S_{(\alpha _{1}\cdots \alpha _{l}}T_{\beta _{1}\cdots \beta _{m})}}También es un tensor asesino. [ 1 ]

Cada tensor de Killing corresponde a una constante de movimiento en geodésicas . Más específicamente, para cada geodésica con vector tangenteα{\displaystyle u^{\alpha }}la cantidadKβ1βmetroβ1βmetro{\displaystyle K_{\beta _{1}\cdots \beta _{m}}u^{\beta _{1}}\cdots u^{\beta _{m}}}es constante a lo largo de la geodésica. [ 1 ] [ 2 ]

Ejemplos

Dado que los tensores de Killing son una generalización de los vectores de Killing, los ejemplos de la sección « Ejemplos de campos vectoriales de Killing»  también son ejemplos de tensores de Killing. Los siguientes ejemplos se centran en tensores de Killing que no se obtienen simplemente a partir de vectores de Killing.

Métrica FLRW

La métrica de Friedmann-Lemaître-Robertson-Walker , ampliamente utilizada en cosmología , tiene vectores de Killing de tipo espacial que corresponden a sus simetrías espaciales, en particular rotaciones alrededor de ejes arbitrarios y en el caso plano parak=1{\displaystyle k=1}traducciones a lo largo deincógnita{\displaystyle x},y{\displaystyle y}, yz{\displaystyle z}También tiene un tensor asesino.

Kμν=a2(gramoμν+UμUν){\displaystyle K_{\mu \nu }=a^{2}(g_{\mu \nu }+U_{\mu }U_{\nu })}

donde a es el factor de escala ,Uμ=(1,0,0,0){\displaystyle U^{\mu }=(1,0,0,0)}es el vector base de coordenadas t , y se utiliza la convención de firma −+++. [ 3 ]

Métrica de Kerr

La métrica de Kerr , que describe un agujero negro en rotación, tiene dos vectores de Killing independientes. Un vector de Killing corresponde a la simetría de traslación temporal de la métrica, y el otro corresponde a la simetría axial alrededor del eje de rotación. Además, como demostraron Walker y Penrose (1970), existe un tensor de Killing no trivial de orden 2. [ 4 ] [ 5 ] [ 6 ] La constante de movimiento correspondiente a este tensor de Killing se llama constante de Carter .

Tensor de eliminación conforme

Los tensores de Killing conformes son una generalización de los tensores de Killing y los vectores de Killing conformes . Un tensor de Killing conforme es un campo tensorial.K{\displaystyle K}(de algún orden m ) que es simétrico y satisface [ 4 ]

(αKβ1βmetro)=k(β1βmetro1gramoβmetroα){\displaystyle \nabla _{(\alpha }K_{\beta _{1}\cdots \beta _{m})}=k_{(\beta _{1}\cdots \beta _{m-1}}g_{\beta _{m}\alpha )}}

para algún campo tensorial simétricok{\displaystyle k}. Esto generaliza la ecuación para vectores de Killing conformes, que establece que

αKβ+βKα=λgramoαβ{\displaystyle \nabla _{\alpha }K_{\beta }+\nabla _{\beta }K_{\alpha }=\lambda g_{\alpha \beta }}

para algún campo escalarλ{\displaystyle \lambda }.

Cada tensor de Killing conforme corresponde a una constante de movimiento a lo largo de geodésicas nulas . Más específicamente, para cada geodésica nula con vector tangentevα{\displaystyle v^{\alpha }}la cantidadKβ1βmetrovβ1vβmetro{\displaystyle K_{\beta _{1}\cdots \beta _{m}}v^{\beta _{1}}\cdots v^{\beta _{m}}}es constante a lo largo de la geodésica. [ 4 ]

La propiedad de ser un tensor de Killing conforme se conserva bajo transformaciones conformes en el siguiente sentido. SiKβ1βmetro{\displaystyle K_{\beta _{1}\cdots \beta _{m}}}es un tensor de Killing conforme con respecto a una métricagramoαβ{\displaystyle g_{\alpha \beta }}, entoncesK~β1βmetro=metroKβ1βmetro{\displaystyle {\tilde {K}}_{\beta _{1}\cdots \beta _{m}}=u^{m}K_{\beta _{1}\cdots \beta _{m}}}es un tensor de Killing conforme con respecto a la métrica conformemente equivalentegramo~αβ=gramoαβ{\displaystyle {\tilde {g}}_{\alpha \beta }=ug_{\alpha \beta }}, para todos los valores positivos{\displaystyle u}. [ 7 ]

Matar – Tensor Yano

Un tensor antisimétrico de orden p ,Fa1a2...apag{\displaystyle f_{a_{1}a_{2}...a_{p}}}, es un tensor de Killing-Yano fr:Tenseur de Killing-Yano si satisface la ecuación

bFdoa2...apag+doFba2...apag=0{\displaystyle \nabla _{b}f_{ca_{2}...a_{p}}+\nabla _{c}f_{ba_{2}...a_{p}}=0\,}.

Si bien también es una generalización del vector de Killing , se diferencia del tensor de Killing habitual en que la derivada covariante solo se contrae con un índice tensorial.

Los tensores de Killing-Yano son la raíz cuadrada de los tensores de Killing debido a que satisfacen ciertos teoremas [ 8 ] que se muestran a continuación:

  • Por un asesinato – tensor Yano, Fμ1μpag{\displaystyle f_{\mu _{1}\ldots \mu _{p}}}, el tensor de asesinato de rango 2 eskμν=Fμμ2μpagFνμ2μpag{\displaystyle k_{\mu \nu }=f_{\mu \mu _{2}\ldots \mu _{p}}f_{\nu }^{{\mu _{2}}\ldots \mu _{p}}}
  • Fμμ2μpagpagμpag{\displaystyle f_{\mu \mu _{2}\ldots \mu _{p}}p^{\mu _{p}}}es transportado en paralelo a lo largo de la geodésica con vector tangente,pagμpag{\displaystyle p^{\mu _{p}}}

Los tensores de Killing-Yano conformes son una generalización de los tensores de Killing-Yano. [ 8 ] Afirma que un tensor de Killing-Yano conforme de rango p es un tensor totalmente antisimétrico.kμ2...μpag{\displaystyle k_{\mu _{2}...\mu _{p}}}con p-form si cumple:

μkμ1μpag=[μkμ1μpag]+paggramoμ[μ1kμ2μpag]¯{\displaystyle \nabla _{\mu }k_{\mu _{1}\ldots \mu _{p}}=\nabla _{[\mu k_{\mu _{1}\ldots \mu _{p}}]}+\,}{\bar {p\,g_{\mu [\mu _{1}}{k}_{\mu _{2}\ldots \mu _{p}]}}}

dóndek¯μ2μpag{\displaystyle {\bar {k}}_{\mu _{2}\ldots \mu _{p}}}es un tensor asimétrico de rango p - 1. Al realizar una contracción deμ{\displaystyle \mu }yμ1{\displaystyle \mu _{1}}, obtenemos:

k¯μ2μpag=1Dpag+1μkμ2μpagμ{\displaystyle {\bar {k}}_{\mu _{2}\ldots \mu _{p}}={\frac {1}{D-p+1}}\nabla _{\mu }k_{\mu _{2}\ldots \mu _{p}}^{\mu }}

Los tensores de Killing-Yano conformes cerrados son un caso especial del tensor de Killing-Yano conforme cuandoμkμ2μpag=0{\displaystyle \nabla _{\mu }k_{\mid {\mu _{2}\ldots \mu _{p}}\mid }=0}dóndek=db{\displaystyle k=db}y b es alguna forma p - 1. [ 8 ] Esto sigue el resultado de la transformación de dualidad de Hodge que es:

El doble Hodgek{\displaystyle k\star }de un tensor de Yano de matanza conforme cerrada de rango pk{\displaystyle k}es un tensor de Killing-YanoFk{\displaystyle f\equiv \star k}de rango D - p y viceversa.

Una propiedad importante del tensor de Killing-Yano conforme cerrado es que su producto exterior es un tensor de Killing-Yano conforme cerrado de rango superior. En otras palabras,kab{\displaystyle k\equiv a\land b}es un tensor de Killing-Yano conforme cerrado de rango p + q, dondea{\displaystyle a}es un tensor de Killing-Yano conforme cerrado de rango p yb{\displaystyle b}es un tensor de Killing-Yano conforme cerrado de rango q.

Ejemplos

Espaciotiempo de Kerr

Una partícula que se mueve en el espaciotiempo de Kerr está estrechamente relacionada con los tensores de Killing-Yano conformes de rango dos. Existe una solución para un agujero negro en rotación descrito por la métrica de Kerr en la que el tensor asintomático tiene la siguiente forma: [ 9 ]

Y=r3sinorteθdθdϕ+O(1)=(τ0D){\displaystyle Y=r^{3}sin\,\theta \,d\theta \,\land d\phi +O(1)=\star (\tau _{0}\land D)}

dóndeD{\displaystyle D}es un campo vectorial de dilatación con valorincógnitaμincógnitaμ{\displaystyle x^{\mu }{\partial \over \partial x^{\mu }}}yτ{\displaystyle \tau }es un campo de exterminio con valorincógnitaμ{\displaystyle {\partial \over \partial x^{\mu }}}

Asesinato – Torres Yano

A partir de la propiedad del producto en cuña de los tensores de Killing-Yano conformes cerrados, se pueden construir muchos tensores de Killing-Yano conformes, lo que se conoce como torre de tensores de Killing-Yano. Para unnorteth{\displaystyle n^{th}}El tensor de Killing-Yano conforme cerrado, la torre tensorial de Killing-Yano, se define como:

h(j)hj=norte=1jh{\displaystyle h^{(j)}\equiv h^{\land j}=\land _{n=1}^{j}h}

dóndeh(j){\displaystyle h^{(j)}}es un tensor de Killing-Yano conformado cerrado de rango2j{\displaystyle 2j}. [ 8 ]

Cuerda bosónica y giratoria

En las invariantes de la cuerda bosónica sin tensión , la expresión para la ecuación de campo para la tensión en la cuerda se anula cuandoK{\displaystyle K}es un vector letal. [ 10 ]

(μKν)=λGRAMOμν{\displaystyle \nabla _{(\mu }K_{\nu )}=\lambda G_{\mu \nu }}

El invariante de las cuerdas giratorias sin tensión también involucra tensores de Killing-Yano superconformes. [ 10 ]

Supersimetrías

Para una partícula bosónica que cae en un fondo geodésico, se puede derivar la transformación supersimétrica con respecto al tensor de Killing-Yano. [ 11 ] Una de estas ecuaciones de transformación supersimétrica es la siguiente:

δincógnitaμ=iξμ{\displaystyle \delta x^{\mu }=-i\in \xi ^{\mu }}

Estructuras G

Los tensores de Killing-Yano también se estudian en G-estructuras que se utilizan en la construcción de soluciones de supergravedad y también en variedades de holonomía . [ 11 ]

Véase también

Referencias

  1. 1 2 3 Carroll 2003 , págs. 136–137 
  2. 1 2 Wald 1984 , pág. 444 
  3. Carroll 2003 , pág. 344 
  4. 1 2 3 Walker, Martin; Penrose, Roger (1970), "Sobre las primeras integrales cuadráticas de las ecuaciones geodésicas para los espaciotiempos de tipo {22}" (PDF) , Communications in Mathematical Physics , 18 (4): 265–274 , doi : 10.1007/BF01649445 , S2CID 123355453 
  5. Carroll 2003 , págs. 262–263 
  6. Wald 1984 , pág. 321 
  7. Dairbekov, NS; Sharafutdinov, VA (2011), "Sobre campos tensoriales simétricos de Killing conformes en variedades riemannianas", Siberian Advances in Mathematics , 21 : 1–41 , arXiv : 1103.3637 , doi : 10.3103/S1055134411010019
  8. 1 2 3 4 https://www.nbi.dk/~obers/MSc_PhD_files/KillingYanoProject_Dennis_final.pdf
  9. Jezierski, Jacek; Łukasik, Maciej (2005-10-12). "Tensor de Yano-Killing conforme para la métrica de Kerr y cantidades conservadas" . arXiv.org . Recuperado el 2026-05-08 .
  10. 1 2 Lindström, Ulf; Sarıoğlu, Özgür (2022-06-10). "Cuerdas sin tensión y tensores de Killing(-Yano)" . Physics Letters B. 829 137088. arXiv : 2202.06542 . doi : 10.1016 /j.physletb.2022.137088 . ISSN 0370-2693 . 
  11. 1 2 Santillan, Osvaldo P. (2012-04-01). "Simetrías ocultas y soluciones de supergravedad" . Journal of Mathematical Physics . 53 (4). doi : 10.1063/1.3698087 . hdl : 20.500.12110/paper_00222488_v53_n4_p_Santillan . ISSN 0022-2488 .