Manifold Study Guide

📖 Core Concepts Manifold – A space that locally looks like an open set of $\mathbb{R}^n$. The integer $n$ is the dimension. Topological manifold – Hausdorff, second‑countable space with a neighbourhood of every point homeomorphic to an open subset of $\mathbb{R}^n$. Chart – A homeomorphism $\varphi:U\subset M\to V\subset\mathbb{R}^n$ (continuous inverse; differentiable for smooth manifolds). Atlas – A collection of charts whose domains cover $M$. Maximal atlas – The unique atlas containing all charts compatible with a given smooth structure. Transition map – On an overlap $U\cap U'$, $\varphi'\!\circ\!\varphi^{-1}: \varphi(U\cap U')\to\varphi'(U\cap U')$; must be smooth (or holomorphic, symplectic, etc.) according to the extra structure. Differentiable (smooth) manifold – Atlas whose transition maps are $C^\infty$. Allows calculus, tangent spaces, differential forms. Tangent space $TpM$ – Set of velocity vectors of curves through $p$; an $n$‑dimensional vector space. The union $TM$ is the tangent bundle (dimension $2n$). Riemannian manifold – Smooth manifold with a smoothly varying inner product $gp(\,\cdot\,,\,\cdot\,)$ on each $TpM$. Gives lengths, angles, distances, geodesics. Lie group – A smooth manifold equipped with a group structure such that multiplication and inversion are smooth maps. --- 📌 Must Remember Topological manifold definition: second‑countable + Hausdorff + locally homeomorphic to $\mathbb{R}^n$. Dimension is a topological invariant – all points of a connected manifold share the same $n$. Smooth structure ≠ unique – e.g. $S^4$ admits exotic smooth structures; $S^n$ is unique for $n\neq4$. Whitney embedding theorem: any smooth $n$‑manifold embeds in $\mathbb{R}^{2n}$ (immersion in $\mathbb{R}^{2n-1}$). Euler characteristic: $\displaystyle\chi=\sum{k=0}^{n}(-1)^k bk$; for closed orientable surfaces $\chi=2-2g$. Orientability ⇔ vanishing first Stiefel‑Whitney class $w1=0$. Boundary definition: interior points ↝ open ball in $\mathbb{R}^n$; boundary points ↝ half‑ball. The boundary itself is an $(n-1)$‑manifold without boundary. Riemannian length of curve: $L(\gamma)=\inta^b\sqrt{g{\gamma(t)}(\dot\gamma,\dot\gamma)}\,dt$. Geodesic equation: $\nabla{\dot\gamma}\dot\gamma=0$ (Levi‑Civita connection). --- 🔄 Key Processes Building an atlas Choose open sets $\{Ui\}$ covering $M$. Construct homeomorphisms $\varphii:Ui\to Vi\subset\mathbb{R}^n$. Verify smoothness of all transition maps $\varphij\!\circ\!\varphii^{-1}$ on overlaps. Computing a tangent space Pick a curve $\alpha(t)$ with $\alpha(0)=p$. Define $v = \left.\frac{d}{dt}\right|{0}\varphi(\alpha(t))\in\mathbb{R}^n$. The equivalence class of such curves gives $v\in TpM$. Forming a product manifold Given $M^m$ and $N^n$, set $M\times N$ with charts $(\varphi,\psi):U\times V\to\mathbb{R}^{m+n}$. Dimension adds: $\dim(M\times N)=m+n$. Quotient construction Start with a free, properly discontinuous group action $G\curvearrowright M$. Form $M/G$; the quotient inherits a manifold structure if the action respects charts. Computing geodesic length & distance For a curve $\gamma$, evaluate $L(\gamma)$ via the Riemannian metric. Distance $d(p,q)=\inf\{L(\gamma)\mid\gamma\text{ joins }p\text{ to }q\}$. --- 🔍 Key Comparisons Topological vs. Differentiable manifold Topological: only continuous charts, no smoothness requirement. Differentiable: transition maps must be $C^\infty$. Immersion vs. Embedding Immersion: differential is injective everywhere (locally looks like an embedding). Embedding: immersion + homeomorphism onto its image (global “no self‑intersection”). Orientable vs. Non‑orientable Orientable: consistent choice of orientation; $w1=0$. Non‑orientable: cannot assign a global volume form (e.g., Möbius strip). Manifold with boundary vs. without boundary Boundary points: neighbourhood ≃ half‑ball $\{xn\ge0\}$. Interior points: neighbourhood ≃ full open ball. Riemannian vs. Finsler manifold Riemannian: inner product on each $TpM$ → angles defined. Finsler: only a norm $Fp$ on $TpM$ → no canonical angles. --- ⚠️ Common Misunderstandings “Every topological manifold is automatically smooth.” – Not true; smooth structures may not exist or may be non‑unique. “Manifolds must be embedded in some $\mathbb{R}^n$.” – Intrinsic definition via charts does not require an ambient space; Whitney guarantees an existence of an embedding, not a necessity. “The dimension can vary from point to point.” – For a pure manifold the dimension is constant; otherwise the space fails to be a manifold by definition. “Euler characteristic is always positive.” – Surfaces of genus $g\ge1$ have $\chi\le0$; odd‑dimensional closed orientable manifolds have $\chi=0$. “Holomorphic transition maps imply a smooth manifold.” – Holomorphic ⇒ smooth, but a complex manifold carries extra structure (complex charts) that a generic smooth manifold lacks. --- 🧠 Mental Models / Intuition Manifold ≈ “Rubber sheet” that can be stretched but never torn; locally you can lay a flat map (chart) on any patch. Atlas ≈ a real‑world atlas of a globe – each chart is a map of a region; transition maps are the “map‑to‑map” coordinate changes. Tangent space ≈ the best linear approximation (the tangent plane) you get by zooming infinitely close to a point. Riemannian metric ≈ a “ruler and protractor” attached to every tangent space, letting you measure lengths and angles. --- 🚩 Exceptions & Edge Cases Exotic spheres: $S^4$ admits more than one smooth structure (exotic). Non‑Hausdorff spaces: can satisfy local Euclidean condition but are excluded from the definition. Non‑second‑countable manifolds: would require uncountably many charts – also excluded. Odd‑dimensional closed orientable manifolds: always have $\chi=0$. Manifolds with boundary: the boundary itself is an $(n-1)$‑manifold without boundary. --- 📍 When to Use Which Local calculations → pick a convenient chart; express tensors in coordinates. Global geometric statements (e.g., existence of geodesics) → use the Riemannian metric and Levi‑Civita connection. Classifying surfaces → compute genus $g$ or Euler characteristic $\chi$; orientability decides sphere vs. projective plane families. Constructing new spaces → use product manifolds for “adding dimensions”, quotient by group actions for projective spaces, gluing along boundaries for cobordisms. Embedding problems → invoke Whitney (smooth) or Nash (isometric) theorems. Studying symmetry → treat the space as a Lie group or homogeneous space $G/H$. --- 👀 Patterns to Recognize “Local ≈ $\mathbb{R}^n$” appears whenever a definition mentions neighbourhood homeomorphic to an open set. Overlap ⇒ transition map: whenever two charts intersect, expect a map $\varphi'\circ\varphi^{-1}$; smoothness of this map is the only extra requirement for a smooth structure. Dimension addition in products and quotients: $\dim(M\times N)=\dim M+\dim N$, $\dim(M/G)=\dim M-\dim G$ (for free actions). Boundary detection: look for “half‑ball” neighbourhoods → point belongs to $\partial M$. Euler characteristic computation: $\chi=V-E+F$ for cell decompositions; for orientable surfaces $\chi=2-2g$. --- 🗂️ Exam Traps Confusing immersion with embedding – an immersion may self‑intersect; only an embedding is a homeomorphism onto its image. Assuming any atlas is a smooth atlas – compatibility (smooth transition maps) is required; a plain topological atlas need not be smooth. Ignoring the Hausdorff/second‑countable clauses – a space that looks locally Euclidean but fails these is not a manifold. Miscalculating Euler characteristic – forgetting to count cells correctly or applying the surface formula $\chi=2-2g$ to non‑orientable surfaces (use $\chi=2-k$ for $k$ cross‑caps). Believing every smooth manifold embeds in $\mathbb{R}^n$ – Whitney guarantees embedding in $\mathbb{R}^{2n}$, not in $\mathbb{R}^n$. Mixing up holomorphic vs. differentiable transition maps – a complex manifold demands holomorphic (complex‑analytic) transitions, a stricter condition than mere smoothness. ---