I think the question as expressed in the title should be clear. I do not know whether there is a known "characterization" of the weakly compact convex sets in $c\_0(\mathbb N\_0)$ but testing examples has lead me to conjecture that sequences in $\ell^1(\mathbb N\_0)$ converging to zero uniformly on these sets also converge to zero in the norm topology. Is this conjecture correct/know/well-know/is there an explicit reference?



Are sequences in $\ell^1(\mathbb N_0)$ converging uniformly on convex weakly compact subsets of $c_0(\mathbb N_0)$ norm convergent?
The answer is yes.


*Proof.* Assume to the contrary that a sequence $(x\_n)$ in $\ell^1$ converges, say to $0$, uniformly on convex weakly compact subsets of $c\_0$, but is not norm convergent and hence not norm convergent to $0$.


Note that the sequence even converges uniformly on all weakly compact subsets of $c\_0$, be they convex or not (since [the closed convex hull of a weakly compact set is again weakly compact](https://mathoverflow.net/a/218164/102946)). So if we construct a sequence $(y\_n)$ in $c\_0$ that converges weakly to $0$ but such that $\langle y\_n, x\_n \rangle \not\to 0$, then we have a contradiction.


After replacing $(x\_n)$ with a subsequence we may assume that $\|x\_n\| \ge \varepsilon$ for some $\varepsilon > 0$ and all $n$.
Moreover, since $(x\_n)$ converges, in particular, weakly to $0$, it also converges pointswise to $0$. So after replacing $(x\_n)$ with yet another subsequence we may assume that, for all $n$, we have $\sum\_{k=1}^{n-1} |x\_n(k)| < \varepsilon/3$. Hence, there exist numbers $N\_n \ge n$ such that $\sum\_{k=n}^{N\_n} |x\_n(k)| \ge \varepsilon / 3$ for each $n$.


Now simply choose $y\_n(k)$ to be zero for $k$ outside the set $\{n,\dots, N\_n\}$ and to be the complex conjugate of the (complex) sign of $x\_n(k)$ for $k$ inside this set. Then we have $\langle y\_n, x\_n \rangle \ge \varepsilon / 3$ for each $n$. Moreover, the sequence $(y\_n)$ in $c\_0$ is bounded and converges pointwise to $0$; hence, it also converges weakly to $0$.


