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.
Lee deformation and Rasmussen’s s-invariant — Examples and Counterexamples
1 · Prerequisites
- Abelian Categories
- Absolute and Conditional Convergence; Rearrangement; Products
- Analytic Majorants and the Cauchy–Kovalevskaya Theorem
- Analyticity of Holomorphic Functions; Liouville and Morera
- Approximation and Compactness in C(K)
- Arc Length and Rectifiable Curves
- Areas of Elementary Plane Figures
- Asymptotic Cones and the Sublinear Triangle Criterion
- Banach-Space Differential Calculus and Banach Manifolds
- Binary Operations, Monoids, Groups and Subgroups
- Bounded Linear Operators and Quotient Spaces
- Bounded Variation and the Riemann–Stieltjes Integral
- Calderón–Zygmund Decomposition and Singular Integrals
- Cardinal Arithmetic, Cofinality and the Alephs
- Casson–Gordon invariants and sliceness obstructions
- Categories, Functors and Natural Transformations
- Cayley Graphs, Word Metrics and Quasi-Isometry
- Chain Complexes and Homology
- Chain Homotopy and the Homotopy Category
- Choice Strength in Baire, Urysohn, Stone, and Tychonoff
- Classification of Compact Connected Surfaces
- Codimension One Foliations, Secondary Classes and Characteristic Disk Foundations
- Compact Operators and Riesz Schauder Theory
- Compactness
- Compactness in Metric Spaces
- Complete Metrizability, Čech-Completeness, and Baire Category
- Completeness, Completion, and Uniform Continuity
- Complex Coordinate and Path Transport
- Complex Differentiability and the Cauchy–Riemann Equations
- Complex Lp Spaces and Test-Function Conventions
- Complex Norms and Realification
- Complex Power Series and Analytic Functions
- Complexification, Realification and Real Structures
- Conformal Mapping, Branches, and the Schwarz Lemma
- Congruences, the Integers Modulo n and the Chinese Remainder Theorem
- Connected sums and prime decomposition
- Connectedness
- Constant Rank, Submersions, Immersions and Regular Level Sets
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Contour Integration
- Convergence: Nets and Filters
- Convexity
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Countability Axioms and Cardinal Functions
- Covering Spaces and Lifting
- Crossing signs, writhe, and linking number
- Cup Cap Cross Products and Cohomology Rings
- Cw Complexes and Cellular Homology
- Cyclic Groups and Direct Products
- Darboux, L'Hôpital, and Taylor's Theorem
- Density Separability and Convolution in Lᵖ
- Determinants of Matrices over a Commutative Ring
- Distributions Test Functions and Differentiation
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Divisibility, Greatest Common Divisors and Bézout's Identity
- Dual Spaces Adjoint Operators and Annihilators
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Elliptic Functions and Complex Tori
- Euclidean Ordinary Differential Equations with Smooth Dependence
- Euclidean Surface Measure, Divergence, and Green Identities
- Exactness and the Member Calculus
- Exterior Powers, Orientation and Hodge Duality
- Fibrations Fiber Bundles and Homotopy Exact Sequences
- Filters and Ultrafilters
- Finite Averaging and Character-Theory Prerequisites
- Finite Counting, Factorials and Binomial Coefficients
- Finite Dimensional Normed Spaces and Riesz Lemma
- Finite Probability and the Probabilistic Method
- Formal Immersions and the Smale Hirsch Theorem
- Formal Power Series
- Foundations of the Real Numbers for Analysis
- Fourier Multipliers and Sobolev Characterisations
- Fourier Transform Convolution and Approximate Identities
- Fredholm Elliptic Problems and the Elliptic Spectrum
- Free Groups and Presentations
- Free Modules, Exact Sequences, Projective and Injective Modules
- Free Products and Amalgamation
- Fubini and Change of Variables
- Function Space Topologies and the Exponential Law
- Fundamental Trigonometric Identities
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Geodesics, the Exponential Map, Completeness, and Hopf–Rinow
- Geometric Braids and Artin Generators
- Goursat's Theorem and Cauchy's Theorem in a Convex Domain
- Gradient Like Vector Fields and Morse Trajectories
- Graphs, Walks and Connectivity
- Green Functions, Harmonic Measure, and Conformal Invariance
- Grid homology and combinatorial knot Floer theory
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Group Homomorphisms and the Isomorphism Theorems
- Handle Cancellation Slides and Elementary Moves
- Handle Decompositions Duality and Rearrangement
- Harmonic Functions and Mean Values in Rn
- Harmonic Functions and the Poisson Integral
- Hausdorff via the Diagonal
- Hereditary and Productive Behaviour of the Separation Axioms
- Higher Homotopy Groups and Cofiber Sequences
- Hilbert Space Geometry and Riesz Representation
- Holomorphic Functions of Several Complex Variables
- Homology Axioms Degree and Classical Applications
- Homotopy and Homotopy Equivalence
- Hurewicz Whitehead Freudenthal and Cw Approximation
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Improper and Parameter-Dependent Multiple Integrals
- Improper Integrals
- Infinite Products and the Weierstrass Factorisation Theorem
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- Integration of Forms and the General Stokes Theorem
- Interior and Boundary Sobolev Elliptic Regularity
- Isolated Singularities and Laurent Series
- Isotopy Extension and Embedding Theory Beyond Whitney
- Kauffman bracket state sum and the Jones polynomial
- Khovanov homology and Jones categorification
- Knot exteriors and peripheral systems
- Koszul Complexes and Regular Sequences
- Lebesgue Measure on Euclidean Space
- Lee deformation and Rasmussen’s s-invariant
- Leray–Hirsch, the Thom Isomorphism, and Gysin Sequences
- Lie Groups, Invariant Fields, and the Exponential Map
- Lie Subgroups, Actions, and Homogeneous Spaces
- Limits and Colimits
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Line Integrals and the Gradient Theorem
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Local Coefficients, Twisted Homology, and Duality
- Long Exact Sequences in Homology
- Manifolds with Boundary Collars and Orientations
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Maximum Principles Harnack and Liouville in Rn
- Measurable Functions and Simple Approximation
- Measures and Their Basic Properties
- Metric Spaces
- Mittag-Leffler and Runge's Theorem
- Mixed Partials, Taylor Formulae, and Extrema
- Modes of Convergence Egorov and Lusin
- Modules, Submodules, Quotient Modules and the Isomorphism Theorems
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Morse Critical Points Hessians and Indices
- Morse Functions Critical Values and Genericity
- Normal Subgroups and Quotient Groups
- Normed and Banach Spaces
- Norming and Separation under Hahn–Banach
- Order, Zorn's Lemma, and the Axiom of Choice
- Ordinal Arithmetic and the First Uncountable Ordinal
- Ordinals, Cardinals, and Transfinite Recursion
- Orientations Poincare Lefschetz and Alexander Duality
- Oriented and Mod Two Intersection Numbers
- Oriented Links, Braid Closures, and Markov Equivalence
- Orthonormal Bases, Parseval and Fourier Series
- Outer Measure and the Caratheodory Extension Theorem
- Partitions of Unity and Paracompactness
- pi: the Equivalent Characterizations
- Picard-Lindelöf and First-Order Ordinary Differential Equations
- Pin and Spin Groups and Their Representations
- Planar-diagram codes and knot-table enumeration
- Plane Graphs, Euler's Formula and the Five Colour Theorem
- Pointwise Extended-Real Function Products
- Polynomial Rings, the Division Algorithm and Roots
- Pontryagin Thom and Framed Cobordism
- Power Series and Real-Analytic Functions
- Preadditive and Additive Categories and Biproducts
- Product Measures and the Fubini Tonelli Theorems
- Properties of the Integral and the Working FTC
- Radon Measures and the Riesz Markov Kakutani Theorem
- Rank Theorems and Embedded Submanifolds
- Real Clifford Modules, KO Theory, and ABS Orientations
- Reeb Stability and Global Foliation Constructions
- Reflective Subcategories and the Adjoint Functor Theorems
- Reflexivity and Eberlein Smulian
- Regular Surfaces and Surface Integrals
- Relations, Functions, and Quotients
- Relative Homology Excision and Mayer Vietoris
- Riemann Curvature and Riemannian Submanifolds
- Riemann Surfaces, Branched Maps, and Differentials
- Riemannian Metrics Length Distance and Volume
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Sard Theorem and Transversality
- Schwartz Space and the Plancherel Theorem
- Seifert surfaces and knot genus
- Separation Axioms: the Hierarchy
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- Sigma Algebras and Borel Sets
- Signed and Complex Measures Hahn and Jordan
- Simple Field Extensions and the Construction of the Complex Numbers
- Simplicial Complexes and Simplicial Homology
- Simplicial Subdivision and Simplicial Approximation
- Simply Connected Plane Domains: the Grand Equivalence
- Sine, Cosine, and the Definition of Pi
- Singular Chains and Singular Homology
- Singular Cohomology and Coefficient Theorems
- Smooth and topological knot concordance
- Smooth Approximation and Sobolev Extension
- Smooth Cobordism Relations Groups and Rings
- Smooth Manifolds and Smooth Maps
- Smooth Partitions of Unity and Exhaustions
- Smooth Surgery Traces and Handle Trading
- Smooth Vector Bundles and Sections
- Spectra and Stable Homotopy Groups
- Spectral Sequences
- Stone–Weierstrass in General
- Subharmonic Functions and the Dirichlet Problem
- Sublevel Deformation and the Handle Attachment Theorem
- Subspaces, Products, and Quotients
- Suprema and Infima
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Tangent Cotangent and the Differential
- Tempered Distributions and the Fourier Transform
- Tensor Fields Exterior Algebra and Differential Forms
- Tensor Products of Modules
- The Analytic Hahn Banach Theorem
- The Cantor Set, Baire Category, and Measure Zero in ℝ
- The Complex Exponential and Euler's Formula
- The De Rham Complex Homotopy and Mayer Vietoris
- The de Rham Theorem and Degree
- The Derivative and the Mean Value Theorems
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The Diagram Lemmas in an Abelian Category
- The Divergence Theorem and Classical Stokes
- The Duality of Lᵖ and L^q
- The Exponential Function
- The Exterior Derivative and Cartan Calculus
- The Fundamental Group
- The Fundamental Group of the Circle
- The Fundamental Theorems of Calculus
- The Group Algebra and Representations of Finite Groups
- The Holomorphic Inverse Function Theorem and Weierstrass Preparation
- The Hopf Degree Theorem
- The Identity Theorem, the Maximum Principle and the Open Mapping Theorem
- The Inverse and Implicit Function Theorems
- The Inverse Function Theorem Completed
- The Lebesgue and Riemann Integrals Compared
- The Lebesgue Integral and the Convergence Theorems
- The Logarithm and General Powers
- The Lᵖ Spaces Holder Minkowski and Riesz Fischer
- The Maximal Function and Lebesgue Differentiation
- The Radon Nikodym Theorem and Lebesgue Decomposition
- The Residue Theorem and the Evaluation of Real Integrals
- The Riemann Integral in Rᵐ and Jordan Content
- The Riemann Integral: Definition and Integrability
- The Riemann Sphere and Möbius Transformations
- The Seifert–van Kampen Theorem
- The Topology of Euclidean Space
- The Total Derivative in ℝᵐ → ℝⁿ
- The Winding Number and the Global Cauchy Theorem
- The ZFC Axioms and the Basic Set Constructions
- Thom Spaces Normal Data and Collapse Maps
- Topological Spaces and Continuity
- Topological Vector Bundles and Grassmannian Classification
- Topology of ℝ
- Torus knots and Seifert-fibered exteriors
- Trees, Forests and Spanning Trees
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Trigonometric and Oscillatory Examples in One Variable
- Uniform Spaces: the Three Definitions
- Universal Clifford Algebras and Their PBW Basis
- Universal Properties, Representables and the Yoneda Lemma
- Vanishing Cycles, Novikov and Taut Foliations
- Vector Fields Flows and Lie Derivatives
- Vector Spaces, Linear Subspaces, Span and Direct Sums
- Weak Derivatives and Sobolev Spaces
- Whitney Embedding Tubular Neighbourhoods and Approximation
2 · Logical flowchart
3 · Definitions, theorems and proofs
None yet.
4 · Examples, counterexamples and false statements
Unknot, trefoils, and the 2-twisted positive Whitehead double
Example
Assume the Axiom of Countable Choice. Let be the standard unknot, let be the closure of the positive two-strand braid with three crossings, and let be its reverse mirror. Let denote the positive-clasped Whitehead double of with Hedden–Ording twist parameter . Then The smooth four-ball genus of is . Here is the integer knot Floer concordance invariant defined from the filtered knot Floer complex.
The trefoil is the closure of the positive two-strand braid shown schematically below. Both braid strands point downward; each crossing has the right-to-left segment passing over the left-to-right segment, in the positive Artin convention fixed by the crossing-sign definition. The outer arcs connect the corresponding top and bottom endpoints. This drawing specifies the braid closure but is not used in the value calculation.
Example references
Facts & Assumptions
Given: , the crossingless unknot, the standard positive trefoil diagram, and the positive-clasped Whitehead double with Hedden–Ording twist parameter .
The standard unknot is the one-crossingless oriented knot with Lee circle algebra (Lee-deformed Khovanov complex and filtration).
A positive diagram with crossings and oriented-resolution circles has (Rasmussen's invariant for positive knots).
The reverse mirror changes the sign of (Rasmussen's invariant changes sign under mirror image).
The actual positive-clasped Whitehead double with Hedden–Ording twist parameter has and . The Hedden–Ording t=2 positive Whitehead double has tau zero and s two
The smooth four-ball genus is the minimum genus of a smooth orientable proper spanning surface (Smooth and topological slice genus).
is the stated axiom branch for the knot invariants and smooth genus used in this Example (The Axiom of Countable Choice ()).
The two-twisted positive Whitehead trefoil double has Rasmussen invariant two supplies the finite Lee computation for this exact Whitehead diagram. The joint numerical result The Hedden–Ording t=2 positive Whitehead double has tau zero and s two also proves its independently normalized knot Floer value by the admitted twelve-grid and its full filtered quotient calculation. Both values in [F4] are proved inputs.
The general smooth four-ball bound is (Rasmussen's s-invariant bounds smooth four-ball genus).
Proof
Given: The knots and conventions in the Example.
Under [A1], the crossingless unknot complex has one cohomological degree and basis in quantum degrees , so its two filtration levels are . The definition gives .
The standard positive trefoil diagram has crossings and circles in its oriented resolution. Applying [F2] gives . By [F3], its reverse mirror has value .
The trefoil Seifert construction from the given diagram starts with two disks and attaches three bands, so its connected orientable surface has Euler characteristic and one boundary component. The identity gives genus . Push its interior into a collar of the boundary three-sphere in the four-ball, using a height function that vanishes only on the boundary knot; its graph is still an embedded orientable surface with the same boundary and genus. Thus [F5] gives . The bound in [F6] gives , so its smooth four-ball genus is .
Apply the joint value lemma [F4] to the actual positive-clasped double with Hedden–Ording twist parameter . Its diagram and zero-longitude convention are exactly those stipulated here, so it gives and . Together with the unknot and trefoil calculations and the smooth genus computation above, these are every value asserted in the Example.
The s-invariant is not twice the knot Floer tau invariant
Statement refuted
Assume the Axiom of Countable Choice. The universal identity for every oriented knot is false. The positive-clasped Whitehead double of the right-handed trefoil with Hedden–Ording twist parameter has and , so its two sides are unequal.
Statement references
Facts & Assumptions
Given: , the universal identity and the positive-clasped Whitehead double with Hedden–Ording twist parameter .
The worked example proves the values and in the Hedden–Ording twist convention (Unknot, trefoils, and the 2-twisted positive Whitehead double, The Hedden–Ording t=2 positive Whitehead double has tau zero and s two).
is inherited from the diagram-independent definition and the joint Whitehead-value computation; the finite filtered threshold defining introduces no choice assumption (The Axiom of Countable Choice (), Rasmussen’s s-invariant, The Hedden–Ording t=2 positive Whitehead double has tau zero and s two).
The joint numerical lemma proves both the exact Lee value and the normalized full filtered knot Floer threshold for this actual Whitehead double. The Hedden–Ording t=2 positive Whitehead double has tau zero and s two
Proof
Given: The proposed universal identity and the specified positive-clasped Whitehead double with Hedden–Ording twist parameter .
For this actual knot, [F1] and [L1] give and . Hence twice its normalized tau value is .
If the asserted identity held for every oriented knot, substituting this knot would give . Since these integers are unequal, the displayed knot is an actual counterexample to the universal identity.