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.
An isolated transverse same-index trajectory passage gives the framed band sum
Statement
Assume full AC. Let be an index- Morse critical point in dimension , , with fixed local coordinates and descending field , , for . Let be a higher critical point of the same index. Suppose a one-parameter family of the descending attaching-sphere sections of passes through the stable section of once, at one point, and transversely in the following sense: its sphere-patch directions and its parameter direction map isomorphically onto the unstable directions at the event. Assume all remaining attaching data are disjoint from the chosen local passage region; retain the joining band, lower regular level, and normal framing, and assume no intervening critical point between that region and the chosen lower level.
The two framed attaching embeddings obtained by transporting below , before and after this isolated passage, differ by the signed framed band sum with a parallel of the attaching sphere of . For this replaces one foot by a parallel of the other foot of along the band. For this is the handle slide of the existing definition and preserves the relative diffeomorphism type with all later attaching maps carried along. In particular gives the framed-link slide. For , only the stated local surface band sum with its supplied embedded band is asserted; no higher-codimension band-existence contract is imported. No generic-family existence or global trajectory-completeness assertion is made.
Facts & Assumptions
Given: Full AC (The Axiom of Choice), the exact Morse/field chart, the single transverse passage, the supplied band/framing, and the isolated support and regular lower transport hypotheses.
Smooth local inverses with parameters and smooth finite-time flow give the local section coordinates and transport of framed thickenings (The parametrized implicit function theorem with regularity, The fundamental theorem on flows).
Compact embedding isotopies extend ambiently, and compatible seam roundings differ by supported isotopy (The isotopy extension theorem, Smooth handle attachment is independent of corner rounding up to diffeomorphism).
For , a slide is the signed framed band sum, and the preservation proof pushes a patch through the other handle's parallel core after attaching that handle; its supported diffeomorphism carries every later attaching embedding (Handle slide of one k handle over another, Handle slides preserve the relative diffeomorphism type). This supplier does not cover .
Proof
Given: The data in the Statement, with sphere-patch variable and family parameter .
Choose incoming and outgoing sections in the chart given respectively by with small and by with small. They are transverse to . A trajectory entering with , , , is It exits when , so its exact exit point is
The singularity of this map is precisely the stable set . By the transverse-event hypothesis, the map , from the sphere patch coordinates and the family parameter , has invertible derivative at zero. This does not itself permit replacing the parameter by a coordinate depending on . Instead straighten the family by the following fiber-preserving local deformation. First choose a linear orthogonal change of the coordinates sending the image of to the first coordinate directions. Reparametrize linearly, shift by a constant vector times , and rescale or reverse by a nonzero constant, to put the derivative into the identity form. Now . In a sufficiently small fixed ball the straight interpolation to has derivative uniformly close to the identity, fixes zero, and has no other zero; one can insert a cutoff in a slightly larger ball without losing those properties. It is therefore a deformation through exactly one transverse event, with the original parameter slices still designated by . At either nonzero endpoint parameter it induces an isotopy of the outgoing patch, since there. Its remaining entry coordinate is a smooth map into the stable sphere. After shrinking the passage region it lies in a single coordinate disk of that sphere, so it can be deformed to its value at the event through such disks. The deformation also avoids on either side, and its normal thickening is transported throughout. We may consequently take and for one fixed stable unit vector when identifying the change in the outgoing core.
The two outgoing patches are thus explicitly As they agree along the equatorial boundary away from ; the negative and positive families approach the two hemispheres of the -sphere , with opposite seam orientations. Gluing those two limiting disks along that equator gives the entire in the direction . The second component is a small push in the stable direction, hence this is a parallel of the unstable sphere of rather than its intersecting core sphere. Truncate the two patches at a small common sphere in the variables. Their outer boundary annuli are related by an ordinary isotopy, since there. The retained path from the original patch to this small passage sphere is exactly the joining band. Therefore replacing the negative patch by the positive patch removes one disk from the sphere and attaches the complementary punctured parallel sphere of along the band. This is the band-sum construction, with its sign determined by the orientation of the transverse parameter. Reversing that orientation reverses the signed parallel. For , has no coordinates and the displayed formula changes the outgoing point from one end of the interval to the other, giving the asserted foot replacement.
The computation also controls the full framing. On every truncated patch the exit map is a smooth diffeomorphism between transverse flow sections, so its differential transports the given normal coordinates. On the parallel sphere its retained stable direction , followed by the remaining stable normal coordinates, is the local normal disk frame of the handle. Across the hemispherical seam the tangent radial direction and the first normal direction undergo the same planar seam rotation as in the band-sum definition. If the parameter reverses the induced end-disk orientation, reflect that first normal coordinate on the copied sphere; the retained handle is unchanged. All other normal coordinates are the continuously transported stable coordinates. Hence the full ordered frames glue to precisely the signed band framing, not an independently chosen integer twist. Compactness of the truncated sphere patch and band permits one uniform sufficiently small normal radius, so the framed thickening is an embedding throughout and misses the retained attaching region. This proves the attaching-embedding statement.
Transport the outgoing section further to the chosen lower regular level by the actual flow, with no intervening critical point. This is a diffeomorphism on a neighborhood of the compact patched sphere, so it preserves the band-sum identification and framing. The rest of the attaching data are unchanged outside the swept passage neighborhood by hypothesis. This finishes the local translation.
In the range , [F3] identifies the signed full framed band sum just constructed with the supported handle slide, hence supplies its relative diffeomorphism carrying all later attaching maps. The case is in this range and its attaching circles are framed links in a 3-dimensional level manifold. The remaining endpoint range retains only the explicitly supplied local band construction proved above; no existence of arbitrary global bands is inferred. This establishes exactly the stated translation and its relative scope.
Remarks
The lemma begins with an isolated transverse trajectory event as a hypothesis. A generic function path controls finite spatial jets of functions; it does not by itself supply these nonlocal flow-incidence hypotheses. No global Morse–Smale path or relative Kirby completeness is asserted.
Depends on
- The Axiom of Choice
- The parametrized implicit function theorem with $C^k$ regularity
- The fundamental theorem on flows
- The isotopy extension theorem
- Handle slide of one k handle over another
- Handle slides preserve the relative diffeomorphism type
- Smooth handle attachment is independent of corner rounding up to diffeomorphism
Used by
Dependency tree · two levels
39 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
- Thomas Kerler, Bridged Links and Tangle Presentations of Cobordism Categories, §2.2.2 (standard reference, not scraped)