Nonperturbative definition of five-dimensional gauge theories on the R4×S1/Z2 orbifold

We construct a Z2 orbifold projection of SU(N) gauge theories formulated in five dimensions with a compact fifth dimension. We show through a nonperturbative argument that no boundary mass term for the Higgs field, identified with some of the fifth-dimensional components of the gauge field, is generated, which would be quadratically divergent in the five-dimensional ultraviolet cutoff. This opens the possibility of studying these theories nonperturbatively in order to establish if they can be used as effective weakly interacting theories at low energies. We make preparations for a study on the lattice. In particular we show that only Dirichlet boundary conditions are needed, which specify the breaking pattern of the gauge group at the orbifold fixpoints.