Explicit generating acyclic cofibrations and right properness of a model category

If $\mathcal C$ is the category of simplicial presheaves on a small category $A$ equipped with the injective model structure, it is proper, but it is very unlikely that we will get "explicit generating (trivial) cofibrations" without further assumptions (for instance on the indexing category $A$, such as being elegant in the sense of Rezk and Bergner). And it is hard to define the adjective "explicit" mathematically with the level of generality you are aiming at...

That said, here are classes of examples which gives a hint about the freedom we have, and in particular, about the fact that having explicit generators and right properness are not directly related.

First, the left Bousfield localizations of the Kan-Quillen model structure on the category of simplicial sets which are proper are precisely the nullifications. This gives quite a lot of freedom to mess around.

Second, there are proper model structures with explicit generators but no nice functors such as the $Ex^\infty$-functor: for instance cubical sets.

To come back to the general case, it is a good thing to remember what properness is about: right properness means that the formation of slices is compatible with weak equivalences (i.e. pulling back along any weak equivalence $X\to Y$ induces a right Quillen equivalence from $\mathcal C/Y$ to $\mathcal C/X$). In particular, the canonical model structures induced on slices $\mathcal C$ are rather relevant when it comes to express whether the model structure $\mathcal C$ is right proper or not.

If ever we have "explicit" pseudo-generators, in practice, we can define yet another model structure on each slice $\mathcal C/X$, which is fully characterized through the following: the cofibrations are the maps which are cofibrations in $\mathcal C$, while the fibrant objects are the maps $E\to X$ which have the right lifting property with respect to the pseudo-generating set of trivial cofibrations. The usual sliced model structure on $\mathcal C/X$ is thus a left Bousfield localization of the latter, but there is no reason that they agree. In fact, they agree for all $X$ if and only if the pseudo-generators actually are generators of trivial cofibrations.

Here is an enlightening example. Horn inclusions of the form $\Lambda^n_k\to\Delta^n$ for $n\geq 1$ and $0\geq k< n$ do form a pseudo-generating set for the usual Kan-Quillen model structure. Moreover, on slices, the model structure induced by these pseudo generators are fully documented: they are the "contravariant model structures" modelling presheaves on quasi-categories. In particular, they are not always proper and they coincide with the usual sliced model structures only when we slice over simplicial sets whose fundamental category (obtained through the left adjoint of the nerve) is a groupoid. In particular, the fact that these pseudo-generators fail to be generators is not an accident nor a failure: it is needed because we do not want all presheaves to be locally constants!

The answer to Question A is no. A counterexample is provided by left Bousfield localization. Let $M$ be left proper and cellular. Let $C$ be a set of maps in $M$. Hirschhorn's machine for left Bousfield localization $L_C(M)$ gives some set of generating trivial cofibrations, but it's hard to describe. If it's easy enough to describe that you think it's "explicitly describable," then this is your counterexample, because it's well-known that $L_C(M)$ can fail to be right proper (Hirschhorn has examples). If you think the generating trivial cofibrations are not "explicitly describable," I can still give you a counterexample, using Section 9 of Bousfield's paper "On the telescopic homotopy theory of spaces." In that paper, Bousfield gives conditions under which $L_C(M)$ must be right proper, but this does not appear to provide control over the generating trivial cofibrations: they are as crazy as in Hirschhorn's case.

Moving on to question B, evidence against it is provided by the theory of right Bousfield localizations $R_K(M)$. These are always right proper, but need not be cofibrantly generated. The generating trivial cofibrations are the same as in $M$, but the things you want to be generating cofibrations (see Hirschhorn, Chapter 4) only characterize trivial fibrations with fibrant codomain, via lifting. I'd look at examples like $R_K(M)$ to disprove B. Even if all objects of $M$ are fibrant (so that $R_K(M)$ is cofibrantly generated), you've changed $I$ and $W$ without changing $J$, so I think you'll have changed the pseudo-generating sets too. There are also examples where $R_K(M)$ is cofibrantly generated even if $M$ does not have all objects fibrant. I remember Brooke Shipley giving me such an example, where $M$ is sSet. I would also look at examples like this for Question C.