English

Hochster's theta pairing and numerical equivalence

Commutative Algebra 2012-08-31 v1 K-Theory and Homology

Abstract

Let (A,\m)(A,\m) be a local hypersurface with isolated singularity. We show that Hochster's theta pairing vanishes on elements that are {numerically equivalent to zero} in the Grothendieck group of AA under the mild assumption that \specA\spec A admits a resolution of singularity. We also prove that when dimA=3\dim A =3, the Hochster's theta pairing is positive semidefinite. These results combine to show that the counter-example of Dutta-Hochster-McLaughlin to general vanishing of Serre's intersection multiplicity exists for any three dimensional isolated hypersurface singularity that is not a UFD and has a desingularization. Our method involves showing that theta gives a bivariant class for the morphism \specA/\m\specA\spec A/\m \to \spec A. It also follows that if AA is three dimensional isolated hypersurface singularity that has a desingularization, the divisor class group of AA is finitely generated torsion-free.

Keywords

Cite

@article{arxiv.1208.6083,
  title  = {Hochster's theta pairing and numerical equivalence},
  author = {Hailong Dao and Kazuhiko Kurano},
  journal= {arXiv preprint arXiv:1208.6083},
  year   = {2012}
}
R2 v1 2026-06-21T21:57:10.074Z