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
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 with and orientation , take the trivial bundle, zero background, and a smooth compactly supported real nondynamical connection with . Let . Use the model's source-signed chirality convention , with positive chirality meaning eigenvalue . Use the model's Grassmann-odd coefficient algebra and conjugation for both Weyl fields: one smooth compactly supported positive-chirality Weyl field in , one smooth compactly supported neutral negative-chirality mass partner, and the charge-one scalar in the Yukawa term , where , , and . Fix the transformations , , , and , and use the consistent-anomaly representative with no non-invariant local counterterm. For any fixed integer , consider a specified -point background-field vertex of with insertions from components of and/or , and incoming real coordinate covectors satisfying ; set . No on-shell condition is imposed. Require 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 , written in Bilal's Hermitian convention,
For the selected representation, set and , so and the positive-chirality field transforms as specified above. Since is one-dimensional, ; since is Abelian, its cubic wedge term vanishes. The massless chiral-triangle calculation gives . Use and the model data's local field-redefinition relation , where is invariant and . Thus and the effective-action contribution transfers the positive local variation to the Yukawa-massive sector independently of , so its local variation is . If is any specified remaining-light-sector functional with infinitesimal variation , and the low-energy theory retains and is required to match this perturbative background anomaly, then
satisfies and hence . Its coefficient has no 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.
Statement references
Selected SU(3)-singlet model, U(1)_V charge, mass, regulator, and threshold conventions
Local perturbative background-anomaly class modulo counterterms
Selected H=SU(3)×U(1)_V representation, regulator, and descent data
Bilal, full Lectures on Anomalies PDF
Preskill, full Gauge Anomalies in an Effective Field Theory lecture notes
Facts & Assumptions
Given: The selected 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.
Heavy chiral U(1)_V threshold model data: , , is invariant, and ; the model uses , , and , with invariant. The measure multiplier is , while its effective-action contribution is .
Local perturbative ’t Hooft anomaly modulo counterterms: the local perturbative background anomaly is a class in 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.
Flat-space chiral anomaly-matching data and regulator convention: the selected group is , 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 and in the charge-one sector. With factors left, , so the whole horizontal one-form instead satisfies . The supplier defines a linear one-ghost evaluation 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 -form , ; 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.
Bilal's consistent positive-chirality anomaly formula: use in the displayed Hermitian convention, without a non-invariant local counterterm. The model's explicit map is , .
Preskill's heavy-chiral threshold argument: with the finite difference , Eqs. (6.34), (6.43)–(6.45) give the Euclidean measure multiplier and its effective-action contribution . With and , 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.
For a specified finite- background-field vertex with , the low-energy description retains and is required to match the formal heavy-sector contribution's local background- 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].
From [F1], , while . Thus is invariant under the specified small background transformations.
By [F3], the linear map sets the ghost jets to zero and replaces each ghost jet by ; for every ghost-free background four-form , , so its degree-four sign is positive. The model's is Bilal's mostly-plus positive-chirality matrix; since , it equals . In Bilal's Hermitian convention [A1], and , so and the transformations agree with [F1]. For the positive-chirality singlet of charge one in [F3], and ; the Abelian cubic term vanishes. Inserting these values into [A1] gives for the massless chiral triangle. To evaluate the finite difference, integrate this infinitesimal identity along . Since , it gives . Under the simultaneous transformation is invariant, so . The adopted relation [F1], [A2] has invariant and effective-action term ; its variation is therefore , independent of . The neutral partner has zero charge. Hence .
Vary the displayed local functional: by step 1.1 and step 1.2.
Linearity of infinitesimal variation gives 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.
The coefficient in is the fixed dimensionless number and contains no factor of ; the low-energy interpretation of the specified vertex is restricted by . 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 , so 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.