Homogeneous triples for homogeneous algebras with two relations (Q2118929)

Let \(k\) be an algebraically closed field, and let \(s > 2\) be a fixed integer. An \(s\)-homogeneous connected algebra is an algebra of the form \(\Lambda = k \langle x_1,\, x_2,\, \cdots,\, x_m \rangle / I\), where \(I\) is an ideal of \(k \langle x_1,\, x_2,\, \cdots,\, x_m \rangle\) generated by homogeneous elements of degree \(s\). Such an algebra \(\Lambda\) is called \(s\)-Koszul if \(\mathrm{Ext}^i_\Lambda (k,k)\) is concentrated in degree \(-is/2\) for even \(i\), and in degree \(-1-(i-1)s/2\) otherwise. The general goal of the paper is to classify the resulting algebras \(\Lambda\) (for fixed \(k\) and \(s\)) for which the defining ideal \(I\) can be generated by two elements, and to determine which ones are \(s\)-Koszul. The goal is not quite achieved: There are finitely many isomorphism classes for which \(s\)-Koszulity, or its absence, cannot be confirmed. The actual classification is phrased in terms of \(s\)-homogeneous triples \((A, M, \varphi)\), consisting of a quadratic \(k\)-algebra \(A\), a graded \(A\)-bimodule \(M\) which is linearly presented both as a left and as a right \(A\)-module, and a homomorphism of graded \(A\)-bimodules \(\varphi \colon M^{\otimes_A s} \to A[1]\) satisfying certain conditions (Definition 2.1.2). It has been established by the authors in previous work that the category of \(s\)-homogeneous triples is equivalent to the category of \(s\)-homogeneous connected algebras, via an explicit equivalence. Thus it is actually enough to classify \(s\)-homogeneous triples, and this is the approach taken in the paper. Moreover, in the case of a relator ideal \(I\) generated by two elements it is sufficient to consider triples with \(A\) a quadratic algebra with two generators. The classification task thus breaks down quite naturally into three steps: First, the classification of quadratic algebras with two generators; this is known, and explained in detail in the paper (\S2.3). Second, the classification of bimodules \(M\) such that the pair \((A,M)\) can be completed to an \(s\)-homogeneous triples. Third, given such a pair, the classification of possible completions \((A,M,\varphi)\) of \((A,M)\). This last step can be carried out provided the pair \((A,M)\) determines \(\varphi\) uniquely, as often happens; otherwise, there seems little hope to classify all suitable \(\varphi\). It is this very problem that leads to the already mentioned partial incompleteness of the classification result. The last section (\S5) of the paper contains an overview of the final classification result achieved, phrased in the language of \(s\)-homogeneous triples. The paper ends with a list of suggestions for further research in the area.