Pith. Sign in

REVIEW

TASI 2003 Lectures on Anomalies

High Energy Physics - Theory · Submitted 13 Sep 2005 · 79 references

Pith's verdict: A solid, honest set of lecture notes on anomaly inflow; the only real soft spot is the M5-brane normal-bundle section, and the author flags it himself.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on October 29, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 2 major objections · 8 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/0509097 (version 1)
Pith IDEO5VUC3L, Pith's permanent record of this paper and its review
CitationJeffrey A. Harvey. "TASI 2003 Lectures on Anomalies." arXiv:hep-th/0509097 (2005). https://pith.science/paper/EO5VUC3L
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report
The paper

The paper claims

Anomalies on a lower-dimensional defect are the shadow of a chiral anomaly in the space around it, and the bookkeeping that matches the two fixes the effective actions of axion strings, D-branes and the M5-brane.

The reading

These lecture notes set out to show that two things usually taught separately — the failure of a classical symmetry to survive quantization, and the anomaly of chiral fields living on a lower-dimensional defect — are one phenomenon seen from two sides. The organizing device is the descent procedure: a characteristic form built from a curvature in $2n+2$ dimensions, differentiated once, gives a Chern–Simons form, whose gauge variation in turn gives the anomaly of a theory in $2n$ dimensions. Harvey then exhibits the physical version of that identity, anomaly inflow: a bulk interaction whose gauge variation is nonzero near a defect is exactly compensated by the chiral zero modes trapped on the defect, so charge is conserved globally even though a lower-dimensional observer sees a non-conserved current. The notes carry this through axion strings in four dimensions, the anomalous Chern–Simons couplings on intersecting D-branes, and finally the M5-brane, where the tangent-bundle anomaly cancels straightforwardly but the normal-bundle anomaly does not, and cancels only after the brane source is smoothed and the eleven-dimensional Chern–Simons term is redefined. The payoff, if the construction holds, is that anomaly bookkeeping alone constrains effective actions that cannot yet be derived from a microscopic definition of the theory.

What carries the argument

The descent procedure is the load-bearing device: starting from a closed characteristic $2n+2$-form $alpha_{2n+2}$ built from a curvature, one writes locally $alpha_{2n+2} = dalpha^{(0)}_{2n+1}$, then $delta alpha^{(0)}_{2n+1} = dalpha^{(1)}_{2n}$, and so on, so that the spacetime integral of $alpha^{(1)}_{2n}$ is a BRST-closed, ghost-number-one candidate for the anomaly in $2n$ dimensions. Harvey derives this in the BRST formalism, where the Wess–Zumino consistency condition becomes the statement that the anomaly is BRST closed and possible anomalies are classified by BRST cohomology at ghost number one. For the M5-brane the second device is the global angular form: a normal-bundle-covariant, closed 4-form $e_4$ built from $Dhat y^a = dhat y^a - Theta^{ab}hat y^b$ plus curvature corrections, whose product with $drho$ represents the Thom class of the normal bundle and replaces the naive delta-function source. The Bott–Cattaneo identity $int_{S_epsilon(W^6)} e_4wedge e_4wedge e^{(1)}_2 = 2int_{W^6} p_2^{(1)}(N)$ is what turns the variation of the redefined Chern–Simons term into the anomaly that cancels the residual $p_2(N)/24$.

Extended reading notes

Core claim

The central claim is that the gauge anomaly in $2n$ dimensions and the chiral anomaly in $2n+2$ dimensions are the same object, related by the descent equations, and that the relation has a physical realization in anomaly inflow. In the notes' own words, the anomaly of the bulk interactions is localized on the defect and expressed via descent, and is cancelled by an equal and opposite anomaly from fermion zero modes localized on the defect. Harvey demonstrates this first for an axion string in four dimensions: the axion coupling $aF^{2}$ varies under a gauge transformation by a term supported on the string world-sheet, and that variation is exactly the two-dimensional anomaly of the string's chiral zero modes, fixed by the winding of the axion and a factor of $2pi$. He then applies the same logic to the anomalous couplings on D-branes, recovering the Chern–Simons coupling $Cwedge mathrm{ch}(F)/sqrt{hat A(T)/hat A(N)}$ from the requirement that the anomaly of the open-string zero modes at a brane intersection cancel against inflow from the two fivebranes. The most substantial constructive result is for the M5-brane: the tangent-bundle anomaly cancels between the self-dual two-form, the world-volume fermions and a bulk $int C_3wedge X_8$ term, but the normal-bundle anomaly leaves a residue $p_2(N)/24$, which cannot be factorized because the Euler class vanishes for an odd-rank bundle. The notes argue that this residue cancels only after the singular brane source is replaced by a covariant Thom-class representative and the eleven-dimensional Chern–Simons term is redefined in the presence of the brane, with the Bott–Cattaneo identity converting the resulting boundary integral into $int_{W^6} p_2^{(1)}(N)/24$.

