Anick resolution and the minimal projective resolution of \(U_q^+(C_3)\) (Q6113504)

The notion of the minimal projective resolution of the trivial module on an algebra is very important in homological algebra as one can use it for many purposes such as computing the extensions of a given pair of modules and the global dimension. But in general, it is often very difficult to construct the minimal projective resolution for a module. Anick constructed a resolution, the so-called Anick resolution, that is larger than the minimal resolution but small enough to perform many calculations in homological algebra. One of the main ingredients of the Anick resolution is the \(n\)-chain introduced and computed by Anick using the Diamond Lemma, or equivalently, the Gröbner-Shirshov basis. The minimal projective resolutions of \(U_{q}^{+}(G_{2})\) and \(U_{q}^{+}(B_{2})\) have been computed before. In this paper, from the Anick resolution and Gröbner-Shirshov basis for quantized enveloping algebra of type \(C_{3}\), the authors compute the minimal projective resolution of the trivial module \(U_{q}^{+}(C_{3})\) and as an application, they show that the global dimension of \(U_{q}^{+}(C_{3})\) is equal to 9.