Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedverified 2026-10-22 (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.

The trefoil sum with its reverse mirror is ribbon

Statement

Assume ACω. Let T be the standard right-handed trefoil, let T∗ be its image under the fixed orientation-reversing reflection of the connected-sum convention, and let −T∗ denote reversal of the image knot's orientation. Then T#(−T∗) bounds a smooth ribbon disk in B4.

Facts & Assumptions

Given: ACω and the standard oriented trefoil T with the fixed mirror convention.

[F1]

Here a smooth ribbon disk means a smooth proper disk in the standard four-ball for which the radial function is Morse in the interior, with critical points only of indices 0 and 1; it has no interior local maxima. This is the radial convention for ribbon disks. (Livingston, Definition 2.3, p.4)

[F2]

The standard ball-arc connected-sum convention is independent of local choices under ACω. (Oriented connected sum and prime knot, The oriented connected sum is independent of its local choices)

[F3]

Under ACω, good slices of a finite smooth transverse family are dense; compact-source isotopies extend ambiently. (Parametric transversality, The isotopy extension theorem, The Axiom of Countable Choice (ACω))

Proof

Given: ACω and T.

1.1givenF2construct

Delete a small straight subarc of T in a coordinate ball. Identify its complementary ball with B3 and parametrize the remaining oriented arc by a smooth embedding a:[0,1]→B3 with endpoints on S2, interior in the open ball, and transverse radial endpoint collars. These are the standard ball-arc data of [F2]. Move the arc slightly if necessary so that it misses the origin; this is possible by a small translation on its interior, fixed on endpoint collars, since a smooth compact arc in three-space has empty interior and its endpoint collars can be kept outside a small ball about the origin. Put f(s)=∣a(s)∣2>0, with f(0)=f(1)=1 and f<1 in the interior; transversality gives f′(0)<0<f′(1).

2.1F3step 1.1constructchoose

Arrange that f is Morse away from its endpoint collars, without changing the arc type. Here are finite perturbation details. The zeros of f′ lie in a compact subinterval. Cover that zero set by finitely many smaller open intervals on each of which a compactly supported smooth function ϕi has derivative 1. For the family fu=f+∑iuiϕi, the map (s,u)↦fu′(s) is a submersion near this zero set because one parameter derivative is 1; on its compact complement f′ is bounded away from zero, so small parameters create no further zeros. Apply [F3] to this finite family and zero in R. Choose arbitrarily small good u, so every zero of fu′ is simple. Endpoint collars stay fixed and 0<fu<1 inside. Replace a(s) by fu(s)/f(s)a(s). For sufficiently small parameters this is an isotopy of embeddings, since on a finite chart cover immersion and local injectivity persist in C1, while compact pairs outside the chart diagonals have a positive separation margin. Its squared radius is fu. Rename this arc a and this function f; the finitely many simple critical points lie in a compact subinterval, so there are only finitely many.

3.1step 1.1step 2.1construct

In B4={(x,t)∈R3×R:∣x∣2+t2≤1} take the surface D={(a(s),t):0≤s≤1, t2≤1−f(s)}. The strip map (s,t)↦(a(s),t) is an embedding. Its parameter domain is explicitly a smooth disk: the ellipse v2≤s(1−s) maps onto it by (s,v)↦(s,vq(s)), where q(s)=(1−f(s))/(s(1−s)) extends smoothly and positively to both endpoints because f has simple transverse endpoint zeros of 1−f. This map and its inverse are smooth, and every interior vertical fibre is an interval of positive length. Smoothness at those endpoints follows from the implicit function theorem applied to f(s)+t2=1, because f′ is nonzero there; the domain boundary is locally s=s(t) rather than a corner. Equivalently D is the regular sublevel of f(s)+t2 in a slightly extended embedded strip. Consequently it is a smooth compact properly embedded disk, its boundary lies in S3, its interior lies in the open four-ball, and its intersection with S3 is transverse.

4.1F2step 3.1construct

The two boundary arcs of D are (a(s),1−f(s)) and (a(s),−1−f(s)). The equatorial sphere t=0 meets their union only at s=0,1. The hemispheres are standard three-balls; projection to x identifies their interiors with the interior of B3, and their lifted arcs represent the original ball-arc pair by [F2]. To see this without a boundary-singular projection, first use transverse endpoint collars to straighten the arcs in smooth hemisphere collars, and then use projection on the compact remaining subarcs; the collar interpolation is an isotopy of the arcs fixing endpoints. Reflection (x,t)↦(x,−t) exchanges the hemispheres and reverses the boundary orientation of S3. The orientation induced on ∂D runs along one lifted arc with increasing s and along the other with decreasing s. Thus the capped oriented boundary arcs are T and −T∗, with the fixed mirror reflection transported by positive coordinate frames as in [F2]. Gluing these standard hemispherical arc data gives ∂D=T#(−T∗) as an oriented knot.

5.1F1step 2.1step 3.1step 4.1algebra∎

On D the squared radial function is ρ(s,t)=f(s)+t2. Its interior critical points are exactly (s,0) with f′(s)=0, and their Hessians are diag⁡(f′′(s),2). They are nondegenerate, with index 0 or 1, never 2. Since ρ>0, taking its square root preserves these critical indices. Hence the standard radial function makes D a ribbon disk by [F1], proving the full conclusion.

Remarks

The construction works for any smooth knot arc; no alternating-diagram algorithm is required. The prohibition is on interior radial maxima. A compact proper disk necessarily has an interior radial minimum.

Depends on

Used by

Dependency tree · two levels

31 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