Manifold - Charts Atlases Transitions

Charts, Atlases, and Transition Maps Introduction To understand what a manifold is mathematically, we need a way to describe it locally using familiar spaces like Euclidean space. The tools that let us do this are charts, atlases, and transition maps. These concepts are central to manifold theory because they provide the bridge between the abstract global structure of a manifold and local coordinate systems we can actually work with. Charts: Local Coordinates Definition: A chart (also called a coordinate chart or local coordinate system) is an invertible map from an open subset of a manifold $M$ to an open subset of Euclidean space $\mathbb{R}^n$. More formally, a chart is a pair $(U, \phi)$ where: $U$ is an open subset of the manifold $M$ $\phi: U \to \mathbb{R}^n$ is an invertible (bijective) map The map and its inverse $\phi^{-1}$ must preserve whatever structure the manifold has The Continuity/Differentiability Requirement The key phrase here is "preserve the chosen structure." What this means depends on what kind of manifold we're studying: For topological manifolds: $\phi$ and $\phi^{-1}$ must both be continuous For differentiable manifolds: $\phi$ and $\phi^{-1}$ must both be differentiable For smooth manifolds: $\phi$ and $\phi^{-1}$ must both be infinitely differentiable This requirement ensures that the manifold's structure is genuinely captured by the chart—we're not just taking any arbitrary invertible map, but one that respects the manifold's intrinsic geometry. Thinking About Charts Intuitively Imagine a sphere: while you cannot flatten the entire sphere onto a plane with a continuous map, you can flatten small regions of it (like mapping a portion near the equator). Each such flattened region, along with the map that created it, forms a chart. The chart gives us coordinates—numbers that uniquely identify each point in that region. Atlases: Covering the Whole Manifold Definition: An atlas is a collection of charts whose domains together cover the entire manifold. If we have an atlas $\{(Ui, \phii)\}{i \in I}$ on a manifold $M$, then: $$M = \bigcup{i \in I} Ui$$ In other words, every point on the manifold lies in the domain of at least one chart. Why Multiple Charts? A single chart cannot cover an entire manifold (except in trivial cases). Going back to our sphere example: you need at least two charts to cover a sphere completely. One chart might cover everything except the north pole, and another might cover everything except the south pole. Their overlap is the region around the equator. Equivalence of Atlases Here's a subtle but important point: different atlases can describe the same manifold. Two atlases are considered equivalent if their union is also a valid atlas. This means adding one chart from one atlas to another doesn't violate the structure requirements. The Maximal Atlas For any given atlas, there exists a unique maximal atlas—the largest possible collection of all charts that are compatible with the original atlas. This is the set of all charts whose transition maps (defined below) preserve the manifold's structure. In practice, we usually work with a much smaller atlas, and the maximal atlas is implicit in the background. Transition Maps: Connecting Coordinate Systems Definition: When two charts overlap, a transition map (also called a change of coordinates) describes how to convert from one chart's coordinates to the other's. How Transition Maps Work If two charts $(U1, \phi1)$ and $(U2, \phi2)$ have overlapping domains (i.e., $U1 \cap U2 \neq \emptyset$), the transition map is the composition: $$\phi2 \circ \phi1^{-1}: \phi1(U1 \cap U2) \to \phi2(U1 \cap U2)$$ Here's what this means step-by-step: Start with a point in $\phi1(U1 \cap U2)$ (coordinates in the first chart) Apply $\phi1^{-1}$ to get back to the manifold Apply $\phi2$ to convert to the second chart's coordinates The transition map shows us how a point's coordinates change when we switch from one local coordinate system to another. Structure-Preserving Transition Maps Just as individual charts must preserve structure, so must transition maps. The requirement is: For differentiable manifolds: All transition maps must be differentiable For complex manifolds: All transition maps must be holomorphic (complex differentiable) For symplectic manifolds: All transition maps must be symplectomorphisms (preserve the symplectic form) Why This Matters The conditions on transition maps ensure that the manifold's structure is globally consistent. If transition maps weren't required to preserve structure, we could glue together regions in ways that create "seams" or inconsistencies. By requiring transition maps to be differentiable (for example), we ensure that when we combine local descriptions, the resulting manifold is truly differentiable everywhere. How They Work Together These three concepts form a hierarchy: Charts give us local coordinate systems Atlases ensure we can describe the entire manifold by collecting enough charts Transition maps ensure the charts fit together consistently To define a manifold rigorously, you provide an atlas. The structure-preserving property of transition maps then guarantees that the manifold has the global structure you intend. For instance, a collection of charts with differentiable transition maps automatically yields a differentiable manifold, without needing to impose differentiability separately as an additional global condition.