Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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 H=SU(3)×U(1), where SU(3)={g∈M3(C):g†g=I3,det⁡g=1} and U(1)={z∈C:∣z∣=1}. For a finite-dimensional unitary representation ρ:H→U(Vρ), let Aρ be a smooth anti-Hermitian matrix-valued one-form on a smooth manifold X, representing a connection in a local trivialization, and set Fρ=dAρ+Aρ∧Aρ. Define the degree-six invariant polynomial

I6(ρ,Aρ):=2π[tr⁡Vρexp⁡ ⁣(−iFρ2π)]6=i24π2tr⁡Vρ(Fρ∧Fρ∧Fρ),

where the exponential is its formal power series and [ ⋅ ]6 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 E=C3 with ρE(g,z)=zg, a background connection is AE=A+iBI3, where A is an su(3)-valued one-form and B is a real U(1) connection one-form. The dual representation is E∗=Hom⁡C(E,C) with ρE∗(g,z)=ρE(g,z)−T; its induced connection and curvature are AE∗=−AET and FE∗=−FET.

Dependency tree · 0 levels

Nothing. This result depends on no other item in the library.

Sources