¿Existe una conexión entre los Grupos de Lie y las cantidades observables en física?

Buenas tardes a todos.

Tengo algunas preguntas sobre la relación entre los grupos de Lie y los observables en física. De hecho, tomando el ejemplo del formalismo de espín de la mecánica cuántica, sé que las matrices de Pauli { σ i } corresponden a una cantidad observable ( 1 2 valores propios de la proyección de espín), ya que estos últimos son operadores hermitianos.

Sin embargo, por un estudio reciente sobre teoría de grupos entendí que 1 2 Los estados propios de espín de QM clásico pueden abarcar el espacio vectorial que se transforma bajo una representación del grupo de Lie S tu ( 2 ) .

Siempre es el caso de que una base hermítica de un álgebra de Lie represente una cantidad observable en QM o solo es el caso de S tu ( 2 ) ¿grupo? ¿Cuál es la conexión general entre la teoría de grupos y las cantidades observables de QM y QFT?

Los observables cuánticos son operadores autoadjuntos, y los observables clásicos también forman un álgebra de Lie en el espacio de fase bajo el corchete de Poisson.
Entiendo tu punto y estoy de acuerdo contigo. Pero todavía tengo algunos problemas para entender cómo es posible que un Grupo de Lie, un objeto que codifica en su "nivel macroscópico" información sobre cómo se transforma un objeto, pueda codificar en su nivel infinitesimal otro formalismo para medir cantidades físicas. Parece fascinante y realmente complejo al mismo tiempo xD
¿Conoces el teorema de Noether y cómo conecta simetrías con cantidades conservadas como cantidad de movimiento y energía? Creo que ese puede ser el eslabón perdido entre los observables físicos (que en última instancia son cantidades conservadas) y las simetrías que está buscando.
Sí, pero el teorema de Noether establece la conservación de una carga general en presencia de un grupo de transformación que deja la acción invariante (como la energía y el impulso para la simetría de traducción del espacio-tiempo como mencionaste). :) Mi pregunta es más sobre cómo puedes ver una transformación infinitesimal de un grupo de Lie (un álgebra de Lie) como una cantidad observable en física; sin necesidad de conservarlo.

Respuestas (1)

Dejar A sea ​​el C*-álgebra de un sistema mecánico cuántico, y suponga que GRAMO actúa sobre A por simetrías a través del homomorfismo de grupos α : GRAMO automático ( A ) . Supongamos además que GRAMO es un grupo de Lie simplemente conexo con trivial H 2 ( gramo , R ) , gramo siendo el álgebra de mentira de GRAMO . Si π es un α -representación regular, lo que significa que la probabilidad de transición PAG ω ω α gramo es continua en gramo GRAMO para cada estado ω , entonces GRAMO se puede representar unitariamente en el espacio de Hilbert de π de una manera que

tu gramo π ( a ) tu gramo = π ( α gramo ( a ) ) , a A ,
por el teorema de Bargmann. Esto expresa el hecho de que la pareja ( π , tu ) es una representación covariante de la GRAMO -álgebra A . Desde tu es una representación de GRAMO , induce una representación de gramo en el espacio de Hilbert de π así como a través de operadores autoadjuntos. Por lo tanto, si permite que los generadores vivan en el álgebra C* más grande generada por π ( A ) y todo el tu gramo para cualquier gramo GRAMO (el producto cruzado A ( π , tu ) GRAMO ), puedes interpretarlos como observables. En la mayoría de los casos, a estos operadores se les puede dar un significado físico (por ejemplo, los generadores de traslaciones son los operadores de cantidad de movimiento, etc.).

Supongo que debería ser GRAMO A tu t ( A ) . No sé mucho de física, así que si no te importa: ¿es el C -álgebra de un sistema un álgebra (o el álgebra) de observables? Si es así, ¿es esto un álgebra de operadores hermitianos en algún espacio fijo de Hilbert (estado), o su resumen C -la estructura del álgebra describe todo el sistema y podemos trabajar con diferentes representaciones ( A -módulos)?
Gracias, de hecho tienes razón! Por supuesto, el codominio de α tiene que estar en el conjunto de automorfismos en el C*-álgebra. Dicha álgebra es el álgebra de todos los observables. Cuando prepara un sistema mecánico en un estado determinado, obtiene una representación de A en algún espacio de Hilbert siguiendo una determinada construcción, conocida como construcción GNS. De manera más general, toda la física está codificada en la teoría de la representación de A .