Proof of the claim. Let $D\in |K_C-L|$  not containing $p+q$  , and consider $D+\left|L\right|:=\{D+E:E\in |L\left|\right\}\subseteq \left|\text{image}{\mu }_L\right|$  , then if $p+q$  impose independent conditions to $D+\left|L\right|$  , then $p+q$  impose independent conditions to the linear system $\left|\text{image}{\mu }_L\right|$  , and in this case $\text{the dimension of}\mathfrak{L}(-p-q)=3$  . Let $\ell$  be a line through the node $x_{\delta }$  determined by $p$  and $q$  . Then the intersection $\ell \cdot \Gamma$  , of $\ell$  with $\Gamma$  , is $\ell \cdot \Gamma =p+q+E_{\ell }$  , where $E_{\ell }\in \left|L\right|$  . Since $x_{\delta }$  is a node there exists two different lines ${\ell }_p,{\ell }_q$  through the node such that ${\ell }_p=2p+q+E_p$  , where $q$  is not in the support of the divisor $E_p$  , and ${\ell }_q=2q+p+E_q,$  with $p$  not in the support of $E_q$  . Then $E_p+p\in \left|L\right|$  is the unique divisor given by the tangent line ${\ell }_p$  to the branch through $p$  not containing $q$  . Simillary $q+E_q$  is the unique divisor given by the tangent line ${\ell }_q$  thorugh the branch $q$  not containing the point $p$  . So we have that $p+q$  impose independent conditions to $D+\left|L\right|$  . $\square$  Proof of Theorem 1. We will show that $\pi \left({\widetilde{\mathcal{G}\mathcal{P}}}_{g,g-2}^1\right)=\mathcal{G}{\mathcal{P}}_{g,g-2}^1$  is an irreducible divisor in ${\mathcal{ℳ}}_g$  .

Let $C$  be a non-tetragonal curve of genus $g$  and suppose that there is a line bundle $L\in W_{g-2}^1\left(C\right)$  free of base points such that the $g_g^2=|K_C\otimes L^{-1}|$  induces a projective model as in proposition 2.1, in other words, $(C,L)\in {\widetilde{\mathcal{G}\mathcal{P}}}_{g,g-2}^1\subset {\mathcal{W}}_{g-2}^1$  . Since $C$  is non tetragonal we have that $\text{ker}{\mu }_L$  is one dimensional, so ${\mu }_L$  has rank five. In a small open neighbourhood $U_C$  inside the locus of non tetragonal curves containing $C$  in ${\mathcal{ℳ}}_g$  , we have a finite cover $\tilde{U}$  and pairs $(C^{\prime },L^{\prime })\in {\mathcal{W}}_{g-2}^1,C^{\prime }\in \tilde{U},L^{\prime }\in {\text{Pic}}^{g-2}\left(C^{\prime }\right)$  such that locally the Petri map is a homomorphism of vector bundles $$\mu {|}_{(C^{\prime },L^{\prime })}:H^0(C^{\prime },L^{\prime })\otimes H^0(C^{\prime },K_{C^{\prime }}\otimes (L^{\prime }{)}^{-1})\to H^0(C^{\prime },K_{C^{\prime }})$$  For each $(C^{\prime },L^{\prime })\in {\widetilde{\mathcal{G}\mathcal{P}}}_{g,g-2}^1$  , the homomorphism $\mu {|}_{(C^{\prime },L^{\prime })}$  has rank five, and in this case the subvariety ${\widetilde{\mathcal{G}\mathcal{P}}}_{g,g-2}^1$  has codimension $\le g-5=\rho +1$  , that is, $\text{dim}{\widetilde{\mathcal{G}\mathcal{P}}}_{g,g-2}^1\ge 3g-3+\rho -\gamma =3g-4$  . The lemma 2.4 implies that the projection $\pi :{\widetilde{\mathcal{G}\mathcal{P}}}_{g,g-2}^1\to {\mathcal{ℳ}}_g$  is generically finite, then we have that $\pi \left({\widetilde{\mathcal{G}\mathcal{P}}}_{g,g-2}^1\right)=\mathcal{G}{\mathcal{P}}_{g,g-2}^1$  is an irreducible divisor in ${\mathcal{ℳ}}_g$  . $\square$  .

