Equivariant precision and real types [fdip-004Y]

A symmetry sector need not have a single precision eigenvalue. Several copies of the same irreducible representation can mix, as the half-turn commutant already shows. The real isotypic projectors separate inequivalent types; within each sector a matrix over the reals, complexes or quaternions records the remaining freedom.

The commutant and positive cone determine the size of these matrices. The Frobenius-Schur indicator then identifies their scalar algebra, with an explicit passage from complex invariant forms to real modules. A twisted prism exhibits a complex multiplicity matrix, and the binary tetrahedral Cayley graph exhibits all three scalar types. Throughout, a Laplacian block becomes a positive precision block only after the specified mass shift.