Holomorphic maps into a symmetric product of Riemann surface Let $X$ and $Y$ be compact Riemann surfaces that are both hyperbolic (i.e. genus > 1). A classical result of de Franchis implies that the space of non-constant holomorphic maps from $X$ into $Y$ is a finite set. I am investigating the structure of the space of holomorphic mappings from $X$ into $Y^n_\textsf{sym} := Y^n/S_n$ (the $n$-th symmetric product of $Y$). I believe that any holomorphic mapping $f:X \to Y^n_\textsf{sym}$ lifts to a holomorphic mapping $\widetilde{f}:X \to Y^n$ such that $f = \Pi \circ f$ where $\Pi:Y^n \to Y^n_\textsf{sym}$ is the quotient map. Is this assertion true?
 A: No, assume that there exists an $n$-sheet cover $p:Y\to X$(such certainly exist, take $Y$ to be the Riemann surface with field of meromorphic functions equal to some degree $n$ extension of $\mathbb{C}(X)$). Define $f(x)$ to be the element in symmetric power corresponding to the fiber $p^{-1}(x)$. If $f$ factors through $Y^n$, the cover would admit a section(given, for example, by assigning to $x$ the first coordinate of $\tilde{f}(x)$), which is false.
A: As SashaP already pointed out, this is false. In fact it fails very badly: The space of non-constant holomorphic maps from $X$ to $\operatorname{Sym}^2 Y$ can already contain infinitely many connected components of arbitrarily large dimension. Indeed, both of these occur when $Y$ is hyperelliptic, so $\operatorname{Sym}^2 Y$ contains a copy of $\mathbb P^1$ parameterizing orbits under the hyperelliptic involution. The dimension of the space of degree $d$ maps from $X$ to $\mathbb P^1$ grows to $\infty$ with $d$, so the dimension of components of the space of maps from $X$ to $\operatorname{Sym}^2 Y$ can be arbitrarily large as well.
