symmetric Schrödinger operators: reality of the perturbed eigenvalues.
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.