Ideas and surprises of mathematical physics in simplest examples
IDEAS AND SURPRISES OF MATHEMATICAL PHYSICS IN SIMPLEST EXAMPLES
Course by Andrey Losev,
Mathematical Department of HSE Research University and System Research Institute, Moscow.
Tuesdays at 16.00 Beijing time and work until 18.00 (11.00 – 13.00 Moscow time)
Thursdays at 15.00 Beijing time and work until 18.00 (10.00-13.00 Moscow time).
First lecture at Thursday 11.11.2021. Please register to receive zoom link.
Mathematical physics is a theoretical science that studies worlds that are somehow similar to the world we live in.
As a piece of physics it is a laboratory developing theoretical models that we would like to compare to observations in physics. Even if the model is definitely different from the real world it still is useful since it could contain phenomena similar to what we observe in the real world. In the model world such phenomena could look simpler and allow exact theoretical study.
As a piece of mathematics it may be considered as geometry 2.0. Actually geometry started from studying the shapes that we meet in our world but later it turned on that its object of study are all possible shapes (spaces). We call mathematical physics as geometry 2.0 because it generalizes from shapes of the world to laws of the world (note that shape is one but not the only one law of the world).
Just like geometry is unified with algebra Mathematical physics shares many ideas with modern mathematics, not only using them but providing different view on these ideas. Sometimes it even goes ahead of pure mathematical development.
This course is aimed to give an introduction to some ideas of mathematical physics that surprisingly intertwine with ideas of algebraic geometry, supergeometry and homological algebra. I will also give a brief overview of developments of ideas of modern physics and explain how mathematical physics may be applied in real physics and in development of theoretical physics. I will also outline how ideas and models of mathematical physics could lead to new phenomena in mathematics and show it on simplest examples.
We would start from the basics so the 3-4 year students can attend this course. Prerequisites include calculus and linear algebra including classical Lie groups such as SO(d) and U(d). No knowledge of physics is required. In considering examples I would often say – in such and such conditions the construction describes such and such notion or phenomena in physics.
In this way we gradually will get up to the Standard Model coupled to gravity. Standard Model is not a model but a tested theory of fundamental laws of the Universe. The history of it’s discovery explains the name. It was invented as a model among other models. Later this model turned out to fit experiments better than other models and it was called standard model to distinguish it from competitors. Finally, it was tested and other models disappear.
Students from both sides, from theoretical physics and mathematics are very welcome. The aim of this course is not only to teach some stuff (that student can apply in his research) but to get students the feeling of the subject and possibly to get them interested in studying it in more detail.
To get students interested I will not only illustrate everything that I say in simplest examples, but I will do my best to surprise students by unexpected analogies between pure mathematics and theoretical physics.
The course will be given by zoom, twice a week.
On Tuesdays we will start at 16.00 Beijing time and work until 18.00 (11.00 – 13.00 Moscow time)
On Thursdays we will start at 15.00 Beijing time and work until 18.00 (10.00-13.00 Moscow time).
Extra topics for interested students would be discussed on Fridays, time would be decided.
The first lecture would be on 9 of November and the main program will end around 30 of May
(there would be no lectures during Chinese New year vacations).
Then I am planning to cover extra topics for interested listeners.
To enter the course one has to register at Euler Institute site.
Videos of lecture will be available, and I hope to make notes such that it would be possible to catch up if you have to miss the course.
Highlights of the course.
To get you a feeling about the course I picked up 27 statements from the list of what I call surprises.
Please take a look. If you know the concepts I am talking about you may decide if it surprises you.
If you do not I will explain these concepts in the course and I hope then you will be able to evaluate surprise.
- Newton laws (as published) are incomplete and missing the axiom of material point.
The notion of Force mistakenly excludes theories with nonbinary potentials.
- The first consideration of theoretical physics (Galileo argument on the acceleration of bodies
Falling on Earth that he considered universal) is actually false in General relativity because it
ignored (due to notion of Force) nonbinary effective potentials. We actually see these potentials in the motion of Mercury on the sky.
- Newton’s mechanic is not a classical physics, it is a preclassical physics. Classical physics is an extremal action principle.
- The classical theory of point particles and fields does contain ultraviolet divergences that have to be renormalized.
- Figures are not collections of points.
- In Einstein-Cartan formulation of gravity fundamental degrees of freedom (coframes) behave as quarks (and could be called graviquark) while metric is like a meson (white object constructed from two graviquarks)
- In Einstein-Cartan description one can finally answer a question what spins in electron spin.
The graviquark gets condensed and the only combination of truly rotational symmetry and global part of “gauge” symmetry is preserved. Invariance under this symmetry is related to
conservation of rotational momentum.
- Berezin odd integral can be understood by looking at integrals of functions on a circle with invariant measure.
- Take a nondegenerate top form on X. It identifies polyvectors with differential forms by contraction with the top form. Then map from forms to polyvectors may be considered as
an odd Fourier transform, De Rham vector field (first order operator) goes to BV operator (second order operator). It was missed by mathematicians since they considered canonical operations while BV operator depends on the choice of the top form. Action of BV operator
on polyvectors generalizes the notion of divergence of a vector field (previously understood
as a Lie derivative of the Log of the top form).
If we use metric to identify polyvectors and differential forms, odd Fourier transform becomes
Hodge * operation, while BV operator would become d*.
- Maxwell equations in all dimensions can be formulated in 3 letters ddA=0 where A-is a 1-form.
Equivalently, as a system of two equations dF=0 and dF=0. Electromagnetic duality for Maxwell
Theory in 2 dimensions can be written as a change F_D=*F, where F_D can be written as dA_D,
So A_D is 1-form. Generalization of this duality to arbitrary dimension and arbitrary degree of the form A shows that k-forms in dimension D are electromagnetic dual to D-k-2 forms in dimension D. In particular, Maxwell theory for 3 dimensional spacetime has a dual description
In terms of scalars (0-forms), that is an ether description!
- Quantum field theory (in Dirac-Segal formulation) is a monoidal functor from cobordisms to monoidal category of vector spaces.
- Actually quantum theory contains no Plank constant, Plank constant is a description of how close quantum theory is to a classical one. So quantization is not so natural, the natural process is “classization”.
- In most cases Plank constant is an inverse of an integer, it gets dimension due to dimensional transmutation. Like natural coordinates on a sphere do not have dimension, coordinates we use got dimensions only because of existence of the radius of the sphere.
- Higher topological theories are those where category of vector spaces is replaced by category of
complexes, functions of geometrical data are promoted to differential forms and the functor is closed.
- All quantum mechanics can be completed to topological ones, this is a Polyakov completion.
- Canonical higher differential in spectral sequence for bicomplex and canonical Massey operations (as described in the textbooks) are partially defined on cohomology of the first differential. Higher differentials are defined on cohomology of preceding higher differential and Massey operation is defined only if some products of cohomology vanish. However, they can be refined in a way, depending on contracting homotopy. Then they are correctly defined and form infinity structure, while canonical operations correspond to moduli of such operations under the action of natural symmetries acting on higher operations.
- Higher operations in homological algebra are close analogues of scattering amplitudes in quantum field theory. Namely, scattering amplitudes are higher operations in Polyakov higher topological Quantum Mechanics.
- Gauge theories contain maps to algebra Lie with inversed parity, the inverse image of linear coordinates are Faddeev-Popov c-ghosts
- In the process of gauge fixing we integrate over conormal bundle to gauge fixing constraints,
Linear coordinates along the fibers are Faddeev-Popov b-ghosts.
- Mathai-Quillen integral representatives of delta-forms on solutions to Bogomolny equations in different dimensions are topological theories obtained from supersymmetric theories by A-twisting, the smoothening of the delta-form is a coupling constant in these theories.
- Scalar fields in d=4 N=2 Super Yand Mills theory are Faddeev -Popov ghosts for gauge fixing of odd counterpart of the gauge symmetry. That is why they are even.
- The BV formalism implies the BV generalization of the concept of symmetry, called L-infinity symmetry, that maps the external algebra of the Lie algebra to polyvectors on the space X,
where constant is mapped to invariant function. The L-infinity conditions mean that vector fields represent Lie algebra up to derivatives of S. This phenomena was first discovered in supersymmetric theories and was called closeness of the symmetry algebra on-shell.
- The notion of complex structure determined by Beltrami differential is a particular case by a more general notion determined by polyvector with values in (0,*) differential forms, so Beltrami corresponds to vector field with values in (0,1) forms. The much simpler case corresponding to functions was originally discovered by physicists and was called superpotential. The complex Hodge theory can be generalized to a general case with superpotential is called N= 4 Supersymmetric Quantum Mechanics.
- All known Lagrangian topological field theories in different dimensions can be considered as particular cases of AKSZ model that is a Q-manifold of maps between two Q-manifolds.
- Tropicalization of algebraic geometry being applied to functional integral leads to classical theory.
- In Polyakov string theory the notion of the space-time equipped with the geometry satisfying Einstein-like equation is replaced by the concept of conformal field theory. The space-time becomes the emergent, i.e. asymptotic concept. Families of conformal field theories can have
different geometric limits that is revealed, in particular, in the phenomena of mirror symmetry.
From the point of view of topological quantum field theory the number of degree 1 maps from the genus 3 surfaces to CP^1 equals to 8.
Plan of the course.
As you may expect, the logical structure of the course is Y-shaped. One horn comes from mathematics and another from physics. At the beginning they look separated at the pretty far distance and have nothing to do with each other. Still I have to explain both horns and at the beginning some lectures would be called “mathematics” and some “physics”. Later horns would come closer and it will turn out that physics actually heavily uses the language developed in the “mathematical” horn. First it allows to write down simply looking formulas, later it becomes the necessary language to formulate concepts. At some moment horns join and I will use concepts from both horns together. However, time is linear, so I would start by giving one lecture from the “mathematical” horn (on Tuesdays) and one from “physics” horn (on Thursdays). When they join I will use both languages. Still, in describing phenomena I will try to explain it as physicist would do and also as a mathematician would do. In this way I will try to teach you how to “translate” from one language to the other.
- Basics of categories and functors.
1.1. Motivation and definition of category
1.2. Examples: sets, linear algebra, smooth spaces, paths
1.3. Semigroups and groups as categories with one object
1.4. Definitions of covariant and contravariant functor
1.5. Monodromy as a covariant functor
1.6. Contravariant functor between vector spaces and dual vector spaces
1.7. Contravariant functor between spaces and algebras of functions on these spaces
1.8. Categories and functors in mathematical physics are used: in definition of affine schemes and superschemes, in Dirac-Segal’s definition of QFT, in D-branes in string theory (open string amplitudes are (higher) compositions in A-infinity category).
- Algebra-geometric correspondence
2.1. Ideals, why they have such a funny name and how do they correspond to figures
2.2. Operations on ideals and corresponding operations on figures
2.3. Maximal ideals as points and how to understand the double root of equations
Surprise: figures are not collections of points
2.4. New spaces, corresponding to algebras with nilpotents, double point as an example
2.5. Differentiations of the algebra as a replacement of the notion of vector fields, differentiations as module over the algebra (very bad name while good notion), Lie algebra of differentiations, examples for simplest schemes
2.6. What kind of spaces do appear in physics, why smooth manifolds are not enough
- Superalgebra and supergeometry, 1.
3.1. External algebra of the finite dimensional vector space and duality between components of complement degree
3.2. Applications: basis free definition of determinant and trace, meaning of “vector product” in dimension 3, magnetic field in 3 dimensions as element of the external square and geometry of Lorentz force.
3.3. Concept of Z_2 grading and supercommutativity of the external algebra,
Z_2 graded supercommutative algebras
3.4. Affine superspace as a geometric object, corresponding to supercommutative algebra
3.5. Even and odd superdifferentiations, simplest examples of superdifferentiation of external algebra, analogue of Jacobi identity for superdifferetiations and notion of superalgebra Lie. Simplest examples.
3.6. Application: Dirac problem of taking square root out of Dalambertian, gamma matrices and spinors in term of external algebra. Why they were called spinors – story of a severe puzzle in the physics solved by mathematicians.
3.7. Superalgebra of supersymmetries as most well-known superalgebra Lie, representation of superalgebra as differentiations of the superspace.
3.8. Homological vector fields, example on the external algebra – surprise – quadratic vector fields are in one-to-one correspondence with ordinary Lie algebras
3.9. Quadratic homological vector fields on superlinear space (corresponding to polynomials times external algebra) correspond to superalgebra Lie.
3.10. Differential and cohomology in general : Z_2 graded vector space and odd operator that squares to zero. Explanation of the origin of strange names (“differential” and “cohomology”) would appear later.
3.11. Linear homological vector field on superlinear space as the simplest example,
Linear and quadratic homological vector field as differential graded superalgebra Lie.
3.12. If we make polynomial change of coordinates we will get polynomial homological vector field. In general, we may consider germs of the homological vector fields, such objects are called L-infinity algebras. In physics, Yang-Mills equation (we will meet it later) together with the gauge transformation may be considered as a homological polynomial homological vector field with the third degree of polynomial. Much more general homological vector fields are represented by tree level scattering amplitudes (that we will consider later).
3.13. Special homological vector fields a superlinear space multiplied by NxN matrices.
Associativity condition, differential graded associative algebra and A-infinity algebra.
Graphical representation in terms of ribbon trees (and Gershtenhaber bracket).
3.14. Berezin integral over odd linear supermanifold and comparison with the integral of functions over a circle in U(1) invariant measure. Odd delta-function and odd Fourier transform. Integral of exponent of quadratic expression in odd variables.
- Basics of categories and functors.