I'm doing some work with model categories and operads, and to check a certain hypothesis I've had to learn a bit of equivariant homotopy theory. Let $M$ be a model category and $G$ be a finite group. We can assume $M$ is cofibrantly generated and left proper, but I'm trying to avoid assuming $M$ is combinatorial. If necessary we can assume $M$ is cellular, but right now I don't see how that can help. It has turned out to be useful to know that $M^G$ has a model structure where the cofibrations are $G$-equivariant maps which are cofibrations in $M$. This is simply the *injective* model structure on $M^G$, where a map $f$ is a weak equivalences or cofibrations if the underlying map in $M$ is such.

I tend to think of $M^G$ as a special case of a diagram category $M^I$ (where $I$ is small), because I feel like I have a decent grasp on diagram categories. In that setting, I believe one must know that $M$ is combinatorial in order to know the injective model structure exists. However, I don't have a good reference for this other than having seen it mentioned without proof or reference in a number of papers.

(1) Can anyone provide a reference which proves the injective model structure on $M^I$ exists? I'd like to see where the hypothesis that $M$ is combinatorial gets used. I'd also like the reference to prove the injective model structure is cofibrantly generated.

It's worth noting that Proposition A.2.8.2 in Lurie's *Higher Topos Theory* proves existence of the injective model structure, but I'm not satisfied with that for a couple of reasons. First, the proof is very complicated because Lurie wants it to hold in the setting where $M$ and $I$ are enriched over an excellent model category. My ideal reference would be a simpler proof holding in the non-enriched setting, preferably the first place the injective model structure was defined. Second (and related), because everything in this appendix is about combinatorial model categories, I can't help but wonder if there's a proof which relies on that hypothesis less. Finally, it's almost impossible for me to get my hands on the generating (trivial) cofibrations from that proof. Lurie relies on the very-complicated Lemma A.3.3.3 to get generating cofibrations and on Proposition A.2.6.8, which says basically that if you're in a category which is almost combinatorial (missing only generating trivial cofibrations) then you can get the generating trivial cofibrations for free from the generating cofibrations.

In the special case where $I$ is a group $G$, I can't seem to find anything on the injective model structure. Most of the work I can find on equivariant homotopy theory uses the projective model structure instead of the injective (and this one is known to exist if $M$ is cofibrantly generated). I imagine that with so much structure on $I$ and with so much theory which has been developed out there for equivariant homotopy theory, one should be able to come up with a much better proof in this setting than the one in HTT.

(2) Is the hypothesis that $M$ is combinatorial still necessary to prove existence of the injective model structure on $M^G$? In what ways is this model structure nicer than $M^I$ for a generic $I$?