Clifford Theorem for real algebraic curves * * Work supported by the European Community's Human Potential Programme under contract HPRN-CT-2001-00271, RAAG., ,

Introduction In this note, a real algebraic curve

X

is a smooth proper geometrically integral scheme over

R

of dimension

1

. A closed point

P

X

will be called a real point if the residue field at

P

R

, and a non-real point if the residue field at

P

C

. The set of real points,

X (R)

, will always be assumed to be non empty. It decomposes into finitely many connected components, whose number will be denoted by

s

. By Harnack's Theorem we know that

s \leq g + 1

, where

g

is the genus of

X

. A curve with

g + 1 - k

real connected components is called an

(M - k)

-curve.

The group

D i v (X)

of divisors on

X

is the free abelian group generated by the closed points of

X

. If

D

is a divisor on

X

, we will denote by

O (D)

its associated invertible sheaf. The dimension of the space of global sections of this sheaf will be denoted by

ℓ (D)

. Let

D \in D i v (X)

, since a principal divisor has an even degree on each connected component of

X (R)

([8] Lem. 4.1), the number

δ (D)

(resp.

β (D)

) of connected components

C

X (R)

such that the degree of the restriction of

D

C

is odd (resp even), is an invariant of the linear system

| D |

associated to

D

. Let

K

be the canonical divisor. If

ℓ (K - D) = d i m H^{1} (X, O (D)) > 0

D

is said to be special. If not,

D

is said to be non-special. By Riemann-Roch, if

d e g (D) > 2 g - 2

then

D

is non-special. Assume

D

is effective and let

d

be its degree. If

D

is non-special then the dimension of the linear system

| D |

is given by Riemann-Roch. If

D

is special, then the dimension of the linear system

| D |

satisfies

d i m | D | \leq \frac{1}{2} d .

This is the well known Clifford inequality for complex curves that stands obviously for real curves.

X

is an

M

-curve or an

(M - 1)

-curve, then Huisman ([10,Th.3.2] ) has shown that

d i m | D | \leq \frac{1}{2} (d - δ (D)) .

We have already proved that Huisman's inequality is also valid for almost all real hyperelliptic curves, for example when

s \neq 2

. But there is a family of real hyperelliptic curves with

2

real connected components for which there exist some special divisors

D

satisfying

d i m | D | = \frac{1}{2} d > \frac{1}{2} (d - δ (D))

([11,Th.4.4,Th.4.5] ).

In this note we establish a new Clifford inequality for real curves, completing the inequality given by Huisman. Theorem A Assume

D

is effective and special. Then, either

d i m | D | \leq \frac{1}{2} (d - δ (D)) (C l i f 1)

d i m | D | \leq \frac{1}{2} (d - β (D)) (C l i f 2) .

The cases for which equality holds in (Clif 1) or (Clif 2) are also studied. Moreover, looking at divisors that do not satisfy the inequality (Clif 1), we obtain the following theorem.

Theorem B Let

X

be a real curve. Let

D \in D i v (X)

be an effective and special divisor of degree

d

(i) If $X$ is hyperelliptic then either $d i m | D | \leq \frac{1}{2} (d - δ (D)) (C l i f 1)$ or $d i m | D | \leq \frac{1}{2} (d - \frac{1}{2} (s - 2)),$
(ii) else, either $d i m | D | \leq \frac{1}{2} (d - δ (D)) (C l i f 1)$ or $d i m | D | \leq \frac{1}{2} (d - \frac{1}{2} (s - 1)) .$

The author wishes to express his thanks to D. Naie for several helpful comments concerning the paper.

1 Preliminaries

We recall here some classical concepts and more notation that we will be using throughout the paper.

Let

X

be a real curve. We will denote by

X_{C}

the base extension of

X

C

. The group

D i v (X_{C})

of divisors on

X_{C}

is the free abelian group on the closed points of

X_{C}

The Galois group

G a l (C / R)

acts on the complex variety

X_{C}

and also on

D i v (X_{C})

. We will always indicate this action by a bar. If

P

is a non-real point of

X

, identifying

D i v (X)

and

D i v (X_{C})^{G a l (C / R)}

, then

P = Q + \bar{Q}

with

Q

a closed point of

X_{C}

. If

D

is a divisor on

X_{C}

, we will denote by

O (D)

its associated invertible sheaf and by

ℓ_{C} (D)

the dimension of the space of global sections of this sheaf. If

D \in D i v (X)

, then

ℓ (D) = ℓ_{C} (D)

As usual, a

g_{d}^{r}

is an

r

-dimensional complete linear system of degree

d

X

(or

X_{C}

). A

g_{d}^{r} = | D |

X

is called base point free if

ℓ_{C} (D - P) = ℓ_{C} (D) - 1 = r

for any closed point

P

X_{C}

. Then it defines a morphism

φ : X \to P_{R}^{r}

onto a non-degenerate (but maybe singular) curve in

P_{R}^{r}

. If

φ

is birational (resp. an isomorphism) onto

φ (X)

, the

g_{d}^{r}

(or

D

) is called simple (resp. very ample). Let

