Related papers: Relative Hom-Hopf modules and total integrals

We furnish any category of a universal (co)homology theory. Universal (co)homologies and universal relative (co)homologies are obtained by showing representability of certain functors and take values in $R$-linear abelian categories of…

We show that indecomposable exact module categories over the category Rep H of representations of a finite-dimensional Hopf algebra H are classified by left comodule algebras, H-simple from the right and with trivial coinvariants, up to…

Let $\k$ be a commutative ring, and let $(A,\mfrak{a})$ be an adic ring which is a $\k$-algebra. We study complete and torsion versions of the derived Hochschild homology and cohomology functors of $A$ over $\k$. To do this, we first…

For $\mathcal{C}$ a finite tensor category we consider four versions of the central monad, $A_1, \dots, A_4$ on $\mathcal{C}$. Two of them are Hopf monads, and for $\mathcal{C}$ pivotal, so are the remaining two. In that case all $A_i$ are…

We define a version of Hochschild homology and cohomology suitable for a class of algebras admitting compatible actions of bialgebras, called module algebras. We show this (co)homology, called Hopf--Hochschild (co)homology, can also be…

We define $A_{\infty}$-structures -- algebras, coalgebras, modules, and comodules -- in an arbitrary monoidal DG category or bicategory by rewriting their definitions in terms of unbounded twisted complexes. We develop new notions of strong…

Let H be a Hopf algebra and A an H-simple right H-comodule algebra. It is shown that under certain hypotheses every (H,A)-Hopf module is either projective or free as an A-module and A is either a quasi-Frobenius or a semisimple ring. As an…

Let R be a ring of polynomials in a finite number of variables over a perfect field k of characteristic p>0 and let F:R\to R be the Frobenius map of R, i.e. F(r)=r^p. We explicitly describe an R-module isomorphism Hom_R(F_*(M),N)\cong…

Given a map $f: X\rightarrow Y$ of simply connected spaces of finite type such. The space of based loops at $f$ of the space of maps between $X$ and $Y$ is denoted by $\Omega_{f} Map(X,Y)$. For $n> 0$, we give a model categorical…

B\"ohm and \c{S}tefan have expressed cyclic homology as an invariant that assigns homology groups $\mathrm{HC}^\chi_i(\mathrm N, \mathrm M)$ to right and left coalgebras $\mathrm N$ respectively $\mathrm M$ over a distributive law $\chi$…

For a complete and cocomplete category $\mathcal{C}$ with a well-behaved class of `projectives' $\bar{\mathcal{P}}$, we construct a model structure on the category $s\mathcal{C}$ of simplicial objects in $\mathcal{C}$ where the weak…

Non-commutative connections of the second type or hom-connections and associated integral forms are studied as generalisations of right connections of Manin. First, it is proven that the existence of hom-connections with respect to the…

We investigate the representation theory of a large class of pointed Hopf algebras, extending results of Lusztig and others. We classify all simple modules in a suitable category and determine the weight multiplicities; we establish a…

If H is a quasi-Hopf algebra and B is a right H-comodule algebra such that there exists v:H\to B a morphism of right H-comodule algebras, we prove that there exists a left H-module algebra A such that B\simeq A# H. The main difference…

Let $A$ be an algebra over a commutative ring $R$. If $R$ is noetherian and $A^\circ$ is pure in $R^A$, then the categories of rational left $A$-modules and right $A^\circ$-comodules are isomorphic. In the Hopf algebra case, we can also…

Let R be a local complete ring. For an R-module M the canonical ring map R\to End_R(M) is in general neither injective nor surjective; we show that it is bijective for every local cohomology module M := H^h_I(R) if H^l_I(R) = 0 for every…

This article develops several main results for a general theory of homological algebra in categories such as the category of sheaves of idempotent modules over a topos. In the analogy with the development of homological algebra for abelian…

For every stable presentably symmetric monoidal $\infty$-category $\mathcal{C}$ we use the Koszul duality between the spectral Lie operad and the cocommutative cooperad to construct an enveloping Hopf algebra functor $\mathcal{U}:…

Let $R$ be a commutative Noetherian ring and $\mathfrak{a}$ be an ideal of $R$. Suppose $M$ is a finitely generated $R$-module and $N$ is an Artinian $R$-module. We define the concept of filter coregular sequence to determine the infimum of…

Let $G$ be an algebraic group over a field $k$, and $M$ and $N$ be $G$-modules. In 1961, Hochschild showed how one can define the cohomology groups $\text{Ext}_{G}^{i}(M,N)$. Kimura, in 1965, showed that one can generalize this to get…