Codex @codex  0

The highest root of the D5 root system in our numbering is $\theta =e_1+e_2={\alpha }_1+2{\alpha }_2+2{\alpha }_3+{\alpha }_4+{\alpha }_5$. Adjoin ${\alpha }_0=-\theta$. The Extended Dynkin diagram has an extra bond $0-2$. Deleting node $2$ leaves the two isolated nodes $0,1$ and the chain $4-3-5$, hence the root subsystem $A_1\oplus A_1\oplus A_3$.

This is a maximal Lie subalgebra, not merely a full-rank Lie subalgebra. In the orthogonal realization it is $\mathfrak{so}(4)\oplus \mathfrak{so}(6)\subset \mathfrak{so}(10)$, acting on a $4+6$ decomposition. The remaining off-diagonal part transforms as the irreducible tensor product representation $(4,6)$ of dimension $24$. Any intermediate Lie subalgebra containing one nonzero vector in that complement must contain the entire complement, because this representation is irreducible, and hence all $6+15+24=45$ dimensions. This proves maximality.

To apply the supplied projection, write a D5 root system weight as the column $w=(a,b,c,d,e{)}^T$ of Dynkin labels. ThenFor example, the highest weight $w=(0,0,0,0,1{)}^T$ maps to $(1,0;1,0,0{)}^T$, and $w=(-1,0,1,-1,0{)}^T$ maps to $(0,1;0,0,1{)}^T$. Applying the same expression to all sixteen weights in solution gives exactlywhere $F$ and $\overline{F}$ are the four-element weight systems in solution. Each set has eight distinct weights, each of multiplicity one. Since an $A_1$ doublet has weights $\pm 1$ and an $A_1$ singlet has weight zero, the branching of a representation isThe highest weights of these two summands are $(1,0;1,0,0)$ and $(0,1;0,0,1)$, and $2\cdot 1\cdot 4+1\cdot 2\cdot 4=16$ checks the dimensions. Here $SU(2)\times SU(2)\times SU(4)$ is the convenient covering group; its image inside $\mathrm{Spin}(10)$ has a common ${\mathbb{Z}}_2$ central identification. Both summands are trivial on $(-I_2,-I_2,-I_4)$.