The 4-genus of a knot in S3 is an important measure of complexity, related to the unknotting number. A fundamental result used to study the 4-genus and related invariants of homology classes is the Thom conjecture, proved ...