Lemma 2.5. Let $C$  be a non tetragonal curve of genus $g$  with a $L\in W_{g-2}^1\left(C\right)$  with base locus $\mathcal{ℬ}=\left(p\right)$  such that ${\mu }_L$  is not injective, then $\mathcal{ℒ}:=L+p$  is a theta characteristic on $C$  .

Proof. Since $C$  is non tetragonal, by the base point free pencil trick we have that $\text{dim ker}{\mu }_L=h^0(C,(K_C\otimes L^{-1})\otimes L^{-1}(p\left)\right)=1$  , then there exists $q_1,q_2,q_3\in C$  such that $K_C\otimes L^{-2}\left(p\right)\sim q_1+q_2+q_3$  . By Riemann-Roch we have that $h^0(C,K_C(3p\left)\right)=g+2$  and $h^0(C,K_C(3p-q_2-q_3\left)\right)=g$  . Note that $K_C+3p-q_2-q_3\sim 2L+2p+q_1=2\mathcal{ℒ}+q_1$  , then $h^0(C,{\mathcal{ℒ}}^2+q_1)=g$  . Since $q_1$  is base point of ${\mathcal{ℒ}}^2+q_1$  we have that $h^0(C,({\mathcal{ℒ}}^2+q_1\left)\right)=h^0(C,({\mathcal{ℒ}}^2+q_1)-q_1)=h^0(C,{\mathcal{ℒ}}^2)=g$  . By Riemann-Roch we have that $h^0(C,K_C\otimes {\mathcal{ℒ}}^{-2})=1$  , that is $K_C\simeq {\mathcal{ℒ}}^2$  , then $\mathcal{ℒ}=L+p$  is a theta characteristic on $C$  .

Corollary 2.6.. Let $C$  and $L$  be as in the hypothesis of lemma 2.5. Then there is at most finitely many such $L\in W_{g-2}^1\left(C\right)$  for which ${\mu }_L$  is not injective.

Proof. Let $p$  the base locus of $L$  . For each such $L$  we have by lemma 2.5 that $L+p$  is a theta characteristic. Let $L_0$  and $L_1$  as in lemma 2.5 with $p_0$  and $p_1$  the base locus of $L_0$  and $L_1$  respectively. Note that if $\left|L_0\right|\ne \left|L_1\right|$  then $|L_0+p_0|\ne |L_1+p_1|$  . Since on an algebraic curve there are finitely many theta characteristics the assertion follows. $\square$  .

2.7. Now consider a non tetragonal curve $C$  of genus $g$  with a primitive pencil $\left|L\right|=g_{g-3}^1$  for which ${\mu }_L$  is not injective. By the base-point-free pencil trick we have that $\text{dim ker}{\mu }_L=h^0(C,K_C\otimes L^{-2})=1$  . This implies that $|K_C\otimes L^{-2}|\ne \varnothing$  , that is, there exists points $p_1,p_2,p_3,p_4$  on $C$  such that $K_C\otimes L^{-2}\sim {\mathcal{O}}_C(p_1+p_2+p_3+p_4)$  with $h^0(C,{\mathcal{O}}_C(p_1+p_2+p_3+p_4\left)\right)=1$  . Note that if (for example) $p_1=p_2$  , then $K_C\otimes L^{-2}\otimes O_C\left(2p_1\right)\sim {\mathcal{O}}_C(p_3+p_4)$  , that is, $\mathcal{ℰ}:=L\otimes {\mathcal{O}}_C\left(p_1\right)\in W_{g-2}^1\left(C\right)$  is such that $K_C\otimes {\mathcal{ℰ}}^{-2}\sim {\mathcal{O}}_C(p_3+p_4)$  . This case was analized in proof of lemma 2.4.

