Good morning, what is the mathematical formalism used for a rigorous formulation of the Kaluza-Klein theory? Is there any reference? Thanks!
Just about any theory with compact extra dimensions is a Kaluza-Klein theory. So it could be a classical field theory, a quantum field theory, or a string theory. Take a look at the Wikipedia article, especially the references at the end.