I do not believe the argument below is correct, but I am having quite a bit of trouble finding where I went wrong with this, so perhaps someone with more expertise in this area can push me in the correct direction.


It seems we may prove the following: Let $X$ be a Banach space and suppose every separable quotient of $X$ is reflexive. Then $X$ is a [Grothendieck space](https://en.wikipedia.org/wiki/Grothendieck_space). 


*Proof:* Fix a separable Banach space $Y$ and $T \in B(X,Y)$. Then $Z \doteq X/\ker T$ is a separable quotient of $X$, hence is reflexive. There is a unique bounded linear operator $\hat{T} \in B(Z,Y)$ such that $T= \hat{T} \circ \pi$ (where $\pi: X \to Z$ is the canonical projection). Note that since $Z$ is reflexive, thus Grothendieck, and $Y$ is separable, $\hat{T}$ is weakly compact.


But then it follows that $T$ is weakly compact. Indeed, let $C \subseteq X$ be norm-bounded. Then $\pi(C)$ is as well, so $T(C)=\hat{T}(\pi(C))$ is weakly compact in $Y$. Since $T$ and $Y$ were arbitrary, it follows that $X$ is Grothendieck. $\Box$


(The converse of the above holds, but this is not important right now). Now here is the source of my skepticism. If the above is true, we can go a bit further: Let $X$ be Banach. Then $X$ has a separable quotient of infinite dimension. 


$\textit{Proof:}$ If $X$ is reflexive we are done, so assume $X$ is not reflexive. Further, if $X$ has a separable quotient that is not reflexive, then we are done since such a quotient must be infinite dimensional. We may therefore assume $X$ is a non-reflexive space such that every separable quotient of $X$ is reflexive. Then $X$ is a non-reflexive Grothendieck space by the above. 


We now note that $X^\*$ must contain a copy of $\ell\_1$. Indeed, suppose not. Then by a result presented in the abstract [here](https://www.researchgate.net/publication/231826089_Lifting_results_for_sequences_in_Banach_spaces) or [here](https://www.ncbi.nlm.nih.gov/pmc/articles/PMC388466/), any bounded sequence $(\phi\_n)$ in $X^\*$ has a weakly Cauchy subsequence $(\phi\_{n\_i})$. This subsequence is weak-\* convergent, thus weakly convergent since $X$ is Grothendieck. It follows immediately that the unit ball in $X^\*$ is weakly sequentially compact, hence weakly compact, so $X$ is reflexive, a contradiction. 


But if $X^\*$ contains a copy of $\ell\_1$, then $X$ admits an infinite dimensional, separable quotient (see the answer given [here](https://mathoverflow.net/questions/67808/separable-quotients-of-non-separable-banach-spaces) by @Bill Johnson). This concludes the proof. $\Box$


I suspect the error is in the first claim, but I've looked at this over a period of a few days and I can't find anything. Any input would be much appreciated. 



Question about a characterization of Grothendieck spaces
(Posting this comment as an answer, just so the question doesn't still show up as "unanswered".)




---


Your first claim is not justified (as you yourself suspected). If $T:X\to Y$ has separable range, this implies $X/\ker T$ injects continuously into something separable — but this doesn't necessarily imply $X/\ker T$ is itself separable. (Consider $\ell\_\infty \to c\_0$ obtained by multiplying the $n$th entry with $1/n$.)


