# What is a Manifold?

Now we always encounter definition of a manifold from a mathematical point of view where it is a topological space along with a family of open sets that covers it and the same old symphony. My question is from your own expertise and from what you have learned and taught to day, how can we get a deeper understanding to what's a Manifold? Maybe from a more physics-point of view?

• I use this: a manifold is a space that is locally Euclidean, but globally might be complicated, e.g. a torus or sphere, or etc. This may be overly naive, and I look forward to objections and clarifications. Mar 19, 2015 at 19:24
• A space in which you can formulate laws of motion of quantities within it - laws which are equivalently valid from an infinite family of perspectives, which are smoothly related. Mar 19, 2015 at 19:27
• How the heck has this not been closed as off-topic? Mar 20, 2015 at 22:53
• @PhilosophicalPhysics If sticking "from a physics point of view" makes math questions on-topic, then I'd argue that we should just assume that all math questions posted here are asking for a physics perspective and not require people to type the extra words. Mar 21, 2015 at 4:15
• As an aside: I find it funny---and distinctly physicsy---that everybody leaves out the topological aspects of manifolds, even though topological (i.e. non-differentiable) manifolds are objects of interest in their own right (at least in mathematics)
– Danu
Mar 22, 2015 at 23:44

G. Bergeron's answer is good and gives sound advice. However, as you grapple with the modern manifold concept, it may help you to know some of the history behind the idea, so that you can see it some of the more seemingly abstract parts of it didn't come out of nowhere and emphasise G. Bergeron's quote

The rigorous mathematical definition is not there to annoy or obfuscate.

The modern notion was fully finished in the 1940s by Hassler Whitney. Before that, there were two notions of manifold floating around, which mathematicians suspected ultimately described the same notion at some level, but it fell to Hassler Whitney to prove it. Firstly, there was a more obvious, less abstract one of a smoothly constrained subset of $$\mathbb{R}^N$$, thus one thought of a geometric object as being embedded in a higher dimensional Euclidean space: a 2 sphere defined by the constraint $$x^2+y^2+z^2=1$$, for example. So, instead of a collection of patches (charts), we have a kind of global superchart that is a constraint like the one I've just cited. Then there was the modern definition: I love user garyp's pithy intuitive summary:

I use this: a manifold is a space that is locally Euclidean, but globally might be complicated, e.g. a torus or sphere, or etc.

