In this talk I shall present recent progress on the Fröhlich Polaron model in the strong coupling regime, obtained in collaboration with Robert Seiringer. In particular, I will focus on quantum corrections to the Pekar asymptotics for its ground state energy. Compared to previous works, the main novelty is that we are able to treat the problem in a translational invariant setting, namely a (sufficiently large) torus in R^3. This substantially complicates the discussion and calls for a precise study of the set of minimizers of the classical functional(s) corresponding to the Fröhlich Hamiltonian. We carry out this study by introducing an (almost) infinite dimensional diffeomorphism and formalizing some heuristic arguments contained in the physics literature.