4
$\begingroup$

I am taking a course in complex manifolds, heavily influenced by Huybrechts' book "Complex Geometry", and in it we define a complex manifold $X$ to be a smooth, real manifold $M$ together with an equivalence class of holomorphic charts. As far as I can see, there is no compatibility condition on the two atlases.

My question is: Why do we do this? Is this definition useful?

Since holomorphic functions are smooth when considered as real functions, any complex atlas should define a real atlas, so assuming that the manifold already has a real atlas seems superfluous. I suppose this means that as a topological space the manifold is Hausdorff and second-countable, but to me it would seem nicer to just define a complex manifold as such a topological space with a holomorphic atlas. This is the approach taken in a Riemann surfaces course I have attended previously, and just after the definition in his book, Huybrechts mentions that we could use this approach to define complex manifolds. It seems then that the definition as given must have been, at least to him, somehow preferable.

Moreover, I know that in the real case there are topological spaces that have several different smooth structures ($S^7$ is such an example) so if we don't assume that the complex and real atlases are compatible, I'm not sure how we could use real atlas to do anything useful since there is not in general a single choice of real atlas for each complex manifold. If we do assume compatibility, then what's the point of requiring it in the definition instead of just mentioning it as a consequence?

$\endgroup$
  • 4
    $\begingroup$ I agree that it's superfluous. Maybe he just wanted to emphasize that there's a forgetful functor to smooth real manifolds. $\endgroup$ – Qiaochu Yuan Jan 28 '15 at 9:46
  • $\begingroup$ You can also have almost-complex manifolds. $\endgroup$ – Orest Bucicovschi Jan 28 '15 at 12:51
4
$\begingroup$

That definition is plain bad.
Good students are in general very modest and when they stumble across a difficulty they think it is their fault.
This is often not true: the greatest mathematicians, I'm thinking of Grothendieck for example, have made real mathematical mistakes.
Bad choices in definitions, false statements, inelegant proofs, etc. are very common in the mathematical literature: if you see one such, do consider that you might be right and the author wrong.

As an application of the above I invite you to convince yourself that definition 2.3.5, page 78 of the same book is nonsensical.
[By the way, I bought the book because I find it instructive and interesting.
This is not a contradiction: even excellent books should be read with a critical mind!]

$\endgroup$
  • $\begingroup$ Thanks for the answer, it's very reassuring! And I do agree about the book, I have found it in general (so far) very enlightening but with the occasional quirk. $\endgroup$ – Tom Oldfield Jan 28 '15 at 18:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.