This really is just about all there is too it: there really is only one background detail you need to become well acquainted with and that is the details about how the transition maps glue the patches i.e. the open sets + coordinate maps that define the local morphism - (homeo-, diffeo-, smooth diffeo- analytic diffeo-morphism- depending on what kind - topological, differential, smooth, analytic ....- of manifold we're dealing with) together. Whilst these may seem dense and abstract they have a simple and easily stated purpose: to make sure that the "gluing" is "seamless" i.e. that assertions you prove or true statements you make with one co-ordinate map are true with any other co-ordinate map that applies to an overlapping region and contrariwise. I personally also like to think of the overlapping mechanism (i.e. why a manifold is a collection of overlapping patches rather than a partitioned set) as an abstraction of a concrete - and Copernican - physical notion: no seafarer expects to come against a wall in the middle of the ocean just because his or her chart gives out. The chart edges are an artifact of our description, not the actual mathematical object. So there should always be an equally good description with no wall at the place in question. Also, there is the mathematical practicality that you want every point of the manifold to be inside and not on the edge of some set, particularly if you're doing calculus or differential geometry. You want a one-size-fits all, seamless, definition: you don't want to have to be dealing with onesided limits at edges of a partition.

I suspect that the modern notion had at least some boost from physics (classical at least): once GTR came along with its fundamental notions of locality, you really do need to switch to a local definition. In principle one could imagine GR done on some object embedded in a higher dimensional Euclidean space, but think of all the redundant, non-physical information you'd have to grapple with. The embedding defines the manifold as a relationship between it and its complement in the higher dimensional space and the latter, as far as we know, has no physical interpretation. GR already has quite enough redundancy to grapple with and an embedded-in-Euclidean space theory would probably be utterly intractable. It would, at the very least, be a great deal more complicated.

The two historical notions of manifold were united by the Whitney Embedding Theorem, achieved through the famous Whitney Trick (summarized in the Wiki article). The second, more interesting from a GR standpoint, is the Nash Embedding Theorem. Both these show that we can embed any manifold defined by the modern notion in a higher dimensional Euclidean space (or Minkowski space, in the case of a pseudo-Riemannian manifold such as described by GTR). The Nash theorem shows we can do this isometrically. The practicalities of these powerful sounding theorems though are formidable and thorny: you may need to use a $$2 m$$ dimensional Euclidean / Minkowski space to Whitney-embed an $$m$$ dimensional manifold in. The Nash theorem is "even worse": an $$m$$ dimensional manifold may need as high as $$m(3m+11)/2$$ Euclidean dimensions if it is compact. If it is not compact, you really draw the short straw as you may need to go to $$m(m+1)(3m+11)/2$$ Euclidean dimensions. These are saturable bounds: you can be lucky in special cases and need fewer.

• This could not be stated nicer. I have one question though, where did the idea of embedding in higher dimensions come from?
– PhilosophicalPhysics
Mar 20, 2015 at 16:53
• @PhilosophicalPhysics I really think it was simply the most intuitive notion, when people began dealing with geometric objects through an "analytical" style geometry. You might like to put a question to history of science SE. Wulf Rossmann touches on this approach in his differential geometry notes mysite.science.uottawa.ca/rossmann/… , where he shows that the Levi-Civita connexion simply arises from projecting one tangent space onto its neighbours through the embedding and renormalising the projected unit vectors. I believe Cartan though about .... Mar 20, 2015 at 22:31
• ...this in his early days: curvature was thought by geometers in the 2D manifold case as arising from the parallel transport one gets by pure rolling without slipping motion of the tangent space on the manifold's surface. I have meant to read the original docs (like Riemann's work) for a number of years but have not yet done so, so all this is second hand: Riemann furthered differential geometry greatly and is the originator of the word "Manifold" (in German "mannigfaltigkeit" (f)). Mar 20, 2015 at 22:36

A manifold is before all a mathematical object. As such, any deeper understanding of a manifold per se will be gained from a rigorous mathematical study of the object. From a physics point of view, manifolds can be used to model substantially different realities: A phase space can be a manifold, the universe can be a manifold, etc. and often the manifolds will come with considerable additional structure. Hence, physics is not the place to gain an understanding of a manifold by itself.

The rigorous mathematical definition is not there to annoy or obfuscate, it is to ensure that the object is well defined and have a structure that is also well defined, from which we can derive theorems and intuitions. The connection with physics happens when a particular mathematical abstract object reflects the structure of the physical concepts under scrutiny. From there, we construct model using these mathematical objects to represent a physical concept in the mathematical model.

That being said, I would say the closest to an answer I can give to your question is that manifolds are the mathematical objects representing the intuitive notion of geometrical spaces. A topological space is too weak in that respect and goes a bit beyond common sense intuition, while a smooth manifold is the correct object when talking about the idea of a space which you would want to parametrize with coordinates (at least locally), but even then, a rigorous study shows you that these ideas cannot be worked with too naively.

• I think this is a nice response, but it would be a much more complete answer if you included the mathematical answer imho Mar 19, 2015 at 20:16
• Maybe you are right. I was under the impression that the OP was asking for something beyond the mathematics.
– G. Bergeron
Mar 19, 2015 at 20:28
• Thank you PhotonicBoom I was trying to write the same thing before I noticed your comment. I was trying to get the Physics but your nice point @G.Bergeron made me want to ask you to write a little more mathematics in that because of the good impression your answer gave.
– PhilosophicalPhysics
Mar 19, 2015 at 20:35
• I have added a paragraph and will try to develop the idea when I have more time later today.
– G. Bergeron
Mar 19, 2015 at 20:40
• Thank you we will be waiting for your new EDIT. @G.Bergeron
– PhilosophicalPhysics
Mar 19, 2015 at 20:43

As others have mentioned, a manifold is a mathematical thingamajig that often has physical significance. Since you have tagged this as differential geometry, I'll assume you're talking about smooth manifolds.

