A Riemann-Roch theorem (Q2498878)

Let \(X\) be a nonsingular variety of dimension \(n\). The Riemann-Roch theorem for Chow groups of zero cycles concerns with \(F^n K_0(X)\), the subgroup of the Grothendieck group \(K_0(X)\) generated by points in \(X\) and the Chow group of zero cycles. In the present paper, the authors prove an analogue of this theorem for weak Euler classes. For a noetherian commutative ring \(A\) of dimension \(n\geq 2\) and a line bundle \(L\) on \(\text{Spec}(A)\), the weak Euler class group \(E_0(A,L)\) is defined in [\textit{S. M. Bhatwadekar} and \textit{R. Sridharan}, Compos. Math. 122, No. 2, 183--222 (2000; Zbl 0999.13007)] as the quotient \(G_0/H_0(L)\), where \(G_0\) is the free abelian group generated by the set of all primary ideals \(N\) of height \(n\) such that \(N/N^2\) is generated by \(n\) elements and \(H_0(L)\) is the subgroup of \(G_0\) generated by the set of global \(L\)-cycles in \(G_0\). When \(\mathbb{Q}\subseteq A\), the weak Euler class induces a group homomorphism \(\varphi: F^n K_0(A)\to E_0(A,L)\), and there is a natural homomorphism \(\psi_L: E_0(A, L)\to F^n K_0(A)\). The main theorem shows that, when \(A\) is a Cohen-Macaulay ring, then \(\varphi_L\psi_L=-(n-1)! \text{id}_{E_0(A,L)}\) and \(\psi_L\varphi_L= -(n-1)! \text{id}_{F^nK_0(A)}\).