logo_acta

Acta Mathematica Vietnamica

On the Limit of Frobenius in the Grothendieck Group

icon-email Kazuhiko Kurano , Kosuke Ohta

Abstract

Considering the Grothendieck group of finitely generated modules modulo numerical equivalence, we obtain the finitely generated lattice G0(R) for a Noetherian local ring R. Let CCM(R) be the cone in G0(R)R spanned by cycles of maximal Cohen-Macaulay R-modules. We shall define the fundamental class μR of R in G0(R)R, which is the limit of the Frobenius direct images (divided by their rank) [eR]/pde in the case ch(R)=p>0. The homological conjectures are deeply related to the problems whether μR is in the Cohen-Macaulay cone CCM(R) or the strictly nef cone SN(R) defined below. In this paper, we shall prove that μR is in CCM(R) in the case where R is FFRT or F-rational.