On the hyperhomology of the small Gobelin in codimension 2 (Q1694984): Difference between revisions

Let \(K\) be a field of characteristic \(0\) and \(A\) a local Noetherian \(K\)--algebra. A matrix identity over \(A\) \[ \begin{pmatrix} \varphi_{11} & \cdots & \varphi_{1N}\\ & \vdots & \\ \varphi_{l1} & \cdots & \varphi_{lN} \end{pmatrix} \begin{pmatrix} X_1\\ \vdots\\ X_N \end{pmatrix} = \begin{pmatrix} C_{11} & \cdots & C_{1k}\\ & \vdots & \\ C_{l1} & \cdots & C_{lk}\end{pmatrix} \begin{pmatrix} f_1\\ \vdots\\ f_k\end{pmatrix} \] can be used to construct a double complex of free \(A\)-modules, called the small Gobelin [\textit{H. C. Graf von Bothmer} et al., Ann. Inst. Fourier 58, No. 5, 1761--1783 (2008; Zbl 1168.32023)]. In case \(A\) being a zero-dimensional Gorenstein algebra let \(G_A\) be the small Gobelin corresponding to two syzygies between two elements \(f_1, f_2\in A\). An inductive procedure is described to construct the even and odd hyperhomologies of this complex. For high degrees, the difference \(\dim(H)_{j+2}(G_A)-\dim H_j(G_A)\) is constant (possibly with a different value for even and odd degrees). Two flags of ideals in \(A\) are described which codify the above differences of dimension.