How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Dual handle presentations of a genus-g surface
Example
Assume . The closed orientable surface has a presentation with one -handle, -handles and one -handle. Its dual presentation has one -handle (the dual of the original -handle), -handles (self-dual) and one -handle (the dual of the original -handle); for the dual presentation of the two-handle sphere is the same pair of handles read in reverse order. The example verifies the index exchange of the duality theorem in the surface case.
Facts & Assumptions
Given: and ; construct by successively adding punctured-torus pieces to a disk and capping the remaining boundary.
Morse functions and handle decompositions correspond: Assume . An adapted excellent Morse function on a compact triad determines a handle decomposition relative to the incoming face with exactly one handle of index per critical point; conversely each finite handle presentation is realized by an adapted excellent function of the same handle indices.
Index zero handles create components and Index n handles cap boundary spheres: a -handle attaches along the empty set and adds a disjoint -disk; a -handle on a surface attaches along a circle and caps it.
Dual handle decomposition: the dual of a presentation relative to is the presentation of the reversed triad relative to with the same handle bodies and exchanged disk factors, in reverse order; a -handle becomes an -handle and attaching and belt spheres are interchanged.
Handle duality from negating a Morse function: Assume . If is adapted excellent on a compact triad then is adapted excellent on the reversed triad with indices at the same critical points, and its handle decomposition is the dual one.
Under , Every smooth manifold admits a riemannian metric supplies a background metric, Morse lemma supplies the quadratic critical charts, A manifold bump for a compact set inside an open set supplies finite chart cutoffs, and Compactly supported smooth vector fields are complete makes a compactly supported smooth field on a boundaryless carrier complete.
Verification
Start with a disk. In each of repetitions, attach an orientable band along two arcs of the current single boundary circle so that the boundary splits into two circles; attach a second orientable band between these two circles. The boundary is again one circle and the surface has acquired one punctured-torus piece. This is the usual genus- orientable surface with one disk removed. Capping its final circle gives , using exactly one disk, bands and one cap.
Read the disk, the bands and the cap as handles of indices . By [F1] the resulting finite handle presentation is realized by an adapted excellent with one minimum, saddles of distinct values and one maximum. No arbitrary embedded height function is being assumed excellent or already in the adapted range. For the construction is two disks glued along their circle.
Patch a background metric from [F8] to Euclidean metrics in smaller disjoint Morse charts of the realizing function of step 2.1, using the finite chart cutoffs. Its negative gradient is strictly descending off the critical points and equals in these charts. It is complete by [F8] because the closed surface is compact. Thus it is an adapted field, and [F4] applies to this pair. The negated function is adapted excellent with the same critical points, and the indices are exchanged by : the maximum of has index for , the saddles keep index , and the minimum of has index for (this is the general fact that negating a function changes the index of a nondegenerate critical point from to , here ). By [F1] applied to , the dual presentation has one -handle, -handles and one -handle.
Identify the handles of the two presentations through [F3]: the dual -handle is the original -handle, the one-handles are self-dual since , and the dual -handle is the original -handle; the order of attachment is reversed and attaching and belt spheres are interchanged. For this says that the dual presentation of the sphere's two-handle presentation is the same pair of handles read in reverse order, which agrees with the explicit picture of two disks glued along their boundary circle.
The index exchange is verified in every surface degree: and , so no handle of the dual presentation has an index outside and the numbers of handles of each index are in both presentations. This is exactly the surface case of the duality theorem.
Depends on
- Dual handle decomposition
- Handle duality from negating a Morse function
- Morse functions and handle decompositions correspond
- Index zero handles create components
- Index n handles cap boundary spheres
- Every smooth manifold admits a riemannian metric
- Morse lemma
- A manifold bump for a compact set inside an open set
- Compactly supported smooth vector fields are complete
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
48 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- C. T. C. Wall, Differential Topology (Cambridge Studies in Advanced Mathematics 156), Sections 5.1-5.4, printed pp. 129-148 (standard reference, not scraped)
- John Milnor, Lectures on the h-Cobordism Theorem (notes by L. Siebenmann and J. Sondow), Sections 2-4, printed pp. 10-48 (standard reference, not scraped)