Vanishing tau does not imply smooth sliceness

Given: The Axiom of Countable Choice, the universal implication, and the specified positive-clasped, two-full-twist Whitehead double in Hedden and Ording's convention.

The Axiom of Countable Choice (${\mathrm{A}\mathrm{C}}_{\omega }$) is the axiom assumption retained in the Statement.

External input, authorized by the run-specific source boundary. Hedden and Ording, The Ozsváth–Szabó and Rasmussen concordance invariants are not equal, Theorem 1.1, printed p. 2, states $\tau (D_{+}(T_{2,3},2))=0$ and $s(D_{+}(T_{2,3},2))=2$ for the two-twisted positive Whitehead double of the right-handed trefoil. Their Figure 1 specifies the twist box as full right-handed twists. The theorem states both values. Section 2.1, printed p. 4, reports a computer-computed Khovanov Poincaré polynomial: its homological-degree-zero support forces $s\in \{2,4\}$, and the genus-one upper bound together with Rasmussen's inequality forces $s=2$. The acknowledgments on printed p. 3 credit Rasmussen with the $s$ computations. This is a published derivation using computer output, not a reproduced Lee chain-complex computation; the numerical theorem is imported here.

External input, authorized by the run-specific source boundary. Rasmussen, Khovanov homology and the slice genus, Theorem 1 in §1, PDF p. 1, states $\mathrm{\mid }s(K)\mathrm{\mid }\le 2g_4(K)$ for every knot, where $g_4$ is the minimum genus of a smooth properly embedded surface in $B^4$. The source proof in §4.4 derives this from the filtered Lee cobordism map; I read that proof. This is the same smooth genus convention as Smooth and topological slice genus.

The Alexander filtration and tau level uses the same normalized threshold convention for the standard Ozsváth–Szabó invariant in [F1]. The target total homology is one-dimensional, so nonzero image agrees with Hom's surjective-inclusion convention.

The $s$ in [F1] is Rasmussen's standard integer obtained from rational Lee homology with the convention $s=s_{\max }-1$ stated in the Statement. The external Theorem 1 in [F2] uses this normalization; no local Lee-map proof is used here.

Smooth and topological slice genus defines $g_4^{\mathrm{s}\mathrm{m}}$ by minimizing the genera of smooth connected oriented properly embedded surfaces in $B^4$ with boundary the knot.

External input, authorized by the run-specific source boundary. Hom, A survey on Heegaard Floer homology and concordance, §3.1, Theorem 3.1(1), printed p. 8, identifies the standard $\tau$ defined by the same normalized threshold as a knot-concordance homomorphism. The survey's coefficient convention is stated on printed p. 2. I read the threshold definition and theorem statement; I do not claim to reconstruct the cited proof.