Open manifolds, Ozsvath-Szabo invariants and exotic R-4 ` S

We construct an invariant of certain open four-manifolds using the Heegaard Floer theory of Ozsvath and Szabo. We show that there is a manifold X homeomorphic to R-4 for which the invariant is non-trivial,showing that X is an exotic R-4. This is the first invariant that detects exotic R-4' s. (C) 2009 Published by Elsevier GmbH.