In this talk, we will discuss the $(p;l)$-essential normality of Hilbert quotient submodules over the strongly pseudoconvex finite manifold $(W,\Omega)$ satisfying Property (S). We establish a result that the holomorphic Sobolev quotient submodule $M_V^\bot$ is $(p;1)$-essentially normal whenever $p>\text{dim}\hspace{0.1em} (V\cap \Omega)^+.$  Moreover,  we prove that  $M_V^\bot$ is $(p;l)$-essentially normal whenever $p>\frac{1}{l+1}\hspace{0.1em}\text{dim}\hspace{0.1em} (V\cap \Omega)^+$  for integers $l\geq2$. As a consequence, we confirm the geometric Arveson-Douglas Conjecture on strongly pseudoconvex domains for subvarieties with isolated singularities when $l=1.$ If time permits, we will discuss the trace formula problems on quotient submodules.