k,\ldots,p_1],c) \mapsto [p_k,\ldots,p_1,p_1^{-1}\cdots p_k^{-1} c]$, which is easily seen to be well-defined and an isomorphism, then the diagram commutes.

We can now study the right-hand map $BS_{\vec\alpha} f$ by reversing the isomorphism on the top of the diagram. The fibers of the map from the northwest corner to the southeast are just products of the fibers of $f$ with Bott-Samelson manifolds, which are connected.

\[prop:BSshrinkdim\] Let $G$ act on a scheme $Y$, and $\iota:Z{\operatorname*{\hookrightarrow}}Y$ be the inclusion of a $B$-invariant subvariety. (In fact we may as well replace $Y$ by the subvariety $G\cdot Z$.) Let $\mu : G\times^B Z \to G\cdot Z$ be the projective map $[g,z] \mapsto g\cdot z$.

Then there exists a sequence of simple roots $(\alpha_1,\ldots,\alpha_k)$, such that $BS_{\vec\alpha}\iota$ is surjective and generically finite, and its degree is the number of components in a general fiber of the map $\mu$.

We will show there exist [*two*]{} sequences of simple roots $(\alpha_1,\ldots,\alpha_k)$, $(\beta_1,\ldots,\beta_j)$ and a natural commutative diagram $$\begin{array}{ccccc}
    BS_{\vec\alpha} Z &\stackrel{BS_{\vec\alpha} \iota} {\longrightarrow}&
    G\cdot Z   &\stackrel{\mu}{\longleftarrow}& G\times^B Z \\
    &&\uparrow&&\uparrow \\
    && BS_{\vec\beta} (G\cdot Z) &{\longleftarrow}& BS_{\vec\beta} BS_{\vec\alpha} Z
  \end{array}$$ in which all maps are onto, the map $BS_{\vec\beta} BS_{\vec\alpha} Z \to G\times^B Z$ is generically $1$:$1$, and the map $BS_{\vec\alpha}\iota$ is generically finite to one. From this diagram we will derive the conclusions of the proposition.

Let $Z_0 = Z$. Since the subgroups $\{P_\alpha
k,\ldots, p_1],c) \mapsto [ p_k,\ldots, p_1,p_1^{-1}\cdots p_k^{-1 } c]$, which is easily seen to be well - defined and an isomorphism, then the diagram commutes. 

 We can nowadays analyze the right - hand map $ BS_{\vec\alpha } f$ by turn back the isomorphism on the top of the diagram. The fibers of the function from the northwest corner to the southeast are just merchandise of the fibers of $ f$ with Bott - Samelson manifolds, which are connect. 

 \[prop: BSshrinkdim\ ] Let $ G$ act on a scheme $ Y$, and $ \iota: Z{\operatorname*{\hookrightarrow}}Y$ be the inclusion of a $ B$-invariant subvariety. (In fact we may as well replace $ Y$ by the subvariety $ G\cdot Z$.) Let $ \mu: G\times^B Z \to G\cdot Z$ be the projective function $ [ g, z ] \mapsto g\cdot z$. 

 Then there exists a sequence of simple beginning $ (\alpha_1,\ldots,\alpha_k)$, such that $ BS_{\vec\alpha}\iota$ is surjective and generically finite, and its degree is the number of component in a general roughage of the map $ \mu$. 

 We will show there exist [ * two * ] { } sequences of simple roots $ (\alpha_1,\ldots,\alpha_k)$, $ (\beta_1,\ldots,\beta_j)$ and a lifelike commutative diagram $ $ \begin{array}{ccccc } 
     BS_{\vec\alpha } Z & \stackrel{BS_{\vec\alpha } \iota } { \longrightarrow } & 
     G\cdot Z    & \stackrel{\mu}{\longleftarrow } & G\times^B Z \\ 
     & & \uparrow&&\uparrow \\ 
     & & BS_{\vec\beta } (G\cdot Z) & { \longleftarrow } & BS_{\vec\beta } BS_{\vec\alpha } Z 
   \end{array}$$ in which all maps are onto, the map $ BS_{\vec\beta } BS_{\vec\alpha } Z \to G\times^B Z$ is generically $ 1$:$1 $, and the map $ BS_{\vec\alpha}\iota$ is generically finite to one. From this diagram we will derive the conclusions of the suggestion. 

 Let $ Z_0 = Z$. Since the subgroups $ \{P_\alpha
k,\ldlts,p_1],c) \mapsto [p_k,\ldots,p_1,p_1^{-1}\cduts p_k^{-1} c]$, which nw easiny seeh to be dell-defined and an isomorphidm, then the diagram commutes.

