Monday 11 July 2016

Frederic Schuller's Lectures on the Geometric Anatomy of Theoretical Physics

Lecture videos
Click here for the lecture videos

List of lectures
Lecture 01 - Introduction/Logic of Propositions and Predicates
Lecture 02 - Axioms of Set Theory
Lecture 03 - Classification of Sets
Lecture 04 - Topological Spaces - Construction and Purpose
Lecture 05 - Topological Spaces - Some Heavily Used Invariants
Lecture 06 - Topological Manifolds and Manifold Bundles
Lecture 07 - Differential Structures: Definition and Classification
Lecture 08 - Tensor Space Theory I: Over a Field
Lecture 09 - Differential Structures: the Pivotal Concept of Tangent Vector Spaces
Lecture 10 - Construction of the Tangent Bundle
Lecture 11 - Tensor Space Theory II: Over a Ring
Lecture 12 - Grassmann Algebra and deRham Cohomology
Lecture 13 - Lie Groups and Their Lie Algebras
Lecture 14 - Classification of Lie Algebras and Dynkin Diagrams
Lecture 15 - The Lie Group SL(2,C) and its Lie Algebra sl(2,C)
Lecture 16 - Dynkin Diagrams from Lie Algebras, and Vice Versa
Lecture 17 - Representation Theory of Lie Groups and Lie Algebras
Lecture 18 - Reconstruction of a Lie Group from its Algebra
Lecture 19 - Principal Fibre Bundles
Lecture 20 - Associated Fibre Bundles
Lecture 21 - Connections and Connection 1-Forms
Lecture 22 - Local Representations of a Connection on the Base Manifold: Yang-Mills Fields
Lecture 23 - Parallel Transport
Lecture 24 - Curvature and Torsion on Principal Bundles
Lecture 25 - Covariant Derivatives
Lecture 26 - Application: Quantum Mechanics on Curved Spaces
Lecture 27 - Application: Spin Structures
Lecture 28 - Application: Kinematical and Dynamical Symmetries

Lecture notes, up to lecture 25
Download PDF: click here
LaTeX source code: click here
Discussion on reddit: click here

