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.

Equivariant Homotopy Theory via Simplicial Coalgebras

The simplicial coalgebra of chains under three different notions of weak equivalence

The equivariant stable homotopy theory around isometric linear maps

Equivalences of the form $Σ^V X \simeq Σ^W X$ in equivariant stable homotopy theory

Three models for the homotopy theory of homotopy theories

Homotopy theory of smooth compactifications of algebraic varieties

Simplicial $C_2$-Isovariant Homotopy

Rational and $p$-local Motivic Homotopy Theory

Cyclic homology of categorical coalgebras and the free loop space

Computing Equivariant Homotopy with a Splitting Method

Homotopy invariance through small stabilizations

Equivariant Hilbert and Ehrhart series under translative group actions

Homotopy theory of schemes and $R$-equivalence

Homotopy theory of homotopy algebras

The equivariant model structure on cartesian cubical sets

Computing the homology of universal covers via effective homology and discrete vector fields

A note on non-simply connected rational homotopy models

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

Homotopy cofinality for Non-Abelian homology of group diagrams

Equivariant generalized cohomology via stacks

Integral equivariant $K$-theory and cobordism ring of simplicial GKM orbifold complexes