Infinitely many universally tight contact manifolds with trivial Ozsváth-Szabó contact invariants.
This paper provides an introduction to the basics of Heegaard Floer homology with some emphasis on the hat theory and to the contact geometric invariants in the theory. The exposition is designed to be comprehensible to people without any prior knowledge of the subject.