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 genus-g knot cobordism bounds the tau difference
Statement
Assume the Axiom of Countable Choice. Let be a connected compact smooth oriented surface properly embedded in , with product collars and oriented boundary for smooth oriented knots . Let be the genus of , so its two boundary components give , and use the standard absolute Alexander normalization for the endpoint knot Floer complexes. Then In particular, a smooth concordance annulus gives equal tau values, and a genus- surface from a knot to the unknot gives the four-ball genus estimate.
Statement references
The normalized tau value from the filtered complex
Smooth cobordisms with oriented boundary and product collars
The representative map for a decorated knot cobordism
The required triangle moduli spaces
Ozsvath and Szabo, Knot Floer homology and the four-ball genus, Theorem 1.1 and §§3.3–3.5
Hom, A survey on Heegaard Floer homology and concordance, §§3.1–3.2
Zemke, Link cobordisms and absolute gradings on link Floer homology, Theorem 10.1
Facts & Assumptions
Given: The Axiom of Countable Choice, the collared smooth oriented cobordism , its endpoint knots, and the fixed Alexander normalization.
The Axiom of Countable Choice () states that every sequence of nonempty sets admits a choice function; this is the assumption retained in the Statement.
The Alexander filtration and tau level defines the finite normalized threshold by the first filtration level mapping nontrivially to total homology. Hom's definition in §3.1 uses the same threshold for the standard knot Floer complex, with target ; nonzero and surjective are equivalent.
The filtered knot Floer complex of a connected sum is a tensor product uses the fixed oriented connected-sum convention. In Hom's concordance group [F3], denotes the reverse mirror, formed using the fixed reflection convention and then reversing the knot orientation.
External input, authorized by the run-specific source boundary. Hom, A survey on Heegaard Floer homology and concordance, §3.1, Theorem 3.1(1)–(2), printed p. 8, states that is a homomorphism from the smooth knot concordance group and that . The survey states on printed p. 2 that it works throughout with coefficients. I read the theorem and threshold definition; I do not claim to reconstruct the cited proof.
The Alexander filtration and tau level fixes the one-generator standard unknot diagram at filtration zero. In its genus-zero one-pointed model the chain group has one generator and zero differential, so its total homology is and the threshold is zero.
Smooth and topological slice genus defines as the minimum genus of a smooth connected oriented surface in the four-ball with the stated boundary.
Proof
Given: The hypotheses of the Statement.
Choose a smooth embedded arc in joining its two boundary components. After orientation-preserving isotopies of the endpoint knots inside their product collars, which preserve their knot types, choose a standard reference arc with both endpoints at the same point of ; its tubular complement is , a four-ball after rounding corners. Since is simply connected, the chosen arc is homotopic rel endpoints to this reference. A generic one-parameter homotopy is an isotopy through embedded arcs: the double-point condition has parameter-domain dimension , and the nonimmersion condition has dimension . Extend its velocity field from the compact arc family to a time-dependent ambient vector field using a tubular neighborhood and a bump function; integrating this field gives an ambient isotopy carrying the arc neighborhood to the reference neighborhood. Delete that tubular neighborhood from the ambient product and delete the corresponding open rectangular strip from . The remaining surface is connected and has one boundary component, the oriented sum under [F2]. Since , cutting along this arc raises Euler characteristic by one to ; the resulting surface has one boundary component, so its genus is .
Apply Hom's imported genus bound [F3] to the surface from step 1.1: . Hom's homomorphism statement [F3] gives , proving the asserted inequality. For a concordance annulus , so the endpoint values agree. If one endpoint is the standard unknot, [F4] gives , and the inequality is the four-ball genus estimate for the other endpoint.
Depends on
- The Alexander filtration and tau level
- Smooth knot concordance
- Smooth and topological slice genus
- Nonemptiness and minima for the smooth and locally flat slice genera
- Admissible multipointed Heegaard data for knot Floer complexes
- Toroidal grid diagrams and gradings for oriented knots
- Grid homology is independent of the grid and computes knot Floer homology
- Regularity, compactness, and gluing for pointed Heegaard disks
- A generic movie of an oriented knot cobordism
- Smooth link cobordisms admit finite generic movies
- Decorated knot cobordisms and the two-color link Floer target
- The decorated knot Floer cobordism map
- Regularity, compactness, and gluing for decorated knot Floer triangles
- Naturality and movie invariance of the decorated knot Floer map
- The Axiom of Countable Choice ($\mathrm{AC}_\omega$)
- The filtered knot Floer complex of a connected sum is a tensor product
- The tau level adds under the filtered tensor product
- Knot Floer duality and exchange of the two filtrations
- Puncturing a smooth four-ball surface gives a genus-preserving knot cobordism
Used by
- Tau of the unknot and trefoils from filtered staircases Example
- A smooth slice knot has a knot Floer complex stably equivalent to the unknot Lemma
- The auxiliary nu-minus threshold is bounded by smooth slice genus Lemma
- Smooth concordance implies stable filtered equivalence of knot Floer complexes Theorem
- Tau is an additive smooth concordance invariant and bounds four-ball genus Theorem
Dependency tree · two levels
57 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
- Peter S. Ozsvath and Zoltan Szabo, Knot Floer homology and the four-ball genus (standard reference, not scraped)
- Jennifer Hom, A survey on Heegaard Floer homology and concordance (standard reference, not scraped)
- Ian Zemke, Link cobordisms and absolute gradings on link Floer homology (standard reference, not scraped)