Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-generatedPipeline-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.

Every integral Seifert form is realized by a knot

Statement

Assume the full Axiom of Choice. Let g≥0 and let V∈M2g(Z) satisfy det⁡(V−VT)=±1, where the empty skew matrix has determinant 1. There is a connected compact smooth oriented surface F⊂S3 with one boundary component and an ordered integral basis of H1(F;Z) whose positive-push Seifert matrix is exactly V.

Facts & Assumptions

Given: Full AC and an integer 2g×2g matrix V with unimodular alternating part J=V−VT.

[A1]

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

[F1]

For a knot Seifert matrix, V−VT is the unimodular oriented intersection matrix of the chosen surface. The skew part of a Seifert matrix is the surface intersection form

[F2]

Under full AC, if disjoint oriented smooth circles J,K have a regular diagram and K bounds a supplied compact oriented smooth embedded surface transverse to J, then lk⁡(J,K) equals one half the signed mixed-crossing sum. Linking number equals signed intersection with a spanning surface

[F3]

The positive-push entry is Vij=lk⁡(ai+,aj). Seifert pairing and matrix of an oriented knot

[F4]

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 S3 bounds a Seifert surface

[F5]

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

[F6]

Under countable choice, a smooth oriented link in R3 has a finite regular projection. Existence of regular projections

Proof

1.1givenconstructinduction

If g=0, V is the empty matrix and a disk with its empty homology basis realizes it. Assume g>0. Put J=V−VT and H=Z2g. Choose a primitive vector e∈H. Since J:H→Hom⁡(H,Z) is an isomorphism, the functional J(e,−) is primitive, so Bezout's identity gives f∈H with J(e,f)=1. For every x∈H, the vector x′=x−J(x,f)e+J(x,e)f satisfies J(x′,e)=J(x′,f)=0. Thus H=⟨e,f⟩⊕⟨e,f⟩⊥, and the restricted alternating form on the second summand is unimodular. Induction gives a basis with matrix J0=⨁k=1g(01−10). Let P∈GL2g(Z) be the corresponding change of basis and put W=PTVP; then W−WT=J0.

1.2A1F2F3F4F5F6construct

To apply [F2] to any disjoint oriented smooth core/push-off pair J,K, first use [F4] to obtain a spanning surface Σ for K. Apply [F5] to the inclusion of Σ with closed target J. Its boundary K is disjoint from J, so boundary transversality is vacuous; the isotopy fixes a neighbourhood of K and yields an embedded oriented spanning surface transverse to the unchanged curve J. These auxiliary surfaces do not modify the band surface. All constructed curves lie in R3⊂S3; [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].

2.1A1F1step 1.1construct

Start with a disk and attach 2g oriented bands in the standard one-boundary handle pattern. Their core curves form an integral basis with intersection matrix J0. The result is a connected compact smooth oriented surface with one boundary component. Write W0 for its positive-push matrix; by [F1], W0−W0T=J0.

3.1F1F3step 2.1step 1.2construct

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 +1 or −1 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 W0 equal the corresponding diagonal entry of W.

4.1F1F3step 1.2step 3.1construct

For each pair i<j, choose subarcs of bands i and j in a ball disjoint from every other core and every earlier modification. Insert the oriented local clasp whose two new mixed crossings between ai+ and aj have the same sign ε∈{+1,−1}. By step 1.2, their signed sum changes by 2ε, so Wij changes by ε. The clasp preserves the abstract surface intersection form; by [F1], Wij−Wji is unchanged, and therefore Wji 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 W−W0=(W−W0)T off the diagonal holds because both skew parts are J0. 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 W.

5.1F3step 1.1step 4.1algebra∎

The basis change P−1∈GL2g(Z) on this surface changes its matrix from W to (P−1)TWP−1=V. 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 +1; reversing both local crossing conventions gives −1. 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

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