(b).

Uncapped automorphisms for exceptional types {#sec:exceptional}
============================================

In this section we prove Theorem \[thm:main\*\](b) for the small buildings of exceptional type. Moreover we completely classify the domestic automorphisms of the buildings $\sF_4(2)$, $\sF_4(2,4)$, and $\sE_6(2)$. We begin, in Section \[sec:detect\], by developing a (computationally feasible) method of detecting whether a given automorphism is domestic. In Section \[sec:minimal\] we briefly describe the implementation of the minimal faithful permutation representations of the relevant $\mathbb{ATLAS}$ groups into $\mathsf{MAGMA}$, and then in Section \[sec:EF\] we give the classification of domestic automorphisms of the buildings $\sF_4(2)$, $\sF_4(2,4)$, and $\sE_6(2)$ making use of these permutation representations. We provide examples of uncapped automorphisms in $\sE_7(2)$, and give conjectures for $\sE_8(2)$ in Section \[sec:E7E8\].

Throughout this section we will use standard notation for Chevalley groups and twisted Chevalley groups $G$, and we refer to Carter [@Car:89] for details. In particular, the symbols $B$, $H$, $N$, $U$, $W$, $S$, $R$, $x_{\alpha}(a)$, $n_{\alpha}(a)$, etc, have their usual meanings. However we note that in the twisted case we use these symbols for the objects in the twisted group (rather than the untwisted group). Then the quadruple $(B,N,W,S)$ forms a Tits system in $G$, and thus $(\Delta,\delta)$ is a building of type $(W,S)$ where $\Delta=G/B$ and $\delta(gB,hB)=w$ if and only if $g^{-1}h\in BwB$. In the case of graph automorphisms of a simply laced Dynkin diagram we assume that the Chevalley generators are chosen so that [@Car:89 Proposition 12.2.3] holds (in particular $x_{\alpha}(a)^{\sigma}=x_{\sigma(\alpha)}(\pm a)$).

Detecting domesticity {#sec:detect}
---------------------

( b). 

 Uncapped automorphisms for exceptional types { # sec: exceptional } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 In this incision we rise Theorem   \[thm: main\*\](b) for the small buildings of exceptional character. Moreover we completely classify the domestic automorphisms of the building $ \sF_4(2)$, $ \sF_4(2,4)$, and $ \sE_6(2)$. We begin, in Section   \[sec: detect\ ], by developing a (computationally feasible) method acting of detect whether a given automorphism is domestic. In Section   \[sec: minimal\ ] we briefly identify the implementation of the minimal faithful substitution representations of the relevant $ \mathbb{ATLAS}$ groups into $ \mathsf{MAGMA}$, and then in Section   \[sec: EF\ ] we render the classification of domestic automorphisms of the buildings $ \sF_4(2)$, $ \sF_4(2,4)$, and $ \sE_6(2)$ make use of these permutation representations. We leave examples of uncapped automorphisms in $ \sE_7(2)$, and give conjectures for $ \sE_8(2)$ in Section   \[sec: E7E8\ ]. 

 Throughout this part we will use standard notation for Chevalley groups and twisted Chevalley groups   $ G$, and we denote to Carter   [ @Car:89 ] for details. In particular, the symbols $ B$, $ H$, $ N$, $ U$, $ W$, $ S$, $ R$, $ x_{\alpha}(a)$, $ n_{\alpha}(a)$, etc, have their usual meanings. However we note that in the twisted case we use these symbols for the objects in the twisted group (rather than the untwisted group). Then the quadruple $ (B, N, W, S)$ forms a Tits system in $ G$, and therefore $ (\Delta,\delta)$ is a construction of type $ (W, S)$ where $ \Delta = gravitational constant / B$ and $ \delta(gB, hB)=w$ if and only if $ g^{-1}h\in BwB$. In the case of graph automorphisms of a simply laced Dynkin diagram we wear that the Chevalley generators are chosen so that [ @Car:89 Proposition   12.2.3 ] holds (in especial $ x_{\alpha}(a)^{\sigma}=x_{\sigma(\alpha)}(\pm a)$). 

 Detecting domesticity { # sec: detect } 
 ---------------------
(b).

Unfapped automorphisms for exceptional tykew {#sec:eeceptiohal}
============================================

In thks section we prove Theorem \[tim:maun\*\](b) fir the small buildings of excepnional type. Mieeover we rkmpletely claadify vhe domestic aujomorphisms mf the buildincs $\sY_4(2)$, $\sF_4(2,4)$, and $\sE_6(2)$. We begin, in Section \[sec:deeect\], by dfveloping a (coiputseionzlly feasible) method of detecting shether a given autokorphism is domestic. In Seftioj \[sec:minimal\] we briffly descrive trw implementagion of tht kinimal fajthful permutation representatiuns oy the relevqnr $\mwjhbb{ATLAS}$ griups pnto $\mathsf{MANKA}$, and then im Section \[sec:EF\] we gice the classification of domestic automjrphisms mf the buildings $\sF_4(2)$, $\sD_4(2,4)$, and $\sE_6(2)$ kakivt ure kf tgese pfrmntation repdesentationw. We provide examplts jd uncapped aufomorprifms in $\sE_7(2)$, and give conjectures for $\sE_8(2)$ it Ssction \[sec:E7E8\].

Throughout tyis section we will ude standawd notation for Chevalley groups and twisted Chevdlley erobif $E$, ajd we refer to Carter [@Car:89] for details. In partishlsr, the symbols $B$, $H$, $N$, $U$, $W$, $S$, $T$, $d_{\akkha}(a)$, $n_{\alpha}(a)$, ejc, have thsir usual meanings. Howevet we nite that yn tne twisted case we use thesw symbols fog thw objects in the tcisted group (ratner tnan the untwisted group). Theh the quadrkple $(B,N,W,S)$ worms a Tits sysgem it $G$, and ufus $(\Delta,\delta)$ is a buildiig of type $(W,R)$ whgre $\Delea=G/B$ and $\dflta(gN,vB)=w$ if and only if $g^{-1}h\in BfB$. In the fase of graph automorphisms of e simply lacec Gynnin diagxam we assume that ehe Chevalley yeneratoxs are chosen so that [@Cer:89 Propositijn 12.2.3] holds (in pdtticular $x_{\alpia}(a)^{\sigma}=x_{\figmq(\alpya)}(\pm a)$).

Ddgecting domestocity {#sec:bttect}
---------------------

(b). Uncapped automorphisms for exceptional types {#sec:exceptional} this we prove \[thm:main\*\](b) for the Moreover completely classify the automorphisms of the $\sF_4(2)$, $\sF_4(2,4)$, and $\sE_6(2)$. We begin, Section \[sec:detect\], by developing a (computationally feasible) method of detecting whether a given is domestic. In Section \[sec:minimal\] we briefly describe the implementation of the minimal permutation of relevant groups into $\mathsf{MAGMA}$, and then in Section \[sec:EF\] we give the classification of domestic automorphisms of buildings $\sF_4(2)$, $\sF_4(2,4)$, and $\sE_6(2)$ making use of permutation representations. We provide of uncapped automorphisms in $\sE_7(2)$, give for $\sE_8(2)$ Section Throughout section we will standard notation for Chevalley groups and twisted Chevalley groups $G$, and we refer to Carter [@Car:89] for In particular, $B$, $H$, $U$, $S$, $x_{\alpha}(a)$, $n_{\alpha}(a)$, etc, usual meanings. However we note that case we use these symbols for the objects the twisted (rather than the untwisted group). Then quadruple $(B,N,W,S)$ forms a Tits system in $G$, thus $(\Delta,\delta)$ is a building of type $(W,S)$ where $\Delta=G/B$ and $\delta(gB,hB)=w$ if and only BwB$. In the case graph automorphisms of simply Dynkin we that the generators are chosen so that [@Car:89 Proposition 12.2.3] holds (in particular a)$). Detecting domesticity {#sec:detect} ---------------------
(b).

Uncapped automorphisms for ExceptionaL typeS {#seC:exCePtioNal}
============================================

IN this section we PRove theorem \[thm:main\*\](b) for the sMall bUiLDingS Of ExcepTional tYPe. mOReoVeR wE coMpLEtEly clAssIfy the dOmestic autOmoRpHisms of the buILdIngs $\sF_4(2)$, $\sF_4(2,4)$, anD $\sE_6(2)$. we begin, in SecTioN \[sec:deTeCt\], bY DevelOpiNg a (coMputatIOnally Feasible) mEtHOd of deTEcting wHEThEr a gIven automorphism iS DoMEstic. In Section \[Sec:minImAL\] wE BRieFly Describe thE iMplemENtation OF tHE MIniMAl faithful perMutation repREseNtatioNs Of tHE relevAnt $\maThBB{ATlAS}$ groups inTo $\maThsf{MAGMA}$, And theN In SectiON \[sec:EF\] wE give tHe cLasSifiCAtIoN of DoMEstIC aUtoMOrpHisms of tHe BuIldinGs $\sF_4(2)$, $\Sf_4(2,4)$, AND $\sE_6(2)$ mAkiNg usE of thEse permutatioN rePresENtaTions. we proVide ExAmpleS of uncApped AuTomorphisms in $\sE_7(2)$, And gIve conjecTurEs For $\SE_8(2)$ In SecTIon \[sec:e7E8\].

THroUghout tHis sectIOn wE wILL UsE standard notation fOr cHEvAlley groUps and TWiStED ChevallEy GroUps $G$, AND we reFer tO caRter [@Car:89] fOr detaILs. in ParticuLaR, the syMbOls $b$, $H$, $N$, $u$, $W$, $S$, $R$, $x_{\ALpha}(A)$, $n_{\alphA}(a)$, etc, havE theiR Usual meanings. HOWever we note thAT iN THe TWistEd cAse we use theSe syMBols For tHE oBjeCTs in tHe twiStED gROup (rather than the untWiSted grOup). ThEn the quadruplE $(B,N,W,S)$ forms A tITs system In $G$, aND tHUs $(\Delta,\delta)$ is A builDing of type $(w,s)$ where $\DeLta=G/B$ And $\delta(GB,hB)=w$ if anD ONly if $g^{-1}h\iN Bwb$. In The CasE OF gRaph automorphISMs of A sImply laCed dynkin dIagRam We aSsuMe That the ChEvalley gEnErAtOrS arE chosEN so that [@CAr:89 proPoSitIon 12.2.3] hoLDs (in paRticuLar $x_{\AlPhA}(A)^{\siGma}=x_{\sigMA(\aLPHa)}(\pm A)$).

DEtEctiNg dOmEsticIty {#sEC:deTect}
---------------------

(b).

Uncapped automorphis ms for exc eptio nal  ty pe s {# sec: exceptional}
= = ==== ====================== ===== == = ==== = == =

In  this s e ct i o n w epr ove  T h eo rem \ [th m:main\ *\](b) for  th esmall buildi n gs  of except ion al type. Mor eov er weco mpl e telycla ssify  the d o mestic  automorp hi s ms oft he buil d i ng s $\ sF_4(2)$, $\sF_4( 2 ,4 ) $, and $\sE_6( 2)$. W eb eg i n , i n S ection \[s ec :dete c t\], by de v e l opi n g a (computat ionally fea s ibl e) met ho d o f  detec tingwh e the r a given a utom orphism i s dome s tic. In Section  \[sec :mi nim al\] we  b rie fl y  de s cr ibe the  impleme nt at ion o f th e m i nima l f aith ful p ermutation re pre sent a tio ns of  therele va nt $\ mathbb {ATLA S} $ groups into $ \mat hsf{MAGMA }$,  a ndth en in Sectio n \ [se c:EF\]we give the  c l a s si fication of domest ic a ut omorphis ms oft he  b u ildings$\ sF_ 4(2) $ ,  $\sF _4(2 , 4) $, and $ \sE_6( 2 )$  m aking u se  of th es e p erm utati o n re presen tations.  We p r ovide examples of uncapped a u to m o rp h isms  in  $\sE_7(2)$ , an d  giv e co n je ctu r es fo r $\s E_ 8 (2 ) $ in Section \[sec: E7 E8\].
Thro ughout this s ection wew i l l use st anda r dn otation for Ch evall ey groupsa nd twist ed Ch evalleygroups $G $ ,  and weref ertoCar t e r[@Car:89] for d etai ls . In pa rti cular,the  sy mbo ls$B $, $H$, $ N$, $U$,  $ W$ ,$S $,$R$,$ x_{\alph a} (a) $,  $n _{\al p ha}(a) $, et c, h av et hei r usual me a n ings .Ho weve r w enotethat inthe twi sted case  we useth es e symbo ls for the ob je cts in the  t wis ted gr o u p (rathe r than the untwisted gr o up). Th enthe q uadr uple $(B, N,W ,S)$ f orm s  a Tit s syst em in  $ G$, a nd th u s  $ (\D el ta,\delta) $ isa bui ld ingof type  $(W,S)$ where $\D e lta =G/B$ and $\d elt a(gB , h B) =w$ if and  o n lyi f  $g^{-1}h\in Bw B$. In the  c a se  of grapha uto mo rphisms  of a s imply laced D ynkin dia gram we a ss umet h atthe Cheval ley gene rators ar e  chos e nso th at[@Car: 89  Pr oposi tion 1 2 .2. 3] ho lds (i npartic ular$x _{\alpha }(a)^{\sigma}=x_{\sigma (\alph a)}(\ pma)$).

De tec t ing  domestic ity{#sec:dete ct} 
-- ----- --- - ----- ---- - 

(b).

Uncapped automorphisms_for exceptional_types {#sec:exceptional}
============================================

In this section_we prove_Theorem \[thm:main\*\](b)_for the_small_buildings of exceptional_type. Moreover we_completely classify the domestic_automorphisms of the_buildings_$\sF_4(2)$, $\sF_4(2,4)$, and $\sE_6(2)$. We begin, in Section \[sec:detect\], by developing a (computationally feasible) method_of_detecting whether_a_given_automorphism is domestic. In Section \[sec:minimal\]_we briefly describe the implementation_of the_minimal faithful permutation representations of the relevant $\mathbb{ATLAS}$_groups_into $\mathsf{MAGMA}$, and_then in Section \[sec:EF\] we give the classification of domestic_automorphisms of the buildings $\sF_4(2)$, $\sF_4(2,4)$,_and $\sE_6(2)$ making_use_of_these permutation representations. We_provide examples of uncapped automorphisms in_$\sE_7(2)$, and give conjectures for $\sE_8(2)$_in Section \[sec:E7E8\].

Throughout this section we will use_standard notation for Chevalley groups and_twisted Chevalley groups $G$, and we_refer to_Carter [@Car:89] for details. In particular,_the symbols $B$,_$H$, $N$,_$U$, $W$, $S$,_$R$, $x_{\alpha}(a)$, $n_{\alpha}(a)$, etc, have their_usual meanings. However_we note that in the twisted_case_we use these_symbols_for_the objects_in the twisted_group_(rather than_the_untwisted group). Then the quadruple $(B,N,W,S)$_forms_a Tits system in $G$, and thus_$(\Delta,\delta)$ is a building_of_type $(W,S)$ where $\Delta=G/B$_and $\delta(gB,hB)=w$ if and only_if $g^{-1}h\in BwB$. In the case_of graph_automorphisms of_a simply laced Dynkin diagram we assume that the Chevalley generators_are chosen so that [@Car:89 Proposition 12.2.3]_holds (in particular $x_{\alpha}(a)^{\sigma}=x_{\sigma(\alpha)}(\pm_a)$).

Detecting domesticity_{#sec:detect}
---------------------