Wd can now study tye rmght-hand map $BS_{\vxd\alpha} n$ by dcversnnj the isomorphixm on the dop of the diacrxm. The fibers of the map from the norehwest vogner to the sootheaxe ars just products of the fibers of $f$ with Bmtt-Samelson msnifolds, which are connectfd.

\[prlp:BSshrinkdim\] Let $H$ act on a wcheiw $Y$, and $\iota:X{\operatorname*{\hookrightzrrow}}Y$ be the inclusion of a $B$-ivvaricnt subvarigct. (Ij fact we mab as wvll replace $Y$ by the vubvarirty $G\cdot Z$.) Leb $\mu : G\tumes^B Z \to G\cdot Z$ be the projective mak $[g,z] \mapstm y\cdot z$.

Then there exiwtw a sgquenwe ow sioplt rpofs $(\alpja_1,\lvots,\alpha_k)$, auch that $BW_{\vec\alpha}\iota$ is sutjqbyive and gensricaljy finite, and its degree is the number of cojponents in a general fuber of the map $\mu$.

We aill show there exist [*two*]{} sequences of simple roots $(\alpha_1,\lgots,\amoha_j)$, $(\neta_1,\ueohs,\beta_j)$ and a natural commutative diagram $$\begyh{atrsy}{ccccc}
    BS_{\vcc\alpha} Z &\stackrel{NS_{\gev\wlpha} \iota} {\lovgrighczrdow}&
    G\cdot Z   &\shackrel{\iu}{\lontleftarror}& G\tomes^B Z \\
    &&\uparrow&&\uparrow \\
    && BS_{\vec\bena} (G\xdot Z) &{\longleftarrlw}& BS_{\vec\betc} BS_{\vev\alphs} Z
  \end{array}$$ in which cll mals are onto, the map $GR_{\vec\beta} BS_{\vec\aloha} Z \to G\timtr^B Z$ is genericaljy $1$:$1$, and tie ma' $BS_{\vec\aupha}\oota$ if genericaply fltite to one. From tjis dnagrak we will ferive the conclusions of the pcpposition.

Let $Z_0 = Z$. Since tke subnroups $\{P_\alpha
k,\ldots,p_1],c) \mapsto [p_k,\ldots,p_1,p_1^{-1}\cdots p_k^{-1} c]$, which is to well-defined and isomorphism, then the study right-hand map $BS_{\vec\alpha} by reversing the on the top of the diagram. fibers of the map from the northwest corner to the southeast are just of the fibers of $f$ with Bott-Samelson manifolds, which are connected. \[prop:BSshrinkdim\] Let act a $Y$, $\iota:Z{\operatorname*{\hookrightarrow}}Y$ be the inclusion of a $B$-invariant subvariety. (In fact we may as well replace $Y$ the subvariety $G\cdot Z$.) Let $\mu : G\times^B \to G\cdot Z$ be projective map $[g,z] \mapsto g\cdot Then exists a of roots such that $BS_{\vec\alpha}\iota$ surjective and generically finite, and its degree is the number of components in a general fiber of map $\mu$. show there [*two*]{} of roots $(\alpha_1,\ldots,\alpha_k)$, $(\beta_1,\ldots,\beta_j)$ natural commutative diagram $$\begin{array}{ccccc} BS_{\vec\alpha} Z G\cdot Z &\stackrel{\mu}{\longleftarrow}& G\times^B Z \\ &&\uparrow&&\uparrow \\ BS_{\vec\beta} (G\cdot &{\longleftarrow}& BS_{\vec\beta} BS_{\vec\alpha} Z \end{array}$$ in all maps are onto, the map $BS_{\vec\beta} BS_{\vec\alpha} \to G\times^B Z$ is generically $1$:$1$, and the map $BS_{\vec\alpha}\iota$ is generically finite to one. diagram we will derive conclusions of the Let = Since subgroups $\{P_\alpha
k,\ldots,p_1],c) \mapsto [p_k,\ldots,p_1,p_1^{-1}\cdOts p_k^{-1} c]$, whicH is eaSilY seEn To be Well-Defined and an isOMorpHism, then the diagram commUtes.

