Kronheimer-Mrowka

http://jp.arxiv.org/abs/1110.1290
http://jp.arxiv.org/abs/1110.1297
Rasmussen 不変量は4次元微分 Poincaré 予想の反例の判定には使えないという．