 arises as $$\operatorname{Sym}^2(\mathbf{20}) = \mathbf{175} \oplus \mathbf{35},$$ where $\mathbf{35} = \mathfrak{su}(6)$ is the adjoint representation.

The Mathieu group ${\mathrm M}_{21}$ is not sporadic, being isomorphic to $\mathrm{PSL}_3({{\mathds}F}_4) = {\mathrm L}_3(4)$. It embeds into ${\mathrm{PSU}}(6)$ via the 6-dimensional representation of its 6-fold cover $6{\mathrm M}_{21}$ (which GAP’s character table library only knows under the name “$6.{\mathrm L}_3(4)$,” but we will use the Mathieu name). The adjoint representation $\mathbf{35}$ remains simple when restricted to ${\mathrm M}_{21}$, and so the conformal vector $\nu$ is the unique ${\mathrm M}_{21}$-fixed spin-$2$ field. On the other hand, $\mathbf{20}$ breaks over $2{\mathrm M}_{21}$ as $\mathbf{10} \oplus \overline{\mathbf{10}}$, where $\mathbf{10}$ and $\overline{\mathbf{10}}$ are a dual pair of $10$-dimensional complex irreps of $2{\mathrm M}_{21}$, and so $\operatorname{Sym}^2(\mathbf{20})$, and hence $\mathbf{175}$, has a unique fixed point when restricted to ${\mathrm M}_{21}$, picking out the superconformal vector $\tau$.

We remark that, although ${\mathrm M}_{21} = {\mathrm L}_3(4)$ is not sporadic, it is exceptional, having very large Schur multiplier ($3 \times 4^2$) and outer automorphism group ($D_{12} = 2 \times S_3$). The outer automorphism of order $3$ permutes the three double covers. In particular, there is no (interesting) group “$2.{\mathrm M}_{21}.3$,” and so no “$6.{\mathrm M}_{21}.3$” which could embed into ${\mathrm{SU}}(6)$. (GAP can compute, in a few seconds, that $\operatorname{Aut}(6.{\mathrm M}_{21}) = {\mathrm M}_{21}{:}2^2$.)

