Abstract:Let H be a coFrobenius Hopf algebra over a field k. Let A be a right H-comodule algebra over k. We recall that the category of right H-comodules admits a certain model structure whose homotopy category is equivalent to the stable category of right H-comodules given in Farina's paper. In the first part of this paper, we show that the category of left A-module objects in the category of right H-comodules admits a model structure, which becomes a model subcategory of the category of H*-equivariant A-modules endowed with a model structure given in the author's previous paper if H is finite dimensional with a certain assumption. Note that this category is not a Frobenius category in general. We also construct a functorial cofibrant replacement by proceeding the similar argument as in Qi's paper. In the latter half of this paper, we see that cyclic H-comodules which give Hopf-cyclic (co)homology with coefficients in Hopf H-modules are contructible in the homotopy category of right H-comodules, and we investigate a Hopf-cyclic (co)homology in slightly modified setting by assuming A a right H-comodule k-Hopf algebra with H-colinear bijective antipode in stable category of right H-comodules and give an analogue of the characteristic map. We remark that, as an expansion of an idea of taking trivial comodule k as the coefficients, if we take an A-coinvariant part of M assuming M a Hopf A-module in the category of right H-comodules, we have the degree shift of cyclic modules.

Hopf Algebra Equivariant Cyclic Cohomology, K-theory and Index Formulas

Hopf Cyclic Cohomology and Hodge Theory for Proper Actions

Hopf algebras and homotopy invariants

Structure algebras, Hopf algebroids and oriented cohomology of a group

The Equivariant Brauer Group of a Cocommutative Hopf Algebra

Pointed Hopf algebra (co)actions on rational functions

Equivariant Poincaré-Hopf theorem

Algebraic Kasparov K-theory. II

Hopf algebras in the cohomology of $\mathcal{A}_g$, $\mathrm{GL}_n(\mathbb{Z})$, and $\mathrm{SL}_n(\mathbb{Z})$

A model structure and Hopf-cyclic theory on the category of coequivariant modules over a comodule algebra

A Torsion Theory in the Category of Cocommutative Hopf Algebras

Equivariant algebraic $K$-theory of symmetric monoidal Mackey functors

Equivariant Verlinde Algebra from Superconformal Index and Argyres–Seiberg Duality

Etale Groupoids, eta invariants and index theory

Homotopy theory of algebraic quantum field theories

Galois theory and homology in quasi-abelian functor categories

A New Cyclic Module for Hopf Algebras

Index Formula for Hamiltonian Loop Group Spaces

Hopf algebraic structures on hypergraphs and multi-complexes

Self-similar groupoid actions on k-graphs, and invariance of K-theory for cocycle homotopies

Homotopy of product systems and K-theory of Cuntz-Nica-Pimsner algebras