connected complement and nonnegative self-intersection, then there are infinitely many topologically equivalent but smoothly distinct embedded surfaces homologous to $\Sigma$. Here we extend this result to include symplectic surfaces whose self-intersection is bounded below by $2-2g$, where $g$ is the genus of $\Sigma$.

    We make use of tools from Heegaard Floer theory, and include several results that may be of independent interest. Specifically we give an analogue for [[Ozsváth-Szabó]{} ]{}invariants of the Fintushel-Stern knot surgery formula for Seiberg-Witten invariants, both for closed 4-manifolds and manifolds with boundary. This is based on a formula for the [[Ozsváth-Szabó]{} ]{}invariants of the result of a logarithmic transformation, analogous to one obtained by Morgan-Mrowka-Szabó for Seiberg-Witten invariants, and the results on [[Ozsváth-Szabó]{} ]{}invariants of fiber sums due to the author and Jabuka. In addition, we give a calculation of the twisted Heegaard Floer homology of circle bundles of “large” degree over Riemann surfaces.
author:
- 'Thomas E. Mark'
title: 'Knotted surfaces in 4-manifolds'
---

Introduction
============

Some time ago, Fintushel and Stern introduced a technique they called “rim surgery” for changing the embedding of a smooth surface $\Sigma$ in a closed 4-manifold $X$ [@FSrim; @FSaddend]. Their construction makes use of a knot $K\subset S^3$, and can be seen as an instance of their earlier “knot surgery” construction, applied to the complement of $\Sigma$. The interesting aspect of the construction is that under suitable conditions, Fintushel and Stern were able to show that the resulting surface $\Sigma_K\subset X$ is topologically equivalent to $\Sigma$, but smoothly distinct: rim surgery results in a [*smooth*]{} knotting of $\Sigma$ but not a [*topological*]{} one.

To ensure that the topological type of $(X,\Sigma)$ is unchanged by the construction, it suffices to assume that the complement $Z$ of a regular neighborhood of $\Sigma$ is simply connected (see [@FSrim; @boyer; @freedman], also Remark \[pi1remark\] below). Our current concern is
connected complement and nonnegative self - intersection, then there are infinitely many topologically equivalent but smoothly discrete implant surfaces homologous to $ \Sigma$. Here we extend this result to admit symplectic surfaces whose self - intersection is bounded downstairs by $ 2 - 2g$, where $ g$ is the genus of $ \Sigma$. 

     We make use of tool from Heegaard Floer theory, and include respective results that may be of independent interest. Specifically we give an analogue for [ [ Ozsváth - Szabó ] { } ] { } invariant of the Fintushel - Stern knot surgery rule for Seiberg - Witten invariants, both for closed 4 - manifold and manifolds with boundary. This is based on a rule for the [ [ Ozsváth - Szabó ] { } ] { } invariants of the result of a logarithmic transformation, analogous to one obtained by Morgan - Mrowka - Szabó for Seiberg - Witten invariant, and the results on [ [ Ozsváth - Szabó ] { } ] { } invariant of fiber sums due to the author and Jabuka. In addition, we hold a calculation of the twisted Heegaard Floer homology of circle bundles of “ large ” degree over Riemann surface. 
 generator: 
 -' Thomas E. Mark' 
 title:' Knotted surfaces in 4 - manifolds' 
 --- 

 Introduction 
 = = = = = = = = = = = = 

 Some time ago, Fintushel and Stern introduced a technique they call “ rim surgery ” for transfer the embedding of a legato surface $ \Sigma$ in a closed 4 - manifold $ X$ [ @FSrim; @FSaddend ]. Their construction cook use of a knot $ K\subset S^3 $, and can be seen as an instance of their early “ knot surgery ” construction, applied to the complement of $ \Sigma$. The interesting aspect of the structure is that under suitable conditions, Fintushel and Stern were able to show that the resulting surface $ \Sigma_K\subset X$ is topologically equivalent to $ \Sigma$, but smoothly distinct: rim operating room results in a [ * smooth * ] { } knotting of $ \Sigma$ but not a [ * topological * ] { } one. 

 To ensure that the topological type of $ (X,\Sigma)$ is unaltered by the construction, it suffices to assume that the complement $ Z$ of a regular neighborhood of $ \Sigma$ is simply connected (see [ @FSrim; @boyer; @freedman ], also Remark \[pi1remark\ ] under). Our current concern is
