• ### Han's conjecture and Hochschild homology for null-square projective algebras(1703.02131)

Feb. 12, 2019 math.RT, math.KT
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$.
• ### The Gerstenhaber structure on the Hochschild cohomology of a class of special biserial algebras(1803.10909)

March 29, 2018 math.RT, math.RA
We determine the Gerstenhaber structure on the Hochschild cohomology ring of a class of self-injective 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.
• ### Comparison morphisms between two projective resolutions of monomial algebras(1612.02308)

July 5, 2017 math.RA
We construct comparison morphisms between two well-known 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)$.
• ### Cohomology of partial smash products(1611.02551)

June 22, 2017 math.RA
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.
• ### Gerstenhaber algebra structure on the Hochschild cohomology of quadratic string algebras(1504.02495)

May 24, 2017 math.RA
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 non-trivial structures.

March 11, 2013 math.CT, math.RA
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.
• ### Hochschild cohomology of triangular string algebras and its ring structure(1301.0516)

Jan. 3, 2013 math.RT
We compute the Hochschild cohomology groups $\HH^*(A)$ in case $A$ is a triangular string algebra, and show that its ring structure is trivial.
• ### Full and convex linear subcategories are incompressible(1004.5553)

Oct. 3, 2011 math.RA
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.
• ### Fundamental group of Schurian categories and the Hurewicz isomorphism(1010.6296)

Aug. 23, 2011 math.RA
Let k be a field. We attach a CW-complex to any Schurian k-category and we prove that the fundamental group of this CW-complex is isomorphic to the intrinsic fundamental group of the k-category. 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 Hochschild-Mitchell cohomology vector space of the category is an isomorphism.
• ### Galois and universal universal coverings of linear categories and fibre products(1012.3434)

Dec. 15, 2010 math.RT
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.
• ### Covering functors without groups(0803.4442)

March 31, 2009 math.RT
Coverings in the representation theory of algebras were introduced for the Auslander-Reiten quiver of a representation finite algebra by Riedtmann and later for finite dimensional algebras by Bongartz and Gabriel, R. Martinez-Villa 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 covering-type 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.
• ### Combinatorial classification of piecewise hereditary algebras(0903.4326)

March 25, 2009 math.RT, math.RA
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.
• ### The first Hochschild cohomology group of a schurian cluster-tilted algebra(0712.2962)

Dec. 18, 2007 math.RT, math.RA
Given a cluster-tilted algebra B we study its first Hochschild cohomology group HH^1(B) with coefficients in the B-B-bimodule B. We find several consequences when B is representation-finite, and also in the case where B is cluster-tilted of type \tilde{\mathbb{A}}.
• ### Hochschild cohomology via incidence algebras(math/0611542)

Nov. 22, 2007 math.RT, math.RA
Given an algebra A we associate an incidence algebra A(\Sigma) and compare their Hochschild cohomology groups.
• ### Universal coefficient theorem in triangulated categories(math/0604412)

Sept. 4, 2006 math.CT
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(-)).
• ### Cohomology of the Grothendieck construction(math/0504282)

April 13, 2005 math.CT
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.
• ### Cartan-Leray spectral sequence for Galois coverings of linear categories(math/0305218)

June 10, 2004 math.CT, math.RA
We provide a Cartan-Leray type spectral sequence for the Hochschild-Mitchell (co)homology of a Galois covering of linear categories. We infer results relating the Galois group and Hochschild cohomology in degree one.
• ### The first cohomology group of the trivial extension of a monomial algebra(math/0210284)

June 26, 2003 math.RT, math.KT, math.RA
Given a finite--dimensional 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.
• ### Cohomology of split algebras and of trivial extensions(math/0102194)

July 5, 2002 math.KT, math.RA
We consider associative algebras L over a field provided with a direct sum decomposition of a two-sided ideal M and a sub-algebra 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 cup-product and we infer several results, in particular the first Hochschild cohomology group of a trivial extension never vanishes.