  We prove the Arveson-Douglas essential normality conjecture for graded
Hilbert submodules that consist of functions vanishing on a given homogeneous
subvariety of the ball, smooth away from the origin. Our main tool is the
theory of generalized Toeplitz operators of Boutet de Monvel and Guillemin.