The essential idea is that, if you are an itty-bitty person living in the manifold, then you wouldn't be able to distinguish between your surroundings and some Euclidean space. The cool thing about this is, since a manifold looks like Euclidean space locally, we can introduce coordinates locally.

Formally, a smooth manifold is a pair $(M,\mathscr{A}_M)$ (though we usually omit mention on $\mathscr{A}_M$) such that $M$ is a second-countable Hausdorff locally Euclidean space (This just means that the underlying topological space is relatively pleasant to work with even without manifold structure, i.e. these conditions imply $M$ is metrizable, paracompact, etc.) and $\mathscr{A}_M$ is a maximal collection of homeomorphisms $\{\varphi_\alpha:U_\alpha\to\mathbb{R}^{n_\alpha}\}$, where $U_\alpha\subseteq M$ and $n_\alpha\in\mathbb{Z}$ for each $\alpha$, such that, whenever $U_\alpha\cap U_\beta\neq\emptyset$, $$\phi_\beta\circ\phi_\alpha^{-1}|_{\phi_\alpha(U_\alpha\cap U_\beta)}$$ and $$\phi_\alpha\circ\phi_\beta^{-1}|_{\phi_\beta(U_\alpha\cap U_\beta)}$$ are smooth maps in the usual sense. Each element of $\mathscr{A}_M$ is called a chart, and $\mathscr{A}_M$ itself is called an atlas.

As you might guess, a chart acts exactly like a chart does in the usual sense: it takes a portion of the manifold and puts it into coordinates. Specifically, if $x:U\to\mathbb{R}^n$, then a point $p\in U$ can be written in coordinates as $x(p)=(x^1(p),x^2(p),\,\dots\,,x^n(p))$. On $\mathbb{R}^n$, we typically take $U=\mathbb{R}^n$ and $x=\operatorname{id}_{\mathbb{R}^n}$.

If you want intuition, try working with Euclidean spaces and spheres. Other than countable (discrete) manifolds, these are the simplest to work with. All in all, a smooth manifold is essentially "a locally nice space that we can do calculus on."

• Hey, finally someone who bothered to actually give the definition! +1
– Danu
Mar 22, 2015 at 23:52
• @Danu: Why is that a plus? A physics-point of view was explicitly asked for. Mar 23, 2015 at 9:04
• Let us continue this discussion in chat. I will delete my comments to avoid cluttering.
– Danu
Mar 23, 2015 at 12:09

An intuitive picture and one that just takes a few lines is that it's a space that is locally flat, ie like a Euclidean space.

This is what we need to do calculus on the manifold; and one of the reasons why it was invented.

We actually need more; if the transition maps (between charts) are smooth, we have a smooth manifold; if they are continuous then we have a topological manifold.

We also need less, to exclude pathological examples; this is why second-countability is applied - to remove the long line; and hausdorffness, to remove the the line with two origins.

One could contrast it with a different notion of space, for example a scheme (from algebraic geometry) where the space is locally affine (meaning it looks like a ring when it's considered as a space); this means that locally, space differs from one point to another.

• Thank you for your answer. What do you mathematically or physically (or hopefully both) mean by the word "smooth"? Oct 4, 2015 at 23:09
• @philosophicalphysics: a good intuitive picture is to contrast smooth against rough; a smooth line would be something like a straight line, a rough one would be something like a fractal; and this can be made precise - a smooth line is straight when looked at a small enough scale, but a fractal is never straight no matter how closely you look at it. Oct 14, 2015 at 17:55
• This generalises to higher dimensions, for example contrast the flat plane vs the fractal plane; BTW it's usually considered good site citizenship to upvote an answer you like ... :). Oct 14, 2015 at 17:57
• thank you, but still, how does what you just mentioned translate physically and mathematically? Oct 20, 2015 at 13:38

As Bronstein and others have put it in Geometric deep learning: going beyond Euclidean data (Read the article here)

Roughly, a manifold is a space that is locally Euclidean. One of the simplest examples is a spherical surface modeling our planet: around a point, it seems to be planar, which has led generations of people to believe in the flatness of the Earth. Formally speaking, a (differentiable) d-dimensional manifold X is a topological space where each point x has a neighborhood that is topologically equivalent (homeomorphic) to a d-dimensional Euclidean space, called the tangent space.