Homotopy quotients and comodules of supercommutative Hopf algebras
We study induced model structures on Frobenius categories. In particular we consider the case where is the category of comodules of a supercommutative Hopf algebra over a field . Given a graded Hopf algebra quotient satisfying some finiteness conditions, the Frobenius tensor category of graded -comodules with its stable model structure induces a monoidal model structure on . We consider the corresponding homotopy quotient and the induced quotient for the tensor category of finite dimensional -comodules. Under some mild conditions we prove vanishing and finiteness theorems for morphisms in . We apply these results in the -case and study its homotopy category .