
Let $\mathcal H$ be the class of algebras verifying Han's conjecture. In this
paper we analyse two types of algebras with the aim of providing an inductive
step towards the proof of this conjecture. Firstly we show that if an algebra
$\Lambda$ is triangular with respect to a system of non necessarily primitive
idempotents, and if the algebras at the idempotents belong to $\mathcal H$,
then $\Lambda$ is in $\mathcal H$. Secondly we consider a $2\times 2$ matrix
algebra, with two algebras on the diagonal, two projective bimodules in the
corners, and zero corner products. They are not triangular with respect to the
system of the two diagonal idempotents. However, the analogous result holds,
namely if both algebras on the diagonal belong to $\mathcal H$, then the
algebra itself is in $\mathcal H$.

We determine the Gerstenhaber structure on the Hochschild cohomology ring of
a class of selfinjective special biserial algebras. Each of these algebras is
presented as a quotient of the path algebra of a certain quiver. In degree one,
we show that the cohomology is isomorphic, as a Lie algebra, to a direct sum of
copies of a subquotient of the Virasoro algebra. These copies share Virasoro
degree 0 and commute otherwise. Finally, we describe the cohomology in degree
$n$ as a module over this Lie algebra by providing its decomposition as a
direct sum of indecomposable modules.

We construct comparison morphisms between two wellknown projective
resolutions of a monomial algebra $A$: the bar resolution and Bardzell's
resolution; the first one is used to define the cup product and the Lie bracket
on the Hochschild cohomology $HH^*(A)$ and the second one has been shown to be
an efficient tool for computations of these cohomology groups. The constructed
comparison morphisms allow us to show that the cup product restricted to even
degrees of the Hochschild cohomology has a very simple description. Moreover,
for $A=k Q/I$ a monomial algebra such that $dim_k \ e_i A e_j = 1$ whenever
there exists an arrow $\alpha: i \to j \in Q_1$, we describe the Lie action of
the Lie algebra $HH^1(A)$ on $HH^{\ast}(A)$.

We define the partial group cohomology as the right derived functor of the
functor of partial invariants, we relate this cohomology with partial
derivations and with the partial augmentation ideal and we show that there
exists a Grothendieck spectral sequence relating cohomology of partial smash
algebras with partial group cohomology and algebra cohomology.

We describe the Gerstenhaber algebra structure on the Hochschild cohomology
HH*$(A)$ when $A$ is a quadratic string algebra. First we compute the
Hochschild cohomology groups using Barzdell's resolution and we describe
generators of these groups. Then we construct comparison morphisms between the
bar resolution and Bardzell's resolution in order to get formulae for the cup
product and the Lie bracket. We find conditions on the bound quiver associated
to string algebras in order to get nontrivial structures.

Categories over a field $k$ can be graded by different groups in a connected
way; we consider morphisms between these gradings in order to define the
fundamental grading group. We prove that this group is isomorphic to the
fundamental group \`a la Grothendieck as considered in previous papers. In case
the $k$category is Schurian generated we prove that a universal grading
exists. Examples of non Schurian generated categories with universal grading,
versal grading or none of them are considered.

We compute the Hochschild cohomology groups $\HH^*(A)$ in case $A$ is a
triangular string algebra, and show that its ring structure is trivial.

Consider the intrinsic fundamental group \`a la Grothendieck of a linear
category using connected gradings. In this article we prove that any full
convex subcategory is incompressible, in the sense that the group map between
the corresponding fundamental groups is injective. We start by proving the
functoriality of the intrinsic fundamental group with respect to full
subcategories, based on the study of the restriction of connected gradings.

Let k be a field. We attach a CWcomplex to any Schurian kcategory and we
prove that the fundamental group of this CWcomplex is isomorphic to the
intrinsic fundamental group of the kcategory. This extends previous results by
J.C. Bustamante. We also prove that the Hurewicz morphism from the vector space
of abelian characters of the fundamental group to the first HochschildMitchell
cohomology vector space of the category is an isomorphism.

Let $k$ be a commutative ring. We study the behaviour of coverings of
$k$categories through fibre products and find a criterion for a covering to be
Galois or universal.

Coverings in the representation theory of algebras were introduced for the
AuslanderReiten quiver of a representation finite algebra by Riedtmann and
later for finite dimensional algebras by Bongartz and Gabriel, R.
MartinezVilla and de la Pe\~na. The best understood class covering functors is
that of Galois covering functors F: A > B determined by the action of a group
of automorphisms of A. In this work we introduce the balanced covering functors
which include the Galois class and for which classical Galois coveringtype
results still hold. For instance, if F:A > B is a balanced covering functor,
where A and B are linear categories over an algebraically closed field, and B
is tame, then A is tame.

We use the characteristic polynomial of the Coxeter matrix of an algebra to
complete the combinatorial classification of piecewise hereditary algebras
which Happel gave in terms of the trace of the Coxeter matrix. We also give a
cohomological interpretation of the coefficients (other than the trace) of the
characteristic polynomial of the Coxeter matrix of any finite dimensional
algebra with finite global dimension.

Given a clustertilted algebra B we study its first Hochschild cohomology
group HH^1(B) with coefficients in the BBbimodule B. We find several
consequences when B is representationfinite, and also in the case where B is
clustertilted of type \tilde{\mathbb{A}}.

Given an algebra A we associate an incidence algebra A(\Sigma) and compare
their Hochschild cohomology groups.

Let T be a triangulated category, A a graded abelian category and h: T > A a
homology theory on T with values in A. If the functor h reflects isomorphisms,
is full and is such that for any object x in A there is an object X in T with
an isomorphism between h(X) and x, we prove that A is a hereditary abelian
category and the ideal Ker(h) is a square zero ideal which as a bifunctor on T
is isomorphic to Ext^1_A(h()[1], h()).

We consider cohomology of small categories with coefficients in a natural
system in the sense of Baues and Wirsching. For any funtor L: K > CAT, we
construct a spectral sequence abutting to the cohomology of the Grothendieck
construction of L in terms of the cohomology of K and of L(k), for k an object
in K.

We provide a CartanLeray type spectral sequence for the HochschildMitchell
(co)homology of a Galois covering of linear categories. We infer results
relating the Galois group and Hochschild cohomology in degree one.

Given a finitedimensional monomial algebra $A$ we consider the trivial
extension $TA$ and provide formulae, depending on the characteristic of the
field, for the dimensions of the summands $HH_1(A)$ and $\Alt(DA)$ of the first
Hochschild cohomology group $HH^1(TA)$. From these a formula for the dimension
of $HH^1(TA)$ can be derived.

We consider associative algebras L over a field provided with a direct sum
decomposition of a twosided ideal M and a subalgebra A  examples are
provided by trivial extensions or triangular type matrix algebras. In this
relative and split setting we describe a long exact sequence computing the
Hochschild cohomology of L. We study the connecting homomorphism using the
cupproduct and we infer several results, in particular the first Hochschild
cohomology group of a trivial extension never vanishes.