MINIMAL EULER CHARACTERISTICS OF 4-MANIFOLDS WITH 3-MANIFOLD GROUPS HONGBIN SUN AND ZHONGZI WANG Abstract. Let π = π1(M) for a compact 3-manifold M, and let ∗ χ4, p and q be the invariants of Hausmann-Weinberger, Kotschick and Hillman respectively. For certain class of compact 3-manifolds M, including all those not containing two-sided RP 2, we determine χ4(π). We address when does χ4(π) = p(π), when does χ4(π) = q∗(π), and answer a question raised by Hillman. Contents 1. Introduction 1 2. Decomposition of 3-manifolds by S2 and two-sided RP 2 5 3. Betti numbers of 3-manifold groups 7 4. An upper bound of χ4(π) 11 5. A lower bound for χ4(π) 14 6. p(π)= χ4(π) for 3-manifolds without closed non-orientable prime factor 21 ∗ 7. q (π)= χ4(π) for 3-manifold groups containing no 2-torsions 24 References 26 arXiv:2103.10273v2 [math.GT] 26 May 2021 1. Introduction Since any finitely presented group G can be realized as the fundamental group of some closed 4-manifold X and it is impossible to classify finite 2010 Mathematics Subject Classification. Primary 57N65; Secondary 57M05, 57N13. Key words and phrases. 3-manifolds, 4-manifolds, fundamental group, Euler Characteristic. The first author is partially supported by Simons Collaboration Grant 615229. 1 2 HONGBINSUNANDZHONGZIWANG presentable groups, it is impossible to classify closed 4-manifolds. Even just to classify 4-manifolds with fundamental groups in a special family of groups (that can be classified), in general it is still a very difficult problem. However, studying some basic topological invaraints of 4- manifolds with given fundamental group, e.g. Euler characteristics and signatures, is an interesting and important topic, see [HW], [JK], [Ko1], [Ec], [Hi], [KL], [KLPT] and the references therein. For any finitely presented group G, denote βi(G) to be the real coeffi- cient i-th betti number of K(G, 1), the classifying space of G. Denote χ(W ) to be the Euler characteristic of a finite CW complex W , and denote σ(X) to be the signature of a closed oriented 4-manifold X. In 1985 Hausmann and Weinberger [HW] introduced the 4-manifold Euler characteristic for a finitely presented group G, defined by ∼ χ4(G) = inf{χ(X)|X is a closed orientable 4-manifold and π1(X) = G}. There are also some variations of χ4(G). In 1994 Kotschick [Ko1] in- troduced ∼ p(G) = inf{χ(X)−|σ(X)||X is a closed orientable 4-manifold and π1(X) = G}. In 2002 Hillman [Hi] introduced ∗ ∼ q (G) = inf{χ(X)|X is a closed 4-manifold and π1(X) = G}. It is known that ∗ χ4(G) ≥ p(G), χ4(G) ≥ q (G) (1.0). ∗ Note both χ4(G) and q (G) are denote as q(G) in their original def- initions, see [HW] and [Hi]. Moreover, q∗(G) is originally defined for ∗ PD4-complexes in [Hi], and Theorem 1.4 is also valid when q is defined for PD4-complexes, see Remark 7.3 (2). Kotschick made a useful observation to estimate the lower bound of χ4(G) and p(G) when β4(G) = 0 [Ko1, Theorems 2.8 and 4.2]. More variations and generalizations of χ4(G) can be found in [Hi], [Ko2], [BK], [KL], and [AH]. An important family of finitely presented groups which can be classified are groups of compact 3-manifolds, which include all cyclic groups, free groups, surface groups and knot groups. Many studies have been made for 4-manifolds with 3-manifold groups, see [JK], [Ko1], [Hi], [KL], [KLPT] and the references therein. We survey known results on these invariants of 3-manifold groups in the following theorem. EULER CHARACTERISTICS OF 4-MANIFOLDS WITH 3-MANIFOLD GROUPS3 Theorem 1.0 Suppose M is a compact 3-manifold and π1(M)= π. (1) χ4(π) = p(π)=2 when M is closed, orientable and aspherical, [Ko1, Proposition 5.6]. (2) χ4(π)=2 − 2q when M is closed and orientable, where q is the maximal rank of free group in the free product decomposition of π, [Hi, page 61-62], [KL, Theorem 3.3]. (3) χ4(π)=0, when π is the group of a knot complement in the 3-sphere S3, [Hi, Corollary 3.12.3], [KL, Theorem 3.4]. (4) Suppose M is a closed aspherical 3-manifold and π1(X) = π for a closed 4-manifold X. If X and M have the same orientablity, then χ(X) > 0 and 1 ≤ q∗(π) ≤ 2, [Hi, Theorem 3.13 and Corollary 3.13.1]. Hillman asked [Hi, page 63] whether results in (4) above can be ex- tended to all closed 3-manifold groups without torsion and without free Z-factors. In this paper, we try to determine χ4(π) for fundamental groups of compact 3-manifolds in general. We also get some results related to p(π) and q∗(π). It turns out that, to deal with non-orientable 3-manifolds, the problem becomes more difficult and some new ap- proaches are needed. For the undefined terminologies, see [He] and [Ha2] about 3-manifolds, see [Kir] about 4-manifolds, see [Ha1] about algebraic topology. Conventions: (1) All homology and cohomology groups have real coef- ficients, and all Betti-numbers are taken with respect to real coefficient (co)homology groups, unless otherwise indicated. (2) Since each 3-manifold group can be realized by a 3-manifold without S2 boundary components, below we assume each 3-manifold contains no S2 boundary component unless otherwise indicated. This assump- tion does not affect the correctness of our results, see Remark 7.3 (3). The Kneser-Milnor theorem claims that each compact 3-manifold has a prime decomposition, whose prime factors are unique up to homeomor- phism and permutation ([He]). Then M has a prime decomposition m n p q M = (#i=1Mi)#(#j=1Nj)#(#l=1Ql)#(#e=1Se) (1.1). Here each prime factor may or may not be orientable and belongs to one of the following categories (see Section 2 for more detail): (i) each Mi is a closed prime 3-manifold with |π1(Mi)| = ∞ and is not an S2- or RP 2-bundle over S1; (ii) each Nj is a closed prime 3-manifold with |π1(Nj)| < ∞; 4 HONGBINSUNANDZHONGZIWANG (iii) each Ql is a prime 3-manifold and ∂Ql is non-empty; 2 2 1 (iv) each Se is an S - or RP -bundle over S . 2 1 Note in (ii) each Nj is orientable, and in (iv) each RP -bundle over S is homeomorphic to RP 2 ×S1. Also each orientable 3-manifold contains no 2-sided RP 2, and each 3-manifold containing RP 2 has 2-torsion in its fundamental group. We made the following conjecture. Conjecture 1.1. Suppose M is a compact 3-manifold with prime de- composition described as in (1.1) and (i)-(iv). Let π = π1(M), then χ4(π)= p(π)=2 − 2(p + q)+ χ(∂M). If Conjecture 1.1 is true, it implies that any closed orientable 4-manifold X realizing χ4(π) has zero signature. We state our works on χ4(π) and related invariants in the following three theorems. Theorem 1.2 is more difficult to prove and is the main result of this paper. Theorems 1.2 and 1.3 provide evident for Conjecture 1.1. Theorem 1.2. Suppose M is a compact 3-manifold with prime decom- position described as in (1.1) and (i)-(iv). Let π = π1(M), then χ4(π)=2 − 2(p + q)+ χ(∂M) (1.2) 2 if each Mi in (i) and each Ql in (iii) contains no two-sided RP . In particular, (1.2) holds when M contains no two-sided RP 2. Theorem 1.3. Suppose M is a compact 3-manifold with prime decom- position described as in (1.1) and (i)-(iv). Let π = π1(M), then p(π)= χ4(π)=2 − 2(p + q)+ χ(∂M) (1.3) if each closed 3-manifold Mi in (i) is orientable. In particular, (1.3) holds when M is orientable. The third one confirms the question asked by Hillman above, and in fact we prove a stronger result. Theorem 1.4. Suppose M is a compact 3-manifold with prime decom- position described as in (1.1) and (i)-(iv). Let π = π1(M), then ∗ q (π)= χ4(π)=2 − 2(p + q)+ χ(∂M) (1.4) if π contains no 2-torsions. Furthermore if p = q =0, then q∗(π)=2. EULER CHARACTERISTICS OF 4-MANIFOLDS WITH 3-MANIFOLD GROUPS5 ∗ 4 ∗ Note q (Z2) = 1 is realized by RP . So the equality q (π) = χ4(π) in Theorem 1.4 is not true for 3-manifold groups in general. Remark 1.5. (1) Among those conditions posed on Theorems 1.2, 1.3, 1.4, no one is stronger than another except one case: the condition posed in Theorem 1.4 is stronger than that posed in Theorems 1.2. Also note in Theorem 1.2, those Mi in (i) might be non-orientable and 2 Se in (iv) may contain two-sided RP ; in Theorem 1.3, those Ql in (iii) 2 and Se in (iv) may contain two-sided RP . (2) If M is closed and orientable, then (1.2) in Theorem 1.2 becomes χ4(π)=2 − 2q, since p = χ(∂M) = 0 in this case. If M is a knot 3 complement in S , then (1.2) becomes χ4(π) = 0, since p = 1 and q = χ(∂M) = 0.