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.
Boundary orientation of the compactified one-dimensional Morse moduli space
Statement
Assume the Axiom of Choice. Let be Morse--Smale on a closed manifold, with downward gradient-like in the normalized Morse-coordinate sense, and let . Choose unstable orientations, use the kernel-first intersection and flow-first quotient orientations of Unstable orientations induce orientations of the trajectory moduli spaces, and extend the latter over the compactified one-manifold. With the outward-normal-first boundary convention, every once-broken point has sign In particular the products at the two ends of every interval component are opposite. No ambient orientation is needed.
Facts & Assumptions
Given: AC, the pair, unstable orientations and a once-broken point through , where .
AC supplies the compactness and orientation suppliers (The Axiom of Choice, AC implies DC implies countable choice).
The compactification is a compact one-manifold whose boundary consists of once-broken pairs (The index-two compactification is a compact one-manifold with boundary).
Every once-broken point has a one-sided collar, smooth in its interior, whose parameter is the small entry radius (Gluing once-broken index-two trajectories: collar ends).
The intersection exact sequence is ordered kernel first and normal quotient second, and the quotient by the positive flow line is ordered flow first. The comparison signs are (Unstable orientations induce orientations of the trajectory moduli spaces, Product orientations).
An outward vector first defines the boundary orientation; in a half-interval coordinate , the outward direction is (Induced boundary orientation, Boundary orientation is independent of the outward vector field).
In normalized Morse coordinates at , and ; the local stable and unstable disks are and (Downward gradient-like vector fields for a Morse function, Local stable and unstable manifolds at a Morse critical point).
The finite-dimensional inverse and implicit-function theorems give local graphs when the relevant derivative block is invertible. For smooth equations their derivative formulas give smooth graphs by repeated differentiation (The Euclidean inverse function theorem, The Euclidean implicit function theorem with derivative formula).
Morse--Smale stable and unstable manifolds intersect transversely; finite-time flow maps are smooth diffeomorphisms (Morse--Smale pairs, The fundamental theorem on flows).
Proof
Choose entry and exit levels in the chart of [F5]. The incoming sheet of in the entry level is a -disk transverse to the stable sphere: quotienting the Morse--Smale transversality by the common flow direction gives an isomorphism from its tangent space to the -space. By [F6] it is , with . Integrating [F5] gives ; writing and , its passage image is . This extends smoothly to . There is nonzero and independent of the angular derivatives, which span the unstable sphere. For its parameters are recovered by and , so its image is an embedded collar of that sphere.
At the outgoing crossing, the stable slice of has codimension in the exit level. Transversality of and , after removing their common flow line, says that its defining equations restricted to the unstable sphere have invertible angular derivative. Extend to negative locally and apply [F6] to obtain a unique smooth solution ; for there are no angular equations. Thus is a smooth half-interval transverse in . For it represents ordinary trajectories, and its entry and exit points converge to those of the given broken pair. It is the collar end in [F2], by that collar's uniqueness and entry-radius parameter.
Orient the -space by . At the incoming crossing, [F3] gives , since the normal quotient to is the -space. Removing the positive flow direction orients as . Write for the sphere orientation with ; then polar coordinates orient as for . Flow passage preserves this slice orientation: its derivative is plus a multiple of , and the added term disappears in the quotient by . Hence has orientation , extending nonvanishingly to in the embedding of step 1.1.
At the outgoing crossing the positive flow direction on is positive radial. If is the oriented normal quotient to , [F3] gives . Thus maps to in that quotient. Step 2.1 yields at the boundary. The kernel-first exact sequence for the transverse intersection in step 2.1 therefore orients its tangent as ; a lift tangent to the solution curve differs from by angular directions, which do not change this determinant. For this agrees with the flow-first moduli orientation, because the ordered splittings of are and .
The orientation in step 3.1 extends nonvanishingly to every collar endpoint of [F1]. Comparing its positive tangent ray with the outward ray in [F4] gives boundary sign . On an oriented interval the two outward boundary signs are opposite, so the products are opposite as well. Only unstable orientations and their normal quotients were used; no orientation of was used.
Depends on
- The Axiom of Choice
- AC implies DC implies countable choice
- The index-two compactification is a compact one-manifold with boundary
- Gluing once-broken index-two trajectories: collar ends
- Unstable orientations induce orientations of the trajectory moduli spaces
- Product orientations
- Induced boundary orientation
- Boundary orientation is independent of the outward vector field
- Morse--Smale pairs
- Downward gradient-like vector fields for a Morse function
- Local stable and unstable manifolds at a Morse critical point
- The Euclidean inverse function theorem
- The Euclidean implicit function theorem with derivative formula
- The fundamental theorem on flows
Used by
Dependency tree · two levels
68 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
- Alberto Abbondandolo and Pietro Majer, Lectures on the Morse Complex for Infinite-Dimensional Manifolds, complete PDF (standard reference, not scraped)
- Udhav Fowdar, A Functional Analytic Approach to Morse Homology (UCL 4th-year project, 2016, supervised by C. Wendl), complete PDF (standard reference, not scraped)
- Michele Audin and Mihai Damian, Morse Theory and Floer Homology, Part I Ch. 3, complete author PDF (standard reference, not scraped)
- Liviu I. Nicolaescu, An Invitation to Morse Theory, 2nd ed., complete PDF (standard reference, not scraped)