Thus we may assume that $p_1,p_2,p_3,p_4\in C$  are all differentes. Note also that if $\alpha$  is the non-zero section of $H^0(C,{\mathcal{O}}_C(p_2+p_3\left)\right)$  and $\beta$  is the non-zero section of $H^0(C,{\mathcal{O}}_C(p_4\left)\right)$  , then $\alpha \otimes \beta$  is the non-zero section of $H^0(C,{\mathcal{O}}_C(p_2+p_3+p_4\left)\right)$  . Proposition 2.8. There is at most finitely many line bundles $L\in W_{g-3}^1\left(C\right)$  free of base points for which ${\mu }_L$  is not injective.

Proof. Let $L\in W_{g-3}^1\left(C\right)$  free of base points for which ${\mu }_L$  is not injective. Then $K\otimes L^{-2}\sim {\mathcal{O}}_C(p_1+p_2+p_3+p_4)$  as in 2.7. Let $\mathcal{ℰ}:=L\otimes {\mathcal{O}}_C\left(p_1\right)$  be, then $\mathcal{ℰ}\in W_{g-2}^1\left(C\right)$  and $\mathcal{ℬ}=p_1$  is the base locus of $\mathcal{ℰ}$  . Denote $\mathcal{ℱ}=K_C\otimes {\mathcal{ℰ}}^{-1}$  . By the base point free pencil trick we have that $\text{ker}{\mu }_{\mathcal{ℰ}}\simeq H^0(C,\mathcal{ℱ}\otimes {\mathcal{ℰ}}^{-1}(\mathcal{ℬ}\left)\right)=H^0(C,(K_C\otimes {\mathcal{ℰ}}^{-1})\otimes {\mathcal{ℰ}}^{-1}(p_1\left)\right)=H^0(C,K_C\otimes L^{-2}(-2p_1)\otimes {\mathcal{O}}_C(p_1\left)\right)=H^0(C,{\mathcal{O}}_C(p_2+p_3+p_4\left)\right)$  , then $\text{dim ker}{\mu }_{\mathcal{ℰ}}=h^0(C,{\mathcal{O}}_C(p_2+p_3+p_4\left)\right)=1$  . This show that if there is a infinitely many line bundles $L\in W_{g-3}^1\left(C\right)$  free of base points for which ${\mu }_L$  is not injective, then there exists infinitely many line bundles $\mathcal{ℰ}\in W_{g-2}^1\left(C\right)$  each one of them with exactly one point as base locus with ${\mu }_{\mathcal{ℰ}}$  not injective. By corollary 2.6 this is impossible, so we have the assertion.

The proof of our second main theorem is similar to the proof of theorem 1. Our second theorem says:

Theorem 2. $\mathcal{G}{\mathcal{P}}_{g,g-3}^1$  is a irreducible divisor in ${\mathcal{ℳ}}_g$  .

3.The Gieseker-Petri locus $\mathcal{G}{\mathcal{P}}_g$  for $g=8,9,10.$  In this section we will show that for $g=8,9,10$  , $\mathcal{G}{\mathcal{P}}_g$  is a divisor. For this we will use our theorems and the the following result due to Castelnuovo (see proof [2, p.116]):

Castelnuovo's bound. Let $C$  be a smooth curve that admits a birational mapping onto a non-degenerated curve of degree $d$  in ${\mathbb{P}}^r$  . Then the genus $g$  of $C$  satisfies the inequality $g\le \pi (d,r)$  , where the Castelnuovo number $\pi (d,r)$  is defined by $\pi (d,r)=\frac{m(m-1)}{2}(r-1)+m\epsilon$  , where $m=\left[\frac{d-1}{r-1}\right]$  with $d-1=m(r-1)+\epsilon$  . Here $\left[s\right]$  denotes the integer part of the number $s$  .

