31
$\begingroup$

Hello, I'm wondering if there is a standard reference discussing the least number of charts in an atlas of a given manifold required to describe it.

E.g. a circle requires at least two charts, and so on (I couldn't manage to get anything relevant neither on wikipedia nor on google, so I guess I'm lacking the correct terminology).

Edit: in the case of an open covering of a topological space by n+1 contractible sets (in that space) then n is called the Lusternik-Schnirelman Category of the space, see Andy Putman's answer. The following book seems to be the standard reference http://books.google.fr/books?id=vMREfNN-L4gC&pg=PP1

Great, now I'm still interested by the initial question: does anybody know of another theory without this contractibility assumption (hoping that it allows more freedom)? e.g. would it lead to different numbers say for genus-g surfaces?

Final edit: yes different numbers for genus-g surfaces (see answers below), but not sure there is a theory without contractibility. Right, really lots of interesting literature on the LS category nevertheless, hence the accepted answer. For example there are estimates for non-simply connected compact simple Lie groups like PU(n) and SO(n) in Topology and its Applications, Volume 150, Issues 1-3, 14 May 2005, Pages 111-123.

Improve this question
$\endgroup$
1
  • $\begingroup$ Let $X$ be the manifold in question, would $\sup_{n\in \mathbb{N}}\,\inf\{\#G: \, G\subseteq \pi_n(X)\, <G>=\pi_n(X)\}$ upper-bound the number of charts? $\endgroup$
    – ABIM
    Nov 25, 2021 at 12:45

6 Answers 6

Reset to default
15
$\begingroup$

It's not quite the same thing, but a related object is the Lyusternik–Schnirelmann category of a topological space. See

http://en.wikipedia.org/wiki/Lyusternik-Schnirelmann_category

Improve this answer
$\endgroup$
2
  • 1
    $\begingroup$ Is there some reason this has the same name as the "category" that has objects and morphisms, or is this purely a case of the same English word getting used for two mathematical objects? $\endgroup$
    – Michael Lugo
    Oct 26, 2009 at 14:34
  • 5
    $\begingroup$ The concepts are unrelated. The notion of the L-S category predated the "category-theoretic" notion of a category. I suspect that its inspiration comes from the Baire category theorem. $\endgroup$
    – Andy Putman
    Oct 26, 2009 at 14:47
20
$\begingroup$

To answer your last question, the least number of charts needed to cover any orientable 2-manifold is 2. Consider the usual embedding of an orientable surface Σ in R3 which is symmetric across the plane z = 0 (as shown here), and let ε > 0 be sufficiently small. The open subsets Σ ∩ {z > -ε}, Σ ∩ {z < ε} form a covering of Σ by charts: by Morse theory Σ ∩ {z > -ε} is diffeomorphic to Σ ∩ {z > ε}, which is diffeomorphic to an open subset of R2 by projecting onto the xy-plane.

Improve this answer
$\endgroup$
2
  • 1
    $\begingroup$ Note that the two open sets in Reid's answer may not be made contractible in general. Indeed, for orientable 2-manifolds, 3 contractible sets are required, except for S^2, where 2 are required. $\endgroup$
    – j.c.
    Oct 26, 2009 at 17:53
  • $\begingroup$ Yeah, I figured out after asking, so really the LS category measures something different, thanks! $\endgroup$
    – Thomas Sauvaget
    Oct 26, 2009 at 18:06
15
$\begingroup$

I do not know if the following exactly answers your question.

I have found on the second page of Michor "Topics in Differential Geometry": "Note finally that any manifold $M$ admits a finite atlas consisting of $\dim{M}+1$ not connected charts. This is a consequence of topological dimension theory [cf. Nagata, Modern Dimension Theory]; a proof for manifolds may be found in [cf. Greub, Halperin, Vanstone, Connections, curvature and cohomology.I]."

I hope to have been useful.

Improve this answer
$\endgroup$
2
  • $\begingroup$ Yes, sounds like interesting references, and the result is intuitively satisfying, thanks! I'll try to find a library that has them... $\endgroup$
    – Thomas Sauvaget
    Feb 5, 2011 at 21:19
  • $\begingroup$ Not connected charts? What does this mean and if the charts are disconnected why can't we just view them a single disconnected chart i.e.: $\phi: \bigsqcup \mathbb{R}^{\dim(M)}\hookrightarrow M$ (assuming this is what is meant by a disconnected chart). $\endgroup$
    – ABIM
    Nov 10, 2021 at 2:52
12
$\begingroup$

After "dimension" this is the most basic numerical invariant of a manifold and the least explored. I found this reference some years ago: I. Bernstein, "On Imbedding Numbers of Differentiable Manifolds", Topology, Vol. 7, pp. 95-109.

Improve this answer
$\endgroup$
1
7
$\begingroup$

Orthogonal question: Does the (minimum) number of charts needed to describe a manifold tell you anything about the manifold?

Improve this answer
$\endgroup$
3
  • $\begingroup$ Is this appropriate as an answer? I would have commented on the question if I had the rep. $\endgroup$
    – Sonia Balagopalan
    Oct 26, 2009 at 16:15
  • 3
    $\begingroup$ For the L-S category, having an upper bound on the category can bound the complexity of your manifold (e.g. in terms of cohomology) from above $\endgroup$
    – j.c.
    Oct 26, 2009 at 17:31
  • 1
    $\begingroup$ The L-S category gives a lower bound on the number of critical points of a functional on your manifold. That's the big abstract theorem that Lusternik and Schnirelmann proved. $\endgroup$
    – Jeff Strom
    Jul 29, 2010 at 13:38
5
$\begingroup$

I believe that Cech cohomology could yield the sort of answer you're looking for (at least in the contractible case). The general idea is that it computes cohomology based on nothing but the so-called "incidence data" of a good cover (that is, which n-fold intersections of open sets in the cover are nonempty) -- in fact, a n-chain is nothing more than a formal sum of (nonempty) (n+1)-fold intersections, with R coefficients. Of course, this cohomology theory is usually isomorphic to singular cohomology, de Rham cohomology, et al. (in particular, they agree in the case of manifolds). So if your manifold has a high h1=rank(H1), for example, then there must be lots of different 2-fold intersections to generate H1, and also if your manifold has nonzero Hk then there must exist a (k+1)-fold intersection of sets in the open cover, which means that you must have at least that many sets in any good cover. (Note that if M is a k-dimensional orientable manifold, then Hk(M)=R by Poincare duality.)

Improve this answer
$\endgroup$
2
  • 1
    $\begingroup$ Cech cohomology is too weak to give a full answer, though, because it only gives you a bound on how to cover a space such that all nonempty intersections are contractible, rather than just the individual open sets themselves. For example, a sphere S^n can be covered by 2 contractible sets, even though it takes n+1 to give a good cover. Also, you could have an acyclic space where you see no cohomological obstructions to the space itself being contractible, but \pi_1 is nonzero so you certainly need at least two contractible sets to cover. $\endgroup$
    – Eric Wofsey
    Oct 26, 2009 at 19:48
  • $\begingroup$ Right. (I also just realized that my last statement is clearly false; e.g., the unit disk has trivial cohomology.) But maybe there's a weaker Cech-ish cohomology that can address this anyways. What happens if we work with a complex where only the individual open sets must be contractible? It seems possible that there's a statement along the lines of "the cohomology of this complex injects into the cohomology of a good cover", and maybe we could get a lower bound on the difference in rank (based on higher-dimensional cohomology of M and/or the cohomology of the nonempty intersections...?). $\endgroup$
    – Aaron Mazel-Gee
    Oct 27, 2009 at 5:03

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.