arXiv:1303.1304v1 [math.AG] 6 Mar 2013

ON QUARTICS WITH LINES OF THE SECOND KIND
SLAWOMIR RAMS AND MATTHIAS SCHÜTT
Abstract. We study the geometry of quartic surfaces in P3 that contain a line of the second kind over algebraically closed ﬁelds of characteristic diﬀerent from 2,3. In particular, we correct Segre’s claims made
for the complex case in 1943.

1. Introduction
The main aim of this note is to study the geometry of certain quartics
in P3 that contain a line. Our investigations concern not only the field of
complex numbers C, but any algebraically closed field K of characteristic 6=
2, 3. Specifically, let X ⊂ P3K be a smooth quartic surface that contains a
line ℓ. The linear system |OX (1) − ℓ| endows the surface in question with
an elliptic fibration
(1.1)

π : X → P1 .

The geometry of (1.1) can in principle be used to determine all lines on X.
Notably, any line on X meeting ℓ occurs as component of a singular fiber
of (1.1). Euler number considerations yield that ℓ meets at most 24 other
lines on X. Following Segre [8] this bound can be improved by noticing that
the intersection point of ℓ with any other line on X lies in the closure of
the locus of inflection points of smooth fibers of the fibration (1.1). Thus
elimination theory gives the (sharp) upper bound of 18 other lines on X
possibly met by ℓ unless ℓ is contained in the flex locus (cf. [8, p.88], [7,
Lem. 5.2]). Therefore the lines satisfying the latter condition are crucial for
a good understanding of possible configurations of lines on smooth quartics.
This motivated B. Segre to formulate the following definition (cf. [8, p. 87])
that played central role in his attempt to show that a smooth complex
quartic contains at most 64 lines (as proved in [7, Thm. 1.1]).
Definition 1.1 (Lines of the second kind). The line ℓ is of the second kind
iff it is contained in the closure of the flex locus of the smooth fibers of the
fibration (1.1).
Date: March 6, 2013.
2010 Mathematics Subject Classification. Primary: 14J28, 14J25; Secondary 14J70.
Funding by ERC StG 279723 (SURFARI) and NCN grant no. N N201 608040 (S.
Rams) is gratefully acknowledged.
1

2

SLAWOMIR RAMS AND MATTHIAS SCHÜTT

The starting point of this paper is Segre’s observation that every smooth
quartic obtained by perturbing the equation of a ruled quartic S with a
product of 4 planes that vanish along a directrix ℓ of S, i.e.
(1.2)
S + L̂1 · . . . · L̂4 , where the planes L̂1 , . . . , L̂4 meet along the directrix ℓ,
contains ℓ as a line of the second kind (see Construction 2.2). Moreover,
Segre claimed that any quartic with a line of the second kind is given by
(1.2). The latter statement was used in [8] to deduce various properties of
quartics with lines of the second kind (see Sect. 3 for details). However,
in full generality Segre’s claims are wrong. Notably, in [7] we exhibited a
family Z of quartics that crucially contradicted certain bounds stated in [8]
(see Sect. 7). Since our main aim was to give a correct characteristic-free
proof of the bound on the number of lines, the question why Segre’s idea
does not work in general was not adressed in [7].
In this paper, we study the geometry of smooth quartics with a line of
the second kind in detail. Following an idea from [7] we show that there are
3 distinct families of smooth quartics with such lines, distinguished by the
ramification type R of the morphism π|ℓ , the restriction of (1.1) to ℓ. Here
π|ℓ has either 2 ramification points (type R = 22 ), 3 ramification points
(type R = 2, 12 ), or 4 ramification points (type R = 14 ). The following
condition on the fibration (1.1) will arise naturally in this paper:
(1.3)
If a fiber F of (1.1) meets ℓ in exactly one point, then F has type IV.
The main results of this paper are summarised in the following theorem,
see Sect. 8 for a collection of the ingredients of the proof and Sect. 6, 7 for
the definition of the families T , Z.
Theorem 1.2. Let X be a smooth quartic with a line ℓ of the second kind
of ramification type R.
(a) The surface X can be obtained by Segre’s construction (1.2) if and
only if the fibration (1.1) satifies the condition (1.3).
(b) If R = 2, 12 (resp. R = 22 ), then X is projectively equivalent to a
member of the family T (resp. Z).
In particular, every quartic with a line of the second kind of ramification
type R = 14 can be written as (1.2), whereas within smooth quartics with a
line of the second kind of ramification type R = 2, 12 (resp. R = 22 ), those
of the shape (1.2) have codimension 1 (resp. codimension 2).
As a result, we verify that Segre’s claims generally do not hold for smooth
quartics with a line of the second kind of ramification type R = 2, 12 or
R = 22 (see Sect. 6, 7). On the other hand, we show that if a quartic X
is given by (1.2), then both S and L̂1 , . . . , L̂4 are uniquely determined by
(X, ℓ) and can be effectively computed (see Prop. 5.2 and Cor. 6.7, 7.5).
In this case, the degree of the singular locus sing(S) and the ramification

ON QUARTICS WITH LINES OF THE SECOND KIND

3

type R determine the Kodaira types of all singular fibers of (1.1) (compare
Claim 3.4).
Our interest in surfaces with lines of the second kind has various reasons.
Firstly, lines on surfaces play a key role in arithmetic considerations (see
e.g. [10, Thm. 2], [2], [3]). In the case of quartics, lines of the second kind
appear (implicitly) for example in [3, proof of Thm 5.1]. Secondly, even
for K = C the maximal number of lines on smooth degree-d surfaces in P3K
remains unknown for d ≥ 5. The existence of lines of the second kind is
one of the obstacles to improving the general bound given in [8, § 4] (see
e.g. [1, Prop. 6.2]). A better understanding of the degree-4 case sheds
light on the question what happens for higher degrees, which we plan to
address in future work. Finally, one of our main aims is to clarify certain
misconceptions/errors that appear in the classical paper [8], and thus correct
the current picture of certain aspects of the geometry of quartics in P3 that
contain a line.
Conventions: Unless otherwise indicated, in this note we work over an
algebraically closed field K of characteristic p 6= 2, 3. By abuse of notation,
whenever it leads to no ambiguity, we use the same symbol to denote a
homogeneous polynomial and the set of its zeroes.
2. Segre’s construction of quartics with lines of the second
kind
Let X ⊂ P3K be a smooth quartic surface that contains a line ℓ. For
a point P ∈ ℓ we put FP to denote the fiber of the fibration (1.1) that
contains P ; equivalently FP is the planar cubic residual to the line ℓ in the
intersection of X with the tangent space TP X:
X ∩ TP X = ℓ + FP .
The restriction of the fibration (1.1) to the line ℓ defines a degree 3 map
(2.1)

π|ℓ : ℓ → P1 .

Following [7, § 3] we put R to denote the ramification divisor of (2.1). By
the Hurwitz formula, one has deg(R) = 4, so we distinguish three possible
ramification types:
R = 14 (i.e. R is a sum of four distinct points), R = 2, 12 or R = 22 .
In his attempt to describe all complex quartics with lines of the second
kind, Segre uses the geometry of ruled surfaces in the classical sense, i.e
surfaces covered by lines. For the convenience of the reader, in the remark
below we collect certain facts about ruled surfaces (in the classical sense),
that can be found in [5].
Remark 2.1. Let S ⊂ P3K be a reduced, irreducible surface that is a union of
a family of lines and which is not a cone over a planar curve (such surfaces
were classically called ruled surfaces, see [5, p. 152]). The lines on S give an

4

SLAWOMIR RAMS AND MATTHIAS SCHÜTT