Summary of contents by lecture:
  1. Introduction/Logic of Propositions and Predicates
    Introduction to logic; propositions and predicates; truth tables; tautologies and contradictions; negation, and, or, implication, nand connectives; existential and universal quantifiers, logical equivalence of propositions; negation of quantifiers; order of quantifiers; axiomatic systems; formal proofs; consistency and completeness.
  2. Axioms of Set Theory
    epsilon-relation (member relation); Zermelo-Fraenkel axioms of set theory; Russel's paradox; existence and uniqueness of the empty set (standard textbook proof and formal proof); axioms on the existence of pair sets and union sets; examples; finite unions; functional relation and image; principle of restricted and universal comprehension; axiom of replacement; intersection and relative complement; power sets; infinity; the sets of natural and real numbers; axiom of choice; axiom of foundation.
  3. Classification of Sets
     definition of maps (or functions) between sets; structure-preserving maps; identity map; domain, target and image; injective, surjective and bijective maps; isomorphic sets; classification of sets: finite and countably and uncountably infinite; cardinality of a set; composition of maps; commutative diagrams; proof of associativity of composition; inverse map; definition of pre-image and properties of pre-images (with proof); equivalence relations: reflexivity,  symmetry, transitivity; examples; equivalence classes and quotient set; well-defined maps; construction of N, Z, Q, R (natural, integer, rational and real numbers); successor and predecessor maps; nth power set; addition and multiplication of numbers; canonical embeddings.
  4. Topological Spaces - Construction and Purpose
    topologies and topological spaces; examples; chaotic and discrete topologies; coarser (or weaker) and finer (or stronger) topologies; open subsets; open balls; standard topology on R^d with proof; induced (or subset) topology with proof; product topology; sequences, converge and limit points; open neighbourhoods; definitely constant sequences; continuity of maps between topological spaces; examples; homeomorphisms and homeomorphic spaces.
  5. Topological Spaces - Some Heavily Used Invariants
    Separations properties: T1, T2 (Hausdorff), T2 an a half; covers and open covers, subcovers and finite subcovers; compact spaces; Heine-Borel theorem (compact if and only if closed and bounded); open and locally finite refinements; paracompactness; metrisable spaces and Stone's theorem; long line (or Alexandroff line); partition of unity subordinate to an open cover; examples; connectedness and proof that M is connected if and only if M and the empty set are the only subsets which are both open and closed; path-connectedness and proof that path-connectedness implies connectedness; homotopic curves on a topological space; concatenation of curves; fundamental group; group isomorphism; topological invariants and classification of topological spaces; examples: 2-sphere, cylinder, 2-torus.
  6. Topological Manifolds and Manifold Bundles
    topological manifolds; manifold dimension; submanifolds; product manifold; bundles of topological manifolds; Möbius strip; total space, base space, projection map and fibres; product bundles; fibre bundles; examples; (cross-) section of a bundle; subbundles and restricted bundles; bundle morphisms and isomorphisms; local bundle isomorphisms; trivial and locally trivial bundles; pull-back of a bundle; sections on a bundle pull back to the pull-back bundle; charts, component and coordinate functions; atlases and C^0-compatibility; chart transition maps; maximal atlases.
  7. Differential Structures: Definition and Classification
    refining a maximal atlas; C^k and smooth compatibility of charts; Cauchy-Riemann equations; differentiable atlas; compatibility of differentiable atlases; examples; proof of well-definedness of the definition of differentiability of maps; smooth maps and diffeomorphisms; diffeomorphic manifolds; classification of smooth structure on manifolds; Betti numbers.
  8. Tensor Space Theory I: Over a Field
     algebraic fields; vector spaces over an arbitrary field; vector (or linear) subspaces; linear maps; linear isomorphisms and isomorphic vector spaces; Hom-spaces; endomorphisms and automorphisms; dual vector space and linear functionals (covectors/one-forms); bilinear and multilinear maps; tensors and tensor product; examples; equivalence of endomorphisms and (1,1)-tensors; Hamel bases; linear independence and spanning set; dimension; double dual; dual bases and isomorphism of a vector space and its dual in finite dimensions; components of vectors and tensors; change of basis formulas; Einstein's summation convention and examples; column and row vectors and matrices; change of components under a change of basis; bilinear forms; permutations, symmetric group, transpositions, and signature of a transposition; totally anti-symmetric tensor; n-forms; volume-form and volume; determinant of an endomorphism.
  9. Differential Structures: the Pivotal Concept of Tangent Vector Spaces
    the space of smooth maps on a manifold; smooth curves on a manifold; directional derivative operator; tangent vectors at a point and tangent space at a point; proof that the sum of tangent vectors is a tangent vector; alternative definitions of tangent space (via equivalence classes of smooth curves, derivations at a point on germs of functions, and physical tangent vectors); algebras over an algebraic field; associative, unital and commutative algebras; Lie algebras, Lie bracket and Jacobi identity; commutator; derivations on an algebra; detailed examples; proof that derivations on a algebra constitute a Lie algebra; proof of equality of manifold dimension and tangent space dimension: dim M = dim TpM; coordinate-induced basis of tangent spaces; change of coordinates under a change of coordinate-induced bases.
  10. Construction of the Tangent Bundle
    cotangent space and tensor space at a point of a manifold; differential of a smooth map; gradient of a real function on a manifold; dual coordinate-induced basis and gradients of coordinate functions; push-forward and pull-back of smooth maps at a point; push-forward of tangent vectors and pull-back of covectors; immersions and immersed submanifolds; embedding and embedded submanifolds; Whitney's theorem; definition of tangent bundle; proof that the tangent bundle is a smooth manifold.
  11. Tensor Space Theory II: Over a Ring
    vector fields as smooth sections of the tangent bundle; vector fields as linear maps on the space of smooth maps; push-forward of a smooth map as a map between tangent bundles; push-forward of a vector field; structure of the set of vector fields; rings: commutative, unital and division (or skew) rings; examples; modules of a unital ring; examples of modules admitting and not admitting a basis; Zorn's lemma; partial orders and partially ordered sets (posets); total order and totally ordered sets; upper bounds; proof that every module over a division ring (and hence every vector space) admits a Hamel basis; direct sum of modules; finitely generated, free and projective modules; homomorphism of modules (or linear maps); Serre-Swan-et al.'s theorem; pull-back of forms; tensor fields as multilinear maps; tensor product of tensor fields.
  12. Grassmann Algebra and deRham Cohomology
    differential n-forms; orientable manifolds; degree of a differential form; pull-back of a differential form; wedge (or exterior) product of differential forms; local expression of a differential form; proof that the pull-back distributes over the wedge product; Grassmann algebra; Grassmann numbers; proof that the wedge product is graded commutative; exterior derivative; Lie bracket (or commutator) of vector fields; example: exterior derivative of a differential one-form; proof that the exterior derivative is graded additive; commutation of the exterior derivative with the pull-back; Maxwell's electrodynamics and Maxwell's equations expressed using differential forms; symplectic forms and classical mechanics; closed and exact forms; proof that d^2=0; symmetrisation and anti-symmetrisation of indices with examples; every exact form is closed; kernel and image of a linear map; Z^n and B^n; Poincaré lemma; cohomology groups.
  13. Lie Groups and Their Lie Algebras
    Lie groups; dimension of a Lie group; examples of Lie groups: n-dimensional translation group, unitary group U(1), general linear GL(n,R), orthogonal group O(p,q); pseudo-inner products on a vector space; Lie group homomorphism and isomorphism; proof that the left translation map is a diffeomorphism; push-forward of the left translation map; left-invariant vector fields; proof that the space of left-invariant vector fields is isomorphic to the tangent space at the identity; proof that the left-invariant vector fields form a Lie algebra, the Lie algebra of the Lie group. Lie algebra homomorphisms and isomorphic Lie algebras.
  14. Classification of Lie Algebras and Dynkin Diagrams
    complex Lie algebras; abelian Lie algebras; the trivial Lie algebra; ideal of a Lie algebra; trivial ideals; simple and semi-simple Lie algebras; derived subalgebra; solvability; direct and semi-direct sum of Lie algebras; Levi's theorem on the decomposition of finite-dimensional complex Lie algebras; adjoint map and ad; proof that ad is a Lie algebra homomorphism; Killing form; proof of the invariance (or associativity, or anti-symmetry) of the Killing form; a Lie algebra is semi-simple if and only if the Killing is non-degenerate; structure constants; components of adjoint maps and the Killing form in terms of the structure constants; Cartan subalgebra, rank of a Lie algebra and Cartan-Weyl basis; roots and fundamental roots; proof that the restriction of the Killing form on a Cartan subalgebra is a pseudo inner product; real inner product; length and angle between roots; Weyl transformations and Weyl group; Cartan matrix; bond number; Dynkin diagrams and classification of finite-dimensional semi-simple complex Lie algebras.
  15. The Lie Group SL(2,C) and its Lie Algebra sl(2,C)
    the complex special linear group SL(2,C): as a set, as a group, as a topological space, as a topological manifold, as a complex differentiable manifold, as a Lie group; the Lie algebra sl(2,C) of the Lie group SL(2,C); detailed calculation of the structure constants of sl(2,C); determination of the Lie bracket between left-invariant vector fields on SL(2,C).
  16. Dynkin Diagrams from Lie Algebras, and Vice Versa
    proof that sl(2,C) is simple; Cartan subalgebra of sl(2,C); roots and fundamental roots of sl(2,C); the Dynkin diagram of sl(2,C); the A2 Dynkin diagram; detailed reconstruction of A2 from its Dynkin diagram.
  17. Representation Theory of Lie Groups and Lie Algebras
    representations of a Lie algebras; representation spaces and dimension of a representation; examples of representations; homomorphism and isomorphism of representations; trivial and adjoint representations; faithful representations; direct sum and tensor product representations; invariant subspaces, reducible and irreducible representations; highest weights; Killing form associated to a representation; Casimir operator; proof that the Casimir operator commutes with the representation; Schur's lemma; worked examples; automorphism group; representation of Lie groups; Adjoint representation.
  18. Reconstruction of a Lie Group from its Algebra
    integral curves to a vector field; maximal integral curves; complete vector fields; every vector field on a compact manifold is complete; exponential map; the image of exp is the connected component of the Lie group containing the identity; examples: orthogonal group, special orthogonal group; (restricted) Lorentz group: proper/improper orthochronous/non-orthochronous transformations; Lorentz algebra; one-parameter subgroups; flow of a vector field; the exponential map commutes with smooth maps.
  19. Principal Fibre Bundles
    left and right Lie group actions; example: actions from representations; proof: right actions from left actions; equivariance of smooth maps; orbits, orbit space and stabilisers; free and transitive actions; examples; smooth and principal bundles; detailed example: the frame bundle; principal bundle morphisms and isomorphisms (or diffeomorphisms); trivial bundles; proof that a bundle is trivial if and only if it admits a global section.
  20. Associated Fibre Bundles
    associated fibre bundle to a principal bundle; detailed example: the frame bundle; scalar and tensor densities on a manifold; associated bundle maps and isomorphisms; trivial associated bundles; restrictions and extensions of a principal bundle; examples.
  21. Connections and Connection 1-Forms
    vertical and horizontal subspaces at a point; decomposition in vertical and horizontal parts; connection on a principal bundle; connection one-form; properties of connection one-forms with proof. 
  22. Local Representations of a Connection on the Base Manifold: Yang-Mills Fields
    Yang-Mills field as pull-back of a connection one form along a local section; local trivialisations of a principal bundle; local representation of a connection one-form; Maurer-Cartan form; example: the Yang-Mills fields on the frame bundle, Christoffel symbol; example: calculation of the Maurer-Cartan form of the general linear group GL(n,R); patching Yang-Mills fields on different domains; the gauge map; example: the gauge map on the frame bundle.
  23. Parallel Transport
    horizontal lifts of a curve to the principal bundle; ODE characterising horizontal lifts; explicit solution in the case of a matrix Lie group; path-ordered exponential; parallel transport map; loops and holonomy groups; horizontal lifts to the associated bundle; parallel transport map on the associated bundle; covariant derivative of a section.
  24. Curvature and Torsion on Principal Bundles
    exterior covariant derivative; curvature two-form; characterisation of the curvature two-form with proof; Yang-Mills field strength; First Bianchi identity; solder (ing) form; torsion two-form; Second Bianchi identity
  25. Covariant derivatives
    proof of the equivalence of local sections and G-equivariant functions; linear actions on associated vector fibre bundles; matrix Lie group; construction of the covariant derivative for local sections on the base manifold.

