The theta divisor of \(SU_ C(2,2d)^ s\) is very ample if \(C\) is not hyperelliptic (Q1919635)

Let \(X=SU_C (2,2d)\) denote the moduli space of semistable rank-2 vector bundles with fixed determinant of even degree over a smooth projective curve \(C\) of genus \(g \geq 2\). It is well-known that \(\text{Pic} (X)\simeq \mathbb{Z}\). The generalized theta divisor is by definition the ample generator \({\mathcal L}\) of \(\text{Pic} (X)\). Let \(\varphi_{\mathcal L}: X\to\mathbb{P} H^0 ({\mathcal L})^*\) be the map associated to \({\mathcal L}\). \textit{A. Beauville} showed [Bull. Soc. Math. Fr. 116, No. 4, 431-448 (1988; Zbl 0691.14016)] that \(\varphi_{\mathcal L}\) is of degree \(\leq 2\) onto its image and \(\varphi_{\mathcal L}\) has degree 2 if and only if \(C\) is hyperelliptic. \textit{Y. Laszlo} showed [Math. Ann. 299, No. 4, 597-608 (1994; Zbl 0846.14011)] that \(\varphi_{\mathcal L}\) is an embedding for a general nonhyperelliptic curve. -- In the present paper the following result is given: Suppose \(C\) is nonhyperelliptic. (1) \(\varphi_{\mathcal L}\) is injective, (2) \(d\varphi_{{\mathcal L}, x}\) is injective if \(X\) represents a stable vector bundle. It is proven by relating the map \(\varphi_{\mathcal L}\) to the geometry of quadrics containing the projective embeddings of \(C\) as a curve of degree \(2g+2\). The method is interesting in itself.