Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicablePipeline-generatedprecheck pendingjudge 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.

Rigid N=1 SU(2) gauge-matter superspace action

Physical scope

An adopted classical rigid N=1 superspace gauge-matter model for a finite family of chiral multiplets in specified finite-dimensional unitary representations of the selected SU(2) gauge group and bundle sector on flat four-dimensional Minkowski spacetime. It asserts no quantum measure, continuum quantum theory, or empirical result.

Postulate

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 classical pure SU(2) gauge model on oriented and time-oriented Minkowski M=R1,3 with η=diag⁡(−1,1,1,1), one selected smooth right-principal bundle P→M, connection A, curvature FA=dA+12[A∧A], invariant form κ(X,Y)=−2Tr⁡2(XY), and positive dimensionless gYM from the non-Abelian Yang–Mills model. Use natural units ℏ=c=1, so [xμ]=−1, [gYM]=0, [Aμ]=1, and [FA,μν]=2. Let g=gYM.

Choose a finite index set I with ∣I∣≥1. For each a∈I, choose a finite-dimensional complex Hermitian space Va, a smooth unitary representation Ra:SU(2)→U(Va), and its associated vector bundle Ea=P×RaVa. Define Vmat=⨁a∈IVa and Rmat(h)=⨁a∈IRa(h). The matter field Φa is a smooth chiral superfield with local components in Ea and unique full even scalar, odd left Weyl, and even auxiliary components (aa,ψa,Fa) in the coefficient convention below; their engineering dimensions are 1, 3/2, and 2. Let V be the full real vector prepotential of the local vector-superfield definition, with connection-normalized component Aμ=−igBμ in a local unitary frame, and let Wα be its abstract connection-normalized Lie-algebra-valued chiral field strength. Its represented matrix curvature is Cα,R=−14Dˉβ˙Dˉβ˙(e−2gVRDαe2gVR); the dictionary is ρR∗(Wα)=Cα,R/(2i), so in the defining representation κC(Wα,Wα)=Tr⁡2(CαCα)/2. The matter covariant derivative is Dμϕa=∂μϕa+ρa∗(Aμ)ϕa=∂μϕa−igBμbtb,aϕa, where tb,a=iρa∗(Tb) and Tb=−iσb/2. Take smooth field-dependent component fluctuations with compact support in the local trivializing regions used for the action; noncompact backgrounds are treated only through compactly supported relative action differences.

Choose a holomorphic superpotential WG:Vmat→C of engineering dimension three, where holomorphic means that every Wirtinger derivative ∂zˉAWG vanishes in complex-linear coordinates zA on Vmat. Require invariance under the induced SU(2) action, WG(Rmat(h)v)=WG(v) for all h∈SU(2) and v∈Vmat. Its complex differential dWG,v:Vmat→C is the complex-linear map with coordinate expression dWG,v(w)=∑A(∂zAWG)(v)wA. Write ρmat∗(X)=⨁a∈Iρa∗(X) for the infinitesimal representation. Differentiating the invariance condition along h=exp⁡(tX) gives dWG,v(ρmat∗(X)v)=∑a∈IdWG,v(0,…,ρa∗(X)va,…,0)=0 for every X∈su(2).

In each local unitary frame, use the finite Grassmann convention of the Wess–Zumino model postulate for this complete finite matter family: take the finite exterior coefficient algebra G on m odd generators with generator-fixing conjugate-linear, parity-preserving involutive anti-automorphism (cζi1⋯ζir)∗=cˉζir⋯ζi1 and its degree-zero augmentation, exactly as defined there, and let J be the zero-body ideal in G⊗Λ4, so Jm+5=0. Local full scalar and auxiliary components are smooth maps aa,Fa into G0ˉ⊗Va, and fermions into G1ˉ⊗Va, with coefficientwise compact support on M in the stated frames. Complex conjugation combines the specified G involution with the Hermitian dual in the unitary frame. The ordinary bosonic restriction sets all positive coefficient-algebra degrees and fermions to zero, giving complex fields ϕa=b(aa) and Fa=b(Fa); it is not the formal field space used for off-shell closure. Use the full G-valued action and coefficientwise supersymmetry variation, and the conjugation-compatible parameter convention of the Wess–Zumino postulate. Let v(x)=(ϕa(x))a∈I be the body and ν(x,θ,θˉ)=Φ(x,θ,θˉ)−v(x)∈J⊗CVmat its nilpotent increment. Evaluate WG by the finite Taylor rule of the Wess–Zumino model postulate: after choosing complex-linear coordinates on Vmat, write d=dim⁡CVmat and let γ=(γA)A=1d∈Nd be a multi-index, with γ!=∏AγA!, ∂zγ=∏A∂zAγA, and νγ=∏A(νA)γA.

WG(Φ)(x,θ,θˉ):=∑∣γ∣≤m+4(∂zγWG)(v(x))γ!ν(x,θ,θˉ)γ,

where the finite Grassmann algebra and its nilpotent ideal are chosen for this finite component family as in that postulate. Thus the local expression is chiral and, by the stated SU(2) invariance, defines the same scalar superpotential on overlapping associated-bundle frames. For a superspace superfield X, use the normalized physical brackets [X]D=−ID(X)/4 and, for chiral Y, [Y]F=IF(Y)/2. Let κC denote the complex-bilinear extension of κ. Adopt the action

SGM=∫Md4x{∑a∈I[Φˉae2gVRaΦa]D+([14g2κC(Wα,Wα)+WG(Φ)]F+h.c.)},

where VRa is the represented vector prepotential from the local definition. Its coupling convention is fixed by requiring the bosonic gauge-curvature component to be exactly −κ(FA∧∗ηFA)/(2g2); the same g occurs in e2gVRa and in Dμ=∂μ+ρa∗(Aμ), with no second gauge-coupling rescaling. The matter fields have [Φa]=1, [ψa]=3/2, and [Fa]=2; WG has engineering dimension three. The model is defined locally in bundle trivializations with the transition laws induced by P; the D/F densities are required to obey the displayed supergauge law, with κ invariant and WG gauge invariant, so the local action densities patch. Take configurations for which the action is integrable, or use compactly supported relative action differences with the same boundary convention as the supplied pure-gauge model. This is an adopted classical action, not a derivation that nature realizes it or that a quantum continuum theory exists. The gauge auxiliary field contributes its separate D-term sector; the F-term theorem on this page concerns only the chiral auxiliary contribution.

Depends on

Dependency tree · 2 levels

Sources