-
Symplectic wheelgebras and noncommutative geometry
Authors:
David Fernández,
Estanislao Herscovich
Abstract:
In this article, we explore the following statement made by V. Ginzburg and T. Schedler in [Selecta Math. (N.S.) 16 (2010), no. 4, 673-730]: "an adequate framework for doing noncommutative differential geometry is provided by the notion of wheelspace. Wheelspaces form a symmetric monoidal category". However, the category of wheelspaces turns out not to be monoidal. To address this, we introduce ge…
▽ More
In this article, we explore the following statement made by V. Ginzburg and T. Schedler in [Selecta Math. (N.S.) 16 (2010), no. 4, 673-730]: "an adequate framework for doing noncommutative differential geometry is provided by the notion of wheelspace. Wheelspaces form a symmetric monoidal category". However, the category of wheelspaces turns out not to be monoidal. To address this, we introduce generalized wheelspaces, which do form a symmetric monoidal category and provide solid ground for the theory of wheelgebras. To support their first claim, Ginzburg and Schedler defined Poisson (Fock) wheelgebras in connection with Van den Bergh's double Poisson algebras via the Fock functor. We provide strong evidence to their claim by introducing symplectic wheelgebras and prove that the Fock functor sends smooth bisymplectic algebras, as defined by W. Crawley-Boevey, V. Ginzburg and P. Etingof, into our symplectic wheelgebras. In the process, we develop a Cartan calculus adapted to this wheeled context. Moreover, we present a wheeled version of the significant Van den Bergh functor, which facilitates a formalization of the Kontsevich-Rosenberg principle, bridging the noncommutative and commutative frameworks. After establishing that the classical Van den Bergh functor factors through our wheeled version, we show that symplectic Fock wheelgebras naturally induce symplectic algebras on representation schemes.
△ Less
Submitted 29 January, 2025;
originally announced January 2025.
-
A projective resolution for the Fomin-Kirillov algebra $\operatorname{FK}(4)$
Authors:
Estanislao Herscovich,
Ziling Li
Abstract:
In this article we show that, given a quadratic algebra satisfying some assumptions, which we call having a resolving datum, one can construct a projective resolution of the trivial module which is obtained as iterated cones of Koszul complexes, and this projective resolution is minimal under some further assumptions. We observe that many examples of quadratic algebras studied so far have a resolv…
▽ More
In this article we show that, given a quadratic algebra satisfying some assumptions, which we call having a resolving datum, one can construct a projective resolution of the trivial module which is obtained as iterated cones of Koszul complexes, and this projective resolution is minimal under some further assumptions. We observe that many examples of quadratic algebras studied so far have a resolving datum, and that the (minimal) projective resolutions constructed for all of them in the literature are an example of our construction. The second main result of the article is that the Fomin-Kirillov algebra $\operatorname{FK}(4)$ of index $4$ has a resolving datum.
△ Less
Submitted 5 September, 2023;
originally announced September 2023.
-
Gerstenhaber structure on Hochschild cohomology of the Fomin-Kirillov algebra on 3 generators
Authors:
Estanislao Herscovich,
Ziling Li
Abstract:
The goal of this article is to compute the Gerstenhaber bracket of the Hochschild cohomology of the Fomin-Kirillov algebra on three generators over a field of characteristic different from $2$ and $3$. This is in part based on a general method we introduce to easily compute the Gerstenhaber bracket between elements of $\operatorname{HH}^{0}(A)$ and elements of $\operatorname{HH}^{n}(A)$ for…
▽ More
The goal of this article is to compute the Gerstenhaber bracket of the Hochschild cohomology of the Fomin-Kirillov algebra on three generators over a field of characteristic different from $2$ and $3$. This is in part based on a general method we introduce to easily compute the Gerstenhaber bracket between elements of $\operatorname{HH}^{0}(A)$ and elements of $\operatorname{HH}^{n}(A)$ for $n \in \mathbb{N}_{0}$, the method by M. Suárez-Álvarez to calculate the Gerstenhaber bracket between elements of $\operatorname{HH}^{1}(A)$ and elements of $\operatorname{HH}^{n}(A)$ for any $n \in \mathbb{N}_{0}$, as well as an elementary result that allows to compute the remaining brackets from the previous ones. We also show that the Gerstenhaber bracket of $\operatorname{HH}^{\bullet}(A)$ is not induced by any Batalin-Vilkovisky generator.
△ Less
Submitted 11 April, 2022;
originally announced April 2022.
-
Hochschild and cyclic (co)homology of the Fomin-Kirillov algebra on 3 generators
Authors:
Estanislao Herscovich,
Ziling Li
Abstract:
The goal of this article is to explicitly compute the Hochschild (co)homology of the Fomin-Kirillov algebra on three generators over a field of characteristic different from 2 and 3. We also obtain the cyclic (co)homology of the Fomin-Kirillov algebra in case the characteristic of the field is zero. Moreover, we compute the algebra structure of the Hochschild cohomology.
The goal of this article is to explicitly compute the Hochschild (co)homology of the Fomin-Kirillov algebra on three generators over a field of characteristic different from 2 and 3. We also obtain the cyclic (co)homology of the Fomin-Kirillov algebra in case the characteristic of the field is zero. Moreover, we compute the algebra structure of the Hochschild cohomology.
△ Less
Submitted 2 December, 2021;
originally announced December 2021.
-
Double quasi-Poisson algebras are pre-Calabi-Yau
Authors:
David Fernández,
Estanislao Herscovich
Abstract:
In this article we prove that double quasi-Poisson algebras, which are non-commutative analogues of quasi-Poisson manifolds, naturally give rise to pre-Calabi-Yau algebras. This extends one of the main results in [11] (see also [10]), where a relationship between pre-Calabi-Yau algebras and double Poisson algebras was found. However, a major difference between the pre-Calabi-Yau algebra constructe…
▽ More
In this article we prove that double quasi-Poisson algebras, which are non-commutative analogues of quasi-Poisson manifolds, naturally give rise to pre-Calabi-Yau algebras. This extends one of the main results in [11] (see also [10]), where a relationship between pre-Calabi-Yau algebras and double Poisson algebras was found. However, a major difference between the pre-Calabi-Yau algebra constructed in the mentioned articles and the one constructed in this work is that the higher multiplications indexed by even integers of the underlying $A_{\infty}$-algebra structure of the pre-Calabi-Yau algebra associated to a double quasi-Poisson algebra do not vanish, but are given by nice cyclic expressions multiplied by explicitly determined coefficients involving the Bernoulli numbers.
△ Less
Submitted 17 November, 2021; v1 submitted 24 February, 2020;
originally announced February 2020.
-
Cyclic $A_{\infty}$-algebras and double Poisson algebras
Authors:
David Fernández,
Estanislao Herscovich
Abstract:
In this article we prove that there exists an explicit bijection between nice $d$-pre-Calabi-Yau algebras and $d$-double Poisson differential graded algebras, where $d \in \mathbb{Z}$, extending a result proved by N. Iyudu and M. Kontsevich. We also show that this correspondence is functorial in a quite satisfactory way, giving rise to a (partial) functor from the category of $d$-double Poisson dg…
▽ More
In this article we prove that there exists an explicit bijection between nice $d$-pre-Calabi-Yau algebras and $d$-double Poisson differential graded algebras, where $d \in \mathbb{Z}$, extending a result proved by N. Iyudu and M. Kontsevich. We also show that this correspondence is functorial in a quite satisfactory way, giving rise to a (partial) functor from the category of $d$-double Poisson dg algebras to the partial category of $d$-pre-Calabi-Yau algebras. Finally, we further generalize it to include double $P_{\infty}$-algebras, as introduced by T. Schedler.
△ Less
Submitted 2 February, 2019;
originally announced February 2019.
-
Hochschild homology and cohomology of down-up algebras
Authors:
Sergio Chouhy,
Estanislao Herscovich,
Andrea Solotar
Abstract:
We present a detailed computation of the cyclic and the Hochschild homology and cohomology of generic and 3-Calabi-Yau homogeneous down-up algebras. This family was defined by Benkart and Roby in their study of differential posets. Our calculations are completely explicit, by making use of the Koszul bimodule resolution and arguments similar to those used by the second and third authors for Yang-M…
▽ More
We present a detailed computation of the cyclic and the Hochschild homology and cohomology of generic and 3-Calabi-Yau homogeneous down-up algebras. This family was defined by Benkart and Roby in their study of differential posets. Our calculations are completely explicit, by making use of the Koszul bimodule resolution and arguments similar to those used by the second and third authors for Yang-Mills algebras.
△ Less
Submitted 30 September, 2016;
originally announced September 2016.
-
A higher homotopic extension of persistent (co)homology
Authors:
Estanislao Herscovich
Abstract:
Our objective in this article is to show a possibly interesting structure of homotopic nature appearing in persistent (co)homology. Assuming that the filtration of the (say) simplicial set embedded in a finite dimensional vector space induces a multiplicative filtration (which would not be a so harsh hypothesis in our setting) on the dg algebra given by the complex of simplicial cochains, we may u…
▽ More
Our objective in this article is to show a possibly interesting structure of homotopic nature appearing in persistent (co)homology. Assuming that the filtration of the (say) simplicial set embedded in a finite dimensional vector space induces a multiplicative filtration (which would not be a so harsh hypothesis in our setting) on the dg algebra given by the complex of simplicial cochains, we may use a result by T. Kadeishvili to get a unique (up to noncanonical equivalence) A_infinity-algebra structure on the complete persistent cohomology of the filtered simplicial (or topological) set. We then provide a construction of a (pseudo)metric on the set of all (generalized) barcodes (that is, of all cohomological degrees) enriched with the A_infinity-algebra structure stated before, refining the usual bottleneck metric, and which is also independent of the particular A_infinity-algebra structure chosen (among those equivalent to each other). We think that this distance might deserve some attention for topological data analysis, for it in particular can recognize different linking or foldings patterns, as in the Borromean rings. As an aside, we give a simple proof of a result relating the barcode structure between persistent homology and cohomology. This result was observed in a recent article by V. de Silva, D. Morozov and M. Vejdemo-Johansson under some restricted assumptions, which we do not suppose.
△ Less
Submitted 4 December, 2014;
originally announced December 2014.
-
Some remarks on representations of Yang-Mills algebras
Authors:
Estanislao Herscovich
Abstract:
In this article we present some probably unexpected (in our opinion) properties of representations of Yang-Mills algebras. We first show that any free Lie algebra with m generators is a quotient of the Yang-Mills algebra ym(n) on n generators, for n greater than or equal to 2m. We derive from this that any semisimple Lie algebra, and even any affine Kac-Moody algebra is a quotient of ym(n), for n…
▽ More
In this article we present some probably unexpected (in our opinion) properties of representations of Yang-Mills algebras. We first show that any free Lie algebra with m generators is a quotient of the Yang-Mills algebra ym(n) on n generators, for n greater than or equal to 2m. We derive from this that any semisimple Lie algebra, and even any affine Kac-Moody algebra is a quotient of ym(n), for n greater than or equal to 4. Combining this with previous results on representations of Yang-Mills algebras given in an article by the author together with A. Solotar, one may obtain solutions to the Yang-Mills equations by differential operators acting on sections of twisted vector bundles on the affine space associated to representations of any semisimple Lie algebra. We also show that this quotient property does not hold for n = 3, since any morphism of Lie algebras from ym(3) to sl(2,k) has in fact solvable image.
△ Less
Submitted 26 October, 2014;
originally announced October 2014.
-
A-infinity-algebras, spectral sequences and exact couples
Authors:
Estanislao Herscovich
Abstract:
We study in this article a possible further structure of homotopic nature on multiplicative spectral sequences. More precisely, since Kadeishvili's theorem asserts that, given a dg (or A-infinity-)algebra, its cohomology has also a structure of A-infinity-algebra such that both become quasi-isomorphic, and in a multiplicative spectral sequence one considers the cohomology of dg algebras when movin…
▽ More
We study in this article a possible further structure of homotopic nature on multiplicative spectral sequences. More precisely, since Kadeishvili's theorem asserts that, given a dg (or A-infinity-)algebra, its cohomology has also a structure of A-infinity-algebra such that both become quasi-isomorphic, and in a multiplicative spectral sequence one considers the cohomology of dg algebras when moving from a term to the next one, a natural problem that arises is to study how this two possible structures intertwine. We give such a homotopic structure proposal, called A-infinity-enhancement of multiplicative spectral sequences, which could be of interest in our opinion. As far we know, this construction was studied only recently by S. Lapin, even though he did not state any definition. Seeing that the procedure considered by Lapin is rather complicated to handle, we propose an equivalent but in our opinion easier approach. In particular, from our definition we show that the canonical multiplicative spectral sequence obtained from a filtered dg (or A-infinity-)algebra, which could be viewed as the main example, has such an A-infinity-enhancement.
△ Less
Submitted 24 October, 2014;
originally announced October 2014.
-
Hochschild (co)homology and Koszul duality
Authors:
Estanislao Herscovich
Abstract:
In this article we discuss two different but related results on Hochschild (co)homology and the theory of Koszul duality. On the one hand, we prove essentially that the Tamarkin-Tsygan calculus of an Adams connected augmented dg algebra and of its Koszul dual are dual. This uses the fact that Hochschild cohomology and homology may be regarded as a twisted construction of some natural (augmented) d…
▽ More
In this article we discuss two different but related results on Hochschild (co)homology and the theory of Koszul duality. On the one hand, we prove essentially that the Tamarkin-Tsygan calculus of an Adams connected augmented dg algebra and of its Koszul dual are dual. This uses the fact that Hochschild cohomology and homology may be regarded as a twisted construction of some natural (augmented) dg algebras and dg modules over the former. In particular, from these constructions it follows that the computation of the cup product on Hochschild cohomology and cap product on Hochschild homology of a Koszul algebra is directly computed from the coalgebra structure of the Tor(k,k) group (the first of these results is proved differently by R.-O. Buchweitz, E. Green, N. Snashall and O. Solberg). We even generalize this situation by studying twisting theory of A_infinity-algebras to compute the algebra structure of Hochschild cohomology of more general algebras.
△ Less
Submitted 6 December, 2015; v1 submitted 9 May, 2014;
originally announced May 2014.
-
On the multi-Koszul property for connected algebras
Authors:
Estanislao Herscovich
Abstract:
In this article we introduce the notion of multi-Koszul algebra for the case of a locally finite dimensional nonnegatively graded connected algebra, as a generalization of the notion of (generalized) Koszul algebras defined by R. Berger for homogeneous algebras, which were in turn an extension of Koszul algebras introduced by S. Priddy. It also extends and generalizes the definition recently intro…
▽ More
In this article we introduce the notion of multi-Koszul algebra for the case of a locally finite dimensional nonnegatively graded connected algebra, as a generalization of the notion of (generalized) Koszul algebras defined by R. Berger for homogeneous algebras, which were in turn an extension of Koszul algebras introduced by S. Priddy. It also extends and generalizes the definition recently introduced by the author and A. Rey.
In order to simplify the exposition we consider the minimal graded projective resolution of the algebra A as a bimodule, which may be used to compute the corresponding Hochschild (co)homology groups. This new definition includes several new interesting examples, e.g. the super Yang-Mills algebras introduced by M. Movshev and A. Schwarz, which are not generalized Koszul or even multi-Koszul for the previous definition given by the author and Rey. On the other hand, we provide an equivalent description of the new definition in terms of the Tor (or Ext) groups, and we show that several of the typical homological computations performed for the generalized Koszul algebras are also possible in this more general setting. In particular, we give an explicit description of the A_infinity-algebra structure of the Yoneda algebra of a multi-Koszul algebra. We also show that a finitely generated multi-Koszul algebra with a finite dimensional space of relations is a K_2 algebra in the sense of T. Cassidy and B. Shelton.
△ Less
Submitted 7 May, 2013;
originally announced May 2013.
-
On a definition of multi-koszul algebras
Authors:
Estanislao Herscovich,
Andrea Rey
Abstract:
In this article we introduce the notion of \emph{multi-Koszul algebra} for the case of a nonnegatively graded connected algebra with a finite number of generators of degree 1 and with a finite number of relations, as a generalization of the notion of (generalized) Koszul algebras defined by R. Berger for homogeneous algebras, which were in turn an extension of Koszul algebras introduced by S. Prid…
▽ More
In this article we introduce the notion of \emph{multi-Koszul algebra} for the case of a nonnegatively graded connected algebra with a finite number of generators of degree 1 and with a finite number of relations, as a generalization of the notion of (generalized) Koszul algebras defined by R. Berger for homogeneous algebras, which were in turn an extension of Koszul algebras introduced by S. Priddy. Our definition is in some sense as closest as possible to the one given in the homogeneous case. Indeed, we give an equivalent description of the new definition in terms of the \textrm{Tor} (or \textrm{Ext}) groups, similar to the existing one for homogeneous algebras, and also a complete characterization of the multi-Koszul property, which derives from the study of some associated homogeneous algebras, providing a very strong link between the new definition and the generalized Koszul property for the associated homogeneous algebras mentioned before. We further obtain an explicit description of the Yoneda algebra of a multi-Koszul algebra. As a consequence, we get that the Yoneda algebra of a multi-Koszul algebra is generated in degrees 1 and 2, so a $\mathcal{K}_{2}$ algebra in the sense of T. Cassidy and B. Shelton. We also exhibit several examples and we provide a minimal graded projective resolution of the algebra $A$ considered as an $A$-bimodule, which may be used to compute the Hochschild (co)homology groups. Finally, we find necessary and sufficient conditions on some (fixed) sequences of vector subspaces of the tensor powers of the base space $V$ to obtain in this case the multi-Koszul property in the case we have relations in only two degrees.
△ Less
Submitted 15 August, 2012;
originally announced August 2012.
-
PBW-deformations and deformations à la Gerstenhaber of N-Koszul algebras
Authors:
Estanislao Herscovich,
Andrea Solotar,
Mariano Suárez-Álvarez
Abstract:
In this article we establish an explicit link between the classical theory of deformations à la Gerstenhaber -- and a fortiori with the Hochschild cohomology-- and (weak) PBW-deformations of homogeneous algebras. Our point of view is of cohomological nature. As a consequence, we recover a theorem by R. Berger and V. Ginzburg, which gives a precise condition for a filtered algebra to satisfy the so…
▽ More
In this article we establish an explicit link between the classical theory of deformations à la Gerstenhaber -- and a fortiori with the Hochschild cohomology-- and (weak) PBW-deformations of homogeneous algebras. Our point of view is of cohomological nature. As a consequence, we recover a theorem by R. Berger and V. Ginzburg, which gives a precise condition for a filtered algebra to satisfy the so-called PBW property, under certain assumptions.
△ Less
Submitted 17 August, 2012; v1 submitted 1 May, 2011;
originally announced May 2011.
-
Representation theory of super Yang-Mills algebras
Authors:
Estanislao Herscovich
Abstract:
We study in this article the representation theory of a family of super algebras, called the \emph{super Yang-Mills algebras}, by exploiting the Kirillov orbit method \textit{à la Dixmier} for nilpotent super Lie algebras. These super algebras are a generalization of the so-called \emph{Yang-Mills algebras}, introduced by A. Connes and M. Dubois-Violette in \cite{CD02}, but in fact they appear as…
▽ More
We study in this article the representation theory of a family of super algebras, called the \emph{super Yang-Mills algebras}, by exploiting the Kirillov orbit method \textit{à la Dixmier} for nilpotent super Lie algebras. These super algebras are a generalization of the so-called \emph{Yang-Mills algebras}, introduced by A. Connes and M. Dubois-Violette in \cite{CD02}, but in fact they appear as a "background independent" formulation of supersymmetric gauge theory considered in physics, in a similar way as Yang-Mills algebras do the same for the usual gauge theory. Our main result states that, under certain hypotheses, all Clifford-Weyl super algebras $\Cliff_{q}(k) \otimes A_{p}(k)$, for $p \geq 3$, or $p = 2$ and $q \geq 2$, appear as a quotient of all super Yang-Mills algebras, for $n \geq 3$ and $s \geq 1$. This provides thus a family of representations of the super Yang-Mills algebras.
△ Less
Submitted 17 May, 2011; v1 submitted 14 March, 2011;
originally announced March 2011.
-
The Dixmier map for nilpotent super Lie algebras
Authors:
Estanislao Herscovich
Abstract:
In this article we prove that there exists a Dixmier map for nilpotent super Lie algebras. In other words, if we denote by Prim(U(g)) the set of (graded) primitive ideals of the enveloping algebra U(g) of g and Ad_0 the adjoint group of g_0, we prove that the usual Dixmier map for nilpotent Lie algebras can be naturally extended to the context of nilpotent super Lie algebras, i.e. there exists a b…
▽ More
In this article we prove that there exists a Dixmier map for nilpotent super Lie algebras. In other words, if we denote by Prim(U(g)) the set of (graded) primitive ideals of the enveloping algebra U(g) of g and Ad_0 the adjoint group of g_0, we prove that the usual Dixmier map for nilpotent Lie algebras can be naturally extended to the context of nilpotent super Lie algebras, i.e. there exists a bijective map \[ I : g_0^*/Ad_0 \rightarrow Prim(U(g)), \] defined by sending the equivalence class [lambda] of a functional lambda to a primitive ideal I(lambda) of U(g), and which coincides with the Dixmier map in the case of nilpotent Lie algebras. Moreover, the construction of the previous map is explicit, and more or less parallel to the one for Lie algebras, a major difference with a previous approach. One key fact in the construction is the existence of polarizations for super Lie algebras, generalizing the concept defined for Lie algebras. As a corollary of the previous description, we obtain that the quotient of the enveloping algebra by the ideal I(lambda) is isomorphic to the tensor product Cliff_q(k) \otimes A_p(k) of a Clifford algebra and a Weyl algebra, where (p,q) = (dim(g_0/g_0^{lambda})/2,dim(g_1/g_1^{lambda})), we get a direct construction of the maximal ideals of the underlying algebra of U(g) and also some properties of the stabilizers of the primitive ideals of U(g).
△ Less
Submitted 19 April, 2011; v1 submitted 6 September, 2010;
originally announced September 2010.
-
Hochschild and cyclic homology of Yang-Mills algebras
Authors:
Estanislao Herscovich,
Andrea Solotar
Abstract:
The aim of this article is to compute the Hochschild and cyclic homology groups of Yang-Mills algebras, that have been defined by A. Connes and M. Dubois-Violette. We proceed here the study of these algebras that we have initiated in a previous article. The computation involves the use of a spectral sequence associated to the natural filtration on the enveloping algebra of the Lie Yang-Mills algeb…
▽ More
The aim of this article is to compute the Hochschild and cyclic homology groups of Yang-Mills algebras, that have been defined by A. Connes and M. Dubois-Violette. We proceed here the study of these algebras that we have initiated in a previous article. The computation involves the use of a spectral sequence associated to the natural filtration on the enveloping algebra of the Lie Yang-Mills algebra. This filtration in provided by a Lie ideal which is free as Lie algebra.
△ Less
Submitted 7 October, 2010; v1 submitted 14 June, 2009;
originally announced June 2009.
-
Representation theory of Yang-Mills algebras
Authors:
Estanislao Herscovich,
Andrea Solotar
Abstract:
The aim of this article is to describe families or representations of the Yang-Mills algebras YM(n) (where n>1) defined by Connes and Dubois-Violette. We first describe irreducible finite dimensional representations. Next, we provide families of infinite dimensional representations of YM(n), big enough to separate points of the algebra. In order to prove this result, we use that all Weyl algebra…
▽ More
The aim of this article is to describe families or representations of the Yang-Mills algebras YM(n) (where n>1) defined by Connes and Dubois-Violette. We first describe irreducible finite dimensional representations. Next, we provide families of infinite dimensional representations of YM(n), big enough to separate points of the algebra. In order to prove this result, we use that all Weyl algebras Ar(k) are epimorphic images of YM(n).
△ Less
Submitted 15 December, 2008; v1 submitted 24 July, 2008;
originally announced July 2008.
-
Derived invariance of Hochschild-Mitchell (co)homology and one-point extensions
Authors:
Estanislao Herscovich,
Andrea Solotar
Abstract:
In this article we prove derived invariance of Hochschild-Mitchell homology and cohomology and we extend to $k$-linear categories a result by Barot and Lenzing concerning derived equivalences and one-point extensions.
We also prove the existence of a Happel long exact sequence and we give a generalization of this result which provides an alternative approach.
In this article we prove derived invariance of Hochschild-Mitchell homology and cohomology and we extend to $k$-linear categories a result by Barot and Lenzing concerning derived equivalences and one-point extensions.
We also prove the existence of a Happel long exact sequence and we give a generalization of this result which provides an alternative approach.
△ Less
Submitted 17 August, 2006;
originally announced August 2006.
-
Hochschild-Mitchell cohomology and Galois extensions
Authors:
Estanislao Herscovich,
Andrea Solotar
Abstract:
We define $H$-Galois extensions for $k$-linear categories and a Hopf algebra $H$ and prove the existence of a Grothendieck spectral sequence for Hochschild-Mitchell cohomology, related to this situation. This spectral sequence is multiplicative and for a $H$ a group algebra decomposes as a direct sum indexed by the set of conjugacy classes of the group. We also compute some Hochschild-Mitchell c…
▽ More
We define $H$-Galois extensions for $k$-linear categories and a Hopf algebra $H$ and prove the existence of a Grothendieck spectral sequence for Hochschild-Mitchell cohomology, related to this situation. This spectral sequence is multiplicative and for a $H$ a group algebra decomposes as a direct sum indexed by the set of conjugacy classes of the group. We also compute some Hochschild-Mitchell cohomology groups of categories with infinite associated quiver.
△ Less
Submitted 7 October, 2005;
originally announced October 2005.
