Let $C$ be a compactly generated triangulated category. Can it contain a non-zero object $M$ such that there are no non-zero morphisms FROM $M$ into compact objects? I would be grateful for any example; can one obtain a certain "description" for these "left phantom" objects? For example, what happens in the unbounded derived category of a ring of infinite cohomological dimension?
Note that the subcategory of objects satisfying this conditions is triangulated and closed with respect to coproducts. I am willing to localize by this category (if it is non-zero; I would actually prefer to impose certain extra "orthogonality" conditions on the subcategory I kill). Yet I do not know whether the hom-classes in the quotient are sets. The localization functor should respect coproducts; yet it does not seems to respect the compactness of objects.