Teaching
In my previous life, that is before coming to Bretagne, the land of cider and butter, I taught undergraduate classes like linear algebra (very often-I loved teaching linear algebra), calculus, point-set topology, and things like this. Since I arrived to Rennes I have been teaching every year, or maybe every second year, an M2 class, mostly about things like Riemannian geometry or differential topology:
Current teaching:
Differential Topology and de Rham Cohomology
We-Fr, 9:45-11:15, starting September 20th and ending December 15th, with a break the week of Halloween
I will only assume a decent base of calculus in several variables (being scared of the implicite function theorem is ok, being so scared that one runs away or it or stops listening/reading/thinking is not), a decent basis of linear algebra (mostly multilinear algebra), and some contact with pointwise topology (what is a topology, what means Hausdorff, compact, connectec and such). That being said, I will go relatively fast. Besides introducing the main players (manifolds and bundles) I will spend some time talking about things like the Frobenius theorem or about Lie groups (for example introduce the Lie algebra and the exponential map for abstract Lie groups and calculate them for linear groups). Although there are surely people who have seen it before, I will prove Stokes' theorem. That is basically the first part of the course. The second is about de Rham cohomology per se. No extra prerequisits are needed for this, meaning that I will discuss all the needed algebra. The goal is to do things like the topological invariance of de Rham cohomology, invariance of domain, Poincare Duality, the Kuenneth formula, Jordan-Alexander duality, the Thom isomorphism and the Lefschetz fixed point theorem (maybe the Lefschetz trace formula). Intermixed with this, I will discuss a minimum of mod2 and integral intersection theory, that is things like the relation between the intersection of submanifolds of complementary dimension and of their Poincare duals. (When I type this here, it seems like a lot, but we will see...)
There are plently of good books, and I will mention them in class, but I will also provide notes. In fact, here is the first instalment and here are the references. Comments, corrections, typos: I will really appreciate all of that!
I will try to write down some keywords about what I did in each class:
September 20th: Topological manifolds, partitions of unity, manifold construction lemma, complex projective space, manifolds as quotients
September 23rd: Smooth manifolds, smooth maps and diffeomorphisms, maximal atlas, smooth partition of unity, Whitehead approximation theorem for functions.
September 27thth: Tangent space via derivations.
September 29th: Inverse mapping theorem and implicite function theorem (for manifolds). Examples of submanifolds.
October 4th: SL_nR and SO_n as submanifolds. Manifolds with boundary, including implicite function theorem, and Brouwer's fixed point theorem.
Starting in the 6th class, I will be talking about bundles. Here are the notes for that material.
October 6th: Definition of fiber bundles and vector bundles. Vectorbundle construction lemma. Proof that the Hopf fibration and the canonical bundle of CP^n are nor trivial.
October 11th: Examples of vector bundles: tangent bundle, Whitney sum, dual bundle, Alt^k-bundle, etc...
October 14th: prove that for every vector bundle E-> M there is F-> M with E+F -> M trivial, (weak) Whitney embedding theorem, general position theorem
Starting in the 9th class (or at latest in the 10th) I will be speaking about vector fields and such. Here is the next installment of the notes.
October 18th: prove existence of regular neighborhoods and a couple of applications. Vector fields, Picard Lindeloef, creme anglaise theorem.
Octbober 20th: Thom isotopy extension theorem, normal form for non-vanishing vector fields, Lie brackets and some of its properties. Definition of Lie group.
October 25th: Lie groups, Lie algebra, exponential map, one-parameter subgroups groups, rambling about Lie groups
October 27th: Distributions, Foliations and the Frobenius theorem.
Starting November 8th, I will be talking first about Stokes and then about de Rham cohomology. Here are the notes for this part.
November 8th: Fast review of multilinear algebra, differential forms, uniqueness of exterior derivative
November 9th: Existence of exterior derivative, orientation, existence of volume forms, integration
November 15th: integration of forms, Stokes, Beginning of de Rham.
For all foreseable future we will talk about de Rham cohomology. Here are the notes for this part (they rougher than the earlier ones, I fear).
November 17th: cochain morphisms induce maps on cohomology, functoriality of de Rham cohomology, homotopic cochain morphisms induce the same maps, statement of "homotopic is homotopic" theorem (proof next time) and applications: topological invariance of de Rham cohomology, Poincare lemma, invariane of domain
November 22nd: prove that homotopic maps induce identical maps on de Rham cohomology. Proof of the snake lemma and of Mayer-Vietoris, both for usual de Rham and for the compactly supported one. Calculation of the cohomology of the spheres of complex projective spaces.
November 24th: I rambled a lot about things like the Whitehead manifold. Then discussed the existence of good covers and proved that the Betti numbers of manifolds of finite topology are finite.
November 29th: Proved the Euler formula (that is, Euler charateristic = Euler characteristic) and Poincare Duality.
December 1st: Proof of the Kuenneth formula and discussion of transfer.
December 6th: Proof of the Jordan-Alexander theorem, calculation of Lusternik-Schnirelmann category of CP^n and T^n.
Here is the last installment of the notes (these ones are really rough)
December 8th, 13th and 15th: mod-2-degree, Borsuk-Ulam, degree, intersection form, Thom isomorphism and Thom class, Hopf-index theorem, brief sketch of the proof of the Lefschetz trace formula and Lefschetz fixed point theorem.
Past teaching:
Fondaments de la topologie différentielle and de Rham cohomology.
Géométrie Riemannienne et courbure: A basic course (24h) on riemannian geometry, starting with bundles and connections, the curvature tensor, first and second variation formulas, the theorems of Hadamard-Cartan, Cartan, Bonnet-Myers and Synge, basic Morse theory, the existence of periodic geodesics on closed manifolds, and a very little bit of comparison geometry. (taught 3 times)
Other than that I taught couple of short courses for graduate students.
Flexibility in geometry: I discussed, following Geiges's notes, the proof that open invariant differential relations satisfy the h-principle, focusing on the existence of immersions into euclidean space of the same dimension and on the sphere eversion.
Homology and cohomology of groups: Start from the beginning and prove the Eilenberg-Ganea theorem. I have note somewhere, but they are kind of sketchy.
Existence of minimal surfaces: Solution of the Plateau problem in R^n and of its generalisations if one replaces the disk by other surfaces.