Esta es una pregunta muy específica de continuar los problemas que tengo con la informática la expectativa de valor de la intersección de Wilson bucles presenté aquí. El uso de las herramientas de la respuesta, estoy muy rápidamente llegar a la siguiente expresión para el factor local asociado a un vértice, donde dos Wilson lazos con representantes de $\alpha_1$ $\alpha_2$ cumplir, y donde las cuatro regiones circundantes tienen reps $\beta_1$$\beta_4$:
$$ G(\alpha_1,\alpha_2,\beta_{1,2,3,4})_{\mu\nu}^{\sigma\rho} := \epsilon_\mu^{ijk}(\alpha_1,\beta_1,\beta_4)\epsilon_\nu^{lmn}(\alpha_2,\beta_1,\beta_2){\epsilon^*}^\sigma_{ijk}(\alpha_1,\beta_2,\beta_3){\epsilon^*}^\rho_{lmn}(\alpha_2,\beta_3,\beta_4)$$
El griego índices son los índices derivados de la descomposición del tensor de productos como $a^i \otimes b^j \otimes b^k = \epsilon_\mu^{ijk}e^\mu$, que conduce a la integral de los resultados como
$$\int \alpha_i(V_b)^i_{i'} \beta_c(V_b)^j_{j'} \beta_{c'}(V_b)^k_{k'} \mathrm{d} V_b = {\epsilon^*}^\mu_{i'j'k'}\epsilon^{ijk}_\mu$$ (ver respuesta anterior). Puesto que el $\epsilon^*$ que tiene el $\mu$ esto se resume con vida en el extremo opuesto de la (parte de) la Wilson línea, el griego índices necesariamente debe permanecer abierto en los vértices. Estoy totalmente bien con este ser el resultado de un cálculo, pero todavía estoy perplejo por qué la relación con la 6j símbolo es tan a la ligera sacudida.
Permítanme en primer lugar comentar que la ecuación anterior ya es sospechosamente similar a la de la primera ecuación en la definición de $6j$ símbolos, pero los índices son irritantes de mí. Si $\epsilon_\mu^{ijk}(\alpha_l,\beta_m,\beta_n)$ $3jm$ símbolo (con $i,j,k$ jugando el papel de la $m$ y el reps correspondiente a la$j$), ¿cuál es el índice adicional $\mu$ haciendo aquí? Si no es el $3jm$ símbolo (que actualmente estoy pensando), entonces ¿por qué la $G$ definidos por encima de ser el $6j$ símbolo (y por qué lo tiene libre índices)? (Si estos no son ni $3jm$ ni $6j$ símbolos, entonces ¿por qué Witten, Ramgoolam, Moore, etc. insisten en que están?)
Tenga en cuenta que el $6j$ símbolo no puede surgir después de sumar el griego índices, puesto que el $G$s el segundo índice pertenece a son, en general, en otros vértices, y así no tienen exactamente el mismo 6 repeticiones como argumentos.
Además, el $3jm$ símbolos son, si entiendo correctamente, esencialmente la Clebsch-Gordan coeficientes de la expansión de un producto tensor de dos irreductible de repeticiones en un tercio, y la $\epsilon$ por encima de expandir el producto tensor de tres irreductible representantes en todos los cuartos (que se suman a lo largo en forma de el griego de los índices).
Algo no añadir aquí, y me fuertemente sospecho que es sólo en mi comprensión de los símbolos, de modo que yo realmente apreciaría que alguien aclarar mi confusión.
EDITAR:
Ok, creo que he encontrado algo, pero yo soy todavía un lejano disparo de resolver este acertijo, y requiere pensar más detenidamente acerca de los coeficientes de $\epsilon^{ijk}_\mu$:
Deje $\alpha,\beta,\gamma$ ser repeticiones con base en los elementos de $a^i,b^j,c^k$como antes. Entonces, podemos descomponer el producto tensor paso a paso en lugar de a la vez como:
$$ a^i \otimes b^j \otimes c^k = \sum_{\rho \subset \alpha \otimes \beta} C(\alpha,\beta,\rho)^{ij}_\zeta e(\rho)^\zeta \otimes c^k = \sum_{\rho \subset \alpha \otimes \beta} \sum_{\sigma \subset \rho \otimes \gamma} C(\alpha,\beta,\rho)^{ij}_\zeta C(\rho,\gamma,\sigma)^{\zeta k}_\mu e(\sigma)^\mu$$
(Me disculpo por la abundancia de símbolos, pero en realidad se hace más claro lo que está sucediendo de esa manera.)
Aquí, el $C(j_1,j_2,j_3)$ ahora son manifiestamente Clebsch-Gordan coeficientes de $j_1,j_2$$j_3$, y, por tanto, esencialmente $3jm$ símbolos, y la notación $\rho \subset \alpha \otimes \beta$ significa que la irreductible rep $\rho$ se produce como un subrep en $\alpha \otimes \beta$. Desde Clebsch-Gordan coeficientes por los representantes que no aparecen en un determinado producto tensor son cero, se le puede quitar la restricción en la suma y la suma de todos los irreductible reps. Por lo tanto, $\epsilon^{ijk}_\mu = \sum_\rho C(\alpha,\beta,\rho)^{ij}_\zeta C(\rho,\gamma,\sigma)^{\zeta k}_\mu$.
Ahora, en la integral resultado anterior, por el de Peter-Weyl teorema (véase también la respuesta anterior), el $\epsilon$ sólo se suman a lo largo de la $\mu$ pertenecientes a trivial subreps de $\alpha \otimes \beta \otimes \gamma$, yo.e $\sigma = 0$, si se denota el trivial rep $0$ en analogía a $j = 0$ en el spin caso. Por lo tanto, tenemos que el resultado de la integral es
$$I := \int \alpha(g)^i_{i'}\beta(g)^j_{j'}\gamma(g)^k_{k'} = \left(\sum_\rho C(\alpha,\beta,\rho)^{ij}_\zeta C(\rho,\gamma,0)^{\zeta k}_\mu C^*(\alpha,\beta,\rho)_{i'j'}^\eta C^*(\rho,\gamma,0)_{\eta k'}^\mu\right) $$
Pero el trivial irreductible rep sólo tiene una dimensión, por lo que la suma de las $\mu$ es sólo la multiplicidad $n(\rho,\gamma,0)$$0$$\rho \otimes \gamma = \bigoplus_\sigma n(\rho,\gamma,\sigma)\sigma$, es decir,
$$ I = \sum_\rho n(\rho,\gamma,0)C(\alpha,\beta,\rho)^{ij}_\zeta C(\rho,\gamma,0)^{\zeta k} C^*(\alpha,\beta,\rho)_{i'j'}^\eta C^*(\rho,\gamma,0)_{\eta k'}$$
Esto elimina el molesto $\mu$, llevaría a la $G$ desde el inicio de la pregunta que se compone de la suma de más de un producto de 8 $3jm$ símbolos ( $C(\alpha,\beta,\gamma)$ ), 4 de las cuales cada uno se suman a lo largo de su $m$ índices, produciendo el producto de dos $6j$ símbolos suman más de uno de sus $j$s ( $\rho$ ). Asimismo, el índice se estructura en $e^{ijk}e^*_{ijk}$ $G$ se traduce en un índice de estructura de la $C$ coincide exactamente con la de la $3jm$ $6j$ símbolo.
Pero antes de trabajar en eso, ¿alguien puede decirme si este es el camino correcto o si me masacrados algo en el camino (yo no soy lo suficientemente cómodo con mis habilidades sin embargo, a confiar plenamente en mi razonamiento cuando me lleva a una respuesta cuya forma ya sé)? O tal vez debería tomar esto para los matemáticos, ya que la respuesta parece ser puramente grupo teórico hasta ahora?
