We show the non-existence results are essential for all the previous known applications of the Bauer-Furuta stable homotopy Seiberg-Witten invariants. As an example, we present a unified proof of the adjunction inequalities. We also show that the nilpotency phenomenon explains why the Bauer-Furuta stable homotopy Seiberg-Witten invariants are not enough to prove 11/8-conjecture.
We prove a nilpotency theorem for the Bauer-Furuta stable homotopy Seiberg-Witten invariants for smooth closed 4-manifolds with trivial first Betti number.
We give a method for computing the C_2-equivariant homotopy groups of the Betti realization of a p-complete cellular motivic spectrum over R in terms of its motivic homotopy groups. More generally, we show that Betti realization presents the C_2-equi
variant p-complete stable homotopy category as a localization of the p-complete cellular real motivic stable homotopy category.
The moduli space of stable pairs on a local surface $X=K_S$ is in general non-compact. The action of $mathbb{C}^*$ on the fibres of $X$ induces an action on the moduli space and the stable pair invariants of $X$ are defined by the virtual localizatio
n formula. We study the contribution to these invariants of stable pairs (scheme theoretically) supported in the zero section $S subset X$. Sometimes there are no other contributions, e.g. when the curve class $beta$ is irreducible. We relate these surface stable pair invariants to the Poincare invariants of Durr-Kabanov-Okonek. The latter are equal to the Seiberg-Witten invariants of $S$ by work of Durr-Kabanov-Okonek and Chang-Kiem. We give two applications of our result. (1) For irreducible curve classes the GW/PT correspondence for $X = K_S$ implies Taubes GW/SW correspondence for $S$. (2) When $p_g(S) = 0$, the difference of surface stable pair invariants in class $beta$ and $K_S - beta$ is a universal topological expression.
We survey computations of stable motivic homotopy groups over various fields. The main tools are the motivic Adams spectral sequence, the motivic Adams-Novikov spectral sequence, and the effective slice spectral sequence. We state some projects for future study.
We discuss the current state of knowledge of stable homotopy groups of spheres. We describe a new computational method that yields a streamlined computation of the first 61 stable homotopy groups, and gives new information about the stable homotopy g
roups in dimensions 62 through 90. The method relies more heavily on machine computations than previous methods, and is therefore less prone to error. The main mathematical tool is the Adams spectral sequence.