Consider the stratification of ${\mathcal{ℳ}}_g$  given by gonality: ${\mathcal{ℳ}}_{g,2}^1\subseteq {\mathcal{ℳ}}_{g,3}^1\subseteq \cdot \cdot \cdot \subseteq {\mathcal{ℳ}}_{g,d}^1\subseteq \cdots \subseteq {\mathcal{ℳ}}_g$  where ${\mathcal{ℳ}}_{g,d}^1={\mathcal{ℳ}}_g$  for $d\ge \left[\frac{g+3}{2}\right]$  . Thus the number $\left[\frac{g+3}{2}\right]$  is the generic gonality for curves of genus $g$  . Note that a curve $C$  of genus $g$  with a $g_d^1$  belongs to $\mathcal{G}{\mathcal{P}}_{g,d}^1$  if $g>2(d-1)$  .

3.1. First we analize $\mathcal{G}{\mathcal{P}}_8$  . We recall that it is enough to consider primitive linear series $\left|D\right|=g_d^r$  for which the Petri map ${\mu }_D$  is not injective for $2r\le d\le g-1=7$  . 3.1.1. $r=1,d=2,3,4,5$  . By gonality we have that ${\mathcal{ℳ}}_{8,2}^1\subseteq {\mathcal{ℳ}}_{8,3}^1\subseteq {\mathcal{ℳ}}_{8,4}^1\subseteq {\mathcal{ℳ}}_{8,5}^1$  . In this case $\rho (8,1,4)=-2<\rho (8,1,5)=0$  . By ([9]) we have that ${\mathcal{ℳ}}_{8,4}^1$  is of codimension at most two. Also by ([5], p. 360-361) we have that $\mathcal{G}{\mathcal{P}}_{8,5}^1$  is a divisor.

3.1.2. $r=1,d=6$  . By the theorem 1, $\mathcal{G}{\mathcal{P}}_{8,6}^1$  is an irreducible divisorial component of $\mathcal{G}{\mathcal{P}}_8$  3.1.3. $r=1,d=7$  . The locus of curves with a autoresidual $\left|D\right|=g_7^1$  is the Teixidor divisor ${\mathcal{ℳ}}_8^1$  .

So by 3.1.1, 3.1.2, 3.1.3 we have that $\mathcal{G}{\mathcal{P}}_{8,5}^1,\mathcal{G}{\mathcal{P}}_{8,6}^1,{\mathcal{ℳ}}_8^1$  are divisorial components of $\mathcal{G}{\mathcal{P}}_8$  .

3.1.4. $r=2,d=4,5,6,7$  . A curve $C$  of genus eight with a $g_4^2$  is hyperelliptic, and by genus formula, there is no a curve of genus eight with a $g_5^2$  .

Let $C$  a curve with a primitive linear series $g_6^2$  . If $g_6^2$  induces a birational map $\psi :C\to Y\subset {\mathbb{P}}^2$  , then $Y:=\psi \left(C\right)$  is of degree six. By genus formula, either $Y$  has two double points or one tacnode. In any case the lines through the double point cut out a $g_4^1$  , so $C\in {\mathcal{ℳ}}_{8,4}^1$  . If the $g_6^2$  is not birational, then either $Y$  has degree two or three, so $C$  is either bielliptic or trigonal, in any case $C\in {\mathcal{ℳ}}_{8,4}^1\subset \mathcal{G}{\mathcal{P}}_{8,5}^1$  .

Curves of genus eight with a $g_7^2$  form a divisor since $\rho (8,2,7)=-1$  (see [6]). So for this BrillNoether number we obtain the Eisenbud-Harris component ${\mathcal{ℳ}}_{8,7}^2$  .

3.1.5. $r=3,d=6,7$  . Let $C$  be a curve of genus eight either with a $g_6^3$  or $g_7^3$  , By Castelnuovo's bound, $C$  either has a $g_6^2$  or $g_7^2$  , so by 3.1.4, $C$  belongs either to $\mathcal{G}{\mathcal{P}}_{8,5}^1$  or ${\mathcal{ℳ}}_{8,7}^2$  .

Thus we have that $\mathcal{G}{\mathcal{P}}_8$  is a divisor in ${\mathcal{ℳ}}_8$  where their divisorial components are $\mathcal{G}{\mathcal{P}}_{8,5}^1,\mathcal{G}{\mathcal{P}}_{8,6}^1,{\mathcal{ℳ}}_8^1,{\mathcal{ℳ}}_{8,7}^2$  .