X^{'}

be the normalization of

f (X)

, and assume

D

is not simple i.e.

D - P

has a base point for any closed point

P

X_{C}

. Thus, the induced morphism

φ : X \to X^{'}

is a non-trivial covering map of degree

k \geq 2

. In particular, there is

D^{'} \in D i v (X^{'})

such that

| D^{'} |

is a

g_{\frac{d}{k}}^{r}

and such that

D = φ^{*} (D^{'})

, i.e.

D

is induced by

X^{'}

. If

g^{'}

denote the genus of

X^{'}

| D |

is classically called compounded of an involution of order

k

and genus

g^{'}

. In the case

g^{'} > 0

, we speak of an irrational involution on

X

Let

D \in D i v (X)

be an effective divisor with base points. Let

D^{'} \in D i v (X)

be a subdivisor of

D

. We say that

D^{'}

is a base point free part of

D

D^{'}

is base point free and the degree of

D^{'}

is maximal with this property. If

D^{'}

is a base point free part of

D

, we may write

D = D^{'} + E

with

E

an effective divisor. Let

k

be the number of non-real points (counted with multiplicity) in the support of

E

, then

d i m | D | \leq d i m | D^{'} | + k .

The reader is referred to [3] and [9] for more details on special divisors. Concerning real curve, the reader may consult [4] and [8] . For

0 \leq a \in R

we denote by

[a]

the integer part of

a

, i.e. the biggest integer

\leq a

2 Clifford inequalities for real curves

Before proving Theorem A stated in the introduction, we need to establish some preliminary results.

Lemma 2.1 Let

P_{1}, \dots, P_{δ}

be real points of

X

such that no two of them belong to the same connected component of

X (R)

. Let

D

be the divisor

P_{1} + \dots + P_{δ}

. Then

1) $d i m | D | = 0$ if $δ < s$ and,
2) $d i m | D | \leq 1$ if $δ = s$ , and in case $d i m | D | = 1$ then $D$ is base point free.

Proof : Assume

δ < s

and

d i m | D | > 0

. Choose a real point

P

in one of the

s - δ

real connected components that do not contain any of the points

P_{1}, \dots, P_{δ}

. Then

O (D - P)

has a global section and

D - P

should be linearly equivalent to an effective divisor

D^{'}

of degree

δ - 1

satisfying

δ (D^{'}) = δ + 1

. This is impossible, proving 1).

Assume

δ = s

, then

d i m | D | \leq 1 + d i m | P_{2} + \dots + P_{s} | \leq 1

by 1). Suppose

d i m | D | = 1

and

D

is not base point free. If

D

has a real base point

P

, then

d i m | D - P | = 1

and

d e g (D - P) = δ (D - P) = s - 1

, contradicting 1). If

D

has a non-real base point

Q

, then

ℓ (D - Q) > 0

and

D - Q

should be linearly equivalent to an effective divisor

D^{'}

of degree

s - 2

satisfying

δ (D^{'}) = s

, which is again impossible.

⊓ ⊔

The following lemma is due to Huisman [10] .

Lemma 2.2 Let

D \in D i v (X)

be an effective divisor of degree

d

and assume

d + δ (D) < 2 s

. Then

d i m | D | \leq \frac{1}{2} (d - δ (D)) .

Proof : Set

k = \frac{1}{2} (d - δ (D))

. Then

k \geq 0

, since

D

is effective. We have

δ (D) + k < s

by the hypotheses. Choose

P_{1}, \dots, P_{k}

real points among the

β (D)

real connected components on which the degree of the restriction of

D

is even, such that no two of these points belong to the same real connected component. Let

D^{'} = D - P_{1} - \dots - P_{k}

. Then

d e g (D^{'}) = d - k = δ (D^{'}) = δ (D) + k < s

. By Lemma 2.1 , if

ℓ (D^{'}) > 0

, then

d i m | D^{'} | = 0

Finally,

d i m | D | \leq d i m | D^{'} | + k \leq \frac{1}{2} (d - δ (D)) .

⊓ ⊔

Generalizing the previous lemma, we get:

Lemma 2.3 Let

D

be an effective divisor of degree

d

on a real curve

X

. Assume that

d + δ (D) \leq 2 s + 2 k

with

k \in N

. Then

d i m | D | \leq \frac{1}{2} (d - δ (D)) + k + 1 .

Proof : We proceed by induction on

k

. We explain the case

k = 0

, the general induction step being completely similar. So, assume that

d + δ (D) = 2 s

. If

δ (D) = 0

then choose a non-real point

Q

. Since

d e g (D - Q) + δ (D - Q) < 2 s

and

δ (D - Q) = δ (D) = 0

, if

ℓ (D - Q) > 0

then, using Lemma 2.2 , we have

d i m | D - Q | \leq \frac{1}{2} (d e g (D - Q) - δ (D - Q)) = \frac{1}{2} (d - 2 - δ (D))

. Hence

d i m | D | \leq \frac{1}{2} (d - δ (D)) + 1

ℓ (D - Q) = 0

then

d i m | D | \leq 1 \leq \frac{1}{2} (2 s) = \frac{1}{2} d = \frac{1}{2} (d - δ (D))

since we have assumed

s

to be

> 0

δ (D) \neq 0

, then choose a real point

P

in a real connected component

C

such that the degree of the restriction of

D

C

is odd. Since

d e g (D - P) + δ (D - P) < 2 s

, if

ℓ (D - P) > 0

then, using Lemma 2.2 , we get

d i m | D - P | \leq \frac{1}{2} (d e g (D - P) - δ (D - P)) = \frac{1}{2} (d - δ (D))

Hence

d i m | D | \leq \frac{1}{2} (d - δ (D)) + 1

. If

ℓ (D - P) = 0

then

d i m | D | = 0 \leq \frac{1}{2} (d - δ (D))

(

d \geq δ (D)

since

D

is effective).

⊓ ⊔

The following lemma will allow us to restrict the study to base point free linear systems.

Lemma 2.4 Let

D \in D i v (X)

be an effective divisor of degree

d

. Let

D^{'}

be a degree

d^{'}

base point free part of

D

(i) If $d i m | D^{'} | \leq \frac{1}{2} (d^{'} - δ (D^{'})) + k$ for a positive integer $k$ , then $d i m | D | \leq \frac{1}{2} (d - δ (D)) + k .$
(ii) If $d i m | D^{'} | \leq \frac{1}{2} (d^{'} - β (D^{'})) - k$ for a positive integer $k$ , then $d i m | D | \leq \frac{1}{2} (d - β (D)) - k .$

Proof : Assume

D^{'} \in D i v (X)

is an effective divisor of degree

d^{'}

satisfying

d i m | D^{'} | \leq \frac{1}{2} (d^{'} - δ (D^{'})) + k

for a positive integer

k

. Let

P

be a real point such that

d i m | D^{'} + P | = d i m | D^{'} |

. Then

d i m | D^{'} + P | \leq \frac{1}{2} (d^{'} - δ (D^{'})) + k \leq \frac{1}{2} (d e g (D^{'} + P) - δ (D^{'} + P)) + k

. Let

Q

be a non-real point such that

d i m | D^{'} + Q | \leq d i m | D^{'} | + 1

. Then

d i m | D^{'} + Q | \leq \frac{1}{2} (d^{'} - δ (D^{'})) + 1 + k = \frac{1}{2} (d e g (D^{'} + Q) - δ (D^{'} + Q)) + k

Statement (i) is a consequence of the above results. For statement (ii), the proof is similar.

⊓ ⊔

Let

D

be a special divisor. Recall that

δ (D) = δ (K - D)

and that

β (D) = β (K - D) .

The next lemma will allow us to study special divisors of degree

\leq g - 1

Lemma 2.5 Let

D \in D i v (X)

be an effective and special divisor of degree

d

(i) If $d i m | D | \leq \frac{1}{2} (d - δ (D)) + k$ for a positive integer $k$ , then $d i m | K - D | \leq \frac{1}{2} (d e g (K - D) - δ (K - D)) + k .$
(ii) If $d i m | D | \leq \frac{1}{2} (d - β (D)) - k$ for a positive integer $k$ , then $d i m | K - D | \leq \frac{1}{2} (d e g (K - D) - β (K - D)) - k .$

Proof : It is a straightforward calculation using Riemann-Roch.

⊓ ⊔

The following lemma concerns non-trivial covering maps of degree

2

between real curves.

Lemma 2.6 Let

φ : X \to X^{'}

be a non-trivial covering map of degree

2

between two real curves

X

and

X^{'}

. If there exists a real point

P \in X^{'} (R)

such that

φ^{- 1} (P) = {P_{1}, P_{2}}

, with

P_{1}

and

P_{2}

real points not contained in the same connected component of

X (R)

, then

φ (C_{1}) = φ (C_{2}) = C

and

φ^{- 1} (C) = C_{1} \cup C_{2}

, with

C, C_{1}, C_{2}

the real connected components containing the points

P, P_{1}, P_{2}

respectively

Proof : Since

C_{1}

and

C_{2}

are connected, we have

φ (C_{1}) \subseteq C

and

φ (C_{2}) \subseteq C

. Moreover

φ (C_{1})

and

φ (C_{2})

are closed connected subsets of

C

since

φ

is proper. The morphism

φ

is étale at

P

, hence there is an open neighbouroud

U

P

such that for any

Q \in U

we have

φ^{- 1} (Q) = {Q_{1}, Q_{2}}

with

Q_{i} \in C_{i}

for

i = 1, 2

. In fact, this situation does not change when we run along

C

since

C_{1} \cap C_{2} = \emptyset

and thus

C

cannot have a branch point.

⊓ ⊔

We state the main result of the paper.

Theorem 2.7 Let

D

be an effective and special divisor of degree

d

, and let

k \in N

. Then either

d i m | D | \leq \frac{1}{2} (d - δ (D)) + k

d i m | D | \leq \frac{1}{2} (d - β (D)) - k .

Proof : Let

r = d i m | D |

. If we can show that

\begin{matrix} r \geq \frac{1}{2} (d - δ (D)) + k + 1 \end{matrix}

(1)

and

\begin{matrix} r > \frac{1}{2} (d - β (D)) - k \end{matrix}

(2)

do not hold simultaneously, we shall have proved the theorem. Assuming they are true, then we use Lemmas 2.4 and 2.5 to restrict the investigation for the case

D

base point free and

0 \leq d \leq g - 1

By Lemma 2.3 , we have

\begin{matrix} d + δ (D) \geq 2 s + 2 k . \end{matrix}

(3)

Using ( 3 ) and ( 2 ) we obtain

\begin{matrix} r > \frac{1}{2} (d - s + δ (D)) - k \geq \frac{1}{2} s . \end{matrix}

(4)

By ( 1 ) and ( 2 )

δ (D) \geq d - 2 r + 2 k + 2,

and

β (D) = s - δ (D) \geq d - 2 r - 2 k + 1 .

Hence

s \geq 2 d - 4 r + 3

and using ( 4 ) we obtain

\begin{matrix} r > \frac{1}{3} (d + 1) . \end{matrix}

(5)

There are two cases to be looked at:

(i) First,

D

is simple.

In this case,

X

is mapped birationally by

| D |

onto a curve of degree

d

P_{R}^{r}

. According to a well-known formula of Castelnuovo [3,p.116] for the genus of a curve in

P_{R}^{r}

, we have

\begin{matrix} g \leq m (d - 1 - \frac{1}{2} (m + 1) (r - 1)) \end{matrix}

(6)

where

m = [\frac{d - 1}{r - 1}]

. By Clifford's theorem and ( 5 ),

m = 2

m = 3

, since

r \geq 2

. If

m = 2

(resp.

m = 3

), replacing in ( 6 ) and using ( 5 ), we get

d > g

(resp.

d > g - 1

), contradicting the fact that

D

was supposed of degree

\leq g - 1

(i) Second,

D

is not simple.

Consider the map

f : X \to P_{R}^{r}

associated to

| D |

. Let

X^{'}

be the normalization of

f (X)

Then the induced morphism

φ : X \to X^{'}

is a non-trivial covering map of degree

t \geq 2

and there is

D^{'} \in D i v (X^{'})

such that

| D^{'} |

is a

g_{\frac{d}{t}}^{r}

and such that

D = φ^{*} (D^{'})

To finish the proof, we proceed in three steps:

Step 1:

D^{'}

is non-special and

t = 2

D^{'}

were a special divisor on

X^{'}

, then

2 r \leq \frac{d}{t} < \frac{3 r}{t}

(by ( 5 ) and Clifford's theorem), contradicting

t \geq 2

. Hence

D^{'}

is non-special and

r = \frac{d}{t} - g^{'}

by Riemann-Roch, where

g^{'}

denotes the genus of

X^{'}

. Using ( 5 ), we get

0 \leq g^{'} < \frac{3 r - 1}{t} - r

and thus,

t = 2

Step 2:

X^{'}

is an

M

-curve,

δ (D) = 2 δ (D^{'}) = 2 g^{'} + 2

and

k = 0

Since

φ : X \to X^{'}

is a non-trivial covering map of degree

2

and

D = φ^{*} (D^{'})

, we have

δ (D) \leq 2 δ (D^{'}) \leq 2 g^{'} + 2

by Lemma 2.6 and by Harnack's inequality. Since

r = \frac{1}{2} (d - 2 g^{'})

, using the inequality ( 1 ) we obtain

2 g^{'} + 2 k + 2 \leq δ (D)

. Thus,

δ (D) = 2 δ (D^{'}) = 2 g^{'} + 2

and

k = 0

Step 3:

s = 2 g^{'} + 2

Let

P_{1}, \dots, P_{g^{'} + 1}

be real points of the support of

D^{'}

such that

E = φ^{*} (E^{'} = P_{1} + \dots + P_{g^{'} + 1})

satisfies

δ (E) = 2 g^{'} + 2

. By Riemann-Roch,

d i m | E^{'} | \geq 1

, hence

d i m | E | \geq 1

. Using Lemma 2.1 ,

s = 2 g^{'} + 2

Summing up,

r = \frac{1}{2} (d - 2 g^{'}) \leq \frac{1}{2} d = \frac{1}{2} (d - β (D)) - k

and this contradicts ( 2 ).

⊓ ⊔

In the previous theorem, the case

k = 0

gives Theorem A announced in the introduction.

Theorem 2.8 Let

D

be an effective and special divisor of degree

d

. Then either

d i m | D | \leq \frac{1}{2} (d - δ (D)) (C l i f 1)

d i m | D | \leq \frac{1}{2} (d - β (D)) (C l i f 2)

Remark 2.9 The result of Theorem 2.8 is natural since, for real curves without real points, the inequalities

(C l i f 1)

and

(C l i f 2)

both become the classical Clifford inequality.

Moreover, Theorem 2.7 shows that in case

r = d i m | D |

exceeds the right hand term of

(C l i f 1)

k > 0

, then

r

is exceeded by the right hand term of

(C l i f 2)

by at least

k - 1

It suggests that the inequalities

(C l i f 1)

and

(C l i f 2)

are not completely independant.

Classically, in the theory of special divisors, if the Clifford inequality becomes an equality for a divisor different from

0

and from the canonical divisor, then the curve is hyperelliptic. We will show below that, for certain divisors on real hyperelliptic curves, the inequalities of Theorem 2.8 become equalities. A real hyperelliptic curve is a real curve

X

such that

X_{C}

is hyperelliptic, i.e.

X_{C}

has a

g_{2}^{1}

(a linear system of dimension

1

and degree

2

). Since this

g_{2}^{1}

is unique, it is a real linear system i.e.

X

has a

g_{2}^{1}

(see [11,Lem.4.2] ). As always, we assume that

X (R) \neq \emptyset

and moreover that

g \geq 2

Proposition 2.10 Let

X

be a real hyperelliptic curve and let

D

be an effective special divisor of degree

d

X

(i) If $δ (g_{2}^{1}) = 0$ then $d i m | D | \leq \frac{1}{2} (d - δ (D)) (C l i f 1) .$
(ii) If $δ (g_{2}^{1}) = 2$ then $s = 2$ . Moreover either $d i m | D | \leq \frac{1}{2} (d - δ (D)) (C l i f 1)$ or $d i m | D | = \frac{1}{2} (d - β (D)) (C l i f 2) .$

Proof : By Lemma 2.5 , we may assume that

d \leq g - 1

. Set

r = d i m | D |

Firstly, we consider that

δ (g_{2}^{1}) = 0

. A consequence of the geometric version of the Riemann-Roch Theorem is that any complete and special

g_{d}^{r}

X_{C}

is of the form

r g_{2}^{1} + D^{'},

where

D^{'}

is an effective divisor of degree

d - 2 r

which has no fixed part under the hyperelliptic involution

ı

induced by the

g_{2}^{1}

. Since

δ (g_{2}^{1}) = 0

, we get

δ (D) \leq d e g (D^{'}) = d - 2 r

. Hence (i) of the proposition. Moreover, (Clif 1) becomes an equality if and only if

D^{'} = \sum_{i = 1}^{δ (D)} P_{i}

with one

P_{i}

in each component of

X (R)

where the degree of the restriction of

D

is odd.

Secondly, we assume that

δ (g_{2}^{1}) = 2

. By Lemma 2.6 or the proof of Step 3 of the previous theorem,

s = 2

and the hyperelliptic involution exchanges the two connected components of

X (R)

. If

r

is even, the proof runs as in the case

δ (g_{2}^{1}) = 0

and we get the inequality (Clif 1). If

r

is odd, we again write

| D | = r g_{2}^{1} + D^{'},

where

D^{'}

is an effective divisor of degree

d - 2 r

which has no fixed part under the hyperelliptic involution. If

d e g (D^{'}) \geq 2

or if

δ (D^{'}) \geq 1

, then the inequality (Clif 1) works.

If not,

D

is the inverse image, by the morphism associated to the

g_{2}^{1}

, of an effective divisor

D^{''}

P_{R}^{1}

. Consequently

| D | = r g_{2}^{1}

and

d i m | D | = \frac{1}{2} (d - β (D)) .

⊓ ⊔

Remark 2.11 A real hyperelliptic curve such that

δ (g_{2}^{1}) = 2

is given by the real polynomial equation

y^{2} = f (x)

, where

f

is a monic polynomial of degree

2 g + 2

, with

g

odd, and where

f

has no real roots [11,Prop.4.3] .

Let

D

be a special and effective divisor of degree

d

on a real curve

X

such that

d i m | D | = \frac{1}{2} (d - β (D)) - k

with

k \in N

. According to Theorem 2.7 , we have

d i m | D | \leq \frac{1}{2} (d - δ (D)) + k + 1

. Similarly, if

d i m | D | = \frac{1}{2} (d - δ (D)) + k + 1

with

k \in N

then, using Theorem 2.7 ,

d i m | D | \leq \frac{1}{2} (d - β (D)) - k

. Consequently, we will say that

D

is extremal (for the real Clifford inequalities) if

d i m | D | = \frac{1}{2} (d - β (D)) - k = \frac{1}{2} (d - δ (D)) + k + 1

for some

k \in N

Looking at the example of hyperelliptic curves, we may ask the following questions:

Do there exist extremal divisors and what geometric properties does this imply for

X

? In case

k = 0

and

D

is extremal, does it follow that

X

is an hyperelliptic curve with

δ (g_{2}^{1}) = 2

Before giving an answer to these questions in Theorem 2.15 , we state some classical results concerning extremal complex curves and special divisors on complex curves that easily extend to real curves. Recall that a non-degenerate curve

X

P_{R}^{r}

is called extremal if the genus is maximal with respect to the degree of

X

(cf. [3,p.117] ).

Lemma 2.12 ([7,Lem.3.1] ) Let

D

and

E

be divisors of degree

d

and

e

on a curve

X

of genus

g

and suppose that

| E |

is base point free. Then

ℓ (D) - ℓ (D - E) \leq \frac{e}{2}

2 D - E

is special.

The lemma applies in case

D

is semi-canonical i.e.

2 D = K

Lemma 2.13 ([5,Lem.1.2.3] ) Let

g_{k}^{1}

be a base point free pencil on a curve

X

of genus

g

. Assume

k (k - 1) \leq 2 g - 2

and let

n \in N

such that

n \leq \frac{2 g - 2}{k (k - 1)}

. Then

d i m n g_{k}^{1} = n

and

n g_{k}^{1}

is base point free.

Lemma 2.14 ([1] , [6] p. 200 and [3] p. 122) Let

X

be an extremal curve of degree

d > 2 r

P_{R}^{r}

(r \geq 3)

. Then one of the followings holds:

(i) $X$ lies on a rational normal scroll $Y$ in $P_{R}^{r}$ ( $Y$ is real, see [3] p. 120). Write $d = m (r - 1) + 1 + ɛ$ where $m = [\frac{d - 1}{r - 1}]$ and $ɛ \in {0, 2, \dots, r - 2}$ . $X_{C}$ has only finitely many base point free pencils of degree $m + 1$ (in fact, only $1$ for $r > 3$ , and $1$ or $2$ if $r = 3$ ). These pencils are swept out by the rulings of $Y_{C}$ . Moreover $X_{C}$ has no $g_{m}^{1}$ .
(ii) $X$ is the image of a smooth plane curve $X^{'}$ of degree $\frac{d}{2}$ under the Veronese map $P_{R}^{2} \to P_{R}^{5}$ .

We give an answer to the questions of the previous page in the following theorem.

Theorem 2.15 Assume

D

is an effective and special divisor of degree

d

such that

r = d i m | D | = \frac{1}{2} (d - δ (D)) + k + 1 = \frac{1}{2} (d - β (D)) - k

i.e.

D

is extremal. Then

k = 0

X

is an hyperelliptic curve with

δ (g_{2}^{1}) = 2

and

| D | = r g_{2}^{1}

with

r

odd.

Proof : We set

δ = δ (D)

and

β = β (D)

We now copy the proof of Theorem 2.7 , as in that situation we may assume

D

is base point free (Lemma 2.4 ) and

0 \leq d \leq g - 1

(Lemma 2.5 ).

The inequality ( 3 ) remains valid. The inequalities ( 1 ) and ( 2 ) are now equalities

\begin{matrix} r = \frac{1}{2} (d - δ) + k + 1 . \end{matrix}

(7)

and

\begin{matrix} r = \frac{1}{2} (d - β) - k . \end{matrix}

(8)

By ( 8 ),

s

is even. The inequality ( 4 ) becomes

r \geq \frac{1}{2} s

. Using ( 7 ) and ( 8 ), we obtain

δ = d - 2 r + 2 k + 2,

and

β = s - δ = d - 2 r - 2 k

. Hence

s = 2 d - 4 r + 2

. Using ( 4 ) again, we obtain

\begin{matrix} r \geq \frac{1}{3} (d + 1) . \end{matrix}

(9)

We have one of the two following possibilities:

(i)

D

is simple.

The linear system

| D |

embeds

X

P_{R}^{r}

as a curve of degree

d

. Using the facts that

d \leq g - 1

and

2 r \leq d \leq 3 r - 1

(by ( 9 ) and Clifford's theorem) a straightforward calculation shows that the Castelnuovo's inequality ( 6 ) is an equality and that

m \geq 3

d = 3 r - 1

and

g = 3 r

is the only possibility. By ( 8 ) and ( 7 ), we have

δ = r + 1 + 2 k

and

s - δ = r - 1 - 2 k

Hence

s = 2 r

. By [2,Lem.2.9] ,

D

is semi-canonical i.e.

2 D = K

At this moment of the proof there is no contradiction about the existence of such extremal and simple divisor

D

. The geometric properties of extremal curves will give this contradiction.

Case 1:

r = 2

We identify

X

via

| D |

with a smooth plane quintic curve. The contradiction is given by

δ \geq 3

and the fact that

X

has a unique pseudo-line (the definition of a pseudo-line is in the next section).

Case 2: Either

r > 5

r = 5

and

X

is not a smooth plane curve.

Then

X_{C}

has a unique

g_{4}^{1}

(Lemma 2.14 ). Hence this

g_{4}^{1}

is real (cf. [11] ) i.e. there is an effective divisor

E

of degree

4

such that

| E | = g_{4}^{1}

. By Lemma 2.13 ,

2 E

is base point free and

d i m | 2 E | = 2

. Let

r^{'} = d i m | D - 2 E |

. Since

D

is semi-canonical, we have

r^{'} \geq 5 - 4 = 1

by Lemma 2.12 . Hence

D - 2 E

is special, moreover

δ (D - 2 E) = δ

and

D - 2 E

is also extremal for the same

k \in N

. Since

X

is not hyperelliptic,

D - 2 E

is simple (see the part of the proof concerning non-simple extremal divisors). Hence

g = 3 r^{'}

and we get a contradiction, since

r^{'} < r

Case 3:

r = 5

and

X

is a smooth plane curve.

By Lemma 2.14 ,

X

is the image of a smooth plane curve of degree

7

under the Veronese embedding

P_{R}^{2} \to P_{R}^{5}

. Hence

X

has a unique very ample

g_{7}^{2} = | E |

. Using Lemma 2.12 (

D

is semi-canonical) and since

E

calculates the Clifford index of

X_{C}

(cf. Section 4 for the definition of the Clifford index), we have

| D | = | 2 E |

. So

δ = 0

, which is impossible.

Case 4:

r = 4

Similarly to Case 2,

X

has a

g_{4}^{1} = | E |

. Let

D^{'} = D - E

. Applying Lemma 2.12 , we get

d i m | D^{'} | \geq 2

. By Riemann-Roch

ℓ (K - (2 D^{'} - E)) = ℓ (2 D^{'} - E) - 10 + 12 - 1 > 0

Consequently, according to Lemma 2.12 ,

ℓ (D^{'} - E) = ℓ (D - 2 E) > 0

. More preciselyeither

ℓ (D - 2 E) = 1

X

would have a

g_{3}^{1}

contradicting Lemma 2.14 . So

| D | = | 2 E + D^{''} |

, with

D^{''}

an effective divisor of degree

3

. Hence

δ \leq 3

, which is again impossible.

Case 5:

r = 3

and

X_{C}

has a unique

g_{4}^{1} = | E |

By Lemma 2.12 and since

X

has no

g_{3}^{1}

, we get

| D | = | 2 E |

and a contradiction on

δ

Case 6:

r = 3

and

X_{C}

has two

g_{4}^{1}

| E |

and

| F |

which are real.

We know that

X

lies on a unique quadric

S

, and

| E |

and

| F |

correspond to the rulings of

S

. More precisely

X

is of bi-degree

(4, 4)

S \sim = P_{R}^{1} \times P_{R}^{1}

. Consequently

δ (E) = δ (F)

By Lemma 2.12 for

D

and

E

, and since

X

has no

g_{3}^{1}

, we get

| D | = | 2 E |

| D | = | E + F |

Hence

δ = 0

, contradiction.

Case 7:

r = 3

and

X_{C}

has two

g_{4}^{1}

| E |

and

| \bar{E} |

which are complex and switched by the complex conjugation.

We argue similarly as in the previous case, but on the complex curve

X_{C}

. We obtain that

| D | = | E + \bar{E} |

i.e.

δ = 0

, which is impossible.

(ii)

D

is not simple.

Here

| D |

induces a non-trivial covering map

φ : X \to X^{'}

of degree

2

on an

M -

curve

X^{'}

of genus

g^{'}

(see the proof of Theorem 2.7 ). There is an effective divisor

D^{'} \in D i v (X^{'})

such that

| D^{'} |

is a

g_{\frac{d}{2}}^{r}

and such that

D = φ^{*} (D^{'})

. Moreover, following the proof of Theorem 2.7 , we see that

D^{'}

is non-special,

r = \frac{1}{2} (d - 2 g^{'})

δ = 2 δ (D^{'}) = 2 g^{'} + 2 = s

. The identities ( 7 ) and ( 8 ) say that

k = 0

and that

g^{'} = 0

i.e. that

X

is an hyperelliptic curve. By Proposition 2.10 we get that

δ (g_{2}^{1}) = s = 2

and

| D | = r g_{2}^{1}

with

r

odd (if

r

is even, it contradicts ( 7 )).

⊓ ⊔

The Clifford type inequalities from Theorem 2.7 seem to be the best possible since in the previous proof, the extremal cases for these inequalities correspond to extremal Castelnuovo curves. As in the complex situation, these inequalities become equalities in non-trivial cases, only if the curves are hyperelliptic.

From Theorem 2.7 and Theorem 2.15 , we may derive the following result which corresponds to Theorem B in the introduction.

Theorem 2.16 Let

X

be a real curve. Let

D \in D i v (X)

be an effective and special divisor of degree

d

(i) If $X$ is hyperelliptic then, either $d i m | D | \leq \frac{1}{2} (d - δ (D)) (C l i f 1)$ or $d i m | D | \leq \frac{1}{2} (d - \frac{1}{2} (s - 2)),$
(ii) else, either $d i m | D | \leq \frac{1}{2} (d - δ (D)) (C l i f 1)$ or $d i m | D | \leq \frac{1}{2} (d - \frac{1}{2} (s - 1)) .$

Proof : Let

r = d i m | D |

. Assume

r = \frac{1}{2} (d - δ (D)) + k + 1

. By Theorem 2.7 and Theorem 2.15 we get

r \leq \frac{1}{2} (d - β (D)) - k

and the inequality is strict if

X

is not hyperelliptic.

Hence

2 k + 1 \leq \frac{1}{2} (δ (D) - β (D)) = δ (D) - \frac{1}{2} s

with equality only if

X

is hyperelliptic, completing the proof.

⊓ ⊔

We show now that the inequalities of Theorem 2.16 may become equalities.

Examples 2.17 Let

X

be an hyperelliptic curve

X

such that

δ (g_{2}^{1}) = 2

. If

D

is an element of the

g_{2}^{1}

, then

D

does not satisfy the inequality (

C l i f 1

) and the second inequality of Theorem 2.16 (i) is an equality.

Let

X

be a real trigonal curve, i.e.

X

has a

g_{3}^{1}

. We assume that

δ (g_{3}^{1}) = 3

and we take

D

an element of the

g_{3}^{1}

. By [8,p.179] , such a trigonal curve exists. Then

D

does not satisfy the inequality (

C l i f 1

), but it gives an example of a divisor for which equality holds in the second inequality of Theorem 2.16 (ii).

3 Special real curves in pro jective spaces

Let

X \subseteq P_{R}^{r}

r \geq 2

, be a smooth real curve,

X

is non-degenerate if

X

is not contained in an hyperplane of

P_{R}^{n}

. We assume, in what follows, that

X

is non-degenerate. We say that

X

is special (resp. non-special) if the divisor associated to the sheaf of hyperplane sections

O_{X} (1)

is special (resp. non-special).

Let

C

be a connected component of

X (R)

. The component

C

is called a pseudo-line if the canonical class of

C

is non-trivial in

H_{1} (P_{R}^{r} (R), Z / 2)

. Equivalently,

C

is a pseudo-line if and only if for each real hyperplane

H

H (R)

intersects

C

in an odd number of points, when counted with multiplicities (see [10] ).

In this section, we wish to discuss some conditions under which we may bound the genus, the number of pseudo-lines, and the number of ovals of a non-degenerate smooth real curve in

P_{R}^{r}

. For the genus, if

X

is a smooth plane curve of degree

d

, we have

g = \frac{1}{2} (d - 1) (d - 2) .

When

r \geq 3

, there is no formula for the genus of

X

in terms of its degree. The situation is therefore more complicated. However, there is an inequality of Castelnuovo (inequality ( 6 )) that we have already seen in the proof of Theorem 2.7 .

The following proposition improves the Castelnuovo inequality for non-special real curves.

Proposition 3.1 Let

r \geq 2

be an integer and

X \subseteq P_{R}^{r}

be a non-degenerate real curve. Let

d

be the degree of

X

and

δ

(resp.

β

) be the number of pseudo-lines (resp.

ovals) of

X

. Assume

d + 2 k < 2 r + δ

and

d - 2 k < 2 r + β

for some

k \in N

. Then

g \leq d - r,

and equality holds if and only if

X

is linearly normal i.e. if and only if the restriction map

H^{0} (P_{R}^{r}, O (1)) \to H^{0} (X, O_{X} (1))

is surjective.

Proof : Let

H

be a hyperplane section of

X

i.e. a divisor obtained by cutting out the curve by a real hyperplane. Then

d i m | H | \geq r > \frac{1}{2} (d - δ (H)) + k

and

d i m | H | \geq r > \frac{1}{2} (d - β (H)) - k

by the hypotheses. Theorem 2.7 says that

H

is non-special and by Riemann-Roch,

g = d - d i m | H | \leq d - r .

Clearly, the previous inequality becomes an equality if and only if the map

H^{0} (P_{R}^{r}, O (1)) ↪ H^{0} (X, O_{X} (1))

is an isomorphism.

⊓ ⊔

One may wonder what can be said about the number of pseudo-lines and ovals of

X

when

X \subseteq P_{R}^{r}

is a non-special real curve. The following proposition shows that there is no restriction on these numbers except the fact that the number of pseudo-lines should be congruent to the degree of the curve modulo 2.

Proposition 3.2 Let

r \geq 3

be an integer and

X

be a real curve. Let

δ

be an integer

\leq s

. There is a smooth embedding

φ : X ↪ P_{R}^{r}

such that

X

is non-special in

P_{R}^{r}

and

X

has

δ

pseudo-lines provided that

δ = g + r m o d 2

Proof : Since

δ < g + r

and

δ = g + r m o d 2

, there is an effective divisor

D

of degree

g + r

such that

δ (D) = δ

. Choosing

D

general,

D

is non-special and

D

is very ample (see the proof of a theorem of Halphen [9,p.350] ). The morphism associated to

| D |

gives the result.

⊓ ⊔

We show now that Theorem 2.8 gives a lower bound on the number of ovals or the number of pseudo-lines of special real space curves.

Proposition 3.3 Let

X \subseteq P_{R}^{r}

be a special non-degenerate real curve of degree

d

. Let

δ

(resp.

β

) denote the number of pseudo-lines (resp. ovals) of

X

. Then, either

β \geq r + s - g + 1

δ \geq r + s - g + 1 .

Proof : By Theorem 2.8 , we have two possibilities since the hyperplane section of

X

is special.

Firstly,

d \geq 2 r + δ = 2 r + s - β

. Hence

β \geq (r + s) + (r - d)

. But

g > d - r

since

X

is special, so

β \geq r + s - g + 1

Secondly,

d \geq 2 r + β

and by a similar argument we get

δ \geq r + s - g + 1

⊓ ⊔

In particular, for

(M - 2)

-curves, the above proposition gives:

Corollary 3.4 Let

X \subseteq P_{R}^{r}

be a special non-degenerate

(M - 2)

-curve of degree

d

. Let

δ

(resp.

β

) denote the number of pseudo-lines (resp. ovals) of

X

. Then, either

β \geq r

δ \geq r .

4 Distribution of the special divisors between the inequalities (Clif 1) and (Clif 2)

The special divisors splits naturally into two a priori equivalent sets:

1) divisors

D

with

δ (D) \leq \frac{s}{2}

: they satisfy (Clif 1).

2) divisors

D

with

δ (D) > \frac{s}{2}

: they satisfy (Clif 2).

At this level the inequalities seem to be equivalent. In fact, according to the results of section 2 for hyperelliptic curves, the inequality (Clif 1) seems to be dominant. Moreover, every real curve with non-empty real part has a special divisor satisfying (Clif 1) but not (Clif 2): the canonical divisor. We will show that there are real curves for which every special divisor satisfies (Clif 1).

4.1 Clifford inequalities and the number of real connected components

We state the following Huisman's result [10,Th.3.2] .

Theorem 4.1 Assume

X

is an

M

-curve or an

(M - 1)

-curve. Let

D \in D i v (X)

be an effective and special divisor of degree

d

. Then

d i m | D | \leq \frac{1}{2} (d - δ (D)) (C l i f 1) .

Unfortunately, we have seen that the inequality (Clif 1) is not valid for all real curves, but the previous theorem also shows that (Clif 1) is dominating (Clif 2).

The following theorem gives Huisman's theorem for

n = 0

and

n = 1

Theorem 4.2 Let

X

be an

(M - n)

-curve with

n

an integer such that

0 \leq n \leq g + 1

. If

D

is an effective and special divisor of degree

d

X

then

d i m | D | \leq \frac{1}{2} (d - δ (D)) + [\frac{n}{2}] .

Proof : Let

D

be an effective and special divisor of degree

d

such that

d i m | D | = \frac{1}{2} (d - δ (D)) + k + 1

. By Lemma 2.5 , we may assume that

d \leq g - 1

. From Lemma 2.3 , we have

d + δ (D) \geq 2 s + 2 k

. Hence

g - 1 \geq d \geq 2 s - δ (D) + 2 k \geq s + 2 k

Consequently

k \leq \frac{1}{2} (g - 1 - s)

and the proof is done.

⊓ ⊔

4.2 Clifford inequalities and dimension of linear systems

The following proposition shows that for linear systems of dimension

r

which do not satisfy (Clif 1), the excess can be bounded in terms of

r

Proposition 4.3 Let

D

be an effective and special divisor of degree

d

on a real curve

X

. Assume that

r = d i m | D | = \frac{1}{2} (d - δ (D)) + k + 1 .

Then

k \leq [\frac{r - 1}{2}]

Proof : Assume

r = 2 n - ɛ

with

ɛ \in {0, 1}

. We proceed by induction on

n

r = 1

, we get

2 = d - δ (D) + 2 k + 2

. Since

d \geq δ (D)

, we have

k = 0

and

d = δ (D)

r = 2

, we get

4 = d - δ (D) + 2 k + 2

i.e.

2 = d - δ (D) + 2 k

. If

k \geq 1

, we must have

d = δ (D)

, hence

d + δ (D) \leq 2 s

but Lemma 2.3 says that

k = 0

, which is impossible. So

k = 0

and

d = δ (D) + 2

Assume

n > 1

and

k > 0

. Choose two real points

P_{1}, P_{2}

in the same real connected component such that

d i m | D - P_{1} - P_{2} | = r - 2

. Then

r - 2 = 2 (n - 1) - ɛ = \frac{1}{2} ((d - 2) - δ (D)) + (k - 1) + 1 .

By the induction hypothesis,

(k - 1) \leq [\frac{(r - 2) - 1}{2}]

i.e.

k \leq [\frac{r - 1}{2}] .

⊓ ⊔

Corollary 4.4 A pencil (i.e. a complete

g_{d}^{1}

) which does not satisfy (Clif 1) is composed by divisors of the form

P_{1} + \dots + P_{s}

with

P_{1}, \dots, P_{s}

some real points of

X

such that no two of them belong to the same connected component of

X (R)

Proof : Looking at the proof of the previous proposition, we see that

d = δ (D)

. Using Lemma 2.1 , we get the stated result.

⊓ ⊔

4.3 Clifford index of real curves

In this paragraph, we will introduce the notion of the Clifford index of a real curve.

The Clifford index of a complex curve is a classical concept in the theory of complex curves. So we adapt the definitions in the real case.

Let

D

be an effective and special divisor of degree

d

X

such that

d i m | D | = r

. The expression

d - 2 r

is called the Clifford index of

D

and is denoted by

C l i f f (D)

. For a given degree, the smaller the Clifford index of

D

is, the more global sections

O (D)

has. We restrict attention to divisors with both

ℓ (D) > 1

and

ℓ (K - D) > 1

. We say that these divisors contribute to the Clifford index of

X

(denoted by

C l i f f (X)

), which is defined as the minimum of their Clifford indices. If such divisors do not exist, we will say that the Clifford index of

X

is infinite. We say that

D

computes the Clifford index of

X

D

contributes to the Clifford index of

X

and

C l i f f (D) = C l i f f (X)

. The notion of Clifford index of

X

refines the notion of gonality of

X

, which is the smallest degree of a map from

X

P_{R}^{1}

We use the same definitions concerning the notions of Clifford index and gonality when

Y

is a smooth connected projective curve over the complex numbers and

D

is a divisor on

Y

. From Brill-Noether theory, it follows that a complex curve has Clifford index

\leq [\frac{(g - 1)}{2}]

and gonality

\leq [\frac{(g + 3)}{2}]

with equalities if the curve is general.

What about real curves ?

Of course, if the Clifford index of

X

is finite then

C l i f f (X) \geq C l i f f (X_{C})

. By [11,Th.5.4] , we know that a real curve has always a

g_{g}^{1}

and we conjecturate that there exists a

g

-gonal real curve of genus

g

for any

g \geq 2

. The conjecture is proved for

g \leq 4

[11,Prop.5.11] .

Proposition 4.5 A

g

-gonal real curve has an infinite Clifford index.

Proof : The proof is clear since the residual linear system of a

g_{g}^{1}

is zero dimensional.

Consequently, a

g

-gonal real curve does not have any divisor contributing to the Clifford index.

⊓ ⊔

Concerning the existence of the Clifford index of a real curve, we state the following results:

Proposition 4.6 Let

X

be a real curve such that

X_{C}

k

-gonal with

k \leq \frac{1}{2} (g + 1)

Then the Clifford index of

X

\leq g - 3

Proof : By [11,Th.5.4]

X

has gonality

\leq 2 k - 2 \leq g - 1

. Hence there exists an effective divisor

D

X

of degree

g - 1

such that

d i m | D | = 1

. Since

d i m | K - D | = 1

D

contributes to the Clifford index of

X

, and

C l i f f (X) \leq C l i f f (D) = g - 3

⊓ ⊔

Proposition 4.7 Let

X

be a real curve such that

X_{C}

has a unique linear system calculating

C l i f f (X_{C})

. Then

C l i f f (X) = C l i f f (X_{C})

Proof : Let

c = C l i f f (X_{C})

and let

D

be an effective divisor on

X_{C}

such that

C l i f f (D) = c

Assume

d i m | D | = r

and let

P_{1}, \dots, P_{r}

be real points (seen as closed points of

X_{C}

) such that

d i m | D - \sum_{i = 1}^{r} P_{i} | = 0

. Hence

D - \sum_{i = 1}^{r} P_{i}

is linearly equivalent on

X_{C}

to a unique effective divisor

D^{'}

. Since

X

is a real curve, we have

d i m | \sum_{i = 1}^{r} P_{i} + \bar{D^{'}} | = r

, so

\sum_{i = 1}^{r} P_{i} + {\bar{D}}^{'}

is calculating

C l i f f (X_{C})

. By the uniqueness property of

D

, it follows that

\sum_{i = 1}^{r} P_{i} + \bar{D^{'}} \in | \sum_{i = 1}^{r} P_{i} + D^{'} |

, and in consequence

D^{'}

is linearly equivalent to

\bar{D^{'}}

. Since

d i m | D^{'} | = 0

, we have

D^{'} = \bar{D^{'}}

and

D

can be represented by a real divisor. The proof is now straightforward.

⊓ ⊔

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_{C}

is a general

k

-gonal curve with

3 \leq k < \frac{1}{2} g

. Then

C l i f f (X) = C l i f f (X_{C}) = k - 2 .

Proof : From [6,Example3.3.4] , we see that on

X_{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

⊓ ⊔

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

C l i f f (X) \geq s

. Let

D \in D i v (X)

be an effective divisor of degree

d

then

d i m | D | \leq \frac{1}{2} (d - δ (D)) (C l i f 1) .

Proof : Let

D

be an effective and special divisor which does not contribute to the Clifford index of

X

. It means that

d i m | D | = 0

d i m | K - D | = 0

. Since

D

and

K - D

are effective (

D

is special), we have that either

D

K - D

satisfies (Clif 1). By Lemma 2.5 ,

D

verifies (Clif 1).

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

C l i f f (X) \geq s

and let

D

be an effective and special divisor of degree

d

contributing to the Clifford index of

X

. Then

C l i f f (D) = d - 2 d i m | D | \geq s

. So

d i m | D | \leq \frac{1}{2} (d - s) \leq \frac{1}{2} (d - δ (D))

⊓ ⊔

Corollary 4.10 Let

X

be a real curve such that

X_{C}

is general and such that

s \leq [\frac{(g - 1)}{2}]

Let

D \in D i v (X)

be an effective divisor of degree

d

then

d i m | D | \leq \frac{1}{2} (d - δ (D)) (C l i f 1) .

Proposition 4.11 Let

X

be a real curve such that

X

has a finite Clifford index

c = C l i f f (X)

. Let

D \in D i v (X)

be an effective divisor of degree

d

then

1) $d i m | D | \leq \frac{1}{2} (d - δ (D))$ if $δ (D) \leq c$ and,
2) $d i m | D | \leq \frac{1}{2} (d - δ (D)) + [\frac{1}{2} (δ (D) - c)]$ if $δ (D) > 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

δ (D) > c

and that

D

contributes to the Clifford index of

X

Assume

d i m | D | = \frac{1}{2} (d - δ (D)) + k

. Then

C l i f f (D) = δ (D) - 2 k \geq c

and the proposition follows.

⊓ ⊔

For general curves, we complete Corollary 4.10 as follows:

Corollary 4.12 Let

X

be a real curve such that

X_{C}

is a general curve and such that

s > [\frac{(g - 1)}{2}]

. Let

D \in D i v (X)

be an effective divisor of degree

d

then

d i m | D | \leq \frac{1}{2} (d - δ (D)) + [\frac{1}{2} (s - \frac{(g - 1)}{2})] .

References

R. D. M. Accola On Castelnuovo's inequality for algebraic curves 1, Trans. Amer. Math. Soc. 251, 357-373, 1979
R. D. M. Accola Plane models for Riemann surfaces admitting certain half-canonical 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, 7-20, Princeton University Press 1981.
E. Arbarello, M. Cornalba, P.A. Griffith, J. Harris, Geometry of Algebraic Curves, Grundlehren der mathematischen Wissenschaften 267, Springer-Verlag, New York-Berlin-Heidelberg-Tokyo 1985
J. Bochnak, M. Coste, M-F. 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, 237-264, 1992
M. Coppens, G. Martens, Secant space and Clifford's theorem, Compositio Mathematica, 78, 193-212, 1991
D. Eisenbud, H. Lange, G. Martens, F-O. Schreyer, The Clifford dimension of a projective curve, Compositio Mathematica, 72, 173-204, 1989
B. H. Gross, J. Harris, Real algebraic curves, Ann. scient. Ec. Norm. Sup. $4^{e}$ série, 14, 157-182, 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, 339-360, 2003

Clifford Theorem for real algebraic curves $$ $$ Work supported by the European Community's Human Potential Programme under contract HPRN-CT-2001-00271, RAAG.

Jean-Philippe Monnier Département de Mathématiques, Université d'Angers, 2, Bd. Lavoisier, 49045 Angers cedex 01, France e-mail: monnier@tonton.univ-angers.fr