English

On the Hyperhomology of the Small Gobelin in Codimension 2

Algebraic Geometry 2014-05-23 v1 Commutative Algebra

Abstract

Given a zero-dimensional Gorenstein algebra B\mathbb{B} and two syzygies between two elements f1,f2Bf_1,f_2\in\mathbb{B}, one constructs a double complex of B\mathbb{B}-modules, GB,{\cal G}_\mathbb{B}, called the small Gobelin. We describe an inductive procedure to construct the even and odd hyperhomologies of this complex. For high degrees, the difference dimHj+2(GB)dimHj(GB)\dim \mathbb{H}_{j+2}({\cal G}_\mathbb{B}) - \dim\mathbb{H}_j({\cal G}_\mathbb{B}) is constant, but possibly with a different value for even and odd degrees. We describe two flags of ideals in B\mathbb{B} which codify the above differences of dimension. The motivation to study this double complex comes from understanding the tangency condition between a vector field and a complete intersection, and invariants constructed in the zero locus of the vector field Spec(B)\hbox{Spec}(\mathbb{B}).

Keywords

Cite

@article{arxiv.1405.5806,
  title  = {On the Hyperhomology of the Small Gobelin in Codimension 2},
  author = {Xavier Gómez-Mont and Luis Núñez-Betancourt},
  journal= {arXiv preprint arXiv:1405.5806},
  year   = {2014}
}

Comments

22 pages