3.2. For $\mathcal{G}{\mathcal{P}}_9$  we have to analize for which primitive linear series $\left|D\right|=g_d^r$  , ${\mu }_D$  is not injective for the values $2r\le d\le g-1=8$  3.2.1. $r=1,d=2,3,4,5,6,7,8$  . By gonality, curves with a $g_d^1$  for $d=2,3,4$  are contained in ${\mathcal{ℳ}}_{9,5}^1$  . Since $\rho (9,1,5)=-1$  . In this case we obtain that ${\mathcal{ℳ}}_{9,5}^1$  is a irreducible component of codimension one of $\mathcal{G}{\mathcal{P}}_9$  .

By theorem 2 we have that for $r=1,d=6$  , the locus of curves of genus nine with a $\left|D\right|=g_6^1$  for which ${\mu }_D$  is not injective is the locus $\mathcal{G}{\mathcal{P}}_{9,6}^1$  . By theorem 1, curves of genus nine with a $\left|D\right|=g_7^1$  for which ${\mu }_D$  is not injective is the irreducible divisor $\mathcal{G}{\mathcal{P}}_{9,7}^1$  .

Curves of genus nine with a autoresidual $\left|D\right|=g_8^1$  is the Teixidor locus ${\mathcal{ℳ}}_9^1$  .

So for pencils we obtain the components ${\mathcal{ℳ}}_{9,5}^1,\mathcal{G}{\mathcal{P}}_{9,6}^1,\mathcal{G}{\mathcal{P}}_{9,7}^1,{\mathcal{ℳ}}_8^1$  .

3.2.2. $r=2,d=4,5,6,7,8$  . Curves of genus nine with a $g_2^4$  are hyperelliptic.

There is no curve of genus nine with a $g_5^2$  . In analogous way to the case of genus eight note that a curve $C$  of genus nine with $g_6^2$  belongs to ${\mathcal{ℳ}}_{9,4}^1\subset {\mathcal{ℳ}}_{9,5}^1$  .

The locus of curves $C$  with a $g_7^2$  has codimension $\le 3$  since $\rho (9,2,7)=-3$  , (see [9]). The plane model induced by the $g_7^2$  is a curve $\Gamma$  of degree seven with six singularities. The lines through a singular point $p$  of $\Gamma$  cut out a $g_{7-s}^1$  , where $s$  is the multiplicity of the singular point $p$  , so $C\in {\mathcal{ℳ}}_{9,7-s}^1\subseteq {\mathcal{ℳ}}_{9,5}^1$  .

The locus of curves with a $\left|D\right|=g_8^2$  for which ${\mu }_D$  is not injective is the divisorial component $\mathcal{G}{\mathcal{P}}_{9,8}^2$  since $\rho (9,2,8)=0$  ([5], p. 360-361). Thus for linear series of dimension two we obtain the codimension one components ${\mathcal{ℳ}}_{9,5}^1,\mathcal{G}{\mathcal{P}}_{9,8}^2$  .

3.2.3. $r=3,d=6,7,8$  . By Castelnuovo's bound for $g=9,r=3,d=6,7,$  , a curve $C$  of genus nine with a $g_d^3$  is contained in a plane $H\simeq {\mathbb{P}}^2\subset {\mathbb{P}}^3$  , for $d=6,7$  . So, for such values $g,d,r$  we have that $C\in {\mathcal{ℳ}}_{9,5}^1$  by 3.2.2.

Let $\left|D\right|=g_8^3$  be free of base points on a curve $C$  of genus nine. take a point $p\in C$  and let $g_7^2=|D-p|$  be. So $C$  is birational to a plane curve $\Gamma$  of geometric genus nine and degree seven with six singular points. The lines through a singular point $p$  of $\Gamma$  cut out a $g_{7-s}^1$  , where $s$  is the multiplicity of $p$  , so $C\in {\mathcal{ℳ}}_{9,7-s}^1\subseteq {\mathcal{ℳ}}_{9,5}^1$  .

