Galois Meets Newton: Algebraic and Geometric aspects of Singularity Theory
Celebrating the 70th birthday of Prof. Askold Khovanskii
A terrific conference will be held in the Weizmann Institute in July 3-7, 2017. For details go to the conference site and register there if you plan to attend the event.
Please feel free to spread the word about this event.
Israeli Ministry of Education Needs You!
As part of the matriculation exam in math (5th level), Israeli high school students are (sometimes?) required to write a “final project“, עבודת גמר.
They are looking for people qualified to read, check these compilations and grade them based on certain criteria. In particular, this presumes a 45 min meeting with the students. Each case will bring you 600 shekels. The required qualification allows to hire PhD students (and faculty members, of course ;-). Needless to say, everything is in Hebrew.
If you are interested in such a job, please write me or (better) directly to Dr. Ilya Tyomkin from the Ben Gurion University, who is overseeing this program.
Lecture notes for the course
The set of notes, including extra bibliography and the exam problems, is available here.
These are very raw, extremely informally written and mostly very sketchy notes, consume with moderation at your own risk. Perhaps, one day they will be turned into something more reliable and close to the standards.
Problems for the take-home exam
Here is the file with the problems for the exam.
The rules are simple:
- The submission is due on the last day of the exam period (including the vacations) as per the FGS rules, that is, March 26, 2017.
- English is preferred over Hebrew, typeset solutions to the handwritten ones, although no punishment for the deviant behavior will ensue. Hardcopy solutions should be put into my mail box in the Zyskind building, otherwise feel free.
- Nobody is perfect: if you believe you find an error and the problem as it is stated is wrong, don’t hesitate to write a talkback to this post. All bona fide errors will be corrected or the problem cancelled outright.
- I tried to make the exam as instructive as the course was. Most of the problems are things that I planned to include, but didn’t have time to. To simplify your life, they were split into what I believe are simple steps. Don’t hesitate to consult textbooks, but let me see that you indeed read and digested them. The presumptively harder items are marked by the asterisk.
- To get the perfect grade 100, you don’t have to submit solutions to all problems. The grade will be based on my purely subjective assessment of your exam and in any case will not be additive neither multiplicative. Please be aware that writing patently stupid things may be more detrimental to the outcome than just skipping an item that you cannot cope with.
- I hope to post on this site the aggregated and slightly polished lecture notes in hope they might help you.
- I hope to be able to answer any questions you might have concerning the problems, better posted here than emailed to me. Moreover, I encourage open discussions here as long as they don’t result in posting complete solutions. Sometimes one stumbles over the most stupid things and needs to talk to other to overcome that. That’s fairly normal. To enter math formulas, you type the dollar sign $ immediately followed by the word “latex”, and after the blank space type in your formula. Don’t forget to close with another $.
- If you cannot meet the deadline for serious reasons, write me. Everything is negotiable.
Good luck and merry ט”ו בשבט!
In parallel with the Riemannian manifolds equipped with a positive definite (symmetric) scalar product on each tangent space, it is interesting to consider manifolds equipped with an antisymmetric scalar product on each tangent space, i.e., with a differential 2-form . This form is called a symplectic structure, if and an additional nondegeneracy condition is met.
It turns out that this structure naturally arises on the cotangent bundle of an arbitrary smooth manifold . Moreover, this structure is intimately related with the mechanics of frictionless systems: the Hamiltonian differential equations can be naturally described by vector fields which satisfy the Hamiltonian condition , where is a function (Hamiltonian, or full energy) on the symplectic manifold. Thus each Hamiltonian vector field is “encoded” by a single function, rather than by a tuple of functions. The commutator of Hamiltonian vector fields is again Hamiltonian: this is the invariant definition of the Poisson bracket.
There are two instant ramifications from this point. One can discuss integrability of the Hamiltonian vector fields. Another, less physically motivated direction is to study the symplectic geometry, first locally, then globally. It is a surprising twisted counterpart of the Riemannian geometry, which has no intrinsic curvature but nevertheless is very rich globally.
The lecture notes will be available later.
Lie groups and Lie algebras
A Lie group is a smooth manifold with carries on it the structure of a group which is compatible with the smooth structure (i.e., the multiplication by an element of the group is a smooth self-map, necessarily a diffeomorphism, of the manifold).
This group structure means very high “homogeneity” of the manifold, in particular, existence of a flat connexion. On the other hand, there is a distinguished point on the manifold, corresponding to the group unit.
It turns out that the tangent space at the group unit is equipped with a natural operation, the antisymmetric bilinear bracket, closely related to the commutator of vector fields on the Lie group. This algebraic structure is called the Lie algebra, and it in a sense “encodes” the group structure.
The notes will be available later.
Introduction to the Riemannian geometry
- Flat structure of the Euclidean space and coordinate-wise derivation of vector fields.
- Axiomatic definition of the covariant derivative and its role in defining the parallel transport along curves on manifolds. Connexion.
- Covariant derivative and its properties (symmetry, flatness, compatibility with the scalar product).
- Smooth submanifolds of . The induced Riemannian metric and connection. Gauss equation.
- Weingarten operator on hypersurfaces and its properties. Gauss map.
- Curvatures of normal 2-sections (the inverse radius of the osculating circles). Principal, Gauss and mean curvatures.
- Curvature tensor: a miracle of a 2-nd order differential operator that turned out to be a tensor (“0-th order” differential operator).
- Symmetries of the curvature and Ricci tensors.
- Uniqueness of the symmetric connexion compatible with a Riemannian metric. Intrinsic nature of the Gauss curvature.
The lecture notes are available here.
I briefly discussed the (simplicial) homology construction in application to smooth manifolds and described several pairings: de Rham pairing (integration) between homology and cohomology, intersection form between and , the pairing and the Poincare duality.
Then I mentioned without proofs several results stressing the role of smoothness, in particular, how different smooth structures can live on homeomorphic manifolds. The tale of planar curve eversion and sphere eversion was narrated. For the video of the sphere eversion go here.
In the second part of the lecture I discussed natural additional structures that can live on smooth manifolds, among them
- Complex structure, almost complex structure,
- Symplectic structure,
- Parallel transport,
- Riemannian metric,
- Group structure.
Then we prepared the ground for the next lecture, discussing how examples of these structures naturally appear (e.g., on submanifolds of the Euclidean space, on quotient spaces, …)
There will be no notes for this lecture, because of its mostly belletristic style.