pith. sign in

arxiv: 0910.1289 · v2 · pith:UF7SOYPSnew · submitted 2009-10-07 · 🧮 math.AC · math.AG

Hochster's theta invariant and the Hodge-Riemann bilinear relations

classification 🧮 math.AC math.AG
keywords thetainvariantisolatedlargelengthsingularitysufficientlydimension
0
0 comments X
read the original abstract

Let R be an isolated hypersurface singularity, and let M and N be finitely generated R-modules. As R is a hypersurface, the torsion modules of M against N are eventually periodic of period two (i.e., Tor_i^R(M,N) is isomorphic to Tor_{i+2}^R(M,N) for i sufficiently large). Since R has only an isolated singularity, these torsion modules are of finite length for i sufficiently large. The theta invariant of the pair (M,N) is defined by Hochster to be length(Tor_{2i}^R(M,N)) - length(Tor_{2i+1}^R(M,N)) for i sufficiently large. H. Dao has conjectured that the theta invariant is zero for all pairs (M,N) when R has even dimension and contains a field. This paper proves this conjecture under the additional assumption that R is graded with its irrelevant maximal ideal giving the isolated singularity. We also give a careful analysis of the theta pairing when the dimension of R is odd, and relate it to a classical pairing on the smooth variety Proj(R).

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.