2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/77949We prove new adjunction inequalities for embedded surfaces in four-manifolds with non-negative self-intersection number by using the Donaldson invariants. These formulas are completely analogous to the ones obtained by Ozsváth and Szabó using the Seiberg-Witten invariants. To prove these relations, we give a fairly explicit description of the structure of the Fukaya-Floer homology of a surface times a circle. As an aside, we also relate the Floer homology of a surface times a circle with the cohomology of some symmetric products of the surface.21 pages, no figures, Latex2eDifferential Geometry58D27; 57R57text