Find the anomaly in the fermion measure
Use Grassmann Jacobians and a gauge-covariant heat-kernel regulator while distinguishing finite mode counting from a local quantum anomaly.
On this page
The question for today
What you’ll understand
- Derive the inverse determinant in a Grassmann change of variables.
- Explain the regulator required for the formal chirality trace.
- Compute a global Jacobian from paired modes and chiral zero modes.
A classical symmetry argument usually checks the action. A path integral also contains a measure, whose transformation can survive after the action's variation has been accounted for. Fujikawa's derivation makes that missing term explicit by expanding fermions in a background-dependent basis. The calculation connects a local ultraviolet regulator to a global imbalance of zero modes, but does not permit an infinite trace to be manipulated as an ordinary finite sum.
A Grassmann measure transforms inversely
Expand a Euclidean fermion in orthonormal modes as , with independent Grassmann coefficients. A linear change of coefficients transforms their integration measure by , rather than by the ordinary bosonic determinant. This inverse is already visible for one variable because its defining integral must remain normalized. The conjugate fermion has an independent set of coefficients in the Euclidean integral, so its axial transformation contributes a second determinant.
For a local axial rotation, the matrix C contains overlaps of the modes with the rotation parameter and chirality operator. Taking its logarithm produces a formal trace of . That trace involves infinitely many modes and is undefined without a prescription. Declaring it zero by pairing symbols before regulating is not a derivation of symmetry. The basis and regulator are chosen using the gauge-covariant Dirac operator so that the vector gauge symmetry remains the exact symmetry of the quantum definition.
Regulate with the operator that preserves gauge symmetry
Let H be a self-adjoint Euclidean Dirac operator obtained by multiplying the anti-Hermitian massless operator by i. On a closed compact manifold with smooth background, the heat kernel of gives a well-defined regulated trace. Insert and take the large-cutoff limit only after evaluating the local trace. The regulator is gauge covariant, so its background dependence respects the vector gauge symmetry. That choice reproduces the same symmetry tradeoff as the vector-preserving triangle calculation.
At short distance, the heat-kernel expansion organizes terms by powers of the field strength and cutoff. The chirality trace kills many terms, while the term with enough gamma matrices remains finite after momentum integration. In four dimensions its gauge part is proportional to the topological density quadratic in curvature. The resulting axial divergence is twice the regulated index density. Curved backgrounds add gravitational terms; the flat electromagnetic result is not a complete formula for an arbitrary curved spin manifold.
Separate a local density from its integrated index
The nonzero spectrum of has paired opposite-chirality subspaces because H maps one to the other. Their contributions to the integrated regulated chirality trace cancel, leaving the difference of chiral zero-mode counts. This does not imply that the local regulated density vanishes point by point. Local heat-kernel information and an integrated spectral identity answer different questions. A finite matrix example can illustrate inverse Jacobians and cancellation, but cannot establish the continuum local anomaly coefficient by itself.
The answer also depends on what symmetries the regulator is asked to preserve. A gauge-noninvariant subtraction can move a term into a different current definition without removing the obstruction to preserving all required symmetries. Boundaries introduce additional spectral data and boundary conditions; the closed-manifold identity cannot simply be reused after discarding surface terms. Finally, zero modes can make an unsourced massless determinant vanish. The Jacobian then still controls Ward identities and zero-mode-saturating correlation functions, rather than being interpreted as a measurable phase multiplying a nonzero vacuum amplitude in every background.
Work it through
A regulated spectral bookkeeping problem
In a closed-manifold spectral example there are three positive-chirality zero modes, one negative-chirality zero mode, and five paired nonzero eigenspaces of . For a constant axial parameter , find the integrated regulated trace and the full fermion-measure Jacobian.
Each nonzero paired eigenspace contains equal positive and negative chirality multiplicities with the same heat-kernel weight. Its integrated contribution cancels for every positive cutoff, so the five such pairs add zero rather than ten to the chirality trace.
The surviving trace is . The total number of zero modes is four, but that total is not the quantity entering this chirality Jacobian.
Both Grassmann measures contribute, giving . Counting only the ψ measure would incorrectly halve the exponent.
The integrated regulated trace is 2 and the full axial measure factor is −i. This is a spectral Jacobian calculation; without sources, unsaturated zero modes may make the massless partition function itself zero.
The living notebook
Explore the model
Interactive lab · matrix
Contrast ordinary and Grassmann Jacobians
Reset and set both controls to final scale a = 1 and shear b = 0; predict selected determinant 1. Reset and set both controls to a = 2 and b = 0; predict selected determinant 2 and a two-variable Grassmann Jacobian 1/2 by inverse-determinant reasoning. Geometry is the identity at Reset and interpolates during playback; determinant readouts always describe the selected final matrix. This positive triangular family has no fermion measure, chirality trace, or continuum regulator.
- Area scale · det A
- 1.4
- Singular values · σmax, σmin
- 1.597, 0.876
- Condition number · κ₂(A)
- 1.823
The selected matrix is A = [[a,b],[0,1]]. Playback interpolates geometry between the identity and A; readouts always describe A. Its determinant is a and its singular values come from AᵀA. Positive a makes every supported matrix invertible. This two-dimensional family is not a general eigensolver or a learned network. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.
Look forFinite-dimensional inverse Jacobians illustrate one step of the derivation, not the existence or coefficient of a continuum anomaly.
Pause & reason
Check your understanding
Your turn
Try it yourself
A different closed spectral example has two positive-chirality zero modes and one negative-chirality zero mode. Its nonzero eigenspaces at eigenvalues 1 and 4 each contain one mode of each chirality. Evaluate the regulated integrated trace at arbitrary and the full Jacobian at .
Take a moment to make a prediction or work it out on paper. Open a hint when you need one.
Give me a hint
Write each paired contribution with its identical exponential weight before taking any cutoff limit.
Compare with the solution
The trace is for every positive cutoff. Consequently . The zero-mode total is three, while the index is one. This finite bookkeeping faithfully illustrates spectral pairing and the doubled Grassmann Jacobian; obtaining a spacetime-local anomaly density still requires the full regulated differential operator.
Keep the idea
Take it with you
- Grassmann measures carry inverse determinants, and ψ and ψ̄ both contribute.
- A regulated local trace cannot be replaced by an undefined formal cancellation.
- The integrated index counts a chirality difference, with boundary assumptions explicitly required.
Read further
Original sources and deeper explanations to follow at your own pace.
Optional progress, saved in this browser when available. Revisit any lesson at any time.
Lesson not marked complete.