 [@L2a]–[@L2e] (e.g. [@L2e Theorems 23.1 and 25.2]) hold unconditionally.

The main observation of this paper is that the statement of Proposition \[p1\] can also be exploited in a different way, as follows. For a given type of group, we consider the base case where $q=p$ is a prime. For a specific value of $p$, we can use ad hoc methods and/or computer algebra systems like [GAP]{} [@gap] to perform all kinds of computations within the fixed finite group $G(p)$. If we succeed in this way to determine the scalars $\xi$ for $G(p)$, then Proposition \[p1\] tells us that the analogous result will hold for any power of $p$. This is particularly relevant for “bad” primes $p=2,3,5$ which, typically, are known to cause additional complications and require separate arguments. We illustrate this procedure with a number of examples. In particular, we determine the scalars $\zeta$ in two cases, where the character table of $G({{\mathbb{F}}}_p)$ is explicitly known; namely, $F_4$, $E_6$ and $p=2$. For type $F_4$, our results complete earlier results of Marcelo–Shinoda [@MaSh]. See also [@GeHe] for the discussion of further examples, where the complete character table of $G({{\mathbb{F}}}_p)$ is not known.

We assume some familiarity with the character theory of finite groups of Lie type; see, e.g., [@C2], [@first]. The basic reference for the theory of character sheaves are Lusztig’s papers [@L2a]–[@L2e]. In Section \[sec1\], we review the classification of unipotent characters of $G(q)$ and the analogous classification of the unipotent character sheaves on $G$. These two classifications are known to be the same for $G(q)$ of split type (a fact which has only recently found a conceptual explanation; see Lusztig [@L11]). In Section \[sec2\], we can then formulate in precise terms the problem of equating class functions $R_x=\xi\chi_A$ as above, and establish Proposition \[p1\]. Finally, Sections \[sec3\], \[
[ @L2a]–[@L2e ] (e.g. [ @L2e Theorems   23.1 and 25.2 ]) hold unconditionally. 

 The chief notice of this paper is that the statement of Proposition   \[p1\ ] can besides be exploited in a unlike way, as follows. For a give type of group, we consider the foundation case where $ q = p$ is a prime. For a specific value of   $ p$, we can practice ad hoc methods and/or computer algebra systems like [ GAP ] { } [ @gap ] to perform all kind of computations within the fixed finite group $ G(p)$. If we succeed in this direction to determine the scalars $ \xi$ for $ G(p)$, then Proposition   \[p1\ ] state us that the analogous result will hold for any power of   $ p$. This is peculiarly relevant for “ bad ” primes $ p=2,3,5 $ which, typically, are sleep together to induce additional complications and require separate arguments. We illustrate this operation with a number of examples. In particular, we determine the scalars $ \zeta$ in two cases, where the character table of $ G({{\mathbb{F}}}_p)$ is explicitly known; namely, $ F_4 $, $ E_6 $ and $ p=2$. For type $ F_4 $, our results complete earlier results of Marcelo – Shinoda [ @MaSh ]. See also [ @GeHe ] for the discussion of further examples, where the accomplished character table of $ G({{\mathbb{F}}}_p)$ is not sleep together. 

 We wear some familiarity with the character theory of finite group of Lie type; see, e.g., [ @C2 ], [ @first ]. The basic reference for the hypothesis of character sheaves are Lusztig ’s papers [ @L2a]–[@L2e ]. In Section   \[sec1\ ], we review the classification of unipotent characters of $ G(q)$ and the analogous classification of the unipotent character sheaves on $ G$. These two classifications are known to be the same for $ G(q)$ of split character (a fact which has only recently find a conceptual explanation; see Lusztig [ @L11 ]). In Section   \[sec2\ ], we can then formulate in precise terms the trouble of equating class functions $ R_x=\xi\chi_A$ as above, and establish Proposition   \[p1\ ]. Finally, Sections   \[sec3\ ], \ [
 [@L2a]–[@P2e] (e.g. [@L2e Theorems 23.1 and 25.2]) huld unconditioncoly.

The main kbservatkon of this paper is that thx stqtemebt of Proposition \[p1\] can also be vxploited in e different way, ea follows. For w girei type of group, we considar the base cave wkere $q=p$ is a prime. For a specific vajue of $p$, wf can use ad hjc mtthjds znd/or computer algebra systems liks [GAP]{} [@gep] to perform akl kinds of computations wlthij the fixed finite group $G(p)$. Id we wucceed in tfis way to determine tge scalars $\xi$ for $G(p)$, then Proporitiou \[p1\] tells us tyat jhe analogouw resllt will hold for any power pf $p$. This is pavticunaroy relevant for “bad” pcimes $p=2,3,5$ which, typicajly, are ktocn to cause additionao xomplhcathons qnd resumre separwte arguments. We illustrqte this procedure eiey a number of exampjef. In particular, we determine the scalarv $\zsta$ in two cases, where rhe character table ov $G({{\mathbb{S}}}_p)$ is explicitly known; namely, $F_4$, $E_6$ and $p=2$. For type $X_4$, our fesbots cunppete earlier results of Marcelo–Shinoda [@MaSh]. Sqs slxo [@GeHe] for thc discussion of futtjet examples, whete the ekmllete character tahle of $D({{\mathvb{F}}}_p)$ is njt kmown.

We assume some familiaruty with the xharacter theory oy finite grobps of Lie yype; see, e.g., [@C2], [@first]. The basjc referencf for the gheory of characger sveaves are Lusztig’s papers [@L2a]–[@L2e]. In Wectnon \[sec1\], wd refiew tre classiflcation of unipotent chagactets of $C(q)$ and the analogous classification of thx unipotent cnasacner sheavzs on $N$. These two clafsifications ate known co be ghe same fkr $G(q)$ oh split type (a fact which jas only recxntly fougd a conxeptual dxplanation; ser Lusztig [@L11]). In Sectuon \[sec2\], we can then fotmhlate in precisz ueems the problek ow ezuwtmng cjdss functionv $R_x=\bi\cfo_A$ as above, and cstxblixh Proposition \[p1\]. Finanly, Aections \[sec3\], \[
[@L2a]–[@L2e] (e.g. [@L2e Theorems 23.1 and 25.2]) The observation of paper is that can be exploited in different way, as For a given type of group, consider the base case where $q=p$ is a prime. For a specific value $p$, we can use ad hoc methods and/or computer algebra systems like [GAP]{} to all of within the fixed finite group $G(p)$. If we succeed in this way to determine the scalars for $G(p)$, then Proposition \[p1\] tells us that analogous result will hold any power of $p$. This particularly for “bad” $p=2,3,5$ typically, known to cause complications and require separate arguments. We illustrate this procedure with a number of examples. In particular, we the scalars two cases, the table $G({{\mathbb{F}}}_p)$ is explicitly $F_4$, $E_6$ and $p=2$. For type complete earlier results of Marcelo–Shinoda [@MaSh]. See also for the of further examples, where the complete table of $G({{\mathbb{F}}}_p)$ is not known. We assume familiarity with the character theory of finite groups of Lie type; see, e.g., [@C2], [@first]. reference for the theory character sheaves are papers In \[sec1\], review the of unipotent characters of $G(q)$ and the analogous classification of the character sheaves on $G$. These two classifications are known to same $G(q)$ of split (a fact which has recently a conceptual explanation; see In \[sec2\], formulate precise the problem of equating functions $R_x=\xi\chi_A$ as above, and Proposition \[p1\]. Finally, Sections
 [@L2a]–[@L2e] (e.g. [@L2e Theorems 23.1 and 25.2]) hold unConditionaLly.

ThE maIn oBsErvaTion Of this paper is tHAt thE statement of PropositioN \[p1\] can AlSO be eXPlOited In a diffEReNT Way, As FoLloWs. fOr A giveN tyPe of groUp, we considEr tHe Base case wherE $Q=p$ Is a prime. FoR a sPecific value Of $p$, We can uSe Ad hOC methOds And/or ComputER algebRa systems LiKE [GAP]{} [@gaP] To perfoRM AlL kinDs of computations wIThIN the fixed finitE group $g(p)$. iF wE SUccEed In this way tO dEtermINe the scALaRS $\XI$ foR $g(p)$, then ProposiTion \[p1\] tells uS ThaT the anAlOgoUS resulT will HoLD foR any power of $P$. ThiS is particUlarly RElevant FOr “bad” prImes $p=2,3,5$ wHicH, tyPicaLLy, ArE knOwN To cAUsE adDItiOnal compLiCaTions And rEQUIRe seParAte aRgumeNts. We illustraTe tHis pROceDure wIth a nUmbeR oF examPles. In PartiCuLar, we determine tHe scAlars $\zeta$ In tWo CasEs, Where THe charActEr tAble of $G({{\Mathbb{F}}}_P)$ Is eXpLICItLy known; namely, $F_4$, $E_6$ and $P=2$. FOR TyPe $F_4$, our reSults cOMpLeTE earlier ReSulTs of mARcelo–shinODa [@maSh]. See aLso [@GeHE] FoR tHe discuSsIon of fUrTheR exAmpleS, WherE the coMplete chAractER table of $G({{\mathbB{f}}}_p)$ is not known.

WE AsSUMe SOme fAmiLiarity with The cHAracTer tHEoRy oF FinitE grouPs OF LIE type; see, e.g., [@C2], [@first]. The BaSic refErencE for the theory Of characteR SHEaves are luszTIg’S Papers [@L2a]–[@L2e]. In SeCtion \[Sec1\], we revieW The classIficaTion of unIpotent chARActers of $g(q)$ aNd tHe aNalOGOuS classificatiON Of thE uNipotenT chAracter SheAveS on $g$. ThEsE two classIficatioNs ArE kNoWn tO be thE Same for $G(Q)$ oF spLiT tyPe (a faCT which Has onLy reCeNtLY foUnd a conCEpTUAl exPlAnAtioN; seE LUsztiG [@L11]). In sEctIon \[sec2\], wE can then fOrmULate In PrEcise teRms the problem Of Equating clAsS fuNctionS $r_X=\xi\chi_A$ aS above, and establish PropoSItion \[p1\]. FInaLly, SeCtioNs \[sec3\], \[
 [@L2a]–[@L2e] (e.g. [@L2e  Theorems23.1and  25 .2 ]) h oldunconditionall y .

T he main observation of  this  p a peri sthatthe sta t em e n t o fPr opo si t io n \[p 1\]  can al so be expl oit ed  in a differ e nt  way, as f oll ows. For a g ive n type  o f g r oup,weconsi der th e  basecase wher e$ q=p$ i s  a prim e .  F or a  specific value o f  $ p $, we can usead hoc  m e th o d s a nd/ or compute ralgeb r a syste m sl i k e [ G AP]{} [@gap]to performa llkindsof  co m putati ons w it h inthe fixed f init e group $ G(p)$. If we s u cceed i n this  wa y t o de t er mi neth e  sc a la rs$ \xi $ for $G (p )$ , the n Pr o p o s itio n \ [p1\ ] tel ls us that th e a nalo g ous  resu lt wi ll h ol d for  any p owerof  $p$. This is p arti cularly r ele va ntfo r “ba d ” prim es$p= 2,3,5$which,t ypi ca l l y ,are known to cause  a d d it ional co mplica t io ns and requ ir e s epar a t e arg umen t s.  We illu strate th is  proced ur e with  a  nu mbe r ofe xamp les. I n partic ular, we determine t h e scalars $\z e ta $ in twocas es, where t he c h arac tert ab leo f $G( {{\ma th b b{ F }}}_p)$ is explicit ly  known ; nam ely, $F_4$, $ E_6$ and $ p = 2 $. For t ype$ F_ 4 $, our results  comp lete earli e r result s ofMarcelo– Shinoda [ @ M aSh]. Se e a lso  [@ GeH e ]  f or the discus s i on o ffurther  ex amples,  wh ere  th e c om plete cha racter t ab le  o f$G( {{\ma t hbb{F}}} _p )$is  no t kno w n.

We  assu me s om ef ami liarity wi t h  the  c ha ract erth eoryof f i nit e group s of Lietyp e ; se e,  e .g., [@ C2], [@first] .The basicre fer ence f o r  the the ory of character sheave s  are Lu szt ig’spape rs [@L2a] –[@ L2e].InS ection  \[sec 1\],we  re v i ew th e cl ass if ication of u nip otent  c hara cters o f $G(q)$ and the a n alo gous classifi cat iono f  t heu ni p ote nt cha r a cter sheaves on  $G$. Thes et wo  classific a tio ns  are kn own tobe th e  same f or $G(q)$  of split  t ype( a  fa ct which h as onlyrecentlyf ounda  c oncep tua l expl an ati on; s ee Lus z tig  [@L1 1]). I nSectio n \[s ec 2\], wecan then formulate in p recise  term s t he proble m o f  eq uating cl assfunctions$R_ x=\ xi\ch i_A $  as a bove ,  a nde stabl ishP ropositio n  \ [p1 \ ] .Finally, Se c t i ons  \[se c3\ ] , \[
 [@L2a]–[@L2e]_(e.g. [@L2e_Theorems 23.1 and 25.2]) hold_unconditionally.

The main_observation_of this_paper_is that the_statement of Proposition \[p1\]_can also be exploited_in a different_way,_as follows. For a given type of group, we consider the base case where_$q=p$_is a_prime._For_a specific value of $p$, we_can use ad hoc methods_and/or computer_algebra systems like [GAP]{} [@gap] to perform all_kinds_of computations within_the fixed finite group $G(p)$. If we succeed in_this way to determine the scalars_$\xi$ for $G(p)$,_then_Proposition \[p1\]_tells us that the_analogous result will hold for any_power of $p$. This is particularly relevant_for “bad” primes $p=2,3,5$ which, typically, are_known to cause additional complications and_require separate arguments. We illustrate_this procedure_with a number of examples._In particular, we_determine the_scalars $\zeta$ in_two cases, where the character table_of $G({{\mathbb{F}}}_p)$ is_explicitly known; namely, $F_4$, $E_6$ and_$p=2$._For type $F_4$,_our_results_complete earlier_results of Marcelo–Shinoda_[@MaSh]._See also_[@GeHe]_for the discussion of further examples,_where_the complete character table of $G({{\mathbb{F}}}_p)$ is_not known.

We assume some_familiarity_with the character theory_of finite groups of Lie_type; see, e.g., [@C2], [@first]. The_basic reference_for the_theory of character sheaves are Lusztig’s papers [@L2a]–[@L2e]. In Section \[sec1\], we_review the classification of unipotent characters_of $G(q)$ and the_analogous classification_of_the unipotent character_sheaves_on $G$._These two classifications are known to be_the same_for $G(q)$ of split type (a_fact which has only_recently_found a conceptual explanation; see Lusztig_[@L11]). In Section \[sec2\], we can then_formulate in precise terms the_problem_of_equating class functions $R_x=\xi\chi_A$ as_above, and establish Proposition \[p1\]. Finally, Sections \[sec3\],_\[