11 comments :

  1. Thanks a lot for sharing this!

    ReplyDelete
  2. I noticed a few typos while working through it. Is it possible for me to send them to you?

    ReplyDelete
  3. thank you so much for this it is making my life easier very zoomed out comprehensive and abstract (the good kind of abstraction) and its not bothering me with stupid stuff

    ReplyDelete
  4. Mr. Simon Rea,

    First, thank you for transcribing Dr. Schuller's excellent lectures. I finally found
    someone who explains differential geometry in a way I as a physicist can comprehend. Now, I wish to ask if you are considering writing the last 3 chapters? it would be greatly appreciated.

    ReplyDelete
  5. Mr. Rea,
    Thank you so much for transcribing Professor Schuller's notes. Will you be posting notes for the final 3 lectures/ I hope you will. The notes and videos have really helped me understand differential geometry.

    ReplyDelete
  6. thank you a lot buddy.. this helped me

    ReplyDelete
  7. Bro....I sm really really grateful towards you.. thanks a lot.

    ReplyDelete
  8. thank you for your great effort
    nilabja haldar

    ReplyDelete
  9. The notes are quite marvelous. There are a few typos here and there, so do you mind if I can send them to you so that you can update the document? I also noticed, understandly, that from chapter 21 onwards, you went a bit quickly in your notes over the material. IN the videos, Schuller really helps to understand all these stuff by drawing pictures and explain things, which you don't do in the notes. Do you intend to complete those sections at some point? As some people mentioned, there is also the last few chapters missing, so it would be immensely helpful if you could consider including those chapters.
    If you are, understandably, too busy, you could consider also posting the tex file as I am sure, me included, would be delighted to help you complete the document.
    Amazing work though! :)

    ReplyDelete
  10. Hi. Does the OP or anyone else have the Problem set for this course that they can share?

    ReplyDelete