algebraic subset C̃ of the Grassmanian Gr(2, 4). By [5, Lemma 1.2] and [5,
Corollary 1.6] the set C̃ consists of an irreducible curve C and at most two
points (so-called isolated lines - see [5, Def. 1.4]). A line ℓ̃ ⊂ S is a directrix
iff it meets all lines from C (equivalently, the curve C is contained in the
tangent space Tℓ̃ Gr(2, 4) of the Grassmanian at the point ℓ̃).
The following simple observation forms the backbone of Segre’s considerations in [8, § 6].
Construction 2.2. Let X ⊂ P3K be a smooth quartic surface that contains
a line ℓ. Assume that X is given by the equation
(2.2)

S + L̂1 · . . . · L̂4 ,

where the quartic S is a union of a family of lines, each of which meets
ℓ, and the planes L̂1 , . . . , L̂4 meet along the line ℓ. Then ℓ is a line of the
second kind on X.
Proof. Let ℓ′ ⊂ S, ℓ′ 6= ℓ be a line that is not contained in the union of the
planes L̂1 , . . . , L̂4 , and let P be the point in ℓ ∩ ℓ′ . By (2.2) we have
ℓ′ · (ℓ + FP ) = ℓ′ · X = 4P,
so P is an inflection point of the cubic FP . Consequently, the line ℓ meets
the flex locus of the smooth fibers of the fibration (1.1) in infinitely many
points, so ℓ is contained in its closure.

On the other hand a line ℓ (not necessarily of the second kind) on a
smooth quartic X ⊂ P3K gives rise to a hypersurface that is covered by lines
as follows. Consider the set
(2.3) Sℓ := {ℓ̃ ⊂ P3 a line; ∃ P ∈ ℓ s.t. ℓ̃ ⊂ TP X and i(ℓ̃, FP ; P ) ≥ 2 },
where i(·) stands for the proper intersection multiplicity of the line ℓ̃ with
the planar cubic FP in the point P (inside the plane TP X). One has the
following observation:
Lemma 2.3. The union ∪{ℓ̃ : ℓ̃ ∈ Sℓ } =: S8 of the family of lines Sℓ is a
hypersurface in P3 of degree at most eight.
Proof. Without loss of generality we can assume that ℓ = V(x3 , x4 ). Let f
be a generator of the ideal I(X). We have
X
f=
αi,j xi3 xj4 with αi,j ∈ K[x1 , x2 ] homogeneous of degree 4 − i − j.
0<i+j≤4

Since X is smooth, α1,0 , α0,1 have no common roots; after a coordinate
transformation we can also assume that α1,0 , α0,1 have no multiple roots.
In particular, by (2.3) the planes V(x3 ), V(x4 ) are not contained in S8 .
Let P = (p1 : p2 : 0 : 0) ∈ ℓ. Since TP X = V(α1,0 (P )x3 + α0,1 (P )x4 ), if
α0,1 (p1 , p2 ) 6= 0, then the cubic FP is given by the vanishing of the polynomial
g(x1 , x2 , x3 ) := f (α0,1 (p1 , p2 )x1 , α0,1 (p1 , p2 )x2 , α0,1 (p1 , p2 )x3 , −α1,0 (p1 , p2 )x3 )/x3 .

ON QUARTICS WITH LINES OF THE SECOND KIND

5

By direct computation, there exist h1 , h2 ∈ K[x1 , x2 ] (resp. h3 ) of degree 5
(resp. 8) such that
(1)
(2)

∂g
∂x3 (p1 , p2 , 0)
∂g
∂xj (p1 , p2 , 0)

= α20,1 (p1 , p2 ) · h3 (p1 , p2 ) and
= α30,1 (p1 , p2 ) · hj (p1 , p2 ) for j = 1, 2.

We define bihomogenous polynomials H8 ∈ K[z1 , z2 ][x1 , . . . , x4 ] (resp. H3 )
of bidegree (8, 1) (resp. (3, 1))
H8 := α0,1 (z1 , z2 ) · h1 (z1 , z2 ) · x1 + α0,1 (z1 , z2 ) · h2 (z1 , z2 ) · x2 + h3 (z1 , z2 ) · x3 ,
H3 := α1,0 (z1 , z2 ) · x3 + α0,1 (z1 , z2 ) · x4 ,
and put
H8 = V (H8 ) ⊂ P1 × P3 , H3 = V (H3 ) ⊂ P1 × P3 .
By construction, for a point P ∈ ℓ such that α0,1 (P ) 6= 0, the union of the
lines ℓ̃ ∈ Sℓ through the point P is given by the intersection
P3 ⊃ V(H8 (p1 , p2 )) ∩ V(H3 (p1 , p2 )) = ∪{ℓ̃ ∈ Sℓ ; P ∈ ℓ̃}.
Thus the union S8 = ∪{ℓ̃ : ℓ̃ ∈ Sℓ } is contained in support of the pushforward H of H8 ∩ H3 to P3 via the projection map. Clearly (up to an
appropriate change of coordinates) H is given by the resultant of H3 and
H8 with respect to z1 after dehomogenising z2 = 1. By inspection of the
Sylvester matrix, we infer that H ⊂ P3 has degree 11.
We continue by eliminating a superfluous component of H that does not
contribute to S8 . To this end, we assume that α0,1 (p1 , p2 ) = 0. Then by
inspection of the equations, {(p1 : p2 : 0 : 0)} × V(x3 ) is a component of
H8 ∩H3 . In consequence the plane V(x3 ) occurs in H with multiplicity m ≥ 3
(once for each of the three distinct roots of α0,1 ). Hence the degree of the
effective divisor (H − mV(x3 )) in P3 is at most 8. By definition, we have
(2.4)
∪ {ℓ̃ : ℓ̃ ∈ Sℓ , ℓ̃ * V(x3 )} ⊂ supp(H − mV(x3 )) and supp(H) \ V(x3 ) ⊂ S8 .
It remains to show the equality
(2.5)

S8 = supp(H − mV(x3 )).

For this purpose we use the fact that the fiber FP is also given in TP X by
the alternative equation
f (α1,0 (p1 , p2 )x1 , α1,0 (p1 , p2 )x2 , −α0,1 (p1 , p2 )x4 , α1,0 (p1 , p2 )x4 )/x4 = 0,
as soon as α1,0 (p1 , p2 ) 6= 0. Repeating the above reasoning, we derive an
effective divisor (H′ − m′ V(x4 )) in P3 of degree at most 8 such that
(2.6)

∪ {ℓ̃ : ℓ̃ ∈ Sℓ , ℓ̃ * V(x4 )} ⊂ supp(H′ − m′ V(x4 ))

The inclusions (2.4), (2.6) imply that (S8 \ ℓ) is a hypersurface in P3 \ ℓ.
Since ℓ meets all lines in the family Sℓ , it lies in the closure of (S8 \ ℓ) and
S8 is a hypersurface. Finally, (2.5) follows from (2.4) (since V(x3 ) is not
contained in S8 by assumption).


6

SLAWOMIR RAMS AND MATTHIAS SCHÜTT

