Normalización del nivel de Chern-Simons en la teoría de norma SO(N)SO(N)SO(N)

En una teoría de norma 3d SU(N) con acción k 4 π T r ( A d A + 2 3 A A A ) , donde los generadores se normalizan a T r ( T a T b ) = 1 2 d a b , es bien conocido el nivel de Chern-Simons k se cuantifica a valores enteros, es decir k Z .

Mi pregunta es sobre la cuantización análoga en S O ( norte ) teorías de calibre (una normalización más estándar en este caso sería T r ( T a T b ) = 2 d a b ). Algunas sutilezas relacionadas se discuten en un artículo (bastante difícil) de Dijkgraaf y Witten Topological Gauge Theories and Group Cohomology, pero no estoy seguro del resultado final.

¿Alguien sabe cómo normalizar correctamente el término de Chern-Simons en S O ( norte ) Teorías de calibre, o conoces una referencia donde se explique esto?

Respuestas (2)

Déjame normalizar la acción como

S = k 4 π A d A + 1 3 A [ A A ]
por , siendo la forma de Matar. Esto coincide con su normalización para S tu ( norte ) .

Variación de la acción de Chern-Simons bajo una transformación de norma gramo : METRO GRAMO es dado por

S S + k 24 π gramo [ METRO ] θ [ θ θ ] ,
dónde θ Ω 1 ( GRAMO ; gramo ) es la forma de Maurer-Cartan (Proposición 2.3 en http://arxiv.org/abs/hep-th/9206021 ). El último término también se denomina término de Wess-Zumino. Por lo tanto, Exp ( i S ) es invariante si
k 24 π [ C ] θ [ θ θ ] 2 π Z
por [ C ] el generador de H 3 ( GRAMO ; Z ) .

Para GRAMO = S O ( norte ) , la homología es generada por S O ( 3 ) S O ( norte ) , y ese término se puede calcular de la siguiente manera. Como usted dice,

1 24 π S tu ( 2 ) θ [ θ θ ] = 2 π ,
pero S tu ( 2 ) S O ( 3 ) es un difeomorfismo local 2:1, entonces
1 24 π S O ( 3 ) θ [ θ θ ] = π .

Por lo tanto, el nivel k en este caso tiene que ser parejo. Véase también el apéndice 15.A del libro de teoría de campos conformes de Di Francesco, Mathieu y Senechal.

Correcto... Aquí estás distinguiendo cuidadosamente, por ejemplo S O ( 3 ) = S tu ( 2 ) / Z 2 y S tu ( 2 ) , ¿Correcto? Tienen diferentes normalizaciones, es decir, diferentes permitidas. k , ¿no?
Eso es correcto. Además, si desea considerar paquetes no triviales (y escribir las acciones correspondientes), debe considerar k divisible por 4. Esta declaración aparece en Dijkgraaf-Witten, sección 4.3.
@Pavel: Nos cuesta entender por qué "k es divisible por 4", como se menciona en Dijkgraaf-Witten. ¿Podría amablemente expandir/explicar su declaración "si desea considerar paquetes no triviales (y escribir las acciones correspondientes), debe considerar k divisible por 4"?

¿Podemos simplemente comentar que el Tr [ T r a T r b ] C ( r ) d a b depende de la representación. Para el caso de SU(2) y SO(3), podemos relacionar esto con la representación spin-S. Por cierto, el grupo SU(2) está en una representación de espín 1/2 y el grupo SO(3) está en una representación de espín 1. Uno puede escribir la relación de los operadores de espín como:

S X 2 + S y 2 + S z 2 = S ( S + 1 ) yo 2 s + 1 .
( = 1 ). Y
a ( S a ) 2 = S X 2 + S y 2 + S z 2 = a = X , y , z ( T a ) 2 = 3 ( T b ) 2
aquí b puede ser X , y , z . Entonces, combine las dos relaciones anteriores:
1 2 Tr [ T r a T r b ] = 1 2 S ( S + 1 ) 3 Tr [ yo 2 s + 1 ] = S ( S + 1 ) ( 2 S + 1 ) 6
Para SU(2), representación spin-1/2, tenemos:
Tr [ T r a T r b ] = 2 S ( S + 1 ) ( 2 S + 1 ) 6 | S = 1 / 2 = 1 / 2
Para SO(3), representación spin-1, tenemos:
Tr [ T r a T r b ] = 2 S ( S + 1 ) ( 2 S + 1 ) 6 | S = 1 = 2
.

Para la representación spin-3/2, tenemos:

Tr [ T r a T r b ] = 2 S ( S + 1 ) ( 2 S + 1 ) 6 | S = 3 / 2 = 5 ,
etc. Diremos que el nivel k de cuantización de SU(2) CS y SO(3) CS están relacionados por un factor de:
( 1 / 2 ) / 2 = 1 / 4.

Y este valor de cuantificación presumiblemente es un valor cuantificado medible para la conductancia de spin-Hall . Véase, por ejemplo, la discusión en este documento: Fases topológicas protegidas por simetría con simetrías de carga y espín: teoría de respuesta y teoría de calibre dinámico en 2D, 3D y la superficie de 3D: arXiv-1306.3695v2 , en Eq(26) y su p .7 columna derecha y en p.8 columna izquierda. Véase también este documento Phys Rev B.

Esta forma de interpretación simplifica el argumento matemático de Dijkgraaf-Witten o Moore-Seiberg a un nivel muy físico del giro. S propiedad. ¿Estarías de acuerdo?

¿Alguna idea/comentario adicional?