Perturbative expansions in quantum mechanics
We prove a analytic versal deformation theorem in the Heisenberg algebra. We define the spectrum of an element in the Heisenberg algebra. The quantised version of the Morse lemma already shows that the perturbation series arising in a perturbed harmonic oscillator become analytic after a formal Borel transform.