\documentclass{amsart}
\sloppy                    
%\usepackage{amssym}}
\usepackage{amsmath}
\newcommand{\Hilb}{{\rm{Hilb}}}
\newcommand{\length}{{\rm{length}}\;}
\newcommand{\codim}{{\rm{codim}}\;}
\newcommand{\coker}{{\rm{coker}}\;}
\newcommand{\lcm}{{\rm{lcm}}}
\newcommand{\rlex}{{\rm{rlex}}}
\newcommand{\Pic}{{\rm Pic}}
\newcommand{\Ass}{{\rm{Ass}}}
\newcommand{\Spec}{{\rm{Spec}}\;}
\newcommand{\Hom}{{\rm{Hom}}}
\newcommand{\ann}{{\rm{ann}}}
\newcommand{\Cat}{{\rm{Cat}}}
\newcommand{\rank}{{\rm{rank}}\;}
\newcommand{\depth}{{\rm{depth}}\;}
\newcommand{\Tor}{{\rm{Tor}}}
\newcommand{\FF}{{\mathbb F}}
\newcommand{\QQ}{{\mathbb Q}}
\newcommand{\PP}{{\mathbb P}}
\newcommand{\CC}{{\mathbb C}}
\newcommand{\DD}{{\mathbb D}}
\newcommand{\GG}{{\mathbb G}}
\newcommand{\RR}{{\mathbb R}}
\newcommand{\ZZ}{{\mathbb Z}}

%\newcommand{\proof}{{ \it Proof. }}
\newcommand{\cO}{{\mathcal O}}
\newcommand{\cM}{{\mathcal M}}
\newcommand{\cI}{{\mathcal I}}
\newcommand{\cB}{{\mathcal B}}
\newcommand{\QED}{{\hfill  $\sqcap\!\!\!\!\sqcup$ \medskip}}


\newtheorem{lemma}{\bf Lemma}[section]
\newtheorem{proposition}[lemma]{\bf Proposition}
\newtheorem{theorem}[lemma]{\bf Theorem}
\newtheorem{corollary}[lemma]{\bf Corollary}
\newtheorem{question}[lemma]{\bf Question}

%\newtheorem{sub}{}
%\newtheorem{exe}{}

%\theoremstyle{definition}
\newtheorem{definition}[lemma]{\bf Definition}
\newtheorem{notation}[lemma]{\bf Notation}
\newtheorem{example}[lemma]{\bf Example}
\newtheorem{examples}[lemma]{\bf Examples}
\newtheorem{sub}{}[section]
\newtheorem{exe}{}

%\theoremstyle{remark}
\newtheorem{remark}[lemma]{\bf Remark}
\newtheorem{remarks}[lemma]{\bf Remarks}
\pagestyle{headings}





\begin{document}


\title[Veronese surfaces]{Veronese surfaces and line arrangements}

\author[Tom Graber and Kristian Ranestad]{Tom Graber and Kristian Ranestad$^{*}$}
\thanks{$^{*}$ Supported by the Research Council of Norway and by MSRI}





\address{Department of Mathematics,
University of California, Berkeley, CA 94720} \email{graber@math.berkeley.edu}

\address{Matematisk Institutt, Universitetet i Oslo P.O.Box 1053, Blindern,
N-0316 Oslo,  NORWAY } \email{ranestad@math.uio.no}

\date{\today}



\subjclass{Primary 14J; Secondary 14D}

