Symmetry in the extra-dimensional Yang-Mills theory and its Kaluza-Klein effective description

We construct an effective Lagrangian for Yang-Mills theories with $n$ extra dimensions. We start from a field theory governed by the extra-dimensional Poincar\'e group ISO$(1,3+n)$ and by the extended gauge group $SU(N,{\cal M}^{4+n})$, characterized by an unknown energy scale $\Lambda$ and assumed to be valid at energies far below this scale. Assuming that the size of the extra dimensions is much larger than the distance scale at which this theory is valid, we construct an effective theory with symmetry groups ISO$(1,3)$, $SU(N,{\cal M}^{4})$. Such theories are connected by a canonical transformation that hides the extended symmetries ISO$(1,3+n)$, $SU(N,{\cal M}^{4+n})$ into the standard ISO(1,3), $SU(N,{\cal M}^{4})$, thus generating KK gauge masses. Using a set of orthogonal functions $\{f^{(\underline{0})},f^{(\underline{m})}(\bar x)\}$, defined by the Casimir invariant $\bar{P}^2$ of the translations subgroup $T(n)\subset$ISO$(n)$, we expand the degrees of freedom of ISO(1,3+n), $SU(N,{\cal M}^{4+n})$ in general Fourier series, whose coefficients are the degrees of freedom of ISO(1,3), $SU(N,{\cal M}^{4})$. These functions, which correspond to the projection on the basis $\{|\bar{x} \big >\}$ of the discrete basis $\{|0\big >,|p^{(\underline{m})}\big >\}$ generated by $\bar {P}^2$, are central to define the effective theory. Components along the ground state $f^{(\underline{0})}=\big $ do not receive mass at the compactification scale, so they are identified with the standard Yang-Mills fields; components along excited states $f^{(\underline{m})}=\big $ receive mass at this scale, so they correspond to KK excitations. Associated with any direction $|p^{(\underline{m})}\neq0\big>$ there are a massive gauge field and a pseudo-Goldstone boson. We stress resemblances of this mass-generating mechanism with the Englert-Higgs mechanism.