I'll do this in posts and not pages on further thought...
Sergei Merkulov at Stockholm University gives during the spring 2006 a course in differential geometry, geared towards the algebra graduate students at the department. The course was planned while I was still there, and so I follow it from afar, reading the lecture noteshe produces.
At this page, which will be updated as I progress, I will establish my own set of notes, sketching at the definitions and examples Merkulov brings, and working out the steps he omits.
Familiar parts in unfamiliar language
Merkulov begins the paper by introducing in swift terms the familiar definitions from topology of topology, continuity, homeomorphisms, homotopy, and then goes on to discuss homotopy groups, and thereby introducing new names for things I already knew. Thus, I give you, for a pointed topological space [tex]M[/tex]
The space of loops based at [tex]x_0[/tex]: [tex]\Omega_{x_0}M[/tex]
This is the quite normal set of all possible loops in [tex]M[/tex] as used when defining the fundamental group. My guess, however, is that the terminology here used also ties this familiar object into the loop spaces that people study.
The Pontryagin product
This is the normal "First one loop, then the other" product of elements in [tex]\Omega_{x_0}M[/tex]. I didn't know it carried that name though.
Using these new names, the fundamental group of a space [tex]M[/tex] is just [tex](\Omega_{x_0}M/\sim,*)[/tex] with homotopy equivalence for [tex]\sim [/tex]and the Pontryagin product for [tex]*[/tex].
These definitions are analogously extended to embeddings of [tex]S^n[/tex] instead of loops to form the higherdimensional homotopy groups. It's not clear to me, however (though probably most due to the time past since I read about homotopy groups closely) how to just extend the Pontryagin product to hyper-spheres. So you have two hyper-spheres that touch in the basepoint of the space. Hmmmm. If you remove that point, you end up with two punctured spheres (homeomorphic to disks) that stretch into the basepoint. So you glue the spheres together in the basepoint that you reinsert. So you get basically a very narrow hourglass. And this is homotopic to a sphere again... Yeah, I think I can visualize that.
A homeomorphism [tex]f[/tex] that takes [tex]M_1[/tex] to [tex]M_2[/tex] will also be a homeomorphism from [tex]M_1\setminus A[/tex] to [tex]M_2\setminus f(A)[/tex], since precisely those bits are removed which would mess with bijectivity, and continuity is preserved due to the set difference having the induced topology. This can be used together with the result (to be proven) that [tex]\pi_m(S^n)=0[/tex] for [tex]m Indeed, should there be such a homeomorphism, then that homeomorhpism would with this result give a homeomorphism [tex]\mathbb R^m\setminus 0[/tex] to [tex]\mathbb R^n\setminus f(0)[/tex]. Both of these spaces are punctured euclidean spaces, and therefore homotopic equivalent to the corresponding spheres and thus have the same homotopy groups as the spheres do. But we know that homeomorphic spaces have equal homotopy groups, and that spheres of different dimensionality have different homotopy groups (since [tex]\pi_m(S^n)=0[/tex] but [tex]\pi_m(S^m)\neq 0[/tex]) and thus the homeomorphism cannot exist.
And the things I didn't know before
A diffeomorphism is a homeomorphism such that the homeomorphism and its inverse both are smooth. We need open sets in real vectorspaces as domain and codomain for this to work as defined. Diffeomorphisms come in classes: [tex]C^r[/tex] - which just denote how many times you can differentiate both the homeomorphism and its inverse.
A slightly weaker concept is that of local diffeomorphism - which is a map from an open set to an open set, as with diffeomorphisms, such that for each point there is an open neighbourhood such that the map is a homeomorphism of that neighbourhood onto its image.
Maps can be tested for local diffeomorphism status by calculating their Jacobian - the determinant of the matrix [tex]\left(\frac{\partial f^i}{\partial x^j}\right)[/tex]. When the matrix degenerates, that is when the determinant is zero, at some point, then the map fails to be a diffeomorphism.
Exercise / Example
The map [tex]f:\mathbb R\to\mathbb R[/tex] given by [tex]f(x)=x^3[/tex] is not a diffeomorphism. Indeed, the Jacobian is [tex]3x^2[/tex], which is [tex]0[/tex] for [tex]x=0[/tex].
Manifolds
A covering is a family of open sets such that the union of the sets contain the space.
A covering is locally finite if every point has an open neighbourhood which intersects only finitely many covering sets.
A space is paracompact if every covering has a locally finite subcovering. A space is compact if every covering has a finite subcovering.
A space if an [tex]n[/tex]-dimensional topological manifold if it is Haussdorff and every point has a neighbourhood homeomorphic to an open subset of [tex]\mathbb R^n[/tex].
Examples
The circle is a 1-manifold. So are many algebraic curves. However, not necessarily all 1-dimensional algebraic varieties - for instance the variety generated by the equation [tex]xy[/tex] fails, since every neighbourhood of [tex](0,0)[/tex] by necessity has to be a cross-shape, which in no way is an open subset of any [tex]\mathbb R^n[/tex] and definitely not of [tex]\mathbb R[/tex].
A chart at a point [tex]x_0[/tex] of a topological manifold [tex]M[/tex] is a pair [tex](U,\phi)[/tex] consisting of an open neighbourhood [tex]U[/tex] of [tex]x_0[/tex] and a homeomorphism [tex]\phi:U\to V[/tex] to an open set [tex]V\subset\mathbb R^n[/tex]. The actual values in the image of a point are called the coordinates of the point. An atlas is a family of charts covering the space.
An example. Take the circle, embedded in [tex]\mathbb R^2[/tex] as the unit circle. I shall construct a few atlases on the circle and compare them.
For the first one, let the atlas be defined on four open (in the induced topology) subsets of the circle - namely [tex]x>0[/tex], [tex]x<0[/tex], [tex]y>0[/tex] and [tex]y<0[/tex] being the defining relations for each of the four. Each such subset is a halfcircle, excluding the endpoints. Furthermore, for the open subset defined by [tex]y>0[/tex] let a map to [tex]\mathbb R[/tex] be given as [tex](x,y)\mapsto x[/tex].
First off: Is this a homeomorphism? It is a continuous map, quite clearly. Furthermore, it is a bijection onto the open subset [tex](-1,1)[/tex] in [tex]\mathbb R[/tex]. And the inverse, given by the function [tex]x\mapsto (x,\sqrt{1-x^2})[/tex] is continuous as well. Thus it is, indeed, a homeomorphism.
To get the other four charts, change x for y, and twiddle the sign of the square root in the inverse to choose which half-circle you want to get to. Everything checks out, mutatis mutandi.
For the second one, take the same partitions, but now use the positive radian distance to the x-axis instead. So the half-circle given by [tex]y>0[/tex] turns out to be mapped homeomorphically to [tex](0,\pi)[/tex], [tex]x<0[/tex] maps to [tex](\pi/2,3\pi/2)[/tex], [tex]y<0[/tex] maps to [tex](\pi,2\pi)[/tex] and x>0 maps to [tex](3\pi/2,5\pi/2)[/tex].
For a pair of charts that overlap, every point in the intersection has two sets of coordinates - one from each chart. Say the charts are [tex](U_\alpha,\phi_\alpha)[/tex] and [tex](U_\beta,\phi_\beta)[/tex]. Then one set of coordinates are the coordinates of [tex]\phi_\alpha(x)=\{x_\alpha^i\}_{1\leq i\leq n}[/tex] and the other set of coordinates are the coordinates of [tex]\phi_\beta(x)=\{x_\beta^j\}_{1\leq j\leq n}[/tex]. Thus for every pair of overlapping charts, we get a family of [tex]n[/tex] functions [tex]f^i_{\alpha\beta}:\mathbb R^n\to\mathbb R[/tex], each taking the point [tex]\phi_\alpha(x)[/tex] to the [tex]i[/tex]:th coordinate in [tex]\phi_\beta(x)[/tex].
An atlas is said to be a smooth atlas if the transformation maps [tex]f_{\alpha\beta}[/tex] for each pair of overlapping charts is smooth.
For our examples, the transformation maps are as follows:
Two smooth atlases are equivalent if their union is a smooth atlas. In this entire treatment, smooth can be replaced with analytic, class [tex]C^r[/tex] et.c. to yield a theory for such atlases.
Now. Is this an equivalence class? Reflexivity and commutativity hold straight off. The remaining question is that if the atlas [tex]\alpha[/tex] is equivalent to the atlas [tex]\beta[/tex], and [tex]\beta[/tex] with [tex]\gamma[/tex], are then [tex]\alpha[/tex] and [tex]\gamma[/tex] equivalent? For this to hold, [tex]\alpha[/tex] and [tex]\gamma[/tex] need to be compatible. But the transition from [tex]\alpha[/tex] to [tex]\gamma[/tex] could be made via the transfer functions from [tex]\beta[/tex] while ignoring [tex]\beta[/tex] as an atlas. So since compositions keep smoothness intact, we're home free.
Thus, we can form equivalence classes of atlases. A manifold with such an equivalence class is said to have a smooth (real analytic, class C^r) structure.
This concludes sections up to 1.8 of the notes. More to come later.