conjected complement and noknegative self-injeesectimn, theh there xre infinitely many topologirallt equuvalent but smoothly dkstinct elbedded wurfeces homologous vk $\Sigma$. Here sc extznv this result tp include vymplectic surxazed whose self-intersection is bounded below ny $2-2g$, where $g$ is jhe gtnuf of $\Sigma$.

    We make use of tools froj Heegaerd Floer theoru, and include several resupts hhat may be of indfpendent injsrefr. Specificaluy we give an analogue for [[Ozsváth-Szabó]{} ]{}invariants of tfe Fiutushel-Sterb jnoh surgery focmula sor Seiberg-Wlnten ineariantx, both for cloxed 4-mabifolds and manifolds with boundary. Thif is baseg kn a formula for rhw [[Ozseáth-Ssabó]{} ]{}kbvafiahtx kf the reault of a mogarithmic transformation, anakodius to one obfained br Morgan-Mrowka-Szabó for Seiberg-Witten innariznts, and the results on [[Ozsváth-Szabó]{} ]{}invariantd of fibew sums due to the author and Jabuka. In addition, wa givx x ccoculaguoj of the twisted Heegaard Floer homology of cydcke bundles of “lavge” degree over Rirmwnm surfaces.
authur:
- 'Thomas E. Mark'
title: 'Knottfd surfwces un 4-manifojds'
---

Imtroduction
============

