En primer lugar, $\mathbf{k}\cdot\mathbf{A}=0$ $\nabla\cdot\mathbf{A}=0$ son de la misma condición, uno en el espacio de Fourier y el otro en el espacio normal.
La teoría por sí misma es invariante gauge. En otras palabras, las ecuaciones para los potenciales que se derivan de las ecuaciones de Maxwell son invariante gauge:
$$\partial^\mu \partial_\nu A^\nu - \partial^2 A^\mu = 0$$
Usted puede comprobar que esto es invariante bajo $A^\mu \to A^\mu + \partial^\mu \chi$.
Ahora, lo que puedes hacer es elegir un determinado indicador. Es decir, de imponer alguna condición en el potencial. Al hacer esto pierdes la invariancia gauge, por la sencilla razón de que ahora estamos trabajando en un determinado indicador. Dos ejemplos comunes de evaluar las condiciones son Lorenz calibre ($\partial_\mu A^\mu=0$; esto es muy bonita porque es invariante Lorentz) y de Coulomb o transversal indicador: $\nabla \cdot \mathbf{A}=0$.
Parece que tienes las palabras un poco confundido, demasiado. El campo de vectores (suponiendo que te refieres a $\mathbf{A}$ o $A^\mu$, es decir, los potenciales) no es invariante gauge, debido a que el campo vectorial es precisamente la cosa que cambia cuando haces un medidor de transformación. En particular, $A_\perp$ no es invariante gauge: la razón por la que es importante es que en la transversal medidor de $\mathbf{A}(\mathbf{k})$ no tiene una componente paralela a $\mathbf{k}$ (de ahí el nombre). ¿Qué es invariante gauge es el campo electromagnético, esto es, $F_{\mu\nu}$ o de los campos eléctrico y magnético, si lo prefiere. Se construyen a partir de las potencialidades de tal manera que ellos no se verán afectados si usted hace un medidor de transformación.
Y no, no necesitas nada para ser invariante gauge de la teoría a tener sentido. Usted postulado de sus ecuaciones y ya sea que están invariante gauge o no. En QFT generalmente es altamente deseable para una teoría basada en un medidor de simetría (como el Modelo Estándar es), pero no es necesario. La interacción débil como lo vemos en las energías bajas, no es invariante gauge, por ejemplo: la simetría se rompe.