Alphabeta Math
Physics theoremStatement: AI-adaptedProof: AI-generatedPipeline-generatedprecheck pending
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.

Heavy-chiral threshold Wess–Zumino anomaly match

Physical scope

Perturbative local anomaly matching for one positive-chirality SU(3)-singlet, U(1)_V-charge-one Weyl field, one neutral negative-chirality mass partner, and a retained charge-one Goldstone phase under small background U(1)_V transformations. It asserts no dynamical-gauge consistency, large-transformation/global anomaly, gravitational term, non-Abelian generalization, or continuum limit.

Statement

On natural-unit Minkowski space M=R1,3 with η=diag⁡(−1,1,1,1) and orientation dx0∧dx1∧dx2∧dx3, take the trivial H=SU(3)×U(1)V bundle, zero SU(3) background, and a smooth compactly supported real nondynamical U(1)V connection B with G=dB. Let α,θ∈Cc∞(M,R). Use the model's source-signed chirality convention γ5=−iγ0γ1γ2γ3=iγ0γ1γ2γ3, with positive chirality meaning eigenvalue +1. Use the model's Grassmann-odd coefficient algebra and conjugation for both Weyl fields: one smooth compactly supported positive-chirality Weyl field in (1,+1), one smooth compactly supported neutral negative-chirality mass partner, and the charge-one scalar Φ=veiθ in the Yukawa term −yΦψˉ+ψ−+h.c., where v>0, y≠0, and MH=∣y∣v. Fix the transformations B↦B+dα, ψ+↦e−iαψ+, ψ−↦ψ−, and θ↦θ−α, and use the consistent-anomaly representative with no non-invariant local counterterm. For any fixed integer n≥1, consider a specified n-point background-field vertex of ΓH with insertions from components of B and/or θ, and incoming real coordinate covectors pj=(pj0,pj1,pj2,pj3)∈R1,3 satisfying ∑j=1npj=0; set E=max⁡1≤j≤n, 0≤μ≤3∣pjμ∣. No on-shell condition is imposed. Require E/MH≪1 only for the low-energy effective-field-theory interpretation of that vertex. This condition applies to its finite set of external legs, not to the Fourier support of the compactly supported backgrounds, and gives no expansion-remainder bound; the exact local anomaly identity below is independent of it.

Adopt the source-derived consistent-anomaly formula for a positive-chirality Weyl field in representation R, written in Bilal's Hermitian convention,

δϵΓR=−124π2∫Mtr⁡R ⁣(ϵ d(A∧dA−i2A∧A∧A)).

For the selected U(1)V representation, set A=−B and ϵ=−α, so d−iA=d+iB and the positive-chirality field transforms as specified above. Since R=(1,+1) is one-dimensional, tr⁡R(1)=1; since A is Abelian, its cubic wedge term vanishes. The massless chiral-triangle calculation gives Atri,0(α,B)=+124π2∫MαG∧G. Use ZH=exp⁡(iΓH) and the model data's local field-redefinition relation ΓH=FM[B+dθ,MH]−ΔM[B,θ], where FM is invariant and ΔM=ΓRM[B+dθ]−ΓRM[B]. Thus δαΔM=−Atri,0 and the effective-action contribution −ΔM transfers the positive local variation to the Yukawa-massive sector independently of MH, so its local variation is AH(α,B)=+124π2∫MαG∧G. If ΓL is any specified remaining-light-sector functional with infinitesimal variation AL, and the low-energy theory retains θ and is required to match this perturbative background anomaly, then

ΓWZ[B,θ]=−124π2∫MθG∧G

satisfies δαΓWZ=AH and hence δα(ΓL+ΓWZ)=AL+AH=δα(ΓL+ΓH). Its coefficient has no MH−1 factor. This is an exact local perturbative anomaly identity in the adopted formal model and fixed representative; the low-energy interpretation is restricted to the specified finite-leg vertex above. It asserts no global determinant phase, dynamical-gauge consistency, gravitational contribution, non-Abelian generalization, quantitative EFT remainder, or continuum interacting QFT.

Facts & Assumptions

Given: The selected U(1)V model and small-transformation convention, the local anomaly-class definition and matching-data interface, Bilal's positive-chirality consistent variation in the explicitly translated Hermitian convention, Preskill's source-backed mass-independence argument, and the stated low-energy matching condition.

[F1]

Heavy chiral U(1)_V threshold model data: B↦B+dα, δαθ=−α, G=dB is invariant, and MH=∣y∣v>0; the model uses ZH=exp⁡(iΓH), Bθ=B+dθ, and ΓH=FM[Bθ,MH]−ΔM, with FM invariant. The measure multiplier is JM=exp⁡(−iΔM), while its effective-action contribution is −ΔM.

[F2]

Local perturbative ’t Hooft anomaly modulo counterterms: the local perturbative background anomaly is a class in HC,N1,4(s∣dH) modulo the selected model's admissible local four-dimensional counterterms and boundary convention; the definition distinguishes a nondynamical global background from a dynamical gauge redundancy.

[F3]

