Title:

Gamma (co)homology of commutative algebras and some related representations of the symmetric group

This thesis covers two related subjects: homology of commutative algebras and certain representations of the symmetric group. There are several different formulations of commutative algebra homology, all of which are known to agree when one works over a field of characteristic zero. During 19911992 my supervisor, Dr. Alan Robinson, motivated by homotopytheoretic ideas, developed a new theory, Γhomology [Rob, 2]. This is a homology theory for commutative rings, and more generally rings commutative up to homotopy. We consider the algebraic version of the theory. Chapter I covers background material and Chapter II describes Γhomology. We arrive at a spectral sequence for Γhomology, involving objects called tree spaces. Chapter III is devoted to consideration of the case where we work over a field of characteristic zero. In this case the spectral sequence collapses. The tree space, Tn, which is used to describe Γhomology has a natural action of the symmetric group Sn. We identify the representation of Sn on its only nontrivial homology group as that given by the first Eulerian idempotent en(l) in QSn. Using this, we prove that Γhomology coincides with the existing theories over a field of characteristic zero. In fact, the tree space, Tn, gives a representation of Sn+l. In Chapter IV we calculate the character of this representation. Moreover, we show that each Eulerian representation of Sn is the restriction of a representation of Sn+1. These Eulerian representations are given by idempotents en(j), for j=1, ..., n, in QSn, and occur in the work of Barr [B], Gerstenhaber and Schack [GS, 1], Loday [L, 1,2,3] and Hanlon [H]. They have been used to give decompositions of the Hochschild and cyclic homology of commutative algebras in characteristic zero. We describe our representations of Sn+1 as virtual representations, and give some partial results on their decompositions into irreducible components. In Chapter V we return to commutative algebra homology, now considered in prime characteristic. We give a corrected version of Gerstenhaber and Schack's [GS, 2] decomposition of Hochschild homology in this setting, and give the analagous decomposition of cyclic homology. Finally, we give a counterexample to a conjecture of Barr, which states that a certain modification of Harrison cohomology should coincide with André/Quillen cohomology.
