English

Positivity of Hochster Theta

Algebraic Geometry 2017-02-10 v9

Abstract

M. Hochster defines an invariant namely Θ(M,N)\Theta(M,N) associated to two finitely generated module over a hyper-surface ring R=P/fR=P/f, where P=k{x0,...,xn}P=k\{x_0,...,x_n\} or k[X0,...,xn]k[X_0,...,x_n], for kk a field and ff is a germ of holomorphic function or a polynomial, having isolated singularity at 00. This invariant can be lifted to the Grothendieck group G0(R)QG_0(R)_{\mathbb{Q}} and is compatible with the chern character and cycle class map, according to the works of W. Moore, G. Piepmeyer, S. Spiroff, M. Walker. They prove that it is semi-definite when ff is a homogeneous polynomial, using Hodge theory on Projective varieties. It is a conjecture that the same holds for general isolated singularity ff. We give a proof of this conjecture using Hodge theory of isolated hyper-surface singularities when k=Ck=\mathbb{C}. We apply this result to give a positivity criteria for intersection multiplicty of proper intersections in the variety of ff.

Keywords

Cite

@article{arxiv.1403.1555,
  title  = {Positivity of Hochster Theta},
  author = {Mohammad Reza Rahmati},
  journal= {arXiv preprint arXiv:1403.1555},
  year   = {2017}
}

Comments

arXiv admin note: text overlap with arXiv:1103.5574 by other authors