We study track categories (i.e., groupoid-enriched categories) endowed with additive structure similar to that of a 1-truncated DG-category, except that composition is not assumed right linear. We show that if such a track category is right linear up to suitably coherent correction tracks, then it is weakly equivalent to a 1-truncated DG-category. This generalizes work of the first author on the strictification of secondary cohomology operations. As an application, we show that the secondary integral Steenrod algebra is strictifiable.
We describe the dualization of the algebra of secondary cohomology operations in terms of generators extending the Milnor dual of the Steenrod algebra. In this way we obtain explicit formulae for the computation of the E_3-term of the Adams spectral sequence converging to the stable homotopy groups of spheres.
We define the secondary Hochschild complex for an entwining structure over a commutative $k$-algebra $B$. We show that this complex carries the structure of a weak comp algebra. We obtain two distinct cup product structures for the secondary cohomology groups. We also consider a subcomplex on which the two cup products coincide and which satisfies the axioms for being a comp algebra. The cohomology of this subcomplex then forms a Gerstenhaber algebra. We also construct a bicomplex that controls the deformations of the entwining structure over $B$.
We define a comonad cohomology of track categories and we show it is linked by a long exact sequence to its Dwyer-Kan-Smith cohomology . Under mild hypothesis on the track category, we show that its comonad cohomology coincides, up to dimension shift, with its Dwyer-Kan-Smith cohomology, therefore obtaining an algebraic formulation of the latter. We also specialize our results to the case where the track category is a $2$-groupoid.
We show that a functor category whose domain is a colored category is a topos.The topos structure enables us to introduce cohomology of colored categories including quasi-schemoids. If the given colored category arises from an association scheme, then the cohomology coincides with the group cohomology of the factor scheme by the thin residue. Moreover, it is shown that the cohomology of a colored category relates to the standard representation of an association scheme via the Leray spectral sequence.
The Baues--Wirsching cohomology is one of the cohomologies of a small category. Our aim is to describe the first Baues--Wirsching cohomology of the small category generated by a finite quiver freely. We consider the case where the coefficient is a natural system obtained by the composition of a functor and the target functor. We give an algorithm to obtain generators of the vector space of inner derivations. It is known that there exists a surjection from the vector space of derivations of the small category to the first Baues--Wirsching cohomology whose kernel is the vector space of inner der…
A relative derived category for the category of modules over a presheaf of algebras is constructed to identify the relative Yoneda and Hochschild cohomologies with its homomorphism groups. The properties of a functor between this category and the relative derived category of modules over the algebra associated to the presheaf are studied. We obtain a generalization of the $Special$ $ Cohomology$ $Comparison$ $Theorem$ of M. Gerstenhaber and S. D. Schack.
Every ring extension of $A$ by $R$ induces a pair of group homomorphisms $\mathcal{L}^{*}:R\to End_\Z(A)/L(A);\mathcal{R}^{*}:R\to End_\Z(A)/R(A),$ preserving multiplication, satisfying some certain conditions. A such 4-tuple $(R,A,\mathcal{L}^{*},\mathcal{R}^{*})$ is called a ring pre-extension. Each ring pre-extension induces a $R$-bimodule structure on bicenter $K_A$ of ring $A,$ and induces an obstruction $k,$ which is a 3-cocycle of $\Z$-algebra $R,$ with coefficients in $R$-bimodule $K_A$ in the sense of Shukla. Each obstruction $k$ in this sense induces a structure of a regular Ann-cate…
We show that the category of numerically generated pointed spaces is complete, cocomplete, and monoidally closed with respect to the smash product, and then utilize these features to establish a simple but flexible method for constructing generalized homology and cohomology theories by using the notion of enriched bifunctors.
Given a rigid tensor-triangulated category and a vector space valued homological functor for which the Künneth isomorphism holds, we construct a universal graded-Tannakian category through which the given homological functor factors. We use this to (unconditionally) construct graded-Tannakian categories of pure motives associated to a fixed Weil cohomology theory, with a fiber functor realizing the given cohomology theory. For $\ell$-adic cohomology and a ground field which is algebraic over a finite field, this category is Tannakian. In this case, we obtain in particular motivic Galois groups…
We replace a ring with a small $\mathbb C$-linear category $\mathcal{C}$, seen as a ring with several objects in the sense of Mitchell. We introduce Fredholm modules over this category and construct a Chern character taking values in the cyclic cohomology of $\mathcal C$. We show that this categorified Chern character is homotopy invariant and is well-behaved with respect to the periodicity operator in cyclic cohomology. For this, we also obtain a description of cocycles and coboundaries in the cyclic cohomology of $\mathcal C$ (and more generally, in the Hopf-cyclic cohomology of a Hopf modul…
Recently, symmetric categorical groups are used for the study of the Brauer groups of symmetric monoidal categories. As a part of these efforts, some algebraic structures of the 2-category of symmetric categorical groups $\mathrm{SCG}$ are being investigated. In this paper, we consider a 2-categorical analogue of an abelian category, in such a way that it contains $\mathrm{SCG}$ as an example. As a main theorem, we construct a long cohomology 2-exact sequence from any extension of complexes in such a 2-category. Our axiomatic and self-dual definition will enable us to simplify the proofs, by a…
We define the Hochschild complex and cohomology of a ring object in a monoidal category enriched over abelian groups. We interpret the cohomology groups and prove that the cohomology ring is graded-commutative.
This paper expands further on a category theoretical formulation of Hochschild cohomology for monoid objects in monoidal categories enriched over abelian groups, which has been studied in arXiv:1605.00842. This topic was also presented at ISCRA, Isfahan, Iran, April 2019. The present paper aims to provide a more intuitive formulation of the Hochschild cochain complex and extend the definition to Hochschild cohomology with values in a bimodule object. In addition, an equivalent formulation of the Hochschild cochain complex in terms of a cosimplicial object in the category of abelian groups is p…
We study Gorenstein categories. We show that such a category has Tate cohomological functors and Avramov-Martsinkovsky exact sequences connecting the Gorenstein relative, the absolute and the Tate cohomological functors. We show that such a category has what Hovey calls an injective model structure and also a projective model structure in case the category has enough projectives. As examples we show that if X is a locally Gorenstein projective scheme then the category Qco(X) of quasi-coherent sheaves on $X$ is such a category and so has these features.
We provide a factorization model for the continuous internal Hom, in the homotopy category of $k$-linear dg-categories, between dg-categories of equivariant factorizations. This motivates a notion, similar to that of Kuznetsov, which we call the extended Hochschild cohomology algebra of the category of equivariant factorizations. In some cases of geometric interest, extended Hochschild cohomology contains Hochschild cohomology as a subalgebra and Hochschild homology as a homogeneous component. We use our factorization model for the internal Hom to calculate the extended Hochschild cohomology f…
Let $\mathcal{A}$ be a locally noetherian Grothendieck category. In this paper we define and study the section functor on $\mathcal{A}$ with respect to an open subset of ASpec$\mathcal{A}$. Next we define and study local cohomology theory in $\mathcal{A}$ in terms of the section functors. Finally we study abstract local cohomology functor on the derived category $\mathcal{D}^+(\mathcal{A})$.
In this paper we show that the Baues-Wirsching complex used to define cohomology of categories is a 2-functor from a certain 2-category of natural systems of abelian groups to the 2-category of chain complexes, chain homomorphism and relative homotopy classes of chain homotopies. As a consequence we derive (co)localization theorems for this cohomology.
In this work we construct an extension for the category of 0-modules by analogy with [H.-J. Baues and G. Wirshing, Cohomology of small categories, J. Pure Appl. Algebra, 38(1985), 187-211]. The 0-cohomology functor becomes a derived functor in the extended category. As an application of this construction we calculate the cohomological dimension of so-called 0-free monoids.
Local and category-theoretical entropies associated with an endomorphism of finite length (i.e., with zero-dimensional closed fiber) of a commutative Noetherian local ring are compared. Local entropy is shown to be less than or equal to category-theoretical entropy. The two entropies are shown to be equal when the ring is regular, and also for the Frobenius endomorphism of a complete local ring of positive characteristic. Furthermore, given a flat morphism of Cohen-Macaulay local rings endowed with compatible endomorphisms of finite length, it is shown that local entropy is "additive". Finally…
We prove the graded braided commutativity of the Hochschild cohomology of $A$ with trivial coefficients, where $A$ is a braided Hopf algebra in the category of Yetter-Drinfeld modules over the group algebra of an abelian group, under some finiteness conditions on a projective resolution of $A$ as $A$-bimodule. This is a generalization of a result by Mastnak, Pevtsova, Schauenburg and Witherspoon to a context which includes Nichols algebras such as the Jordan and the super Jordan plane. We prove this result by constructing a coduoid-up-to-homotopy structure on the aforementioned projective reso…
We describe a simplified categorical approach to Galois descent theory. It is well known that Galois descent is a special case of Grothendieck descent, and that under mild additional conditions the category of Grothendieck descent data coincides with the Eilenberg-Moore category of algebras over a suitable monad. This also suggests using monads directly, and our monadic approach to Galois descent makes no reference to Grothendieck descent theory at all. In order to make Galois descent constructions perfectly clear, we also describe their connections with some other related constructions of cat…
In this paper we present some applications of Ann-category theory to classification of crossed bimodules over rings, classification of ring extensions of the type of a crossed bimodule.
Given a higher-rank graph $Λ$, we investigate the relationship between the cohomology of $Λ$ and the cohomology of the associated groupoid $G_Λ$. We define an exact functor between the abelian category of right modules over a higher-rank graph $Λ$ and the category of $G_Λ$-sheaves, where $G_Λ$ is the path groupoid of $Λ$. We use this functor to construct compatible homomorphisms from both the cohomology of $Λ$ with coefficients in a right $Λ$-module, and the continuous cocycle cohomology of $G_Λ$ with values in the corresponding $G_Λ$-sheaf, into the sheaf cohomology of $G_Λ$.
The aim of this paper is to define and study the 3-category of extensions of Picard 2-stacks over a site S and to furnish a geometrical description of the cohomology groups Ext^i of length 3 complexes of abelian sheaves. More precisely, our main Theorem furnishes (1) a parametrization of the equivalence classes of objects, 1-arrows, 2-arrows, and 3-arrows of the 3-category of extensions of Picard 2-stacks by the cohomology groups Ext^i, and (2) a geometrical description of the cohomology groups Ext^i of length 3 complexes of abelian sheaves via extensions of Picard 2-stacks. To this end, we us…
We make explicit some conditions on a semi-abelian category D such that, for any abelian group A in D and any object Y in D, the cohomology group homomorphisms with coefficients in A, induced by the inclusion of the abelian objects of D at the level of the slice category D/Y, are actually isomorphisms. These conditions hold in particular when D is the category Gp of groups, and this allows us to give a new insight on the Eilenberg-Mac Lane cohomology of groups. They hold also when D is the category K-Lie of Lie-algebras.
This preprint contains a part of the results of our earlier preprint arXiv:0907.3335v2 presented in a form suitable for journal publication. It covers a construction of a 2-fold monoidal structure on the category of tetramodules, with all necessary definitions, and an overview of the results of R.Taillefer [Tai1,2] on tetramodules and the Gerstenhaber-Schack cohomology [GS] (formerly served as Appendix in arXiv:0907.3335v2), as well as a computation of the Gerstenhaber-Schack cohomology for the free commutative cocommutative bialgebra S(V), for a V is a vector space.
