Homogeneous triples for homogeneous algebras with two relations

-homogeneous dual algebra. For each such a pair we give an intrinsic characterization of algebras corresponding to it. Due to results of our previous work many pairs determine the algebra uniquely up to isomorphism. Using our partial classification, we show that, to check the

s

-Koszulity of a connected

s

-homogeneous algebras with two relations, it is enough to verify an equality for Hilbert series or to check the exactness of the generalized Koszul complex in the second term. For each pair

(A, M)

not belonging to one specific series of pairs, we check if there exists an

s

-Koszulity algebra corresponding to it. Thus, we describe a class of possible

m E x t

-algebras of

s

-Koszul connected algebras with two relations and realize all of them except a finite number of specific algebras as

m E x t

-algebras. Another result that follows from our classification is that an

s

-homogeneous algebra with two dimensional

s

-th component cannot be

s

-Koszul for

s > 2

.

Review text

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.

Recommendations

Cites work

Cited in

(1)

Homogeneous algebras via homogeneous triples

This page was built for publication: Homogeneous triples for homogeneous algebras with two relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2118929)