Alphabeta Math
LemmaStatement: Literature-sourcedProof: Literature-sourcedPipeline-generated
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 (f,X) be Morse--Smale on a closed manifold, with X downward gradient-like in the normalized Morse-coordinate sense, and let λ(p)−λ(q)=2. 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 sign⁡∂(γ1,γ2)=−ϵ(γ1)ϵ(γ2). 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 r, where k=λ(r)=λ(p)−1.

[A1]

AC supplies the compactness and orientation suppliers (The Axiom of Choice, AC implies DC implies countable choice).

[F1]

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).

[F2]

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).

[F3]

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 ϵi=ϵ(γi) (Unstable orientations induce orientations of the trajectory moduli spaces, Product orientations).

[F4]

An outward vector first defines the boundary orientation; in a half-interval coordinate s≥0, the outward direction is −∂s (Induced boundary orientation, Boundary orientation is independent of the outward vector field).

[F5]

In normalized Morse coordinates at r, f=f(r)−∣u∣2+∣v∣2 and X=2u∂u−2v∂v; the local stable and unstable disks are u=0 and v=0 (Downward gradient-like vector fields for a Morse function, Local stable and unstable manifolds at a Morse critical point).

[F6]

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).

[F7]

Morse--Smale stable and unstable manifolds intersect transversely; finite-time flow maps are smooth diffeomorphisms (Morse--Smale pairs, The fundamental theorem on flows).

Proof

technique · direct, by ordered determinants in the radial passage chart
1.1givenF5F6F7constructalgebra

Choose entry and exit levels f(r)±ε in the chart of [F5]. The incoming sheet of Wu(p) in the entry level is a k-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 u-space. By [F6] it is D={(u,h(u))}, with ∣h(u)∣2=ε+∣u∣2. Integrating [F5] gives (u,v)↦(e2tu,e−2tv); writing u=sθ and g=h/∣h∣, its passage image is H(s,θ)=(ε+s2θ,sg(sθ)). This extends smoothly to s=0. There ∂sH=(0,g(0)) is nonzero and independent of the angular derivatives, which span the unstable sphere. For s≥0 its parameters are recovered by s=∣v∣ and θ=u/∣u∣, so its image Q is an embedded collar of that sphere.

2.1F2F6F7step 1.1

At the outgoing crossing, the stable slice of q has codimension λ(q)=k−1 in the exit level. Transversality of Wu(r) and Ws(q), after removing their common flow line, says that its defining equations restricted to the unstable sphere have invertible angular derivative. Extend H to negative s locally and apply [F6] to obtain a unique smooth solution θ=θ(s); for k=1 there are no angular equations. Thus Q∩Ws(q) is a smooth half-interval H(s,θ(s)) transverse in Q. For s>0 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.

2.2A1F3F7step 1.1algebra

Orient the u-space by orr. At the incoming crossing, [F3] gives orp=ϵ1(Xin,orr), since the normal quotient to Ws(r) is the u-space. Removing the positive flow direction orients D as ϵ1orr. Write σ for the sphere orientation with (positive radial direction,σ)=orr; then polar coordinates orient D as ϵ1(∂s,σ) for s>0. Flow passage preserves this slice orientation: its derivative is DΦt plus a multiple of X, and the added term disappears in the quotient by X. Hence Q has orientation ϵ1(∂s,σ), extending nonvanishingly to s=0 in the embedding of step 1.1.

3.1F3step 2.1step 2.2algebra

At the outgoing crossing the positive flow direction on Wu(r) is positive radial. If Nq is the oriented normal quotient to Ws(q), [F3] gives orr=ϵ2(Xout,Nq). Thus σ maps to ϵ2Nq in that quotient. Step 2.1 yields orQ=ϵ1ϵ2(∂s,Nq) at the boundary. The kernel-first exact sequence for the transverse intersection in step 2.1 therefore orients its tangent as ϵ1ϵ2∂s; a lift tangent to the solution curve differs from ∂s by angular directions, which do not change this determinant. For s>0 this agrees with the flow-first moduli orientation, because the ordered splittings of TWu(p) are (X,Q) and (X,TM(p,q),Nq).

4.1F1F4step 3.1∎

The orientation in step 3.1 extends nonvanishingly to every collar endpoint of [F1]. Comparing its positive tangent ray ϵ1ϵ2∂s with the outward ray −∂s in [F4] gives boundary sign −ϵ1ϵ2. 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 M was used.

Depends on

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