Hi everybody! I am reading some papers about Casson's invariant for (integral) homology 3spheres...as the wiki says "Informally speaking, the Casson invariant counts the number of conjugacy classes of representations of the fundamental group of a homology 3sphere M into the group $SU(2)$". It seems to be something interesting to study, but this is "my first trip" in the realm of 3manifold topology, so I don't get the deep meaning of this invariant. I mean why should one study this invariant? what should I be expecting from it? which contributions is it likely to bear to this field? In particular I came across the Casson invariant while studying Heegaard splittings...do you have any reading to suggest? Thank you, Lor
Wikipedia's description of the Casson invariant gives the first important reason to study it. As an invariant that comes from the $\text{SU}(2)$ representation variety of $\pi_1(M)$, it reveals in particular that $\pi_1(M)$ is nonzero. At the time, before Perelman's proof of the Poincaré conjecture and geometrization, there was a lot of mystery about potential counterexamples to the Poincaré conjecture. For instance, one speculation was that the socalled $\mu$ invariant could reveal a counterexample. Since the Casson invariant lifts the $\mu$ invariant, and since it proves that $\pi_1(M)$ is nontrivial when it is nonzero, it is one way to see that the $\mu$ invariant can never certify a counterexample to the Poincaré conjecture. (Of course, no we know that there are no counterexamples.) A second fundamental reason to study the Casson invariant is that it is the only finitetype invariant of homology spheres of degree 1. Many interesting 3manifold invariants are finitetype, or (conjecturally) carry the same information as a sequence of finitetype invariants. This is known more rigorously at the level of knots; for instance, the derivatives of the Alexander polynomial, the Jones polynomial, and many other polynomials at $1$ are all finitetype invariants. At the level of knots, the second derivative of the Alexander polynomial, $\Delta''_K(1)$, is known to be the only nontrivial finitetype invariant of degree 2, and there is nothing in degree 1. So it means that this invariant appears over and over again as part of the information of many other invariants; there are many different definitions of the same $\Delta''_K(1)$. The same thing should happen to the Casson invariant, and indeed there are already two very differentlooking types of definitions: (1) Casson's definition; (2) either the first LMO invariant or the first configurationspace integral invariant. A third fundamental reason is that Casson invariant has an important categorification, Floer homology, which is the objects in the theory whose morphisms come from Donaldson theory. One wrinkle of this construction is that it is only a categorification of one of the definitions of Casson's invariant, Casson's definition. If Casson's invariant has many definitions, then it might (for all I know) have many different categorifications. If your question is meant in the narrow sense of what topology you can prove with the Casson invariant, then you can definitely prove some things but only (so far) a limited amount. However, if you are interested in quantum topological invariants in their own right, and not just as a tool for prequantum topology problems, then the Casson invariant is important because it is a highly nontrivial invariant that you encounter early and often. 

