Sí. Tanto las cubiertas universales como las extensiones centrales incurridas durante la cuantificación provienen del mismo concepto fundamental:
Representaciones proyectivas
SiH
es nuestro espacio de estados de Hilbert, entonces los distintos estados físicos no son vectores ψ ∈ H
, sino rayos , ya que la multiplicación por un número complejo no cambia los valores esperados dados por la regla
⟨ Un⟩ψ=⟨ ψ | un | ψ ⟩⟨ ψ | ψ ⟩
ni las probabilidades de transición
PAGS( | ψ ⟩ → | ϕ ⟩ ) =| ⟨ ψ | ϕ ⟩|2⟨ ϕ | ϕ ⟩ ⟨ ψ | ψ ⟩
El espacio adecuado a considerar, donde cada elemento del espacio es de hecho un estado físico distinto, es el
espacio proyectivo de Hilbert
P H : = H / ∼
| ψ ⟩ ∼ | ϕ ⟩ : ⇔ ∃ C ∈ C : | ψ ⟩ = do | ϕ ⟩
que es solo una forma elegante de escribir que cada rayo complejo se ha reducido a un punto. Por
el teorema de Wigner , cada simetría debe tener alguna representación unitaria, no necesariamente única.
ρ : GRAMO → U ( H )
. Como tiene que descender a una
transformación de rayo bien definida , la acción de la simetría viene dada por un homomorfismo de grupo en el
grupo unitario proyectivo G → PU ( H ) _
, que se encuentra en una
secuencia exacta
1 → U ( 1 ) → U ( H ) → P U ( H ) → 1
dónde
tu (1)
representa el "conjunto de fases" que se desdobla al pasar al espacio proyectivo. Ya es importante notar que esto significa
U ( H )
es una extensión central de
PU ( H ) _
por
tu (1)
.
Clasificar todas las posibles representaciones permitidas cuánticamente de un grupo de simetríaGRAMO
, necesitamos entender los homomorfismos del grupo de Lie permitidosσ: G → PU ( H ) _
. Dado que las representaciones lineales son más agradables para trabajar que estas extrañas cosas proyectivas, veremos
Clasificación de representaciones proyectivas por representaciones lineales unitarias
Para cualquiergramo∈ G
, elige un representanteΣ ( gramo) ∈ U ( H )
para cadaσ( gramo) ∈ PU ( H ) _
. Esta elección es altamente no única y es esencialmente responsable de cómo aparece la extensión central. Ahora, ya que para cualquiergramo, h ∈ G
tenemosσ( gramo) σ( h ) = σ( gramoh )
, las elecciones de los representantes deben cumplir
Σ ( gramo) Σ ( h ) = C( gramo, h ) Σ ( gramoh )
para algunos
C: G × G → U ( 1 )
. Aplicando la asociatividad a
Σ ( gramo) Σ ( h ) Σ ( k )
da el requisito de consistencia
C( gramo, h k ) C( h , k ) = C( gramo, h ) C( gramoh , k )(1)
que también se llama la
identidad del cociclo . Para cualquier otra opción
Σ′
, Debemos tener
Σ′( gramo) = f( gramo) Σ ( gramo)
para algunos
F: G → T ( 1 )
.
Σ′
tiene un asociado
C′
, y así obtenemos
C′( gramo, h )Σ′( gramoh ) =Σ′( gramo)Σ′( h ) = f( gramo) f( h ) C( gramo, h ) f( gramoh)− 1Σ′( gramoh )
lo que produce el requisito de consistencia
C′( gramo, h ) f( gramoh ) = f( gramo) f( h ) C( gramo, h )(2)
Por lo tanto, las representaciones proyectivas se clasifican dando la elección de representantes unitarios
Σ
, pero los que están relacionados por
( 2 )
dan la misma representación proyectiva. Formalmente, el conjunto
H2( GRAMO , T ( 1 ) ) : = { C: GRAMO × GRAMO → U ( 1 ) ∣ C cumple ( 1 ) } / ∼
C∼C′: ⇔ ∃ f: ( 2 ) tiene
clasifica las representaciones proyectivas de
GRAMO
. Queremos usarlo para construir una representación unitaria de algo que clasifique la representación proyectiva:
Definir el producto semidirecto GRAMOC: = G⋉Ctu (1)
para cualquier representanteC
de un elemento enH2( G , T ( 1 )
dotando al producto CartesionG × U ( 1 )
con la multiplicacion
( gramo, α ) ⋅ ( h , β) : = ( gramoh , α βC( gramo, h ) )
Se puede comprobar que se trata de una extensión central, es decir, la imagen de
U (1)→G⋉Ctu (1)
esta en el centro de
GRAMOC
, y
1 → U ( 1 ) →GRAMOC→ G → 1
es exacto Para cualquier representación proyectiva
σ
, arreglar
Σ , C
y definir la representación lineal
σC:GRAMOC→ U ( H ) , ( gramo, α ) ↦ α Σ ( gramo)
Por el contrario, toda representación unitaria
ρ
de algunas
GRAMOC
da un par
Σ , C
por
Σ ( gramo) =α− 1ρ ( gramo, a )
.
Por lo tanto, las representaciones proyectivas están en biyección a las representaciones lineales de extensiones centrales.
En el nivel de las álgebras de Lie, tenemostu ( H )= pag tu ( H )⊕ R
, donde el elemento basei
deR
genera múltiplos de la identidadmiyo ϕYo _
. Omitimos elYo _
a continuación, cada vez que se suma un número real a un elemento del álgebra de Lie, se supone que se multiplica por él.
Repitiendo los argumentos anteriores para las álgebras de Lie, obtenemos que la representación proyectivaσ: G → PU ( H ) _
induce una representación del álgebra de Lieϕ : gramo → pag tu ( H )
. Una elección de representantesΦ
entu (H)
clasifica tal representación proyectiva junto con un elementoθ
en
H2( gramo , R ) : = { θ : gramo × gramo → R ∣ cumple (1′) y θ ( tu , v ) = − θ ( v , tu ) } / ∼
θ ∼θ′: ⇔ ∃ ( segundo : gramo → R ) :θ′( tu , v ) = θ ( tu , v ) + segundo ( [ tu , v ] )
con condición de consistencia
θ ( [ tu , v ] , w ) + θ ( [ w , tu ] , v ) + θ ( [ v , w ] , tu ) = 0(1')
que
θ
respeta la identidad jacobi, esencialmente.
Así, una representación proyectiva degramo
se clasifica porΦ
junto con unθ ∈H2( gramo , R )
. Aquí, la extensión central está definida porgramoθ: = gramo ⊕ R
con soporte de mentira
[ tu ⊕ y, v ⊕ z] = [ tu , v ] ⊕ θ ( tu , v )
y obtenemos una representación lineal de ella en
tu ( H )
por
ϕθ( tu ⊕ z) : = Φ ( tu ) + un
Nuevamente, obtenemos una biyección entre representaciones proyectivas degramo
y los de sus prolongaciones centralesgramoθ
.
Coberturas universales, cargas centrales
Finalmente estamos en posición de decidir qué representaciones deGRAMO
debemos permitir cuánticamente. Distinguimos tres casos:
No hay extensiones centrales no triviales de cualquieragramo
oGRAMO
. En este caso, todas las representaciones proyectivas deGRAMO
ya están dados por las representaciones lineales deGRAMO
. Este es el caso, por ejemplo,SU (n) _
.
No hay extensiones centrales no triviales degramo
, pero hay extensiones centrales discretas deGRAMO
porZnorte
en vez detu (1)
. Esos evidentemente también descienden a representaciones proyectivas deGRAMO
. Las extensiones centrales de los grupos de Lie por grupos discretos solo cubren grupos de ellos, porque la cobertura universalGRAMO¯¯¯¯
da el grupoGRAMO
como el cocienteGRAMO¯¯¯¯/ Γ
por un subgrupo central discretoΓ
isomorfo al grupo fundamental del grupo cubierto. Así conseguimos que todas las representaciones proyectivas deGRAMO
vienen dadas por representaciones lineales de la cubierta universal. No se producen cargos centrales. Este es el caso, por ejemplo,SO (n) _
.
Hay extensiones centrales no triviales degramo
, y en consecuencia también deGRAMO
. Si el elementoθ ∈H2( gramo , R )
no es cero, hay una carga central - el generador de la⊕ R
engramoθ
, o de manera equivalente la carga conservada perteneciente al subgrupo centraltu (1)⊂GRAMOC
. Esto sucede para el álgebra de Witt, donde no equivalenteθ (Lmetro,Lnorte) =C12(metro3- metro )dmetro , - norte
se clasifican por numeros realesc ∈ R
.
danu
Pedro Kravchuk
qmecanico