In this article, we will study plane curves of a certain degree d with three or four total inflection points. In particular, we will study their image in the moduli spaces. Also a result on curves with five total inflection points is included.
Notation and introductionFirst we will fix some notation. Let P 2 be the projective plane over some algebraically closed field k, and let P 2 be the incidence relation in (P 2 ) * × P 2 ; that is, P 2 = {(L, P ) | P ∈ L}.If d and e are non-zero natural numbers, then we denote by V d,e ⊂ (P 2 ) e the set of elements (L, P) = ((L 1 , P 1 ), . . . , (L e , P e )) with P i ∈ L j for all i = j (hence also L i = L j for i = j) and such that there exists a plane curve Γ (not necessarily irreducible) of degree d, not containing one of the lines L i , with intersection number i(Γ · L i , P i ) = d. We say that in this case the pairswhereby dP i is the subscheme of P 2 corresponding to the divisor dP i on L i . Therefore, the associated linear system P(V (L, P)) consists of curves Γ of degree d having (L i , P i ) as total inflection point for all i. If 1 f e, then we will write (L f , P f ) to denote the element ((L 1 , P 1 ), . . . , (L f , P f )) ∈ V d,f (unless stated otherwise).We write V d,e to denote the union of the spaces of curves P(V (L, P)) with (L, P) ∈ V d,e . We denote the set of points corresponding to smooth plane curves of V d,e by V • d,e . Let m d,e : V • d,e → M (d−1)(d−2)/2 be the moduli map, and denote its image by M (V d,e ). In [5], the case d = 4 (that is, quartic curves) has been studied intensively. The main tool used there is the so-called λ-invariant, which is nothing else than a cross ratio of four points (see also [4]). In [1], the cases e = 1, 2 have been handled and also the cases e = 3, 4 for some special configurations of the lines L i and the points P i . In [2], a few general results are proved on curves with total inflection points.In Section 2, we will consider the case e = 3 (so three total inflection points). We will give a full description of the components of V d,3 for d 2 and M (V d,3 ) for d 5, prove that they are rational and compute their dimensions (see Theorems 2.1 and 2.5). In Section 3, we consider the case e = 4. Again we find a full list of the components of V d,4 for d 3 and M (V d,4 ) for d 6. We will prove that all components of V d,4 (Theorem 3.2) and almost all components of M (V d,4 ) (Theorem 3.11) are rational. In Section 4, we will prove a result on the case e = 5 (Theorem 4.2).We recall a proposition proved in [2], which we will use several times in this article.Proposition 1.1. Let (L, P) ∈ V d,e . (a) dim(V (L, P)) = d−e+2 2 + 1, where n 2 is defined to be 0 if n < 2.