.
Assume
$dim\leftD\right=r$
and let
${P}_{1},\dots ,{P}_{r}$
be real points (seen as closed points of
${X}_{\mathbb{C}}$
) such that
$dimD{\sum}_{i=1}^{r}{P}_{i}=0$
. Hence
$D{\sum}_{i=1}^{r}{P}_{i}$
is linearly equivalent on
${X}_{\mathbb{C}}$
to a unique effective divisor
${D}^{\prime}$
. Since
$X$
is a real curve, we have
$dim{\sum}_{i=1}^{r}{P}_{i}+\overline{{D}^{\prime}}=r$
, so
${\sum}_{i=1}^{r}{P}_{i}+{\overline{D}}^{\prime}$
is calculating
$Cliff\left({X}_{\mathbb{C}}\right)$
. By the uniqueness property of
$D$
, it follows that
${\sum}_{i=1}^{r}{P}_{i}+\overline{{D}^{\prime}}\in {\sum}_{i=1}^{r}{P}_{i}+{D}^{\prime}$
, and in consequence
${D}^{\prime}$
is linearly equivalent to
$\overline{{D}^{\prime}}$
. Since
$dim\left{D}^{\prime}\right=0$
, we have
${D}^{\prime}=\overline{{D}^{\prime}}$
and
$D$
can be represented by a real divisor. The proof is now straightforward.
$\sqcap \bigsqcup $
One application of the previous proposition concerns the Clifford index of a real curve whose complexification is a general
$k$
gonal curve.
Corollary 4.8
Let
$X$
be a real curve such that
${X}_{\mathbb{C}}$
is a general
$k$
gonal curve with
$3\le k<\frac{1}{2}g$
. Then
$$Cliff\left(X\right)=Cliff\left({X}_{\mathbb{C}}\right)=k2.$$
Proof : From [
6,Example3.3.4]
, we see that on
${X}_{\mathbb{C}}$
there is only one linear system computing the Clifford index: the unique
${g}_{k}^{1}$
. By Proposition 4.7 , this
${g}_{k}^{1}$
is real and it calculates the Clifford index of
$X$
.
$\sqcap \bigsqcup $
In the following propositions, we investigate the relations between the Clifford inequality (Clif 1) and the Clifford index of a real curve.
Proposition 4.9
Let
$X$
be a real curve such that
$X$
has an infinite Clifford index or
$Cliff\left(X\right)\ge s$
. Let
$D\in Div\left(X\right)$
be an effective divisor of degree
$d$
then
$$dim\leftD\right\le \frac{1}{2}(d\delta (D\left)\right)(Clif1).$$
Proof : Let
$D$
be an effective and special divisor which does not contribute to the Clifford index of
$X$
. It means that
$dim\leftD\right=0$
or
$dimKD=0$
. Since
$D$
and
$KD$
are effective (
$D$
is special), we have that either
$D$
or
$KD$
satisfies (Clif 1). By Lemma 2.5 ,
$D$
verifies (Clif 1).
If
$X$
has an infinite Clifford index, the proof follows from what we have just said, since there is no special divisor contributing to the Clifford index of
$X$
.
Assume now
$Cliff\left(X\right)\ge s$
and let
$D$
be an effective and special divisor of degree
$d$
contributing to the Clifford index of
$X$
. Then
$Cliff\left(D\right)=d2dim\leftD\right\ge s$
. So
$dim\leftD\right\le \frac{1}{2}(ds)\le \frac{1}{2}(d\delta (D\left)\right)$
.
$\sqcap \bigsqcup $
Corollary 4.10
Let
$X$
be a real curve such that
${X}_{\mathbb{C}}$
is general and such that
$s\le \left[\frac{(g1)}{2}\right]$
.
Let
$D\in Div\left(X\right)$
be an effective divisor of degree
$d$
then
$$dim\leftD\right\le \frac{1}{2}(d\delta (D\left)\right)(Clif1).$$
Proposition 4.11
Let
$X$
be a real curve such that
$X$
has a finite Clifford index
$c=Cliff\left(X\right)$
. Let
$D\in Div\left(X\right)$
be an effective divisor of degree
$d$
then

1)
$dim\leftD\right\le \frac{1}{2}(d\delta (D\left)\right)$
if
$\delta \left(D\right)\le c$
and,

2)
$dim\leftD\right\le \frac{1}{2}(d\delta (D\left)\right)+\left[\frac{1}{2}\right(\delta \left(D\right)c\left)\right]$
if
$\delta \left(D\right)>c$
.
Proof : Let
$D$
be an effective and special divisor of degree
$d$
. Looking at the proof of Proposition 4.9 , we may assume that
$\delta \left(D\right)>c$
and that
$D$
contributes to the Clifford index of
$X$
.
Assume
$dim\leftD\right=\frac{1}{2}(d\delta (D\left)\right)+k$
. Then
$Cliff\left(D\right)=\delta \left(D\right)2k\ge c$
and the proposition follows.
$\sqcap \bigsqcup $
For general curves, we complete Corollary 4.10 as follows:
Corollary 4.12
Let
$X$
be a real curve such that
${X}_{\mathbb{C}}$
is a general curve and such that
$s>\left[\frac{(g1)}{2}\right]$
. Let
$D\in Div\left(X\right)$
be an effective divisor of degree
$d$
then
$$dim\leftD\right\le \frac{1}{2}(d\delta (D\left)\right)+\left[\frac{1}{2}\right(s\frac{(g1)}{2}\left)\right].$$
References

R. D. M. Accola On Castelnuovo's inequality for algebraic curves 1, Trans. Amer. Math. Soc. 251, 357373, 1979

R. D. M. Accola Plane models for Riemann surfaces admitting certain halfcanonical linear series, part 1, in Riemann Surfaces and related topics: Proceedings of the 1978 Stony Brook conference, ed. I; Kra and B. Maskt, Annals of Math. Studies 97, 720, Princeton University Press 1981.

E. Arbarello, M. Cornalba, P.A. Griffith, J. Harris, Geometry of Algebraic Curves, Grundlehren der mathematischen Wissenschaften 267, SpringerVerlag, New YorkBerlinHeidelbergTokyo 1985

J. Bochnak, M. Coste, MF. Roy, Géométrie algébrique réelle, Ergeb. Math. Grenzgeb., 3. Folge, 12. Berlin Heidelberg New York: Springer 1987

M. Coppens, C. Keem, G. Martens, Primitive linear series on curves, Manuscripta Mathematica, 77, 237264, 1992

M. Coppens, G. Martens, Secant space and Clifford's theorem, Compositio Mathematica, 78, 193212, 1991

D. Eisenbud, H. Lange, G. Martens, FO. Schreyer, The Clifford dimension of a projective curve, Compositio Mathematica, 72, 173204, 1989

B. H. Gross, J. Harris, Real algebraic curves, Ann. scient. Ec. Norm. Sup.
${4}^{e}$
série, 14, 157182, 1981

R. Hartshorne, Algebraic geometry, Grad. Texts in Math. 52, Springer Verlag, 1977

J. Huisman, Clifford's inequality for real algebraic curves, To appear in Indag. Math., 2004

J. P. Monnier, Divisors on real curves, Adv. Geom, 3, 339360, 2003