En matemáticas y física teórica , un grupo cuántico localmente compacto es un enfoque algebraico C* relativamente nuevo para los grupos cuánticos que generaliza los enfoques del álgebra de Kac , el grupo cuántico compacto y el álgebra de Hopf . Los intentos anteriores de una definición unificadora de los grupos cuánticos utilizando, por ejemplo, unitarios multiplicativos han tenido cierto éxito, pero también han encontrado varios problemas técnicos.
Una de las principales características que distinguen a este nuevo enfoque de sus predecesores es la existencia axiomática de pesos invariantes izquierdos y derechos. Esto proporciona un análogo no conmutativo de las medidas de Haar izquierdas y derechas en un grupo de Hausdorff localmente compacto.
Definiciones
Antes de que podamos empezar a definir correctamente un grupo cuántico localmente compacto, primero debemos definir una serie de conceptos preliminares y también enunciar algunos teoremas.
Definición (peso). Sea una C*-álgebra , y sea el conjunto de elementos positivos de . Un peso de es una función tal que
- para todos , y
- para todos y .
Algunas notaciones para pesos. Sea un peso en un álgebra de C* . Usamos la siguiente notación:
- , que se denomina el conjunto de todos los elementos integrables positivos de .
- , que se denomina el conjunto de todos los elementos integrables al cuadrado de .
- , que se denomina el conjunto de elementos todos integrables de .
Tipos de pesos. Sea un peso en una C*-álgebra .
- Decimos que es fiel si y sólo si para cada valor distinto de cero .
- Decimos que es semicontinuo inferior si y sólo si el conjunto es un subconjunto cerrado de para cada .
- Decimos que está densamente definido si y solo si es un subconjunto denso de , o equivalentemente, si y solo si o es un subconjunto denso de .
- Decimos que es propio si y sólo si es distinto de cero, semicontinuo inferior y densamente definido.
Definición (grupo de un parámetro). Sea un C*-álgebra. Un grupo de un parámetro en es una familia de *-automorfismos de que satisface para todo . Decimos que es norma-continua si y solo si para todo , la aplicación definida por es continua (¿seguramente esto debería llamarse fuertemente continuo?).
Definición (extensión analítica de un grupo de un parámetro). Dado un grupo de un parámetro continuo en la norma en un C*-álgebra , vamos a definir una extensión analítica de . Para cada , sea
- ,
que es una franja horizontal en el plano complejo. Llamamos a una función norma-regular si y solo si se cumplen las siguientes condiciones:
- Es analítica en el interior de , es decir, para cada en el interior de , el límite existe con respecto a la topología norma en .
- Está limitado por normas en .
- Es norma continua en .
Supongamos ahora que , y sea
Definir por . La función está determinada de forma única (por la teoría de funciones analíticas complejas), por lo que está bien definida. La familia se denomina entonces extensión analítica de .
Teorema 1. El conjunto , llamado conjunto de elementos analíticos de , es un subconjunto denso de .
Definición (peso KMS). Sea un álgebra C* y un peso en . Decimos que es un peso KMS ('KMS' significa 'Kubo-Martin-Schwinger') en si y solo si es un peso propio en y existe un grupo de un parámetro continuo en la norma tal que
- es invariante bajo , es decir, para todos , y
- para cada , tenemos .
Denotamos por el álgebra multiplicadora de .
Teorema 2. Si y son C*-álgebras y es un *-homomorfismo no degenerado (es decir, es un subconjunto denso de ), entonces podemos extender de manera única a un *-homomorfismo .
Teorema 3. Si es un estado (es decir, una funcional lineal positiva de norma ) en , entonces podemos extender de manera única a un estado en .
Definición (Grupo cuántico localmente compacto). Un grupo cuántico localmente compacto (C*-algebraico) es un par ordenado , donde es una C*-álgebra y es un *-homomorfismo no degenerado llamado co-multiplicación , que satisface las siguientes cuatro condiciones:
- La co-multiplicación es co-asociativa, es decir, .
- Los conjuntos y son subconjuntos linealmente densos de .
- Existe un peso KMS fiel que es invariante a la izquierda, es decir, para todos y .
- Existe un peso KMS que es invariante a la derecha, es decir, para todos y .
A partir de la definición de un grupo cuántico localmente compacto, se puede demostrar que el peso KMS invariante por la derecha es automáticamente fiel. Por lo tanto, la fidelidad de es una condición redundante y no necesita postularse.
Dualidad
La categoría de grupos cuánticos localmente compactos permite una construcción dual con la que se puede demostrar que el bidual de un grupo cuántico localmente compacto es isomorfo al original. Este resultado proporciona una generalización de gran alcance de la dualidad de Pontryagin para grupos abelianos de Hausdorff localmente compactos.
Formulaciones alternativas
La teoría tiene una formulación equivalente en términos de álgebras de von Neumann .
Véase también
Referencias
- Johan Kustermans y Stefan Vaes. "Grupos cuánticos localmente compactos". Annales Scientifiques de l'École Normale Supérieure. vol. 33, núm. 6 (2000), págs. 837–934.
- Thomas Timmermann. “Una invitación a los grupos cuánticos y la dualidad: desde las álgebras de Hopf hasta las unitarias multiplicativas y más allá”. EMS Textbooks in Mathematics, European Mathematical Society (2008).