Higher type adjunction inequalities in seiberg-witten theory

In this paper, we derive new adjunction inequalities for embedded surfaces with non-negative self-intersection number in four-manifolds. These formulas are proved by using relations between Seiberg-Witten invariants which are induced from embedded surfaces. To prove these relations, we develop the relevant parts of a Floer theory for four-manifolds which bound circlebundles over Riemann surfaces.