Manifolds: Topological, Smooth, Complex, Kähler (Work in Progresss)

In this post, we aspire to define some main classes of manifolds, as well as to give an intuitive understanding of how they are related.

Topological manifolds

Manifolds are spaces that "locally" look like Rn. A motivating example can be the surface of the Earth which locally looks flat but has a global shape vastly different from the plane.

An n-dimensional topological manifold M or just n-manifold is a second countable Hausdorff topological space, such that each point xM has an open neighbourhood U which is homeomorphic to Rn.

Moreover, one can add structures to a manifold:

An atlas on an n-manifold is a set A={(Uα,fα)}αI such that each Uα is open and they form a covering M=αIUα, and fα:UαRn is a homeomorphism.

# Insert atlas illustration

Using the unifying theme of atlases, one can then add structure to the maps fα to add more "rigidity" to the manifold. Here it will be good to recall the "hierarchy of smoothness", see for instance Wikipedia.

Smooth manifolds

Topological manifolds are good generalisations of the euclidean spaces Rn, but they are limited in the same manner that continuous functions are limited. You may recall that the absolute value function is continuous and in fact has a derivative, but the derivative is not itself continuous. This somewhat reduces your capacity for analysis since the the derivative is not a topological manifold anymore.

Insert absolute value function.

To circumvent this, we can restrict our attention to functions whose derivatives always exist, namely the smooth functions:

  1. A function f:RR is smooth or C if it is continuous and all the derivatives difdxi exist for i0.
  2. Generalising, f:RnR is smooth if all the partial derivatives αfx1α1x2α2xnαn, α=iαi, exist.
  3. Finally, f:RnRm is smooth if all the coordinate functions f1,f2,,fn are smooth.

Using these new types of functions, we can create manifolds with a lot more structure.

A C-structure on an n-manifold M is an atlas of A={(Uα,fα)}αI such that fβfα1:fα(UαUβ)Rnfβ(UαUβ)Rn is a C function, i.e. a smooth function, for all α,β. A manifold with a C-structure is called a C or smooth manifold.

Are all topological manifolds also smooth manifolds? No, but the smallest example of a topological manifold which does not have a smooth structure is in dimension 7.

Complex Manifolds

A complex structure on a 2n-manifold M is a collection {(Uα,fα)}αU such that the Uα form a covering, but now fα:UαCn and fβfα1:fα(UαUβ)Cnfβ(UαUβ)Cn is a holomorphic function, for all α,β.

A 2n-manifold with a complex structure is called a complex manifold of dimension n, where the dimension halving is because we now think of the manifold as locally being Cn instead of Rn.

Given a point pM, using the atlas, we can find an open set U with pU, and use the function f:UCn to give us complex coordinates (z1,...,zn)Cn locally, allowing us to pretend that we actually are in Cn instead of our manifold M. # insert image of a local chart

Now we want to talk about tangents on our manifold. There are three possible tangent space we could consider:

  1. The real tangent space TR,pM is all the real directions along our manifold, imagine a real hyperplane lying tangent to the space.
  2. The complex tangent space TC,pM is all the complex directions along our manifold, imagine a complex hyperplane lying tangent to the space.
  3. The holomorphic tangent space TpM is all the holomorphic directions along our manifold, so that the differentials vanish on antiholomorphic functions.