The cohomology ring of the 12-dimensional Fomin-Kirillov algebra (Q2634789): Difference between revisions

The class of quadratic algebras \({\mathcal FK}_{n}\), \(n\geq 3\) was introduced by \textit{S. Fomin} and \textit{A. N. Kirillov} [Prog. Math. 172, 147--182 (1999; Zbl 0940.05070)] as an attempt to give a combinatorial explanation of the fact that, with respect to the linear basis on the cohomology ring of a flag manifold consisting of all Schubert cells, the constant structures are non-negative. If \(k\) denotes a field of characteristic zero, for \(n=3,4,5\), this kind of algebras are graded bialgebras in the category of Yetter-Drinfeld \(k{\mathbb S}_{n}\)-modules, and they are Nichols algebras (see the work of \textit{A. Milinski} and \textit{H.-J. Schneider} [Contemp. Math. 267, 215--236 (2000; Zbl 1093.16504)], and the paper of \textit{M. Graña} [``Finite dimensional Nichols algebras of non-diagonal group type'', \url{http://mate.dm.uba.ar/~lvendram/zoo/}].) The main result of this paper, Theorem 4.17, asserts that the cohomology ring \(E({\mathcal FK}_{3})\) is a polynomial ring \(S[X]\) over the braided symmetric algebra \(S = S(V )\) of the Yetter-Drinfeld \( k{\mathbb S}_{3}\)-module \(V\) that help to regard \({\mathcal FK}_{3}\) as a Nichols algebra \(B(V )\). As an application of this result, the authors also compute the cohomology ring of the bosonization \({\mathcal FK}_{3}\sharp k{\mathbb S}_{3}\) proving that it is a quotient of the polynomial ring \(k[X,U,V]\) by the principal ideal \((U^2V-UV^2)\). Finally, in Theorem 4.22, a similar computation is performed for the dual of \({\mathcal FK}_{3}\sharp k{\mathbb S}_{3}\) using that this object is a bosonization of \({\mathcal FK}_{3}\) regarded as a bialgebra in the category of Yetter-Drinfeld modules over the dual of \( k{\mathbb S}_{3}\).