The Quarterly Journal of Mathematics Advance Access published online on January 18, 2008
The Quarterly Journal of Mathematics, doi:10.1093/qmath/ham056
MULTIPLICATIVE STRUCTURES FOR KOSZUL ALGEBRAS

Department of Mathematics, University of Toronto at Scarborough, 1265 Military Trail, Toronto, ON, Canada M1C 1A4
Department of Mathematics, Virginia Tech, Blacksburg, VA 24061, USA

Department of Mathematics, University of Leicester, University Road, Leicester LE1 7RH
Institutt for matematiske fag, NTNU, N-7034 Trondheim, Norway
Corresponding author. E-mail: N.Snashall{at}mcs.le.ac.uk
Received 5 October 2007;
revised 10 November 2007
| Abstract |
|---|
Let
= kQ/I be a Koszul algebra over a field k, where Q is a finite quiver. An algorithmic method for finding a minimal projective resolution
of the graded simple modules over
is given in [E. L. Green and Ø. Solberg, An algorithmic approach to resolutions, J. Symbolic Comput., 42 (2007), 1012–1033]. This resolution is shown to have a comultiplicative structure in [E. L. Green, G. Hartman, E. N. Marcos and Ø. Solberg, Resolutions overKoszul algebras, Arch. Math. 85 (2005), 118–127.], and this is used to find a minimal projective resolution
of
over the enveloping algebra
e. Using these results, we showthat the multiplication in the Hochschild cohomology ring of
relative to the resolution
is given as a cup product and also provide a description of this product. This comultiplicative structure also yields the structure constants of the Koszul dual of
with respect to a canonical basis over k associated to the resolution
. The natural map from the Hochschild cohomology to the Koszul dual of
is shown to be surjective onto the graded centre of the Koszul dual.
E-mail: ragnar{at}math.toronto.edu

E-mail: