AN ADJUNCTION INEQUALITY FOR THE BAUER{FURUTA TYPE INVARIANTS, WITH APPLICATIONS TO SLICENESS AND 4-MANIFOLD TOPOLOGY NOBUO IIDA, ANUBHAV MUKHERJEE, AND MASAKI TANIGUCHI Abstract. We give infinitely many knots in S3 that are not smoothly H-slice (that is, bounding a null-homologous disk) in many 4-manifolds but they are topologically H-slice. In particular, we give such knots in punctured elliptic surfaces E(2n). In addition, we give obstructions to codimension-0 embedding of weak symplectic fillings with b3 = 0 into closed symplectic 4-manifolds with + b1 = 0 and b2 ≡ 3 mod 4. We also show that any weakly symplectically fillable 3-manifold bounds a 4-manifold with at least two smooth structures. All of these results follow from our main result that gives an adjunction inequality for embedded surfaces in certain 4-manifolds with contact boundary under a non-vanishing assumption on Bauer{Furuta type invariants. Contents 1. Introduction 2 1.1. Obstruction to sliceness of knots 2 1.2. Obstruction to codimension-0 embeddings 3 1.3. Study of exotic 4-manifolds with boundary 5 1.4. Adjunction inequality and non-vanishing results of Bauer{Furuta type invariants 6 2. Preliminaries 10 2.1. Contact Geometry 10 2.2. Symplectic Geometry 10 2.3. Bauer{Furuta version of Kronheimer{Mrowka's invariant for arXiv:2102.02076v2 [math.GT] 14 Feb 2021 4-manifolds with contact boundary 11 3. Adjunction-Inequality for Iida's invariant 13 3.1. Proof of Theorem 1.19(i) 13 3.2. Proof of Theorem 1.19(ii) 17 4. Adjunction inequality for relative Bauer{Furuta invariant 17 4.1. Seiberg{Witten Floer homotopy type and relative Bauer{Furuta invariant 18 4.2. Proof of Theorem 1.24 20 4.3. Proof of Theorem 1.25 21 5. Proof of Applications 23 References 29 1 2 NOBUO IIDA, ANUBHAV MUKHERJEE, AND MASAKI TANIGUCHI 1. Introduction In Subsection 1.4, we will discuss an adjunction inequality involving the Bauer{ Furuta refinement of the Kronheimer{Mrowka's invariant for 4-manifolds with con- tact boundary. But first we will discuss several results that follow from this in- equality. 1.1. Obstruction to sliceness of knots. Studying various notions of sliceness for knots in S3 is a fundamental problem in low dimensional topology. A knot K in S3 is smoothly (resp. topologically) slice if K bounds a smooth (resp. locally flat) properly embedded 2-disk in D4. The first example of a knot in S3 that was topologically slice in D4 but not smoothly slice was found by Casson [4] by combining work of Donaldson [8] and Freedman [16]. Endo [11] proved that there are infinitely many topologically slice knots which are linearly independent in the knot concordance group by using Furuta's result [20]. Obstructions to smoothly slicing a knot in D4 have been obtained via Heegaard Floer theory [1, 7, 24, 25, 28, 51, 56, 58{60], Khovanov homology [63], and gauge theory [5, 42, 44]. We study the the existence of slice disks in general 4-manifolds with S3-boundary. In particular, let X be a closed, oriented, connected, smooth 4-manifold. And let K be a knot in S3. In [50, Definition 6.2], Manolescu, Marengon, Sarkar and Willis defined K to be smoothly (resp. topologically) H-slice in X if K bounds a properly embedded smooth (resp. locally flat) null-homologous disc in X◦ = X − Int B4. Note that the H-sliceness depends on 4-manifolds. For example, Schneiderman [67] proved that for any knot K ⊂ S3 whose Arf invariant is zero, there exists a positive 2 2 integer n such that K is smoothly H-slice in #n(S × S ). There are several known obstructions to smooth H-sliceness in both definite 4-manifolds [42, 50, 56] and indefinite 4-manifolds [49]. For topological obstructions, see [21, 35, 49, 64]. In this paper, we treat both types of 4-manifolds. First, we focus on symplectic + 4-manifolds with b2 ≡ 3 mod 4 and the connected sums of them. Since S3 has a unique tight contact structure proved by Eliashberg [10], we use TB(K) defined as the maximal value of Thurston{Bennequin numbers with 3 respect to Legendrian representations of K in (S ; ξstd), for more details, check Subsection 2.1. Theorem 1.1. Let X be a closed, symplectic 4-manifold with b1(X) = 0 and + 3 b2 (X) ≡ 3 mod 4. If K is a knot in S with TB(K) > 0, then it is not smoothly H-slice in X. Remark 1.2. Notice that X◦ is a symplectic cap for the standard contact structure on S3 and this is the result that obstructs H-sliceness in symplectic caps. On the other hand, there has been a lot of work proving such results for symplectic fillings. For example, Mrowka{Rollin's generelized Bennequin inequality [53, Theorem A], which is valid only when the Kronheimer{Mrowka's invariant m(X; s; ξ) is non- trivial (which is defined in [41]). However, the virtual dimension of Kronheimer{ 3 Mrowka's moduli spaces for any symplectic cap X of (S ; ξstd) is odd. (This is confirmed in Remark 5.1.) The invariant m(X; s; ξ) is defined to be zero when the virtual dimension is non-zero since there is no appropriate cohomology class to be evaluated on the moduli space. Hence, we use the Bauer{Furuta type stable homotopy refinement of m(X; s; ξ) constructed by the first author [30] in order to obtain the desired non-vanishing result. ADJUNCTION INEQUALITY, BF-TYPE REFINEMENT OF KM-INVARIANT 3 3 Theorem 1.3. There is an infinite family of knots Ki; i 2 Z in S that are linearly independent in the knot concordance group such that are topologically H-slice but not smoothly H-slice in any closed symplectic 4-manifold X with b1(X) = 0 and + b2 (X) ≡ 3 mod 4. Remark 1.4. We will also show that Theorems 1.1 and 1.3 are true when X is replaced with X1;X1#X2; or X1#X2#X3, where Xi; i = 1; 2; 3; are manifolds satisfying the hypothesis of X in the above theorems. Also, notice that we can take 4 Ki as topologically H-slice knots in S . For the explicit examples when X is the elliptic surface E(2n) we can do even better. We state our result for the K3 = E(2). Theorem 1.5. Let X be K3;K3#K3, or K3#K3#K3. There is an infinite family 3 of knots Ki; i 2 Z in S that are • linearly independent in the knot concordance group, • topologically H-slice in S4, and in particular in X, • smoothly slice in X, but • not smoothly H-slice in X. Remark 1.6. Note that, in [49, Corollary 1.7], it is proved that there is a topologi- cally H-slice knot in K3 but not smoothly H-slice in K3 by using the 10=8-theorem [18,29,49]. To authors best knowledge this is the first linearly independent infinite sequence of such examples known. Our techniques can also be useful to obstruct a knot in S3 from being rationally slice, i.e. from it bounding a disk in some rational homology 4-ball with boundary S3. Similar results have been proven before using Heegaard Floer techniques. In 2004, Plamenevskaya [62] proved tb(K) + jr(K)j ≤ 2τ(K) − 1 3 for any Legendrian knot K in (S ; ξstd), where τ(K) is a concordance invariant called the tau-invariant introduced in [56], tb(K) is the Thurston{Bennequin num- ber of K and r(K) is the rotation number of K. Since τ(K) can obstruct H-sliceness in any definite 4-manifold with b1 = 0 [56], TB(K) also can be useful to study H- sliceness. We give an alternative proof of such a result using the first author's invariant which is defined later in this Section: Theorem 1.7. Let K be a knot in S3 with either TB(K) > 0 or TB(K) > 0, here K is the mirror image of K. Then K is not slice in any rational homology ball W with boundary S3. 3 Corollary 1.8. There is an infinite family of knots Ki; i 2 Z in S that are linearly independent in the knot concordance group that are topologically H-slice but not smoothly H-slice in any closed negative definite 4-manifold X with b1(X) = 0. A stronger result is also proved in [65] for both positive and negative 4-manifolds. 1.2. Obstruction to codimension-0 embeddings. Next, we will focus on codimension- 0 embeddings of manifolds into closed symplectic 4-manifolds and their connected sums. Definition 1.9. Let X be a compact 4-manifold with connected boundary Y . We say X has a geometrically isolated 2-handle if there exists a 2-handle h in a handle decomposition of X such that 4 NOBUO IIDA, ANUBHAV MUKHERJEE, AND MASAKI TANIGUCHI (1) h does not intersect any 1-handles in that handle decompositon. (2) h generates a non-trivial element in H2(X; Z)= Tor. Remark 1.10. A manifold is called geometrically simply-connected if it has a handle decomposition with no 1-handle. Any geometrically simply-connected manifold with b2 6= 0 has geometrically isolated 2-handles. Theorem 1.11. Let (W; !) be a connected, weak symplectic filling of a given con- tact 3-manifold (Y; ξ) with b3(W ) = 0. We consider the following two types of 4-manifolds: • X1, X2 and X3 are closed sympectic 4-manifolds with b1(Xi) = 0 and + b2 (Xi) ≡ 3 mod 4, and • X is a closed negative definite 4-manifold with b1(X) = 0.