, , , 27th November 2006

Linear congruences of lines in

P^{n}

are the (irreducible) subvarieties of dimension

n - 1

of the Grassmannian

G (1, n)

, embedded in

P^{(\binom{n + 1}{2}) - 1}

by the Plücker embedding, obtained by the intersection with a linear space of dimension

(\binom{n}{2})

Such a congruence of lines

ℬ

has, in general, order one, i.e. through a general point in

P^{n}

there passes only one line of

ℬ

. Moreover the family of lines parametrised by

ℬ

can be characterized as the set of the

(n - 1)

-secant lines of the fundamental locus

Φ \subset P^{n}

, where

Φ

is defined by the property that through a point in it there pass infinitely many lines of

ℬ

This article deals with a recent discovered application of congruences of lines to mathematical physics (precisely to hyperbolic systems of conservation laws) due to S. I. Agafonov and E. V. Ferapontov: see [AF96] and [AF99] . More precisely, to a system of conservation laws, which has the form

\frac{\partial u^{i}}{\partial t} + \frac{\partial f^{i} (u)}{\partial x} = 0

, with

i = 1, . . ., n - 1

, they associate an

(n - 1)

-parameter family

ℬ

of lines in

P^{n}

, defined by the parametric equations

y_{i} = u^{i} λ - f^{i} (u) μ

i = 1, . . ., n - 1

and

y_{0} = λ

y_{n} = μ

, where

(λ : μ) \in P^{1}

are the parameters of a line of

ℬ

u = (u^{1}, . . ., u^{n - 1})

are the (local) parameters of

ℬ

and

(y_{0} : \cdot \cdot \cdot : y_{n})

are the homogeneous coordinates on

P^{n}

. It turns out that with this correspondence the basic concepts of the theory of the systems of conservation laws acquire a clear and simple projective interpretation. For instance, for a particular class of systems of conservation laws, the so called

T

-systems (see [AF99] and [AF01] ), their corresponding family of lines

ℬ

is characterized by the fact that the lines of

ℬ

passing through a point of its focal locus form a planar pencil of lines; moreover, a reciprocal transformation (see [AF01] for a definition) of one of these systems of conservation laws corresponds to a projectivity in

P^{n}

, and vice versa. Therefore, the classification of the

T

-systems is equivalent to the study of these families of lines

ℬ

Classically, the study of congruences of lines in

P^{3}

was started by E. Kummer in [Kum66] , in which he gave a classification of those of order one. More recently Z. Ran in [Ran86] studied the surfaces of order one in a general Grassmannian

G (r, n)

i.e. families of

r

-planes in

P^{n}

for which the general

(n - r - 2)

-plane meets only one element of the family. He gave a classification of such surfaces, obtaining in particular, in the case of

P^{3}

, a modern and more correct proof of Kummer's classification.

The congruences of lines in

P^{4}

, with special regard to those of order one, have been considered by G. Marletta in [Mar09a] and [Mar09b] . The classification of the linear ones has been given by G. Castelnuovo in [C91] , where a detailed description of these particular subvarieties of

G (1, 4)

is obtained. These classical results in

P^{4}

have been analysed and extended by P. De Poi in [DP01] , [DPi] , [DPii] , and [DPiii] .

A general fact about linear congruences in

P^{n}

is that the lines of the family passing through a general focus form a linear pencil and the plane of this pencil cuts the focal locus residually along a plane curve of degree

n - 2

. So linear congruences always define Temple systems. Conversely for

n \leq 4

in [AF01] it has been proved that all families of

T

-systems are even algebraic, and more precisely linear congruences.

In higher dimensions nothing is known, in particular also a complete classification of the linear congruences of lines is still missing. So in this paper we have initiated a systematic study of the more simple unknown case, that of linear congruences in

P^{5}

For general linear congruences in

P^{5}

, the focal locus is a smooth Palatini threefold, which is a scroll over a cubic surface

S

P^{3}

(see [O92] , [FM02] ). This surface

S

can be realized as follows: let the congruence

ℬ

be defined as

G (1, 5) \cap Δ

, for a

10

-dimensional linear space

Δ

. The dual of the Grassmannian is a cubic hypersurface (the “Pfaffian”, see Section 4 ), then

S

is naturally identified with the intersection of

\overset{ˇ}{G} (1, 5)

with the dual of

Δ

. Classifying linear congruences in

P^{5}

amounts to describe all special positions of the

3

-space

\overset{ˇ}{Δ}

with respect to

\overset{ˇ}{G} (1, 5)

and to its singular locus. For instance, when

S

meets

Sing \overset{ˇ}{G} (1, 5)

, the focal locus acquires some linear irreducible components. Particularly interesting are the cases when

S

splits: the description of these congruences relies on a recent classification of the linear systems of

6 \times 6

skew-symmetric matrices of constant rank

4

up to the natural action of the projective linear group

{PGL}_{6}

([MM04] ).

This article is structured as follows: in Section 1 , the basic definitions connected to congruences of lines in the algebraic setting are given. In Section 2 we recall some definitions and results about systems of conservation laws, reciprocal transformations and systems of Temple class. In Section 3 the correspondence between systems of conservation laws and families of lines is illustrated, with special regard to systems of conservation laws of Temple class. In Section 4 we collect some general facts about linear congruences. Finally, in Section 5 we study the linear congruences in

P^{5}

. We first consider the case in which the cubic surface

S

has one or more singular points on the singular locus of

\overset{ˇ}{G} (1, 5)

, these points correspond to some 3-dimensional linear spaces that enter in the focal locus. We then study the congruences such that the surface

S

is reducible, getting four types of congruences.

In some cases the focal locus has a parasitic component, i.e. an irreducible, maybe embedded component, which is not met by a general line of

ℬ

In a forthcoming paper we plan to apply these results to the classification of Temple systems in 4 variables. We have to point out that the classification considered here holds over an algebraically closed field, so it will be necessary to refine it over the real field.

Acknowledgments. We wish to thank Jenya Ferapontov for introducing us to this beautiful connection between algebraic geometry and partial differential equations.

We also thank Dario Portelli and Giorgio Tondo for interesting discussions.

1 Notation, Definitions and Preliminary Results

In the realm of algebraic geometry, we will work with schemes and varieties over

C

, with standard notation and definitions as in [Har77] . A variety will always be projective. We refer to [DP01] and [DP03] for general results and references about families of lines, focal diagrams and congruences, and to [GH78] for notations about Schubert cycles. In particular we denote by

σ_{a_{0}, a_{1}}

the Schubert cycle of the lines in

P^{n}

contained in a fixed

(n - a_{1})

-dimensional subspace

H \subset P^{n}

and which meet a fixed

(n - 1 - a_{0})

-dimensional subspace

Π \subset H

Definitions 1. A congruence of lines

ℬ

P^{n}

is a flat family of lines of dimension

n - 1

, and we can think of it as a

(n - 1)

-dimensional subvariety of the Grassmannian

G (1, n)

. Its order

a_{0}

is the number of lines passing through a general point in

P^{n}

Throughout this article, we will denote by

Λ : = {(b, P) | P \in Λ (b)}

the incidence correspondence associated to the family

ℬ

, with its natural projections

f

and

p

P^{n}

and to

ℬ

respectively. If

b \in ℬ

, then

Λ (b) : = f (Λ_{b})

denotes the line parametrised by

b

and

Λ_{b} : = p^{- 1} (b)

the corresponding subset of

Λ

. We can summarize all in the diagram:

