\[ A ( S ) \ne S \, ; \qquad \qquad \qquad \qquad \qquad \qquad ( 2 . 1 4 ) \]

since \( A \neq { \mathrm { I d } } \), such a subspace exists. Consider the vector bundle V on Y constructed in (2.11) using S. As before, P(V ) denotes the projective bundle over Y parametrizing the lines in the fibers of V .

There is an embedding

\[ \delta : P ( V ) \longrightarrow Q \qquad \qquad \qquad \qquad \qquad ( 2 . 1 5 ) \]

which we will now describe. For the map f in (2.2), the image \( f \circ \delta ( P ( V ) ) \) is the point given by the quotient

\[ 0 \, \longrightarrow \, { \widehat V } \, \longrightarrow \, { \mathcal O } _ { X } ^ { \oplus r } \, \longrightarrow \, \bigl ( \bigoplus _ { i = 1 } ^ { d _ { p } - 1 } ( { \mathcal O } _ { X } ^ { \oplus r } ) _ { x _ { i } } / H _ { i } \bigr ) \oplus \bigl ( { \mathcal O } _ { X } ^ { \oplus r } \bigr ) _ { x _ { 0 } } / S \bigr ) \, \longrightarrow \, 0 \, . \]

where \( H _ { i } \) are the hyperplanes fixed above; in particular, \( f \circ \delta \) is a constant map. Note that bV is an extension of the vector bundle V to X. For any point \( y \in Y \) and any point in the fiber \( y ^ { \prime } \in P ( V ) _ { y } \), consider the short exact sequence on X

\[ 0 \, \longrightarrow \, E \, \longrightarrow \, \widehat { V } ^ { * } \, \longrightarrow \, ( \oplus _ { j = 1 } ^ { d _ { z } - 1 } ( \widehat { V } _ { y _ { j } } ^ { * } / L _ { j } ^ { \perp } ) \oplus ( \widehat { V } _ { y } ^ { * } / L ( y ^ { \prime } ) ^ { \perp } ) \, \longrightarrow \, 0 \, , \]

where \( L ( y ^ { \prime } ) \, \subset \, V _ { y } \) is the line in \( V _ { y } \) corresponding to the above point \( y ^ { \prime } \), and \( L _ { j } ^ { \perp } \, \subset \, \widehat { V } _ { y _ { j } } ^ { * } \) (respectively, \( L ( y ^ { \prime } ) ^ { \perp } \subset \widehat { V } _ { y } ^ { * } ) \) is the annihilator of \( L _ { j } \) (respectively, \( L ( y ^ { \prime } ) ) \); note that \( \widehat { V } _ { y _ { j } } \) is identified with \( \mathbb { C } ^ { r } \) and \( \widehat { V } _ { y } \) is identified with \( V _ { y } \). Therefore, we have

\[ \widehat { V } \hookrightarrow E ^ { * } . \]

The map \( \delta \) in (2.15) sends any \( y ^ { \prime } \) to the above extension \( E ^ { * } \) of bV constructed from \( y ^ { \prime } \).

From (2.10) we know that \( \mathrm { P G L } ( r , \mathbb { C } ) \) is contained in \( \operatorname { A u t } ( p ^ { - 1 } ( U ) ) \) with

\[ 0 \oplus { \mathfrak { g } } \, \subset \, { \mathfrak { g } } \oplus { \mathfrak { g } } \, = \, H ^ { 0 } ( p ^ { - 1 } ( U ) , \, T ( p ^ { - 1 } ( U ) ) ) \]

as its Lie algebra. This action of \( \mathrm { P G L } ( r , \mathbb { C } ) \) on \( p ^ { - 1 } ( U ) \) clearly preserves the intersection \( \delta ( P ( V ) ) \cap p ^ { - 1 } ( U ) \). Therefore, if the action of the element A in (2.13) extends to Q, then the extended action must preserve the image \( \delta ( P ( V ) ) \).

On the other hand, from Lemma 2.3 we know that the action of A on \( P ( V ) | _ { Y \backslash \{ y _ { 0 } \} } \) does not extend to P(V ) because (2.14) holds. This completes the proof of the theorem.



# 3. Holomorphic maps from a symmetric product

Proposition 3.1. Let X and Y be compact connected Riemann surface with

\[ \operatorname { g e n u s } ( X ) \, \geq \, \operatorname { g e n u s } ( Y ) \, \geq \, 2 \, . \]

If there is a nonconstant holomorphic map \( \beta \; : \; \mathrm { S y m } ^ { d } ( Y ) \; \longrightarrow \; X \), then \( d \)= 1, and \( \beta \) is an isomorphism.