There are three groups of shape ${\mathrm M}_{21}{:}2$, coming from the three conjugacy classes of order-$2$ element in $\operatorname{
arises as $ $ \operatorname{Sym}^2(\mathbf{20 }) = \mathbf{175 } \oplus \mathbf{35},$$ where $ \mathbf{35 } = \mathfrak{su}(6)$ is the adjoint representation. 

 The Mathieu group $ { \mathrm M}_{21}$ is not sporadic, being isomorphic to $ \mathrm{PSL}_3({{\mathds}F}_4) = { \mathrm L}_3(4)$. It embeds into $ { \mathrm{PSU}}(6)$ via the 6 - dimensional theatrical performance of its 6 - fold binding $ 6{\mathrm M}_{21}$ (which GAP ’s character table library merely know under the name “ $ 6.{\mathrm L}_3(4)$, ” but we will use the Mathieu name). The adjoint representation $ \mathbf{35}$ persist dim-witted when restricted to $ { \mathrm M}_{21}$, and thus the conformal vector $ \nu$ is the unique $ { \mathrm M}_{21}$-fixed spin-$2 $ field. On the early hand, $ \mathbf{20}$ breaks over $ 2{\mathrm M}_{21}$ as $ \mathbf{10 } \oplus \overline{\mathbf{10}}$, where $ \mathbf{10}$ and $ \overline{\mathbf{10}}$ are a dual pair of $ 10$-dimensional complex irreps of $ 2{\mathrm M}_{21}$, and therefore $ \operatorname{Sym}^2(\mathbf{20})$, and hence $ \mathbf{175}$, has a unique fixed point when restrict to $ { \mathrm M}_{21}$, picking out the superconformal vector $ \tau$. 

 We remark that, although $ { \mathrm M}_{21 } = { \mathrm L}_3(4)$ is not sporadic, it is exceptional, receive very large Schur multiplier ($ 3 \times 4 ^ 2 $) and outer automorphism group ($ D_{12 } = 2 \times S_3 $). The outer automorphism of ordering $ 3 $ permutes the three double covers. In particular, there is no (interesting) group “ $ 2.{\mathrm M}_{21}.3 $, ” and therefore no “ $ 6.{\mathrm M}_{21}.3 $ ” which could embed into $ { \mathrm{SU}}(6)$. (GAP can compute, in a few seconds, that $ \operatorname{Aut}(6.{\mathrm M}_{21 }) = { \mathrm M}_{21}{:}2 ^ 2$.) 

 There are three groups of shape $ { \mathrm M}_{21}{:}2 $, coming from the three conjugacy classes of order-$2 $ element in $ \operatorname {
 arlses as $$\operatorname{Sym}^2(\mxthbf{20}) = \mathbf{175} \oklys \matibf{35},$$ whede $\mathbw{35} = \mathfrak{su}(6)$ is the adjoint rwprestutation.

The Mathieu gfoup ${\mathgm M}_{21}$ is nit skoradic, being isomorphic bj $\mafmrm{PSN}_3({{\nathds}F}_4) = {\mathrk L}_3(4)$. It embads into ${\mathrk{PRU}}(6)$ via the 6-dimensional representation of its 6-flld cover $6{\mathtm M}_{21}$ (erich GAP’s character table library only knows lnder the name “$6.{\mayhrm L}_3(4)$,” but we will use the Matjieu name). The adjolnt represebtatyin $\mathbf{35}$ reoains simple when restticted to ${\mathrm M}_{21}$, and so the covformcl vector $\no$ js jhe unique ${\methrm I}_{21}$-fixed spin-$2$ npeld. On the otner hand, $\mathbn{20}$ breeks iver $2{\mathrm M}_{21}$ as $\mathuf{10} \oplus \overline{\matrbf{10}}$, where $\mcthbf{10}$ and $\overline{\matybd{10}}$ are a dgal oqir of $10$-dmmehsionap ckmplex irrsps of $2{\mathem M}_{21}$, and so $\operatotnwne{Sym}^2(\mathbf{20})$, ahd hense $\mathbf{175}$, has a unique fixed point when rtstridted to ${\mathrm M}_{21}$, pickint out the superconforlal vectow $\tau$.

We remark that, although ${\mathrm M}_{21} = {\mathrm L}_3(4)$ iv not rpoxqdic, kr ls exceptional, having very large Schur multipjjet ($3 \times 4^2$) and ouber automorphism gtokp ($Q_{12} = 2 \times S_3$). Tfe outzd zutomorphism of orfer $3$ petmutes the thret dounle covers. In particular, thwre is no (innerewting) group “$2.{\mathrm M}_{21}.3$,” and so nu “$6.{\majhrm M}_{21}.3$” which could embed into ${\matgrm{SU}}(6)$. (GAP cwn computs, in a few secondr, tmat $\operatorname{Aut}(6.{\mathrm M}_{21}) = {\iathrm M}_{21}{:}2^2$.)

Tiere cre thred grpups os shape ${\mahhrm M}_{21}{:}2$, coming from the tjree eonjucacy classfs of order-$2$ element in $\operatorieme{
arises as $$\operatorname{Sym}^2(\mathbf{20}) = \mathbf{175} \oplus \mathbf{35},$$ = is the representation. The Mathieu sporadic, isomorphic to $\mathrm{PSL}_3({{\mathds}F}_4) {\mathrm L}_3(4)$. It into ${\mathrm{PSU}}(6)$ via the 6-dimensional representation its 6-fold cover $6{\mathrm M}_{21}$ (which GAP’s character table library only knows under name “$6.{\mathrm L}_3(4)$,” but we will use the Mathieu name). The adjoint representation remains when to M}_{21}$, and so the conformal vector $\nu$ is the unique ${\mathrm M}_{21}$-fixed spin-$2$ field. On the hand, $\mathbf{20}$ breaks over $2{\mathrm M}_{21}$ as $\mathbf{10} \overline{\mathbf{10}}$, where $\mathbf{10}$ and are a dual pair of complex of $2{\mathrm and $\operatorname{Sym}^2(\mathbf{20})$, hence $\mathbf{175}$, has unique fixed point when restricted to ${\mathrm M}_{21}$, picking out the superconformal vector $\tau$. We remark that, ${\mathrm M}_{21} L}_3(4)$ is sporadic, is having very large ($3 \times 4^2$) and outer automorphism 2 \times S_3$). The outer automorphism of order permutes the double covers. In particular, there is (interesting) group “$2.{\mathrm M}_{21}.3$,” and so no “$6.{\mathrm which could embed into ${\mathrm{SU}}(6)$. (GAP can compute, in a few seconds, that $\operatorname{Aut}(6.{\mathrm M}_{21}) M}_{21}{:}2^2$.) There are three of shape ${\mathrm coming the conjugacy of order-$2$ in $\operatorname{
 arises as $$\operatorname{Sym}^2(\maThbf{20}) = \mathbf{175} \Oplus \MatHbf{35},$$ WhEre $\mAthbF{35} = \mathfrak{su}(6)$ is tHE adjOint representation.

The MAthieU gROup ${\mAThRm M}_{21}$ is Not sporADiC, BEinG iSoMorPhIC tO $\mathRm{PsL}_3({{\mathdS}F}_4) = {\mathrm L}_3(4)$. IT emBeDs into ${\mathrm{psU}}(6)$ Via the 6-dimeNsiOnal represenTatIon of iTs 6-FolD Cover $6{\MatHrm M}_{21}$ (wHich GAp’S charaCter table LiBRary onLY knows uNDEr The nAme “$6.{\mathrm L}_3(4)$,” but we wiLL uSE the Mathieu namE). The adJoINt REPreSenTation $\mathBf{35}$ RemaiNS simple WHeN REStrICted to ${\mathrm M}_{21}$, And so the conFOrmAl vectOr $\Nu$ iS The uniQue ${\maThRM M}_{21}$-fIxed spin-$2$ fieLd. On The other hAnd, $\matHBf{20}$ breakS Over $2{\matHrm M}_{21}$ as $\MatHbf{10} \OpluS \OvErLinE{\mAThbF{10}}$, WhEre $\MAthBf{10}$ and $\oveRlInE{\mathBf{10}}$ arE A DUAl paIr oF $10$-dimEnsioNal complex irrEps Of $2{\maTHrm m}_{21}$, and sO $\operAtorNaMe{Sym}^2(\Mathbf{20})$, And heNcE $\mathbf{175}$, has a uniqUe fiXed point wHen ReStrIcTed to ${\MAthrm M}_{21}$, PicKinG out the SupercoNForMaL VECtOr $\tau$.

We remark that, aLtHOUgH ${\mathrm M}_{21} = {\Mathrm l}_3(4)$ Is NoT Sporadic, It Is eXcepTIOnal, hAvinG VeRy large SChur muLTiPlIer ($3 \timeS 4^2$) aNd outeR aUtoMorPhism GRoup ($d_{12} = 2 \times s_3$). The outeR autoMOrphism of order $3$ PErmutes the thrEE dOUBlE CoveRs. IN particular, TherE Is no (InteREsTinG) Group “$2.{\MathrM M}_{21}.3$,” ANd SO no “$6.{\mathrm M}_{21}.3$” which coulD eMbed inTo ${\matHrm{SU}}(6)$. (GAP can coMpute, in a feW SEConds, thaT $\opeRAtORname{Aut}(6.{\mathrm m}_{21}) = {\mathRm M}_{21}{:}2^2$.)

There arE Three groUps of Shape ${\matHrm M}_{21}{:}2$, cominG FRom the thRee ConJugAcy CLAsSes of order-$2$ eleMENt in $\OpEratornAme{
 arises as $$\operatorname {Sym}^2(\m athbf {20 })=\mat hbf{ 175} \oplus \m a thbf {35},$$ where $\mathbf {35}=\ math f ra k{su} (6)$ is th e adj oi nt  re pr e se ntati on. 

The M athieu gro up${ \mathrm M}_{ 2 1} $ is not s por adic, beingiso morphi cto$ \math rm{ PSL}_ 3({{\m a thds}F }_4) = {\ ma t hrm L} _ 3(4)$.I t  e mbed s into ${\mathrm{ P SU } }(6)$ via the6-dime ns i on a l  re pre sentationof  its6 -fold c o ve r $ 6{\ m athrm M}_{21} $ (which GA P ’scharac te r t a ble li brary  o n lyknows under  the  name “$6 .{\mat h rm L}_3 ( 4)$,” b ut wewil l u se t h eMa thi eu nam e ).  Th e  ad joint re pr es entat ion$ \ m a thbf {35 }$ r emain s simple when  re stri c ted  to $ {\mat hrmM} _{21} $, and  so t he  conformal vect or $ \nu$ is t heun iqu e${\ma t hrm M} _{2 1}$ -fixedspin-$2 $  fi el d . On  the other hand, $ \m a t hb f{20}$ b reakso ve r$ 2{\mathr mM}_ {21} $ as $\ math b f{ 10} \opl us \ov e rl in e{\math bf {10}}$ ,whe re$\mat h bf{1 0}$ an d $\over line{ \ mathbf{10}}$ a r e a dual pair of $ 10 $ -dim ens ional compl ex i r reps  of$ 2{ \ma t hrm M }_{21 }$ ,  a n d so $\operatorname {S ym}^2( \math bf{20})$, and  hence $\m a t h bf{175}$ , ha s  a unique fixed p ointwhen restr i cted to${\ma thrm M}_ {21}$, pi c k ing outthe  su per con f o rm al vector $\t a u $.
We  remark  th at, alt hou gh${\ mat hr m M}_{21}  = {\mat hr mL} _3 (4) $ isn ot spora di c,it  is  exce p tional , hav ingve ry lar ge Schu r  m u l tipl ie r($3\ti me s 4^2 $) a n d o uter au tomorphis m g r oup($ D_ {12} =2 \times S_3$ ).  The outer  a uto morphi s m  of orde r $3$ permutes the thre e  double  co vers.  Inparticula r,thereisn o (int eresti ng) g ro up“ $ 2.{\m a t hr m M }_ {21}.3$,”a n d s o no“$ 6.{\ mathrmM}_{21}.3$” whichc oul d embed into${\ math r m {S U}} ( 6) $ . ( GA P  ca n compute, in a f ew seconds ,t ha t $\operat o rna me {Aut}(6 .{\math rm M} _ {21}) =  {\mathrm  M}_{21}{ :} 2^2$ . ) 

T here are t hree gro ups of sh a pe ${ \ ma thrmM}_ {21}{: }2 $,comin g from the  thre e conj ug acy cl asses  o f order- $2$ element in $\operat orname {
 arises_as $$\operatorname{Sym}^2(\mathbf{20})_= \mathbf{175} \oplus \mathbf{35},$$_where $\mathbf{35}_=_\mathfrak{su}(6)$ is_the_adjoint representation.

The Mathieu_group ${\mathrm M}_{21}$_is not sporadic, being_isomorphic to $\mathrm{PSL}_3({{\mathds}F}_4)_=_{\mathrm L}_3(4)$. It embeds into ${\mathrm{PSU}}(6)$ via the 6-dimensional representation of its 6-fold cover_$6{\mathrm_M}_{21}$ (which_GAP’s_character_table library only knows under_the name “$6.{\mathrm L}_3(4)$,” but_we will_use the Mathieu name). The adjoint representation $\mathbf{35}$_remains_simple when restricted_to ${\mathrm M}_{21}$, and so the conformal vector $\nu$_is the unique ${\mathrm M}_{21}$-fixed spin-$2$_field. On the_other_hand,_$\mathbf{20}$ breaks over $2{\mathrm_M}_{21}$ as $\mathbf{10} \oplus \overline{\mathbf{10}}$, where_$\mathbf{10}$ and $\overline{\mathbf{10}}$ are a dual_pair of $10$-dimensional complex irreps of $2{\mathrm_M}_{21}$, and so $\operatorname{Sym}^2(\mathbf{20})$, and hence_$\mathbf{175}$, has a unique fixed_point when_restricted to ${\mathrm M}_{21}$, picking_out the superconformal_vector $\tau$.

We_remark that, although_${\mathrm M}_{21} = {\mathrm L}_3(4)$ is_not sporadic, it_is exceptional, having very large Schur_multiplier_($3 \times 4^2$)_and_outer_automorphism group_($D_{12} = 2_\times_S_3$). The_outer_automorphism of order $3$ permutes the_three_double covers. In particular, there is no_(interesting) group “$2.{\mathrm M}_{21}.3$,”_and_so no “$6.{\mathrm M}_{21}.3$”_which could embed into ${\mathrm{SU}}(6)$._(GAP can compute, in a few_seconds, that_$\operatorname{Aut}(6.{\mathrm M}_{21})_= {\mathrm M}_{21}{:}2^2$.)

There are three groups of shape ${\mathrm M}_{21}{:}2$, coming_from the three conjugacy classes of_order-$2$ element in $\operatorname{