El problema
Podemos demostrar que la condición para que el Modelo Estándar esté libre de anomalías es que la traza simetrizada sobre los generadores del grupo de calibre desaparezca:
¿Cómo puedo ver que esto es cierto para todas las posibilidades en el modelo estándar?
Intento de solución
Una de las fuentes que he consultado son las notas de Adel Bilal sobre anomalías (disponibles aquí: Conferencias sobre anomalías ). Aquí escribe explícitamente
Veo que aparecen las hipercargas, pero básicamente no tengo los antecedentes para entender por qué los prefactores de 2, etc. aparecen en estos cálculos. Bilal también escribe antes:
Estoy seguro de que la imagen de arriba debería responder mi pregunta, pero no entiendo los factores previos.
Tengo una comprensión básica de la teoría de la representación y QFT introductorio, pero no estoy muy familiarizado con el modelo estándar. Entonces, si la respuesta pudiera moldearse con eso en mente, sería útil.
Tomar el rastro de un operador sobre todos los estados/partículas significa efectivamente tomar una suma sobre todos los valores propios del operador (los cargos) sobre estos estados/partículas. Entonces lo que importa es cuántos estados tienes y con qué cargos.
Los números a los que te refieres son solo las multiplicidades apropiadas de los estados. Por ejemplo, el primer término de la suma en (7.19) se refiere a los quarks u y d, como puede verse en el factor (-1/6) de la hipercarga y la tabla 1, pero ¿cómo funciona el conteo?
En este caso la huella es sobre representaciones de entonces el parte del estado se puede sacar de la traza. Ya que hay 2 diferentes opciones (u y d) obtenemos un factor de 2. Esquemáticamente, si , y denota el cargas/colores, uno puede pensar en ello como
Los otros dos términos en (7.19) son singletes bajo entonces obtienen una multiplicidad de 1. ¿Qué tal el segundo término en (7.20)? De la hipercarga vemos que esto se refiere nuevamente a la fila 3 de la tabla, pero esta vez el rastro ha terminado . Esto significa que es ciego bajo el cargas y como hay 3 de ellas (obtenemos esto de la primera columna, las cargas son tantas como la dimensión de la representación) obtenemos un prefactor de 3. Esquemáticamente:
Espero que esto sea suficiente para explicar lo que está pasando con (7.21) y (7.22) también.
jonathan rayner