En matemáticas , un elemento de Casimir (también conocido como invariante de Casimir o operador de Casimir ) es un elemento distinguido del centro del álgebra envolvente universal de un álgebra de Lie . Un ejemplo prototípico es el operador de momento angular al cuadrado , que es un elemento de Casimir del grupo de rotación tridimensional .
El elemento Casimir lleva el nombre de Hendrik Casimir , quien los identificó en su descripción de la dinámica del cuerpo rígido en 1931. [1]
Definición
El invariante de Casimir más utilizado es el invariante cuadrático. Es el más simple de definir, por lo que se da primero. Sin embargo, también se pueden tener invariantes de Casimir de orden superior, que corresponden a polinomios simétricos homogéneos de orden superior; su definición se da al final.
Elemento Casimir cuadrático
Suponer que es un -Álgebra de Lie semimple dimensional . Sea B una forma bilineal no degenerada enque es invariante bajo la acción adjunta de sobre sí mismo, lo que significa que para todo X, Y, Z en . (La elección más típica de B es la forma Killing ).
ser cualquier base de, y
ser la base dual de con respecto a B . El elemento Casimir porque B es el elemento del álgebra envolvente universal dado por la fórmula
Aunque la definición se basa en una elección de base para el álgebra de Lie, es fácil demostrar que Ω es independiente de esta elección. Por otro lado, Ω no depende de la forma bilineal B . La invariancia de B implica que el elemento Casimir conmuta con todos los elementos del álgebra de Lie, y por lo tanto se encuentra en el centro del álgebra envolvente universal. [2]
Casimir invariante de una representación lineal y de una acción suave
Dada una representación ρ deen un espacio vectorial V, posiblemente de dimensión infinita, el invariante de Casimir de ρ se define como ρ (Ω), el operador lineal en V dado por la fórmula
Aquí asumimos que B es la forma Killing; de lo contrario, se debe especificar B.
Una forma específica de esta construcción juega un papel importante en la geometría diferencial y el análisis global. Suponga que un grupo de Lie conectado G con álgebra de Lie actúa sobre una variedad diferenciable M . Considere la representación correspondiente ρ de G en el espacio de funciones suaves en M. Entonces los elementos deestán representados por operadores diferenciales de primer orden en M. En esta situación, el invariante de Casimir de ρ es el operador diferencial de segundo orden invariante G en M definido por la fórmula anterior.
Especializándonos aún más, si sucede que M tiene una métrica de Riemann en la que G actúa transitivamente por isometrías, y el subgrupo estabilizador G x de un punto actúa irreductiblemente en el espacio tangente de M en x , entonces el invariante de Casimir de ρ es un múltiplo escalar del operador laplaciano procedente de la métrica.
También se pueden definir invariantes de Casimir más generales, que ocurren comúnmente en el estudio de operadores pseudo-diferenciales en la teoría de Fredholm .
Caso general
El artículo sobre álgebras envolventes universales ofrece una definición detallada y precisa de los operadores de Casimir y una exposición de algunas de sus propiedades. En particular, todos los operadores de Casimir corresponden a polinomios homogéneos simétricos en el álgebra simétrica de la representación adjunta Es decir, en general, se tiene que cualquier operador de Casimir tendrá la forma
donde m es el orden del tensor simétrico y el formar una base de espacio vectorial de Esto corresponde a un polinomio homogéneo simétrico
en m variables indeterminadasen el álgebra polinomial sobre un campo K . La razón de la simetría se deriva del teorema PBW y se analiza con mucho más detalle en el artículo sobre álgebras envolventes universales .
No servirá cualquier tensor simétrico (polinomio homogéneo simétrico); debe conmutar explícitamente con el soporte de Lie. Es decir, uno debe tener eso
para todos los elementos básicos Cualquier polinomio simétrico propuesto se puede verificar explícitamente, haciendo uso de las constantes de estructura
para obtener
Este resultado se debe originalmente a Israel Gelfand . [3] La relación de conmutación implica que los operadores de Casimir se encuentran en el centro del álgebra envolvente universal y, en particular, siempre conmutan con cualquier elemento del álgebra de Lie. Es debido a esta propiedad de conmutación que permite que una representación de un álgebra de Lie sea etiquetada por valores propios de los operadores de Casimir asociados.
Cualquier combinación lineal de los polinomios simétricos descritos anteriormente también se ubicará en el centro: por lo tanto, los operadores de Casimir están, por definición, restringidos a ese subconjunto que abarca este espacio (que proporciona una base para este espacio). Para un álgebra de Lie semisimple de rango r , habrá r invariantes de Casimir.
Propiedades
Unicidad
Dado que para un álgebra de mentira simple cada forma bilineal invariante es un múltiplo de la forma de Killing , el elemento de Casimir correspondiente se define de forma única hasta una constante. Para un álgebra de Lie semisimple general, el espacio de formas bilineales invariantes tiene un vector base para cada componente simple y, por lo tanto, lo mismo es cierto para el espacio de los operadores de Casimir correspondientes.
Relación con el laplaciano en G
Si es un grupo de Lie con álgebra de Lie , la elección de una forma bilineal invariante en corresponde a una elección de métrica riemanniana bi-invariante en. Luego, bajo la identificación del álgebra envolvente universal de con los operadores diferenciales invariantes a la izquierda en , el elemento Casimir de la forma bilineal en mapas al Laplaciano de (con respecto a la métrica bi-invariante correspondiente).
Generalizaciones
El operador de Casimir es un elemento cuadrático distinguido del centro del álgebra envolvente universal del álgebra de Lie. En otras palabras, es un miembro del álgebra de todos los operadores diferenciales que conmuta con todos los generadores del álgebra de Lie. De hecho, todos los elementos cuadráticos en el centro del álgebra envolvente universal surgen de esta manera. Sin embargo, el centro puede contener otros elementos no cuadráticos.
Según el teorema de Racah , [4] para un álgebra de Lie semisimple, la dimensión del centro del álgebra envolvente universal es igual a su rango . El operador de Casimir da el concepto de laplaciano en un grupo de Lie semisimple general ; pero esta forma de contar muestra que puede no haber un análogo único del laplaciano, para rango> 1.
Por definición, cualquier miembro del centro del álgebra envolvente universal conmuta con todos los demás elementos del álgebra. Según el lema de Schur , en cualquier representación irreducible del álgebra de Lie, el operador de Casimir es proporcional a la identidad. Esta constante de proporcionalidad se puede utilizar para clasificar las representaciones del álgebra de Lie (y, por tanto, también de su grupo de Lie ). La masa física y el giro son ejemplos de estas constantes, al igual que muchos otros números cuánticos que se encuentran en la mecánica cuántica . Superficialmente, los números cuánticos topológicos forman una excepción a este patrón; aunque teorías más profundas apuntan a que se trata de dos facetas del mismo fenómeno. [ según quién? ] .
Ejemplo:
El álgebra de mentira consta de matrices complejas de dos por dos sin rastro. Hay tres elementos básicos estándar,,, y , con
- , , .
Los conmutadores son
- , , y
Se puede demostrar que el elemento Casimir es
Ejemplo:
El álgebra de mentira es el álgebra de Lie de SO (3) , el grupo de rotación para el espacio euclidiano tridimensional . Es simple de rango 1, por lo que tiene un solo Casimir independiente. La forma de Killing para el grupo de rotación es solo el delta de Kronecker , por lo que el invariante de Casimir es simplemente la suma de los cuadrados de los generadoresdel álgebra. Es decir, el invariante de Casimir está dado por
Considere la representación irreductible de en el que el mayor valor propio de es , donde los posibles valores de están . La invariancia del operador de Casimir implica que es un múltiplo del operador de identidad. Esta constante se puede calcular explícitamente, dando el siguiente resultado [5]
En mecánica cuántica , el valor escalarse conoce como el momento angular total . Para la matriz de valor de dimensión finita representaciones del grupo de rotación,siempre toma valores enteros (para representaciones bosónicas ) o valores medio enteros (para representaciones fermiónicas ).
Por un valor dado de , la representación matricial es -dimensional. Así, por ejemplo, la representación tridimensional de corresponde a , y lo dan los generadores
donde los factores de son necesarios para estar de acuerdo con la convención de física (utilizada aquí) de que los generadores deben ser operadores autoadjuntos.
El invariante cuadrático de Casimir se puede calcular fácilmente a mano, con el resultado de que
como Cuándo . De manera similar, la representación bidimensional tiene una base dada por las matrices de Pauli , que corresponden al espín 1/2, y se puede verificar nuevamente la fórmula de Casimir mediante cálculo directo.
Autovalores
Dado que es central en el álgebra envolvente, actúa sobre módulos simples mediante un escalar. Dejar ser cualquier forma bilineal simétrica no degenerada, por la cual definimos . Dejar ser el módulo de peso de mayor peso de dimensión finita . Entonces el elemento Casimir actúa sobre por la constante
dónde es el peso definido por la mitad de la suma de las raíces positivas. [6]
Un punto importante es que si no es trivial (es decir, si ), entonces la constante anterior es distinta de cero. Después de todo, desde es dominante, si , luego y , mostrando que . Esta observación juega un papel importante en la demostración del teorema de Weyl sobre la reducibilidad completa . También es posible probar la no desaparición del valor propio de una manera más abstracta, sin utilizar una fórmula explícita para el valor propio, utilizando el criterio de Cartan; véanse las secciones 4.3 y 6.2 del libro de Humphreys.
Ver también
- Isomorfismo de Harish-Chandra
- Pseudovector de Pauli – Lubanski
Referencias
- ^ Oliver, David (2004). El peludo corcel de la física: belleza matemática en el mundo físico . Saltador. pag. 81 . ISBN 978-0-387-40307-6.
- ^ Salón 2015 Proposición 10.5
- ^ Xavier Bekaert, " Álgebras envolventes universales y algunas aplicaciones en física " (2005) Conferencia, Escuela de verano Modave en física matemática .
- ^ Racah, Giulio (1965). Teoría de grupos y espectroscopia . Springer Berlín Heidelberg.
- ↑ Hall 2013 Proposition 17.8
- ^ Salón 2015 Proposición 10.6
- Hall, Brian C. (2013), Teoría cuántica para matemáticos , Textos de posgrado en matemáticas, 267 , Springer, ISBN 9781461471165
- Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction , Textos de posgrado en matemáticas, 222 (2a ed.), Springer, ISBN 978-3319134666
Otras lecturas
- Humphreys, James E. (1978). Introducción a las álgebras de mentira y teoría de la representación . Textos de Posgrado en Matemáticas. 9 (Segunda impresión, edición revisada). Nueva York: Springer-Verlag. ISBN 0-387-90053-5.
- Jacobson, Nathan (1979). Álgebras de mentiras . Publicaciones de Dover. pp. 243 -249. ISBN 0-486-63832-4.
- https://mathoverflow.net/questions/74689/motivating-the-casimir-element