Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-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.

Smooth and topological slice genus

Definition

Assume the Axiom of Countable Choice. Let K be a smooth oriented knot in the standard oriented three-sphere and let B4 be the standard four-ball with boundary S3. Let Ssm(K) be the set of genera of connected compact orientable smooth properly embedded surfaces F⊂B4 with oriented boundary K. Let Stop(K) be the set of genera of connected compact orientable locally flat topologically properly embedded surfaces F⊂B4 with oriented boundary K. For each such surface, its genus g(F) is the nonnegative integer determined by χ(F)=1−2g(F). Define the smooth slice genus and the locally flat topological slice genus by

g4sm(K):=min⁡Ssm(K),g4top(K):=min⁡Stop(K).

Depends on

Used by

Dependency tree · two levels

20 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