11
$\begingroup$

Let $M_1,M_2$ be two simply connected, connected, compact smooth manifolds without boundary and of the same dimension. Assume that $\mathfrak{X}(M_1)\cong \mathfrak{X}(M_2)$ as Lie algebras.

Question. Are $M_1$ and $M_2$ diffeomorphic?

This seems like a basic question but I did not find anything on Google.

$\endgroup$
1
  • 10
    $\begingroup$ For some context I can say that (abstract) diffeomorphism group determines compact manifold uniquely; of course, this has only very tangential relation to the question. $\endgroup$
    – Denis T
    Dec 7, 2022 at 6:41

1 Answer 1

11
$\begingroup$

The answer is yes, and the assumptions "simply connected" and "compact" are actually unnecessary.

In fact, it is possible to reconstruct any smooth manifold $M$, up to diffeomorphisms, by using the subalgebra $\mathfrak{X}_0(M)$ of vector fields with compact support. See

Shanks, M. E.; Pursell, Lyle E., The Lie algebra of a smooth manifold, Proc. Am. Math. Soc. 5, 468-472 (1954). ZBL0055.42105, JSTOR.

$\endgroup$
6
  • 1
    $\begingroup$ Can we reconstruct differentiable maps from maps of Lie algebras, or is this passing to Lie algebras fully faithful? $\endgroup$
    – Z. M
    Dec 7, 2022 at 9:59
  • $\begingroup$ Surely, a isomorphism $\Phi$ of Lie Algebras (of vector fields) induces a diffeomorphism $\varphi$ between the two manifolds such that $\Phi = d \varphi$. $\endgroup$ Dec 7, 2022 at 10:14
  • 1
    $\begingroup$ I am asking slightly more generally – any maps, instead of isomorphisms. $\endgroup$
    – Z. M
    Dec 7, 2022 at 10:25
  • $\begingroup$ Yes, I understand. I do not know, I should check the proof. $\endgroup$ Dec 7, 2022 at 10:35
  • 1
    $\begingroup$ @Z. M: It's not a functor, so it's not clear what your question would mean. $\endgroup$ Dec 7, 2022 at 12:52

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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