Flat-space chiral anomaly-matching data and regulator convention: the selected group is H=SU(3)×U(1)V, and the one-loop local anomaly for the finite positive-chirality Weyl spectrum is an adopted descent input from the normalized degree-six polynomial. Its component BRST rules are sBμ=∂μη and sψ+=−iηψ+ in the charge-one sector. With dx factors left, s(dxμa)=−dxμsa, so the whole horizontal one-form instead satisfies sB=−dHη. The supplier defines a linear one-ghost evaluation Eϵ,αp by replacing the single rightmost ghost jet with the corresponding ordinary parameter jet. It is not a homomorphism of the Grassmann algebra. For a ghost-free horizontal p-form C, Ep(sC)=(−1)pδC; thus the four-form anomaly is evaluated with a plus sign. The descent law remains an adopted source-backed input, not a theorem about every regulator.

[A1]

Bilal's consistent positive-chirality anomaly formula: use δϵΓR=−124π2∫tr⁡R(ϵ d(A∧dA−i2A∧A∧A)) in the displayed Hermitian convention, without a non-invariant local counterterm. The model's explicit map is A=−B, ϵ=−α.

[A2]

Preskill's heavy-chiral threshold argument: with the finite difference ΔE=ΓRE[Bθ]−ΓRE[B], Eqs. (6.34), (6.43)–(6.45) give the Euclidean measure multiplier JE=exp⁡(ΔE) and its effective-action contribution −ΔE. With ΓE=−iΓM and ΔE=−iΔM, this gives the Minkowski relation in [F1]. Only this local perturbative threshold input and mass independence are adopted, not a global determinant phase, full determinant construction or remainder estimate.

[A3]

For a specified finite-n background-field vertex with E/MH≪1, the low-energy description retains θ and is required to match the formal heavy-sector contribution's local background-U(1)V variation in the fixed representative. This is a matching condition, not a claim of a nonperturbative continuum construction or a uniform expansion-remainder bound.

Proof

Given: [F1], [F2], [F3], [A1], [A2], and [A3].

1.1givenF1algebra

From [F1], G′=d(B+dα)=G+d2α=G, while δαθ=−α. Thus G∧G is invariant under the specified small background transformations.

1.2givenF1F3A1A2algebra

By [F3], the linear map E0,α4 sets the SU(3) ghost jets to zero and replaces each U(1)V ghost jet ηI by ∂Iα; for every ghost-free background four-form C4, E0,α4(sC4)=δ0,αC4, so its degree-four sign is positive. The model's γ5=−iγ0γ1γ2γ3 is Bilal's mostly-plus positive-chirality matrix; since γ0=−γ0, it equals iγ0γ1γ2γ3. In Bilal's Hermitian convention [A1], A=−B and ϵ=−α, so d−iA=d+iB and the transformations agree with [F1]. For the positive-chirality SU(3) singlet of U(1)V charge one in [F3], tr⁡R(1)=1 and d(A∧dA)=d(B∧G)=G∧G; the Abelian cubic term vanishes. Inserting these values into [A1] gives −124π2∫M(−α)G∧G=+124π2∫MαG∧G=Atri,0(α,B) for the massless chiral triangle. To evaluate the finite difference, integrate this infinitesimal identity along Bt=B+t dθ. Since dBt=G, it gives ΔM=∫01Atri,0(θ,Bt) dt=124π2∫MθG∧G. Under the simultaneous transformation B+dθ is invariant, so δαΔM=−124π2∫MαG∧G=−Atri,0. The adopted relation [F1], [A2] has invariant FM[Bθ,MH] and effective-action term −ΔM=(1/i)log⁡JM; its variation is therefore +Atri,0, independent of MH. The neutral partner has zero U(1)V charge. Hence δαΓH=+124π2∫MαG∧G=AH(α,B).

2.1F1A1step 1.1step 1.2algebra

Vary the displayed local functional: δαΓWZ=−124π2∫M((δαθ)G∧G+θ δα(G∧G))=+124π2∫MαG∧G=AH(α,B) by step 1.1 and step 1.2.

3.1F2A3step 1.2step 2.1algebra

Linearity of infinitesimal variation gives δα(ΓL+ΓWZ)=AL+AH=δα(ΓL+ΓH) by step 1.2 and step 2.1. The equality is of the selected local representatives and therefore also determines their classes modulo the admissible counterterms in [F2]; it concerns only the connected, infinitesimal background transformations.

4.1A1A2A3step 2.1algebra∎

The coefficient in ΓWZ is the fixed dimensionless number −1/(24π2) and contains no factor of MH−1; the low-energy interpretation of the specified vertex is restricted by E/MH≪1. Thus the anomaly-carrying term is unsuppressed in the heavy-mass coefficient, without any claim of convergence or a quantitative remainder bound.

Remarks

The retained θ is the smooth transforming order-parameter phase specified in the model. The functional depends on θ as well as B, so ΓWZ[B,θ] is not a background-only counterterm in the quotient of [F2]. Its variation reproduces the heavy-sector anomaly; this does not show that the background anomaly class vanishes.

Depends on

Dependency tree · 2 levels

Sources