iski tangent spaces is an isomorphism.

[*Proof.* ]{} (i) If $E\in B(n,d,k)$, then $(E,V)\in G_0(n,d,k)$ for any $k$-dimensional subspace of $H^0(E)$. It follows that the image of $\psi$ contains $B(n,d,k)$ as a non-empty Zariski-open subset. Since $G_0(n,d,k)$ is irreducible, it follows that $B(n,d,k)$ is irreducible.

\(ii) If $E\in B(n,d,k)-B(n,d,k+1)$, then $\psi^{-1}(E)=\{(E,H^0(E)\}$.

\(iii) follows from (i), (ii) and Lemma \[lem:bn2\].

\(iv) Taking $(E',V')=(E,V)$ in (\[long-exact\]) and putting $V=H^0(E)$, we get a map $${{\operatorname{Ext}}}^1((E,H^0(V)),(E,H^0(V)))\to {{\operatorname{Ext}}}^1(E,E)$$ which can be identified with the map $$T_{(E,H^0(E))}G_0(n,d,k)\to T_EM(n,d)$$ induced by $\psi$. By (\[long-exact\]) this map is injective and its image is $${{\operatorname{Ker}}}({{\operatorname{Ext}}}^1(E,E)\to {{\operatorname{Hom}}}(H^0(E),H^1(E))).$$ By standard Brill-Noether theory, this image becomes identified with the subspace $T_EB(n,d,k)$ of $T_EM(n,d)$.$\Box$

\[cor:smooth\] Suppose Conditions \[cond\] hold and $G_0(n,d,k)$ is smooth. Then $\psi$ is an isomorphism over $B(n,d,k)-B(n,d,k+1)$. Moreover, if ${{\operatorname{GCD}}}(n,d,k)=1$, then $G_0(n,d,k)$ is a desingularisation of the closure $\overline{B(n,d,k)}$ of $B(n,d,k)$
iski tangent spaces is an isomorphism. 

 [ * Proof. * ] { } (i) If $ E\in B(n, d, k)$, then $ (E, V)\in G_0(n, d, k)$ for any $ k$-dimensional subspace of $ H^0(E)$. It follow that the prototype of $ \psi$ contains $ B(n, d, k)$ as a non - empty Zariski - open subset. Since $ G_0(n, d, k)$ is irreducible, it follows that $ B(n, d, k)$ is irreducible. 

 \(ii) If $ E\in B(n, d, k)-B(n, d, k+1)$, then $ \psi^{-1}(E)=\{(E, H^0(E)\}$. 

 \(iii) postdate from (i), (ii) and Lemma \[lem: bn2\ ]. 

 \(iv) Taking $ (E',V')=(E, V)$ in (\[long - exact\ ]) and invest $ V = H^0(E)$, we get a function $ $ { { \operatorname{Ext}}}^1((E, H^0(V)),(E, H^0(V)))\to { { \operatorname{Ext}}}^1(E, E)$$ which can be identify with the map $ $ T_{(E, H^0(E))}G_0(n, d, k)\to T_EM(n, d)$$ induce by $ \psi$. By (\[long - exact\ ]) this map is injective and its image is $ $ { { \operatorname{Ker}}}({{\operatorname{Ext}}}^1(E, E)\to { { \operatorname{Hom}}}(H^0(E),H^1(E))).$$ By standard Brill - Noether hypothesis, this image becomes identified with the subspace $ T_EB(n, d, k)$ of $ T_EM(n, d)$.$\Box$ 

 \[cor: smooth\ ] Suppose Conditions \[cond\ ] hold and $ G_0(n, d, k)$ is smooth. Then $ \psi$ is an isomorphism over $ B(n, d, k)-B(n, d, k+1)$. Moreover, if $ { { \operatorname{GCD}}}(n, d, k)=1 $, then $ G_0(n, d, k)$ is a desingularisation of the closing $ \overline{B(n, d, k)}$ of $ B(n, d, k)$
iskl tangent spaces is an iromorphism.

[*Proof.* ]{} (i) If $X\in B(n,d,i)$, then $(E,X)\in G_0(n,d,k)$ for any $k$-dimensionap wubspqce of $H^0(E)$. It follows tfat the ilage of $\psi$ rontains $B(n,d,k)$ as a non-emicy Zadlski-o'ei subset. Since $N_0(n,d,k)$ is irraducible, it fonluwd that $B(n,d,k)$ is irreducible.

\(ii) If $E\in B(n,d,k)-B(n,c,k+1)$, then $\psi^{-1}(E)=\{(E,H^0(E)\}$.

\(iyi) fpjlowa from (i), (ii) and Lemma \[lem:bn2\].

\(iv) Takihg $(E',V')=(E,V)$ in (\[long-exact\]) and putting $V=H^0(E)$, we get a lap $${{\lperatorname{Ext}}}^1((E,H^0(V)),(F,H^0(V)))\to {{\operajkrnwne{Ext}}}^1(E,E)$$ whicf can be identified wijh the map $$T_{(E,H^0(E))}G_0(n,d,k)\to T_EM(n,d)$$ induzed bv $\psi$. By (\[lobg-wxafj\]) this map iw injvctive and its image hs $${{\operstorname{Ker}}}({{\opevatoriame{Wxt}}}^1(E,E)\to {{\operatorname{Hmm}}}(H^0(E),H^1(E))).$$ By standard Brill-Noedhzr theory, this image vexomes idettifkwd ditg vhe subspwce $T_EB(n,d,k)$ of $T_EM(n,d)$.$\Box$

\[coe:smooth\] Suppose Concieppns \[cond\] hols and $D_0(n,q,k)$ is smooth. Then $\psi$ is an isomorphism ovsr $B(n,d,k)-B(n,d,k+1)$. Moreover, if ${{\operatorname{GCD}}}(n,d,k)=1$, tjen $G_0(n,d,k)$ ys a desingularisation of the closure $\overline{B(n,d,n)}$ of $U(n,a,k)$
iski tangent spaces is an isomorphism. [*Proof.* If B(n,d,k)$, then G_0(n,d,k)$ for any follows the image of contains $B(n,d,k)$ as non-empty Zariski-open subset. Since $G_0(n,d,k)$ is it follows that $B(n,d,k)$ is irreducible. \(ii) If $E\in B(n,d,k)-B(n,d,k+1)$, then $\psi^{-1}(E)=\{(E,H^0(E)\}$. \(iii) from (i), (ii) and Lemma \[lem:bn2\]. \(iv) Taking $(E',V')=(E,V)$ in (\[long-exact\]) and putting we a $${{\operatorname{Ext}}}^1((E,H^0(V)),(E,H^0(V)))\to which can be identified with the map $$T_{(E,H^0(E))}G_0(n,d,k)\to T_EM(n,d)$$ induced by $\psi$. By (\[long-exact\]) this map injective and its image is $${{\operatorname{Ker}}}({{\operatorname{Ext}}}^1(E,E)\to {{\operatorname{Hom}}}(H^0(E),H^1(E))).$$ By Brill-Noether theory, this image identified with the subspace $T_EB(n,d,k)$ $T_EM(n,d)$.$\Box$ Suppose Conditions hold $G_0(n,d,k)$ smooth. Then $\psi$ an isomorphism over $B(n,d,k)-B(n,d,k+1)$. Moreover, if ${{\operatorname{GCD}}}(n,d,k)=1$, then $G_0(n,d,k)$ is a desingularisation of the closure $\overline{B(n,d,k)}$ of
iski tangent spaces is an isomOrphism.

[*ProOf.* ]{} (i) If $e\in b(n,d,K)$, tHen $(E,v)\in G_0(N,d,k)$ for any $k$-dimeNSionAl subspace of $H^0(E)$. It followS that ThE ImagE Of $\Psi$ coNtains $B(N,D,k)$ AS A noN-eMpTy ZArISkI-open SubSet. SincE $G_0(n,d,k)$ is irrEduCiBle, it follows THaT $B(n,d,k)$ is irrEduCible.

\(ii) If $E\in b(n,d,K)-B(n,d,k+1)$, tHeN $\psI^{-1}(e)=\{(E,H^0(E)\}$.

\(iIi) fOllowS from (i), (II) and LeMma \[lem:bn2\].

\(iV) TAKing $(E',V')=(e,v)$ in (\[long-EXAcT\]) and Putting $V=H^0(E)$, we get a mAP $${{\oPEratorname{Ext}}}^1((E,h^0(V)),(E,H^0(V)))\tO {{\oPErATOrnAme{ext}}}^1(E,E)$$ which CaN be idENtified WItH THE maP $$t_{(E,H^0(E))}G_0(n,d,k)\to T_EM(N,d)$$ induced by $\PSi$. BY (\[long-eXaCt\]) tHIs map iS injeCtIVe aNd its image iS $${{\opeRatorname{ker}}}({{\opeRAtornamE{ext}}}^1(E,E)\to {{\OperatOrnAme{hom}}}(H^0(e),h^1(E))).$$ by StaNdARd BRIlL-NoETheR theory, tHiS iMage bEcomES IDEntiFieD witH the sUbspace $T_EB(n,d,k)$ Of $T_eM(n,d)$.$\bOx$

\[cOr:smoOth\] SuPposE COnditIons \[coNd\] holD aNd $G_0(n,d,k)$ is smooth. THen $\pSi$ is an isoMorPhIsm OvEr $B(n,d,K)-b(n,d,k+1)$. MoReoVer, If ${{\operaTorname{gcD}}}(n,D,k)=1$, THEN $G_0(N,d,k)$ is a desingularisAtION oF the closUre $\oveRLiNe{b(N,d,k)}$ of $B(n,d,K)$
iski tangent spaces is anisomorphis m.

[ *Pr oof .*  ]{}  (i)  If $E\in B(n, d ,k)$ , then $(E,V)\in G_0(n ,d,k) $f or a n y$k$-d imensio n al s ubs pa ce  of  $ H ^0 (E)$.  It  follow s that the  im ag e of $\psi$c on tains $B(n ,d, k)$ as a non -em pty Za ri ski - opensub set.Since$ G_0(n, d,k)$ isir r educib l e, it f o l lo ws t hat $B(n,d,k)$ is ir r educible.

\(i i) If$E \ in B (n, d,k )-B(n,d,k+ 1) $, th e n $\psi ^ {- 1 } ( E)= \ {(E,H^0(E)\}$ .

\(iii) f o llo ws fro m(i) ,  (ii)and L em m a \ [lem:bn2\]. 

\( iv) Takin g $(E' , V')=(E, V )$ in ( \[long -ex act \])a nd  p utt in g  $V = H^ 0(E ) $,we get a  m ap  $${{ \ope r a t o rnam e{E xt}} }^1(( E,H^0(V)),(E, H^0 (V)) ) \to  {{\o perat orna me {Ext} }}^1(E ,E)$$  w hich can be ide ntif ied withthe  m ap$$ T_{(E , H^0(E) )}G _0( n,d,k)\ to T_EM ( n,d )$ $ i nd uced by $\psi$. By  ( \ [ lo ng-exact \]) th i sma p  is inje ct ive  and i ts im agei s$${{\ope ratorn a me {K er}}}({ {\ operat or nam e{E xt}}} ^ 1(E, E)\to{{\opera torna m e{Hom}}}(H^0(E ) ,H^1(E))).$$B ys t an d ardBri ll-Noethertheo r y, t hisi ma geb ecome s ide nt i fi e d with the subspace  $ T_EB(n ,d,k) $ of $T_EM(n, d)$.$\Box$ \ [cor:smo oth\ ]  S u ppose Conditio ns \[ cond\] hol d  and $G_ 0(n,d ,k)$ issmooth. T h e n $\psi$  is  an  is omo r p hi sm over $B(n, d , k)-B (n ,d,k+1) $.Moreove r,if${{ \op er atorname{ GCD}}}(n ,d ,k )= 1$ , t hen $ G _0(n,d,k )$  is  a  de singu l arisat ion o f th ecl o sur e $\ove r li n e {B(n ,d ,k )}$of$B (n,d, k)$
iski tangent_spaces is_an isomorphism.

[*Proof.* ]{} (i)_If $E\in_B(n,d,k)$,_then $(E,V)\in_G_0(n,d,k)$_for any $k$-dimensional_subspace of $H^0(E)$._It follows that the_image of $\psi$_contains_$B(n,d,k)$ as a non-empty Zariski-open subset. Since $G_0(n,d,k)$ is irreducible, it follows that $B(n,d,k)$_is_irreducible.

\(ii) If_$E\in_B(n,d,k)-B(n,d,k+1)$,_then $\psi^{-1}(E)=\{(E,H^0(E)\}$.

\(iii) follows from (i),_(ii) and Lemma \[lem:bn2\].

\(iv) Taking_$(E',V')=(E,V)$ in_(\[long-exact\]) and putting $V=H^0(E)$, we get a map_$${{\operatorname{Ext}}}^1((E,H^0(V)),(E,H^0(V)))\to_{{\operatorname{Ext}}}^1(E,E)$$ which can_be identified with the map $$T_{(E,H^0(E))}G_0(n,d,k)\to T_EM(n,d)$$ induced by_$\psi$. By (\[long-exact\]) this map is_injective and its_image_is_$${{\operatorname{Ker}}}({{\operatorname{Ext}}}^1(E,E)\to {{\operatorname{Hom}}}(H^0(E),H^1(E))).$$ By standard_Brill-Noether theory, this image becomes identified_with the subspace $T_EB(n,d,k)$ of $T_EM(n,d)$.$\Box$

\[cor:smooth\]_Suppose Conditions \[cond\] hold and $G_0(n,d,k)$ is_smooth. Then $\psi$ is an isomorphism_over $B(n,d,k)-B(n,d,k+1)$. Moreover, if ${{\operatorname{GCD}}}(n,d,k)=1$,_then $G_0(n,d,k)$_is a desingularisation of the_closure $\overline{B(n,d,k)}$ of_$B(n,d,k)$