Estaba leyendo el primer capítulo de Polyakov del libro "Medidor de campos y Cuerdas" y no podía entender una mano ondulado argumento que hace para explicar por qué en sistemas discretos el indicador de simetría sólo gauge invariantes cantidades puede tener finito expectativa de valor. Esto se conoce como Elitzur del teorema (que tiene de continuo el indicador de simetría).
Polyakov dice : [...] no podría haber ningún parámetro de orden en este tipo de sistemas (en discretos gauge invariante en el sistema) [...], sólo invariante gauge las cantidades son diferentes de cero. Esto se deduce del hecho de que, por la fijación de los valores de $\sigma_{\mathbf{x},\mathbf{\alpha}}$ en el límite de nuestro sistema y no estropear la invarianza de norma dentro de ella.
Aquí $\sigma_{x,\alpha}$ son el "spin" de las variables que decoran los enlaces de una $\mathbb{Z}_2$ gauge de la teoría. Me gustaría entender la última frase de esta declaración. Alguien podría aclarar lo que él significa y por qué esto no implica el indicador de ruptura de simetría ?