Quotients of $\ell_\infty$ by separable subspaces Given a (closed) separable subspace $M$ of $\ell_\infty$, I am interested in conditions implying that the quotient $\ell_\infty/M$ is isomorphic to a subspace of $\ell_\infty$. 
It is not difficult to see that being $M$ reflexive is sufficient, and Bourgain proved that $\ell_\infty/c_0$ does not admit an equivalent strictly convex norm (while $\ell_\infty$ does). So $\ell_\infty/c_0$ is not isomorphic to a subspace of $\ell_\infty$. 
 A: While I do not have a complete answer to the OP’s question, I made enough observations that I think it is worthwhile to record them as an answer.
(1) If $X$ and $Y$ are isomorphic (closed) subspaces of $\ell_\infty$, then $\ell_\infty/X$ embeds into $\ell_\infty$ iff $\ell_\infty/Y$ embeds into $\ell_\infty$.  
Indeed, it is clear that $\ell_\infty/X$ embeds into $\ell_\infty$ iff
$(\ell_\infty \oplus \ell_\infty)/(X \oplus \{0\})$ embeds into $\ell_\infty$, so without loss of generality we can assume that $\ell_\infty$ embeds into both $\ell_\infty/X$ and into $\ell_\infty/Y$.  We then get from [LR, [Theorem 3(i)] that every isomorphism from $X$ onto $Y$ extends to an automorphism of $\ell_\infty$.
(2) Suppose that $Y$ is a subspace of $\ell_\infty$ and $X$ is a subspace of $Y$.  Assume that $\ell_\infty/Y$ embeds into $\ell_\infty$. Then $\ell_\infty/X$ embeds into $\ell_\infty$ iff $Y/X$ embeds into $\ell_\infty$.  
The “only if” part is clear because $Y/X$ embeds into $\ell_\infty/X$.  The other direction is an easy consequence of Lindentrauss’ observation that if $U\subset V$ and both $U$ and $V/U$ embed into $\ell_\infty$, then $V$ embeds into $\ell_\infty$.   To prove this observation, let $T$ be an isomorphism from $U$ into $\ell_\infty$ and  $S$ an isomorphism from $V/U$ into $\ell_\infty$.  The space $\ell_\infty$ is $1$-injective (this is immediate from the Hahn-Banach theorem), so $T$ extends to a bounded linear mapping (which we also denote by $T$) from $V$ into $\ell_\infty$.   Denoting the quotient map from $V$ to $V/U$ by $Q$, we see that $T \oplus SQ: x\mapsto (Tx, SQx)$ defines an isomorphism from $V$ into $\ell_\infty \oplus_\infty \ell_\infty \equiv \ell_\infty$.
(3)  Suppose that $X$ is a subspace of of $\ell_\infty$ and $X$ is isomorphic to $Y^*$ for some separable $Y$.  Then $\ell_\infty/X$ embeds into $\ell_\infty$.
Indeed, $Y$, being separable, is isomorphic to the quotient space $\ell_1/W$ for some subspace $W$ of $\ell_1$, and  $W^\perp$ in $\ell_\infty$ is isomorphic to $X$.  But $\ell_\infty/{W^\perp}$ is isometric to $W^*$, which embeds into $\ell_\infty$ because $W$, being separable, is a quotient of $\ell_1$.  Hence by (1), the space $\ell_\infty/X$ also embeds into $\ell_\infty$.
(4) Suppose that $X$ a subspace of of $\ell_\infty$ and $X$ embeds into a separable conjugate space.  Then $\ell_\infty/X$ embeds into $\ell_\infty$. 
This follows from (3), (2), and the fact that every separable space embeds into $\ell_\infty$.  
(5) $\ell_\infty/{c_0}$ does not embed into $\ell_\infty$.  Hence if  $X$ is a separable subspace of of $\ell_\infty$ and $X$ contains a subspace isomorphic to $c_0$, then $\ell_\infty/X$ does not embed into $\ell_\infty$. 
The second statement follows from the first and (1), (2).  The first statement is another observation that I think is due to Lindenstrauss; namely, that $\ell_\infty/{c_0}$ contains an isometric copy of $c_0(\Gamma)$ with $|\Gamma|=2^{\aleph_0}$ (consider the image in $\ell_\infty/{c_0}$ of characteristic functions of $2^{\aleph_0}$ infinite subsets of the natural numbers all of whose pairwise intersections are finite).  The space $c_0(\Gamma)$ does not embed into $\ell_\infty$ because the unit vector basis for the space is a non separable set that has weakly compact closure, and every weakly compact subset of the dual to a separable space is separable. 
(6) If $X$ is a subspace of $\ell_\infty$ that is isomorphic to $L_1(0,1)$, then $\ell_\infty/X$ embeds into $\ell_\infty$. Hence if $X$ is a subspace of $\ell_\infty$ that embeds into $L_1(0,1)$, then $\ell_\infty/X$ embeds into $\ell_\infty$.
The second statement follows from the first by what is now standard reasoning.  For the first statement, note that $L_1(0,1)$ embeds into $C[0,1]^*$ as a complemented subspace, and by (3), if $Y$ is a subspace of $\ell_\infty$ isomorphic to $C[0,1]^*$, then $\ell_\infty/Y$ embeds into $\ell_\infty$.  Now use (2) and (1).
[LR] J. Lindenstrauss and H. P. Rosenthal, Automorphisms in $c_0$, $\ell_1$, and $m$,  Israel J. Math. 7 (1969), 227–239.
