Editing The Classical Theory of Fields (Book)

{{InfoboxBook
|title=Fields
|image=[[File:Landau Course in Theoretical Physics V2 Cover.jpg]]
|author=[https://en.wikipedia.org/wiki/Lev_Landau Lev Landau]
|language=English
|series=Course of Theoretical Physics
|genre=
|publisher=Butterworth Heinemann
|publicationdate=1975
|pages=402
|isbn13=978-0-7506-2768-9
}}

{{NavContainerFlex
|content=
{{NavButton|link=[[Read#Landau|Read]]}}
{{NavButton|link=[[Classical Field Theory (Physics)]]}}
}}

The Classical Theory of Fields represents another major challenge for the mathematical and physical maturity of the reader. Understanding the application of relativity requires setting aside the Galilean idea of time and assuming the formalism of change of basis from linear algebra to describe basic physical quantities such as vector and tensor fields in space-time. Least action functions similarly to mechanics, action being measured by integrals along trajectories, but differs in there being no absolute time to integrate against. Due to this least action approach, Electromagnetism (EM) is described starting from a four-vector potential rather than the usual Electric and Magnetic fields as they do not exist geometrically on space-time (and because the potential more simply integrates with the action). Culminating in General Relativity, physics in curved space is described with covariant derivatives, Christoffel symbols, parallel transport, and phenomena such as gravitational waves and black holes are derived. This text marks another nail in the coffin of non-geometric physics and strongly urges the reader to pursue differential geometry, and aids in that process by applying indicial tensor calculus.

Let us now describe the mathematical applications. The first two books, by Sternberg and Bott & Tu are the most fundamental and immediately accessible. While as our list shows, every single area of physics has a unique differential-geometric formulation, General Relativity is unique in having it be the driving force during its conception rather than completed after the physics. This resulted in a still large common language between physicists (general relativists) and differential geometers of metric tensors, differential forms, tensor contraction, curvature and parallel transport... Sternberg's texts are some of the only mathematical ones oriented towards this physical application, as the first chapter is tensor/multilinear algebra rather than topology, the material throughout translates to the computations in Landau 2, and Sternberg's book ends on an abstract discussion of curvature/geometric structures on manifolds. Bott & Tu expands greatly on one of the topics within Sternberg's book - integration of differential forms. While tensors and indices are used in a metric-centric way in relativistic physics, differential forms have a topological existence and characterize invariants of the underlying manifold with or without a metric. This language and the algebraic manipulation of these invariants becomes the other half of the lingua franca of gauge theory, while General Relativity (GR) prepared you for the curvature component. Sternberg's second book makes this transition from ordinary metric/intrinsic/GR curvature into the type of curvature in general Gauge theory and Yang-Mills gauge theory beginning from the simple 2-dimensional surface case. It also recaps the differential-geometric formulation of GR, if you had not drawn the parallels during your reading of Lectures on Differential Geometry. 

Finally, Yang-Mills by Atiyah. These lecture notes introduce some of the early results of the theory like the construction of instanton solutions and the conversion of these equations to Penrose's complex-geometry Twistor setting in a notation familiar to physicists, in coordinates, matrices, quaternions. As you will see in studying the mathematical aspects of Yang-Mills theory (YM) on 4-dimensional space-time, this dimension is particularly interesting. Penrose's book on Spinors and Space-Time shows this uniqueness in another way, converting the tensor calculus of GR into spinor calculus, another equally geometric formulation but specific to this dimension. He shows that the equations of both EM and GR can be put in this setting, and in his second volume expands on this to his Twistor-space formulation of particle physics. Milnor's Characteristic Classes and Atiyah's K-theory books pick up where Bott & Tu left off and characterize the algebra of vector bundles in two different ways. Characteristic classes are the language by which curvature and an invariant polynomial on a Lie group are associated to an underlying class of a vector bundle, which is the hinted combination of curvature and differential forms from earlier. This is used to count a deformation-invariant type of gauge theoretic state, and is known as a topological quantum number in quantum field theory and condensed matter physics. K-theory as another fundamental invariant looks at vector bundles with a fixed type of geometric structure but over all dimensions, meaning e.g. it describes properties of the rotation or unitary groups that are 'stable' in all dimensions. It has a subtle meaning, but is connected to spinors and Clifford algebras via Bott periodicity.

Kobayashi & Nomizu's book series is like a sequel to Sternberg's lectures in that its focus is on the definitions of geometric structures rather than algebraic invariants, and begins on connection theory where Sternberg's book ends. It also describes characteristic classes in an alternate way, via the Chern-Weil homomorphism with its starting point being curvature and connections rather than abstract algebraic invariants (since Milnor only references the curvature story in his appendix). Here, we can also get an impression of how gauge theory began in mathematics independently of its current incarnation in particle physics with Ehresmann, Weyl, and Cartan. Lie groups are the simplest curved spaces without the unnecessary restriction to two dimensions (there are no nonabelian 2-dimensional Lie groups), and their quotients offer alternative definitions of important topological spaces such as spheres, Grassmannians, Euclidean and Hyperbolic spaces. Continuing with Sternberg's explanation of the structure of Euclidean spaces, all of these 'symmetric spaces' and homogeneous spaces come with some naturally-equipped structures such as invariant 1-forms or metrics which are generalized to other compact Lie groups and used to give the most concrete constructions of curvature or other functions available in differential geometry. These spaces then became the starting point for more general bundle theory, as they are also equipped with natural bundles. Unlike these spaces, curvature in GR is not generally uniform and dynamically varies with the matter content of space-time. As such, Gauge theory is also equipped with the language to describe more general curvatures on manifolds.

Spin geometry specializes back to Riemannian geometry. Earlier it was covered in multiple books that structured vector bundles (e.g. the Riemannian tangent bundle) have associated Lie-group fibered principal bundles to which the curvature can be transported. Now, we can take advantage of the topological (really, homotopical) structure of the special orthogonal group and turn the SO(n) bundle into a Spin(n) bundle. Converting this back into an associated vector bundle requires a representation of Spin(n), which we do not automatically have unlike SO(n). Calculating such possible representations involves the Clifford algebra of each orthogonal group, and when taken back to the vector bundle setting gives us a new differential operator - the Dirac operator on spinor sections - which squares modulo scalar curvature to the Riemannian Laplacian. The squaring to recover the Riemannian objects doesn't stop there, in some dimensions spinor quadratic maps can be constructed that turn spinor sections back into vector fields, realizing the sentence 'the square root of geometry.' This is a bit of a roundabout story, but it leads to new topological invariants which were not apparent from just the vector fields and Riemannian curvature, and new proofs of physical theorems like the positive energy conjecture of GR in an arguably more natural way. It is also worth noting that like Sternberg, the first chapter is spent on multilinear (Clifford) algebra and is a useful reference for its tables alone.

The final basic text on gauge theory here, by [[Robert Hermann]], is rather special because he was the person to originally point out that the underlying geometry of the forces of the standard model was Gauge theory. He was often not credited, but those in the know knew it was him such as Singer or Gilkey. His book also adds substance, because it is the only one here that directly discusses models of physical phenomena and includes his personal thoughts on the direction of the field. All of his books are a must-read, for those pursuing research in an independent manner following our culture here. Manin's book on the other hand, represents his standing as one of the last Russian mathematical physicists deeply involved in both subjects. It takes the construction of instantons, the YM to Twistor conversion to a higher level (which is the complex geometry part), and the supermanifold enhancement of YM. We believe supersymmetry is heavily misinterpreted/mis-instantiated in physics, and hopefully you will see here that the direction mathematics takes it is different and useful.

The most difficult book here by far is Besse's, as it assumes dexterity with nearly all of the above constructions and geometry. In short, an Einstein structure is the GR analog of an instanton, and this book constructs some and describes their topological consequences.

=== Applications ===
<div class="flex-container" style="clear: both;">
{{BookListing
| cover = Sternberg Differential Geometry Cover.jpg
| link = Lectures on Differential Geometry (Book)
| title = === Lectures on Differential Geometry ===
| desc = Lectures on Differential Geometry by Shlomo Sternberg.
}}
{{BookListing
| cover = Bott and Tu Differential Forms in Algebraic Topology.jpg
| link = Differential Forms in Algebraic Topology (Book)
| title = === Differential Forms in Algebraic Topology ===
| desc = Differential Forms in Algebraic Topology by Raoul Bott and Loring Tu.
}}
{{BookListing
| cover = Sternberg curvature cover.jpg
| link = Curvature in Mathematics and Physics (Book)
| title = === Curvature in Mathematics and Physics ===
| desc = Curvature in Mathematics and Physics by Shlomo Sternberg.
}}
{{BookListing
| cover = Atiyah Geometry of Yang-Mills Fields.jpg
| link = Geometry of Yang-Mills Fields (Book)
| title = === Geometry of Yang-Mills Fields ===
| desc = Geometry of Yang-Mills Fields by Michael Atiyah.
}}
{{BookListing
| cover = Penrose Spinors and Space-Time cover.jpg
| link = Spinors and Space-Time (Book)
| title = === Spinors and Space-Time ===
| desc = Spinors and Space-Time by Roger Penrose and Wolfgang Rindler.
}}
{{BookListing
| cover = Milnor Characteristic Classes cover.jpg
| link = Characteristic Classes (Book)
| title = === Characteristic Classes ===
| desc = Characteristic Classes by John Milnor and James Stasheff.
}}
{{BookListing
| cover = Atiyah K Theory cover.jpg
| link = K Theory (Book)
| title = === K Theory ===
| desc = K Theory by Michael Atiyah.
}}
{{BookListing
| cover = Hermann Gauge Fields and Cartan-Ehresmann Connections, Part A cover.png
| link = Gauge Fields and Cartan-Ehresmann Connections (Book)
| title = === Gauge Fields and Cartan-Ehresmann Connections ===
| desc = Gauge Fields and Cartan-Ehresmann Connections by Robert Hermann.
}}
{{BookListing
| cover = Besse Einstein Manifolds cover.jpg
| link = Einstein Manifolds (Book)
| title = === Einstein Manifolds ===
| desc = Einstein Manifolds by Arthur Besse.
}}
</div>