Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)verified 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.

Meridian and preferred longitude

Definition

Assume countable choice as in the chosen tubular-neighbourhood data. Let K be a smooth oriented knot with chosen exterior EK and boundary torus TK=∂EK, and let p:TK→K be the projection of the chosen normal-disk tube. Orient each normal disk so that its positive tangent direction followed by its oriented normal basis agrees with the orientation of S3. A meridian μ is the oriented boundary of one such normal disk. A degree-one parallel curve is a simple closed curve λ in TK for which p∣λ:λ→K has degree +1. A preferred longitude is a degree-one parallel curve satisfying i∗[λ]=0 in H1(EK;Z), where i:TK↪EK is inclusion. This is a condition on a curve; this definition alone asserts neither existence nor uniqueness. Reversing the orientation of K reverses the orientations of both μ and any degree-one parallel curve. If a subgroup P≤π1(EK,x) is specified using a path from x to TK, record it only up to replacing it by gPg−1 for g∈π1(EK,x).

Depends on

Used by

…and 23 more results.

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