 $H_2(Y)={\mathbb{Z}}$ can be represented by an embedded sphere $\Sigma$. Let $Y$ be obtained from $Y'$ by performing surgery along $\Sigma$. Glue $W$ to $Y$ along ${\partial}Y=N=N\times\{0\}$ to obtain $X$.

By a Mayer-Vietoris argument, $X$ has the homology of ${\mathbb{R}}^4$. Further, as $\pi_1(Y)$ is normally generated by a meridian of $K$, to which a Casson handle is attached, $\pi_1(X)=1$. Finally, the end of $X$ is properly homotopic to the end of $P_0=P-S$, and hence $Y$ is simply-connected at infinity. Thus $Y$ is homeomorphic to ${\mathbb{R}}^4$ by Freedman’s theorem [@Fr].

Non-Vanishing of End Floer homology
-----------------------------------

Finally, we show that the End Floer homology for $X$ does not vanish. Consider the exhaustion of $X$ with $K_1=Y$, hence $M_1=N$ and $K_2$, $K_3$, …being the level sets after attaching successive handles as above. Note that $X-K_1$ is symplectic with symplectic form $\omega$, and each of the cobordisms $W_{1j}$ is a convex symplectic manifold with two convex boundary components $M_1$ and $M_j$. Hence $W_{1j}$ embeds in a symplectic $4$-manifold $Z=X_1\cup W_{1j}\cup X_j$ with both components of $Z-W_{1j}$ having $b_2^+>0$ by results of Eliashberg [@El] and Kronheimer-Mrowka [@KM]. Here $X_1$ and $X_j$ are manifolds with boundaries $M_1$ and $M_j$, respectively.