Some time ago, Fibtushel and Frern introduced a cechnique thzy calked “rom surgery” for changing the embedding lf a smooff surface $\Sigma$ kn s wlosed 4-manifold $X$ [@FSrim; @FSwddend]. Thxir cpnstrucgion makes use of a nnot $K\subset S^3$, and can bf seeu as dn instancf of their earlier “knot surgery” construction, sp[livd to the compkement of $\Sigia$. The interesjing aspeet of ghe constrlction is that under suitable congltions, Fintuvhel and Steen wwre abld to show that yhe resulniug surfacw $\Sigma_K\subset X$ ix tulologically equnraoent to $\Sigma$, bit rmojtjlb disehnct: rim surcery rerilts kn a [*smooth*]{} ynotying of $\Sigma$ but nod a [*fopological*]{} one.

To rnfure thaj the topjlogical type of $(X,\Sigma)$ is unchwnged by the vonftruction, it suffices to assums that thf cjmplement $Z$ jf a regular neiyhborhood of $\Sigma$ is simply connected (sxe [@FSrim; @boyer; @freedman], also Remark \[pi1rematk\] nelow). Our cucrent soncern iv
connected complement and nonnegative self-intersection, then there many equivalent but distinct embedded surfaces extend result to include surfaces whose self-intersection bounded below by $2-2g$, where $g$ the genus of $\Sigma$. We make use of tools from Heegaard Floer theory, include several results that may be of independent interest. Specifically we give an for ]{}invariants the knot surgery formula for Seiberg-Witten invariants, both for closed 4-manifolds and manifolds with boundary. This is on a formula for the [[Ozsváth-Szabó]{} ]{}invariants of result of a logarithmic analogous to one obtained by for invariants, and results [[Ozsváth-Szabó]{} of fiber sums to the author and Jabuka. In addition, we give a calculation of the twisted Heegaard Floer homology circle bundles degree over surfaces. - E. Mark' title: in 4-manifolds' --- Introduction ============ Some and Stern introduced a technique they called “rim for changing embedding of a smooth surface $\Sigma$ a closed 4-manifold $X$ [@FSrim; @FSaddend]. Their construction use of a knot $K\subset S^3$, and can be seen as an instance of their surgery” construction, applied to complement of $\Sigma$. interesting of construction that under conditions, Fintushel and Stern were able to show that the resulting $\Sigma_K\subset X$ is topologically equivalent to $\Sigma$, but smoothly distinct: results a [*smooth*]{} knotting $\Sigma$ but not a one. ensure that the topological $(X,\Sigma)$ unchanged it to that the complement $Z$ a regular neighborhood of $\Sigma$ simply connected (see [@FSrim; below). Our current concern is
connected complement and nonNegative seLf-intErsEctIoN, theN theRe are infinitelY Many Topologically equivalenT but sMoOThly DIsTinct EmbeddeD SuRFAceS hOmOloGoUS tO $\SigmA$. HeRe we extEnd this resUlt To Include symplECtIc surfaces WhoSe self-intersEctIon is bOuNdeD Below By $2-2g$, Where $G$ is the GEnus of $\sigma$.

    We maKe USe of toOLs from HEEGaArd FLoer theory, and inclUDe SEveral results tHat may Be OF iNDEpeNdeNt interest. spEcifiCAlly we gIVe AN ANalOGue for [[Ozsváth-szabó]{} ]{}invariANts Of the FInTusHEl-SterN knot SuRGerY formula for seibErg-Witten InvariANts, both FOr closeD 4-manifOldS anD manIFoLdS wiTh BOunDArY. ThIS is Based on a FoRmUla foR the [[oZSVÁth-SZabÓ]{} ]{}invArianTs of the result Of a LogaRIthMic trAnsfoRmatIoN, analOgous tO one oBtAined by Morgan-MrOwka-szabó for SEibErG-WiTtEn invARiants, And The Results On [[OzsváTH-SzAbÓ]{} ]{}INVaRiants of fiber sums dUe TO ThE author aNd JabuKA. IN aDDition, we GiVe a CalcULAtion Of thE TwIsted HeeGaard FLOeR hOmology Of Circle BuNdlEs oF “largE” DegrEe over riemann sUrfacES.
author:
- 'Thomas E. mArk'
title: 'KnottED sURFaCEs in 4-ManIfolds'
---

IntroDuctIOn
============

SoMe tiME aGo, FINtushEl and stERn INtroduced a technique ThEy callEd “rim Surgery” for chaNging the emBEDDing of a sMootH SuRFace $\Sigma$ in a clOsed 4-mAnifold $X$ [@FSRIm; @FSaddeNd]. TheIr constrUction makES Use of a knOt $K\SubSet s^3$, anD CAn Be seen as an insTANce oF tHeir earLieR “knot suRgeRy” cOnsTruCtIon, applieD to the coMpLeMeNt Of $\SIgma$. THE interesTiNg aSpEct Of the COnstruCtion Is thAt UnDEr sUitable COnDITionS, FInTushEl aNd stern Were ABle To show tHat the resUltINg suRfAcE $\Sigma_K\Subset X$ is topoLoGically equIvAleNt to $\SiGMA$, but smooThly distinct: rim surgery rESults in A [*smOoth*]{} kNottIng of $\SigmA$ buT not a [*tOpoLOgical*]{} One.

To eNsure ThAt tHE TopolOGIcAl tYpE of $(X,\Sigma)$ iS UNchAnged By The cOnstrucTion, it suffices to asSUme That the compleMenT $Z$ of A REgUlaR NeIGhbOrHOod OF $\sigma$ is simply coNnected (see [@fSRIm; @Boyer; @freedMAn], aLsO Remark \[Pi1remarK\] beloW). our currEnt concerN is
connected complement and n onnegative  self -in ter se ctio n, t hen there arei nfin itely many topological ly eq ui v alen t  b ut sm oothlyd is t i nct  e mb edd ed su rface s h omologo us to $\Si gma $.  Here we ext e nd  this resu ltto include s ymp lectic  s urf a ces w hos e sel f-inte r sectio n is boun de d  below by $2-2 g $ ,wher e $g$ is the genu s  o f  $\Sigma$.

   We m ak e  u s e  of  to ols from H ee gaard Floer t h eo r y ,  an d  include seve ral results tha t maybe  of indepe ndent  i n ter est. Specif ical ly we giv e an a n aloguef or [[Oz sváth- Sza bó] {} ] { }i nv ari an t s o f  t heF int ushel-St er nknotsurg e r y form ula  for  Seib erg-Witten in var iant s , b oth f or cl osed  4 -mani foldsand m an ifolds with bou ndar y. This i s b as edon  a fo r mula f orthe  [[Ozsv áth-Sza b ó]{ }] { } in variants of the re su l t  o f a loga rithmi c  t ra n sformati on , a nalo g o us to  one ob tained b y Morg a n- Mr owka-Sz ab ó forSe ibe rg- Witte n  inv ariant s, and t he re s ults on [[Ozsv á th-Szabó]{} ] { }i n v ar i ants  of  fiber sums  due to t he a u th ora nd Ja buka.  I n  a d dition, we give a c al culati on of  the twistedHeegaard F l o e r homolo gy o f  c i rcle bundles o f “la rge” degre e  over Ri emann  surface s.
author : - 'Thoma s E . M ark '
t i t le : 'Knotted su r f aces  i n 4-man ifo lds'
-- -
Int rod uct io n
======= =====

S om eti me  ag o, Fi n tushel a nd  St er n i ntrod u ced atechn ique  t he y  ca lled “r i ms u rger y”  f or c han gi ng th e em b edd ing ofa smoothsur f ace$\ Si gma$ in  a closed 4-m an ifold $X$[@ FSr im; @F S a ddend].Their construction make s  use of  aknot$K\s ubset S^3 $,and ca n b e  seenas aninsta nc e o f their e ar lie r“knot surg e r y”const ru ctio n, appl ied to the complem e ntof $\Sigma$.The  int e r es tin g  a s pec to f t h e  construction i s that und er su itable con d iti on s, Fint ushel a nd St e rn were  able toshow that  t he r e s ult ing surfac e $\Sigm a_K\subse t  X$ i s  t opolo gic ally e qu iva lentto $\S i gma $, bu t smoo th ly dis tinct :rim surg ery results in a [*smoo th*]{}  knot tin g of $\Si gma $  bu t not a [ *top ological*] {}one .

To  en s ure t hatt he  to p ologi calt ype of $( X ,\ Sig m a )$  is unchang e d bythe c ons t ructio n, i t suffices to ass u me that the co mple m e nt$Z$ of a  r egular neighbo rho od o f $\Sigm a$  is simplyconnecte d( see [ @FSrim ; @boy er; @fr e e dm a n], al so R ema rk \[pi1r ema rk \ ] below ).  O u r curr entco ncernis
connected complement_and nonnegative_self-intersection, then there are_infinitely many_topologically_equivalent but_smoothly_distinct embedded surfaces_homologous to $\Sigma$._Here we extend this_result to include_symplectic_surfaces whose self-intersection is bounded below by $2-2g$, where $g$ is the genus of_$\Sigma$.

_ __We_make use of tools from_Heegaard Floer theory, and include_several results_that may be of independent interest. Specifically we_give_an analogue for_[[Ozsváth-Szabó]{} ]{}invariants of the Fintushel-Stern knot surgery formula for_Seiberg-Witten invariants, both for closed 4-manifolds_and manifolds with_boundary._This_is based on a_formula for the [[Ozsváth-Szabó]{} ]{}invariants of_the result of a logarithmic transformation,_analogous to one obtained by Morgan-Mrowka-Szabó for_Seiberg-Witten invariants, and the results on_[[Ozsváth-Szabó]{} ]{}invariants of fiber sums_due to_the author and Jabuka. In_addition, we give_a calculation_of the twisted_Heegaard Floer homology of circle bundles_of “large” degree_over Riemann surfaces.
author:
- 'Thomas E. Mark'
title:_'Knotted_surfaces in 4-manifolds'
---

Introduction
============

Some_time_ago,_Fintushel and_Stern introduced a_technique_they called_“rim_surgery” for changing the embedding of_a_smooth surface $\Sigma$ in a closed 4-manifold_$X$ [@FSrim; @FSaddend]. Their_construction_makes use of a_knot $K\subset S^3$, and can_be seen as an instance of_their earlier_“knot surgery”_construction, applied to the complement of $\Sigma$. The interesting aspect of_the construction is that under suitable_conditions, Fintushel and Stern_were able_to_show that the_resulting_surface $\Sigma_K\subset_X$ is topologically equivalent to $\Sigma$, but_smoothly distinct:_rim surgery results in a [*smooth*]{}_knotting of $\Sigma$ but_not_a [*topological*]{} one.

To ensure that the_topological type of $(X,\Sigma)$ is unchanged_by the construction, it suffices_to_assume_that the complement $Z$ of_a regular neighborhood of $\Sigma$ is_simply connected (see_[@FSrim; @boyer; @freedman], also Remark \[pi1remark\] below)._Our_current concern is