\begin{matrix} Λ_{b} \subset Λ \subset ℬ \times P^{n} - - - - \to f P^{n} \supset Λ (b) ↓ ↓ p b \in ℬ . \end{matrix}

(1)

Note that

f

is surjective if and only if

a_{0} > 0

. In this case

f

is a map of degree

a_{0}

The basic objects when one deals with congruences are the focal and fundamental loci.

Definitions 2. Let

ℬ

be a congruence of lines; then the focal divisor of the family

ℬ

is the ramification divisor

R \subset Λ

\begin{matrix} f : Λ \to P^{n}; \end{matrix}

(2)

the schematic image

F

R

under

f

is called the focal locus :

F = f (R) \subset P^{n}

. The foci of

ℬ

are the branch points of

f

. The fundamental locus

Φ

is the set of points

y

contained in more lines of the family than expected:

dim f^{- 1} (y) > n - dim f (Λ) .

Example 1. The family of the tangent lines to a curve

C

(which is not a line) in

P^{2}

is the most simple example of a congruence. Other examples are the family of the secant lines to a curve in

P^{3}

or the one of the tangent lines to a surface in

P^{4}

Remark. The fundamental locus

Φ

is in general properly contained in the focal locus

F

, but if

ℬ

is a congruence of order one, then

Φ = F

and the codimension of

F

P^{n}

\geq 2

The following recent result gives to converse statement:

Theorem 1. (F. Catanese, P. De Poi, 2004, [DP04] ) Let

ℬ

be a congruence such that the fundamental locus

Φ

coincides (set-theoretically) with the focal locus

F

; then the order of

ℬ

is zero or one.

Remark. It is important to note that the focal locus

F

often has some unexpected components. For example, let

ℬ

be the congruence of the secant lines to a curve

C

P^{3}

. If

L

is a line meeting

C

at two points

x, y

such that the tangent lines to

C

x

and

y

are incident, then the tangent plane to

ℬ

at the point corresponding to

L

is contained in the Grassmannian and

L \subset F

. Since a curve in

P^{3}

has in general a one-dimensional family of secant lines of this type (called stationary secants), the congruence

ℬ

will have a focal surface. The only curve in

P^{3}

without stationary secant lines is the twisted cubic. For more details, see [ABT] .

The focal locus of a congruence may also have a component which is not met by a general line of

ℬ

. Such a component is called a parasitic component. Some explicit examples will be described in Sections 4 and 5 .

From now on, we assume that

f

is surjective. In this case, the fundamental locus is the set of points

P \in P^{n}

for which the fibre of the map

f : Λ \to P^{n}

has positive dimension.

Theorem 2. (C. Segre, 1888, [Seg88] , C. Ciliberto and E. Sernesi, 1992, [CS92] ) With notations as above, given a congruence

ℬ

, for the general

b \in ℬ

, the corresponding line

Λ (b) \subset P^{n}

contains exactly

n - 1

foci (counting multiplicities) which are foci for the line

Λ (b)

. Otherwise

Λ (b) \subset F

Moreover, if

dim (F) = n - 1

, then

Λ (b)

is tangent to

F

at its (smooth) focal non fundamental points.

Let us now give some interesting and useful examples of first order congruences.

$∙$ Congruences of order one in P 3 (E. Kummer, 1866, [Kum66] , Z. Ran, 1986, [Ran86] ): these are all classified and can be divided in three cases:
- (1) $F$ is a skew cubic, $ℬ$ is the family of its secant lines. In the Plücker embedding, $ℬ$ is a Veronese surface;
- (2) $F = C \cup L$ , $C$ is a rational curve of degree $d$ , $L$ is a $(d - 1)$ -secant line of $C$ , $ℬ$ is the family of lines meeting both $C$ and $L$ ;
- (3) $F$ is a double structure on a line $L$ , $ℬ$ is a union of pencils of lines with centres at the points of $L$ .
$∙$ Linear congruences in $P^{4}$ (G. Castelnuovo, 1891, [C91] ): if $ℬ = G (1, 4) \cap P^{6}$ , then $F$ is a projected Veronese surface or a degeneration of it, $ℬ$ is the family of the trisecant lines of $F$ . The order of $ℬ$ is $1$ . The lines in $ℬ$ through a general point of $F$ form a planar pencil and cut a conic on $F$ .
$∙$ $(n - 1)$ -secant lines of smooth codimension two subvarieties in $P^{n}$ (P. De Poi, 2003, [DP03] ): the congruences of order one formed by these lines are completely described, they are all contained in $P^{n}$ , with $n \leq 5$ .

2 Systems of Conservation Laws

In the realm of mathematical physics, we will work over

R

. All the functions are—at least—

C^{1}

Definitions 3. A system of conservation laws is a quasi-linear system of first order partial differential equations of the form

\begin{matrix} \frac{\partial u^{i}}{\partial t} + \frac{\partial f^{i} (u)}{\partial x} & = 0 & i & = 1, . . ., n - 1 \end{matrix}

(3)

\begin{matrix}  \end{matrix}

where

u (x, t) = (u^{1} (x, t), \dots, u^{n - 1} (x, t))

are the unknown functions and the

f^{i} (u)

's are functions defined over a domain

Ω \subset R^{n - 1}

The system can be written:

\begin{matrix} u_{t}^{i} + Σ_{i} \frac{\partial f^{i} (u)}{\partial u^{j}} u_{x}^{j} & = u_{t}^{i} + J f (u) \cdot u_{x} = 0 & i & = 1, . . ., n - 1 \end{matrix}

(4)

\begin{matrix}  \end{matrix}

where

J f

denotes the Jacobian matrix of

f

The system is called hyperbolic (resp. strictly hyperbolic) if all the eigenvalues of

J f

are real (resp. real and distinct).

Definitions 4. If the system 3 is strictly hyperbolic, the eigenvalues

λ_{1} (u) < λ_{2} (u) < \cdot \cdot \cdot < λ_{n - 1} (u)

are called characteristic velocities.

The integral trajectories

γ_{i}

of the fields of eigenvectors

v_{i}

are called the rarefaction curves :

{\dot{γ}}_{i} (t) = v_{i} (γ_{i} (t)) .

Remark. Given a strictly hyperbolic system of conservation laws as above, through a point

u \in Ω \subset R^{n - 1}

there pass

n - 1

rarefaction curves. Indeed each eigenvector of the eigenvalue

λ_{i} (u)

, for

i = 1, \cdot \cdot \cdot, n - 1,

has the direction of the tangent line to the curve

γ_{i}

2.1 Temple Systems

These systems, which are strictly hyperbolic, were introduced by B. Temple in [Tem83] . They naturally arise in the theory of equations of associativity of 2D topological field theory (see [Dub96] ).

Definition 5. A strictly hyperbolic system 3 is said to be linearly degenerate if

L_{i} (λ_{i}) (u) = 0 \forall i

where

L_{i}

is the Lie derivative in the direction of

v_{i}

This means that the eigenvalue

λ_{i}

is constant along the rarefaction curve

γ_{i}

Definition 6. A strictly hyperbolic system 3 is said to be a Temple system or a

T

-system if it is linearly degenerate and the rarefaction curves are lines in the coordinates

(u^{1}, . . ., u^{n - 1})

(see [Tem83] ).

2.2 Reciprocal Transformations

Let us define two new independent variables

(X, T)

\begin{matrix} d X & : = \sum_{i} α_{i} (u^{i} d x + f^{i} (u) d t) + μ d x + ν d t \end{matrix}

(5)

\begin{matrix} d T & : = \sum_{i} {\tilde{α}}_{i} (u^{i} d x + f^{i} (u) d t) + \tilde{μ} d x + \tilde{ν} d t . \end{matrix}

