An analytic Grothendieck Riemann Roch theorem (Q266124): Difference between revisions

Following the relative \(K\)-homology theory by Baum, Douglas, and Taylor for manifolds with boundary, the authors extend the Boutet de Monvel index theorem for Toeplitz operators to complex manifolds with isolated singularities, and apply this theorem to the study of the Arveson-Douglas conjecture. Let \(\mathbb{B}^m\) be the unit ball in \(\mathbb{C}^m\), and let \(I\) be an ideal in the polynomial algebra \(\mathbb{C}[z_1,\dots,z_m]\). It is proved that when the zero variety \(Z_I\) is a complete intersection space with only isolated singularities and intersects with the unit sphere \(\mathbb{S}^{2m-1}\) transversely, then the representations of \(\mathbb{C}[z_1,\dots,z_m]\) on the closure of \(I\) in \(L_a^2(\mathbb{B}^m)\) and also the corresponding quotient space \(Q_I\) are essentially normal. An index theorem for Toeplitz operators on \(Q_I\) is proved by showing that the representation of \(\mathbb{C}[z_1,\dots,z_m]\) on the quotient space \(Q_I\) gives the fundamental class of the boundary \(Z_I \cap \mathbb{S}^{2m-1}\). In the appendix the authors, together with Kai Wang, prove that if \(f \in L_a^2(\mathbb{B}^m)\) vanishes on \(Z_I \cap\mathbb{B}^m\), then \(f\) belongs to the closure of the ideal \(I\) in \(L_a^2(\mathbb{B}^m)\).