Ahora mismo, no tengo ni idea de lo que quieres decir con campos gauge, o de lo que nadie quiere decir con campos gauge. Según Danu, el campo gauge es la conexión en sí, mientras que si no recuerdo mal, Bleecker define los campos gauge como secciones de aquellos haces vectoriales que están asociados a haces principales.
Sin embargo, creo que puedo dar una respuesta definitiva a la cuestión de la redundancia, a la que usted alude en sus comentarios.
En las teorías gauge (y esa será mi definición de campo gauge), normalmente tienes algún tipo de campos que se definen a través del espaciotiempo, pero que no son campos tensoriales reales, según la definición habitual de geometría diferencial de los campos tensoriales.
En su lugar, tienes una especie de espacio vectorial $E$ y copias separadas de $E$ para cada punto del espaciotiempo, por ejemplo, si $p$ es un punto del espaciotiempo, $E_p$ es una copia separada de $E$ que está "situado en" $p$ .
Estos $E_p$ Los espacios están encadenados de tal manera que todos son idénticos, pero no se puede saber qué elemento de un espacio corresponde al de otro. Por ejemplo, si $v\in E_p$ y $w\in E_q$ no tienes una forma canónica de decir que $w$ es lo mismo que $v$ (a menos que hablemos de los vectores nulos). Esta estructura se denomina haz vectorial.
La redundancia es que, como es habitual en física, tendemos a usar componentes para describir cosas, así que si $\psi(p)$ es una sección del haz vectorial, por ejemplo, es un campo que corresponde a un punto $p$ un elemento de $E_p$ y $e_A(p)$ es un campo base local del haz vectorial, entonces se puede descomponer $\psi$ como $$ \psi(p)=\psi^A(p)e_A(p), $$ donde el índice $A$ suele denominarse "índice interno" (y su rango no tiene por qué coincidir con la dimensión del múltiple espaciotemporal).
Ahora, lo que importa es $\psi$ y no los componentes de $\psi$ así que si cambias de base $e_A(p)\mapsto g_A(p)=M^B_{\ \ A}(p)e_B(p)$ para alguna matriz invertible $M$ los nuevos componentes $\tilde{\psi}^A(p)=(M^{-1})^A_{\ \ B}(p)\psi^B(p)$ describirá la misma física que los componentes antiguos.
Como suele ocurrir, se impone alguna estructura adicional al $E_p$ s, que seleccionan algunas bases preferidas, como si hubiera un sentido de "ortonormalidad" en cada $E_p$ y sólo se desea utilizar "bases ortonormales", por lo que normalmente las matrices $M$ no son simplemente matrices invertibles, sino que son elementos de algún grupo más restrictivo, pero la cuestión sigue siendo que existen bases físicamente equivalentes que se intercambian por elementos de un grupo de Lie. Valga la redundancia.
En este sentido, ninguno de los campos gauge son 4-vectores, a menos que el haz vectorial interno sea el propio haz tangente. Lo cual es cierto en relatividad general, PERO en RG no tenemos ningún campo vectorial dinámico en la teoría.
Si por campos gauge entendemos las formas de conexión, se trata de 1-formas locales valoradas en álgebras de Lie $A_\mu^i$ (donde $i$ es un índice de Lie-agebra). Estos objetos son siempre 1-formas con valor de álgebra de Lie, por lo tanto, mientras el espaciotiempo sea de 4 dimensiones, siempre serán (con valor de álgebra de Lie) "4-vectores covariantes".
Espero que sea por esto por lo que tenía curiosidad, ya que me cuesta entender su pregunta.
0 votos
No me queda muy claro cómo quieres definir un campo calibre. La acción $S=\int d^4x (\partial \phi)^2$ tiene una redundancia ''gauge'' ( $\phi \mapsto \phi+a$ ). ¿Considera que se trata de un campo gauge, o no? Creo que hay que fijar una definición.
0 votos
¿No es un campo gauge una sección de un haz vectorial que está asociada a un haz principal? Si es así, ninguno de los campos gauge es de 4 vectores.
0 votos
@Uldreth En el tratamiento matemático habitual, son conexiones (o, equivalentemente, formas 1 de conexión) sobre haces principales, sí. En parte por eso le pido a Numrok que sea más preciso.
0 votos
@Danu bueno para ser justos, la pregunta hace especifican claramente una definición, aunque no una que se corresponda con tu noción predefinida (o la de la mayoría de la gente) de lo que es un campo gauge.
0 votos
@DavidZ Busco algo más concreto/riguroso que "valga la redundancia". Si eso es todo, mi primer comentario da un ejemplo de un "campo gauge" escalar.
0 votos
@Danu una de las razones por las que pregunto esto es porque no entiendo muy bien qué es lo que hace que las transformaciones que solemos llamar transformaciones gauge sean diferentes de las transformaciones normales, es decir, una "redundancia" en lugar de una "transformación física". no tengo las herramientas matemáticas para entender la definición de paquete. sin embargo, puedo ofrecer una alternativa a mi formulación anterior: los únicos campos gauge con los que he tratado son los que se inteoducen mediante la "prescripción de sustitución mínima". ¿eso lo haría más preciso?
0 votos
Si no es así, ¿puedo pedirle que me ayude a hacerlo mejor? lo que intento preguntar es si existen otros campos de este tipo que parezcan tener un índice espaciotemporal.
0 votos
Hablemos en Chat de física , @Numrok