In this case we have that $\mathcal{G}{\mathcal{P}}_9$  is a divisor in ${\mathcal{ℳ}}_9$  with divisorial components ${\mathcal{ℳ}}_{9,5}^1,\mathcal{G}{\mathcal{P}}_{9,6}^1,\mathcal{G}{\mathcal{P}}_{9,7}^1,{\mathcal{ℳ}}_8^1,\mathcal{G}{\mathcal{P}}_{9,8}^2$  .

3.3. For studying the locus $\mathcal{G}{\mathcal{P}}_{10}$  , we analyze for which curves $C\in {\mathcal{ℳ}}_{10}$  , the Petri map ${\mu }_D$  is not injective for a primitive linear series $\left|D\right|=g_d^r$  for $2r\le d\le g-1=9$  .

3.3.1. $r=1,d=2,3,4,5,6,7,8,9$  . By gonality ${\mathcal{ℳ}}_{10,d}^1\subset \mathcal{G}{\mathcal{P}}_{10,6}^1$  for $d=2,3,4,5$  .

Since $\rho (10,1,6)=0$  , then by ([5], p.360-361) $\mathcal{G}{\mathcal{P}}_{10,6}^1$  is a divisorial component of $\mathcal{G}{\mathcal{P}}_{10}$  .

By theorem 2 we have that the locus of 7-gonal curves $C$  of genus ten with a $\left|D\right|=g_7^1$  for which ${\mu }_D$  is not injective is the divisor $\mathcal{G}{\mathcal{P}}_{10,7}^1$  . By theorem 1, the locus of curves $C\in {\mathcal{ℳ}}_{10}$  with a $\left|D\right|=g_8^1$  for which ${\mu }_D$  is not injective is the divisor $\mathcal{G}{\mathcal{P}}_{10,8}^1$  .

The locus of curves of genus ten with an autoresidual $g_9^1$  is the Teixidor component ${\mathcal{ℳ}}_{10}^1$  . So for pencils we obtain the components $\mathcal{G}{\mathcal{P}}_{10,6}^1,\mathcal{G}{\mathcal{P}}_{10,7}^1,\mathcal{G}{\mathcal{P}}_{10,8}^1,{\mathcal{ℳ}}_{10}^1$  .

3.3.2. $r=2,d=4,5,6,7,8,9.$  Let $C$  be a curve of genus ten. If $C$  has a $g_4^2$  , then $C$  is hyperelliptic. By genus formula a curve $C$  of genus ten does not admit a $g_5^2$  . If $C$  has a $g_6^2$  we have several cases: If the $g_6^2$  is not birational, then $C\in {\mathcal{ℳ}}_{10,4}^1\subset \mathcal{G}{\mathcal{P}}_{10,6}^1$  .

Now if $g_6^2$  is birational, in this case the image is a smooth curve $\Gamma$  in ${\mathbb{P}}^2$  of degree six. Projections through a point of $\Gamma$  gives $g_5^1$  , so $C\in {\mathcal{ℳ}}_{10,5}^1\subset \mathcal{G}{\mathcal{P}}_{10,6}^1$  .

A curve $C$  of genus ten with a $g_7^2$  has a birational model in ${\mathbb{P}}^2$  as a curve of degree seven with $\delta =5$  singularities, some of them infinitely near. Note that the lines through a singularity of $\Gamma$  cut out a $g_{7-s}^1$  where $s$  is the multiplicity of the singularity. So $C\in {\mathcal{ℳ}}_{10,7-s}^1\subseteq {\mathcal{ℳ}}_{10,5}^1\subset \mathcal{G}{\mathcal{P}}_{10,6}^1$  where $2\le s\le 5$  .

Let $C$  be a curve of genus ten with a $\left|L\right|=g_8^2$  . If the $g_8^2$  is not birational then we have two cases:

(a). The degree of the image $C_0$  of $C$  under the $g_8^2$  is two, in this case we have that $C$  has a $g_4^1$  , then $C\in {\mathcal{ℳ}}_{10,4}^1\subset \mathcal{G}{\mathcal{P}}_{10,6}^1$  .

