Hochschild and ordinary cohomology rings of small categories

Let C be a small category and k a field. There are two interesting mathematical subjects: the category algebra kC and the classifying space |C|=BC. We study the ring homomorphism HH^∗(kC)→H^∗(|C|,k) and prove it is split surjective, using the factorization category of Quillen [D. Quillen, Higher algebraic K-theory I, in: Lecture Notes in Math., vol. 341, Springer-Verlag, Berlin, 1973, pp. 85-147] and certain techniques from functor cohomology theory. This generalizes the well-known theorems for groups and posets. Based on this result, we construct a seven-dimensional category algebra whose Hochschild cohomology ring modulo nilpotents is not finitely generated, disproving a conjecture of Snashall and Solberg [N. Snashall, Ø. Solberg, Support varieties and Hochschild cohomology rings, Proc. London Math. Soc. 88 (3) (2004) 705-732].     

On twisting of comodule algebras

We study twistings of H-comodule algebras for a bialgebra H, recently introduced by M. Beactie, C-Y. Chen, aud J. J. Zhang. We describe a close connection between twistings and opposite smash products. We also prove the draracterization of crossed products R_σ, H as twisted algebrar of R?H (proved by Beattie et d. for Hopf algebras) for more geberal bialgebras, including all coconunutative bialgebras.     

Koszul duality and equivalences of categories

Let and be dual Koszul algebras. By Positselski a filtered algebra with gr is Koszul dual to a differential graded algebra . We relate the module categories of this dual pair by a Hom adjunction. This descends to give an equivalence of suitable quotient categories and generalizes work of Beilinson, Ginzburg, and Soergel.

     

Hochschild cohomology of ring objects in monoidal categories

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.     

Real connective K-theory and the quaternion group

Let be the real connective K-theory spectrum. We compute and for groups whose Sylow 2-subgroup is quaternion of order 8. Using this we compute the coefficients of the fixed points of the Tate spectrum for and . The results provide a counterexample to the optimistic conjecture of Greenlees and May [9, Conj. 13.4], by showing, in particular, that is not a wedge of Eilenberg-Mac Lane spectra, as occurs for groups of prime order.

     

slN-web categories and categorified skew Howe duality

In this paper we show how the colored Khovanov–Rozansky ${\mathfrak{sl}}_N$-matrix factorizations, due to Wu [45] and Y.Y. [46], [47], can be used to categorify the type A quantum skew Howe duality defined by Cautis, Kamnitzer and Morrison in [14]. In particular, we define ${\mathfrak{sl}}_N$-web categories and 2-representations of Khovanov and Lauda's categorical quantum ${\mathfrak{sl}}_m$ on them. We also show that this implies that each such web category is equivalent to the category of finite-dimensional graded projective modules over a certain type A cyclotomic KLR-algebra.     

A duality theorem for generalized local cohomology

We prove a duality theorem for graded algebras over a field that implies several known duality results: graded local duality, versions of Serre duality for local cohomology and of Suzuki duality for generalized local cohomology, and Herzog-Rahimi bigraded duality.

     

Cohomology theories in triangulated categories

Let C be a triangulated category with a proper class E of triangles.We prove that there exists an Avramov–Martsinkovsky type exact sequence in C,which connects E-cohomology,E-Tate cohomology and E-Gorenstein cohomology.     

Cohomology of exact categories and (non-)additive sheaves

We use (non-)additive sheaves to introduce an (absolute) notion of Hochschild cohomology for exact categories as Ext's in a suitable bisheaf category. We compare our approach to various definitions present in the literature.     

Group symmetry in tensor categories and duality for orbifolds

A duality for orbifolds is presented as an application of group extensions in tensor categories.     

Cohomology theories based on Gorenstein injective modules

In this paper we study relative and Tate cohomology of modules of finite Gorenstein injective dimension. Using these cohomology theories, we present variations of Grothendieck local cohomology modules, namely Gorenstein and Tate local cohomology modules. By applying a sort of Avramov-Martsinkovsky exact sequence, we show that these two variations of local cohomology are tightly connected to the generalized local cohomology modules introduced by J. Herzog. We discuss some properties of these modules and give some results concerning their vanishing and non-vanishing.

     

Local-global principle for étale cohomology

Letk be a field of characteristic different from 2 and ø be a galoisian cohomological class ofk, with values in /2. J. K. Arason proved that ø is killed by a cup-product power of (–1) if and only if the restriction of ø is zero in all the real closedk-extensions. In this paper, we extend such a local-global principle to semilocal rings with 2 a unit, étale cohomology replacing Galois cohomology.     

Noetherian hereditary abelian categories satisfying Serre duality

In this paper we classify -finite noetherian hereditary abelian categories over an algebraically closed field satisfying Serre duality in the sense of Bondal and Kapranov. As a consequence we obtain a classification of saturated noetherian hereditary abelian categories.

As a side result we show that when our hereditary abelian categories have no non-zero projectives or injectives, then the Serre duality property is equivalent to the existence of almost split sequences.

     

A duality principle for lattices and categories of modules

Let R be a ring with 1, R^op the opposite ring, and R-Mod the category of left unitary R-modules and R-linear maps. A characterization of well-powered abelian categories $\text{A}$ such that there exists an exact embedding functor $\text{A}$→R-Mod is given. Using this characterization and abelian category duality, the following duality principles can be established.Theorem. There exists an exact embedding functor $\text{A}$→R-Mod if and only if there exists an exact embedding functor $\text{A}$^op→R^op-Mod.Corollary. If R-Mod has a specified diagram-chasing property, then R^op-Mod has the dual property.A lattice L is representable by R-modules if it is embeddable in the lattice of submodules of some unitary left R-module; $\text{L}$(R) denotes the quasivariety of all lattices representable by R-modules.Theorem. A lattice L is representable by R-modules if and only if its order dual L¹ is representable by R^op-modules. That is, $\text{L}\text{(}\text{R}{}^{\mathrm{op}}\text{)={L}{}^1\text{:L?}\text{L}\text{(}\text{R}\text{)}}$.If $\text{R}$ is a commutative ring with 1 and a specified diagram-chasing result is satisfied in R-Mod, then the dual result is also satisfied in R-Mod. Furthermore, $\text{L}\text{(}\text{R}\text{)}$ is self-dual: $\text{L}\text{(}\text{R}\text{)= {L}{}^1\text{:L?}\text{L}\text{(}\text{R}\text{)}.}$     

The Elementary Classes of Direct and Boolean Products

We characterize the elementary classes generated from a distinguished subclass closing by taking direct products and elementary equivalence. In the second part we give the same characterization in terms of atomic Boolean products. In the last part, we study the cases when the class of Boolean products is elementary but is not given by a discriminator. Mathematics Subject Classification: 03C30, 08C10, 03C05, 03C60.