Alphabeta Math
ExampleConstruction: Literature-sourcedVerification: Literature-sourcedPipeline-generatedjudge pass (gpt-6.1-sol)
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.

Broken trajectories in an index-two torus moduli space

Example

Assume AC. A concrete model of the tilted-torus trajectory picture is M=(R/2πZ)2 with f(u,v)=cos⁡u+2cos⁡v and the normalized product field constructed below. Its critical points are a=(0,0) of index 2, b=(π,0) and c=(0,π) of index 1, and d=(π,π) of index 0. Each of M(a,b), M(a,c), M(b,d) and M(c,d) has two elements. The space M(a,d) consists of four open intervals, compactified to four disjoint closed intervals with eight once-broken endpoints. Modulo two, ∂a=2b+2c=0 and ∂b=∂c=2d=0, so ∂2=0.

Facts & Assumptions

Given: AC and the torus M with the displayed function.

[A1]

AC supplies the compactification and differential results used below (The Axiom of Choice).

[F1]

Smooth cutoffs between nested coordinate balls exist (A smooth bump between concentric Euclidean balls).

[F2]

A downward gradient-like field must have df(X)<0 off the critical set and the exact normalized local Morse model; Morse--Smale means transverse stable and unstable manifolds (Downward gradient-like vector fields for a Morse function, Morse--Smale pairs). Under AC, a smooth vector field on a compact manifold is complete (Every smooth vector field on a compact manifold is complete).

[F3]

For index drop two the compactification is a compact one-manifold, with once-broken products as its boundary and a unique one-sided collar at each endpoint (The index-two compactification is a compact one-manifold with boundary, Gluing once-broken index-two trajectories: collar ends).

[F4]

The mod-two differential counts only index-one trajectories modulo two (The mod-two Morse differential).

Verification

technique · direct, by an explicit product flow
1.1F1F2givenconstructalgebra

Choose a smooth positive periodic function μ(θ) equal to 4/(1+cos⁡θ) near 0 and 4/(1−cos⁡θ) near π. It exists by [F1]: use disjoint cutoff neighbourhoods of the poles and take the convex combination of these positive local functions with the constant 2 outside them. Put Y(θ)=μ(θ)sin⁡θ and X=(Y(u),Y(v)). Then df(X)=−μ(u)sin⁡2u−2μ(v)sin⁡2v<0 off the four critical points. Near 0, the signed coordinate w=sgn⁡(θ)1−cos⁡θ is smooth and satisfies w˙=2w; near π, w=sgn⁡(θ−π)1+cos⁡θ satisfies w˙=−2w. Multiplying the second coordinate by 2 gives exactly the Morse coordinates for the weighted second cosine. Thus X satisfies [F2]. The Hessian diag⁡(−cos⁡u,−2cos⁡v) has indices 2,1,1,0 at a,b,c,d.

2.1F2step 1.1algebra

In each coordinate, stable and unstable sets are a pole or the circle with the other pole removed. Their products in M are transverse: every nonempty coincidence has, in each coordinate, at least one full tangent direction; the only potential point/point intersection for distinct equilibria is empty. The smooth field is complete on compact M by [F2], so the pair is Morse--Smale. For each adjacent-index pair, one coordinate is constant and the other follows either of the two complementary arcs, giving exactly two orbit classes. These are all adjacent-index pairs.

3.1step 1.1step 2.1algebra

On each of the four open rectangles between the coordinate separatrices, both coordinates run from 0 to π. On either chosen arc the time coordinate τ(θ)=∫θ∗θdη/Y(η) is a diffeomorphism onto R: its derivative has the sign of Y, and the simple zeros of Y make the endpoint times infinite. Every trajectory is therefore u(t)=τu−1(t−A), v(t)=τv−1(t−B). Common time translation changes A and B equally, leaving the relative delay A−B∈R as the unique parameter. Its two infinite ends break through b and c, respectively, with the arc choices fixed. Hence there are four open intervals, each with its two distinct broken endpoints.

4.1A1F3F4step 2.1step 3.1∎

By [F3] these are exactly the compactifying endpoints, with one collar branch each; the fixed arc choices identify each broken pair with the appropriate rectangle, so no endpoints are identified across intervals. There are 2⋅2+2⋅2=8 pairs in (M(a,b)×M(b,d))⊔(M(a,c)×M(c,d)), two per closed interval. By [F4] the differential is ∂a=2b+2c=0, ∂b=∂c=2d=0 and ∂d=0.

Depends on

Used by

Dependency tree · two levels

47 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