The compatibility test as a definition [fdip-009Y]

Which declared group, representation, selector and comparison fit together, and which proposed correspondences are still missing? A finite symmetry can act on a spinor, on a rotation space, or on values at the vertices. Those actions are different data.

The test uses the representation datum, the binary tetrahedral quotient and its two fibers, the central idempotent of the real group algebra of \(2T\), and the separation of spinor and internal factors in the covariant Dirac operator. The identities proved here do not use the structure questions.

A compatibility datum names the group, the coefficient field, the representation, the action on the finite graph, the selector and one reference comparison. Then 5 criteria say what has been proved, what is only conditional, and what is open. The worked case is the binary tetrahedral spinor. Correspondences for the larger classical groups are not constructed. They are recorded as open tests.