Geometric Arveson–Douglas conjecture

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.