Allen's non-realizability conjecture for unknown pairs of T(2,n)

About 2 years old · traced to

For an odd positive integer nn, consider a torus knot T(2,n)T(2,n) and the pairs (e,h)(e,h) of normal Euler number and first Betti number of smooth surfaces in B4B^4 bounded by T(2,n)T(2,n). The theorem in the source identifies a collection of pairs whose realizability is unknown: if n≡1(mod4)n\equiv 1\pmod 4, (e,h)=(4−2n+2m,1+m)(e,h)=(4-2n+2m,1+m) for 0≤m<n−10\leq m<n-1; if n≡3(mod4)n\equiv 3\pmod 4, (e,h)=(8−2n+2m,3+m)(e,h)=(8-2n+2m,3+m) for 0≤m<n−30\leq m<n-3. Allen's non-realizability conjecture. All unknown points in that collection are not realizable. The paper provides counterexamples for T(2,5)T(2,5) and T(2,9)T(2,9), so this conjecture is refuted.

References

Primary source

Kouki Sato, “Counterexamples to Allen's conjectures”, arXiv:2407.12049 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.