Operador diferencial invariante

En matemáticas y física teórica, un operador diferencial invariante es un mapeo matemático de algunos objetos a un objeto de tipo similar. Estos objetos son típicamente funciones en , las funciones en un variedad, funciones vectoriales valoradas, campos vectoriales, o más generalmente, secciones de un fibrado vectorial .

En un operador diferencial invariante , la palabra diferencial indica que el valor de la imagen depende sólo de y la derivada de en . La palabra referencial indica que el operador contiene cierta simetría. Esto significa que hay un grupo que tiene una acción sobre las funciones (u otros objetos en cuestión) y esta acción se conmuta con la acción del operador:

Por lo general, la acción del grupo tiene el significado de un cambio de coordenadas (cambio de observador) y la invarianza significa que el operador tiene la misma expresión en todas las coordenadas admisibles.

Invariancia en espacios homogéneos

editar

Sea M = G/H un espacio homogéneo para un grupo de Lie G y un subgrupo de Lie H. Cada representación   da lugar a un fibrado vectorial

 

Las secciones   pueden identificarse con

 

De esta forma, el grupo G actúa en secciones a través de

 

Ahora, sea V y W dos fibrados vectoriales sobre M. Luego un operador diferencial

 

que asigna secciones de V a secciones de W se llama invariante si

 

para todas las secciones   en   y elementos g en G. Todos los operadores lineales de diferenciales invariantes en geometrías parabólicas homogéneas, es decir, cuando G es semi-simple y H es un subgrupo parabólico, se dan dualmente por homomorfismos del módulo generalizado de Verma.

Invariancia en términos de índices

editar

Dadas dos conexiones   y   y un forma  , tenemos

 

para algunos tensores  .[1]​ Dada una clase de equivalencia de conexiones  , decimos que un operador es invariante si no cambia la forma del operador cuando cambiamos de una conexión en la clase de equivalencia a otro.

Por ejemplo, si tenemos en cuenta la clase de equivalencia de todas las conexiones de torsión libre , entonces el tensor Q es simétrico en sus índices más bajos, es decir,  . Por lo tanto, nosotros podemos calcular

 

donde los corchetes denotan simetrización por sesgo. Esto muestra la invarianza de la derivada exterior cuando actúa sobre una de las formas.

En conexiones, las clases de equivalencia, surgen naturalmente en geometría diferencial, por ejemplo:

  • en geometría conforme una clase de equivalencia de conexiones está dada por la conexión de Levi Civita de todas las mediciones en la clase conforme;
  • en geometría proyectiva , una clase de equivalencia de conexión está dada por todas las conexiones que tienen las mismas geodésicas;
  • en geometría CR , una clase de equivalencia de las conexiones está dada por las conexiones de Tanaka-Webster para cada opción de estructura pseudohermitiana

Ejemplos

editar
  1. El operador habitual gradiente   interino en funciones reales valoradas en espacios euclidianos, es invariante con respecto a todas las transformaciones euclidianas.
  2. La diferencial, actúa en funciones en una variedad con valores en forma de 1s (su expresión es
          
    en las coordenadas locales) es invariante con respecto a todas las transformaciones lisas de la variedad (la acción de la transformación en forma diferencial es sólo la pullback ).
  3. Más generalmente, la derivada exterior
          
    que actúa sobre n-formas de cualquier variedad diferenciable M, es invariante respecto a todas las transformaciones lisas. Se puede demostrar, que la derivada exterior es el único operador diferencial invariante lineal entre esos paquetes.
  4. El operador de Dirac en física, es invariante respecto al grupo de Poincaré (si elegimos la acción adecuada del grupo de Poincaré en funciones espinoriales valoradas. Sin embargo, esto es una cuestión sutil y si queremos hacer esto matemáticamente riguroso, debemos decir que es invariante respecto a un grupo, que es una doble cobertura del grupo de Poincaré)
  5. La ecuación asesina conforme
          

es un operador diferencial invariante lineal conforme, entre campos vectoriales y tensores simétricos de traza libre.

Invariancia conforme

editar

Dada una métrica

 

en  , podemos escribir la esfera   como el espacio de los generadores del cono nill

 

De esta manera, el modelo plano de geometría conforme , es la esfera   con   y el estabilizador de un punto   en  . Una clasificación de todos los operadores diferenciales invariantes lineales conformes de la esfera es conocida (Eastwood y Rice, 1987).[2]

Véase también

editar
  1. Penrose and Rindler (1987). Spinors and Space Time. Cambridge Monographs on Mathematical Physics. 
  2. M.G. Eastwood and J.W. Rice (1987). «Conformally invariant differential operators on Minkowski space and their curved analogues». Commun. Math. Phys. 109 (1987), no. 2, 207–228. 

Referencias (en inglés)

editar
  • Slovák, Jan (1993). Invariantes en variedades conformes. Notas de investigación de conferencia de la Universidad de Viena (Tesis). 
  • Kolář, Ivan; Michor, Peter; Slovák, Jan (1993). Los operadores Naturales en geometría diferencial (PDF). Springer-Verlag, Berlin, Heidelberg, New York. Archivado desde el original el 30 de marzo de 2017. Consultado el 21 de diciembre de 2012. 
  • Eastwood, M. G.; Rice, J. W. (1987). «Operadores diferenciales invariantes conformes, en el espacio de Minkowski y sus curvas análogas». Commun. Math. Phys. 109 (1987), no. 2, 207–228. 
  • Kroeske, Jens (2008). «Invariantes diferenciales emparejamientos bilineales sobre geometrías parabólicas». Tesis doctoral de la Universidad de Adelaida. arXiv:0904.3311.