The whole book Contents and reading orders
- Part 0 Entrance — how to read this book
- 0-01 How to read this book
- 0-02 One picture
- 0-03 Reading the problem statement word by word
- 0-04 Four dimensions in mathematics and four dimensions in physics
- Part 1 Mathematical preparation
- 1-01 Vector spaces and linear maps
- 1-02 What a group is
- 1-03 Lie groups and Lie algebras
- 1-04 SU(2) and SU(3)
- 1-05 Manifolds and tangent spaces
- 1-06 Differential forms and the exterior derivative
- 1-07 Vector bundles and connections
- 1-08 Probability and measure
- 1-09 Probability in infinite dimensions
- 1-10 Hilbert spaces and self-adjoint operators
- 1-11 Fourier analysis and distributions
- 1-12 Detour: what happens only in four dimensions
- Part 2 Physical preparation
- 2-01 Lagrangians and the action
- 2-02 The idea of a field
- 2-03 Electromagnetism is a gauge theory
- 2-04 Special relativity and spacetime
- 2-05 The bones of quantum mechanics
- 2-06 The harmonic oscillator and creation and annihilation
- 2-07 The idea of the path integral
- 2-08 Statistical mechanics and phase transitions
- 2-09 Detour: the gap and the correlation length in the Ising model
- 2-10 The relaxation time and the dynamical exponent z
- Part 3 Yang–Mills theory (classical)
- 3-01 The gauge principle
- 3-02 Non-abelian gauge fields
- 3-03 The action and the equations
- 3-04 Gauge theory as geometry
- 3-05 Instantons and topology
- 3-06 Detour: Donaldson and exotic R⁴
- 3-07 Yang–Mills inside the Standard Model
- Part 4 Quantisation
- 4-01 Canonical quantisation and the Hamiltonian
- 4-02 The path integral and Euclideanisation
- 4-03 Perturbation theory and Feynman diagrams
- 4-04 Divergences and renormalisation
- 4-05 The algebra of divergences
- 4-06 Asymptotic freedom
- 4-07 Dimensional transmutation and Λ
- 4-08 Gauge fixing and Faddeev–Popov
- 4-09 The axioms of quantum field theory
- 4-10 The Osterwalder–Schrader axioms and reconstruction
- 4-11 The definition of the mass gap
- 4-12 Detour: the perturbation series diverges
- Part 5 Lattice gauge theory
- 5-01 Wilson's lattice
- 5-02 The strong-coupling expansion
- 5-03 Reflection positivity and the transfer matrix
- 5-04 The infinite-volume limit and the cluster expansion
- 5-05 Weak coupling and the continuum limit
- 5-06 How U(1) differs from the non-abelian case
- 5-07 The Monte Carlo method
- 5-08 Measuring glueballs and the string tension
- 5-09 What to hold fixed when taking the limit
- 5-10 Lattice gauge theory with finite groups
- 5-11 Detour: Bakry–Émery and one-link integration
- Part 6 Constructive field theory
- 6-01 What constructive field theory is
- 6-02 Solvability in two dimensions and the Yang–Mills measure
- 6-03 Constructing scalar fields
- 6-04 The cluster expansion
- 6-05 The sequence of renormalisation group steps
- 6-06 Ultraviolet stability of three-dimensional Yang–Mills
- 6-07 Four dimensions
- 6-08 Triviality of φ⁴ in four dimensions
- 6-09 Stochastic quantisation and regularity structures
- 6-10 Where four dimensions stops
- 6-11 Obstacles other than divergence
- 6-12 Detour: "if 1/0 is given a symbol"
- Part 7 From the side of physics
- 7-01 How physics sees it
- 7-02 Mechanisms of confinement
- 7-03 The string picture
- 7-04 Large N
- 7-05 String theory and extra dimensions
- 7-06 How extra dimensions become invisible
- 7-07 Where gauge fields come from
- 7-08 Holography
- 7-09 The mass gap becomes geometry
- 7-10 Back to four dimensions
- 7-11 Supersymmetry and Seiberg–Witten
- 7-12 The sentence that plays the role of an equivalence principle
- 7-13 Where the way physics digs parts from mathematics
- Part 8 A dictionary of two languages — the physical and the mathematical view
- 8-01 How to read the dictionary
- 8-02 Dictionary A
- 8-03 Dictionary B
- 8-04 Dictionary C
- 8-05 The physical counterparts of our assumptions
- Part 9 Where things stand, and open tasks
- 9-01 How far the world has come
- 9-02 Where the two ways of digging part
- 9-03 Candidates for new concepts
- 9-04 The list of open tasks
- 9-05 Common misconceptions
- Part 10 Towards a proof of the mass gap — building the first step of the staircase
- 10-00 Entrance — the staircase, and the random walk, the ruler and the clock
- 10-01 The line of construction and Assumption H
- 10-02 Roads tried on the four-dimensional lattice, and walls
- 10-03 The four steps of the staircase — why we start from 0+1 dimensions
- 10-04 The path measure of the double well, and kinks
- 10-05 The statement of the first step — four conditions and Proposition 4.5
- 10-06 (H1) Local Poincaré within a phase
- 10-07 The map of (H2) — seven routes and the seam of the ring
- 10-08 What computer-assisted means — the conditions on the chain inside the window
- 10-09 The sector framework and the three strands of route 5
- 10-10 The list of detour plans — types of breakage
- 10-11 (H3)(H4) and the constant of the core
- 10-12 The integrated table and the dependency graph
- 10-13 Lean statements and the limits of machine checking
- 10-14 Reconciliation — the numbers of the record and the known numbers
- 10-15 What remains and its cost — the distance to a theorem
- 10-16 What is not claimed
- 10-17 Insights and small questions
- Part 11 Further considerations — beyond Assumption H, and other views
- 11-00 Further considerations — entrance
- 11-01 One form that obstructs H — a nearly conserved global quantity
- 11-02 Choosing the ruler and the coordinates again — the length at which conservation breaks
- 11-03 Two ways to repair H — the sector H and the local H
- 11-04 Which H the one-sided bridge needs
- 11-05 Making time continuous — the Hamiltonian lattice and the vacuum measure
- 11-06 Paying with rarity instead of convexity — renormalisation on groups and log-Sobolev
- 11-07 Because it is four dimensions — the dimensionless coupling and topology
- 11-08 Questions, and what is not claimed
- 11-A1 Table of notation for Part 11
- Appendices
- A-01 Table of notation
- A-02 Glossary
- A-03 Guide to the literature
- A-04 Lean and machine checking
- A-05 How this book was made
- A-06 Index of assumptions
Yang–Mills inside the Standard Model — a product of three groups, with matter and the Higgs added
What this chapter shows — The gauge part of the Standard Model is the sum of three Yang–Mills fields, for SU(3)×SU(2)×U(1). The charges satisfy an arithmetic called anomaly cancellation, and the value of the Higgs field gives mass to the W and Z while leaving the photon massless. We also sort out why the problem statement takes out pure Yang–Mills alone.
Prerequisite chapters — 3-02 (also using 3-01 and 1-04). Spin-1/2 fields are defined minimally in §02.
Said first — This is a classical chapter. §03 checks only the arithmetic of conditions from quantum theory, and the numbers in §06 are estimates at the lowest order of perturbation theory (tree level). This chapter shows nothing about the mass gap.
- Three groups — twelve gauge fields
- Matter fields — one generation and the charges (Table 1)
- Counting gives zero — anomalies (Table 2). Detour: SU(5)
- The SU(3) of colour — quarks and colour singlets
- The Higgs mechanism — an abelian model (Figure 1)
- The electroweak SU(2)×U(1) — W, Z and the photon (Figure 2, Table 3)
- Where mass comes from — the proton and the pion
- The difference from pure Yang–Mills (Table 4)
Three groups — twelve gauge fields
The conventions are the same as in 3-02 §02 (, the metric , Hermitian generators, ).
The Standard Model is a gauge theory with three groups side by side, and the PDG review defines it as “the renormalizable field theory with gauge group ” Known ( is colour, is left-handed, is hypercharge). Each factor carries a Yang–Mills field, and the number of fields is : the gluons , and .
The field strengths of and have commutator terms, in the form of (7) of 3-02. , like the electromagnetic field, has no self-interaction. The action on matter is collected into one covariant derivative.
acts only on colour triplets and (1-04) only on doublets; on singlets the term is dropped. Since the group is not simple, there is one coupling constant for each factor, three in all (1-03). Example. is obtained from the strength of the strong coupling measured at the scale of the Z mass, (the convention; the note to Table 3 in §06). and are tree-level estimates worked back from the W and Z masses in Table 3 of §06 Computed.
Matter fields — one generation and
Quarks and leptons are spin-1/2 fields. We do not use what is inside the components (the Dirac matrices), only how they turn under the groups. What is needed is that such a field splits into a left-handed part and a right-handed part (for zero mass, the way the spin turns relative to the direction of motion), and that SU(2) acts only on the left-handed part Known. Spatial reflection (parity) exchanges left-handed and right-handed, so a force acting only on the left-handed part is not invariant under this reflection. This is called parity violation.
| Field | Representation | Components | ||
|---|---|---|---|---|
| 1/6 | 2/3, −1/3 | 6 | ||
| 2/3 | 2/3 | 3 | ||
| −1/3 | −1/3 | 3 | ||
| −1/2 | 0, −1 | 2 | ||
| −1 | −1 | 1 | ||
| Higgs | 1/2 | 1, 0 | 2 (complex) |
Computed was computed as exact fractions. Known(93.1) of the PDG review of grand unification writes the right-handed fields as their conjugates (§03; colour becomes and the sign of flips), and attaches as a subscript, normalised to twice its value. For example, the of Table 1 (, ) is the of . The Higgs is in the PDG and corresponds to the of Table 1. Converted, they agree with Table 1.
One generation has 15 components counting colour, and there are three generations (PDG) Known. The gauge principle does not decide which field goes into which representation (3-01), and the PDG too states that the “apparently rather complex group-theoretic data” of Table 1 are not explained.
Counting gives zero — anomaly cancellation
First we prepare one word. Taking the complex conjugate of each component of a representation gives , which is again a representation; we call it the conjugate representation. The conjugate of the triplet is written (the antitriplet), and in SU(3) it is not equivalent to . In U(1), becomes , so the sign of flips Known. For the SU(2) doublet ( is the second Pauli matrix, not a square), so the conjugate is a representation equivalent to the original and is not distinguished Computed.
The of Table 1 is strongly constrained. Even when the classical action is gauge invariant, invariance under transformations that turn left and right separately can break at the stage of quantisation; this is called a gauge anomaly. The abstract of Gross–Jackiw (1972) states that it “may destroy this gauge invariance in perturbation theory” Known. We do not treat the derivation, and use only the fact that the condition becomes arithmetic. Taking the conjugate of a spin-1/2 field turns right-handed into left-handed, so aligning the right-handed fields to left-handed by conjugation (the sign of flips, and becomes ), the condition is that all the following sums are 0. The brackets on the right show which combination of groups each anomaly condition belongs to.
The sums are weighted by the dimension of the representations of the groups not in the combination (in the sum over doublets is multiplied by the number of colours, 3; in the sum over triplets and antitriplets is multiplied by 2). and run over the 15 components counting colour and doublet components, and the latter is the condition for the combination with gravity, . The abstract of Bouchiat, Iliopoulos and Meyer (1972) states that in models with leptons and quarks “the troublesome anomalies cancel” Known. Example. Fixing the charges and changing only the number of colours gives Table 2.
| 1 | 0 | −1/3 | 1/2 | 0 |
| 2 | 0 | −1/6 | 1/4 | 0 |
| 3 | 0 | 0 | 0 | 0 |
ComputedAdded as exact fractions. For general , the column is and the column is . The condition has no column in the table; it is for (the two and the two ). KnownSU(2) has another condition too: the abstract of Witten (1982) states that an SU(2) gauge theory with an odd number of left-handed doublets (and no other representations) is mathematically inconsistent. One generation has doublets, an even number.
For , the quarks contribute and the leptons ; they cancel only when a whole generation is present, and only when there are 3 colours Computed. In pure Yang–Mills, with no spin-1/2 fields, this condition does not arise.
Detour: it fits into SU(5)
A subsection you may skip.
Georgi–Glashow (1974) “conjectured” that the three forces arise from a single interaction of SU(5) (one of the groups of the problem statement, 0-03). Placing SU(3) at the top left of and SU(2) at the bottom right leaves a traceless that commutes with both. One generation splits exactly into (, ) and (, , ). The of is also a traceless element of SU(5), so the trace of is 0 too. Written with it is , and from and follows , that is, . That the charge of the down quark is exactly a third of the electron's follows from the shape of the group Computed. Grand unification is a hypothesis.
The SU(3) of colour — quarks and colour singlets
The SU(3) part is quantum chromodynamics (QCD). The PDG calls QCD “the SU(3) component of the SU(3)×SU(2)×U(1) Standard Model”, and writes that quarks come in three colours in the fundamental representation and gluons are of 8 kinds in the adjoint representation Known.
The sum runs over the 6 kinds of quark (), is a matrix acting on spin, and . It is the form of (9.1) of the PDG with the sign of the covariant derivative matched to 3-02, and the last term is pure Yang–Mills. The term is left in the PDG's convention (metric ), and its content is not used in this chapter. The mass term multiplies left and right; colour turns left and right the same way, so it can be written, but SU(2) turns only the left-handed part, so is not invariant, and in the Standard Model mass enters through the Higgs field (§07) Known. Colour singlets can be made from two properties of SU(3).
The former is the form of mesons, the latter of baryons (proton, neutron). Example. Under the phase of does not change. The elements of the centre of 1-04, , also give 1 when taken three times. Jaffe–Witten state confinement as the physical particle states being “SU(3)-invariant” Known (for the mechanism, 7-02).
The Higgs mechanism — mass grows in an abelian model
A mass term breaks gauge invariance (3-02 §08), yet the W and Z are heavy particles. What bridged this gap was the idea of placing the minimum of the potential of a charged scalar field away from . We look at it in a U(1) model.
Let . If , the minima line up on the circle (), and the gauge transformation moves along this circle. Turning the phase at each point and writing (real),
follows. The part is exactly the mass term forbidden in (14) of 3-02, and the masses are as follows Known. The action stays invariant, and the solution (the position of the minimum) brings in the mass.
| Scalar mass | Minimum of | |||
|---|---|---|---|---|
| +0.5 | 0 | 0 | 0.707, 0.707 | 0 |
| 0 | 0 | 0 | 0, 0 | 0 |
| −0.25 | 0.500 | 0.300 | −0.0156 | |
| −0.5 | 0.707 | 0.424 | −0.0625 | |
| −1 | 1.000 | 0.600 | −0.2500 |
ComputedThe numbers in this figure and table were computed on this machine (by (9)). In the rows the scalar mass is that of the two real components of (both ); in the rows it is that of the radial .
Degrees of freedom and the Goldstone boson
Example. We count the degrees of freedom. A massless vector field has 2 polarisations, because of its four components, one is removed by gauge transformations and one by the constraint (2-03 §04). With a mass term the one removable by gauge transformations is gone and only the constraint remains, so Known. Then before, there are the massless (2) and (2 real components); after, the massive (3) and (1); both make 4. The phase that disappeared has become the longitudinal oscillation of .
A massless excitation that appears when a continuous symmetry is spontaneously broken is called a Goldstone boson Known. The motion along the valley in Figure 1 corresponds to it, and when there is a gauge field, this direction can be removed by a gauge transformation. Higgs (1964) wrote “the longitudinal degrees of freedom of these particles (which would be absent if their mass were zero) go over into the Goldstone bosons when the coupling tends to zero”, and called it the “relativistic analog” of Anderson's (1963) remark on the plasmon in superconductors. In the same year Englert–Brout and Guralnik–Hagen–Kibble also published papers Known. Higgs also cautioned that “nothing is proved about the quantized theory”.
"Spontaneous symmetry breaking" is a way of speaking in a gauge-fixed description. Elitzur (1975) argued that in lattice gauge theory without gauge fixing, local symmetries are not spontaneously broken Known (3-01 §07).
The electroweak SU(2)×U(1) — W, Z and the photon
In the Standard Model the same thing is done with SU(2)×U(1) and the Higgs doublet of Table 1. What leaves one of the minima of , , unchanged is the U(1) of the charge , which is on the lower component. In Jaffe–Witten's words, the structure group is reduced “to a U(1) subgroup (diagonally embedded in SU(2) × U(1))” Known. Letting (2) act on ,
follows. and appear only in the combination , so we rotate the plane by the weak mixing angle ().
. This is the same as (10.3)(10.5) of the PDG, and the PDG cautions that these are masses “at tree level, i.e., to lowest order in perturbation theory” Known. ComputedBuilding the mass matrix of from Pauli matrices, the eigenvalues agreed with (12) for three choices of (relative differences below , of the order of rounding error).
| 0 | 0.00° | 0.0000 | 1.0000 | 0.0000 |
| 0.25 | 14.04° | 0.0588 | 1.0308 | 0.2425 |
| 0.536 | 28.19° | 0.2232 | 1.1346 | 0.4724 |
| 1 | 45.00° | 0.5000 | 1.4142 | 0.7071 |
| 1.5 | 56.31° | 0.6923 | 1.8028 | 0.8321 |
ComputedThe numbers in this figure and table were computed on this machine (by (12)). For the photon is itself. 0.536 is the value from the measured values of Table 3.
Example. Working (12) back from the PDG 2024 values gives Table 3.
| Quantity | Formula | Value |
|---|---|---|
| 246.22 GeV | ||
| , | , | 0.6528, 0.3499 |
| 0.22321 | ||
| 132.1 | ||
| 0.1293 |
ComputedIn the PDG, the on-shell and is 137.036 at low energy, and 127.930 at (). On-shell and are names for ways of including quantum corrections (renormalisation conventions), and quantities with the same name differ slightly in value (4-04). The of Table 3 is the value in the convention of the text. The PDG's becomes with the normalisation ((10.5a)), and the two are related by . is the average excluding CDF (2022).
The 132.1 for is 3.6 % smaller than the low-energy 137.036. The of Table 3 was taken from (a constant fixed by the muon lifetime), so the quantum correction linking and is not included. Squaring (10.22b) of the PDG electroweak review gives ( is on-shell), and the PDG gives Known. The tree-level corresponds to , and agrees with the 132.1 of Table 3 to 0.09 % Computed (quantum corrections in 4-04). The 127.930 at is a quantity with a different convention, listed only for reference. The degrees of freedom are 12 both before and after (from the 8 of and the 4 of the doublet, to the 9 of the heavy , the 2 of the photon and the 1 of H) Computed.
Weinberg (1967) wrote that the masses of the W and Z come “not from a mass term put in at the beginning”, and in 2012 ATLAS and CMS reported the observation of the Higgs particle Known.
Where mass comes from — the proton and the pion
What gives directly is the masses of the W and Z, and the masses of quarks and leptons through the Yukawa couplings Known. A Yukawa coupling is a term that is a product of the Higgs field and spin-1/2 fields; for up-type quarks is used (a doublet of ; the conjugate of §03). In every term the sum of is 0 (for example is ), so it is gauge invariant Computed. Setting to gives a mass term proportional to . But this hardly explains the mass of the proton. The sum of the masses of the core u, u, d is about 1% of the proton's.
ComputedValues from the PDG 2024 Summary Tables ( is , 2 GeV). Quark masses depend on the definition, so (13) is a guide to orders of magnitude. The rest is thought to come from the dynamics of QCD, whose scale is the produced by quantisation (4-07) Physics.
The pion is light, about 15% of the proton ( MeV) Computed. According to the PDG, in the limit where the masses of the three light quarks are set to 0, the flavour symmetry that turns left and right separately (chiral symmetry) breaks, and “eight massless Goldstone bosons, the π’s, K’s, and η” appear Physics. That QCD is thought to have no gap. This is the “chiral symmetry breaking” that Jaffe–Witten list as the third property of QCD Known. Pure Yang–Mills has no quarks, and its lightest states are thought to be glueballs (5-08) Physics. The gap of the problem statement is a scale that should arise from the Yang–Mills field alone, relying on neither quarks nor the Higgs field (4-11).
The difference from pure Yang–Mills — what the problem statement leaves out
The problem statement concerns pure Yang–Mills theory for any compact simple group (0-03). Table 4 shows what to remove from the Standard Model to get there.
| Item | Standard Model | QCD | Pure Yang–Mills |
|---|---|---|---|
| Group | SU(3)×SU(2)×U(1) | SU(3) | Compact simple group |
| Matter fields | Quarks, leptons, Higgs | 6 kinds of quark | None |
| Parameters | 19 (as the PDG counts) | , 6 , | , (3-05) |
| Classical mass scale | () and the Yukawa couplings | None (3-02 §07) | |
| Massless particles | Photon | π and others in the limit of massless light quarks Physics | Expected to be none Physics |
| Treatment in the problem statement | Outside the scope | Extension problem | The main problem |
There are three differences. The group: it is not simple. The abelian U(1) part is not asymptotically free (the property that the coupling weakens at short distances) (Coleman–Gross, 4-06 §04) Known, and at one loop the coupling grows at short distances Physics. Massless particles: the photon remains, so the Standard Model as a whole has no gap, and a gap can be asked about only for the strong-force part. Where mass comes from: in the Higgs mechanism the scale is in the classical action and visible from the solution, but the classical action of pure Yang–Mills has no scale, and the gap is thought to arise from quantisation Physics. Jaffe–Witten too, in §2, give the Higgs mechanism as an example of “classical properties”, and the mass gap and confinement as examples of “quantum properties that do not have classical analogs” Known.
What was left out remains in extension problems. Jaffe–Witten list “other four-dimensional gauge theories (incorporating additional fields that preserve asymptotic freedom)” (0-03), and at the time of writing the problem description they call the two-dimensional abelian Higgs model of Brydges–Fröhlich–Seiler “the only complete example of an interacting gauge theory satisfying the axioms” Known. A special limit of the four-dimensional Higgs model is in 6-10, and a picture of where the groups come from is in 7-07.
What this chapter can say
| Matter | What is said | What is not said |
|---|---|---|
| (1)–(6), Table 1, Table 2 | The standard definitions, the arithmetic of charges and sums KnownComputed | Why the representations are these, the derivation of the anomaly conditions, confinement |
| (7)–(12), figures, Table 3 | How mass appears in classical fields, tree-level estimates, comparison of using the PDG's KnownComputed | A theorem on the Higgs mechanism in quantum theory, values including quantum corrections |
| Table 4, the SU(5) detour | The PDG's counting, and the arithmetic of assigning representations KnownComputed | That grand unification is right, the origin of the 19 |
| (13), §07 | Computation of ratios and the PDG's account Physics | Proofs of these from QCD |
| The mass gap | — | That pure Yang–Mills has a gap (open; this site shows nothing) Physics |
Sources and reproduction
| Item | Kind | Source / tools |
|---|---|---|
| Definition of the Standard Model, representations, SU(5), the 19, electroweak and QCD formulas and values, quark masses, Goldstone bosons | Reviews and Summary Tables (text checked) | S. Navas et al. (Particle Data Group), Phys. Rev. D 110 (2024) 030001: §9 QCD, §10 Electroweak Model, §60 Quark Masses, §93 Grand Unified Theories, Summary Tables |
| Quotations of Jaffe–Witten | Primary source (text checked) | A. Jaffe, E. Witten, “Quantum Yang–Mills Theory”, the official problem description of the Clay Mathematics Institute, §1, §2, §5, §6 |
| Quotations of Higgs and Weinberg | Primary source (text checked) | P. W. Higgs, Phys. Rev. Lett. 13 (1964) 508 / S. Weinberg, Phys. Rev. Lett. 19 (1967) 1264 |
| Other quotations and summaries | Primary source (abstract checked) | Englert, Brout, PRL 13 (1964) 321 / Bouchiat, Iliopoulos, Meyer, PLB 38 (1972) 519 / Gross, Jackiw, PRD 6 (1972) 477 / Georgi, Glashow, PRL 32 (1974) 438 / Elitzur, PRD 12 (1975) 3978 (same as 3-01) / Witten, “An SU(2) anomaly”, PLB 117 (1982) 324 / ATLAS, PLB 716 (2012) 1 / CMS, PLB 716 (2012) 30 |
| Anderson | Primary source (abstract checked; the wording in the text follows the text of Higgs 1964) | P. W. Anderson, Phys. Rev. 130 (1963) 439 |
| Brydges–Fröhlich–Seiler | Bibliographic data only (via reference [7] of Jaffe–Witten §6.4) | “On the construction of quantized gauge fields” I: Ann. Phys. 121 (1979) 227 / II: CMP 71 (1980) 159 / III: CMP 79 (1981) 353 |
| Guralnik–Hagen–Kibble | Bibliographic data only | PRL 13 (1964) 585 |
| Tables 1–3, values in the figures and tables, eigenvalues of the mass matrix, (13), the comparison of , checks of conjugation and Yukawa terms | Computed on this machine | Python 3.12, NumPy 1.26, fractions (sm_tables.py, sm_checks.py). The figures do (9)(12) in plain JavaScript |
Next chapter to read: 4-01 Canonical quantisation and the Hamiltonian.
← 3-06 Detour: Donaldson and exotic R⁴Contents4-01 Canonical quantisation and the Hamiltonian →