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.
A mixed-background counterterm shifts the local representative
A local counterterm calculation on trivial flat-space SU(3) and U(1) backgrounds with compact support. It records one infinitesimal U(1) variation and does not claim that the full combined anomaly class vanishes or that a global counterterm exists on nontrivial bundles.
Example
Let be a smooth compactly supported anti-Hermitian connection one-form on trivial , with curvature , and let be a smooth real background one-form with compactly supported gauge parameter . In natural units, write , , and , summing repeated indices from to . The components satisfy and ; since , the forms are dimensionless, as are , , and below. Define the local three-form
and add the four-dimensional local counterterm to the effective action, with dimensionless coefficient . Under the background transformation with fixed, its local variation is
The first term integrates to a boundary term and vanishes for compactly supported . Thus this counterterm shifts the component of the local anomaly representative by while the full relative class is unchanged modulo the admitted counterterm space. This calculation does not assert that the full anomaly vanishes or that the component of the representative is unchanged.
Example references
Facts & Assumptions
Given: The trivial flat-space background fields, the compact-support boundary condition, the selected local counterterm space, and the displayed counterterm.
Flat-space chiral anomaly-matching data and regulator convention: and are nondynamical background connections with compactly supported variations; the selected counterterm space is local and the boundary convention discards compact-support total derivatives.
Local perturbative ’t Hooft anomaly modulo counterterms: the local anomaly is defined modulo the admitted local counterterms and total derivatives in the relative BRST complex.
A local counterterm changes only the representative of a local anomaly class: an allowed local counterterm changes the anomaly representative by a relative coboundary and leaves its class unchanged.
Verification
Differentiate . The graded Leibniz rule gives . In the trace, , while because cyclically moving its first one-form past the other three contributes a minus sign. Expanding therefore gives .
Since only varies, . Substitute step 1.1. Compact support makes the integral of the exact first term vanish, so the stated representative shifts by .
The shift is the variation of an allowed local counterterm, so [F2] and [F3] imply that it changes the representative but not the relative local anomaly class. The computation concerns only the displayed component; it does not set the combined class or the variation to zero.