Remark 2.4. Segre claims that S8 is always of degree 8 (see [8, p. 92])
and justifies that claim by a short, dynamic argument dealing with a line
of the ramification type R = 14 . We were unable to track any proof of
Lemma 2.3 in the literature. We will show that the above claim is true for
a general quartic with a line of the second kind (Propositions 6.5, 7.1), and
for all quartics with the above ramification type R = 14 (Lemma 5.1 (d)).
However, if we treat S8 as a reduced surface, then the above claim does
not always hold (see Cor. 6.7 (b), Cor. 7.5 (b)).
3. Segre’s claims about complex quartics with lines of the
second kind
In [8, § 6] Segre claims that each complex quartic with a line of the second
kind can be constructed as in Construction 2.2. One of the key points in his
arguments deals with components of S8 in case K = C (see the erroneous
Claim 3.2). Here we recall Segre’s claims before correcting them in the
following sections.
Crucially one can find components of S8 by the following lemma. Here we
give a proof over an arbitrary algebraically closed field K of characteristics
6= 2, 3 based on the use of elliptic fibrations in [7]; Segre’s original argument
over C uses convergent series (see [8, p. 91]).
Lemma 3.1. Let X ⊂ P3K be a smooth quartic and ℓ ⊂ X a line of the
second kind. If P ∈ supp(Rℓ ), then the tangent plane TP X is a component
of the ruled surface S8 .
Proof. We claim that P is a singular point of the fiber FP . Given this, any
line in TP X through P meets FP with multiplicity at least 2 in P , and the
inclusion TP X ⊂ S8 results directly from (2.3).
For P of multiplicity 2 in R, the claim follows from [7, Lemma 3.2] and
its proof therein. On the other hand, if P has multiplicity 1 in Rℓ , then FP
is a cuspidal cubic (Kodaira type II) by [7, Lemma 3.2]. By assumption ℓ
meets FP in two distinct points. Since ℓ lies in the closure of the flex locus
of smooth fibers of (1.1), the intersection points can only be the unique
smooth inflection point of the fiber and the cusp; in particular, P equals the
cusp.

Lemma 3.1 implies that the surface S8 contains four (resp. three or two)
planes when ℓ is a line of the second kind with ramification type R = 14
(resp. R = 2, 12 or 22 ). According to Segre, however, the hypersurface S8
contains always four planes over C:
Claim 3.2 ([8, § 6., p. 92]). If ℓ is a line of the second kind, then the octic
S8 is always a union
S4 ∪ Π1 ∪ . . . ∪ Π4 ,
where S4 is a ruled quartic, the line ℓ is its directrix and the planes Π1 , . . .,
Π4 contain ℓ.

ON QUARTICS WITH LINES OF THE SECOND KIND

7

