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.

Four-dimensional N=1 non-Abelian vector superfield in connection normalization

Physical scope

A local classical N=1 superspace prepotential and vector multiplet for the selected SU(2) gauge-bundle sector on flat four-dimensional Minkowski spacetime, in the connection normalization of the supplied pure Yang–Mills model. No quantum gauge theory or continuum construction is asserted.

Definition

Use the physical action brackets [U]D=−ID(U)/4 and [Y]F=IF(Y)/2 from Physical superspace action brackets and canonical chiral components, with raw mathematical coefficient integrals ID,IF unchanged. Physical chiral components obey ψraw=2ψ and Fraw=2F. All physical action and coupling formulas below use these brackets and physical component names; adding Hermitian conjugation applies only to the F action and occurs once.

Use the selected smooth right-principal SU(2) bundle P→M and its connection A from the non-Abelian Yang–Mills model, with M=R1,3, η=diag⁡(−1,1,1,1), κ(X,Y)=−2Tr⁡2(XY), and positive dimensionless coupling gYM. For each matter representation, let HR be a finite-dimensional complex Hermitian space and R:SU(2)→U(HR) a smooth unitary representation; write ρR∗ for its Lie-algebra differential. In the fundamental representation set Ta=−iσa/2∈su(2) and ta=iTa=σa/2, so Tr⁡2(tatb)=12δab. In representation R, set ta,R=iρR∗(Ta). In a local trivialization write V=Vata and let VR=Vata,R be its represented matrix superfield in End⁡C(HR), and set Aμ=−igYMBμ when Bμ=Bμata is its vector component. Thus the matter covariant derivative is Dμ=∂μ+ρR∗(Aμ)=∂μ−igYMBμata,R.

A vector superfield prepotential is a dimensionless smooth even real matrix-valued superfield V in the finite Grassmann-valued superspace of the N=1 chiral-superfield convention. Under a global rigid supersymmetry variation it transforms as δV=(ϵαQα+ϵˉα˙Qˉα˙)V, with the supercharges defined in the chiral-superfield convention. Its local gauge transformations are ΦR↦eiΛRΦR and e2gYMVR↦eiΛR†e2gYMVRe−iΛR, where ΦR is chiral, VR=Vata,R, and ΛR=Λata,R is a dimensionless chiral gauge-parameter superfield in the represented complexified Lie algebra su(2)C=su(2)⊗RC. The associated represented matrix curvature is defined by

Cα,R=−14Dˉβ˙Dˉβ˙ ⁣(e−2gYMVRDαe2gYMVR),

where Dα=∂θαL+iσαβ˙μθˉβ˙∂μ and Dˉα˙=−∂θˉα˙L−iθβσβα˙μ∂μ. Admissible vector-superfield data require Dˉγ˙Cα,R=0 and the adjoint transition law Cα,j=Ad⁡gij−1Cα,i on each overlap with principal transition function gij.

Distinguish this represented curvature from the abstract connection-normalized Lie-algebra-valued curvature Wα. With canonical adjoint component field strength Wcan,αa, the matrix convention is Cα,R=2gYMta,RWcan,αa, whereas Wα=gYMTaWcan,αa. Since ta,R=iρR∗(Ta), their precise dictionary is

ρR∗(Wα)=Cα,R2i.

In the fundamental representation this gives κC(Wα,Wα)=12Tr⁡2(CαCα), where κC=−2Tr⁡2 is evaluated on the Lie-algebra matrices W, not on the raw C. Thus the chiral action coefficient κC(Wα,Wα)/(4gYM2) equals Tr⁡2(CαCα)/(8gYM2), before adding its Hermitian conjugate. This is a fixed real-coupling classical normalization identity; it is not a quantum-field rescaling or measure identity. Both curvatures are chiral and have the corresponding conjugation/transition law. The abstract W has the connection-normalized gaugino and auxiliary components specified below.

In a local Wess–Zumino-gauge representative, the canonical component fields in the prepotential are a Hermitian gauge potential Bμ, an adjoint Grassmann-odd Weyl gaugino λB,α, and a real adjoint auxiliary field DB, with expansion VWZ=θσμθˉBμ+iθ2θˉλˉB−iθˉ2θλB+12θ2θˉ2DB. Here θ2=θαθα and θˉ2=θˉα˙θˉα˙ use the fixed antisymmetric spinor tensors. Their dimensions are [Bμ]=1, [λB]=3/2, and [DB]=2. The connection-normalized fields are Aμ=−igYMBμ, λ=gYMλB, and D=gYMDB; hence [Aμ]=1, [λ]=3/2, and [D]=2. The full prepotential is used for supersymmetry transformations; Wess–Zumino gauge is only a component representative and need not be preserved by an uncompensated supersymmetry variation.

Depends on

Dependency tree · 2 levels

Sources