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 the following applications. First, we show that the knot concordance invariants $\theta^{(c)}$ defined by the first author satisfy $\theta^{(c)}(T_{a,b}) = (a-1)(b-1)/2$ for torus knots, whenever $c$ is a prime not dividing $ab$. Since $\theta^{(c)}$ is a lower bound for the slice genus, this gives a new proof of the Milnor conjecture of a similar flavour to the proofs using the Ozsváth-Szabó $\tau$-invariant or Rasmussen $s$-invariant. Second, we prove that a free cyclic group action on a Brieskorn homology $3$-sphere $Y = \Sigma(a_1 , \dots , a_r)$ does not extend smoothly to any contractible smooth $4$-manifold bounding $Y$. This generalises to arbitrary $r$ the result of Anvari-Hambleton in the case $r=3$. Third, given a finite subgroup of the Seifert circle action on $Y = \Sigma(a_1 , \dots , a_r)$ of prime order $p$ acting non-freely on $Y$, we prove that if the rank of $HF_{red}^+(Y)$ is greater than $p$ times the rank of $HF_{red}^+(Y/\mathbb{Z}_p)$, then the $\mathbb{Z}_p$-action on $Y$ does not extend smoothly to any contractible smooth $4$-manifold bounding $Y$. We also prove a similar non-extension result for equivariant connected sums of Brieskorn homology spheres.

On the group cohomology of groups of the form $\mathbb{Z}^n\rtimes \mathbb{Z}/m$ with $m$ free of squares

On the $K$-theory of groups of the form $\mathbb{Z}^n\rtimes \mathbb{Z}/m$ with $m$ square-free

On the Cuspidal Cohomology of Arithmetic Groups

Two results on cohomology of groups adapted to cochains

The equivariant cohomology for semidirect product actions

An algebraic criterion for the vanishing of bounded cohomology

An elementary and direct computation of cohomology with and without a group action

The cohomology of the nilCoxeter algebra

Cohomology rings of extended powers and free infinite loop spaces

Equivariant cohomology for cyclic groups of square-free order

A geometric computation of cohomotopy groups in co-degree one

The third cohomology 2-group

On the cohomology of SL$_n(\mathbb{Z})$

Homology groups of cubical sets

On loop extensions and cohomology of loops

$Z^{d}$-odometers and cohomology

Lannes' $T$-functor and mod-$p$ cohomology of profinite groups

Cohomology-Developed Matrices -- constructing families of weighing matrices and automorphism actions

Brieskorn spheres, cyclic group actions and the Milnor conjecture

On some negative motivic homology groups

Relative bounded cohomology on groups with contracting elements