Alphabeta Math
ExampleConstruction: AI-generatedVerification: AI-generatedPipeline-generatedprecheck passjudge 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.

Fundamental SU(2) chiral matter and its covariant derivative

Physical scope

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 Rf:SU(2)→U(C2) defined by Rf(h)w=hw for h∈SU(2)⊂M2(C) and w∈C2, with the standard Hermitian form w†z on C2. Its differential is ρf∗(X)=X for X∈su(2), and its Hermitian generators are ta=σa/2. In a local trivialization write a scalar matter component as ϕ=(u,v)T and the Hermitian vector potential as Bμ=Bμata, so the supplied connection is Aμ=−igYMBμ. The fundamental covariant derivative Dμϕ=∂μϕ+ρf∗(Aμ)ϕ has components

Dμu=∂μu−igYM2(Bμ3u+(Bμ1−iBμ2)v),Dμv=∂μv−igYM2((Bμ1+iBμ2)u−Bμ3v).

On an overlap with transition h(x)∈SU(2), the associated-bundle component is ϕ′=h−1ϕ and the right-connection local form is Aμ′=h−1Aμh+h−1∂μh. Consequently Dμ′ϕ′=h−1Dμϕ, so the scalar kinetic density −(Dμϕ)†Dμϕ agrees in both local frames.

Facts & Assumptions

Given: The fundamental representation and local connection convention in the Example.

[A1]

Classical pure SU(2) Yang–Mills model: in local sections the right-connection transition law is Aj=Ad⁡h−1Ai+h−1dh and the gauge group is SU(2).

[F1]

Non-Abelian gauge data and bundle sectors: a matter representation is a smooth finite-dimensional unitary group homomorphism R:SU(2)→U(VR), and the associated vector bundle uses the relation [ph,v]=[p,R(h)v].

[F2]

Four-dimensional N=1 non-Abelian vector superfield in connection normalization: the Hermitian generators are ta=σa/2, Aμ=−igYMBμ, and Dμ=∂μ+ρR∗(Aμ).

[F3]

Rigid N=1 SU(2) gauge-matter superspace action: the scalar kinetic term in the matter D-term is −(Dμϕ)†Dμϕ.

Verification

Given: [A1]–[F3] and a smooth local transition h:Ui∩Uj→SU(2).

1.1F2algebra

The fundamental matrices are t1=12(0110), t2=12(0−ii0), and t3=12(100−1). Substituting Aμ=−igYM∑aBμata into [F2] and multiplying by (u,v)T gives the two component expressions in the Example.

1.2A1F1F2algebra

Write R=Rf(h). By [A1] and the differential of the smooth representation in [F1], ρf∗(Aμ′)=R−1ρf∗(Aμ)R+R−1∂μR. Since differentiating RR−1=I gives ∂μ(R−1)=−R−1(∂μR)R−1, expand the transformed covariant derivative to obtain Dμ′ϕ′=∂μ(R−1ϕ)+ρf∗(Aμ′)R−1ϕ=R−1(∂μϕ+ρf∗(Aμ)ϕ)=R−1Dμϕ.

2.1F1F3step 1.2algebra∎

Unitarity gives (R−1Dμϕ)†(R−1Dμϕ)=(Dμϕ)†RR−1Dμϕ=(Dμϕ)†Dμϕ. Thus the scalar kinetic density in [F3] is independent of the chosen local frame.

Depends on

Dependency tree · 2 levels

Sources