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.
Every integral Seifert form is realized by a knot
Statement
Assume the full Axiom of Choice. Let and let satisfy , where the empty skew matrix has determinant . There is a connected compact smooth oriented surface with one boundary component and an ordered integral basis of whose positive-push Seifert matrix is exactly .
Statement references
Facts & Assumptions
Given: Full AC and an integer matrix with unimodular alternating part .
Full AC is the choice-function axiom assumed by the knot Seifert-pairing convention and the linking theorem; it implies the countable choice required by the surface-existence and projection suppliers. The Axiom of Choice, AC implies DC implies countable choice
For a knot Seifert matrix, is the unimodular oriented intersection matrix of the chosen surface. The skew part of a Seifert matrix is the surface intersection form
Under full AC, if disjoint oriented smooth circles have a regular diagram and bounds a supplied compact oriented smooth embedded surface transverse to , then equals one half the signed mixed-crossing sum. Linking number equals signed intersection with a spanning surface
The positive-push entry is . Seifert pairing and matrix of an oriented knot
Under countable choice, every smooth oriented knot bounds a connected compact smooth oriented embedded surface with the prescribed oriented boundary. Every smooth oriented knot in bounds a Seifert surface
A compact smooth embedded manifold can be made transverse to a closed boundaryless embedded submanifold by an arbitrarily small ambient isotopy fixed near its boundary, provided the initial boundary is transverse. Choice-free relative transversality for a compact smooth embedding
Under countable choice, a smooth oriented link in has a finite regular projection. Existence of regular projections
Proof
If , is the empty matrix and a disk with its empty homology basis realizes it. Assume . Put and . Choose a primitive vector . Since is an isomorphism, the functional is primitive, so Bezout's identity gives with . For every , the vector satisfies . Thus , and the restricted alternating form on the second summand is unimodular. Induction gives a basis with matrix . Let be the corresponding change of basis and put ; then .
To apply [F2] to any disjoint oriented smooth core/push-off pair , first use [F4] to obtain a spanning surface for . Apply [F5] to the inclusion of with closed target . Its boundary is disjoint from , so boundary transversality is vacuous; the isotopy fixes a neighbourhood of and yields an embedded oriented spanning surface transverse to the unchanged curve . These auxiliary surfaces do not modify the band surface. All constructed curves lie in ; [F6] supplies a regular diagram of each pair. Thus every hypothesis of [F2] is met, both before and after a local band modification, and the crossing formula computes the topological linking entries in [F3].
Start with a disk and attach oriented bands in the standard one-boundary handle pattern. Their core curves form an integral basis with intersection matrix . The result is a connected compact smooth oriented surface with one boundary component. Write for its positive-push matrix; by [F1], .
For each band core, inserting a full twist in a small subarc adds two same-sign mixed crossings between that core and its positive push-off, changing its self-linking by or by step 1.2. The twist box is disjoint from the other core arcs, so the other entries and the surface intersection matrix are unchanged. Perform finitely many such twists to make every diagonal entry of equal the corresponding diagonal entry of .
For each pair , choose subarcs of bands and in a ball disjoint from every other core and every earlier modification. Insert the oriented local clasp whose two new mixed crossings between and have the same sign . By step 1.2, their signed sum changes by , so changes by . The clasp preserves the abstract surface intersection form; by [F1], is unchanged, and therefore also changes by . Choose the bands' framings through the clasp without adding individual full twists; each band alone is unchanged up to framed isotopy. Thus all diagonal entries stay fixed, and support away from the other cores leaves all other pair entries fixed. The target equation off the diagonal holds because both skew parts are . A finite number of positive or negative clasps thus sets both entries to their target values for each pair, without changing previously treated pairs. The resulting surface has positive-push matrix exactly .
The basis change on this surface changes its matrix from to . The constructed surface has one boundary component, so its boundary is an oriented knot and the matrix is a Seifert matrix for that knot.
Diagram
The diagram records the positive oriented clasp between the positive push-off of one band core and the other core. At the left crossing the blue strand is over; at the right crossing the red strand is over. With both arrows oriented as shown, the two mixed crossing signs are positive, so their half-sum changes the linking number by ; reversing both local crossing conventions gives . The proof uses the crossing formula and finite local modifications, not the drawing.
\begin{tikzpicture}[scale=0.9,>=stealth]
\draw[thick,blue,->] (-2,0) -- (0.48,0);
\draw[thick,blue,->] (0.92,0) -- (2,0);
\draw[thick,red,->] (-1.2,-1) -- (-0.72,-0.16);
\draw[thick,red] (-0.68,0.16) .. controls (-0.35,0.9) and (0.25,0.9) .. (0.7,0);
\draw[thick,red,->] (0.7,0) .. controls (0.92,-0.4) .. (1.2,-1);
\node[blue] at (-1.35,0.28) {$a_i^+$};
\node[red] at (-1.45,-0.78) {$a_j$};
\node at (-0.7,0.48) {$+$};
\node at (0.7,0.48) {$+$};
\node at (0,-1.35) {oriented clasp};
\end{tikzpicture}
Depends on
- Seifert pairing and matrix of an oriented knot
- Well-definedness of the Seifert pairing
- The skew part of a Seifert matrix is the surface intersection form
- Linking number equals signed intersection with a spanning surface
- The Axiom of Choice
- AC implies DC implies countable choice
- Every smooth oriented knot in $S^3$ bounds a Seifert surface
- Existence of regular projections
Used by
Dependency tree · two levels
45 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
- Charles Livingston, A Survey of Classical Knot Concordance (standard reference, not scraped)
- Dale Rolfsen, Knots and Links (standard reference, not scraped)