theorem 108.80 The trace anomaly: structure
open in the book ·
parts/11-qft-standard-model/10-renormalization-group.tex:2987
· p. 2289
Rests on
-
depends_on
corollary 108.23
Where $\bar{\mu}$ comes from, and why it must be
arbitrary
¶
- depends_on equation 100.48 eq:qed-dimreg-measure ¶
- depends_on equation 108.27 eq:rg-lambda-dimension-d ¶
- proves proof ch:10-renormalization-group@proof-11 ¶
- depends_on equation 108.75 eq:rg-dilatation-current ¶
-
depends_on
proposition 108.79
A classically massless theory is classically scale
invariant
¶
- depends_on definition 108.78 Dilatations and the trace of the stress tensor ¶
- depends_on equation 108.4 eq:rg-coupling-dimension ¶
- proves proof ch:10-renormalization-group@proof-33 ¶
- proves proof ch:10-renormalization-group@proof-34 ¶
Supports
- depends_on theorem 108.85 The four-dimensional $a$-theorem ¶
Neighborhood
Every logical edge within two steps of this node.
- declared and complete
- partly declared
- a check failed
- not graded
- declared in the source
- inferred from structure
Edges
| type | direction | node | provenance | where |
|---|---|---|---|---|
depends_on |
→ | Where $\bar{\mu}$ comes from, and why it must be arbitrary | declared | parts/11-qft-standard-model/10-renormalization-group.tex:3005 |
depends_on |
→ | eq:rg-dilatation-current | declared | parts/11-qft-standard-model/10-renormalization-group.tex:3005 |
depends_on |
→ | A classically massless theory is classically scale invariant | declared | parts/11-qft-standard-model/10-renormalization-group.tex:3005 |
depends_on |
← | The four-dimensional $a$-theorem | declared | parts/11-qft-standard-model/10-renormalization-group.tex:3167 |
proves |
← | ch:10-renormalization-group@proof-34 | declared | parts/11-qft-standard-model/10-renormalization-group.tex:3009 |