\begin{abstract}
We formulate a generalization of Castelnuovo`s lemma on rational normal curves to d-uple Veronese surfaces and apply it to define a Hilbert scheme compactification of line arrangements in the Hilbert scheme of  Veronese surfaces.  In the case of arrangements of five lines, we find the compactification to be isomorphic to a Del Pezzo surface of degree 5.  We thus recover previous results of Kapranov and Hacking.  
\end{abstract}



\maketitle


Paul Hacking recently studied compact moduli of hyperplane arrangements using
stable pairs of a possibly reducible variety and a divisor on it \cite{PH}.  His compactification  coincides with a Hilbert scheme compactification of so called special Veronese varieties due to Kapranov \cite{Kap}.  
 
In this note we consider line arrangements in the plane and define what coincides with Kapranov's special Veronese varieties of dimension 2.   In particular, we recover an analogue of Castelnuovo's lemma on rational normal curves for $d-$uple
Veronese surfaces.  This sets up a natural map of Hacking's moduli space of
line arrangements of degree $d+3$ to the Hilbert scheme of $d-$uple
Veronese surfaces.   We give a different and direct proof that the corresponding Hilbert scheme compactification of
the  moduli of stable $5$-line
arrangements is naturally isomorphic to a smooth Del Pezzo surface of degree
$5$.  Our enumeration of singular surfaces in the family, recovers Hacking's classification. 

\section{A Castelnuovo type lemma}

We start with an analogue of

\begin{lemma}\label{Cast}[Castelnuovo] Through $d+3$ points in linear
general position in $\PP^{d}$ there is a unique rational normal curve.
\end{lemma}
\noindent due to Kapranov:
\begin{lemma}\label{Cav}\cite{Kap}  Given $d+4$ general $\PP^{d}$'s in $P^N$  with
$N=(d+2)(d+1)/2-1$, such that any two of the $\PP^{d}$'s meet in exactly a
point, and any set of $d+1$ intersection points span a $\PP^{d}$. Then there
is a unique $d$-uple Veronese surface that contains the
$(d+4)(d+3)/2$ intersection points.
\end{lemma}
\begin{remark}
Note that we need the first ``general'', since our proof is not
constructive.
\end{remark}
\proof  First we assume that $V$ is a $d-$uple Veronese surface through
all the intersection points.  By Castelnuovo's lemma, in each $\PP^{d}$
there is a unique rational normal curve of degree $d$ through the $d+3$
intersection points.
We show that $V$ actually must intersect each $\PP^{d}$ in the unique
rational normal curve given by Castelnuovo's lemma.  For this, fix a 
$\PP^d$ and let $\Gamma$ be the $d+3$ intersection points in it.  Let $C$ be a
general curve in the linear system $|(d+3)L|$ on $V$ that contains
$\Gamma$, where $L$ is the class of a line in $V\cong \PP^{2}$. Since
$\Gamma $ is smooth, $C$ is smooth.  In fact $d+3$ lines through the $d+3$
points generate a linear system without base points outside $\Gamma$, so by
Bertini $C$ is smooth. Since $C\subset V$ is the canonical embedding,
$\Gamma$ moves in a net on $C$.  But $C$ has only one
$g_{d+3}^2$, so $\Gamma$ must therefore coincide with the $L\cap C$
for some rational normal curve $L_0\in |L|$ of degree $d$ on $V$.  Clearly $L_0$
coincides with the unique rational normal curve given by Castelnuovo's
lemma. Thus $V$ contains $d+4$ rational normal curves of degree $d$.

On the other hand any set of $d+4$ general members of the linear system
$|L|$ on $V$ gives rise to $d+4$ pairwise intersecting $\PP^d$'s in 
$\PP^{N}$.

Now, consider the family of marked Veronese surfaces, where the marking is
a line arrangement of degree  $d+4$, i.e. a collection of $d+4$ lines in
the plane.  Clearly this family is irreducible.  We compute the dimension by adding the dimension of the orbit of Veronese surfaces to the dimension of the family of line arrangements and get 
$$(d+2)^2(d+1)^2/4-9+2(d+4)=d(d+4)(d^2+2d+5)/4$$
Compare this with the family of sets of $d+4$ pairwise intersecting 
$\PP^d$'s.  This family is clearly also irreducible.  We compute its dimension as a configuration of $d=4$ points in the Grassmannian satisfying the relevant Schubert condition and get
$$(d+4)(d+1)((d+2)(d+1)/2-(d+1))-((d+2)(d+1)/2-2(d+1)+1)(1+2+...+d+3)$$
$$=d(d+4)((d+1)^2/2-(d-1)(d+3)/4)=d(d+4)(d^2+2d+5)/4.$$
  Since the two
families have the same dimension, the lemma follows as soon as the
Veronese surface is unique for a general configuration of $d$-planes.
For this, let $C$ be the
line arrangement of degree $d+4$.    The $d$-th
Veronese embedding is given by $K_C-L_C$, where $L_C$ is the divisor of
the embedding in
$\PP^{2}$. The divisor $L_C$ is unique (given by the divisors determined by
its d+4 line
components), so $K_C-L_C$ is unique, and therefore also the Veronese
surface.
\QED




\section{Compactifying the muduli of stable line arrangements}

Consider the family $Y_d$ of $d-$uple Veronese surfaces that
intersect $d+3$ pairwise intersection $\PP^d$'s in a rational normal
curve.  Now, the family $X_d$ of $\PP^d$'s that intersect each of the
$d+3$ fixed $\PP^d$'s has dimension $2d$ in the Grassmannian.

Note that, by Lemma \ref{Cav}, there is a rational map $X_d\to Y_d$  whose
general fiber is a (dual) Veronese surface.
Thus

\begin{proposition}  The family $Y_{d}$ of $d-$uple Veronese surfaces that
intersect $d+3$ pairwise intersecting $\PP^d$'s in a rational normal
curve, has dimension $2d-2$.
\end{proposition}


\begin{definition}  A line arrangement of degree $d>3$ is called stable, if no
three lines are concurrent.  \end{definition}
The family  of stable line arrangements of degree
$d+3$ modulo automorphisms has dimension $2d-2$.
Now, clearly any Veronese surface in $Y_{d}$ defines a stable line 
arrangement of degree $d+3$. 
\begin{lemma} Two Veronese surfaces in $Y_d$ determine distinct stable line arrangements of degree $d+3$.\end{lemma}
\proof  The embedding of a line arrangement of degree $d+3$ on a $d$-uple Veronese surface  is given by the canonical linear series, so the Veronese surface is unique.\QED

 Therefore the moduli of stable line arrangements has a compactification in the Hilbert scheme of $d$-uple Veronese surfaces.   More 
precisely, we define $Y_{d}^{H}$ to be the reduced closure of $Y_{d}$ 
in the Hilbert scheme of Veronese surfaces.


Here we treat the case of $d=2$. So we consider the family of Veronese
surfaces in $\PP^5$, defined according to the lemma by fixing five 
$\PP^2$'s and letting a sixth plane $P$ move in the family of planes that meet
all the first five.  This family of planes form a subvariety $X$ in 
${\bf Gr}(3,6)$ of dimension $4$, since it is the proper intersection of five Schubert
hyperplane sections, while the corresponding family $Y_{2}$ of Veronese
surfaces has dimension $2$.

Let us show directly how a stable line arrangement of degree $5$ gives 
a Veronese surface intersecting five given pairwise 
intersecting  planes in conics. So, consider a 
stable line arrangement given by linear forms $l_{0},l_{1},\ldots 
l_{4}$ on $\PP ^2$. In terms of coordinates in $\PP ^2$ we may assume that
$l_1=y_0$, $l_2=y_1$, $l_3=y_2$, $l_4=y_0+y_1+y_2$ and $l_5=y_0+e_1y_1+e_2y_2$, where $e_1e_2\not=0, e_1\not=1, e_2\not=1$ and $e_1\not= e_2$.  Given five planes $P_i$ in $\PP^5$ that pairwise intersect, we may choose coordinates such that the first four planes 
$P_{1},\ldots,P_{4}$ are defined by 
$x_{0}=x_{1}=x_{2}=0$, $x_{2}=x_{3}=x_{4}=0$, $x_{0}=x_{4}=x_{5}=0$ 
and $x_{1}=x_{3}=x_{5}=0$, and that the fifth plane is defined by
$$x_{0}+a_{3}x_{3}+a_{4}x_{4}+a_{5}x_{5}=0,$$
$$x_{1}+b_{3}x_{3}+b_{4}x_{4}+b_{5}x_{5}=0,$$
$$x_{2}+c_{3}x_{3}+c_{4}x_{4}+c_{5}x_{5}=0,$$
where $${\rm det}\left(\begin{matrix} a_{3}&a_{4}&a_{5}\cr  b_{3}&b_{4}&b_{5}\cr 
c_{3}&c_{4}&c_{5}\cr\end{matrix}\right)=0,
c_{5}=0, b_{4}=0 \quad{\rm and}\quad a_{3}=0,$$ to make the fifth plane intersect the 
first four.  This reduces to the condition that the equations of the fifth 
plane $P_{5}$ are
$$x_{0}+a_{4}x_{4}+a_{5}x_{5}=0,$$
$$x_{1}+b_{3}x_{3}+b_{5}x_{5}=0,$$
$$x_{2}+c_{3}x_{3}+c_{4}x_{4}=0,$$
and 
$${\rm det}\left(\begin{matrix}0&a_{4}&a_{5}\cr  b_{3}&0&b_{5}\cr 
c_{3}&c_{4}&0\cr\end{matrix}\right)=0.$$
The last condition may be reformulated to say that there exist  nonzero coefficients $s_1,s_2,s_3$ such that $-s_2b_3+s_3c_3=s_1a_4+s_3c_4=s_1a_5-s_2b_5=0$.  Thus we may give the equations of $P_5$ the form:
$$s_1x_{0}+Bx_{4}+Cx_{5}=0,$$
$$s_2x_{1}+Ax_{3}+Cx_{5}=0,$$
$$s_3x_{2}+Ax_{3}-Bx_{4}=0.$$
We now define the Veronese map by a choice of basis for the quadrics 
on $\PP^2$: 
$$d_0x_{0}=l_{1}l_{3}, d_1x_{1}=l_{1}l_{4}, d_2x_{2}=l_{1}l_{2}, 
d_3x_{3}=l_{2}l_{4}, d_4x_{4}=l_{2}l_{3}, d_5x_{5}=l_{3}l_{4}$$
where the coefficients $d_0,\ldots,d_5$ are all nonzero and to be determined.
In coordinates $y_i$ we get
$$d_0x_{0}=y_{0}y_{2}, d_1x_{1}=y_{0}(y_{0}+y_{1}+y_{2}), 
d_2x_{2}=y_{0}y_{1},$$
$$
d_3x_{3}=y_{1}(y_{0}+y_{1}+y_{2}), d_4x_{4}=y_{1}y_{2}, 
d_5x_{5}=y_{2}(y_{0}+y_{1}+y_{2}).$$
The image of $l_{5}=0$ lies in the plane defined by the three linear 
forms
$$e_{2}d_0x_{0}+(d_1x_{1}-d_0x_{0}-d_2x_{2})+e_{1}d_2x_{2},$$
$$d_2x_{2}+e_{2}d_4x_{4}+e_{1}(d_3x_{3}-d_2x_{2}-d_4x_{4}),$$
and
$$d_0x_{0}+e_{1}d_4x_{4}+e_{2}(d_5x_{5}-d_0x_{0}-d_4x_{4})$$
or after reordering and reduction
$$(1-e_{2})d_0x_{0}+(e_{1}-e_2)d_4x_{4}+e_{2}d_5x_{5}$$

$$d_1x_{1}+e_{1}d_3x_{3}+e_{2}d_5x_{5},$$
and
$$(1-e_{1})d_2x_{2}+e_{1}d_3x_{3}+(e_{2}-e_{1})d_4x_{4}.$$
So this plane coincides with $P_{5}$  when 

$(1-e_{2})d_0=s_1, d_1=s_2, (1-e_1)d_2=s_3, e_{1}d_3=A, (e_{1}-e_2)d_4=B, e_{2}d_5=C$, which determines the coefficients $d_0,\ldots, d_5$ as promised.  
An immediate consequence of this computation is
\begin{proposition} The surface $Y$ is rational. 
\end{proposition}
\par
We shall now describe a compactification $Y$ of $Y_{2}$, that we shall 
eventually show coincides with the Hilbert scheme compactification $Y_{2}^{H}$.
For each Veronese surface the union of secant lines form a 
singular cubic hypersurface. The cubic hypersurface is defined by the 
determinant of a symmetric $3\times 3$ matrix of linear forms, and it 
is singular precisely along the Veronese surfaces.  Therefore $Y_{2}$ 
as a reduced variety has a natural embedding in the space of cubic hypersurfaces.
We take $Y$ to be the reduced closure of $Y_{2}$ in this embedding.
Our main result in this section is the description of $Y$.  

\begin{theorem}  The compactification $Y$ of the family $Y_{2}$ of Veronese surfaces 
in $\PP^5$ that meet five
pairwise intersecting planes in conics, form a smooth Del Pezzo surface of degree
$5$.  The lines on the Del Pezzo surface form the boundary 
$Y\setminus Y_{2}$ and parameterizes degenerate
Veronese surfaces.  A  point that lies on one line corresponds to a
surface with a smooth cubic scroll component and a plane through the 
directrix of the scroll, while the intersection point between two 
lines corresponds to a surface with a smooth quadric component and two 
plane components meeting each other in a point and the quadric in a line, one 
from each ruling.
\end{theorem}

\begin{remark}  Kapranov \cite{Kap} proves that by association, the moduli space $Y_2$ is isomorphic to the moduli space $M_{0,5}$ of $5$-pointed $\PP^1$ which is isomorphic to a Del Pezzo surface of degree $5$.\end{remark}

\proof   Consider the family of cubic hypersurfaces singular along a Veronese surface of the family $Y_2$. 
Their linear span is contained in the vector space $V$ of cubic hypersurfaces 
that are singular at the ten points of intersection of the
five planes $P_i$.  This space $V$ has dimension at least $6$:  The space of
cubics that contain the five pairwise intersecting planes is $16$-dimensional.  A singularity at
an intersection point imposes one linear condition, so altogether the 
singularities imposes at most ten conditions,
which leaves at least a $6$-dimensional vector space for the $10$-nodal cubics.

\begin{lemma}\label{sing}  No cubic
in $V$ is singular along one of the five planes $P_{i}$.
\end{lemma}
\proof  Let $F$ be a cubic singular along the plane $P_{1}$, say. If so let $P'$ be a $3-$space
spanned by $P_{1}$ and the point of intersection between two of the other
planes.  Since $F$ is singular in the intersection point, the span $P'$ 
must be contained in $F$.   Consider the hyperplane $H_{12}$ spanned 
by $P_{1}$ and $P_{2}$.   By the previous argument the restriction of 
$F$ to $H_{12}$ decomposes into three $\PP^3$'s that contain $P_{1}$, one for each 
intersection point of $P_{2}$ with the remaining three planes.  On the 
other hand $F$ contains $P_{2}$, so $H_{12}$ must be a component of 
$F$.  Similarly the hyperplanes spanned by $P_{1}$ and $P_{3}$, 
$P_{4}$ and $P_{5}$ are all components of $F$. But $F$ is a cubic, so 
this is absurd.\QED


Consequently, there is precisely a net of cubics in $V$
that are singular at some point in $P_{i}$ outside the original four.  In fact
since the cubics already contain $P_{i}$, it is at most $3$ conditions to be
singular at some point in the plane, and if it is less than $6$ 
conditions to be singular at two general points outside the original 
four, then there would be a cubic hypersurface singular along the 
whole plane, contradicting Lemma \ref{sing}.  
In particular
\begin{corollary}\label{cub} The space $\PP (V)$ of cubic hypersurfaces that are 
singular in the ten intersection points of the five planes $P_{i}$ is 
$5-$dimensional and the cubic hypersurfaces that are singular at some point 
in $P_{i}$ outside the original four form a $\PP^2$ and are all singular along the unique conic 
passing through the five points.\end{corollary}

Let $V_{i}\subset \PP(V)$ be the subvariety of cubic hypersurfaces 
that are singular along some conic in $P_{i}$.

\begin{lemma} The variety $V_{i}$ is a rational cubic scroll, the 
    Segre embedding of $\PP^1\times\PP^2$. \end{lemma}
    \proof 
By Corollary \ref{cub} 
there is a plane in $V_{i}$ of cubic hypersurfaces for each conic.  Since the conics 
moves in a pencil, the variety $V_{i}$ is the union of a pencil of 
planes.  Furthermore, no two planes in this pencil have 
a common point, because the corresponding cubic hypersurface would 
be singular along $P_{i}$ contradicting  Lemma \ref{sing}. But the only pencils of planes with this 
property are those of the Segre embedding of $\PP^1\times\PP^2$, so 
$V_{i}$ must be such a cubic scroll.\QED

The five cubic scrolls $V_{i}$ are distinct: Let $H_{ij}$ be 
the hyperplane spanned by $P_{i}$ an $P_{j}$, let $p_{ij}$ be the intersection point $P_{i}\cap P_{j}$, and let $H_{i}(jk,lm)$ 
be the hyperplane spanned by $P_{i}$ and the points $p_{jk}$ and 
$p_{lm}$.  Then $H_{25}\cup H_{34}\cup H_{5}(12,34)$ and $H_{12}\cup 
H_{34}\cup H_{1}(25,34)$ form cubic hypersurfaces that belong to 
$\PP (V)$. They are both singular along the conic 
$(H_{25}\cup H_{34})\cap P_{1}$ in $P_{1}$, but they are singular at 
the distinct conics  $(H_{25}\cup H_{13})\cap P_{4}$ and  $(H_{35}\cup 
H_{12})\cap P_{4}$ in $P_{4}$.   Since the planes in $V_{i}$ 
correspond to conics in $P_{i}$, the planes in $V_{1}$ and $V_{4}$ 
say, cannot coincide.  Therefore, the $V_{i}$ are also distinct.

Now, a cubic scroll is defined by the $2\times 2$ minors of a $2\times 
3$ matrix of linear forms, i.e. be three quadrics.   Since the 
intersection of two of these quadrics is a threefold of degree $4$,  two distinct cubic 
scrolls have at most one defining quadrics in common.  
Therefore the ideal of $Y$ contains at least $5$ quadrics, and $Y$ is 
contained in five distinct cubic scrolls.  In particular, $Y$ has 
degree at most $5$. 


Next, we will enumerate degenerations of Veronese surfaces in 
$V_{2}$.  So we consider limit schemes $T$ in the Hilbert scheme of the Veronese surfaces in our 
family. A limit scheme $T$ must clearly satisfy the following two conditions:

1. The Hilbert polynomial of $T$ coincides with that of a smooth Veronese
surface. In particular it has a surface component of degree $4$ whose
reduced part is connected in codimension $1$.

2. The scheme theoretic intersection with any one of the five planes is at
least a plane conic that passes through the four intersection points of
this plane with the other planes.

First, we need some notation. As above we denote by $p_{ij}$ the intersection point $P_i\cap P_j$, and by
$H_{ij}$ the hyperplane spanned by $P_{i}$ and $P_{j}$.   Denote by 
$P_{ijk}$ the plane spanned by the interesection points of $P_{i}$, 
$P_{j}$ and $P_{k}$, and let $L_{ijk}$ be the line of intersection  
$P_{ijk}\cap H_{lm}$.

To enumerate the possible degenerate Veronese surfaces,
we first exclude two cases.  First, one of the planes $P_i$ cannot be a
component of a degenerate Veronese surface: If so, the residual surface $S$
has degree $3$ and intersect the four remaining planes in at least a
conic. Any two of these four planes span a hyperplane that intersect $S$
in a curve of degree at least $4$, so $S$ has a component in each of these
$6$ hyperplanes. But any three of these hyperplanes intersect in a plane,
therefore $S$ has at least $4$ components.  This is a contradiction.
Secondly, any quadric surface component cannot intersect one of the five
planes, say $P_5$ in a conic:  If so this component intersects the
remaining four planes in at most two lines, in which case these lines meet
at an intersection point of two planes, say $p_{34}$.  The residual
surface $S$ has degree $2$ and intersect $P_1$ and $P_2$  in at least a
conic, and $P_3$ and $P_4$ in at least a line.  Again, this means that the
hyperplanes spanned by $H_{12}$, $H_{13}$, $H_{14}$, $H_{23}$ and
$H_{24}$ all contain a component of $S$.  This is possible only if $S$
consists  of the two planes $P_{123}$ and $P_{124}$.  But then the intersection of $S$ and the
quadric is $0$-dimensional, against condition 1 above.

Now, any component of a degenerate Veronese surface meets a plane $P_i$ in a
conic section, a line, a point or not at all.
Consider components of reducible degenerate Veronese surfaces.  By the first
condition, they are planes, quadrics or cubic scrolls.
Since at most two planes $P_i$ lie in a $\PP^4$ any cubic scroll
intersects the union of the $P_i$ in a curve of degree at most $7$. In
that case it intersect two planes in a conic, and the remaining three in a
line.  Furthermore these three lines are disjoint, so the scroll is 
smooth.
Since a $\PP^3$ intersect at most $4$ planes in a line, and no quadric
component can intersect a plane in a conic, the intersection between a
quadric component and the five planes is at most $4$ lines.  In that case
they form a  quadrangle defined by the pairwise intersection of two pairs
of planes  and the quadric surface component is smooth.
Finally, any plane intersect the five planes in at most three lines, in
which case it is the plane spanned by the intersection points of three
planes.  

\begin{lemma}  If $T$ is a singular Veronese surface in the family $Y$, then $T$
is the reducible union of a plane and a smooth cubic scroll intersecting
the plane along the directrix, or the reducible union of two planes and a
smooth quadric surface intersecting the planes along a line one from each
ruling.
\end{lemma}

\proof  First, an irreducible singular degeneration of a Veronese surface
is a cone over a rational normal curve.  Since the intersection with each
plane is a conic, the vertex of the cone is in each plane, absurd. A
nonreduced component is a multiple structure on a plane or a double
structure on a quadric. The bound of the intersection of the reduced
component with the five planes excludes this possibility also.  Therefore a
singular Veronese surface in the family is reduced, and the components are
planes, smooth quadrics or cubic scrolls.  Furthermore, by degree reasons
alone, any plane component must meet the union of the five planes in $3$
lines, any quadric surface component is smooth and must meet the five
planes in $4$ lines.  Furthermore if the singular Veronese surface has a
quadric surface component, the residual components must be two planes,
that meet the quadric in a line, one from each ruling. Finally, any cubic
scroll intersect the five planes in a curve of degree $7$ with two conic
components and $3$ disjoint lines.  In particular the scroll is smooth,
and the residual component is a plane through the directrix.\QED

We may now enumerate the degenerate Veronese surfaces in the above 
notation:


1. Any plane component  coincides with the plane spanned by the
intersection points of three planes $P_{ijk}=<p_{ij},p_{jk},p_{ik}>$.

2. Any quadric component is smooth and coincides with  the quadric through
say $L_{123}$ and $L_{345}$ which contain the points $p_{14},p_{24},
p_{15}, p_{25}$.
This quadric lies in the $3$-space $<P_1,P_2>\cap <P_4,P_5>$.

3. Any cubic scroll component is smooth and coincides with a scroll
through three lines and meeting two planes in conics through their
intersection point.  For each pair of planes there is a pencil of them, i.e. for each plane
component there is a pencil of them.  For the plane $P_{ijk}$ this pencil
of cubic scrolls have the line $L_{ijk}$ as a common directrix.

Altogether we find ten plane components in degenerations, fifteen 
smooth quadric surface components of degenerations, and ten pencils 
of smooth cubic scroll components.


For each of these degenerate Veronese surfaces the union of secant lines form a cubic
fourfold:
If the Veronese surface is smooth, then the cubic is the determinant of a
symmetric matrix.
If the surface is the union of a plane and a cubic scroll, then the cubic
is the union of the $\PP^4$ of the cubic scroll and the unique rank $3$ quadric with
vertex the plane which contains the cubic scroll.
If the surface is the union of two planes and a quadric surface, then the
cubic is the union of three $\PP^4$'s.  Notice furthermore that in 
each case the union of the secant lines form the unique 
cubic hypersurface that is singular along the degenerate Veronese 
surface.


Therefore there is a curve consisting of ten lines in $\PP (V)$ 
parameterising singular cubics of degenerate Veronese surfaces.

\begin{lemma} The surface $Y\subset \PP (V)$ contains at most ten lines.\end{lemma}

\proof Assume that a line in $Y$ contains the cubic of a smooth 
Veronese surface, and consider the base locus of the pencil.  Since 
every cubic of the pencil is singular along some Veronese surface, by 
Bertini, the union of the Veronese surfaces must be contained in the 
base locus of the pencil.  In at least one of the planes $P_{i}$ the pencil 
of Veronese surfaces restricts to the pencil of conics through the 
four intersection points, since otherwise the pencil of Veronese 
surfaces have five conics in common, which is impossible.  
Corresponding to the singular conics in the pencils, the Veronese 
must be degenerate, so the cubic is decompose in a hyperplane 
and a rank $3$ quadric with vertex a plane $P_{ijk}$, or in three hyperplanes.  If the base locus 
contains a Veronese surface, this must be contained in the rank $3$ 
quadric and the vertex plane is a tangent plane to the Veronese 
surface.  For each singular conic there is a rank $3$ quadric 
containing the Veronese surface, such that the vertex plane is tangent 
to the Veronese surface. But two of these three quadrics must have a 
vertex plane that passes through the same intersection point $p_{ij}$ 
on $P_{i}$.  On the other hand this is a point on the Veronese surface, so in fact it 
must be the point of tangency, and the two vertex planes must coincide, which 
is absurd.  
Therefore all cubics of the pencil are cubics of degenerate 
Veronese surfaces, and the ten lines of degenerate
Veronese surfaces are the only possible lines on $Y$.
\QED

Clearly, both $Y$ and the ten lines of degenerate Veronese 
surfaces lie in the five cubic scrolls $V_{i}$.  Recall that $Y$ has 
degree at most $5$.
   On the other hand $Y$ spans $\PP(V)$: Otherwise it is a 
possibly reducible cubic scroll, but $Y$ contains contains at most ten lines.  
If $Y$ has degree $4$, it is again a scroll or a possibly degenerate 
Veronese surface.  Only in the case of a Veronese surface are there 
at most ten lines.  But a Veronese surface is not contained in any 
smooth cubic threefold scroll, so we are left with the sole possibility that $Y$ 
has degree $5$ and is contained in $5$ quadrics. 
This is possible only if the ideal of $Y$ is generated by five quadrics, 
the Pfaffians of a $5\times 5$ matrix of linear forms.  Thus $Y$ is 
the scheme theoretic intersection of the cubic scrolls, the ten lines 
all lie on $Y$ and $Y$ is a 
smooth Del Pezzo surface.
\QED

\begin{corollary} $Y$ coincides with the Hilbert scheme compactification $Y_2^H$ of $Y_2$.
\end{corollary}
\proof  The family $Y$ of surfaces is clearly flat, so there is a morphism $f: Y\to Y_2^H$.  On the other hand the singular cubic hypersurfaces associated to each surface in $Y$ sets up a morphism $g: Y_2^H\to Y$  inverse to $f$, so $f$ must be an isomorphism.\QED
  \vskip 3mm
\noindent {\bf Acknowledgement.} We thank Paul Hacking for pointing out Kapranov's work on special Veronese varieties, and Andreas Holmsen for posing a question on line transversals to certain sets of planes in $\PP^4$ that inspired us to consider these families of Veronese surfaces.
 \bibliography{ver}
\begin{thebibliography}{10}

\bibitem{PH} P.~Hacking: Compact moduli of hyperplane arrangements, preprint, math.AG/0310479


\bibitem{Kap} Kapranov, M. M. Veronese curves and Grothendieck-Knudsen moduli space $\overline M\sb {0,n}$.  J. Algebraic Geom.  2  (1993),  no. 2, 239--262.




\end{thebibliography}
\end{document}



























Notice that this scroll is 
defined by three quadrics, and that the only lines in it are those of 
planes, and those mapped to a point in the projection to $\PP^2$.

 Consider a pencil of cubic hypersurfaces in the space $V$ distinct from the ten lines, 
such that at least two of them $F_{0:1}$ and $F_{1:0}$ are singular along a 
Veronese surface or a degenerate Veronese surface. Fix a plane 
$P_{i}$ and consider the restriction of the cubics to this plane.  In the plane
the cubics of $Y$ are singular along a conic, while the general cubic hypersurfaces 
of $V$ are
singular only in four points.  Let $x=y=z=0$ be the equations for the plane $P_i$,
and assume that
$F_{0:1}$ and $F_{1:0}$ are singular along the conics $q_1$ and $q_2$,
respectively.  Then the equation for a cubic hypersurface in the pencil
generated by $F_{0:1}$ and $F_{1:0}$ has the form $F_{s:t}=sq_1L_1+tq_2L_2 +
g(s,t)$, where the $L_1$ and $L_2$ are linear forms in $x,y,z$ and
$g(s,t)$ is quadratic in $x,y,z$.  If $q_1$ and $q_2$ are not proportional or have a common line component,
then $F_{s:t}$ is singular along a a conic in $P_{i}$ only if $st=0$ 
or $L_{1}$ and $L_{2}$ are proportional.  In the latter case each 
cubic in the pencil is singular along a conic in $P_{i}$.  Consider 
the restriction of the pencil of cubics to the hyperplane $H_{1}$ defined by the 
linear form $L_{1}$.  These cubics are all singular along the plane 
$P_{i}$.  The intersection of $H_{1}$ with the four remaining planes are 
lines.   The pencil of cubics have the form:  $$ax^2+bxy+cy^2$$ where 
$a,b,c$ are linear in $u,v,w$ and in the parameters $s,t$ of the 
pencil.  Any such cubic threefold is the union of a one 
parameter family of planes. 


, the general cubic of the pencil has only four singular points in the plane $P_i$. 
In that case the linear forms $L_1$ and $L_2$ are not proportional and the cubic hypersurface 
$V(F_{s:t})$ is singular along a conic in $P_i$ if and only if $st=0$.
Therefore a third cubic hypersurface in $V$ could be singular along a conic in $P_i$ only if $q_1$ and $q_2$ are proportional, i.e. the two original, possibly degenerate, Veronese surfaces intersect along a conic section. 
Now, this argument may be applied at all five planes. So unless the 
pencil contains only two cubic hypersurfaces belonging to $Y$, we may assume that
the  two possibly degenerate Veronese surfaces intersect
along $5$ conics.  But each quadric hypersurface that contains the five conics contains any possibly degenerate Veronese surface that they are contained in, so the Veronese surfaces must coincide, contrary to assumption.   
\QED



Next, we fix a plane, say $P_1$ and consider the pencil of conic intersections with
Veronese surfaces in the family $Y$. Since each
Veronese surface intersects the plane in a unique conic in the pencil of conics through the four intersection points, the incidence between Veronese
surfaces and conics defines a morphism $\pi_1:Y\to\PP^1$. There is 
precisely at net of cubic hypersurfaces in $V$ that are singular 
along a conic in the plane $P_{1}$, so the
fibers of the map $\pi_1$ are all plane curves. Furthermore the fibers must be conics, since there are only finitely many lines on $Y$ and no trisecants. We may describe the
singular fibers:  The fiber over a singular conic consists of degenerate Veronese surfaces:
Over the conic $L_{23}L_{45}$ there is the pencil with fixed plane
$P_{123}$ and the pencil with fixed plane $P_{145}$, and the two pencils
meet in the degenerate Veronese surface containing both of these planes.
Thus three fibers of the above map are singular conics.  Moreover,
since we have accounted for the lines, there are only these singular
members of the pencil.  The five  pencils  of plane conics  first
implies that the surface $S$ is rational. The only possible singular
points are the three component degenerations.  Thus, $Y$ is an 
irreducible rational surface with at most ten singular points.
Consider its minimal resolution of singularities $Y'$, and the 
pullback $H$
of a hyperplane in ${\bf P} V$. Since $Y$ has five pencils of conic 
curves and only finitely many lines, the adjunction map 
must be constant, i.e.  $Y$ is a Del Pezzo surface.
Since it contains exactly ten lines and has no trisecants, it must 
have degree $5$ and span ${\bf P} V$.















Consider now the family of cubic hypersurfaces in $\Pn 5$ that are
singular along a Veronese surface, and let $S$ be the reduced closure
of this
family.  First of all, $S$ is a surface, since it parametrizes
Veronese surfaces through the intersection points of $5$ planes.
Secondly, it contains a curve of degree 10 with ten linear components
whose dual graph
is a Petersen graph.  Thirdly, we may define five distint pencils of
conics on the surface $S$.  For each of the five planes, consider the
map that associates a Veronese surface to its conic intersection
in that plane.  Since the conic passes through the four intersection
points with the other planes, it belongs to the pencil of conics
through these points.  Therefore the map defines a pencil of curves
on $S$.  Now every Veronese surface intersect the plane in a unique
conic, so the map is in fact a morphism, and the pencil of curves has
no basepoints.  The fibers over the singular conics are easy to
describe.  They are the degenerate Veronese surfaces associated to
planes $P_{ijk}$ meeting our plane in two of the four points.
In particular these fibers consist settheretically of two intersecting
lines in $S$.
On the other hand each fiber is contained in a plane: On the one hand
to cubic in the family is singular along a plane. For a cubic
containg a plane, and singular in the four points of intersection with
the other planes, it is 3 conditions to be singular in a further point
in the plane (if less then some would be singular in the plane),
i.e. there is precisely a plane of cubic hypersurfaces
singular along a conic in one of the five planes.
The three  singular fibers are therefore plane conics.  Moreover,
since we have accounted for the lines, there is only these singular
members of the pencil.  These five  pencils  of plane conics  first
implies that the surface $S$ is rational. The only possible singular
points are the three component degenerations.  Furthermore it has no
proper trisecant lines.  The adjunction map H+K defines a constant
map, so $S$ is the Del Pezzo of degree $5$.








Fix a plane, say $P_1$ and consider the pencil of conic intersections with
Veronese surfaces in the family $Y$. The incidence between Veronese
surfaces and conics defines a morphism $\pi_1:Y->\Pn 1$, since each
Veronese surface intersect in a unique conic. By the above remark the
fibers are all plane curves. By the trisecant lemma they are conics, since
there are only finitely many lines on $Y$. In fact we may describe the
singular fibers more precisely.


We start by describing some degenerations of line 
arrangements of degree $5$.  Consider a $\PP^{2}\times A_1$ with four lines fixed
in $\PP^{2}$ and a fifth moving with $t\in A_1$.  Assume that the five lines
$C_t$ are distinct and no three are concurrent when $t\notequal 0$, while
$C_0$ has one triple point, two triple points or a double line.  In the
first two cases we blow up the product in the triple points of $C_0$ and
get either one exceptional plane and an $F_1$, or two exceptional planes
and a plane blown up in two points as the central fiber.  In the third
case, blow up the double line. The central fiber in this case is a plane
and a scroll $F_1$. We will see that all these degenerations occur in our 
family $Y$.

But first, we look at some divisors in $X$: There are (at least) three kinds of
boundary divisors on $X$:

 1.$D_{ij}$: All planes through the point of intersection $P_{i} \cap P_{j}$ and
meeting the
three remaining ones.  ( this divisor is isomorphic to a projection 
of $\Pn 1x\Pn 1x\Pn 1$
from a point in its Segre embedding)
2.$D^{ij}$: All planes in the span of $P_{i} \cup P_{j}$ that intersect the three
other
ones.  This divisor is isomorphic to the previous one.
3. $D_{ijk}$: All planes that meet the plane spanned by the three
intersection points $P_{i}\cap P_{j}$, $P_{j} \cap P_{k}$ and $P_{k} \cap 
P_{i}$ in a line, and meet the two
remaining
planes. This divisor is a $\Pn 1$-bundle(scroll) over $\PP^{2}$.

The general plane in the first divisor gives a smooth Veronese
surface, the general one in the two other divisors give the union of a
cubic scroll and a plane through its directrix.

The family of planes of a given Veronese surface is a $3-$uple Veronese
surface ( this is the embedding of the dual plane).  In the degenerate
case of a plane and a cubic scroll, this surface degenerates to the union
of a $2-$uple Veronese and a rational scroll $(S(2,3))$ of degree $5$.
[Intersection of boundary divisors:
$D_{123}\cap D_{345}$: Planes through a point (in a $P_3$) intersecting
$P_{123}$ and $P_{345}$ in a line. These planes form a quadric surface on
$X$.

$D_{123}\cap D_{234}$  form a conic section in $X$.]







This curve has  degree $10$ and arithmetic genus $6$:  Each pencil
form a line where the corresponding hypersurfaces have a fixed hyperplane
component. The curve, if it spans $\Pn 5$ is a singular canonical curve
which is the interesction of a Del Pezzo surface of degree $5$ and a
quadric hypersurface.  Our aim is to prove the $Y$ coincides with this Del
Pezzo surface.


We analyze further the space $V$ of cubic hypersurfaces.  First, no cubic
in $V$ is singular along a plane $P$:  If so let $P'$ be a $3-$space
spanned by $P$ and a point of intersection between two of the other
planes.  Since the cubic is singular in the intersection point, its
restriction to $P'$ must be.  But the restriction must be the union of a
double plane at $P$ and a plane through the intersection point, a
contradiction.  Consequently, there is precisely a net of cubics in $V$
that are singular at some point in $P$ outside the original four.  In fact
since the cubics already contain $P$, it is at most $3$ conditions to be
singular at some point in the plane, and if it is $2$ or less conditions
at some point, it would be at most $5$ conditions to be singular in $6$
points not on a conic, so there would be a cubic in $V$ singular along the
plane.




Moving to another of the five planes $P_i$, at least one of the singular
fibers of $\pi_1$ defines a section of the map $\pi_i$.   To show that the
general fiber is smooth, assume they are all singular.  Then there must be
a pencil of cubic hypersurfaces, all singular along some Veronese surface.
But this is impossible, by Bertini. So in fact the only lines in fibers
are those of degenerate Veronese surfaces, which we already accounted for.
In conclusion we have five  pencils of conics on the surface, just like
the Del Pezzo.


Now, we consider the surface$S$ and the five pencils defned..



Therefore they have at least finite scheme of a degree 12 in common.
Thus if more than $2$ cubics in the pencil are singular along a Veronese
surface, then they all
If this is to happen for all five planes, we have to be in the case where
$L_1$ and $L_2$ are proportional in at least 4? of the cases.




 The general fiber is therefore smooth or is another singular conic.
Now, for each plane $P_i$ the intersection with a Veronese surface
belonging

Consider the self map
$\Pn 5\to \Pn 5$ defined by these cubics. This map is generically $3:1$.
The restriction to a Veronese surface maps the surface isomorphically to a
plane.
In the dual space to the target: are these planes the tangent planes to  a
Del Pezzo surface?







For each of these Veronese surfaces the union of secant lines form a
cubic
fourfold:
If the Veronese surface is smooth, then the cubic is the determinant of
a
symmetric matrix.
If the surface is the union of a plane and a cubic scroll, then the
cubic
is the union of the $\Pn 4$ of the cubic scroll and the quadric cone
with
vertex the plane over the base conic of the cubic scroll.
If the surface is the union of two planes and a quadric surface, then
the
cubic is the union of three $\Pn 4$'s.

The cubic hypersurfaces singular at the ten points of intersection of
the
five planes $P_i$ form $6$-dimensional vector space:  The space of
cubics
that contain the five planes is $16$-dimensional.  A singularity at an
intersection point imposes one linear condition, so altogether ten which
leaves a $6$-dimensional vector space for the $10$-nodal cubics.

The surface $Y$ has a natural embedding in the corresponding $\Pn 5$ of
cubic hyper surfaces, since any two degenerate Veronese surfaces
determine
distinct cubic hypersurfaces.

The cubic hypersurfaces of the degenerate Veronese surfaces enumerated
above form a curve of degree $10$ and arithmetic genus $6$:  Each pencil
form a line where the corresponding hypersurfaces have a fixed
hyperplane
component. The curve, if it spans $\Pn 5$ is a singular canonical curve
which is the interesction of a Del Pezzo surface of degree $5$ and a
quadric hypersurface.  Our aim is to prove the $Y$ coincides with this
Del
Pezzo surface.

Fix a plane, say $P_1$ and consider the pencil of conic intersections
with
Veronese surfaces in the family $Y$. The incidence between Veronese
surfaces and conics defines a morphism $\pi_1:Y->\Pn 1$, since each
Veronese surface intersect in a unique conic. The fiber over a singular
conic consists of degenerate Veronese surfaces: Over the conic
$L_{23}L_{45}$ there is the pencil with fixed plane $P_{123}$ and the
pencil with fixed plane $P_{145}$, and the two pencils meet in the
degenerate Veronese surface containing both of these planes.  Thus three
fibers of the above map is a singular conic.
Moving to another of the five planes $P_i$, at least one of the singular
fibers of $\pi_1$ defines a section of the map $\pi_i$.   To show that
the
general fiber is smooth, assume they are all singular.  Then there must
be
a pencil of cubic hypersurfaces, all singular along some Veronese
surface.
But this is impossible, by Bertini. So in fact the only lines in fibers
are those of degenerate Veronese surfaces, which we already accounted
for.
In conclusion we have five  pencils of conics on the surface, just like
the DelPezzo.





  The general fiber is therefore smooth or is another singular conic.
Now, for each plane $P_i$ the intersection with a Veronese surface
belonging

Consider the self map
$\Pn 5\to \Pn 5$ defined by these cubics. This map is generically $3:1$.
The restriction to a Veronese surface maps the surface isomorphically
to a
plane.
In the dual space to the target: are these planes the tangent planes to
  a
Del Pezzo surface?


Consider two Veronese surfaces and their respective singular cubic
threefolds.
If the pencil generated by the two cubics contains another singular
cubic,
then every member is a singular cubic, and they have a fixed component.
In fact look at the restriction of the cubics to a plane.  In the plane
the singular cubics are singular along a conic, while the general is
singular only along the four points.   At most two cubics in a pencil
can
be singular in a conic, unless they have a common component and they all
are:  Let $x=y=z=0$ be the equations for the plane $P_1$, and assume
that
$F_1$ and $F_2$ are singular along the conics $q_1$ and $q_2$,
respectively.  Then the equation for a cubic hypersurface in the pencil
generated by $F_1$ and $F_2$ has the form $F_{s:t}=[sq_1L_1+tq_2L_2 +
g(s,t)$, where the $L_1$ and $L_2$ are linear forms in $x,y,z$ and
$g(s,t)$ is quadratic in $x,y,z$.  The cubic hypersurface $V(F_{s:t}$ is
singular along a conic in $P_1$ if and only if $st=0$, $L_1$ and $L_2$
are
proportional or $q_1$ and $q_2$ are proportional.
In the two latter cases all cubic hypersurfaces in the pencil are
singular
along a conic in the plane.  In the first, the conic moves in the
pencil, while the the special hyperplane tangent along the conic is
fixed. In the latter, the conic is fixed, while the tangent hyperplane
moves in a pencil.  What remains is to show that this cannot happen at
all
five planes.  First of all, two Veronese surfaces in this family has
at most one common conic, since if they have two, then 6 quadrics
restrict to conics through
3 points.  Which means that the two Veroneses lie in three quadrics.
But then the yhree extra planes are also in these quadrics, so they
define a threefold, but this would be a cubic scroll, but this does
not have three pairwise intersecting planes.

Thus if more than $2$ cubics in the pencil are singular along a Veronese
surface, then they all have a common tangent hyperplane at four planes.

If this is to happen for all five planes, we have to be in the case
where
$L_1$ and $L_2$ are proportional in at least 4? of the cases.


A constructive existence proof: Fix three pairwise intersecting planes.
Consider the nets of hyperplanes through each of these.  An
isomorphism between the three nets with no fixed points defines the
planes of a Veronese surface.  Isomorphisms are fixed by three
additional pairwise intersecting planes.  Can we prove that the union
of the family of planes form a cubic hypersurface?





Consider two Veronese surfaces and their respective singular cubic
threefolds.
If the pencil generated by the two cubics contains another singular
cubic,
then every member is a singular cubic, and they have a fixed component.
In fact look at the restriction of the cubics to a plane.  In the plane
the singular cubics are singular along a conic, while the general is
singular only along the four points.   At most two cubics in a pencil
can
be singular in a conic, unless they have a common component and they all
are:  Let $x=y=z=0$ be the equations for the plane $P_1$, and assume
that
$F_1$ and $F_2$ are singular along the conics $q_1$ and $q_2$,
respectively.  Then the equation for a cubic hypersurface in the pencil
generated by $F_1$ and $F_2$ has the form $F_{s:t}=[sq_1L_1+tq_2L_2 +
g(s,t)$, where the $L_1$ and $L_2$ are linear forms in $x,y,z$ and
$g(s,t)$ is quadratic in $x,y,z$.  The cubic hypersurface $V(F_{s:t}$ is
singular along a conic in $P_1$ if and only if $st=0$, $L_1$ and $L_2$
are
proportional or $q_1$ and $q_2$ are proportional.
In the two latter cases all cubic hypersurfaces in the pencil are
singular
along a conic in the plane.
The same argument may be applied at all five planes. So we may assume
that
every cubic in the pencil is singular along a conic in each of the five
planes. For each plane there are two possibilieties: either the conic is
fixed, or the linear form $L$ is fixed.  If the former is the case for
more than one plane, then we would have two Veronese surfaces intersect
along $d$ conics and along $5-d\choose 2$ points, with $d>1$.  Thus the
two Veronese surfaces are in at least $d+1$ quadrics.  This is easily
shown to be impossible. Therefore two veronese surfaces have at most one
conic in common, and in the pencil of cubics it is the linear form $L$
that is fixed for the pencil at at least four planes.
Consider now the dual Veronese surfaces.  The linear form is a point on
the dual Veronese, while the hyperplanes throuh the plane of a conic
define a tangent plane to the dual Veronese.  Thus the dual Veronese
surfaces have at least four points in common where even the tangent
planes
coincides. Dual to the fifth plane, they have a common tangent plane,
but
they do not intersect.  Their union would lie in a net of quadrics, so
the
quadrics define a cubic scroll or a complete intersection.  In the first
case the intersection curve is an elliptic sextic curve. But this curve
cannot have four singular points, so the inersection of the quadrics
must
be a cubic scroll.  On the scroll, the veronese surface muct intersect
each plane in a conic and the scroll must be a cone, so the two veronese
surfaces intersect in a  curve of degree $4$.  But this violates the
previous condition on intersections.