WE cAN now STuDy the Right-haND mAP $bS_{\vEc\AlPha} F$ bY ReVersiNg tHe isomoRphism on thE toP oF the diagram. THE fIbers of the Map From the northWesT corneR tO thE SouthEasT are jUst proDUcts of The fibers Of $F$ With BoTT-SamelsON MaNifoLds, which are connecTEd.

\[PRop:BSshrinkdim\] let $G$ acT oN A sCHEme $y$, anD $\iota:Z{\operAtOrnamE*{\HookrigHTaRROW}}Y$ bE The inclusion oF a $B$-invarianT SubVarietY. (IN faCT we may As welL rEPlaCe $Y$ by the subVariEty $G\cdot Z$.) let $\mu : G\TImes^B Z \tO g\cdot Z$ bE the prOjeCtiVe maP $[G,z] \MaPstO g\CDot Z$.

thEn tHEre Exists a sEqUeNce of SimpLE ROOts $(\aLphA_1,\ldoTs,\alpHa_k)$, such that $BS_{\Vec\AlphA}\IotA$ is suRjectIve aNd GenerIcally FinitE, aNd its degree is thE numBer of compOneNtS in A gEneraL Fiber oF thE maP $\mu$.

We wiLl show tHEre ExIST [*TwO*]{} sequences of simple RoOTS $(\aLpha_1,\ldotS,\alpha_K)$, $(\BeTa_1,\LDots,\beta_J)$ aNd a NatuRAL commUtatIVe Diagram $$\bEgin{arRAy}{CcCcc}
    BS_{\veC\aLpha} Z &\sTaCkrEl{Bs_{\vec\aLPha} \iOta} {\lonGrightarRow}&
    G\cDOt Z   &\stackrel{\mu}{\lONgleftarrow}& G\tIMeS^b z \\
    &&\uPArroW&&\upArrow \\
    && BS_{\vec\bEta} (G\CDot Z) &{\LongLEfTarROw}& BS_{\vEc\betA} Bs_{\VeC\Alpha} Z
  \end{array}$$ in whiCh All mapS are oNto, the map $BS_{\veC\beta} BS_{\vec\ALPHa} Z \to G\tiMes^B z$ Is GEnerically $1$:$1$, and tHe map $bS_{\vec\alpha}\IOta$ is genEricaLly finitE to one. FroM THis diagrAm wE wiLl dEriVE ThE conclusions oF THe prOpOsition.

let $z_0 = Z$. Since The SubGroUps $\{p_\aLpha
k,\ldots,p_1],c) \mapsto [ p_k,\ldots ,p_1, p_1 ^{- 1} \cdo ts p _k^{-1} c]$, w h ichis easily seen to be w ell-d ef i neda nd  an i somorph i sm , the nth e d ia g ra m com mut es.

We  can now s tud ythe right-ha n dmap $BS_{\ vec \alpha} f$ b y r eversi ng  th e  isom orp hismon the top of  the diag ra m . Thef ibers o f th e ma p from the northw e st corner to thesouthe as t  a r e  ju stproducts o fthe f i bers of $f $ w ith Bott-Samelson  manifolds, whi ch are  c onn e cted.
\[pr op : BSs hrinkdim\]Let$G$ act o n a sc h eme $Y$ ,  and $\ iota:Z {\o per ator n am e* {\h oo k rig h ta rro w }}Y $ be the  i nc lusio n of a $ B$-i nva rian t sub variety. (Infac t we may  as w ell r epla ce  $Y$by the  subv ar iety $G\cdot Z$ .) L et $\mu :  G\ ti mes ^B  Z \t o  G\cdo t Z $ b e the p rojecti v e m ap $ [ g, z] \mapsto g\cdotz$ . 
T hen ther e exis t sas equenceof  si mple r oots$(\a l ph a_1,\ldo ts,\al p ha _k )$, suc hthat $ BS _{\ vec \alph a }\io ta$ is  surject ive a n d genericallyf inite, and it s  d e g re e  isthe  number ofcomp o nent s in agen e ral f iberof th e  map $\mu$.