(b). The image $C_0$  of $C$  under the $g_8^2$  has degree four, so the genus of $C_0$  is three, and we have a double cover $C\to C_0$  . In this case if we compose this double cover map with a one dimensional family of $g_3^1$  on $C_0$  , we have one dimensional family of $g_6^1$  on $C$  . Then $\text{dim}{W}_6^1\left(C\right)\ge 1$  . In thi case for a $z\in W_6^1\left(C\right)$  free of base points, we have that $1\le \text{dim}\left(W_6^1\right(C\left)\right)\le T_z\left(W_6^1\right(C\left)\right)=\rho (10,6,1)+\text{dim ker}{\mu }_z=\text{dim ker}{\mu }_z$  , so $C\in \mathcal{G}{\mathcal{P}}_{10,6}^1$  .

(c). When the $g_8^2$  is birational, we have that the image $C_0$  of $C$  under this $g_8^2$  is a singular curve of degree eight and genus ten with 11 singularities, some of them infinitely near. The lines through a singular point of multiplicity $s$  cut out a $g_{8-s}^1$  on $C$  . For $s\ge 3$  , $C\in \mathcal{G}{\mathcal{P}}_{10,6}^1$  . For $s=2$  . The lines through a double point cut out a $\left|D\right|=g_6^1$  on $C$  . We can asumme that $\left|D\right|$  is free of base points. Denote by $f_D:C\to {\mathbb{P}}^1$  the map induced by $\left|D\right|$  . If $\text{ker}{\mu }_D\ne 0,$  then $C\in \mathcal{G}{\mathcal{P}}_{10,6}^1$  .

Now suposse that $h^0\left(K_C\right(-2D\left)\right)=\text{dim ker}{\mu }_D=0$  , then $h^0\left(2D\right)=12-10+1+h^0\left(K_C\right(-2D\left)\right)=3$  . $\left|2D\right|$  is free of base points and for a ramification point $y$  of $f_D$  , $h^0(C,2D-2y)=h^0(C,2D)-1=2$  . Note also that $\left|2D\right|$  induces the composed map $\tau :C\stackrel{f_D}{\to }{\mathbb{P}}^1\stackrel{v}{\to }{\mathbb{P}}^2$  , where $v\left(t\right)=[1:t:t^2]$  . $\tau$  is not degenerated and since $h^0(C,2D-2y)=h^0(C,2D)-1=2$  , the image $\tau \left(C\right)$  is a conic in ${\mathbb{P}}^2$  with a cusp at $\tau \left(y\right)\in \tau \left(C\right)$  which is impossible. So we have that $\text{ker}{\mu }_D\ne 0$  . So $C\in \mathcal{G}{\mathcal{P}}_{10,6}^1$  .

Let $C$  be a curve of genus ten with a $\left|D\right|=g_9^2$  free of base points for which ${\mu }_D$  is not injective. If $\left|D\right|$  is not birational, then $\left|D\right|$  induces a $g_3^1$  onto a elliptic curve $E$  .

Composing this $g_3^1$  with the one dimensional family of $g_2^1$  on $E$  , we have that $C$  it has a family of positive dimension of $g_6^1$  . We deduce as in $\left(b\right)$  that $C\in \mathcal{G}{\mathcal{P}}_{10,6}^1$  .

If $\left|D\right|$  is autoresidual, then $\left|D\right|$  has finitely many base points. Let $p$  be a base point of $\left|D\right|$  , so $|D-p|=g_8^2$  . By 3.3.2, $C\in \mathcal{G}{\mathcal{P}}_{10,6}^1$  .

For $\left|D\right|$  free of base points and not autoresidual, $\text{ker}{\mu }_D=0$  . (see [1, exercise A1, p. 196]).

In this case for linear series of dimension two we obtain the divisorial component $\mathcal{G}{\mathcal{P}}_{10,6}^1$  and $\mathcal{G}{\mathcal{P}}_{10,8}^1$  .

