Homologie instanton-symplectique: naturalité et cobordismes de dimension quatre

Les groupes d’homologie instanton-symplectique sont des invariants associés à des 3-variétés, définis par Manolescu et Woodward, qui constituent des analogues symplectiques de l’homologie des instantons. Je montrerai que ces groupes sont naturels : en tant que groupes abéliens Z/8Z-relativement gradués, ils ne dépendent que de la 3-variété et du choix d'un point base.

J’expliquerai ensuite comment définir des applications associées à des 4-cobordismes munis de chemins reliant les points bases, et donnerai quelques unes de leurs propriétés.