# Sergei Yakovenko's blog: on Math and Teaching

## Sunday, February 19, 2017

### Volunteers to moonlight, any?

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

## 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

### Exam

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

## 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 ט”ו בשבט!

## 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.

## 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.

Create a free website or blog at WordPress.com.