With every smooth, projective algebraic curve $\tilde{C}$ with involution $��:\tilde{C}\longrightarrow \tilde{C}$ without fixed points is associated the Prym data which consists of the Prym variety $P:=(1-��)J(\tilde{C})$ with principal polarization $��$ such that $2��$ is algebraically equivalent to the restriction on $P$ of the canonical polarization $��$ of the Jacobian $J(\tilde{C})$. In contrast to the classical Torelli theorem the Prym data does not always determine uniquely the pair $(\tilde{C},��)$ up to isomorphism. In this paper we introduce an extension of the Prym data as follows. We consider all symmetric theta divisors $��$ of $J(\tilde{C})$ which have even multiplicity at every point of order 2 of $P$. It turns out that they form three $P_2$ orbits. The restrictions on $P$ of the divisors of one of the orbits form the orbit $\{ 2��\} $, where $��$ are the symmetric theta divisors of $P$. The other restrictions form two $P_2$-orbits $O_1,O_2\subset \mid 2��\mid $. The extended Prym data consists of $(P,��)$ together with $O_1,O_2$. We prove that it determines uniquely the pair $(\tilde{C} ,��)$ up to isomorphism provided $g(\tilde{C})\geq 3$. The proof is analogous to Andreotti's proof of Torelli's theorem and uses the Gauss map for the divisors of $O_1,O_2$. The result is an analog in genus $>1$ of a classical theorem for elliptic curves.

31 p., LATEX 2.09