Does diagonalization captures the essence of class separation ?
Depends on how you formalize diagonalization. Kozen has a paper that shows any complexity class separation must be a diagonalization proof.