A duality theorem for generalized Koszul algebras. (Q2456174): Difference between revisions

Let \(A\) be a non-negatively graded algebra over a field \(k\) and \(Q\) a finite quiver in which \(A_i=kQ_i\), \(i=0,1\), such that \(A=kQ/I \) is generated by \(A_0\oplus A_1\). The graded algebra \(A^!= kQ^{op}/I_n^\perp\) is the \(n\)-th homogeneous dual of \(A\). Consider the polynomial algebra \(A[X]\) in one variable \(X\) as \(\mathbb{Z}\times\mathbb{Z}\)-graded algebra. If \(\mathcal X\) is a subset in \(\mathbb{Z}\) then a graded \(A\)-module \(M\) is (co)generated in degree from \(\mathcal X\) if every nonzero factor (submodule) of \(M\) has a nontrivial component in \(\mathcal X\). Let \(\mathcal U=n\mathbb{Z}\cup(n\mathbb{Z}+1)\) and \(\mathcal S= m+\mathcal U\) where \(m,n\in\mathbb{Z}\) and \(n\geqslant 2\). It is shown that the full subcategory \(\mathcal{L(S,U)}\) of graded \(A_{\mathcal U}^!\)-modules generated in degrees from \((\mathcal{S:U})\) in which \[ \ker\bigl(X_{m+kn}\otimes_{A_0^!}A^!_1\to X_{m+kn+1}\bigr)A^!_{n-1}\subseteq\ker \bigl(X_{m+kn}\otimes_{A_0^!}A^!_n\to X_{m+(k+1)n}\bigr) \] is equivalent to a full category of 2-complexes with some special properties. In particular \(\mathcal{L(S,U)}\) contains all graded \(A_{\mathcal U}^!\)-modules presented in degrees from \((\mathcal{S:U})\). A similar result is proved for the full subcategory of graded \(A_{\mathcal U}^!\)-modules cogenerated in degrees from \(-(\mathcal{S:U})\).