Brieskorn spheres, cyclic group actions and the Milnor conjecture

David Baraglia,Pedram Hekmati
DOI: https://doi.org/10.1112/topo.12339
2024-06-06
Journal of Topology
Abstract:In this paper we further develop the theory of equivariant Seiberg–Witten–Floer cohomology of the two authors, with an emphasis on Brieskorn homology spheres. We obtain a number of applications. First, we show that the knot concordance invariants θ(c) defined by the first author satisfy θ(c)(Ta,b)=(a−1)(b−1)/2 for torus knots, whenever c is a prime not dividing ab . Since θ(c) is a lower bound for the slice genus, this gives a new proof of the Milnor conjecture. Second, we prove that a free cyclic group action on a Brieskorn homology 3‐sphere Y=Σ(a1,⋯,ar) does not extend smoothly to any homology 4‐ball bounding Y . In the case of a non‐free cyclic group action of prime order, we prove that if the rank of HFred+(Y) is greater than p times the rank of HFred+(Y/Zp) , then the Zp ‐action on Y does not extend smoothly to any homology 4‐ball bounding Y . Third, we prove that for all but finitely many primes a similar non‐extension result holds in the case that the bounding 4‐manifold has positive‐definite intersection form. Finally, we also prove non‐extension results for equivariant connected sums of Brieskorn homology spheres.
mathematics
What problem does this paper attempt to address?