# Amphicheiral knot polynomials KT-1-H1-to-H4

## Setting

You are solving a mathematical proof problem. Assume only the stated starting checkpoint result and establish the stated target result. Check its hypotheses when applying it. Prove any other intermediate claims you need. End with a clear proof, or identify any gap you cannot close.

## Problem

H1: For every positive odd integer \(\ell\), there exists \(f_\ell\in\mathbb Z[z]\) such that
\[
f_\ell(s-s^{-1})f_\ell(s^{-1}-s)
\equiv(-1)^{(\ell-1)/2}\frac{s^\ell-s^{-\ell}}{s-s^{-1}}\pmod4.
\]
The quotient on the right is the Laurent polynomial
\(s^{\ell-1}+s^{\ell-3}+\cdots+s^{1-\ell}\); the congruence is coefficientwise in \((\mathbb Z/4\mathbb Z)[s^{\pm1}]\).

Prove H4: Identify \(S^3\) with \(\{(z_1,z_2)\in\mathbb C^2:|z_1|^2+|z_2|^2=1\}\). For integers \(a\ge2\) and odd \(c\), put
\[
\rho(z_1,z_2)=(e^{2\pi ic/2^a}z_1,\overline{z_2}),\qquad C=\{z_1=0\}.
\]
Let \(K\subset S^3\) be a smooth oriented knot disjoint from \(C\), with \(\rho(K)=K\), \(\rho|_K\) preserving orientation, and \(\operatorname{lk}(K,C)\) odd.
There exists \(Q\in\mathbb Z[U,V]\) such that
\[
\Delta_{K\cup C}(t,y)\doteq Q(t+t^{-1},y+y^{-1}).
\]
The variables \(t,y\) correspond to \(K,C\), respectively, and \(\doteq\) denotes equality up to a Laurent unit \(\pm t^iy^j\), \(i,j\in\mathbb Z\).

Write the full proof to answer.md in the workspace root. Write the statements and hypotheses of any external results you cite to cited_results.md; if none are used, write 'No external results cited.' Identify any gap you cannot close.