arXiv subjects
Publications and source records attributed to Claude Cibils.
We introduce the $\tau$-Hochschild (co)homology of a finite dimensional associative algebra $\Lambda$ by means of the higher Auslander-Reiten translate of O. Iyama. We show that the global dimension of $\Lambda$, Happel's question and Han's conjecture are related to the $\tau$-Hochschild (co)homology.
In this paper we introduce, according to one of the main ideas of $\tau$-tilting theory, the $\tau$-Hochschild cohomology in degree one of a finite dimensional $k$-algebra $\Lambda$, where $k$ is a field. We define the excess of $\Lambda$ as the difference between the dimensions of the $\tau$-Hochschild cohomology in degree one and the dimension of the usual Hochschild cohomology in degree one. One of the main results is that for a zero excess bound quiver algebra $\Lambda=kQ/I$, the Hochschild cohomology in degree two $\mathsf{HH}^2(\Lambda) $ is isomorphic to the space of morphisms $\mathsf{Hom}_{kQ-kQ}(I/I^2, \Lambda).$ This is useful to determine when $\mathsf{HH}^2(\Lambda)=0$ for these algebras. We compute the excess for hereditary, radical square zero and monomial triangular algebras. For a bound quiver algebra $\Lambda$, a formula for the excess of $\Lambda$ is obtained. We also give a criterion for $\Lambda$ to be $\tau$-rigid.
We consider stratifying ideals of finite dimensional algebras in relation with Morita contexts. A Morita context is an algebra built on a data consisting of two algebras, two bimodules and two morphisms. For a strongly stratifying Morita context - or equivalently for a strongly stratifying ideal - we show that Han's conjecture holds if and only if it holds for the diagonal subalgebra. The main tool is the Jacobi-Zariski long exact sequence. One of the main consequences is that Han's conjecture holds for an algebra admitting a strongly (co-)stratifying chain whose steps verify Han's conjecture. If Han's conjecture is true for local algebras and an algebra admits a primitive strongly (co-)stratifying chain, then Han's conjecture holds for it.
We review results on the first Hochschild cohomology vector space of a finite dimensional algebra, in particular for path algebras modulo a "pre-generated" ideal. In case of a monomial algebra whose quiver has no oriented cycles, a dimension formula is provided. The general monomial case is considered in a paper with M. Saorin.
Let $B\subset A$ be a left or right bounded extension of finite dimensional algebras. We use the Jacobi-Zariski long nearly exact sequence to show that $B$ satisfies Han's conjecture if and only if $A$ does, regardless if the extension splits or not. We provide conditions ensuring that an extension by arrows and relations is left or right bounded. Finally we give a structure result for extensions of an algebra given by a quiver and admissible relations, and examples of non split left or right bounded extensions.
Let $G$ be a group acting on a small category $\mathcal C$ over a field $k$, that is $\mathcal C$ is a $G$-$k$-category. We first obtain that $\mathcal C$ is resolvable by a category which is $G$-$k$-equivalent to it, on which $G$ acts freely on objects. This resolvent category enables to show that if the coinvariants and the invariants functors are exact, then the coinvariants and invariants of the Hochschild-Mitchell (co)homology of $\mathcal C$ are isomorphic to the trivial component of the Hochschild-Mitchell (co)ho\-mo\-logy of the skew category $\mathcal C[G]$. Otherwise the corresponding spectral sequence can be settled. If the action of $G$ is free on objects, there is a canonical decomposition of the Hochschild-Mitchell (co)homology of the quotient category $\mathcal C/G$ along the conjugacy classes of $G$. This way we provide a general frame for monomorphisms which have been described previously in low degrees.
For an extension of associative algebras $B\subset A$ over a field and an $A$-bimodule $X$, we obtain a Jacobi-Zariski long nearly exact sequence relating the Hochschild homologies of $A$ and $B$, and the relative Hochschild homology, all of them with coefficients in $X$. This long sequence is exact twice in three. There is a spectral sequence which converges to the gap of exactness.
A main purpose of this paper is to prove that the class of finite dimensional algebras which verify Han's conjecture is closed under split bounded extensions.
Let $\mathcal C$ be category over a commutative ring $k$, its Hochschild-Mitchell homology and cohomology are denoted respectively $HH_*(\mathcal C)$ and $HH^*(\mathcal C).$ Let $G$ be a group acting on $\mathcal C$, and $\mathcal C[G]$ be the skew category. We provide decompositions of the (co)homology of $\mathcal C[G]$ along the conjugacy classes of $G$. For Hochschild homology of a $k$-algebra, this corresponds to the decomposition obtained by M. Lorenz. If the coinvariants and invariants functors are exact, we obtain isomorphisms $\left(HH_*(C)\right)_G\simeq HH^{\{1\}}_* (\mathcal C[G])$ and $\left(HH^*(\mathcal C)\right)^G\simeq HH^*_{\{1\}} (\mathcal C[G]), $ where $\{ {1}\}$ is the trivial conjugacy class of $G$. We first obtain these isomorphisms in case the action of $G$ is free on the objects of $\mathcal C$. Then we introduce an auxiliary category $M_G(\mathcal C)$ with an action of $G$ which is free on its objects, related to the infinite matrix algebra considered by J. Cornick. This category enables us to show that the isomorphisms hold in general, and in particular for the Hochschild (co)homology of a $k$-algebra with an action of $G$ by automorphisms. We infer that $\left(HH^*(\mathcal C)\right)^G$ is a canonical direct summand of $HH^*(\mathcal C[G])$. This provides a frame for monomorphisms obtained previously, and which have been described in low degrees.
We describe how the Hochschild (co)homology of a bound quiver algebra changes when adding or deleting arrows to the quiver. The main tools are relative Hochschild (co)homology, the Jacobi-Zariski long exact sequence obtained by A. Kaygun and a one step relative projective resolution of a tensor algebra.
We provide a formula for the change of the dimension of the first Hoch\-schild cohomology vector space of bound quiver algebras when adding new arrows. For this purpose we show that there exists a short exact sequence which relates the first cohomology vector spaces of the algebras to the first relative cohomology. Moreover, we show that the first Hochschild homologies are isomorphic when adding new arrows.
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 $Λ$ is triangular with respect to a system of non necessarily primitive idempotents, and if the algebras at the idempotents belong to $\mathcal H$, then $Λ$ 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 define the fundamental group of a Hopf algebra over a field. For this purpose we first consider gradings of Hopf algebras and Galois coverings. The latter are given by linear categories with new additional structure which we call Hopf linear categories over a finite group. We compare this invariant to the fundamental group of the underlying linear category, and we compute those groups for families of examples.
We consider an homogeneous action of a finite group on a free linear category over a field in order to prove that the subcategory of invariants is still free. Moreover we show that the representation type is preserved when considering invariants.
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 à 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.
To a regular projection of a knot we associate a finite dimensional non-commutative associative algebra which is self-injective and special biserial.
In this paper we develop the theory of coverings of a small connected category B. We show that the category of Galois coverings of B is equivalent to the category of Galois coverings of its fundamental groupoid. Making use of effective gradings of B we explicitly construct Galois coverings through a smash product analogous to the one considered in the linear case. In particular, the universal cover of B can be obtained from its fundamental groupoid.
Consider the intrinsic fundamental group à 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.