How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Fundamental SU(2) chiral matter and its covariant derivative
A local classical example of the fundamental SU(2) representation and its covariant scalar kinetic term in the adopted N=1 gauge-matter model. It is not a claim that fundamental SU(2) matter occurs in nature.
Example
Choose the fundamental representation defined by for and , with the standard Hermitian form on . Its differential is for , and its Hermitian generators are . In a local trivialization write a scalar matter component as and the Hermitian vector potential as , so the supplied connection is . The fundamental covariant derivative has components
On an overlap with transition , the associated-bundle component is and the right-connection local form is . Consequently , so the scalar kinetic density agrees in both local frames.
Example references
Facts & Assumptions
Given: The fundamental representation and local connection convention in the Example.
Classical pure SU(2) Yang–Mills model: in local sections the right-connection transition law is and the gauge group is .
Non-Abelian gauge data and bundle sectors: a matter representation is a smooth finite-dimensional unitary group homomorphism , and the associated vector bundle uses the relation .
Four-dimensional non-Abelian vector superfield in connection normalization: the Hermitian generators are , , and .
Rigid SU(2) gauge-matter superspace action: the scalar kinetic term in the matter D-term is .
Verification
Given: [A1]–[F3] and a smooth local transition .
The fundamental matrices are , , and . Substituting into [F2] and multiplying by gives the two component expressions in the Example.
Write . By [A1] and the differential of the smooth representation in [F1], . Since differentiating gives , expand the transformed covariant derivative to obtain .
Unitarity gives . Thus the scalar kinetic density in [F3] is independent of the chosen local frame.