3.3.3. $r=3,d=6,7,8,9.$  By Castelnuovo's bound, a curve $C$  of genus $g=10$  with a $g_d^3$  for $d=6,7,8,9$  is not birational onto its image in ${\mathbb{P}}^3$  under this $g_d^3$  , so $C$  has a $g_d^2$  . By 3.3.2, for $d=6,7,8$  we have that $C\in \mathcal{G}{\mathcal{P}}_{10,6}^1$  . For $d=9$  , consider a $\left|D\right|=g_9^3$  , and let $p\in C$  such that $|D-p|=g_8^2$  , then $C\in \mathcal{G}{\mathcal{P}}_{10,6}^1$  by 3.3.2.

3.3.4. $r=4,d=8,9.$  By Castelnuovo's bound, a curve $C$  of genus ten satisfies $g=10>\pi (d,4)$  for $d=8,9$  , then $C$  is not birational onto its image under a $g_d^4$  for $d=8,9$  , so $C$  lies on a hyperplane $H\simeq {\mathbb{P}}^3$  in ${\mathbb{P}}^4$  , then by 3.3.3 for $d=8,9$  , $C\in \mathcal{G}{\mathcal{P}}_{10,8}^1$  .

$\mathcal{G}{\mathcal{P}}_{10}$  is a divisor with divisorial components $\mathcal{G}{\mathcal{P}}_{10,6}^1,\mathcal{G}{\mathcal{P}}_{10,7}^1,\mathcal{G}{\mathcal{P}}_{10,8}^1,{\mathcal{ℳ}}_{10}^1$  .

The above analisys show that the divisorial components of $\mathcal{G}{\mathcal{P}}_g$  for $g\le 10$  are the ones that I mentioned in the introduction and the divisors that I found in section 2.

It should be interesting to find new divisorial components of $\mathcal{G}{\mathcal{P}}_g$  for higher genus.

For this we will need to study the geometry of special curves in ${\mathbb{P}}^r$  for $r\ge 3$  .

References

1. E. Arbarello, M. Cornalba, Su una congettura di Petri, Comment.Math Helvetici. (56) (1981) 1-38
2. E. Arbarello, M. Cornalba, P. Griffiths, J. Harris , Geometry of Algebraic Curves Volume I , Grundlehrem der Mathematischen Wissenschaften 267. Springer-Verlag 1984.
3. A. Castorena , Curves of genus seven that do not satisfy the Gieseker-Petri theorem, To appear in Bolletino della Unione Matematica Italiana (2005)
4. C. Ciliberto , Canonical surfaces with $p_g=p_a=4$  and $K^2=5,...,10$  , Duke Mathematical Journal Vol. 48 No. 1 (1981) 121-157.
5. D. Eisenbud, J. Harris , The Kodaira dimension of the moduli space of curves of genus $g\ge 23$  , Invent. Math. 90(1987), no. 2, 359-387.
6. D. Eisenbud, J. Harris , Irreducibility of some families of linear series with Brill-Noether Number -1 , Ann.Scient.Éc.Norm.Sup. 4 série t. (22) (1989) 33-53
7. Gavril Farkas. , Gaussian maps. Gieseker-Petri loci and large Theta-Characteristics , arXiv:math.AG/0402042 v1 3 Feb 2004.
8. J. Harris, I. Morrison , Moduli of curves. Graduate texts in Mathematics 187. Springer-Verlag 1998.
9. F. Steffen , A generalized principal ideal theorem with applications to Brill-Noether theory , Invent. Math. (132) (1998) 73-89.
10. M. Teixidor i Bigas , half-canonical series on algebraic curves, Trans.Amer.Math.Soc. (302) (1987) 99-115
11. M. Teixidor i Bigas, The divisor of curves with a vanishing theta-null , Compositio Mathematica (66) (1988) 15-22

Abel Castorena Instituto de Matemáticas UNAM, Campus Morelia. Apdo. Postal 61-3(Xangari). C.P. 58089.

Morelia, Michoacán. MEXICO. e-mail address: abel@matmor.unam.mx