【摘要】
I will discuss recent work, partially joint with Daemi and Scaduto, Daemi, and Ghosh, on the structure of equivariant instanton homology. This includes a formulation as a computable finite-dimensional dg-module, its functoriality properties under indefinite cobordisms, and its relation to Kronheimer and Mrowka's I#(Y;Z). As applications, I will discuss surgery numbers of integer homology spheres and the existence of irreducible SU(2)-representations on knot surgeries.