(6)

\begin{matrix}  \end{matrix}

By 3 the two

1

-forms on the right are closed, so 3 takes the new form

\begin{matrix} \frac{\partial U^{i}}{\partial T} + \frac{\partial F^{i} (U)}{\partial X} & = 0 & i & = 1, . . ., n - 1 \end{matrix}

(7)

\begin{matrix}  \end{matrix}

Definition 7. Transformations of the form 5 are called reciprocal.

Reciprocal transformations are known to preserve the class of

T

-systems (see [AF96] ).

3 The Correspondence

Agafonov and Ferapontov (([AF96] and [AF99] )) associate to a system of conservation laws 3 a

(n - 1)

-parameter family

ℬ

of lines in

P^{n}

, i.e. a congruence, defined by the parametric equations

\begin{matrix} {\begin{matrix} y_{0} & = λ, \\ y_{i} & = u^{i} λ - f^{i} (u) μ, i = 1, . . ., n - 1 \\ y_{n} & = μ \end{matrix} \end{matrix}

\begin{matrix}  \end{matrix}

where

$∙$ $(λ : μ) \in P^{1}$ are homogeneous coordinates on a line of $ℬ$ ;
$∙$ $u = (u^{1}, . . ., u^{n - 1})$ are the (local) parameters of $ℬ$ ;
$∙$ $(y_{0} : \cdot \cdot \cdot : y_{n})$ are homogeneous coordinates on $P^{n}$ .

So for every

u

in the domain

Ω

, the above equations define a line

Λ (u)

A dictionary can be written translating properties of the system 3 to properties of the family of lines, and conversely. For example, reciprocal transformations of the system correspond to projectivities in

P^{n}

. The eigenvalues

λ_{1} (u), \dots, λ_{n - 1} (u)

are in natural bijection with the foci of

ℬ

on the line

Λ (u)

. In particular, the system is strictly hyperbolic if and only if on a general line of

ℬ

there are

n - 1

distinct foci of the congruence. The rarefaction curves correspond to developable ruled surfaces in

P^{n}

3.1 Temple Systems again

In general for a hyperbolic system of conservation laws the corresponding focal locus of the congruence

ℬ

is a hypersurface

F

and the lines of the family are tangent to

F

at the

n - 1

foci. For a Temple system the situation is different.

Theorem 3. ([AF96] ) The congruences of lines

ℬ

associated to Temple systems are characterized by the properties that every focus is a fundamental point and that the rarefaction curves correspond to planar pencils of lines of

ℬ

By Theorem 1 it follows that dim

F = n - 2

and the order of

ℬ

is one.

The classification of the

T

-systems up to reciprocal transformations is equivalent to the classification of non necessarily algebraic congruences of lines of order one with planar pencils.

Example 2. The wave equation. The equation

f_{t t} = f_{x x}

can be rewritten as a system of two conservation laws

\begin{matrix} u_{t}^{1} = u_{x}^{2} \end{matrix}

\begin{matrix} u_{t}^{2} = u_{x}^{1} \end{matrix}

\begin{matrix}  \end{matrix}

The associated congruence

ℬ

P^{3}

is formed by the lines meeting two fixed skew lines

L

and

L^{'}

. On each line

Λ

ℬ

there are two distinct foci, its intersections with

L

and

L^{'}

This is also an example of a Temple system. The associated congruence of lines is linear. It is rather easy to prove (see Proposition 6 ) that all linear congruences, in any projective space, are associated to some Temple system. Conversely:

Theorem 4. ([AF96] , [AF01] ) All Temple systems in

2

and

3

variables give rise to linear congruences. In particular they are all algebraic.

Agafonov and Ferapontov have conjectured that congruences of lines whose developable surfaces are planar pencils of lines have always algebraic focal varieties (possibly reducible and singular).

4 Linear Congruences of lines

As we said in the introduction, a linear congruence of lines

ℬ

P^{n}

has the form

ℬ = G (1, n) \cap Δ

, where

Δ

is a linear subspace of dimension

(\binom{n}{2})

P (\land^{2} V)

, with

V : = H^{0} (O_{P^{n}} (1))^{*}

, the space of the Plücker embedding of the Grassmannian. The

(\binom{n + 1}{2})

coordinates of a line

ℓ \in G (1, n)

can be interpreted as entries of a skew-symmetric

(n + 1) \times (n + 1)

matrix

(p_{i j})_{i, j = 0, \dots, n}

of rank

2

. A hyperplane

H

P (\land^{2} V)

has an equation of the form

Σ_{i, j = 0}^{n} a_{i j} p_{i j} = 0

, and the

a_{i j}

's are coordinates of

H

as a point in the dual space

P (\land^{2} V^{*})

. Clearly, also the dual coordinates

a_{i j}

can be interpreted as entries of a skew-symmetric matrix

A

Δ

is the intersection of the

n - 1

hyperplanes

H_{1}, . . ., H_{n - 1}

with equations:

\begin{matrix} \sum_{i, j = 0}^{n} a_{i j}^{1} p_{i j} & = 0, & \cdot \cdot \cdot & \sum_{i, j = 0}^{n} a_{i j}^{n - 1} p_{i j} & = 0 \end{matrix}

(8)

\begin{matrix}  \end{matrix}

associated to matrices

A_{1}, . . ., A_{n - 1}

. In the dual space

H_{1}, . . ., H_{n - 1}

generate the dual

(n - 2)

-space

\overset{ˇ}{Δ}

Some general results about fundamental varieties of linear congruences are given in [BM01] ; in particular, it is proved that the focal locus of a linear congruence

ℬ

is the degeneracy locus

F

of a morphism of sheaves of the form

\begin{matrix} φ : O_{P^{n}}^{\oplus (n - 1)} \to Ω_{P^{n}} (2) . \end{matrix}

(9)

Explicitly, there is an isomorphism:

\begin{matrix} H^{0} (Ω_{P^{n}} (2)) \sim = (\land^{2} V)^{*}, \end{matrix}

(10)

and so a global section of

Ω_{P^{n}} (2)

is a skew-symmetric matrix of type

(n + 1) \times (n + 1)

with entries in the base field. Then, the morphism

φ

in 9 is defined by the

n - 1

skew-symmetric matrices

A_{1}, . . ., A_{n - 1}

. The corresponding degeneracy locus

F

P^{n}

is defined by the equations

\begin{matrix} \sum_{i = 1}^{n - 1} λ_{i} A_{i} [X] = 0 \end{matrix}

(11)

for some

[λ] = (λ_{1}, . . ., λ_{n - 1}) \neq (0, . . ., 0)

, where

[X]

denotes the column matrix of the coordinates.

Since the matrices

A_{1}, . . ., A_{n - 1}

are skew-symmetric, the situation changes whether

n

is even or odd.

Proposition 5. ([DP03] )If

F

is the focal locus of a linear congruence

ℬ

P^{n}

, then

(1) for $ℬ$ general, $F$ is smooth if $dim (F) \leq 3$ ;
(2) if $n$ is even, for each $[λ] \in P^{n - 2}$ equation 11 has at least one solution, and $F$ is rational;
(3) if $n$ is odd, the vanishing of the Pfaffian of the matrix $\sum_{i = 1}^{n - 1} λ_{i} A_{i}$ defines a hypersurface $Z$ of degree $(n + 1) / 2$ in $P^{n - 2}$ (in which $λ_{1}, . . ., λ_{n - 1}$ are the coordinates). Furthermore, if $φ$ is general, for a fixed point $[λ] \in Z$ , equation 11 has a line contained in $F$ as solution, and $F$ results to be a scroll over (an open set of ) $Z$ .

Besides, in both cases

deg (F) = \frac{n^{2} - 3 n + 4}{2} .

Another known result, which can be deduced by the above description of the focal locus of a linear congruence and which explains the fact that linear congruences give Temple systems is the following:

Proposition 6. Let

ℬ

be a linear congruence in

P^{n}

, with focal locus

F \subset P^{n}

; then

ℬ

has order one and is the closure of the family of the

(n - 1)

-secant lines to

F

. Moreover, if

P

is a general point in

F

, the family of the lines of

ℬ

through

P

is a pencil, whose plane intersects

F

, out of

P

, in a curve of degree

n - 2

In particular, a linear congruence corresponds to a Temple system.

Proof. The first assertion follows from standard Schubert calculus and the second one can be deduced from Theorems 1 and 2 . We give here a different direct proof of both facts which relies on the previous observations. From Equation 11 (or Equations 8 ) we infer that through the general point

P \in P^{n}

with coordinates

[X] = [x_{0}, . . ., x_{n}]

there passes only the line of

ℬ

whose coordinates are the maximal minors of

\begin{matrix} A : = (\begin{matrix} \sum_{i} a_{0 i}^{1} x_{i} & . . . & \sum_{i} a_{n i}^{1} x_{i} \\ . . . \\ \sum_{i} a_{0 i}^{n - 1} x_{i} & \sum_{i} a_{n i}^{n - 1} x_{i} \end{matrix}) . \end{matrix}

(12)

Moreover, if we think of

A

as a matrix with linear entries in

P^{n}

, the degeneracy locus of

A

F

. Now, we can fix one line

ℓ \in ℬ

and without loss of generality we can suppose that it does not intersect the

(n - 2)

-dimensional space defined by

x_{0} = x_{1} = 0

; then

F \cap ℓ

is defined by the determinant of the submatrix of

A

formed by the last

(n - 1)

columns, and therefore—if

ℓ

is general—

F \cap ℓ

is a zero dimensional scheme of length

(n - 1)

Now, if

P

is a general focal point, by the linearity the lines of

ℬ

through it form a pencil

ℓ_{P}

: in fact in Equation 11 we can suppose that

A_{1} [X] = 0

and

A_{2} [X] \neq, . . ., A_{n - 1} [X] \neq 0

, i.e.

P

is the centre of the linear complex

A_{1}

. Then the lines of

ℓ_{P}

are contained in the plane whose Plücker coordinates are given by the

(n - 2) \times (n - 2)

-minors of

A^{'} : = (\begin{matrix} \sum_{i} a_{0 i}^{2} x_{i} & . . . & \sum_{i} a_{n i}^{2} x_{i} \\ . . . \\ \sum_{i} a_{0 i}^{n - 1} x_{i} & \sum_{i} a_{n i}^{n - 1} x_{i} \end{matrix}) .

The plane

π_{P}

of the pencil intersects

F

P

and in a curve of degree

(n - 2)

: in fact

π_{P}

intersects the hypersurface

V

defined by a (fixed) minor of 12 in a curve of degree

(n - 1)

which splits in the line of the congruence through

P

and contained in

V

and residually in a curve which must be contained in

F

. □

The dual variety of the Grassmannian

\overset{ˇ}{G} (1, n)

parametrises the tangent hyperplanes to

G (1, n)

. It is defined by the maximal Pfaffians of the matrix

A

, therefore if

n

is odd, it is the hypersurface in

{\overset{ˇ}{P}}^{n}

of degree

\frac{n + 1}{2}

, defined by the Pfaffian, while if

n

is even, it has codimension

3

. In the case

n

odd, using coordinates

(λ_{1}, . . ., λ_{n - 1})

\overset{ˇ}{Δ}

, the intersection

S : = \overset{ˇ}{G} (1, n) \cap \overset{ˇ}{Δ}

is defined by

Pfaff (\sum_{i} λ_{i} A_{i}) = 0

, hence it coincides with the hypersurface

Z

of Proposition 5 .

4.0.1 Linear Congruences in $P^{3}$ and $P^{4}$

We end this section by briefly recalling the classification of the linear congruences in low dimensional projective spaces.

P^{3}

, the situation is very simple:

G (1, 3) \subset P^{5}

is the Klein quadric, its dual is again a quadric, and

\overset{ˇ}{Δ}

is a line. Correspondently, we have the following cases: if

\overset{ˇ}{Δ}

is general, it intersects

\overset{ˇ}{G} (1, 3)

at two distinct points and the congruence represents the join of the two corresponding lines. The line

\overset{ˇ}{Δ}

can be tangent and therefore intersects

\overset{ˇ}{G} (1, 3)

in a double point. Correspondently, we have a congruence which has as focal locus a double line (and the congruence is a subset of the set of lines meeting its support). Finally, it can happen that

\overset{ˇ}{Δ} \subset \overset{ˇ}{G} (1, 3)

: in this case, we do not have a congruence, since the corresponding family of lines in

P^{3}

has dimension greater than three.

P^{4}

, the situation is more complicated:

G (1, 4) \subset P^{9}

has dimension six and degree five.

\overset{ˇ}{Δ} \sim = P^{2}

and in the general case

\overset{ˇ}{Δ} \cap \overset{ˇ}{G} (1, 4) = \emptyset

: then the congruence is given by the trisecants to a projected Veronese surface. If

\overset{ˇ}{Δ} \cap \overset{ˇ}{G} (1, 4)

is non empty and finite, then its length is at most

3

. If it is a single point, this point gives us a focal plane: the congruence is given by the secant lines to a cubic scroll which meet this plane also. If

\overset{ˇ}{Δ} \cap \overset{ˇ}{G} (1, 4)

is two points, then we have the lines meeting two fixed planes and which meet a quadric also. If

\overset{ˇ}{Δ} \cap \overset{ˇ}{G} (1, 4)

is given by three points, we get the lines meeting three planes; the focal locus has also a fourth component, which is parasitic, the plane spanned by the

3

points of intersection of the three planes two by two. Of course also limit cases of these are possible, e.g. if

\overset{ˇ}{Δ} \cap \overset{ˇ}{G} (1, 4)

is a double point, etc. Finally,

\overset{ˇ}{Δ} \cap \overset{ˇ}{G} (1, 4)

can be a curve or

\overset{ˇ}{Δ} \subset \overset{ˇ}{G} (1, 4)

: several cases are possible but they don't define a congruence, since the corresponding family of lines in

P^{4}

has dimension greater than four (see the original paper of Castelnuovo [C91] ).

The article [AF01] contains the interpretation of this classification in terms of that of Temple systems in three variables up to reciprocal transformations.

5 Linear Congruences in $P^{5}$

A linear congruence of lines

ℬ

P^{5}

is of the form

ℬ = G (1, 5) \cap Δ

, where

Δ

is a linear space of dimension

10

, intersection of

4

hyperplanes with equations:

\begin{matrix} \sum_{i, j = 0}^{5} a_{i j} p_{i j} & = 0, & \sum_{i, j = 0}^{5} b_{i j} p_{i j} & = 0, & \sum_{i, j = 0}^{5} c_{i j} p_{i j} & = 0, & \sum_{i, j = 0}^{5} d_{i j} p_{i j} & = 0 \end{matrix}

(13)

\begin{matrix}  \end{matrix}

associated to skew-symmetric

6 \times 6

matrices

A, B, C, D

The dual variety of the Grassmannian is the cubic hypersurface

\overset{ˇ}{G} (1, 5)

{\overset{ˇ}{P}}^{14}

defined by the Pfaffian. One can think of

\overset{ˇ}{G} (1, 5)

as the locus of skew-symmetric matrices (in the

(a_{i j})

's coordinates) of rank at most four. Using coordinates

(a, b, c, d)

\overset{ˇ}{Δ}

, the intersection

S : = \overset{ˇ}{G} (1, 5) \cap \overset{ˇ}{Δ}

is defined by

Pfaff (a A + b B + c C + d D) = 0

, hence, in general, it is a cubic surface.

The rational Gauss map

γ : \overset{ˇ}{G} (1, 5) ‒ ‒ ⃗ G (1, 5)

associates to a tangent hyperplane its unique tangency point. It is regular outside

Sing (\overset{ˇ}{G} (1, 5))

, which is naturally isomorphic to

G (3, 5)

and corresponds to the matrices of rank two (which indeed is dually isomorphic to

G (1, 5)

also). If

A

is such a matrix, the corresponding

3

-space

π_{A}

is the projectivised kernel of

A

. As a hyperplane section of

G (1, 5)

A

represents the lines in

P^{5}

meeting

π_{A}

. In what follows we will always identify

Sing \overset{ˇ}{G} (1, 5)

with

G (3, 5)

For general

Δ

, the image

γ (S)

is a

2

-dimensional family of lines, whose union is a smooth

3

-fold

F

of degree

7

and sectional genus

4

, called Palatini scroll. The lines of the congruence

ℬ

are the

4

-secant lines of

F

and

F

is the focal locus of

ℬ

(see also [O92] , [BM01] , [FM02] and [DP03] ). More in general:

Proposition 7. Let

Δ

be a linear space of dimension

10

P^{14}

such that

S : = \overset{ˇ}{Δ} \cap \overset{ˇ}{G} (1, 5)

is a reduced cubic surface and

S \cap G (3, 5)

is empty.

The lines

b \in γ (S)

span (set-theoretically) the focal divisor

F

of the linear congruence

ℬ = G (1, 5) \cap Δ

, i.e. the map

f

of 2 drops rank exactly at the pairs

(b, P)

such that

b \in γ (S)

and

P \in Λ (b)

. The lines of

ℬ

are the

4

-secants of

F

Proof. Since $γ (S) \subset ℬ$ is the set of points whose tangent hyperplanes (to $G (1, 5)$ ) contain $Δ (= 〈 ℬ 〉)$ , we have one inclusion recalling that for these points the global characteristic map—see for example Definition 1 of [DP01] —of the congruence drops rank. For the other inclusion, given a point $P \in F \cap Λ (b)$ , by definition, through a smooth $b \in ℬ$ there passes at least one tangent direction to $G (1, 5) \ ℬ$ contained in $Δ$ : we can find—by dimensional reasons—a tangent hyperplane of $P$ containing $Δ$ also. The last assertion follows from Theorem 2 . □

Classifying linear congruences in

P^{5}

amounts to describing all special positions of the

3

-space

\overset{ˇ}{Δ}

with respect to

\overset{ˇ}{G} (1, 5)

and to its singular locus. As we will see the situation is rather complicated and several different cases are possible.

Remark. Actually, we are interested mainly to the case of “true” linear congruences, i.e. if the intersection

ℬ = Δ \cap G (1, 5)

is proper and the focal locus has dimension three. Therefore, in what follows we will not give many details on the cases such that

ℬ

has dimension

> 4

F

has dimension

> 3

Proposition 8. With the above notation, if

\overset{ˇ}{Δ}

is contained in

\overset{ˇ}{G} (1, 5)

, then

\overset{ˇ}{Δ}

meets

G (3, 5)

and the focal locus

F

ℬ

has dimension

> 3

. If

\overset{ˇ}{Δ} \cap \overset{ˇ}{G} (1, 5)

is a cubic surface

S

, then

dim F > 3

if and only if

S

intersects

G (3, 5)

at least along a curve.

Proof. The first claim follows from Corollary 11 of [MM04] . The second and the third one are Theorem 4.3 and Theorem 4.9 of [FM02] . □

From now on, we will always assume that the congruence

ℬ

is obtained from a 10-space

Δ

such that the intersection

\overset{ˇ}{Δ} \cap \overset{ˇ}{G} (1, 5)

is proper i.e. a cubic surface

S

From [FM02] , Remark 4.4, it follows that every cubic surface in

P^{3}

can be realized in this way.

S

is smooth, then

F

is always a Palatini scroll. For any

S

, possibly singular and/or reducible, such that

dim F = 3

, the Hilbert polynomial of

F

P_{F} (t) = 7 / 6 t^{3} + 2 t^{2} + 11 / 6 t + 1

. The equations of

F

can be written explicitly as maximal minors of the following

4 \times 6

matrix (see [FM02] ):

\begin{matrix} M = (\begin{matrix} \sum_{i} a_{0 i} x_{i} & . & . & \sum_{i} a_{5 i} x_{i} \\ \sum_{i} b_{0 i} x_{i} & . & . & \sum_{i} b_{5 i} x_{i} \\ \sum_{i} c_{0 i} x_{i} & . & . & \sum_{i} c_{5 i} x_{i} \\ \sum_{i} d_{0 i} x_{i} & . & . & \sum_{i} d_{5 i} x_{i} \end{matrix}) \end{matrix}

(14)

that we will also write in the form

\begin{matrix} (\begin{matrix} L_{10} & L_{11} & . & . & . & L_{15} \\ L_{20} & L_{21} & . & . & . & L_{25} \\ L_{30} & L_{31} & . & . & . & L_{35} \\ L_{40} & L_{41} & . & . & . & L_{45} \end{matrix}) \end{matrix}

(15)

The lines of

ℬ

through a general point

P

F

form a linear pencil contained in a plane cutting

F

, out of

P

, along a plane cubic curve. The coefficients of the equations of this plane are the lines of the matrix 14 computed at

P

It is well known that a cubic surface with isolated singularities can have at most

4

double points, or one triple point if it is a cone, and that an irreducible cubic with a singular curve is necessarily ruled with a double line. Observe also that if

A

is a singular point of

S

, then either

A \in G (3, 5)

\overset{ˇ}{Δ}

is tangent to

\overset{ˇ}{G} (1, 5)

A

. We will now consider the various possibilities for

S

, studying the linear congruences

ℬ

and their focal loci. We will also give some explicit examples, constructed using CoCoA (see [CoCoA] ).

We begin by studying two special situations for the singularities of

S

, i.e. the cases when one or more singular points belong to

G (3, 5)

and when

S

is reducible not meeting

G (3, 5)

5.1 $S$ with singular points on $G (3, 5)$

5.1.1 Only one singular point

Let

A

be a singular point of

S

belonging to

G (3, 5)

. In this case

Δ

is contained in the linear complex of the lines meeting the

3

-space

π_{A}

, hence each line of the congruence

ℬ

intersects

π_{A}

. We get that

F

splits as

F = π_{A} \cup Y

, where

Y

is an arithmetically Cohen-Macaulay (aCM for short) threefold of degree

6

and sectional genus

3

, defined by the maximal minors of a

3 \times 4

matrix of linear forms. Indeed, if we choose a system of coordinates such that

π_{A}

has equations

x_{0} = x_{1} = 0

, then the only non-zero coordinate of

A

a_{01}

and the matrix 15 becomes

\begin{matrix} (\begin{matrix} x_{1} & - x_{0} & 0 & 0 & 0 & 0 \\ L_{20} & L_{21} & . & . & . & L_{25} \\ L_{30} & L_{31} & . & . & . & L_{35} \\ L_{40} & L_{41} & . & . & . & L_{45} \end{matrix}) . \end{matrix}

(16)

One checks that

π_{A}

is a component of

F

and the residual is defined by the

3 \times 3

minors of the matrix formed by the last

3

rows and

4

columns of 16 .

If the other generators of

\overset{ˇ}{Δ}

are general, then

S

is smooth outside

A

Y

results to be a singular Bordiga scroll, with

6

singular points all belonging to

Y \cap π_{A}

, which is a smooth quadric surface. The foci on a general line of the congruence are contained one in

π_{A}

and the other three in

Y

, so the lines of

ℬ

are the trisecants of

Y

meeting also

π_{A}

. The lines of

ℬ

through a point of

π_{A}

cut

Y

at the points of a plane cubic, whereas those through a point

P

Y

cut

Y

residually along a conic

C

and

π_{A}

along a line

L

5.1.2 Two singular points

Assume now that

S

has also a second singular point

B

G (3, 5)

. Then

F

is of the form

F = π_{A} \cup π_{B} \cup Z

, where

Z

is an aCM threefold of degree 5 and sectional genus 2. To see this, let us note that the 3-spaces

π_{A}

and

π_{B}

are in general position (otherwise the line

\bar{A B}

would be contained in

G (3, 5)

), so we can assume that

π_{A}

is defined by

x_{0} = x_{1} = 0

and

π_{B}

x_{2} = x_{3} = 0

. So the matrix

M

becomes

\begin{matrix} (\begin{matrix} x_{1} & - x_{0} & 0 & 0 & 0 & 0 \\ 0 & 0 & x_{3} & - x_{2} & 0 & 0 \\ L_{30} & L_{31} & . & . & . & L_{35} \\ L_{40} & L_{41} & . & . & . & L_{45} \end{matrix}) . \end{matrix}

(17)

By developing its

4 \times 4

minors, we get that the two 3-spaces

π_{A}

and

π_{B}

are irreducible components of

F

and the residual is defined by the

2 \times 2

minors of

(\begin{matrix} x_{0} L_{30} + x_{1} L_{31} & L_{34} & L_{35} \\ x_{0} L_{40} + x_{1} L_{41} & L_{44} & L_{45} \end{matrix}),

or, equivalently, of

(\begin{matrix} x_{2} L_{32} + x_{3} L_{33} & L_{34} & L_{35} \\ x_{2} L_{42} + x_{3} L_{43} & L_{44} & L_{45} \end{matrix}) .

Z

is therefore a Castelnuovo threefold. If the other generators of

\overset{ˇ}{Δ}

are general, then

S

is smooth outside

A

and

B

Z

results to be singular at 8 points, 4 of them belonging to

Q_{A} : = Z \cap π_{A}

, and the other 4 to

Q_{B} : = Z \cap π_{B}

Q_{A}

and

Q_{B}

are both quadric surfaces, linear sections of the unique quadric containing

Z

, of equation

L_{34} L_{45} - L_{35} L_{44} = 0

. They intersect along the line

π_{A} \cap π_{B}

. Clearly the lines of

ℬ

are the secants of

Z

meeting also

π_{A}

and

π_{B}

. The lines of

ℬ

through a point in

π_{A}

π_{B}

cut

Z

along the points of a conic, whereas those through a point

P

Z

cut

Z

π_{A}

and

π_{B}

residually each along a line.

5.1.3 Three singular points

We assume now that

S

has also a third singular point

C

G (3, 5)

. Then

F

is of the form

F = π_{A} \cup π_{B} \cup π_{C} \cup V

, where

V

is a complete intersection of two quadrics. Indeed, as in the previous case the 3-spaces

π_{A}

π_{B}

and

π_{C}

are two by two in general position, so we can assume that

π_{A}

is defined by

x_{0} = x_{1} = 0

π_{B}

x_{2} = x_{3} = 0

and

π_{C}

x_{4} = x_{5} = 0

. The matrix

M

takes the form

(\begin{matrix} x_{1} & - x_{0} & 0 & 0 & 0 & 0 \\ 0 & 0 & x_{3} & - x_{2} & 0 & 0 \\ 0 & 0 & 0 & 0 & x_{5} & - x_{4} \\ L_{0} & . & . & . & . & L_{5} \end{matrix}) .

It is easy to see that the residual of the 3 spaces

π_{A}

π_{B}

and

π_{C}

is defined by the equations

x_{0} L_{0} + x_{1} L_{1} = x_{4} L_{4} + x_{5} L_{5} = 0

, or equivalently by

x_{2} L_{2} + x_{3} L_{3} = x_{5} L_{5} + x_{4} L_{4} = 0

V

is therefore a Del Pezzo threefold. Again, if the other generators of

\overset{ˇ}{Δ}

are general, then

S

is smooth outside

A

B

and

C

. Also

V

results to be smooth. The intersections of

V

with the spaces

π_{A}

π_{B}

and

π_{C}

are quadric surfaces intersecting two by two along lines. The lines of

ℬ

are the lines meeting simultaneously

π_{A}

π_{B}

π_{C}

and

V

5.1.4 Four singular points

We consider finally the case in which

S

has also a fourth singular point

D

G (3, 5)

. Then

F

is of the form

F = π_{A} \cup π_{B} \cup π_{C} \cup π_{D} \cup W

, where

W

is a rational normal cubic scroll.

It is clear that the four spaces

π_{A}

π_{B}

π_{C}

and

π_{D}

are all components of the focal locus

F

, and that the lines of

ℬ

are characterized by the property of meeting simultaneously all of them. The component

W

, that must exist by degree reasons, arises in the following way. Let

H

be a hyperplane containing

π_{A}

, it intersects the other three spaces along planes, call them

α_{B}

α_{C}

and

α_{D}

, and

ℬ_{H}

, the restriction of

ℬ

H

, is formed by the lines meeting them. There is a uniquely determined fourth plane meeting

α_{B}

α_{C}

and

α_{D}

along lines, and it is necessarily contained in the focal locus of

ℬ_{H}

(it is a “parasitic plane”, see [DPi] , because its lines intersect all the three planes

α_{B}

α_{C}

and

α_{D}

but a general line of

ℬ_{H}

does not meet it). If we let

H

vary, we get a 1-dimensional family of planes, whose union is

W

5.1.5 Special degenerate cases

These 4 examples don't exhaust the list of possibilities for the surfaces

S

meeting

G (3, 5)

. For instance the space

\overset{ˇ}{Δ}

could be contained in the tangent space to

G (3, 5)

at one of the points of intersection, or intersect it along a plane or a line. In this situation four, three or two of the points of intersection of

\overset{ˇ}{Δ}

with

G (3, 5)

get identified. Hence some component of the focal locus appears with multiplicity greater than one and the 4 foci on a general line of

ℬ

are not distinct.

A particular case is when

S

is a cone of vertex a point

A

G (3, 5)

, then the 3-space corresponding to the vertex counts twice as component of

F

5.2 $S$ with a double line not meeting $G (3, 5)$

Assume that

S

is reducible and disjoint from

G (3, 5)

, therefore of the form

S = π \cup Q

where

π

is a plane and

Q

a (possibly reducible) quadric.

In [MM04] the linear spaces contained in

\overset{ˇ}{G} (1, 5)

and not meeting

G (3, 5)

are classified up to the natural action of

{PGL}_{6}

. They can be interpreted also as linear spaces of skew-symmetric matrices of constant rank 4.

It results that there are two orbits of lines, an open irreducible orbit of dimension 22, and a codimension one closed orbit. Note that the Gauss map

γ

, if restricted to such a line

ℓ

, is regular and defined by the derivatives of the cubic Pfaffian polynomial (the equation of

\overset{ˇ}{G} (1, 5)

), which have degree

2

. Therefore

γ (ℓ)

is embedded in

P^{14}

as a conic. The lines parametrised by this conic represent a ruling of a smooth quadric or the the lines of a quadric cone, respectively for the two orbits.

The planes are distributed in 4 orbits, all of dimension 26. The Gauss image of such a plane

π

is embedded in

P^{14}

as a Veronese surface

V

. The four orbits correspond precisely to the possible double Veronese embeddings of the plane in

G (1, 5)

. The lines represented by

V

have the following geometrical interpretation, in the four cases (see [SU04] ):

(1) the secant lines of a skew cubic curve $C$ embedded in a 3-space $L$ ;
(2) the lines contained in a quadric 3-fold $Γ$ and meeting a fixed line $r$ contained in $Γ$ ;
(3) the lines joining the corresponding points in a fixed isomorphism between two disjoint planes;
(4) the lines of a cone $C (V)$ over a projected Veronese surface.

\overset{ˇ}{Δ}

is generated by one of these four types of planes plus one general point of

{\overset{ˇ}{P}}^{14}

, then the residual component of

π

S

is a quadric surface of maximal rank.

We describe now the corresponding congruences and their focal loci.

5.2.1 Case 1

F = L^{'} \cup X

, where

L^{'}

is a scheme whose support is

L

, having

C

as embedded component, and

X

is a singular threefold of degree 6 with Hilbert polynomial

P_{X} (t) = t^{3} + 3 t^{2} + 2

;

X

meets

L

along a quartic surface with

C

as singular locus.

Through a general point of

L

there passes a 1-dimensional family of lines of

ℬ

, all contained in

L

, and through a general point of

C

a 2-dimensional family.

L

and

C

are components of the focal locus, but a general line of

ℬ

does not meet

L

nor

C

, they are therefore both parasitic components. On a general line of

ℬ

the 4 foci lie all on

X

. It follows that

X

is an example of (singular) threefold containing a 3-dimensional family of plane cubic curves (see [MP96] ).

An explicit example of this type of congruence is given by the following skew-symmetric matrix, which represents

\overset{ˇ}{Δ}

(\begin{matrix} 0 & - d & a & b & c & 0 \\ . & 0 & 0 & a & b & c \\ . & . & 0 & d & 0 & d \\ . & . & . & 0 & 0 & 0 \\ . & . & . & . & 0 & - d \\ . & . & . & . & . & 0 \end{matrix}) .

5.2.2 Case 2

F = Γ^{'} \cup Y

, where

Γ^{'}

is a scheme whose support is

Γ

, having

r

as embedded component, and

Y

is a quintic threefold with Hilbert polynomial

P_{Y} (t) = 5 / 6 t^{3} + 5 / 2 t^{2} + 5 / 3 t + 1

. Through a general point in

Γ

there passes a

1

-dimensional family of lines, through a general point in

r

2

-dimensional family. Hence

r

is a parasitic scheme.

Y

meets

Γ

in a quartic surface which is singular along

r

An explicit example is provided by the matrix:

(\begin{matrix} 0 & a & b & c & d & 0 \\ . & 0 & 0 & d & c & b \\ . & . & 0 & 0 & d & 0 \\ . & . & . & 0 & 0 & d \\ . & . & . & . & 0 & a \\ . & . & . & . & . & 0 \end{matrix}) .

5.2.3 Case 3

F = Z_{1} \cup Z_{2}

, where

Z_{1}

is a rational cubic scroll, i.e.

P^{1} \times P^{2}

, which is the union of the lines parametrised by

\overset{ˇ}{Δ}

, and

Z_{2}

is a singular Del Pezzo threefold, complete intersection of two quadrics.

Z_{1} \cap Z_{2}

is a quartic surface, rational normal scroll of type

(2, 2)

, which cuts a conic on each plane of

Z_{1}

. The singular locus of

Z_{2}

is the union of two conics. The foci of a general line lie two on each component of

F

, so

ℬ

is formed by the lines which are secant both

Z_{1}

and

Z_{2}

An example of this congruence is the following:

(\begin{matrix} 0 & a & b & d & 0 & 0 \\ . & 0 & c & 0 & d & 0 \\ . & . & 0 & 0 & 0 & d \\ . & . & . & 0 & a & b \\ . & . & . & . & 0 & c \\ . & . & . & . & . & 0 \end{matrix}) .

5.2.4 Case 4

F = C (V) \cup T

, where

T

is a cubic threefold contained in a hyperplane of

P^{5}

passing through the vertex of the cone. The lines of

ℬ

are the trisecants of

F = C (V)

, meeting also

T

An example of this congruence is the following:

(\begin{matrix} 0 & a & b & c & d & 0 \\ . & 0 & c & d & b & 0 \\ . & . & 0 & 0 & 0 & d \\ . & . & . & 0 & a & 0 \\ . & . & . & . & 0 & 0 \\ . & . & . & . & . & 0 \end{matrix}) .

5.2.5 Special degenerate cases

In all the four cases, for special choices of the

4^{th}

generator of

\overset{ˇ}{Δ}

, the rank of the quadric

Q

can decrease, giving raise to various degenerations of the focal loci of the just considered congruences.

5.3 Classification of linear congruences in $P^{5}$ .

Table 1 summarizes the sketch of classification of linear congruences of lines in

P^{5}

with

3

-dimensional focal locus.

Note that the smooth Palatini threefolds, which are scroll over cubic surfaces, have a non-trivial moduli space. Indeed the moduli space of cubic surfaces is rational of dimension

4

, and the moduli space of rank

2

vector bundles

E

on a cubic surface

S

, such that

P (E)

is a Palatini scroll, has dimension

5

(see [FM02] ).

We finish this article with a few words about the singular Palatini scrolls and the corresponding congruences. Actually, the singular Palatini scrolls which come out from a surface

S

with (isolated) double points

P_{i}

(such that in fact

Δ

is tangent to

\overset{ˇ}{(} G (1, 5) \ G (3, 5)

) at

P_{i}

) have only isolated singularities and can be described as the smooth ones. Therefore also the congruences associated to these can be described as in the case of the smooth Palatini scroll.

Let us pass now to the two more problematic Palatini scrolls, i.e. the ones which come from an

S

that is either a cubic cone or a ruled surface, singular along a line.

In both cases,

S

has a

1

-dimensional family of lines, and these lines correspond to quadric surfaces in

P^{5}

3

-space

\overset{ˇ}{Δ}

such that

\overset{ˇ}{Δ} \cap \overset{ˇ}{G} (1, 5)

is a cubic cone of vertex

A

must be contained in the quadric

{II}_{A}

, the second fundamental form of

\overset{ˇ}{G} (1, 5)

A

, and intersect the vertex of

{II}_{A}

only at

A

. An example is the following:

(\begin{matrix} 0 & c & a & d - c & b & 0 \\ . & 0 & d & a & 0 & b \\ . & . & 0 & c & d & 0 \\ . & . & . & 0 & 0 & c \\ . & . & . & . & 0 & 0 \\ . & . & . & . & . & 0 \end{matrix}) .

The Palatini threefolds obtained in this way result to be singular along the line corresponding to

A

. This Palatini scroll can indeed be constructed as the smooth one, and also the congruence does not give problems.

To obtain a ruled cubic

S

with double line

ℓ

, disjoint from

G (3, 5)

\overset{ˇ}{Δ}

must be contained in the intersection of the tangent spaces to

\overset{ˇ}{G} (1, 5)

P

, for all

P \in r

One checks that such a

3

-space exists only if

ℓ

is a line of the closed orbit (see Subsection 5.2 ), whereas in the other case no

3

-space is contained in the required intersection. The Palatini scroll constructed in such a way is singular along the quadric cone

Q

which correspond to

ℓ

. Now, if we consider the secant lines to

F

which meet also

Q

form—by dimensional reasons—a congruence. Therefore this is the congruence which we are looking for, since on a general line of it we have two distinct foci plus a double focus.

Surface $S$	$Sing S$	Focal locus $F$	Remarks
smooth		smooth Palatini scroll	$F$ has moduli
irreducible with isolated singularities $P_{1}, . . ., P_{k}$ , $k \leq 4$	$P_{i} / \in G (3, 5)$	singular Palatini scroll	$F$ can be singular at a point or along a line
	$P_{i} \in G (3, 5)$	the $3$ -space $π_{P_{i}}$ is an irreducible component of $F$	the residual intersects $π_{P_{i}}$ along a smooth quadric
irreducible ruled with a double line $r$	$r \cap G (3, 5) = \emptyset$	singular Palatini scroll	$F$ is singular along a quadric cone $\overset{ˇ}{Δ}$ is tangent to $\overset{ˇ}{G} (1, 5)$ along $r$
reducible $π \cup Q$ , $π$ a plane, $Q$ a quadric	conic in $π$ , disjoint from $G (3, 5)$	$L^{'} \cup X$ , $deg X = 6$	$L^{'}$ is a parasitic component
		$Γ^{'} \cup Y$ , $deg Y = 5$	$Γ^{'}$ has a parasitic line as embedded component
		$Z_{1} \cup Z_{2}$ , $deg Z_{2} = 4$ , $Z_{1} = P^{1} \times P^{2}$	the lines of $ℬ$ are secant both $Z_{1}$ and $Z_{2}$
		$C (V) \cup T$ , $deg T = 3$	the lines of $ℬ$ are the trisecants $C (V)$ meeting $T$
successive degenerations of the previous cases

Table 1

Note that this is only a sketch of classification. The task of writing a complete classification of linear congruences up to isomorphism seems to us out of reach, because of the multitude of special cases, due to the moduli of cubic surfaces (see for instance [BL98] ) and to their several different embeddings in

\overset{ˇ}{G} (1, 5)

In a forthcoming paper we plan to apply these results to the classification of Temple systems in 4 variables. We have to point out that this classification holds on an algebraically closed field, so it will be necessary to refine it over the real field.

References

S. I. Agafonov and E. V. Ferapontov, Systems of conservation laws from the point of view of the projective theory of congruences, Izv. Ross. Akad. Nauk. Ser. Mat. 60 (1996), no. 6, 3–30.
, Theory of congruences and systems of conservation laws, J. Math. Sci. (New York) 94 (1999), no. 5, 1748–1794, Geometry, 4.
, Systems of conservation laws of Temple class, equations of associativity and linear congruences in $P^{4}$ , Manuscripta Math. 106 (2001), no. 4, 461–488.
E. Arrondo, M. Bertolini and C. Turrini, A focus on focal surfaces, Asian J. Math. 5 (2001), no. 3, 535–560.
D. Bazan and E. Mezzetti, On the construction of some Buchsbaum varieties and the Hilbert scheme of elliptic scrolls in $P^{5}$ , Geom. Dedicata, 86 (2001), no. 1–3, 191–204.
M. Brundu and A. Logar, Parametrization of the orbits of cubic surfaces, Transformation Groups 3 (1998), 209–239.
G. Castelnuovo, Ricerche di geometria della retta nello spazio a quattro dimensioni, Atti R. Ist. Veneto Sc., ser.VII, 2 (1891), 855–901.
C. Ciliberto ed E. Sernesi, Singularities of the theta divisor and congruences of planes, J. Algebr. Geom. 1 (1992), no. 2, 231–250.
CoCoATeam, CoCoA : a system for doing Computations in Commutative Algebra, Available at , ☻ open access ✓
P. De Poi, On first order congruences of lines of $P^{4}$ with a fundamental curve, Manuscripta Math. 106 (2001), 101–116.
, Threefolds in $P^{5}$ with one apparent quadruple point, Communications in Algebra (2003), 1927–1947.
, Congruences of lines with one-dimensional focal locus, Port. Math. (N.S.) 61 (2004), no. 3, 329–338.
, On first order congruences of lines in $P^{4}$ with irreducible fundamental surface, Mathematische Nachrichten 278 (2005), no. 4 363–378.
, On first order congruences of lines in $P^{4}$ with non-reduced fundamental surface, Preprint , submitted. ☻ open access ✓
, On first order congruences of lines in $P^{4}$ with reducible fundamental surface, in preparation.
B. Dubrovin, Geometry of $2 D$ topological field theories, in Lect. Notes Math. Vol. 1620 (1996), Springer Verlag 120–348.
M. L. Fania and E. Mezzetti, On the Hilbert scheme of Palatini threefolds, Adv. Geom 2 (2002), 371–389.
P. Griffiths and J. Harris, Principles of Algebraic Geometry, John Wiley & Sons, 1978.
R. Hartshorne, Algebraic Geometry, Graduate Texts in Mathematics, no. 52, Springer-Verlag, 1977.
E.E. Kummer, Über die algebraischen Strahlensysteme, insbesondere über die der ersten und zweiten Ordnung, Abh. K. Preuss. Akad. Wiss. Berlin (1866), 1–120.
L. Manivel and E. Mezzetti, On linear spaces of skew-symmetric matrices of constant rank, Preprint , (2004) to appear in Manuscripta Math. ☻ open access ✓
G. Marletta, Sopra i complessi d'ordine uno dell' $S_{4}$ , Atti Accad. Gioenia, Serie V, Catania III (1909), 1–15, Memoria II.
, Sui complessi di rette del primo ordine dello spazio a quattro dimensioni, Rend. Circ. Mat. Palermo XXVIII (1909), 353–399.
E. Mezzetti and D. Portelli, Threefolds in $P^{5}$ with a $3$ -dimensional family of plane curves, Manuscripta Math. 90 (1996), 365-381.
G. Ottaviani, On $3$ -folds in $P^{5}$ which are scrolls, Ann. Sc. Norm. Sup. Pisa 19(4) (1992), 451–471.
Z. Ran, Surfaces of order $1$ in Grassmannians, J. Reine Angew. Math. 368 (1986), 119–126.
C. Segre, Un'osservazione sui sistemi di rette degli spazî superiori, Rend. Circ. Mat. Palermo II (1888), 148–149.
J.C. Sierra and L. Ugaglia, On double Veronese embeddings in the Grassmannian $G (1, N)$ , Preprint , (2004). ☻ open access ✓
B. Temple, Systems of conservation laws with invariant submanifolds, Trans. Amer. Math. Soc. 280 (1983), no. 2, 781–795.

Mathematisches Institut, Universitat Bayreuth, Lehrstuhl VIII, Universitatsstraße 30, D-95447 Bayreuth, Germany, E-mail address : Pietro.DePoi@uni-bayreuth.de Dipartimento di Matematica e Informatica, Universita degli Studɪ di Trieste, Via Valerio, 12/b, I-34127 Trieste, Italy E-mail address : mezzette@univ.trieste.it

27th November 2006

Pietro De Poi

Emilia Mezzetti