Sergei Yakovenko's blog: on Math and Teaching

Sunday, February 19, 2017

Volunteers to moonlight, any?

Filed under: research announcement — Sergei Yakovenko @ 5:36

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

Filed under: Calculus on manifolds course — Sergei Yakovenko @ 4:57
Tags: , ,

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.

Saturday, February 11, 2017


Filed under: Calculus on manifolds course,lecture,problems & exercises — Sergei Yakovenko @ 5:22

Problems for the take-home exam

Here is the file with the problems for the exam.

The rules are simple:

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. I hope to post on this site the aggregated and slightly polished lecture notes in hope they might help you.
  7. 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 $.
  8. If you cannot meet the deadline for serious reasons, write me. Everything is negotiable.

Good luck and merry ט”ו בשבט!

Monday, February 6, 2017

Lecture 14 (Feb 6, 2017)

Calculus on complex manifolds

If V is a complex vector space, then it is naturally also a real vector space (if you allow multiplication by complex numbers, then that by real numbers is automatically allowed). However, forgetting how to multiply by the imaginary unit results in the fact that the dimension \dim_{\mathbb R}V of the space over the real numbers is two times higher. If we regret our decision to forget the complex multiplication, we still can restore it by introducing the \mathbb R-linear operator J\colon V\to V such that J^2=-E, where E is the identity operator.

An even-dimensional real vector space with such an operator is called an almost complex space, and it obviously can be made into a complex vector space (over \mathbb C). However, if we consider an even-dimensional manifold M with the family of operators as above, it is somewhat less than a complex analytic manifold (a topological space equipped with an atlas of charts with biholomophic transition functions). For details, follow the lecture notes that will be available later.

Lecture 13 (Jan 30, 2017)

Symplectic manifolds

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 \omega\in\Omega^2(M). This form is called a symplectic structure, if \mathrm d\omega=0 and an additional nondegeneracy condition is met.

It turns out that this structure naturally arises on the cotangent bundle M=T^*N of an arbitrary smooth manifold N. Moreover, this structure is intimately related with the mechanics of frictionless systems: the Hamiltonian differential equations can be naturally described by vector fields X which satisfy the Hamiltonian condition \mathrm i_X\omega=\mathrm d H, where H 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.

Lecture 12 (Jan 23, 2017)

Filed under: Calculus on manifolds course,lecture — Sergei Yakovenko @ 4:51
Tags: , , ,

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.

Monday, January 30, 2017

Lecture 11 (Jan 16, 2017)

Filed under: Calculus on manifolds course,lecture — Sergei Yakovenko @ 3:54
Tags: , ,


Definitions of geodesic curves on a Riemmanian manifold. Differential equations of the second order. Local existence of solutions. Geodesic map. Geodesic spheres, orthogonality. Local minimality of geodesic curves. Metric and geodesic completeness of Riemannian manifolds.

Survey of adjacent areas. Behavior of the nearby geodesics. Jacobi field. On surfaces: conjugated points, the role of the Gauss curvature, global properties of manifolds with positive and negative curvature (comparison). Hyperbolic plane \mathbb H, geodesics on it. Realization of the hyperbolic geometry on a surface in \mathbb R^3_{++-}. Impossibility of global embedding of \mathbb H into \mathbb R^3_{+++}.

Wednesday, January 11, 2017

Lecture 10, Jan 9, 2017

Introduction to the Riemannian geometry

  1. Flat structure of the Euclidean space and coordinate-wise derivation of vector fields.
  2. Axiomatic definition of the covariant derivative and its role in defining the parallel transport along curves on manifolds. Connexion.
  3. Covariant derivative \overline\nabla\text{ on }\mathbb R^n and its properties (symmetry, flatness, compatibility with the scalar product).
  4. Smooth submanifolds of \mathbb R^n. The induced  Riemannian metric and connection. Gauss equation.
  5. Weingarten operator on hypersurfaces and its properties. Gauss map.
  6. Curvatures of normal 2-sections (the inverse radius of the osculating circles). Principal, Gauss and mean curvatures.
  7. Curvature tensor: a miracle of a 2-nd order differential operator that turned out to be a tensor (“0-th order” differential operator).
  8. Symmetries of the curvature and Ricci tensors.
  9. Uniqueness of the symmetric connexion compatible with a Riemannian metric. Intrinsic nature of the Gauss curvature.

The lecture notes are available here.

Lecture 9, Jan 2, 2017


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 H_k(M^n,\mathbb Z) and H_{n-k}(M^n,\mathbb Z), the pairing H^k_\text{dR}(M^n,\mathbb R)\times H^{n-k}_\text{dR}(M^n,\mathbb R)\to\mathbb R, \quad (\alpha,\beta)\longmapsto \displaystyle \int_M \alpha\land\beta 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.

Monday, January 2, 2017

Lecture 8, Dec 26, 2016

De Rham and Cech cohomology of smooth manifolds

Using the exterior differential d on smooth differential forms and the fact that d^2=0, we define the de Rham cohomology with real coefficients H^k_{\mathrm dR}(M,\mathbb R) as the quotient space of closed k-forms by exact k-forms. This is a global invariant of a manifold M (for non-compact manifolds we may also consider a version for compactly supported forms, which yields different results).

De Rham cohomology can be computed using the Poincare lemma. If \mathfrak U=\{U_i\} is an open covering of M such that all opens sets and all their non-empty finite intersections are topologically trivial (homeomorphic to open balls), then for any closed form \omega\in\Omega^k(M) one can construct its primitives \xi_i\in\Omega^{k-1}(U_i) such that \mathrm d\xi_i=\omega in U_i. The (k-1)th forms \xi_i may disagree on the intersections U_{ij}=U_i\cap U_j, but one can attempt to twist them by suitable closed forms \mathrm d\phi_i. The corresponding system of (k-2)-forms \{\phi_i\} satisfies certain linear conditions on pairwise intersections; to satisfy these conditions one has to look for forms on triple intersections etc.

This construction gives rise to the notion of the Cech cohomology defined via systems of linear algebraic equations and reduces computation of the de Rham cohomology to a problem from linear algebra, determined by the combinatorics of the pairwise and multiple intersections of the sets U_i. In particular, one can conclude that the de Rham cohomology of compact manifolds is finite-dimensional.

An ultra-concise set of notes is available here (I hope to return and expand this text). The notion of Cech cohomology is further elaborated here.

NB. The class was shorter than usual because of the Hanukka lighting ceremony.

חנוכה שמח and Happy New Year, С наступающим Новым годом!

Next Page »

Create a free website or blog at