Dejar ser el Grupo Lorentz restringido en dimensiones. ¿Existen representaciones proyectivas irreductibles de este grupo que no desciendan de una representación de ?
En otras palabras, se sabe que cualquier representación del álgebra de Clifford induce una representación del correspondiente grupo; es lo contrario cierto, es decir, ¿cualquier representación de la grupo corresponde a alguna representación del álgebra de Clifford correspondiente?
Cualquier conjunto de matrices satisfactorio
Mi pregunta es: ¿es cierto que para cualquier conjunto de matrices satisfactorio tendremos un conjunto de matrices satisfactorio ?
Nota: cuando se consideran representaciones proyectivas de este grupo, solo son posibles dos fases, . Ni que decir tiene que aquí pregunto por los correspondientes a . Para el otro signo la respuesta es obvia.
Esta respuesta se basa en el artículo seminal de Berg, DeWitt-Morette, Gwo y Kramer (BDGK) sobre la física de las cubiertas dobles de los grupos de Lorentz.
Si bien, el artículo trata el caso general de múltiples dimensiones espaciales y temporales; en la siguiente respuesta, solo el se considerará el caso. Además, solo se considerarán las representaciones de espinores de dimensión finita (no unitarias), ya que sabemos cómo promoverlas en representaciones unitarias de dimensión infinita del grupo de Poincaré.
Primero, los grupos físicamente interesantes son las cubiertas dobles de en vez de porque contienen distintos operadores de inversión de tiempo y paridad en lugar de su producto solamente (BDGK: Figura-1 página 17 y Figura-2 página 19).
Las cubiertas dobles de se denominan grupos Pin (sus vectores representativos se denominan Pinors). posee 8 tipos de cubiertas dobles llamadas ( correspondiente a (BDGK-apéndice C):
Solo dos de las cubiertas dobles anteriores se pueden obtener de un álgebra de Clifford a la que corresponden: y respectivamente. Estos grupos se denominan cliffordianos y generalmente se denotan por: y respectivamente.
Observaciones:
No tengo conocimiento de ninguna aplicación física de los grupos Pin no cliffordianos.
Básicamente, no conocemos los grupos Pin de las partículas elementales a excepción del neutrino en la desintegración doble beta sin neutrinos. BDGK sugiere algunos experimentos que pueden distinguir el tipo del grupo Pin.
Cualquier representación compleja irreducible de un álgebra de Clifford en dimensiones tiene dimensión . Puede encontrar una prueba de esta afirmación, por ejemplo, en esta publicación de Qmechanic .
Como ya dice la pregunta, cualquier representación de un álgebra de Clifford induce una representación de su correspondiente álgebra de Lorentz.
Entonces, tomemos una representación irreducible arbitraria del álgebra de Lorentz en cuatro dimensiones, etiquetada por de dimensión . Hay tres casos:
: Este es solo el caso de uno y el otro siendo cero. El -Las representaciones son los espinores de Weyl y son subrepresentaciones de las representaciones únicas irreducibles del álgebra de Clifford en cuatro dimensiones, los espinores de Dirac. El -representaciones son las de (anti-)auto-dual 2-formas y no descienden del álgebra de Clifford, sin embargo, estos también tienen "fase " como una representación proyectiva, por lo que esto cae en el caso en que la pregunta considera la respuesta "obvia". 1
: El único irrep de cuatro dimensiones del grupo de Lorentz es , los 4 vectores ordinarios, que no llevan una representación del álgebra de Clifford.
: Ninguna irrep del álgebra de Lorentz de dimensión mayor que 4 puede ser compatible con una representación del álgebra de Clifford por los puntos 1. y 2. anteriores: Si hubiera una representación compatible del álgebra de Clifford, tendría que ser reducible por el punto 1, es decir, tener una subrepresentación adecuada. Pero por el punto 2, esto también induciría una subrepresentación adecuada del álgebra de Lorentz, lo que significa que la irrep no era irreducible, lo que produce una contradicción.
Por lo tanto, en particular, cualquier representación del álgebra de Lorentz con y no entero es una representación proyectiva que no proviene de una representación del álgebra de Clifford.
1 Una representación lineal del álgebra de Lorentz se integra a una representación lineal (y no meramente proyectiva) del grupo de Lorentz ortocrónico propio si y solo si es entero.
DanielC
AccidentalFourierTransformar
DanielC