We shall consider $\omega$-twisted coefficients and the $Spin^c$ structure ${\mathfrak{s}}$ associated to $\omega$. Recall that $\omega$-twisted coefficients are coefficients determined by $\omega$ as follows: for a $3$-manifold $P\subset M$, we consider ${\mathbb{Z}}[{\mathbb{R}}]$ as a module over ${\mathbb{Z}}[H^
$ H_2(Y)={\mathbb{Z}}$ can be represented by an embedded sphere $ \Sigma$. Let $ Y$ be prevail from $ Y'$ by perform surgery along $ \Sigma$. Glue $ W$ to $ Y$ along $ { \partial}Y = N = N\times\{0\}$ to obtain $ X$. 

 By a Mayer - Vietoris argument, $ X$ have the homology of $ { \mathbb{R}}^4$. Further, as $ \pi_1(Y)$ is normally generated by a meridian of $ K$, to which a Casson handle is bind, $ \pi_1(X)=1$. last, the end of $ X$ is by rights homotopic to the goal of $ P_0 = P - S$, and therefore $ Y$ is simply - connected at infinity. Thus $ Y$ is homeomorphic to $ { \mathbb{R}}^4 $ by Freedman ’s theorem   [ @Fr ]. 

 Non - Vanishing of End Floer homology 
 ----------------------------------- 

 ultimately, we show that the End Floer homology for $ X$ does not vanish. Consider the exhaustion of $ X$ with $ K_1 = Y$, therefore $ M_1 = N$ and $ K_2 $, $ K_3 $, … being the level sets after attaching consecutive handles as above. Note that $ X - K_1 $ is symplectic with symplectic form $ \omega$, and each of the cobordisms $ W_{1j}$ is a convex symplectic manifold with two convex boundary components $ M_1 $ and $ M_j$. therefore $ W_{1j}$ embeds in a symplectic $ 4$-manifold $ omega = X_1\cup W_{1j}\cup X_j$ with both components of $ Z - W_{1j}$ having $ b_2^+>0 $ by results of Eliashberg   [ @El ] and Kronheimer - Mrowka   [ @KM ]. Here $ X_1 $ and $ X_j$ are manifold paper with boundaries $ M_1 $ and $ M_j$, respectively. 

 We shall consider $ \omega$-twisted coefficients and the $ Spin^c$ structure $ { \mathfrak{s}}$ associated to $ \omega$. Recall that $ \omega$-twisted coefficient are coefficient determine by $ \omega$ as follows: for a $ 3$-manifold $ P\subset M$, we consider $ { \mathbb{Z}}[{\mathbb{R}}]$ as a module over $ { \mathbb{Z}}[H^
 $H_2(Y)={\lathbb{Z}}$ can be representtd by an embedded sphere $\Sigma$. Let $Y$ bd obtained from $Y'$ by performmng wurgeey along $\Sigma$. Glue $W$ go $Y$ alonh ${\partiao}Y=N=N\uimes\{0\}$ to obtain $X$.

Ug a Maycx-Vietkvis axgnment, $X$ has the homology mf ${\mathbb{R}}^4$. Furdhdr, as $\pi_1(Y)$ is normally generated by a ieridiam lf $K$, to which w Caxfon gandle is attached, $\pi_1(X)=1$. Finally, the end of $X$ is properlu homotopic to the end of $O_0=P-S$, wnd hence $Y$ is simoly-connectee at unfinity. Thur $Y$ is homtokorphic to ${\mathbb{R}}^4$ by Freedman’s theorem [@Fr].

Von-Vauishing of Gue Fpmer homologb
-----------------------------------

Finaljy, we show tmst the End Flper homology fpr $E$ dows not vanish. Considec the exhaustion of $V$ with $K_1=Y$, hznce $M_1=N$ and $K_2$, $K_3$, …being tye leeel vets qftdr ztvacging skccxssive handmes as abovw. Note that $X-K_1$ is sum[oectic with sgmpleceis form $\omega$, and each of the cobordisms $W_{1j}$ is a convex symplectic manifold with two cojvex bounqary components $M_1$ and $M_j$. Hence $W_{1j}$ embeds in a sym[lectmc $4$-maulnold $Z=X_1\fup W_{1j}\cup X_j$ with both components of $Z-W_{1j}$ havigf $n_2^+>0$ ny results of Ellashberg [@El] and Kromhfikgr-Mrowka [@KM]. Herg $X_1$ and $X_j$ are manifolds witj boundwries $M_1$ and $M_j$, reslectively.

We shall consider $\imega$-twisted xoefficients and tke $Spin^c$ strbcture ${\mathgrak{s}}$ associated to $\omeya$. Reczll that $\omfga$-twistes coefficients ard cpexficients determined by $\omqga$ as foolowx: for a $3$-manofold $[\subset M$, ae cokvider ${\mathbb{Z}}[{\mathbh{R}}]$ as a module ovfr ${\mathbb{Z}}[H^
$H_2(Y)={\mathbb{Z}}$ can be represented by an embedded Let be obtained $Y'$ by performing to along ${\partial}Y=N=N\times\{0\}$ to $X$. By a argument, $X$ has the homology of Further, as $\pi_1(Y)$ is normally generated by a meridian of $K$, to which Casson handle is attached, $\pi_1(X)=1$. Finally, the end of $X$ is properly homotopic the of and $Y$ is simply-connected at infinity. Thus $Y$ is homeomorphic to ${\mathbb{R}}^4$ by Freedman’s theorem [@Fr]. Non-Vanishing End Floer homology ----------------------------------- Finally, we show that End Floer homology for does not vanish. Consider the of with $K_1=Y$, $M_1=N$ $K_2$, …being the level after attaching successive handles as above. Note that $X-K_1$ is symplectic with symplectic form $\omega$, and each the cobordisms a convex manifold two boundary components $M_1$ Hence $W_{1j}$ embeds in a symplectic X_j$ with both components of $Z-W_{1j}$ having $b_2^+>0$ results of [@El] and Kronheimer-Mrowka [@KM]. Here $X_1$ $X_j$ are manifolds with boundaries $M_1$ and $M_j$, We shall consider $\omega$-twisted coefficients and the $Spin^c$ structure ${\mathfrak{s}}$ associated to $\omega$. Recall that are coefficients determined by as follows: for $3$-manifold M$, consider as a over ${\mathbb{Z}}[H^
 $H_2(Y)={\mathbb{Z}}$ can be represented By an embeddEd sphEre $\sigMa$. let $Y$ Be obTained from $Y'$ by pERforMing surgery along $\Sigma$. GLue $W$ tO $Y$ ALong ${\PArTial}Y=n=N\times\{0\}$ TO oBTAin $x$.

BY a mayEr-vIeToris ArgUment, $X$ hAs the homolOgy Of ${\Mathbb{R}}^4$. FurthER, aS $\pi_1(Y)$ is normAllY generated by A meRidian Of $k$, to WHich a casSon haNdle is ATtacheD, $\pi_1(X)=1$. FinalLy, THe end oF $x$ is propERLy HomoTopic to the end of $P_0=P-s$, AnD Hence $Y$ is simply-ConnecTeD At INFinIty. thus $Y$ is homEoMorphIC to ${\mathBB{R}}^4$ BY fReeDMan’s theorem [@Fr].

non-VanishinG Of ENd FloeR hOmoLOgy
-----------------------------------

FinAlly, wE sHOw tHat the End FlOer hOmology foR $X$ does NOt vanisH. consideR the exHauStiOn of $x$ WiTh $k_1=Y$, hEnCE $M_1=N$ ANd $k_2$, $K_3$, …bEIng The level SeTs After AttaCHING sucCesSive HandlEs as above. Note ThaT $X-K_1$ iS SymPlectIc witH symPlEctic Form $\omEga$, anD eAch of the cobordiSms $W_{1J}$ is a conveX syMpLecTiC maniFOld witH twO coNvex bouNdary coMPonEnTS $m_1$ AnD $M_j$. Hence $W_{1j}$ embeds in A sYMPlEctic $4$-manIfold $Z=x_1\CuP W_{1J}\Cup X_j$ witH bOth CompONEnts oF $Z-W_{1j}$ HAvIng $b_2^+>0$ by reSults oF elIaShberg [@EL] aNd KronHeImeR-MrOwka [@Km]. here $x_1$ and $X_j$ Are manifOlds wITh boundaries $M_1$ aND $M_j$, respectiveLY.

WE SHaLL conSidEr $\omega$-twisTed cOEffiCienTS aNd tHE $Spin^C$ struCtURe ${\MAthfrak{s}}$ associated tO $\oMega$. ReCall tHat $\omega$-twistEd coefficiENTS are coefFiciENtS Determined by $\omEga$ as Follows: for A $3$-Manifold $p\subsEt M$, we conSider ${\mathBB{z}}[{\mathbb{R}}]$ As a ModUle OveR ${\MAtHbb{Z}}[H^
 $H_2(Y)={\mathbb{Z}}$ can  be repres ented  by  an  e mbed dedsphere $\Sigma $ . Le t $Y$ be obtained from  $Y'$  b y  per f or mingsurgery al o n g $ \S ig ma$ .G lu e $W$  to  $Y$ al ong ${\par tia l} Y=N=N\times\ { 0\ }$ to obta in$X$.

By a M aye r-Viet or isa rgume nt,  $X$has th e  homol ogy of ${ \m a thbb{R } }^4$. F u r th er,as $\pi_1(Y)$ isn or m ally generated  by ame r id i a n o f $ K$, to whi ch  a Ca s son han d le i s  at t ached, $\pi_1 (X)=1$. Fin a lly , theen d o f  $X$ i s pro pe r lyhomotopic t o th e end of$P_0=P - S$, and hence $ Y$ issim ply -con n ec te d a ti nfi n it y.T hus  $Y$ isho me omorp hict o $ {\ma thb b{R} }^4$by Freedman’s  th eore m  [@ Fr].
Non- Vani sh ing o f EndFloer  h omology
------- ---- --------- --- -- --- -- ----- 
Final ly,  we  show t hat the End  F l o e rhomology for $X$ d oe s no t vanish . Cons i de rt he exhau st ion  of$ X $ wit h $K _ 1= Y$, henc e $M_1 = N$  a nd $K_2 $,  $K_3$ ,…be ing  thel evel  setsafter at tachi n g successive h a ndles as abov e .N o te that  $X -K_1$ is sy mple c ticwith sy mpl e cticform$\ o me g a$, and each of the  c obordi sms $ W_{1j}$ is aconvex sym p l e ctic man ifol d  w i th two convexbound ary compon e nts $M_1 $ and  $M_j$.Hence $W_ { 1 j}$ embe dsina s ymp l e ct ic $4$-manifo l d  $Z= X_ 1\cup W _{1 j}\cupX_j $ w ith  bo th  componen ts of $Z -W _{ 1j }$  ha ving$ b_2^+>0$  b y r es ult s ofE liashb erg [ @El]  a nd Kro nheimer - Mr o w ka [ @K M] . He re$X _1$ a nd $ X _j$  are ma nifolds w ith boun da ri es $M_1 $ and $M_j$,re spectively .
We  shall c onsider$\omega$-twisted coeffi c ients a ndthe $ Spin ^c$ struc tur e ${\m ath f rak{s} }$ ass ociat ed  to $ \omeg a $ .Rec al l that $\o m e ga$ -twis te d co efficie nts are coefficien t s d etermined by$\o mega $ as  fo l lo w s:fo r  a$ 3 $-manifold $P\s ubset M$,we co nsider ${\ m ath bb {Z}}[{\ mathbb{ R}}]$ as a mo dule over  ${\mathb b{ Z}}[ H ^ 
 $H_2(Y)={\mathbb{Z}}$_can be_represented by an embedded_sphere $\Sigma$._Let_$Y$ be_obtained_from $Y'$ by_performing surgery along_$\Sigma$. Glue $W$ to_$Y$ along ${\partial}Y=N=N\times\{0\}$_to_obtain $X$.

By a Mayer-Vietoris argument, $X$ has the homology of ${\mathbb{R}}^4$. Further, as $\pi_1(Y)$_is_normally generated_by_a_meridian of $K$, to which_a Casson handle is attached,_$\pi_1(X)=1$. Finally,_the end of $X$ is properly homotopic to_the_end of $P_0=P-S$,_and hence $Y$ is simply-connected at infinity. Thus $Y$_is homeomorphic to ${\mathbb{R}}^4$ by Freedman’s_theorem [@Fr].

Non-Vanishing of End_Floer_homology
-----------------------------------

Finally,_we show that the_End Floer homology for $X$ does_not vanish. Consider the exhaustion of_$X$ with $K_1=Y$, hence $M_1=N$ and $K_2$,_$K_3$, …being the level sets after_attaching successive handles as above._Note that_$X-K_1$ is symplectic with symplectic_form $\omega$, and_each of_the cobordisms $W_{1j}$_is a convex symplectic manifold with_two convex boundary_components $M_1$ and $M_j$. Hence $W_{1j}$_embeds_in a symplectic_$4$-manifold_$Z=X_1\cup_W_{1j}\cup X_j$_with both components_of_$Z-W_{1j}$ having_$b_2^+>0$_by results of Eliashberg [@El] and Kronheimer-Mrowka [@KM]._Here_$X_1$ and $X_j$ are manifolds with boundaries_$M_1$ and $M_j$, respectively.

We_shall_consider $\omega$-twisted coefficients and_the $Spin^c$ structure ${\mathfrak{s}}$ associated_to $\omega$. Recall that $\omega$-twisted coefficients_are coefficients_determined by_$\omega$ as follows: for a $3$-manifold $P\subset M$, we consider ${\mathbb{Z}}[{\mathbb{R}}]$_as a module over ${\mathbb{Z}}[H^