The Arveson Conjecture would provide an analytic object for every homogenous polynomial ideal. The BDF theory yields an odd K-homology class for such an object and the correspondence between ideals and such classes can be viewed as a generalization of the Grothendieck-Riemann-Roch Theorem. In my talk I will discuss these matters including some recent results of Tang, Yu and myself for ideals with smooth zero variety.