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.

Boundary slope of an incompressible surface in a knot exterior

Definition

Assume full AC. Let K⊂S3 be a smooth oriented knot with chosen compact exterior EK and boundary torus TK=∂EK. A simple closed curve on a surface is essential if it is not null-homotopic there. All surfaces considered here are compact. A surface S⊂EK is properly embedded if S∩∂EK=∂S and its interior lies in the interior of EK. It is incompressible if it has no embedded disk with interior disjoint from S and essential boundary in S; it is boundary-incompressible if there is no embedded disk D⊂EK with ∂D=α∪β, where α,β are arcs meeting exactly at their common endpoints, D∩S=α, D∩∂EK=β, and α does not cobound a disk in S with an arc of ∂S. A boundary slope of K is the unoriented isotopy class of an essential simple closed curve on TK that occurs as a boundary component of a connected, properly embedded, orientable, incompressible, boundary-incompressible surface. Using the positive meridian μ and preferred longitude λ as a homology basis, a primitive class a[λ]+b[μ] has slope b/a∈Q∪{∞}, with a=0 interpreted as ∞. A boundary slope is strict if it has a connected realizing orientable, incompressible, boundary-incompressible surface which is not a fiber of any locally trivial fibration EK→S1; a fiber is the inverse image of a point under that bundle projection.

Depends on

Used by

Dependency tree · two levels

15 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