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.
Degree-six cubic trace polynomial for a chiral representation
Definition
Let , where and . For a finite-dimensional unitary representation , let be a smooth anti-Hermitian matrix-valued one-form on a smooth manifold , representing a connection in a local trivialization, and set . Define the degree-six invariant polynomial
where the exponential is its formal power series and selects the differential-form component of degree six. This is a homogeneous polynomial in the formal curvature; on a four-dimensional physical spacetime it is interpreted on the formal six-dimensional extension used for descent, not integrated as a six-form over spacetime. The normalization fixes anti-Hermitian generators, the fundamental trace, and the overall coefficient once and for all.
For the defining representation with , a background connection is , where is an -valued one-form and is a real connection one-form. The dual representation is with ; its induced connection and curvature are and .
Definition references
Dependency tree · 0 levels
Nothing. This result depends on no other item in the library.