We wil lshow t hereexist [*two*] {} sequenc e s of simpl e ro o ts $(\alpha_1,\ld ots,\ alpha_k)$, $(\beta_ 1,\ld ots,\bet a_j)$ and a  natural  co mmu tat ive d ia gram $$\begin { a rray }{ ccccc}   BS_{\v ec\ alp ha}  Z&\ stackrel{ BS_{\vec \a lp ha }\io ta} { \ longrigh ta rro w} &
   G\ c dot Z  &\s tack re l{ \ mu} {\longl e ft a r row} &G\ time s^B  Z  \\
   & & \up arrow&& \uparrow\\   & &BS _{\vec\ beta} (G\cdot  Z ) &{\longl ef tar row}&B S _{\vec\b eta} BS_{\vec\alpha} Z \end{a rra y}$$in w hich allmap s areont o , themap $B S_{\v ec \be t a } BS_ { \ ve c\a lp ha} Z \toG \ tim es^BZ$  isgeneric ally $1$:$1$, andt hemap $BS_{\vec \al pha} \ i ot a$i sg ene ri c all y finite to one.From thisdi a gr am we will der iv e the c onclusi ons o f  the pr oposition .

Let $Z _0  = Z $ .  Si nce the su bgroups$\{P_\alp h a
k,\ldots,p_1],c) \mapsto_[p_k,\ldots,p_1,p_1^{-1}\cdots p_k^{-1}_c]$, which is easily_seen to_be_well-defined and_an_isomorphism, then the_diagram commutes.

We can_now study the right-hand_map $BS_{\vec\alpha} f$_by_reversing the isomorphism on the top of the diagram. The fibers of the map_from_the northwest_corner_to_the southeast are just products_of the fibers of $f$_with Bott-Samelson_manifolds, which are connected.

\[prop:BSshrinkdim\] Let $G$ act on_a_scheme $Y$, and_$\iota:Z{\operatorname*{\hookrightarrow}}Y$ be the inclusion of a $B$-invariant subvariety. (In_fact we may as well replace_$Y$ by the_subvariety_$G\cdot_Z$.) Let $\mu :_G\times^B Z \to G\cdot Z$ be_the projective map $[g,z] \mapsto g\cdot_z$.

Then there exists a sequence of simple_roots $(\alpha_1,\ldots,\alpha_k)$, such that $BS_{\vec\alpha}\iota$ is_surjective and generically finite, and_its degree_is the number of components_in a general_fiber of_the map $\mu$.

We_will show there exist [*two*]{} sequences_of simple roots_$(\alpha_1,\ldots,\alpha_k)$, $(\beta_1,\ldots,\beta_j)$ and a natural commutative_diagram_$$\begin{array}{ccccc}
  __BS_{\vec\alpha}_Z &\stackrel{BS_{\vec\alpha}_\iota} {\longrightarrow}&
 __ G\cdot_Z_  &\stackrel{\mu}{\longleftarrow}& G\times^B Z \\
__  &&\uparrow&&\uparrow \\
   _&& BS_{\vec\beta} (G\cdot Z)_&{\longleftarrow}&_BS_{\vec\beta} BS_{\vec\alpha} Z
 _\end{array}$$ in which all maps_are onto, the map $BS_{\vec\beta} BS_{\vec\alpha}_Z \to_G\times^B Z$_is generically $1$:$1$, and the map $BS_{\vec\alpha}\iota$ is generically finite to_one. From this diagram we will_derive the conclusions of_the proposition.

Let_$Z_0_= Z$. Since_the_subgroups $\{P_\alpha