Alphabeta Math
CounterexampleConstruction: Literature-sourcedVerification: Literature-sourcedPipeline-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.

A noncompact continuation datum can lose its trajectories at infinity

Statement refuted

On an arbitrary smooth manifold, smooth continuation data with complete Morse--Smale ends and finite index-matched continuation counts always induce isomorphisms on the trajectory-count homology of their ends.

Facts & Assumptions

Given: M=R with the standard metric, and a continuation datum whose two ends are complete Morse--Smale pairs but whose interpolating field drives the connecting trajectory to infinity in finite time.

[F1]

The function f−=−12x2 is Morse with the single critical point p=0, of index 1, and its negative gradient field x˙=x is complete; the pair (f−,dx2) is Morse--Smale, with Wu(0)=R and Ws(0)={0} meeting transversally (Morse--Smale pairs, Downward gradient-like vector fields for a Morse function, Nondegenerate critical points, nullity, index, and coindex).

[F2]

The function f+=arctan⁡x−12x2 is Morse with the single critical point q=x0, the unique real root of x3+x−1=0 (so q∈(0,1)), of index 1: its negative-gradient field is F(x)=x−11+x2=x3+x−11+x2. The numerator is strictly increasing, has one zero x0, and satisfies x0>12 because its value at 12 is negative. At that zero, (f+)′′(x0)=−F′(x0)=−1−2x0/(1+x02)2<0. Since ∣F(x)∣≤∣x∣+1, the field is complete, so (f+,dx2) is Morse--Smale; and F>0 on (x0,∞) while F<0 on [0,x0), so x0 is a repelling rest point for the forward flow (Morse--Smale pairs, Nondegenerate critical points, nullity, index, and coindex, A Morse trajectory from one critical point to another).

[F3]

The datum is a smooth family (fs)s∈R with fs=f− for s≤−L, fs=13x3 on the plateau −1≤s≤1 (so that the continuation equation there reads x˙=−x2), fs=f+ for s≥1+δ, and a smooth interpolation on [1,1+δ] which can be taken as short as desired; the metric is the standard one throughout. It satisfies the two-end condition of a continuation datum (A regular continuation datum between Morse--Smale pairs). The parameters L and δ are free; in the computation below we use δ small and the fixed plateau [−1,1].

Counterexample

1.1F1F2given

The two ends are valid: by [F1] and [F2] both pairs are complete Morse--Smale pairs with exactly one nondegenerate critical point of index 1, so both Morse chain complexes are Λ concentrated in degree 1 with zero differential.

2.1F2step 1.1

Rigidity of the upper end. Let x solve the continuation equation with lim⁡s→+∞x(s)=x0. On s≥1+δ the equation is x˙=F(x), and every solution with x(1+δ)>x0 increases and converges to +∞, while every solution with x(1+δ)<x0 decreases, crosses 0 (where F(0)=−1) and converges to −∞; hence necessarily x(1+δ)=x0, and then x(s)=x0 for all s≥1+δ.

3.1F3step 2.1algebra

Backward blow-up. Extend the solution of step 2.1 backward from x(1+δ)=x0. On the interpolation region the field is Gs(x)=−ddx((1−θ(s))13x3+θ(s)f+(x))=(1−θ(s))(−x2)+θ(s)F(x) with 0≤θ≤1, and at x=x0 this equals −(1−θ(s))x02<0 whenever θ(s)<1, In backward time the vector field at x0 is nonnegative, so uniqueness (or the scalar differential inequality for the negative part of x−x0) makes x0 a lower barrier. On [x0,2x0] all fields Gs are bounded in absolute value by a common C>0. Choosing δ<x0/C, the integral bound ∣x(s)−x0∣≤Cδ precludes a first exit through 2x0; the lower barrier precludes a first exit below x0. Thus the backward trajectory exists throughout this short interpolation and stays in [x0,2x0]. Entering the plateau at s=1 with x(1)∈[x0,2x0], its backward evolution there obeys dxdτ=x2 in the backward time τ=1−s, with solution x(τ)=x(1)/(1−x(1)τ), which blows up at τ=1/x(1); since x(1)≥x0>12 we have 1/x(1)<2, so the blow-up occurs strictly inside the plateau [−1,1] and the backward trajectory is not defined beyond it.

4.1step 2.1step 3.1algebra

Consequently no solution of the continuation equation has both the lower limit p=0 and the upper limit q=x0: a solution with upper limit x0 must satisfy x(1+δ)=x0 by step 2.1, and its backward continuation blows up in finite time by step 3.1, so it has no lower limit at all. Hence C(p,q)=∅ although ind⁡(p)=ind⁡(q)=1, and the continuation count is the zero map Λ→Λ, which is not an isomorphism.

5.1step 4.1given∎

The claim is therefore false, and the failure is exactly the mechanism recorded in Flow and compactness hypotheses for noncompact Morse homology: the end pairs have a single critical point each, but the interpolating field x˙=−x2 on the plateau is not complete, so the connecting trajectory escapes to spatial infinity in finite time, the energy identity has no finite-energy solution to apply to, and no compactness-up-to-breaking statement is available.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

36 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