 G(1,5) = Q + \Gamma + L_1 + L_2 + L_3.$$

![The canonical curve $C=\Gamma+Q+L_1+L_2+L_3.$[]{data-label="fig:cover"}](curve8.pdf){width="2.3in"}

Bertini’s Theorem implies that a general $8$-dimensional space $\langle \Gamma \rangle\subseteq \PP^8\subseteq \PP^{14}$ cuts out on $\mathbf G(1,5)$ a smooth 2-dimensional linear section $T$, see also [@Ve], Propositions 3.2 and 3.3. By the adjunction formula, $T\hookrightarrow \PP^8$ is a smooth $K3$ surface (of genus $8$) polarized by $\mathcal O_T(C)$. We now describe the Picard lattice of $T$:

\[intnumb\] One has the following intersection products on $T$: $$Q^2=-2, \ Q \cdot \Gamma = 3,\  \  Q\cdot  L_i = 1, \  \ \  \Gamma \cdot L_i  = 2, \   \ L_i \cdot L_j = -2\delta_{ij},
 \ \ \mbox{ for } i,j=1,2,3.$$

The generality assumptions ensure that $L_i$ and $L_j$ are disjoint lines, for $i\neq j$. Else, if $L_i\cap L_j\neq \emptyset$, then $\langle p_i,p_j\rangle \subseteq P_i\cap P_j\subseteq \PP^5$. It follows that the four rulings of $R'$ passing through the points $x_i,y_i,x_j,y_j$ respectively, span a $6$-dimensional space in $\PP^8$, which is impossible for $$h^0\Bigl(R',\OO_{R'}(1)(-4(\ell-E))\Bigr)=h^0(R',\OO_{R'}(E))=1,$$ where recall that $\ell, E\in \mbox{Pic}(R')$ denote the line class and the exceptional divisor respectively. This implies that there exists a unique hyperplane in $\PP^8$ containing the four rulings, therefore they must span a $7$-dimensional linear space.

G(1,5) = Q + \Gamma + L_1 + L_2 + L_3.$$ 

! [ The canonical curve $ C=\Gamma+Q+L_1+L_2+L_3.$[]{data - label="fig: cover"}](curve8.pdf){width="2.3 in " } 

 Bertini ’s Theorem implies that a general $ 8$-dimensional quad $ \langle \Gamma \rangle\subseteq \PP^8\subseteq \PP^{14}$ cut out on $ \mathbf G(1,5)$ a smooth 2 - dimensional linear section $ T$, see besides [ @Ve ], Propositions 3.2 and 3.3. By the adjunction formula, $ T\hookrightarrow \PP^8 $ is a politic $ K3 $ surface (of genus $ 8 $) polarized by $ \mathcal O_T(C)$. We nowadays describe the Picard lattice of $ T$: 

 \[intnumb\ ] One suffer the following intersection intersection on $ T$: $ $ Q^2=-2, \ Q \cdot \Gamma = 3,\   \   Q\cdot   L_i = 1, \   \ \   \Gamma \cdot L_i   = 2, \    \ L_i \cdot L_j = -2\delta_{ij }, 
  \ \ \mbox { for } i, j=1,2,3.$$ 

 The generalization assumptions ensure that $ L_i$ and $ L_j$ are disjoint occupation, for $ i\neq j$. Else, if $ L_i\cap L_j\neq \emptyset$, then $ \langle p_i, p_j\rangle \subseteq P_i\cap P_j\subseteq \PP^5$. It follows that the four rulings of $ R'$ excrete through the points $ x_i, y_i, x_j, y_j$ respectively, span a $ 6$-dimensional space in $ \PP^8 $, which is impossible for $ $ h^0\Bigl(R',\OO_{R'}(1)(-4(\ell - E))\Bigr)=h^0(R',\OO_{R'}(E))=1,$$ where echo that $ \ell, E\in \mbox{Pic}(R')$ denote the line class and the exceeding divisor respectively. This implies that there exists a unique hyperplane in $ \PP^8 $ containing the four rulings, consequently they must span a $ 7$-dimensional linear space.
 G(1,5) = Q + \Gamma + L_1 + L_2 + L_3.$$

![The cakonical curve $C=\Gcnma+Q+L_1+L_2+N_3.$[]{data-lzbel="fig:cuver"}](curve8.pdf){width="2.3in"}

Bertini’s Vheoeem inplies that a general $8$-aimensionwl space $\lanjle \Gamma \rangle\subseteq \PP^8\subacteq \'P^{14}$ cuts out on $\msthbf G(1,5)$ a vmooth 2-dimensimnxl linear section $T$, see also [@Ve], Propofitions 3.2 wnd 3.3. By the adtuncuiog fodmula, $T\hookrightarrow \PP^8$ is a smoofh $K3$ sugface (of genus $8$) pplarized by $\mathcal O_T(C)$. We now describe the Picagd lattice if $T$:

\[ybtnumb\] One hxs the following interaection products on $T$: $$Q^2=-2, \ Q \cdot \Gammc = 3,\  \  Q\cdoj  L_l = 1, \  \ \  \Gamna \cdjt L_i  = 2, \   \ L_i \cdot L_j = -2\dekta_{ij},
 \ \ \mbox{ fpr } i,j=1,2,3.$$

Rhe generality assumpvions ensure that $L_i$ and $L_j$ ase disjoint lines, fir $i\neq j$. Ense, kd $L_k\cak L_o\nes \emptjsev$, then $\langme p_i,p_j\rangoe \subseteq P_i\cap P_k\stvseteq \PP^5$. It rollowf ehat the four rulings of $R'$ passing throlgh fhe points $x_i,y_i,x_j,y_j$ respectively, span a $6$-dimejsional s[ace in $\PP^8$, which is impossible for $$h^0\Bigl(R',\OO_{R'}(1)(-4(\ell-E))\Bhgr)=h^0(R',\KU_{R'}(E))=1,$$ wmere eefall that $\ell, E\in \mbox{Pic}(R')$ denote the line clwas akd the exceptioncl divisor respevtlvrjy. This impligs that thsre exists a uniquf hyperklane un $\PP^8$ conuainimg the four rulings, therefoee they must wpan a $7$-dimensional linear spaee.

G(1,5) = Q + \Gamma + L_1 + ![The canonical $C=\Gamma+Q+L_1+L_2+L_3.$[]{data-label="fig:cover"}](curve8.pdf){width="2.3in"} Bertini’s Theorem space \Gamma \rangle\subseteq \PP^8\subseteq cuts out on G(1,5)$ a smooth 2-dimensional linear section see also [@Ve], Propositions 3.2 and 3.3. By the adjunction formula, $T\hookrightarrow \PP^8$ a smooth $K3$ surface (of genus $8$) polarized by $\mathcal O_T(C)$. We now the lattice $T$: One has the following intersection products on $T$: $$Q^2=-2, \ Q \cdot \Gamma = 3,\ \ L_i = 1, \ \ \ \Gamma \cdot = 2, \ \ \cdot L_j = -2\delta_{ij}, \ \mbox{ } i,j=1,2,3.$$ generality ensure $L_i$ and $L_j$ disjoint lines, for $i\neq j$. Else, if $L_i\cap L_j\neq \emptyset$, then $\langle p_i,p_j\rangle \subseteq P_i\cap P_j\subseteq \PP^5$. follows that rulings of passing the $x_i,y_i,x_j,y_j$ respectively, span space in $\PP^8$, which is impossible recall that $\ell, E\in \mbox{Pic}(R')$ denote the line and the divisor respectively. This implies that there a unique hyperplane in $\PP^8$ containing the four therefore they must span a $7$-dimensional linear space.
 G(1,5) = Q + \Gamma + L_1 + L_2 + L_3.$$

![The canonical curVe $C=\Gamma+Q+L_1+l_2+L_3.$[]{datA-laBel="FiG:covEr"}](cuRve8.pdf){width="2.3in"}

BERtinI’s Theorem implies that a gEneraL $8$-dIMensIOnAl spaCe $\langlE \gaMMA \raNgLe\SubSeTEq \pP^8\subSetEq \PP^{14}$ cutS out on $\mathBf G(1,5)$ A sMooth 2-dimensiONaL linear secTioN $T$, see also [@Ve], PRopOsitioNs 3.2 And 3.3. bY the aDjuNctioN formuLA, $T\hookRightarroW \Pp^8$ Is a smoOTh $K3$ surfACE (oF genUs $8$) polarized by $\mathCAl o_t(C)$. We now describE the PiCaRD lATTicE of $t$:

\[intnumb\] OnE hAs the FOllowinG InTERSecTIon products on $t$: $$Q^2=-2, \ Q \cdot \GammA = 3,\  \  q\cdOt  L_i = 1, \  \ \  \GaMmA \cdOT L_i  = 2, \   \ L_i \cDot L_j = -2\DeLTa_{iJ},
 \ \ \mbox{ for } i,j=1,2,3.$$

THe geNerality aSsumptIOns ensuRE that $L_i$ And $L_j$ aRe dIsjOint LInEs, For $I\nEQ j$. ELSe, If $L_I\Cap l_j\neq \empTySeT$, then $\LangLE P_I,P_j\raNglE \subSeteq p_i\cap P_j\subsetEq \Pp^5$. It fOLloWs thaT the fOur rUlIngs oF $R'$ passIng thRoUgh the points $x_i,y_I,x_j,y_J$ respectiVelY, sPan A $6$-dImensIOnal spAce In $\Pp^8$, which iS impossIBle FoR $$H^0\bIgL(R',\OO_{R'}(1)(-4(\ell-E))\Bigr)=h^0(R',\OO_{R'}(e))=1,$$ wHERe Recall thAt $\ell, E\IN \mBoX{pic}(R')$ denoTe The Line CLAss anD the EXcEptional DivisoR ReSpEctivelY. THis impLiEs tHat There EXistS a uniqUe hyperpLane iN $\pP^8$ containing thE Four rulings, thEReFORe THey mUst Span a $7$-dimensIonaL LineAr spACe.

 G(1,5) = Q + \Gamma + L_1  + L_2 + L _3.$$ 

! [Th ecano nica l curve $C=\Ga m ma+Q +L_1+L_2+L_3.$[]{data- label =" f ig:c o ve r"}]( curve8. p df ) { wid th =" 2.3 in " }
Bert ini ’s Theo rem implie s t ha t a general$ 8$ -dimension alspace $\lang le\Gamma  \ ran g le\su bse teq \ PP^8\s u bseteq  \PP^{14} $c uts ou t  on $\m a t hb f G( 1,5)$ a smooth 2- d im e nsional linear  secti on $T $ ,  se e a lso [@Ve],  P ropos i tions 3 . 2a n d  3. 3 . By the adju nction form u la,  $T\ho ok rig h tarrow  \PP^ 8$ isa smooth $K 3$ s urface (o f genu s  $8$) p o larized  by $\ mat hca l O_ T (C )$ . W en owd es cri b e t he Picar dla ttice  of$ T $ : 

\[ int numb \] On e has the fol low ingi nte rsect ion p rodu ct s on$T$: $ $Q^2= -2 , \ Q \cdot \Ga mma= 3,\  \ Q\ cd ot L _i =1 , \  \  \ \G amma \c dot L_i  =2, \  \ L_i \cdot L_j =-2 \ d el ta_{ij}, 
 \ \\ mb ox {  for } i ,j =1, 2,3. $ $ 

The  gen e ra lity ass umptio n sen sure th at  $L_i$  a nd$L_ j$ ar e  dis jointlines, f or $i \ neq j$. Else,i f $L_i\cap L_ j \n e q  \ e mpty set $, then $\l angl e  p_i ,p_j \ ra ngl e  \sub seteq  P _ i\ c ap P_j\subseteq \PP ^5 $. Itfollo ws that the f our ruling s o f $R'$ p assi n gt hrough the poi nts $ x_i,y_i,x_ j ,y_j$ re spect ively, s pan a $6$ - d imension alspa cein$ \ PP ^8$, which is i mpos si ble for  $$ h^0\Big l(R ',\ OO_ {R' }( 1)(-4(\el l-E))\Bi gr )= h^ 0( R', \OO_{ R '}(E))=1 ,$ $ w he rerecal l  that$\ell , E\ in  \ m box {Pic}(R ' )$ d enot eth e li necl ass a nd t h e e xceptio nal divis orr espe ct iv ely. Th is implies th at  there exi st s a  uniqu e hyperpla ne in $\PP^8$ containin g  the fo urrulin gs,therefore  th ey mus t s p an a $ 7$-dim ensio na l l i n ear s p a ce .

 G(1,5)_= Q_+ \Gamma + L_1_+ L_2_+_L_3.$$

![The canonical_curve_$C=\Gamma+Q+L_1+L_2+L_3.$[]{data-label="fig:cover"}](curve8.pdf){width="2.3in"}

Bertini’s Theorem implies_that a general_$8$-dimensional space $\langle \Gamma_\rangle\subseteq \PP^8\subseteq \PP^{14}$_cuts_out on $\mathbf G(1,5)$ a smooth 2-dimensional linear section $T$, see also [@Ve], Propositions_3.2_and 3.3._By_the_adjunction formula, $T\hookrightarrow \PP^8$ is_a smooth $K3$ surface (of_genus $8$)_polarized by $\mathcal O_T(C)$. We now describe the_Picard_lattice of $T$:

\[intnumb\]_One has the following intersection products on $T$: $$Q^2=-2,_\ Q \cdot \Gamma = 3,\_ \ _Q\cdot__L_i = 1, \_ \ \  \Gamma \cdot_L_i  = 2, \ _ \ L_i \cdot L_j = -2\delta_{ij},
_\ \ \mbox{ for } i,j=1,2,3.$$

The_generality assumptions ensure that $L_i$_and $L_j$_are disjoint lines, for $i\neq_j$. Else, if_$L_i\cap L_j\neq_\emptyset$, then $\langle_p_i,p_j\rangle \subseteq P_i\cap P_j\subseteq \PP^5$. It_follows that the_four rulings of $R'$ passing through_the_points $x_i,y_i,x_j,y_j$ respectively,_span_a_$6$-dimensional space_in $\PP^8$, which_is_impossible for_$$h^0\Bigl(R',\OO_{R'}(1)(-4(\ell-E))\Bigr)=h^0(R',\OO_{R'}(E))=1,$$_where recall that $\ell, E\in \mbox{Pic}(R')$_denote_the line class and the exceptional divisor_respectively. This implies that_there_exists a unique hyperplane_in $\PP^8$ containing the four_rulings, therefore they must span a_$7$-dimensional linear_space.
