I was trying to follow the discussion in Radi A. Jishi's book (Feynman Diagrams in Condensed Matter Physics), Chapter 12 on superconductors. They basically have a Hamiltonian that comprises of a quadratic electron part and a quadratic phonon part, which is coupled through the usual electron-phonon coupling. They then perform a Schrieffer-Wolff transformation to conclude that there is an effective interaction between electrons that can become attractive for appropriate momenta.
It seems that in this procedure one does a canonical transformation on the Hamiltonian to eliminate the term linear in the electron-phonon coupling strength (and replace it by more complicated higher order terms). However, the phonons are not completely integrated out. Moreover, this is not the original Hamiltonian - but a canonically transformed Hamiltonian. How does then one conclude that the original Hamiltonian also results in an effective interaction between electrons that can become attractive for appropriate momenta?
(Note: I do appreciate the effective e-e interaction once one completely integrates out the phonons, eg. as done in Bruus-Flensberg or Altland-Simons.)