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.

A genus-g knot cobordism bounds the tau difference

Statement

Assume the Axiom of Countable Choice. Let S be a connected compact smooth oriented surface properly embedded in S3×[0,1], with product collars and oriented boundary −K0×{0}⊔K1×{1} for smooth oriented knots K0,K1. Let g be the genus of S, so its two boundary components give χ(S)=−2g, and use the standard absolute Alexander normalization for the endpoint knot Floer complexes. Then ∣τ(K1)−τ(K0)∣≤g. In particular, a smooth concordance annulus gives equal tau values, and a genus-g surface from a knot to the unknot gives the four-ball genus estimate.

Facts & Assumptions

Given: The Axiom of Countable Choice, the collared smooth oriented cobordism S, its endpoint knots, and the fixed Alexander normalization.

[A1]

The Axiom of Countable Choice (ACω) states that every sequence of nonempty sets admits a choice function; this is the assumption retained in the Statement.

[F1]

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 HF^(S3)≅F2; nonzero and surjective are equivalent.

[F2]

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], −K denotes the reverse mirror, formed using the fixed reflection convention and then reversing the knot orientation.

[F3]

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 ∣τ(K)∣≤g4(K). The survey states on printed p. 2 that it works throughout with F2 coefficients. I read the theorem and threshold definition; I do not claim to reconstruct the cited proof.

[F4]

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 F2 and the threshold is zero.

[F5]

Smooth and topological slice genus defines g4sm 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.

1.1A1F2F5givenconstructalgebra

Choose a smooth embedded arc in S 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 S3; its tubular complement is (S3∖int⁡D3)×[0,1], a four-ball after rounding corners. Since S3×[0,1] 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 1+1+1=3<4, and the nonimmersion condition has dimension 1+1=2<4. 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 S. The remaining surface is connected and has one boundary component, the oriented sum K1#(−K0) under [F2]. Since χ(S)=−2g, cutting along this arc raises Euler characteristic by one to 1−2g; the resulting surface has one boundary component, so its genus is g.

2.1F3F4F5step 1.1algebra∎

Apply Hom's imported genus bound [F3] to the surface from step 1.1: ∣τ(K1#(−K0))∣≤g4sm(K1#(−K0))≤g. Hom's homomorphism statement [F3] gives τ(K1#(−K0))=τ(K1)−τ(K0), proving the asserted inequality. For a concordance annulus g=0, so the endpoint values agree. If one endpoint is the standard unknot, [F4] gives τ(U)=0, and the inequality is the four-ball genus estimate for the other endpoint.

Depends on

Used by

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