If $X \times Y$ is Separable, are $X, Y$ Separable? I would suspect the question in the title is false, but I could not think of a counterexample.  The reason I am interested in this question concerns the various definitions of 'generalized manifolds.'  For some definitions, I know that generalized manifolds in dimension 1 and 2 are actual manifolds, but I think this is only when we assume the spaces are separable/metrizable.

Yes, as $X = \pi_1[X \times Y]$ and the continuous image of a separable space 
is separable (if $f: X \to Y$ is continuous and surjective and $D$ is dense in $X$: $$Y = f[X] = f[\overline{D}] \subseteq \overline{f[D]}$$ so that $f[D]$ is dense in $Y$ ; the inclusion follows from the continuity.) 
So $X \times Y$ separable implies $X$ separable, and using the other projection, $Y$ is separable too. If both are separable with countable dense subsets $D_X$ resp. $D_Y$, then $D_X \times D_Y$ is countable and dense in $X \times Y$, and so $X \times Y$ is separable. So we have equivalence.
For second countability we have a similar proof except that for $X \times Y$ second countable implies $X$ is, we use that $X$ embeds as a subspace in the product, and so does $Y$.
