Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedprecheck pass
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.

The continuation map of constant data is the identity

Statement

Assume the Axiom of Choice (The Axiom of Choice). Let (f,g) be Morse--Smale on a closed manifold M and let (fs,gs)=(f,g) for every s be the constant continuation datum from (f,g) to itself (A regular continuation datum between Morse--Smale pairs, Morse--Smale pairs). Then its continuation map (The continuation chain map) is the identity: Φk=id⁡CMk(f,g;Λ),Λ=Z/2 or Z, with the signs of Orientation lines orient the continuation moduli spaces compatibly with gluing in the integral case, using the same critical rays at the two copies of the pair. Equivalently, for critical points p≠q with ind⁡(p)=ind⁡(q) the moduli space C(p,q) of A regular continuation datum between Morse--Smale pairs is empty, and C(p,p) consists of the single constant solution at p.

Facts & Assumptions

Given: The Axiom of Choice, a Morse--Smale pair (f,g) on a closed manifold M and its constant continuation datum.

[F1]

For the constant datum, all continuation solutions are full autonomous negative-gradient curves with the prescribed limits. Their nonconstant subset consists exactly of the Morse trajectories of A Morse trajectory from one critical point to another; constant critical curves are additional solutions (A regular continuation datum between Morse--Smale pairs). The energy identity gives ∫R∣u˙∣2=f(p)−f(q), so equal endpoints force a constant curve (The continuation energy identity).

[F2]

At nonconstant solutions, regularity is the Morse--Smale transversality condition in the endpoint fibre-product description. At the constant solution up, the operator is d/ds+Hp, with Hp the invertible self-adjoint Hessian endomorphism; its decaying negative- and positive-end spaces are the complementary negative and positive Hessian subspaces, so it is onto by Fredholm index and range of an asymptotically hyperbolic first-order operator. Thus the constant datum is regular. For a regular datum the moduli space C(p,q) is a smooth manifold of dimension ind⁡(p)−ind⁡(q), empty when this number is negative (A regular continuation datum between Morse--Smale pairs).

[F3]

Every translate s↦u(s+c) of a solution of the constant datum solves the same autonomous equation with the same limits. A nonconstant solution yields a continuous nonconstant translation family: if the family were constant, evaluating at one fixed time would make u constant. This argument applies to the actual metric equation directly, including curves with coincident endpoint labels.

[F4]

At a critical point p the constant curve solves the equation. In the fixed-window orientation sequence, the unstable input maps identically to the stable normal quotient under the Hessian splitting; with matched endpoint rays its kernel sign is +1 (Orientation lines orient the continuation moduli spaces compatibly with gluing).

Proof

technique · direct
1.1F1F2F4given

By [F1], the continuation solution space consists of full negative-gradient curves, including constants; only its nonconstant part is the Morse-trajectory space. For each critical point p, the constant curve up lies in C(p,p) by [F4]. The constant datum is regular by [F2].

2.1F2F3step 1.1

Let p≠q and suppose C(p,q)≠∅. Every solution then is nonconstant. By [F2] this space has dimension ind⁡(p)−ind⁡(q). If the dimension is zero it is discrete, so every continuous map from the connected line into it is constant, contradicting the nonconstant translation family of [F3]. Hence C(p,q) is empty for distinct equal-index endpoints, and also for negative index difference by [F2].

2.2F1step 1.1algebra

For p=q, [F1] gives zero energy. The continuous nonnegative function ∣u˙∣2 therefore vanishes identically, so u is constant; its prescribed limit is p. Together with step 1.1 this gives C(p,p)={up}.

3.1F4step 2.1step 2.2∎

The continuation map evaluates to Φk(p)=#C(p,p)⋅p=p over Z/2 and to Φk(p)=τ(up) p over Z by [F4] and step 2.2; by step 2.1 all off-diagonal coefficients vanish. The identity quotient map of [F4] proves τ(up)=+1, hence extending linearly gives Φk=id⁡ for every k in both coefficient cases.

Depends on

Used by

Dependency tree · two levels

63 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