¿El fermión sin masa en 2+12+12+1 dimensiones sufre anomalía de calibre?

En Fermion Path Integrals And Topological Phases, Witten mostró que para un fermión de Dirac sin masa en 2 + 1 dimensiones

S [ ψ ¯ , ψ ] = d 3 X ψ ¯ i D / A ψ ,

dónde A es un tu ( 1 ) campo de indicador de fondo, la función de partición debe ser

Z = | det ( i D / A ) | Exp { i π η ( A ) 2 } ,

dónde η ( A ) es el APS eta-invariante introducido en Asimetría espectral y Geometría de Riemann . Esta función mide la asimetría del espectro del operador de Dirac. En un lenguaje descuidado, η ( A ) es igual al número de modos positivos de i D / A menos el número de modos negativos de i D / A .

El factor de fase proviene de la regularización de Pauli-Villars. Para ser específicos, dado que la expresión formal de la función de partición

Z = λ S pag mi C λ ,

donde cada uno λ es un valor propio del operador hermitiano i D / A , es un producto infinito, el signo global de la función de partición no está definido. Se puede regularizar agregando el Lagrangiano a un regulador de Pauli-Villars

L r mi gramo = límite METRO ( x ¯ i D / A x + i METRO x ¯ x ) ,

dónde x es un escalar fantasma que satisface la ecuación de Dirac. Entonces, usando la fórmula

A r gramo ( z w ) = A r gramo ( z ) + A r gramo ( w ) metro o d 2 π

uno encuentra que la función de partición regularizada de hecho se convierte en

Z = | det ( i D / A ) | Exp { i π η ( A ) 2 } .

Sin embargo, todavía hay un problema cuando se realiza una transformación de gran calibre. Bajo una gran transformación de calibre, puede haber un flujo espectral neto del operador de Dirac. Esto se introdujo en Violación de paridad y no invariancia de calibre de la acción de campo de calibre efectivo en tres dimensiones .

Para ser específicos, comencemos desde A . Bajo una transformación de gran calibre Φ , A se transforma en A Φ . Luego, uno puede interpolar los dos y hacer un campo de calibre

A s = ( 1 s ) A + s A Φ ,

dónde s [ 0 , 1 ] parametriza el flujo espectral bajo una gran transformación de calibre. Aquí, A y A Φ son calibre equivalente.

Por ejemplo, si uno de los modos positivos de i D / A fluye a través de un modo cero al espectro negativo, entonces η ( A ) pasaría de largo ± 2 .

ingrese la descripción de la imagen aquí

Como resultado, el signo de la función de partición cambiaría en consecuencia. Sin embargo, uno esperaría que el espectro en s = 0 es idéntico al espectro en s = 1 ya que los dos están relacionados a través de una transformación de calibre.

La existencia del flujo espectral está garantizada por el teorema del índice APS. El número de modos propios que fluyen a través de 0 es igual a un índice de Dirac Δ en el espacio-tiempo de cuatro dimensiones. es decir, uno ve el 2 + 1 espacio-tiempo dimensional como el límite de un 3 + 1 volumen dimensional. En otras palabras, bajo una transformación de calibre grande, la partición se transforma como

Z Z ( 1 ) Δ .

Sin embargo, no hay una razón obvia por la que el índice en general pueda ser un número par. Esto también se discutió en Anomalías y dimensiones impares .

¿Significa esto que el fermión de Dirac sin masa en 2 + 1 dimensiones sufren de una anomalía de calibre?

Esto se denomina anomalía de paridad ( en.wikipedia.org/wiki/Parity_anomaly ). La afirmación habitual es que no es posible preservar P y la simetría de calibre, es decir, no hay un regulador invariante de calibre que preserve la paridad. La no invariancia bajo transformación de calibre grande no es un problema; por lo general, uno no considera que las transformaciones de calibre grande sean transformaciones de calibre (la terminología es horrible, lo sé).
@LorenzMayer Sé que tiene una anomalía de paridad. Pero, ¿podría explicar por qué la no invariancia bajo la transformación de calibre grande no es un problema?
No puedo dar una respuesta general, de lo contrario habría formulado una, pero sentí que sería útil apuntar en algunas direcciones que parecen importantes. Una cosa que uno puede decir de inmediato es que uno PUEDE, consistentemente, usar solo las transformaciones de calibre pequeño como grupo de calibre, porque son un componente conectado y un subgrupo en todas las transformaciones de calibre. Ahora, ¿por qué DEBERÍA uno hacer esto? Tampoco me queda claro. Están estas conferencias de Andrew Strominger arxiv.org/pdf/1703.05448.pdf (cf sección 2.7); Si encuentro una respuesta más concluyente, te lo haré saber.
@LorenzMayer Gracias por recomendarme las notas de clase. ¿Podría decirme qué software usa Andrew Strominger para dibujar esas imágenes coloridas en las notas de clase?
Me gustaría mucho saber esto también.

Respuestas (1)

La invariante eta de un operador Dirac 2+1 acoplado a un fondo de campo de calibre no abeliano depende de una constante (dependiendo de la métrica, que se supondrá fija) una acción Chern-Simons inducida. El Coeficiente del término de Chern-Simons es igual (para cada sabor) a | metro | metro , dónde metro es la masa del fermión.

Witten da una explicación moderna de este hecho en Fermion Path Integrals And Topological Phases (ecuación 2.51). Ojima proporciona, por ejemplo, una evaluación teórica de campo tradicional de la función de partición del fermión .

Desde | metro | metro es entero, la acción de Chern-Simons es invariante bajo transformaciones de calibre grande así como para transformaciones de calibre pequeño. Como explica Witten, la fase que no desaparece de la función de partición es de hecho una indicación de una anomalía que, en la explicación moderna, puede considerarse como una anomalía de inversión del tiempo, ya que la teoría no puede cuantificarse en un T manera invariable debido al término emergente de Chern-Simons.

El coeficiente de Chern-Simons es medio entero y la fase escrita en términos de la acción de Chern-Simons no es invariante de calibre.
Gracias Sr. David Bar Moshe. Sé que tiene una anomalía de paridad, pero mi pregunta es sobre la anomalía de calibre. El invariante eta salta por 2 bajo el flujo espectral.
@The Last Knight of Silk Road, lo siento por la respuesta descuidada e incorrecta. Intentaré corregir todo en los próximos días.