This leads to another claim:
Claim 3.3 ([8, § 6., p. 94]). Each quartic with a line of the second kind is
given by (2.2). Moreover, the singular locus of S is either a twisted cubic of
double points or a line of triple points.
The latter is used by Segre to show the following statement.
Claim 3.4 ([8, § 7., p. 95]). A line of the second kind on a smooth quartic is
met by 12, 15 or 18 other lines on X, with the exact number of lines meeting
ℓ given by the formula
(24 − 3 · #(supp(R)).
As a consequence Segre derives the following bound.
Claim 3.5 ([8, § 7]). A line on a smooth quartic is met by at most 18 other
lines on the surface in question.
In Sect. 5 (in combination with [7]) we will verify that Segre’s claims
are correct for quartics with lines of the second type of the ramification
type 14 in any characteristic 6= 2, 3. In Sections 6, 7, however, we will give
counterexamples to the first three claims for the other two ramification types,
i.e. R = 22 and 2, 12 . We will also discuss some aspects of the geometry of
all quartics that violate the bound of Claim 3.5, but first we will need some
technical preliminaries.
4. Technical preliminaries
In our considerations we will need the following lemma about ruled quartics.
Lemma 4.1. Let S ⊂ P3K be a hypersurface of degree four that is a union of
a family F of lines, S = ∪{ℓ̃ : ℓ̃ ∈ F}. If there exists a line ℓ ⊂ S such that
ℓ ∩ sing(S) = ∅ and ℓ ∩ ℓ̃ 6= ∅ for all ℓ̃ ∈ F,
then one has
• S is not a cone over a quartic curve,
• the line ℓ is its directrix and
• the singular locus sing(S) consists either of a line of triple points, or
of a twisted cubic of double points.
Proof. The line ℓ is contained in the smooth locus of S and meets all its
components (since each component by assumption is covered by lines from
F), so the quartic in question is irreducible. We claim that S is not a cone.
Indeed, if the hypersurface were a cone, then ℓ would not run through its
vertex and hence S would contain a plane. Thus S is a ruled quartic in the
sense of [5]. The line ℓ is a directrix of S because it meets infinitely many
lines in F. As for the singular locus, one can continue by ruling out all other
possibilities from [5, § 3.2]. For space reasons, we omit the details here. 

8

SLAWOMIR RAMS AND MATTHIAS SCHÜTT

As an immediate consequence we obtain the following corollary.
Corollary 4.2. If a smooth quartic X ⊂ P3K is given by Construction 2.2,
then S is a ruled quartic (in the classical sense) and the singular locus
sing(S) consists either of a line of triple points, or of a twisted cubic of
double points.
If a smooth quartic X is given by Construction 2.2, then the intersection
L̂j ∩ S consists of four lines. On the fibration (1.1), this gives a singular
fiber of Kodaira type I3 or IV comprising the 3 lines other than ℓ. Without difficulty one can distinguish these two cases according to the shape of
sing(S):
Lemma 4.3. Let X be a smooth quartic given by Construction 2.2.
(a) The four planes L̂1 , . . . , L̂4 contain fibers of Kodaira type IV of the
fibration (1.1) iff sing(S) is a line of triple points.
(b) The four planes L̂1 , . . . , L̂4 contain fibers of Kodaira type I3 of the
fibration (1.1) iff sing(S) is a twisted cubic.
We can now derive quite easily the following uniqueness result:
Lemma 4.4. Let X be a smooth quartic obtained by Construction 2.2. If
X is given by the polynomial S̃ + L̂1 · . . . · L̂4 , where S̃ is a ruled quartic and
the line ℓ is its directrix, then
S = S̃.
Proof. The quartic X is smooth, so S has no singularities on the line ℓ. We
can apply Lemma 4.1, to see that sing(S) is either a line of triple points or
a twisted cubic of double points, and likewise for sing(S̃). For j = 1, . . . , 4,
we have the following intersections consisting of 4 lines:
(4.1)

(∗)

L̂j ∩ S̃ = L̂j ∩ X = L̂j ∩ S.

Suppose that sing(S) is a line of triple points. Let j = 1, . . . , 4. Then L̂j
contains a fiber of Kodaira type IV of the fibration (1.1) by Lemma 4.3.
Moreover, (4.1) yields that sing(S̃) meets the plane L̂j only in the singular
point of the type IV fiber. In particular, sing(S̃) cannot be a twisted cubic,
so it is a line as well. It meets sing(S) at singular points of the four type
IV fibers, so the lines of singularities coincide, i.e.
sing(S) = sing(S̃).
Thus the irreducible quartics S, S̃ meet along the line sing(S) with multiplicity at least 9. Furthermore, they contain the 13 lines in (4.1), so Bézout
implies S = S̃.
On the other hand, if sing(S) is a twisted cubic of double points, then L̂j
contains a fiber of Kodaira type I3 of the fibration (1.1) for each j = 1, . . . , 4.
By (4.1), sing(S̃) is also a twisted cubic; it meets sing(S) in 12 points, so
they coincide for degree reasons. Hence the irreducible quartics S, S̃ meet

ON QUARTICS WITH LINES OF THE SECOND KIND

9

along this twisted cubic with multiplicity at least 4. Since they have 13 lines
in common, we obtain S = S̃ by Bézout again.

The assumption that X is given by Construction 2.2 has another consequence for the singular fibers of the fibration (1.1).
Lemma 4.5. Let X be a smooth quartic given by Construction 2.2 and let
F be a fiber of the fibration (1.1). If F meets the line ℓ in exactly one point
P , then F is of Kodaira type IV .
Proof. We can assume that F ⊂ V(x4 ), the line ℓ = V(x3 , x4 ) and P = (0 :
1 : 0 : 0). Since ℓ is a directrix of S, the intersection X ∩ V(x4 ) is given by
product of four linear forms:
x3 ·

3
Y
(ai x1 + bi x2 + ci x3 ).
i=1

By (2.2), the fiber F is given as
3
Y
(ai x1 + bi x2 + ci x3 ) + γx33

for some γ ∈ K.

i=1

But P ∈ F implies b1 = b2 = b3 = 0, and we obtain the 3 fiber components
meeting at (0 : 1 : 0) as required (recall that X is smooth, so the intersection
X ∩ V(x4 ) is reduced).

In the sequel we will also use some properties of the surface S8 .
Lemma 4.6. Let ℓ be a line of the second kind on a smooth quartic X and
let S8 be the surface defined by the pair (X, ℓ).
(a) If a plane Π is a component of the surface S8 , then Π = TP X for a
point P ∈ supp(R).
(b) The surface S8 does not decompose into planes neither does it contain
an irreducible quadric.
Proof. (a) Let the plane Π be a component of S8 . Each line ℓ′ ∈ Sℓ is
contained in a component of S8 , so infinitely many are contained in Π. If
two of these lines run through the same point on ℓ, the point is a singularity
of the fiber and we are done. Otherwise, Π meets ℓ in two points, so it
contains ℓ. Let F ⊂ Π be the fiber of (1.1). Suppose that F meets ℓ in three
distinct points. Then, by definition of the family Sℓ (see (2.3)), exactly
three lines contained in Π are members of Sℓ , so Π ∩ S8 consists of three
lines and Π is no component of S8 .
(b) We consider the planes contained in S8 and denote by Sk the residual
hypersurface of degree k. We shall use the following elementary fact: A
general hyperplane H containing ℓ meets S8 and Sk in the same 4 lines,
namely ℓ and the 3 flex tangents of the cubic residual to ℓ in H at the
intersection points with ℓ. This immediately implies that k > 0, that is, S8
does not decompose into planes.

10

SLAWOMIR RAMS AND MATTHIAS SCHÜTT

Suppose that S2 ⊂ Sk is an irreducible quadric. Observe that S2 contains
the line ℓ. If S2 is a cone, then its vertex P lies on ℓ. By (2.3) the quadric S2
contains the tangent plane TP X, contradiction. Thus S2 is smooth. Recall
the intersection of Sk with a general hyperplane H containing ℓ:
S k ∩ H = ℓ + ℓ1 + ℓ2 + ℓ3 .
By the quadric structure we have, say, ℓ1 ⊂ S2 and ℓ2 , ℓ3 6⊂ S2 . But then
S2 clearly contains a unique line ℓ̃ 6= ℓ, ℓ2 through the intersection point
P = ℓ ∩ ℓ2 . That is, Sk contains two lines through P other than ℓ. However,
through a general point P ∈ ℓ, Sk contains exactly one line other than
ℓ, namely the flex tangent TP FP (inside TP X). This gives the required
contradiction.

We end this section with a lemma that follows one of the main ideas of
[8, § 6].
Lemma 4.7. Let ℓ be a line of the second kind on a smooth quartic X and let
S8 be defined by the pair (X, ℓ). Moreover, let supp(R) = {P1 , . . . , Pk } (k =
2, 3, 4). Assume that
• there exists a quartic S4 that contains none of the planes TPi X,
where i = 1, . . . , k, and the following equality holds
(4.2)

S8 = S4 ∪ TP1 X ∪ . . . ∪ TPk X
• there exist pairwise distinct planes L1 , . . ., L4 , none of which coincides with TP1 X, . . ., TPk X, that contain ℓ and intersect X along
four lines, i.e. for j = 1, . . . , 4 one has:

(4.3)

Lj ∩ X = ℓ + ℓj + ℓ′j + ℓ′′j .

Then X is given by the equation
(4.4)

X = λ · S 4 + L1 · . . . · L4

for λ ∈ K× .

Proof. We consider the proper intersection cycle of the two quartics
S4 · X = m ℓ + D,
where ℓ is not contained in the support of the residual divisor D of degree
(16 − m). We claim that m ≥ 4. Indeed, fix a point P ∈ (ℓ \ supp(D))
such that the fiber FP is a smooth; by [7, Lemma 3.2] (see also the proof
of Lemma 3.1), FP meets the line ℓ in three distinct points. Let ℓ̃ := TP FP
and let Π 6= TP X be a plane that contains ℓ̃. Then
(4.5)

m = i(S4 ∩ Π, X ∩ Π; P ).

Since ℓ is a line of the second kind, P is an inflection point of FP , which
yields the equality
ℓ̃ · X = 4 P.
Thus ℓ̃ meets the planar quartic X ∩ Π in the point P with multiplicity 4.
But ℓ̃ is a component of the planar curve S4 ∩ Π so the right-hand side of
(4.5) is at least 4 as claimed.

ON QUARTICS WITH LINES OF THE SECOND KIND

11

By definition, the surface S8 contains all lines on X that meet ℓ. We infer
from (4.2), that the quartic S4 , and consequently the support of the divisor
D contain four triplets ℓj , ℓ′j , ℓ′′j of coplanar lines, where j = 1, . . . , 4. For
degree reasons we thus find m = 4 and
S4 · X = 4 ℓ +

4
X
(ℓj + ℓ′j + ℓ′′j ).
j=1

Since S4 and L1 · . . . · L4 intersect X along the same divisor, one obtains
(4.4) which completes the proof of Lemma 4.7.

5. Ramification type 14
In this section we study quartics with a line of the second kind of ramification type R = 14 . Recall from Theorem 1.2 that it is exactly this
ramification type where Segre’s claims listed in Sect. 3 ought to hold true
(cf. [8, §6]). Our purpose is to give precise proofs of these claims over the
field K (not only C).
In the lemma below we collect certain consequences of [7, § 3] that we
will need in the sequel.
Lemma 5.1. Let X ⊂ P3 be a smooth quartic and ℓ ⊂ X be a line of the
second kind with ramification type 14 and R = P1 + . . . + P4 .
(a) The fibers FP1 , . . ., FP4 are singular fibers of type II. In particular,
they contain no lines.
(b) The fibration (1.1) has no singular fibers of type I2 .
(c) The line ℓ is met by exactly 12 lines ℓ′ 6= ℓ on X. They form four
triplets of coplanar lines.
(d) The tangent planes TPj X, where j = 1, . . . , 4, are components of
the surface S8 and one has deg(S8 ) = 8.
(e) The quartic S4 residual to the tangent spaces TP1 X, . . ., TP4 X in
S8 is a union of a family of lines, each of which meets ℓ. Moreover,
ℓ is no component of sing(S4 ).
Proof. (a) By [7, Lemma 3.2] the fibers FP1 , . . . , FP4 are cuspidal cubics (i.e.
fibers of type II).
(b) The fibers of type I2 are ruled out by [7, Lemma 3.1] and [7, Lemma 3.2].
(c) [7, Prop. 4.1] implies that the line ℓ is met by exactly 12 lines ℓ′ 6= ℓ
on X. By [7, Lemma 3.1] they are contained in fibers of type either I3 or
IV of the elliptic fibration (1.1), so they form triplets of coplanar lines.
(d) The first assertion follows from Lemma 3.1. Let S4 denote the hypersurface residual to the tangent spaces TP1 X, . . ., TP4 X in S8 . A plane
Π 6= TPj X (j = 1, . . . , 4) containing ℓ meets S4 along four distinct lines
(ℓ and the flex tangents to the 3 intersection points of ℓ and the residual
plane cubic). Hence deg(S4 ) ≥ 4. Since deg(S8 ) ≤ 8 by Lemma 2.3, this
completes the proof of (d).

12

SLAWOMIR RAMS AND MATTHIAS SCHÜTT

(e) The quartic S4 is covered by the planes containing ℓ. Each intersection
with a plane outside the ramified points P1 , . . . , P4 decomposes into 4 lines
by the proof of (d). On the other hand the intersection of the quartic S4
and the plane TPj X, where j = 1, . . . , 4, contains at least three distinct
lines: ℓ, the line tangent to FPj in the unique smooth inflection point, and
the tangent cone CPj FPj . For degree reasons, it thus consists solely of lines
(each meeting ℓ). Hence, S4 is the union of the family of lines given by
intersecting with the planes containing ℓ.
By (c), ℓ is met by 12 lines on X comprising four singular fibers of (1.1).
On these fibers, the flex tangents to the 3 intersection points of ℓ and the
fiber are by definition the lines themselves. Thus S4 contains all lines on X
meeting ℓ.
By the proof of (d) again, intersecting of S4 with a general plane containing ℓ, we obtain ℓ as a reduced component of the intersection for degree
reasons; hence ℓ cannot be contained in sing(S4 ). This completes the proof
of (e).

In the proposition below, ruled surface stands for a reduced, irreducible
surface that is a union of a family of lines. Moreover, a ruled surface is
assumed not to be a cone (see Remark 2.1). As in Sect. 2 we put S8 to
denote the octic defined by the pair (X, ℓ) (see Lemma 2.3).
Proposition 5.2. Let X ⊂ P3 be a smooth quartic and ℓ ⊂ X be a line of
the second kind with ramification type R = 14 . Then
(a) The quartic X is given by the equation (4.4), where
• the planes L1 , . . . , L4 are pairwise distinct and meet along the line ℓ,
• each plane Lj intersects X along four lines,
• the ruled quartic S4 is a component of the surface S8 .
Moreover, the line ℓ is a directrix of S4 , the quartic S4 is smooth along ℓ
and the singular locus sing(S4 ) consists either of a line of triple points, or
of a twisted cubic of double points.
(b) The decomposition (2.2) for the pair (X, ℓ) is unique and coincides
with (4.4), i.e. S = S4 and {L̂1 , . . . , L̂4 } = {L1 , . . . , L4 }.
(c) The fibration (1.1) has singular fibers 4 I3 ⊕ 4 I1 ⊕ 4 II, iff sing(S4 ) is
a twisted cubic.
(d) The fibration (1.1) has singular fibers 4 IV ⊕ 4 II iff sing(S4 ) is a line
of triple points.
Proof. (a) Lemma 5.1 (d), (e) implies that the equality (4.2) holds. By
Lemma 5.1 (a) the planes TP1 X, . . . , TP4 X contain no lines ℓ′ 6= ℓ on X.
We infer from Lemma 5.1 (c) that there exist four planes L1 , . . . , L4 that
satisfy the assumptions of Lemma 4.7 (see (4.3)). Thus X is given by (4.4).
The quartic X is smooth, so S4 has no singularities on the line ℓ. By
Lemma 5.1 (e) we can use Lemma 4.1 to complete the proof of (a).

ON QUARTICS WITH LINES OF THE SECOND KIND

13

(b) Suppose that X is given by the equation (2.2), where the ruled quartic
S and the planes L̂1 , . . . , L̂4 satisfy the conditions of Construction 2.2. Obviously the equality (∗) of (4.1) holds, so the plane L̂j intersects the quartic
X along four lines. Thus Lemma 5.1 (c) yields the equality
{L̂1 , . . . , L̂4 } = {L1 , . . . , L4 }.
Claim (b) follows directly from Lemma 4.4.
(c), (d) By Lemma 5.1 (a), the fibration (1.1) has four fibers of Kodaira
type II. In case (d), there are also 4 fibers of Kodaira type IV by Lemma 4.3
(a). Thus Euler number considerations prove the claim. Similarly, Lemma
4.3 (b) shows that there are 4 I3 fibers in case (c). Since fibers of Kodaira
type I2 are ruled out by Lemma 5.1 (b), there are 4 other singular fibers,
each of Kodaira type I1 , as follows from [7, Lemma 4.2].

6. Ramification type 2, 12
In this section we determine a 6-parameter family of quartics that (up
to projective equivalence) contains all smooth quartics with a line of the
second kind and ramification type R = 2, 12 . This enables us to show that
neither Claim 3.2, 3.3 nor 3.4 hold for this ramification type. We put
(6.1)

R = 2P1 + P2 + P3 .

At first we develop a suitable projective model for the quartics of this ramification type, much like the family Z determined for ramification type R = 22
in [7] (see Sect. 7).
Lemma 6.1. Let ℓ be a line of the second kind on a smooth quartic X with
ramification type R = 2, 12 . Then X is projectively equivalent to a quartic
in the family T given by the polynomials
T : g − 4c3 (b + 4ac3 )x1 x2 x24 + bx1 x2 x3 x4 + ax1 x2 x23 + x22 (x2 − 3cx1 )x4
+x31 x3 + c(x3 − 4c3 x4 )((b + 4ac3 )x4 + ax3 )2 (cx1 + x2 )/3,
where a, b, c ∈ K, c 6= 0, and g ∈ K[x3 , x4 ] is homogeneous of degree 4.
Proof. By a linear transformation, we can assume that the line ℓ is given by
x3 = x4 = 0, and that the ramification occurs doubly at 0 and simply at ∞,
that is, at x3 = 0 and x4 = 0. A further normalisation makes the residual
cubic polynomials in these fibers x31 , x22 (x2 − 3cx1 ) for some c ∈ K× . The
equation thus becomes
(6.2)

x3 x31 + x4 x22 (x2 − 3cx1 ) + x23 q1 + x3 x4 q2 + x24 q3 = 0,

where q1 , q2 , q3 are homogeneous quadratic forms in x1 , . . . , x4 . Translations
of x1 and x2 in linear terms in x3 , x4 ensure that the terms involving x21 x3
and x22 x4 in (6.2) are zero. Then we solve for ℓ to be a line of the second kind,
i.e. for the Hessian of (6.2) to vanish identically on ℓ. The corresponding
system of equations can be solved directly, resulting in the given equation
for T .


14

SLAWOMIR RAMS AND MATTHIAS SCHÜTT

Remark 6.2. For the ramification type of a smooth quartic X ∈ T to really
be R = 2, 12 , we need c 6= 0, for otherwise the two fibers of Kodaira type II
come together to a single fiber of type IV meeting the line in the singularity
of the fiber, so the ramification type changes to R = 22 .
Recall that we defined P1 to be the only non-reduced component of R.
For all X ∈ T , the fiber FP1 is contained in the plane V(x3 ). By definition
of the ramification type, it is the only fiber of (1.1) that meets the line ℓ in
exactly one point.
Lemma 6.3. (a) A general quartic X ∈ T is smooth and the fibration (1.1)
is of type 5I3 ⊕ 5I1 ⊕ 2II. In particular, the fiber FP1 is of Kodaira type I1 ,
and ℓ meets exactly 15 lines on X.
(b) Let X ∈ T be smooth. Then
• the fiber FP1 is of type I2 iff the coefficient of x43 in g equals 4a3 c3 /27 6=
0,
• the fiber FP1 is of type IV if and only if a = 0,
• the fibers FP2 , FP3 are always of type II if the ramification type is
R = 2, 12 .
Proof. (a) Singularities of X cause the elliptic fibration (1.1) induced by
the line ℓ to either attain (more) reducible fibers or degenerate completely.
Presently the singular fibers at the ramification points P1 , . . . , P3 have Kodaira types I1 at x3 = 0 and II at x4 = 0 and x3 = 4c3 x4 . Generically, the
discriminant reveals that there are 5 reducible fibers, each of Kodaira type
I3 . One checks that each fiber corresponds to a hyperplane in P3 whose
intersection with the quartic splits into ℓ and three residual lines. Hence
a general quartic X ∈ T is smooth. Since the lines met by ℓ appear as
components of singular fibers of (1.1), ℓ generally meets exactly 15 lines on
X.
(b) The residual cubic FP1 generally has degree one in x2 ; it is given by
the polynomial
ax3 (acx3 + 3x1 )x2 + 3 coeff(g, x43 ) x33 + c2 a2 x1 x23 + 3x31 .
Therefore the cubic becomes reducible if and only if
• either the linear term in x2 vanishes identically, i.e. a = 0 and the
fiber is of the type IV ,
• or the factor (acx3 + 3x1 ) of the coefficient of the linear term in x2
divides the constant term as well, i.e. coeff(g, x43 ) = 4a3 c3 /27 and
the fiber type is I2 for a 6= 0.
The last claim of (b) follows from [7, Lemma 3.2].

As an immediate corollary of Lemma 6.3 (b), we obtain the criterion when
ℓ is met by 16 lines on X ∈ T .
Corollary 6.4. Let X ∈ T be smooth of ramification type R = 2, 12 . The
line ℓ meets exactly 16 lines on X if and only if the coefficient of x43 in g
equals 4a3 c3 /27.

ON QUARTICS WITH LINES OF THE SECOND KIND

15

Proof. By [7, §4] the ramified I1 fiber degenerating to Kodaira type I2 is
the only degeneration which increases the number of lines on X met by ℓ
without the ramification type changing. Hence the corollary follows from
Lemma 6.3 (b).

Cor. 6.4 gives the announced counterexample to Segre’s Claim 3.4 for
ramification type R = 2, 12 . Now we are in the position to study a general
element of T . The question when a smooth quartic X with a line of the second kind with ramification type R = 2, 12 can be obtained by Construction
2.2 will be answered by Cor. 6.7 (a).
Proposition 6.5. Let the quartic X be a general member of the family T .
(a) The quartic X is not given by Construction 2.2.
(b) The surface S8 consists of three planes and an irreducible quintic.
Proof. (a) The line ℓ meets a fiber of type I1 in only one point by Lemma 6.3 (a).
The claim follows directly from Lemma 4.5.
(b) We follow the proof of Lemma 2.3 to find the surface S8 . By direct
computation S8 consists of the tangent planes TP1 X, . . ., TP3 X and a quintic
S5 . In particular, by direct computation, S5 contains none of the planes
TP1 X, . . ., TP3 X. By Lemma 4.6 the quintic S5 is irreducible.

In order to give an intrinsic characterization of quartics with lines of the
second kind with ramification type R = 2, 12 that can be obtained by Segre’s
construction, we will need the following lemma.
Lemma 6.6. Let X ∈ T be smooth of ramification type R = 2, 12 and let
the fiber FP1 be of Kodaira type IV (i.e. ℓ runs through the singular point
of a type IV fiber of the fibration (1.1)). Then
(a) The line ℓ is met by exactly 15 other lines on X.
(b) The 15 lines that meet ℓ form five triplets of coplanar lines. None
of them is contained in any of the planes TP2 X, TP3 X.
(c) The fibration (1.1) has no fibers of Kodaira type I2 .
Proof. (a), (b) follow directly from the proof of Lemma 6.3.
(c) By [7, Lemma 3.2] only the fiber FP1 can be of type I2 , but it isn’t by
assumption.

Now we are in the position to give the desired coordinate-free characterization of quartics with lines of the second kind with ramification type
R = 2, 12 which can be obtained by Segre’s construction. We maintain the
notation (6.1).
Corollary 6.7. Let X ⊂ P3 be a smooth quartic and let ℓ ⊂ X be a line of
the second kind with ramification type R = 2, 12 .
(a) The quartic X is given by Construction 2.2 iff the line ℓ runs through
the singular point of a type IV fiber of the fibration (1.1).
(b) If the equivalent conditions of (a) hold, then

16

SLAWOMIR RAMS AND MATTHIAS SCHÜTT

• the surface S8 defined by (X, ℓ) is a septic that consists of the tangent
planes TP1 X, . . . TP3 X and an (irreducible) ruled quartic S4 ;
• the line ℓ is met by exactly five triplets of coplanar lines on X, that
are contained in the plane TP1 X, and four other planes L1 , . . ., L4 ;
• the decomposition (2.2) is unique and coincides with (4.4);
• the fibration (1.1) is of type IV ⊕ 4I3 ⊕ 4I1 ⊕ 2II (resp. 5IV ⊕ 2II)
iff sing(S4 ) is a twisted cubic (resp. a line).
Proof. (a) The implication (⇒) follows directly from Lemma 4.5.
(⇐) By Lemma 6.1 we can assume that X ∈ T . Suppose that the fiber
FP1 is of type IV . By Lemma 6.3 (c) the quartic X is given by the equation
of Lemma 6.1 with a = 0. We put a = 0 in the quintic S5 from (the proof
of) Proposition 6.5 to see that S8 consists of the tangent planes TP1 X, . . .,
TP3 X and a quartic S4 . In particular, by direct computation, for i = 1, 2, 3
(6.3)

the intersection of S4 with the plane TPi X consists of lines,

so S4 contains none of the planes TP1 X, . . ., TP3 X. The assumption (4.2) of
Lemma 4.7 is fulfilled. By Lemma 6.6 (b) there exist four planes L1 , . . . L4 ,
each of which contains four lines on X that meet ℓ. Lemma 4.7 completes
the proof of (a).
(b) Let Π ⊂ P3 be a plane that contains ℓ. By definition of S8 the
intersection S4 ∩ Π consists of lines, provided Π 6= TPi X where i = 1, 2, 3.
Thus (6.3) yields that S4 is a union of a family of lines each of which meets ℓ.
Lemma 4.1 implies that S4 is an (irreducible) ruled quartic. Thus Lemma 3.1
gives the first claim of (b), whereas the second claim results immediately
from Lemma 6.6.
To prove the uniqueness suppose that X is given by (2.2). By Lemma 4.1,
the quartic S is a ruled surface, ℓ is its directrix and sing(S) is either a
twisted cubic or a line of triple points. Moreover, we have the equality (∗)
of (4.1), so the plane L̂j intersects the quartic X along four lines. Since ℓ
contains no singularities of S, the curve L̂1 ∩ X has at least one singularity
away from ℓ. Therefore
(6.4)

L̂1 6= TP1 X.

Furthermore, the quartic X is smooth and S is singular along a curve, so
L̂j1 6= L̂j2 for j1 6= j2 . Thus Lemma 6.6 (b) implies the equality
(6.5)

{L̂1 , . . . , L̂4 } = {L1 , . . . , L4 }.

The uniqueness follows directly from Lemma 4.4.
To show the last claim recall that (1.1) has two type II fibers (see
Lemma 6.3 (b)) and none of type I2 by Lemma 6.6 (c). It has one type
IV fiber contained in TP1 X by assumption.
Assume that sing(S4 ) is a twisted cubic. Then (1.1) has four I3 fibers by
Cor. 4.3. The existence of four singular fibers of Kodaira type I1 follows
from [7, Lemma 4.2].

ON QUARTICS WITH LINES OF THE SECOND KIND

17

Suppose that sing(S4 ) is a line. We obtain four type IV fibers from
Cor. 4.3. In both cases Euler number computation shows that we found all
singular fibers.

7. Ramification type 22
Let X ⊂ P3 be a smooth quartic that contains a line ℓ of the second kind
with ramification type R = 22 and let
(7.1)

R = 2P1 + 2P2 .

By [7, Lemma 4.4] the quartic X is projectively equivalent to a member of
the family Z given by the polynomials
(7.2)

Z : x3 x31 + x4 x32 + x1 x2 q(x3 , x4 ) + g(x3 , x4 ),

where q, g ∈ K[x3 , x4 ] are homogeneous polynomials of degree 2, resp. 4.
Here the line ℓ becomes V(x3 , x4 ) and P1 = (1 : 0 : 0 : 0), P2 = (0 : 1 : 0 : 0).
Moreover, [7, Lemma 4.5] yields that
(7.3)
both fibers FP1 , FP2 are of Kodaira type IV iff q = γx3 x4 for some γ ∈ K.
In this section we investigate the quartics in the family Z. At first we
study general elements of Z (see Prop. 7.1). Quartics that can be obtained
by Construction 2.2 are discussed in Cor. 7.5 (a).
Proposition 7.1. Let the quartic X be a general member of the family Z.
(a) X is smooth and contains exactly 18 lines ℓ′ 6= ℓ that meet the line
of the second kind ℓ.
(b) The quartic X cannot be obtained from Construction 2.2.
(c) The surface S8 consists of two planes and an irreducible sextic.
Proof. (a) We consider the elliptic fibration π induced by the line ℓ ⊂ X ∈ Z
(see (1.1)). Generically, π has six singular fibers of Kodaira type I1 located
at 0, ∞ and at the zeroes of g, and 6 fibers of Kodaira type I3 at the zeroes
of q 3 + 27x3 x4 g. In other words, the discriminant ∆ of the generic fiber is
∆ = x3 x4 g(q 3 + 27x3 x4 g)3 .
In particular, for general X ∈ Z the fibration (1.1) is of type
(7.4)

6I3 ⊕ 6I1 .

Recall that singularities of X either give rise to some of the reducible
fibers in the first place (if the generic member of Z were not to be smooth),
or to a degeneration of the fibration. That is, either there are further or
worse singular fibers, or the degeneration leaves the class of K3 surfaces.
Presently one can easily check for some specific member X ∈ Z, for instance
for char(K) 6= 2, 3, 5, 7 at
q = 3(2x23 − x3 x4 + x24 ), g = 4(20x43 + 5x44 − 18x33 x4 − 4x23 x24 − 9x3 x34 )/3
that the six planes in P3 at the zeroes of q 3 + 27x3 x4 g split into ℓ and
three other lines when intersected with X. In particular, this proves that

18

SLAWOMIR RAMS AND MATTHIAS SCHÜTT

the general member of Z is smooth and contains exactly 6 × 3 = 18 lines
meeting ℓ.
(b) The claim follows directly from (7.4) and Lemma 4.5.
(c) By Lemma 3.1 the surface S8 contains the planes tangent to X in
P1 , P2 . The residual surface will be shown to be an irreducible sextic by
Lemma 7.2.

To complete the proof of Prop. 7.1 we need the following lemma.
Lemma 7.2. For a smooth quartic X ∈ Z, the surface S8 contains an
irreducible sextic hypersurface unless x3 or x4 divides q.
Proof. Following the proof of Lemma 2.3, we arrive at the sextic polynomial
(7.5)

h := 27x31 x23 x4 + 27x32 x3 x24 + 27x1 x2 x3 x4 q − q 3 .

Note that x3 or x4 divides h if and only if the coordinate in question divides q.
Otherwise, we can multiply h by x3 x24 and then substitute x1 by x1 /(x3 x4 ),
so that h is equivalent to the following polynomial:
h′ := 27x31 + 27x32 x23 x44 + 27x1 x2 x3 x24 q − x3 x24 q 3 .
Regarding h′ as an element in K[x2 , x3 , x4 ][x1 ], the Eisenstein criterion applied to the prime ideal (x3 ) shows that h′ is irreducible if x3 ∤ q.

Prop. 7.1 shows that neither Claim 3.2 nor Claim 3.3 is true in general for
ramification type R = 22 . In particular, it is the erroneous Claim 3.2 that
brings about the crucial false statements about configurations of lines made
by Segre in [8] which we corrected in [7].
We shall now elaborate the family Z a little further to study the quartics
given by Construction 2.2. For a specific member X ∈ Z to be smooth, it
suffices to verify the following criterion:
Lemma 7.3. A quartic X ∈ Z is smooth if and only if
• ∆ has still 6 single and 6 triple roots with the possible extension that
• ∆ may have double roots at 0, ∞ (i.e. square factors of x3 , x4 ) and
• ∆ may have fourfold roots at the zeroes of q 3 + 27x3 x4 g.
Proof. This is mostly [7, Lemma 4.5], but we give some details here for
completeness. It is trivial, but crucial to note that if X is smooth, the fibers
of π are the residual cubics, so they consist of at most 3 components. By the
classification of Kodaira [4] and Tate [9], this allows for six different types
of singular fibers, listed below with corresponding vanishing order v of ∆:
fiber type I1 I2 I3 II III
v(∆) 1 2 3 2
3

IV
4

There is a hidden 3-torsion structure on the generic fiber of π as explored
in [7, §3,4]. This severely limits the possible singular fibers; for instance,
there cannot be any fiber of Kodaira type II or III, and the I3 fibers
cannot degenerate to type I4 or I5 (compare [7, Lemma 3.2 and Prop. 4.1]).
Hence, for instance, if ∆ has a fourfold root at a zero of q 3 + 27x3 x4 g, then

ON QUARTICS WITH LINES OF THE SECOND KIND

19

the degenerate fiber has automatically Kodaira type IV ; in particular the
degeneration is smooth. Similarly, a double root at 0 or ∞ is easily seen
to correspond to the hyperplane x3 = 0 or x4 = 0 splitting off a conic and
a line other than ℓ when intersected with X, so this again gives smooth
degenerations.
On the contrary, a double root of ∆ outside 0, ∞ necessarily occurs at the
root of a square factor of g. But then this results in a singularity of S at the
double root with x1 = x2 = 0. Along the same lines, a triple root of ∆ at 0
or ∞ implies that x23 or x24 divides g, causing a singularity on X again. 
As recorded in the previous paragraphs, the degenerations of X ∈ Z where
x3 or/and x4 divide g cause the quartic X to contain 1 or 2 additional lines
meeting ℓ (see [7, Example 6.9] for an explicit example). This implies that
Claims 3.4, 3.5 which are true generically on Z, are false for certain specific
examples of ramification type R = 22 .
We maintain the notation (7.1) and collect extra information on the lines
ℓ′ 6= ℓ that meet ℓ in the lemma below.
Lemma 7.4. Let ℓ be a line of the second kind with ramification type R = 22
on a smooth quartic X ⊂ P3 . Moreover, we assume that the fibers FP1 , FP2
are of Kodaira type IV .
(a) The fibration (1.1) has no singular fibers of type I2 .
(b) The line ℓ is met by exactly 18 lines ℓ′ 6= ℓ on X. They form six
triplets of coplanar lines.
Proof. (a) By [7, Lemma 3.1], a type I2 fiber of the fibration (1.1) must be
either FP1 or FP2 .
(b) By [7, Prop. 4.1] (see also study of the case R = 22 in the proof of [7,
Lemma 4.2]) the line ℓ is always met by six triplets of coplanar lines on X.
By [7, Lemma 4.5], if ℓ is met by either 19 or 20 lines ℓ′ 6= ℓ, then each line
ℓ′ that does not belong to one of the six triplets is a component of a fiber of
type I2 of the fibration (1.1). Thus (a) completes the proof.

Now we are in the position to give an intrinsic characterization of quartics
with lines of the second kind with ramification type R = 22 that can be
obtained by Segre’s construction.
Corollary 7.5. Let X ⊂ P3 be a smooth quartic and let ℓ ⊂ X be a line of
the second kind with ramification type R = 22 .
(a) The quartic X is given by Segre’s construction (2.2) iff the line ℓ runs
through the singular points of two singular fibers of Kodaira type IV of the
fibration (1.1).
(b) If the assumption of (a) is satisfied, then
• the surface S8 defined by (X, ℓ) is a sextic that consists of the tangent
planes TP1 X, TP2 X and an (irreducible) ruled quartic S4 ,

20

SLAWOMIR RAMS AND MATTHIAS SCHÜTT

• the line ℓ is met by exactly six triplets of coplanar lines on X that
are contained in the planes TP1 X, TP2 X, and in four other planes
L1 , . . ., L4 ,
• the decomposition (2.2) is unique and coincides with (4.4),
• the fibration (1.1) is of type 2IV ⊕ 4I3 ⊕ 4I1 (resp. 6IV ) iff sing(S4 )
is a twisted cubic (resp. a line).
Proof. (a) The implication (⇒) is a consequence of Lemma 4.5.
(⇐) We can assume that X ∈ Z and the fibers FP1 , FP2 are of type IV .
By (7.3) the quartic X is given by the equation (7.2) with q = γx3 x4 for
some γ ∈ K. At first we follow the proof of Lemma 2.3 to compute the
equation of the surface S8 defined by the pair (X, ℓ). To this end, we plug
q = γx3 x4 into (7.5) to see that the sextic given by (7.5) contains the planes
V(x3 ), V(x4 ). Canceling out the factor x3 x4 , we derive the equation of the
quartic S4 residual to the above planes in the surface S8 (cf. Remark 7.6).
By direct computation
(7.6)

S4 meets each plane V(x3 ) and V(x4 ) along a union of two lines.

In particular, neither TP1 X = V(x3 ) nor TP2 X = V(x4 ) are components of
the hypersurface S4 , so S4 is irreducible by Lemma 4.6, and we have
S8 = S4 ∪ TP1 X ∪ TP2 X.

(7.7)

Lemma 7.4 (b) and (7.7) imply that the assumptions of Lemma 4.7 are
fulfilled. Thus X is given by (4.4). Furthermore, by definition of S8 and
(7.6), the quartic S4 is a union of a family of lines each of which meets
ℓ. Thus it is ruled (in particular, it is irreducible – see Lemma 4.1). This
completes the proof of (a).
(b) The first claim follows from (7.7). The second claim results immediately from Lemma 7.4.
To prove the next part of (b) (i.e. the uniqueness) we can follow almost
verbatim the proof in case of ramification 2, 12 (see Cor. 6.7). We suppose
that X is given by (2.2) and show that (compare (6.4))
L̂1 6= TP1 X, TP2 X.
Thus we arrive at the equality (6.5) and apply Lemma 4.4.
Finally, the fibration (1.1) is assumed to have two fibers of type IV . It
has four fibers of type I3 (resp. four extra fibers of type IV ) iff sing(S) is
a twisted cubic (resp. a line of triple points) by Cor. 4.3. Lemma 7.4 (a)
combined with [7, Lemma 4.2] completes the proof.

Remark 7.6. In case of a quartic in the family Z, the condition of Corollary
7.5 (a) translates to q = γx3 x4 for some γ ∈ K. Then the ruled quartic S4
is given by the polynomial
S4 :

x3 x31 + x4 x32 + γx1 x2 x3 x4 − γ 3 x23 x24 /27.

As one can check, the singular locus of S4 is a twisted cubic (resp. a line)
iff γ 6= 0 (resp. γ = 0).

ON QUARTICS WITH LINES OF THE SECOND KIND

21

8. Proof of Theorem 1.2
Up to projective equivalence, the families T , Z are 6-dimensional as one
can still rescale coordinates while preserving the two normalisations of Lemma
6.1 resp. (7.2) to eliminate two of the 8 parameters. As the singular fibers
generally differ, we infer that neither family is a subfamily of the other. By
inspection of the singular fibers, the same can be said about the ramification type R = 14 , but we omit the details here since the explicit equations
become too involved. This explains why proving statements about ramification types R = 2, 12 and R = 22 by degenerating from R = 14 , as apparently
believed to work by Segre for Claims 3.2 – 3.5, is bound to fail.
Proof of Theorem 1.2 (a). For the ramification type R = 14 it was proved
in Proposition 5.2 that any such smooth quartic takes the shape of (1.2).
For ramification type R = 2, 12 it was proved in Corollary 6.7 that any
smooth quartic with a line ℓ of the second kind of ramification type R takes
the shape of (1.2) if and only if the singular fiber of (1.1) met by ℓ in a single
point (which generically has Kodaira type I1 ) degenerates to type IV , that
is, iff (1.3) holds. In terms of the explicit family T , the codimension 1
condition a = 0 is given in Lemma 6.3 (b). This proves the extra claim of
Theorem 1.2 for this ramification type.
For ramification type R = 22 it was proved in Corollary 7.5 (a) that any
smooth quartic with a line ℓ of the second kind of ramification type R takes
the shape of (1.2) if and only if both singular fibers of (1.1) met by ℓ in a
single point (which generically have Kodaira type I1 ) degenerate to type IV .
Euiqvalently, the fibration (1.1) satisfies (1.3). As for the extra claim for
ramification type R = 22 , the codimension 2 conditions are given in terms
of the family Z in Remark 7.6.
Proof of Theorem 1.2 (b). This is exactly Lemma 6.1 resp. [7, Lemma 4.4].
Acknowledgement. We thank Wolf Barth and Jaap Top for helpful discussions.
References
[1] Boissiére, S., Sarti, A.: Counting lines on surfaces. Ann. Sc. Norm. Super. Pisa, Cl.
Sci. 6 (2007), 39–52.
[2] Caporaso L., Harris J., Mazur B.: How many rational points can a curve have. in
The Moduli Space of Curves (R. Dijkgraaf, C Faber, G. van der Geer eds.), Progress
in Math. 129, Birkhäuser Verlag, 1995, 13–31.
[3] Harris, J.; Tschinkel, Y.: Rational points on quartics. Duke Math. J. 104 (2000), no.
3, 477–500.
[4] Kodaira, K.: On compact analytic surfaces I-III. Ann. of Math., 71 (1960), 111–152;
77 (1963), 563–626; 78 (1963), 1–40.
[5] Polo-Blanco, I., van der Put, M., Top, J.: Ruled quartic surfaces, models and classification. Geom. Dedicata 150 (2011), 151–180.
[6] Rams, S.: Projective surfaces with many skew lines. Proc. Amer. Math. Soc. 133
(2005), 11–13.

22

SLAWOMIR RAMS AND MATTHIAS SCHÜTT

[7] Rams, S., Schütt, M.: 64 lines on smooth quartic surfaces. Preprint available at
arXiv:math/1212.3511v1, 2012.
[8] Segre, B.: The maximum number of lines lying on a quartic surface, Quart. J. Math.,
Oxford Ser. 14 (1943), 86–96.
[9] Tate, J.: Algorithm for determining the type of a singular fiber in an elliptic pencil.
Modular functions of one variable IV (Antwerpen 1972), Lect. Notes in Math. 476
(1975), 33–52.
[10] Voloch, F.: Surfaces in P3 over finite fields, Topics in Algebraic and Noncommutative
Geometry, Contemp. Math. 324 (2003), 219–226.
Institute of Mathematics, Jagiellonian University, ul. Lojasiewicza 6, 30348 Kraków, Poland
Current address: Institut für Algebraische Geometrie, Leibniz Universität Hannover, Welfengarten 1, 30167 Hannover, Germany
E-mail address: slawomir.rams@uj.edu.pl
Institut für Algebraische Geometrie, Leibniz Universität Hannover, Welfengarten 1, 30167 Hannover, Germany
E-mail address: schuett@math.uni-hannover.de

