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