 \}.   
\end{aligned}$$ Then $\Sigma_s$ is the image of the projection $\pi_1: {\widetilde \Sigma_s} {\longrightarrow}G(t,S_d)$.

Each fibre of the projection $\pi_2: {\widetilde \Sigma_s} {\longrightarrow}U_s $ is of dimension $t(s-t)$, hence $\dim {\widetilde \Sigma_s} =s+t(s-t)$.

[[proof.]{}]{}Each $\Lambda \in \pi_2^{-1}({{\underline L}})$ is a subspace of the (finite) union $$\bigcup\limits_{\ell_{{{\underline \alpha}}} \leqslant s} W({{\underline \alpha}},{{\underline L}}),$$ hence it is a subspace of one of the $W$. Now use the fact that $\dim G(t,W)$ equals $t (\dim W -t)$. [[$\Box$]{}]{}

Thus we have a na[" i]{}ve estimate $$\dim \, \Sigma_s \le   
\min\, \{\, \underbrace{s+t(s-t)}_{N_1},   
\,\underbrace{t(d-t+1)}_{N_2} \, \}.  
\label{dimsigma.s}$$

In (\[dimsigma.s\]), we have an equality. \[theorem.dimsigma\]

[[proof.]{}]{} Assume $N_1 < N_2$. We will exhibit a level Hilbert function ${{\underline h}}$ of type $(t,d)$ such that $h_s = s$ and $\dim {\mathcal L}^\circ({{\underline h}}) = N_1$. Then by construction, for each $\Lambda \in {\mathcal L}^\circ({{\underline h}})$ there is a nonzero form in $R_s$ which is apolar $\Lambda$. This form defines a secant $(s-1)$-plane containing ${{\mathbf P}}\Lambda$. Hence ${\mathcal L}^\circ({{\underline h}}) \subseteq \Sigma_s$, which forces $\dim \Sigma_s = N_1$.

Let $m$ be the unique integer such that $(m+1)t > s \ge mt$. Then $N_1 < N_2$ forces $s \le d-m$. Define a sequence ${{\underline h}}$ by $$h_i = \begin{cases}
i+1 & \text{for $0 \le i \le s-
\ }.   
 \end{aligned}$$ Then $ \Sigma_s$ is the image of the projection $ \pi_1: { \widetilde \Sigma_s } { \longrightarrow}G(t, S_d)$. 

 Each fibre of the projection $ \pi_2: { \widetilde \Sigma_s } { \longrightarrow}U_s $ is of property $ t(s - t)$, therefore $ \dim { \widetilde \Sigma_s } = s+t(s - t)$. 

 [ [ proof.]{}]{}Each $ \Lambda \in \pi_2^{-1}({{\underline L}})$ is a subspace of the (finite) union $ $ \bigcup\limits_{\ell_{{{\underline \alpha } } } \leqslant s } W({{\underline \alpha}},{{\underline L}}),$$ hence it is a subspace of one of the $ W$. nowadays practice the fact that $ \dim G(t, W)$ equals $ t (\dim W -t)$. [ [ $ \Box$ ] { } ] { } 

 Thus we have a na [ " i]{}ve calculate $ $ \dim \, \Sigma_s \le   
 \min\, \{\, \underbrace{s+t(s - t)}_{N_1 },   
 \,\underbrace{t(d - t+1)}_{N_2 } \, \ }.  
 \label{dimsigma.s}$$ 

 In (\[dimsigma.s\ ]), we give birth an equality. \[theorem.dimsigma\ ] 

 [ [ proof. ] { } ] { } Assume $ N_1 < N_2$. We will exhibit a level Hilbert routine $ { { \underline h}}$ of type $ (t, d)$ such that $ h_s = s$ and $ \dim { \mathcal L}^\circ({{\underline henry } }) = N_1$. Then by structure, for each $ \Lambda \in { \mathcal L}^\circ({{\underline h}})$ there is a nonzero form in $ R_s$ which is apolar $ \Lambda$. This human body defines a secant $ (s-1)$-plane containing $ { { \mathbf P}}\Lambda$. therefore $ { \mathcal L}^\circ({{\underline h } }) \subseteq \Sigma_s$, which forces $ \dim \Sigma_s = N_1$. 

 Let $ m$ be the singular integer such that $ (m+1)t > s \ge mt$. Then $ N_1 < N_2 $ forces $ s \le d - m$. Define a succession $ { { \underline h}}$ by $ $ h_i = \begin{cases } 
 i+1 & \text{for $ 0 \le i \le s-
 \}.   
\end{aligned}$$ Then $\Sigma_s$ ls the image of jhw projxction $\li_1: {\widetklde \Sigma_s} {\longrightarrow}G(t,D_d)$.

Wach dibre of the projectiov $\pi_2: {\widenilde \Signa_s} {\oingrightarckw}U_s $ is of djlensnoi $t(s-t)$, hence $\dim {\widetilde \Sigma_s} =s+t(s-t)$.

[[prmow.]{}]{}Ecch $\Lambda \in \pi_2^{-1}({{\underline L}})$ is a subfpace og hhe (finite) unijn $$\bpgsup\ljmits_{\ell_{{{\underline \alpha}}} \leqslant s} W({{\undernine \alpha}},{{\undrrline L}}),$$ hence it is a subdpacf of one of the $W$. Jow use the face that $\dim G(t,D)$ equals $t (\dim W -t)$. [[$\Box$]{}]{}

Jhus we have a na[" i]{}ve estimate $$\dkm \, \Sngma_s \le   
\nib\, \{\, \ktderbrace{s+t(w-t)}_{N_1},   
\,\underbrace{t(d-t+1)}_{N_2} \, \}.  
\ldbel{dimxigma.s}$$

In (\[dimsinma.s\]), xe hqve an equality. \[theorxm.dimsigma\]

[[proof.]{}]{} Assuie $N_1 < N_2$. Wa cill exhibit a level Yiobert funwtiov ${{\unaermiie g}}$ of tjpe $(t,d)$ such tgat $h_s = s$ abd $\dim {\mathcal L}^\cirv({{\ugeerline h}}) = N_1$. Fhen br sonstruction, for each $\Lambda \in {\mathcal L}^\cjrc({{\underline h}})$ there is a nonzero form in $R_s$ which is apolar $\Lambda$. This form defines a secant $(s-1)$-plane wontamnkng ${{\mwgybv P}}\Lambda$. Hence ${\mathcal L}^\circ({{\underline h}}) \subsqfea \Xigma_s$, which fjrces $\dim \Sogla_x = N_1$.

Let $m$ be tfe unique integer such that $(m+1)t > s \de mt$. Then $N_1 < G_2$ fotces $s \le d-m$. Define a sequebce ${{\underlinv h}}$ vy $$h_i = \begin{cases}
i+1 & \text{for $0 \ue i \le s-
\}. \end{aligned}$$ Then $\Sigma_s$ is the image projection {\widetilde \Sigma_s} Each fibre of {\longrightarrow}U_s is of dimension hence $\dim {\widetilde =s+t(s-t)$. [[proof.]{}]{}Each $\Lambda \in \pi_2^{-1}({{\underline L}})$ a subspace of the (finite) union $$\bigcup\limits_{\ell_{{{\underline \alpha}}} \leqslant s} W({{\underline \alpha}},{{\underline L}}),$$ it is a subspace of one of the $W$. Now use the fact $\dim equals (\dim -t)$. [[$\Box$]{}]{} Thus we have a na[" i]{}ve estimate $$\dim \, \Sigma_s \le \min\, \{\, \underbrace{s+t(s-t)}_{N_1}, \, \}. \label{dimsigma.s}$$ In (\[dimsigma.s\]), we have an \[theorem.dimsigma\] [[proof.]{}]{} Assume $N_1 N_2$. We will exhibit a Hilbert ${{\underline h}}$ type such $h_s = s$ $\dim {\mathcal L}^\circ({{\underline h}}) = N_1$. Then by construction, for each $\Lambda \in {\mathcal L}^\circ({{\underline h}})$ there a nonzero $R_s$ which apolar This defines a secant ${{\mathbf P}}\Lambda$. Hence ${\mathcal L}^\circ({{\underline h}}) forces $\dim \Sigma_s = N_1$. Let $m$ be unique integer that $(m+1)t > s \ge mt$. $N_1 < N_2$ forces $s \le d-m$. Define sequence ${{\underline h}}$ by $$h_i = \begin{cases} i+1 & \text{for $0 \le i \le s-
 \}.   
\end{aligned}$$ Then $\Sigma_s$ is the Image of the ProjeCtiOn $\pI_1: {\wIdetIlde \sigma_s} {\longrighTArroW}G(t,S_d)$.

Each fibre of the proJectiOn $\PI_2: {\widETiLde \SiGma_s} {\lonGRiGHTarRoW}U_S $ is Of DImEnsioN $t(s-T)$, hence $\dIm {\widetildE \SiGmA_s} =s+t(s-t)$.

[[proof.]{}]{}EACh $\lambda \in \pi_2^{-1}({{\UndErline L}})$ is a suBspAce of tHe (FinITe) uniOn $$\bIgcup\Limits_{\ELl_{{{\undeRline \alphA}}} \lEQslant S} w({{\underlINE \aLpha}},{{\Underline L}}),$$ hence it IS a SUbspace of one of The $W$. NoW uSE tHE FacT thAt $\dim G(t,W)$ eqUaLs $t (\diM w -t)$. [[$\Box$]{}]{}

ThUS wE HAVe a NA[" i]{}ve estimate $$\dIm \, \Sigma_s \le   
\mIN\, \{\, \unDerbraCe{S+t(s-T)}_{n_1},   
\,\underBrace{T(d-T+1)}_{n_2} \, \}.  
\laBel{dimsigma.S}$$

In (\[dImsigma.s\]), wE have aN EqualitY. \[Theorem.DimsigMa\]

[[pRooF.]{}]{} AssUMe $n_1 < N_2$. we wIlL ExhIBiT a lEVel hilbert fUnCtIon ${{\unDerlINE H}}$ Of tyPe $(t,D)$ sucH that $H_s = s$ and $\dim {\mathCal l}^\cirC({{\UndErlinE h}}) = N_1$. ThEn by CoNstruCtion, fOr eacH $\LAmbda \in {\mathcal L}^\Circ({{\Underline H}})$ thErE is A nOnzerO Form in $r_s$ wHicH is apolAr $\LambdA$. thiS fORM DeFines a secant $(s-1)$-plane CoNTAiNing ${{\mathBf P}}\LamBDa$. heNCe ${\mathcaL L}^\CirC({{\undERLine h}}) \SubsETeQ \Sigma_s$, wHich foRCeS $\dIm \Sigma_S = N_1$.

let $m$ be ThE unIquE inteGEr suCh that $(M+1)t > s \ge mt$. THen $N_1 < N_2$ FOrces $s \le d-m$. DefiNE a sequence ${{\undERlINE h}}$ BY $$h_i = \bEgiN{cases}
i+1 & \text{For $0 \lE I \le s-
 \}.   
\end{aligned}$$ Th en $\Sigma _s$ i s t heim ageof t he projection$ \pi_ 1: {\widetilde \Sigma_ s} {\ lo n grig h ta rrow} G(t,S_d ) $. Eac hfi bre  o f  t he pr oje ction $ \pi_2: {\w ide ti lde \Sigma_s }  { \longright arr ow}U_s $ isofdimens io n $ t (s-t) $,hence  $\dim {\wide tilde \Si gm a _s} =s + t(s-t)$ . 
[ [pro of.]{}]{}Each $\L a mb d a \in \pi_2^{- 1}({{\ un d er l i neL}} )$ is a su bs paceo f the ( f in i t e ) u n ion $$\bigcup \limits_{\e l l_{ {{\und er lin e  \alph a}}}\l e qsl ant s} W({{ \und erline \a lpha}} , {{\unde r line L} }),$$hen ceit i s  a  s ubs pa c e o f  o neo f t he $W$.No wuse t he f a c t that  $\ dimG(t,W )$ equals $t(\d im W -t) $. [[ $\Box $]{} ]{ }

Th us wehaveana[" i]{}ve est imat e $$\dim\,\S igm a_ s \le   
\mi n\,  \{ \, \und erbrace { s+t (s - t ) }_ {N_1},   
\,\under br a c e{ t(d-t+1) }_{N_2 }  \ ,\ }.  
\la be l{d imsi g m a.s}$ $

I n  ( \[dimsig ma.s\] ) ,we  have a nequali ty . \ [th eorem . dims igma\] 

[[proo f.]{} ] {} Assume $N_1 < N_2$. We wi l le x hi b it a  le vel Hilbert  fun c tion  ${{ \ un der l ine h }}$ o ft yp e  $(t,d)$ such that$h _s = s $ and  $\dim {\math cal L}^\ci r c ( {{\under line h} } ) = N_1$. Then  by c onstructio n , for ea ch $\ Lambda \ in {\math c a l L}^\ci rc( {{\ und erl i n eh}})$ there i s a no nz ero for m i n $R_s$  wh ich  is  ap ol ar $\Lamb da$. Thi sfo rm  d efi nes a secant $ (s -1) $- pla ne co n tainin g ${{ \mat hb fP }}\ Lambda$ .  H e n ce $ {\ ma thca l L }^ \circ ({{\ u nde rline h }}) \subs ete q  \Si gm a_ s$, whi ch forces $\d im  \Sigma_s=N_1 $.

Le t $m$ be t he unique integer sucht hat $(m +1) t > s  \ge  mt$. The n $ N_1 <N_2 $  force s $s \ le d- m$ . D e f ine a s eq uen ce  ${{\under l i neh}}$by  $$h _i = \b egin{cases}
i+1 &\ tex t{for $0 \lei \ le s - 
 \}._ _
\end{aligned}$$ Then $\Sigma_s$ is_the image_of_the projection_$\pi_1:_{\widetilde \Sigma_s} {\longrightarrow}G(t,S_d)$.

Each_fibre of the_projection $\pi_2: {\widetilde \Sigma_s}_{\longrightarrow}U_s $ is_of_dimension $t(s-t)$, hence $\dim {\widetilde \Sigma_s} =s+t(s-t)$.

[[proof.]{}]{}Each $\Lambda \in \pi_2^{-1}({{\underline L}})$ is a subspace_of_the (finite)_union_$$\bigcup\limits_{\ell_{{{\underline_\alpha}}} \leqslant s} W({{\underline \alpha}},{{\underline_L}}),$$ hence it is a_subspace of_one of the $W$. Now use the fact_that_$\dim G(t,W)$ equals_$t (\dim W -t)$. [[$\Box$]{}]{}

Thus we have a na["_i]{}ve estimate $$\dim \, \Sigma_s \le_  
\min\,_\{\,_\underbrace{s+t(s-t)}_{N_1},_  
\,\underbrace{t(d-t+1)}_{N_2} \,_\}.  
\label{dimsigma.s}$$

In (\[dimsigma.s\]), we have_an equality. \[theorem.dimsigma\]

[[proof.]{}]{} Assume $N_1 <_N_2$. We will exhibit a level Hilbert_function ${{\underline h}}$ of type $(t,d)$_such that $h_s = s$_and $\dim_{\mathcal L}^\circ({{\underline h}}) = N_1$._Then by construction,_for each_$\Lambda \in {\mathcal_L}^\circ({{\underline h}})$ there is a nonzero_form in $R_s$_which is apolar $\Lambda$. This form_defines_a secant $(s-1)$-plane_containing_${{\mathbf_P}}\Lambda$. Hence_${\mathcal L}^\circ({{\underline h}})_\subseteq_\Sigma_s$, which_forces_$\dim \Sigma_s = N_1$.

Let $m$ be_the_unique integer such that $(m+1)t > s_\ge mt$. Then $N_1_<_N_2$ forces $s \le_d-m$. Define a sequence ${{\underline_h}}$ by $$h_i = \begin{cases}
i+1 &_\text{for $0_\le i_\le s-