Load-bearing premise

The M5-brane cancellation assumes that replacing the singular brane source with a particular smoothed, normal-bundle-covariant form and redefining the eleven-dimensional Chern–Simons term accordingly is the correct definition of the theory in the presence of a brane; the notes themselves say this construction is not unique and should not be viewed as a final understanding of the problem.

Editorial extensions

If this is right

  • The anomalous Chern–Simons couplings on D-branes are determined rather than guessed: requiring inflow to cancel the chiral zero-mode anomaly at a brane intersection fixes the characteristic classes appearing in the Wess–Zumino action.
  • For $Q_5$ coincident M5-branes the anomaly must scale as $Q_5$ times the single-brane result plus $(Q_5^3-Q_5),p_2(N)/24$, which is a prediction for the $(2,0)$ theory whose own zero-mode spectrum is not known.
  • That $Q_5^3$ scaling agrees with the $Q_5^3$ scaling found for black-hole entropy in the wrapped-fivebrane model and for the holographic conformal anomaly, so inflow reproduces known scalings from an independent direction.
  • 't Hooft matching forces any confining theory with unbroken global symmetry to produce massless bound states reproducing the fundamental fermions' anomaly; for three-flavour QCD no such spectrum exists, so confinement without chiral symmetry breaking is excluded.
  • The $pi^0 to gamma gamma$ rate follows from the anomaly coefficient $e^2/16pi^2 f_pi$, independent of the details of the strong interaction that the pre-QCD calculation depended on.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the inflow picture is taken as general, the anomaly of any defect should be computable from the topology of its normal bundle alone, which suggests asking the same question for defects with no known world-volume Lagrangian, such as the self-dual string, where the notes only sketch how the scaling in $Q_5$ and $Q_2$ should go.
  • The smoothed-source prescription makes the eleven-dimensional Chern–Simons term background-dependent: its definition changes depending on which branes are present. A microscopic formulation of M theory would have to explain why an action term is not fixed once and for all.
  • The notes' remark that the modifications are not unique suggests a concrete discriminator: different Thom-class representatives should yield the same anomaly but differ in finite local counterterms, and those differences should show up in correlation functions of the $(2,0)$ theory rather than in the anomaly coefficient.
  • The same descent bookkeeping could organize anomalies for topological defects in condensed-matter systems, which the notes mention only in passing as an existing application.
Original abstract

These lecture notes review the structure of anomalies and present some of their applications in field theory, string theory and M theory. They expand on material presented at the TASI 2003 summer school and the 2005 International Spring School on String Theory in Hangzhou, China.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 2,264 input tokens, $0.0001 reported.

What the abstract itself states, as probabilities: claims first 0.02 · states limitation 0.07 · human participants 0.03 · controlled comparison 0.01 · randomized assignment 0.01 · states quantitative result 0.02 · compares with prior results 0.03 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; .

These lecture notes review the structure of anomalies and present some of their applications in field theory, string theory and M theory. They expand on material presented at the TASI 2003 summer school and the 2005 International Spring School on String Theory in Hangzhou, China.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 These lecture notes review the structure of anomalies and present some of their applications in field theory, string theory and M theory. contribution 0.98 0.57 0.24 asserted 0.99
s1 They expand on material presented at the TASI 2003 summer school and the 2005 International Spring School on String Theory in Hangzhou, China. background 0.88 0.44 0.03 asserted 1.00

What kind of paper the classifier reports this is: review 1.00 · evidence from literature 0.79.

What was examined, and what was not

sources read
  • arXiv listing abstract v1
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References
How the literature uses it

69 arXiv papers cite this in 91 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 36 sentences without a confident label

Uses its method or tool 1 paper
Uses its data or values 1 paper
Cites it as background 47 papers
  • In bulk with boundary theory, anomaly-inflow is a flow of conserved charges from the bulk to the boundary [ref] .

    Anomalous Bulk Current in Quantum Hall Systems with an Expanding Edge · Gravitational Anomaly and Anomaly-Inflow in QHS with curved edge · 0.94

  • Nevertheless, it is traditionally assumed that enough is known about M-theory in general, and about M5-branes in particular, that it makes sense to check whether field theoretic anomalies (following [ref] [ref] ) on M5-brane worldvolumes cancel against M-theoretic anomaly inflow (following [ref] ) from the bulk spacetime (reviewed in the current context in [ref] ).

    Twisted Cohomotopy implies M5-brane anomaly cancellation · Introduction · 0.88

  • The equation [ref] naturally appears in the theory of topological twists of supersymmetric field theories [ref] and in the theory of anomalies [ref] , where one iterates beginning with \(J^(0)=J\) so that [equation] This defines a series of operators \(J^(1)\), \(J^(2)\), and so on, of increasing form degree and decreasing ghost number.

    Symmetries Beget Symmetries: Ghostly Higher-Form Symmetries and the Descent Equation · Symmetries and the descent equation · 0.89

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.