Arxiv:2105.07095V2 [Math.DG]

arXiv:2105.07095v2 [math.DG] 17 Jun 2021 clrcrauei h clrcrauei oiiea l p all at positive is curvature scalar the if curvature scalar etoa uvtrs opeemetric complete A curvatures. sectional ercwt oiiesaa curvature. scalar positive manifold with smooth metric a for obstructions topological several are clrcrauei n nyi ti once u fspheri of sum connected a is of it copies if some metri and only a and admits if 3-manifold curvature closed scalar a that shows Per03] Per02b, hwdasmlrrsl o nncmat -aiod with 3-manifolds (non-compact) for etry. result similar a showed eae eutecp eiso ok yGoo-asn[GL Gromov-Lawson by works of T SY82]. series [SY79b, a curvature. Schoen-Yau except scalar result positive related with 3-manifolds non-compact o xml,teWieedmnfl sacnrcil 3-man contractible a is to manifold homeomorphic Whitehead the m much example, is For 3-manifolds non-compact of structure topological opc -aiod.Tesmls aei hto contracti of that is case topologica simplest some The implies 3-manifolds. curvature compact scalar of positivity the hrtnsGoerzto ojcue[T7 BBB [MT07, Conjecture Geometrization Thurston’s h clrcraueo imninmnfl ( manifold Riemannian a of curvature scalar The o xml,tepofo hrtnsGoerzto conjec Geometrization Thurston’s of proof the example, For udmna n motn usinoemyaki o ocla to how is ask may one question important and fundamental A n fteapoce otecasfigqeto st study to is question classifying the to approaches the of One h oooia tutr fcmat3mnflsi ul u fully is 3-manifolds compact of structure topological The OOOIA IIIYADPSTV SCALAR POSITIVE AND RIGIDITY TOPOLOGICAL shmoopi to homeomorphic sc non-negative is Precisel with 3-manifold curvature. contractible scalar complete of any positivity the with tionship Abstract. eiae oGeadBso nhs6t birthday 65th his on G´erard Besson to Dedicated R nti ae,w td h oooia iiiyadisrela its and rigidity topological the study we paper, this In S 1 3 × se[Whi35]). (see S 2 R eety esn es`rsadMilt[BBM11] Bessi`eres Maillot and Besson, Recently, . 3 . 1. CURVATURE Introduction INWANG JIAN 1 g on M ssi ohv positive have to said is M + n ,w hwthat show we y, 0) oee,the However, 10]). g , lrcurvature alar ohv complete a have to it in oints stesmo all of sum the is ) iiiyfrnon- for rigidity l r complicated. ore l 3-manifolds. ble one geom- bounded a 3-manifolds cal ihpositive with c drto (see nderstood eei few a is here ue[Per02a, ture fl u not but ifold 3 n by and 83] M - whether There . ssify 2 JIAN WANG

3 For example, R admits a complete metric g0 with positive scalar curvature, 3 3 2 2 g0 = dxi + ( xidxi) . i i X=1 X=1 It is the only known contractible 3-manifold which has a complete positive scalar curvature metric. This suggests the rigidity question: Question: Is any complete contractible 3-manifold with positive scalar curvature homeomorphic to R3? Gromov-Lawson [GL83] and Chang-Weinberger-Yu [CWY10] showed that a complete contractible 3-manifold with uniformly positive scalar curvature (i.e. the scalar curvature is bounded away from zero) is homeomorphic to R3. Recently, we showed that a complete contractible 3-manifold, with positive scalar curvature and with trivial fundamental group at infinity, is homeomorphic to R3(see [Wan19a, Wan19b]). In this paper, we give a full and positive answer and show that Theorem 1.1. Any complete contractible 3-manifold with positive scalar curvature is homeomorphic to R3. We combine [Kaz82] (see Theorem 8.2 in [Wan19a]) to show that Corollary 1.2. Any complete contractible 3-manifold with non-negative scalar curvature is homeomorphic to R3. 1.1. Simply-connectedness at infinity vs. Triviality at infinity. Our main focus of this paper is on the understanding of how the positivity of scalar curvature influences the properties at infinity of manifolds. We are interested not only in the topology at infinity but also in the geometry at infinity. In order to describe the topology at infinity, let us introduce the simply- connectedness at infinity. • A manifold X is simply-connected for a compact set K ⊂ X, if there is a ′ ′ compact set K ⊂ X containing K, so that the induced map π1(X\K ) → ′ π1(X \ K) is trivial (i.e. any circle in M \ K is contractible in M \ K). • A manifold X is simply-connected at infinity if it is simply-connected for any compact subset of X. The only contractible and simply-connected at infinity 3-manifold is R3 (see [Sta72, HP71] and the Pioncaréconjecture [BBB+10, MT07]). For example, the Whitehead manifold is not simply-connected at infinity [Whi35]. The simply-connectedness at infinity has great influence on the geometry of a complete contractible 3-manifold (M, g). Especially, if M is not simply- connected at infinity, there is a lamination (a disjoint union of embedded surfaces) whose leaves are stable minimal planes (see Sections 3 and 5). Generally, the topological structure of contractible 3-manifolds is charac- terized by the simply-connectedness at infinity. This notion has a delicate POSITIVE SCALAR CURVATURE 3 but fruitful connection with minimal planes. Their relationship is embodied by the triviality at infinity of minimal planes. Let L ⊂ (M, g) be a complete properly embedded minimal plane (i.e. homeomorphic to R2). • L is trivial for a compact set K ⊂ M if there is a compact set K′ ⊂ M ′ containing K so that the induced map π1(L \ K ) → π1(M \ K) is trivial. • L is trivial at infinity if it is trivial for any compact subset of M. Notice that there exists a non-properly embedded minimal plane in some contractible 3-manifold. Remark. Let (M, g) be a complete contractible 3-manifold and L a properly embedded minimal plane. • If L is not trivial for some compact set K ⊂ M, then M is not simply- connected for K. • If L is not trivial at infinity, then M is not simply-connected at infinity. Roughly speaking, if a complete contractible 3-manifold (M, g) is not simply-connected for some compact set K ⊂ M (at infinity), there is a stable minimal plane L ⊂ (M, g) which is not trivial for K (at infinity). When considering the above rigidity question, it becomes necessary and crucial to study the triviality at infinity and its relationship with positive scalar curvature. In this article , we suggest their relationship as follows: Theorem 1.3. Let (M, g) be a complete contractible 3-manifold with positive scalar curvature. Then each complete embedded stable minimal plane in (M, g) is trivial at infinity. It gives us an intriguing circle involving the topology at infinity, minimal planes and positive scalar curvature. That is, the simply-connectedness at infinity gives a family of stable minimal planes. Then the positivity of scalar curvature implies the triviality at infinity of minimal planes. The triviality at infinity shows the simply-connectedness at infinity.

1.2. Idea of the proof of Theorem 1.1. We explain the idea of the proof of Theorem 1.1. Our main strategy pertains to the same philosophy as in [GL83] and [SY82] Suppose to the contrary that a complete contractible 3-manifold (M, g) with positive scalar curvature is not homeomorphic to R3 (i.e. it is not simply-connected at infinity). It is an increasing union of handlebodies {Nk} (see Theorem 2.5). By the definition of simply-connectedness at infinity, we may assume that M is not simply-connected for N0. Before constructing minimal surfaces, let us introduce a topological notation. An embedded circle γ ⊂ ∂N is a meridian curve of a handlebody N if it is contractible in N but non-contractible in ∂N. 4 JIAN WANG

Choose a meridian curve γk of Nk, which is not homotopically trivial in M \ N0. Its existence is ensured by the fact that M is not simply-connected for N0 (see Lemma 2.14). We could ﬁnd an area-minimizing disc Dk ⊂ Nk with boundary γk. It existence is ensured by the result of Meeks and Yau [MY80], when the boundary ∂Nk is mean convex (i.e. the mean curvature is non-negative).

If Dk converges to a minimal plane L, the contradiction comes from The- orem 1.3. Since γk is not homotopically M \ N0 for k > 0, we show that L is not trivial for N0. It is in contradiction with the fact that L is trivial at inﬁnity (see Theorem 1.3).

However, in general, the sequence {Dk} sub-converges to a lamination L instead of a single surface (see Theorem 5.5). It may have infinitely many components. Each component is a complete stable minimal plane. In this article, we use the positivity of scalar curvature to show that each component of L is trivial at infinity (see Theorem 1.3). That is to say, there is an integer k0 > 0 so that the induced map π1(L \ Int Nk0 ) → π1(M \ N0) is trivial for each L ∈ L (see Corollary 5.13). However, since γk is not homotopically trivial in M \ N0, we can find a non-contractible circle ck ⊂ Dk ∩ ∂Nk0 in M \ N0 (see Lemma 2.7). Roughly speaking, we show that, under the Hausdorff topology, these non- L contractible circles sub-converges to a circle in ∩ ∂Nk0 which is not null-homotopic in M \ N0, as Dk sub-converges to L . Namely, the map L π1(L \ Int Nk0 ) → π1(M \ N0) is non-trivial for some leaf L in , which is in contradiction with the last paragraph.

If ∂Nk is not mean convex, we modify the metric near ∂Nk so that it is mean convex for the new metric. The disc Dk is stable minimal for the new metric and for the original one away from ∂Nk (near Nk−1 for example) which is suﬃcient for our proof.

Actually, the convergence of the circles, {ck}, in the Hausdorff topology comes from the convergence with finite multiplicity of subsurfaces of {Dk}, which requires a local area estimate for {Dk} (stated in Theorem 4.9). How- ever, the area-minimizing property could not provide such an estimate. For overcoming it, we modify the construction of Dk so that the sequence {Dk} not only has the area-minimizing property but also satisfies the so- called disjointness property (see Section 3.1). These two properties could give the required area estimate (see Theorem 4.9 and Remark 4.10). The existence of such a sequence of {Dk} is a combination of the maximum principle for minimal surfaces and a geometric version of loop lemma due to Meeks and Yau [MY82]. The paper is organized as follows. In Section 2, we recall the background and describe the topological structure of contractible 3-manifolds. In Sec- tions 3 and 4, we construct the sequence {Dk} and show the local area POSITIVE SCALAR CURVATURE 5 estimate for {Dk}. In Section 5, we consider the limit of {Dk} and introduce the triviality at infinity. In Sections 6 and 7, we show the absence of non-trivial minimal plane at infinity and use it to complete the proof of Theorem 1.1. This project was developed from my Ph.D project supported by ERC Advanced Grant 320939, GETOM. We are grateful to Gérard Besson for suggesting this question and for many helpful comments that improved the exposition of this paper. We would like to thank Misha Gromov, Blaine Lawson and Bernhard Hanke for their interest. This research is partially supported by the Special Priority Program SPP 2026, Geometry at infinity.

2. Contractible 3-manifolds and Handlebodies In this section, our main focus is on the topological structure of contractible 3-manifolds. We begin with the simply-connectedness at inﬁnity. Then we introduce the handlebody and explain the topological structure of contractible 3-manifolds.

2.1. Simply-connectedness at infinity. Definition 2.1. A path-connected topological space M is simply-connected for a compact set K ⊂ M, if there is a compact set K′ ⊂ M containing K ′ so that the induced map π1(M \ K ) → π1(M \ K) is trivial (i.e. its image is a trivial group). The space M is simply-connected at infinity if it is simply-connected for any compact subset of M. For example, the Whitehead manifold is a contractible 3-manifold but not homeomorphic to R3. It is not simply-connected at infinity (see [Whi35]). The Poincaréconjecture (see [Per02a, Per02b, Per03]) shows that a contractible 3-manifold is irreducible (i.e. any embedded 2-sphere in the 3- manifold bounds a 3-ball). A classical result (see [Sta72, HP71]) implies that the only contractible and simply-connected at infinity 3-manifold is R3. Remark 2.2. If a contractible 3-manifold M is not homeomorphic to R3, it is not simply-connected at infinity. That is to say, it is not simply-connected for some compact set K ⊂ M. Further, K is not contained in a 3-ball of M. Consider a properly embedded plane in a contractible 3-manifold. We have that Lemma 2.3. Let M be a contractible 3-manifold and L ⊂ M a properly embedded plane. Then L cuts M into two contractible 3-manifolds. Remark that there is a non-properly embedded plane in some contractible 3-manifold. 6 JIAN WANG

2 Proof. First, we use Mayer-Vietoris sequence to show that H0(M \ L) =∼ Z . That is to say, L cuts M into two components, M1 and M2. Then, Van-Kampen’s Theorem shows that each Mi is simply-connected. Mayer-Vietoris sequence implies that Hj(Mi)= {1} for i = 1, 2 and j ≥ 1. We inductively use Hurewicz’s theorem (see [Theorem 4.32 , Page 366] in [Hat05]) to have that πj(Mi) = {1} for i = 1, 2 and j ≥ 1. Whitehead’s Theorem (see [Theorem 4.5 , Page 346] in [Hat05]) implies that each Mi is contractible.

2.2. Handebody. Deﬁnition 2.4. (see Page 59 in [Rol03]) A closed handlebody is any space obtained from the closed 3-ball D3 (0-handle) by attaching g distinct copies of D2 ×[−1, 1] (1-handle) with the homeomorphisms identifying the 2g discs D2 × {±1} to 2g disjoint 2-disks on ∂D3, all to be done in such a way that the resulting 3-manifold is orientable. The integer g is called the genus of the handlebody. Let us remark that a handlebody of genus g is homeomorphic to a boundary connected sum of g solid tori. Therefore, its boundary is a compact surface of genus g. (See Page 59 in [Rol03]) We use a result of McMillan [McM61] and the Poincar´econjecture (see [BBB+10, MT07]) to have that Theorem 2.5. ([Theorem 1, Page 511] in [McM61]) Any contractible 3- manifold can be written as an ascending union of handlebodies .

Definition 2.6. Let {ci}i∈I be a finite set of pairwise disjoint circles in 2 2 the disc D and Di ⊂ D the unique disc with boundary ci. Consider the set {Di}i∈I and define a partially ordered relation induced by the inclusion. ({Di}i∈I , ⊂) is a partially ordered set. For each maximal element Dj in ({Di}i∈I , ⊂), its boundary cj is defined as a maximal circle of {ci}i∈I in D. Lemma 2.7. Let M be a 3-manifold and N ⊂ M a closed handlebody. Assume that the circle γ ⊂ M \N bounds an embedded disc D. If any closed circle in D ∩ ∂N is homotopically trivial in M \ K where K ⊂ Int N is a compact set, then γ is also null-homotopic in M \ K. Proof. We may assume that D intersects ∂N transversally. The intersection D ∩ ∂N has finitely many components, {γi}i∈I . Each component γi bounds a disc Di ⊂ D. Since each γi is homotopically trivial in M \ K, we find an ′ immersed disc Di ⊂ M \ K with boundary γi. max Choose the set C consisting of all maximal circles of {γi}i∈I in D (see max Definition 2.6). The maximality shows that {Di}γi∈C are disjoint. The max set D \ ∐γi∈C Di is contained in M \ N. Consider the immersed disc ′ ′ max max D = (D \ ∐γi∈C Di) (∪γi∈C Di) ⊂ M \ K with boundary γ. Therefore, γ is null-homotopic[ in M \ K. POSITIVE SCALAR CURVATURE 7

Corollary 2.8. Let M be a contractible 3-manifold and N ⊂ M a closed handlebody. If M is not simply-connected for some compact set K ⊂ Int N, then the indued map π1(∂N) → π1(M \ K) is not a trivial map.

Proof. Suppose that the induced map π1(∂N) → π1(M \ K) is trivial (i.e. any circle in ∂N is homotopically trivial in M \ K). First, any embedded circle γ ⊂ M \ N bounds an immersed disc D ⊂ M which comes from the solution to Plateau problem (see [Mor09], [Gul73] and [Oss70]) . Then, we use the same proof as in Lemma 2.7 to show that γ is contractible in M \ K. We can conclude that π1(M \ N) → π1(M \ K) is trivial, a contradiction with the fact that M is not simply-connected for K. 2.3. Meridian curves. Definition 2.9. (See [Definition 3.1, Page 7] in [Wan19b]) A meridian curve γ ⊂ ∂N of the handlebody N is an embedded closed curve which is homotopically trivial in N but non-contractible in ∂N. A meridian disc (D,∂D) ⊂ (N, ∂N) is an embedded disc whose boundary is a meridian curve of N. Let us recall the definition of push-out in the category of groups. Let A, B and C be groups and let φ : A → B and ψ : A → C be (not necessarily injective) homomorphisms. The push-out is a triple (D, i, j) with i◦φ = j◦ψ and with the following universal property: for every triple (P, i′, j′) with i′ ◦ φ = j′ ◦ ψ, there is a unique homomorphism u : D → P making the digram commute. φ φ A B A B ψ ψ i i′ j C C D u j′ P In the category of groups, the push-out always exists (see [Theorem 11.58, Page 395] of [Rot12]). It is unique up to isomorphisms. Remark 2.10. If i′ and j′ are both trivial (i.e. the images are isomorphic to {1}) for any triple (P, i′, j′) with i′ ◦ φ = j′ ◦ ψ, then D is a trivial group. Proposition 2.11. Let φ A B ψ (∗) C {1} be a push-out in the category of groups. Assume that ψ is surjective and G is a normal subgroup of B. If φ−1(G) contains ker(ψ), then A = φ−1(G), B = G and C = ψ(φ−1(G)). 8 JIAN WANG

Proof. The group φ−1(G) is a normal subgroup of A. Because ψ is surjective, then ψ(φ−1(G)) is a normal subgroup of C. Since ker(ψ) ⊂ φ−1(G), the map ψ¯ : A/φ−1(G) → C/ψ(φ−1(G)) is injective. In addiction, the map φ¯ : A/φ−1(G) → B/G is also injective. We have ¯i ◦ φ¯ = ¯j ◦ ψ¯. Further, the digram (∗∗) is a push-out in the category of groups. The reason is as follows:

φ¯ A/φ−1(G) B/G

ψ¯ ¯i ¯i′ ¯j C/ψ(φ−1(G)) {1} (∗∗)

′ ¯j P

For any triple (P,¯i′, ¯j′) with ¯i′ ◦ φ¯ = ¯j′ ◦ ψ¯, consider the map i′ : B → B/G → P , the composition of the quotient map and ¯i′. Similarly, we have the map j′ : C → C/ψ(φ−1(G)) → P and i′ ◦ φ = j′ ◦ ψ.

φ A B B/G

ψ i ¯i j C {1} ¯i′ ¯j u

¯j′ C/ψ(φ−1(G)) P

Since the digram (∗) is a push-out in the category of groups, there is a map u : {1} → P making the digram commute. Thus, ¯i′ and ¯j′ are both trivial. By Remark 2.10, the digram (∗∗) is a push-out in the category of groups. Since φ¯ and ψ¯ are both injective, we use [Theorem 11.67, Page 404] in [Rot12] to show that ¯i and ¯j are also injective. Namely, B = G and C = ψ(φ−1(G)). In consequence, A/φ−1(G) is trivial (i.e. A = φ−1(G)). Let M be a contractible 3-manifold and N ⊂ M a closed handlebody. Van-Kampen’s theorem (see [Theorem 11.60, Page 396] in [Rot12]) gives the following push-out in the category of groups: φ π1(∂N) π1(M \ N)

π1(N) π1(M) =∼ {1}

Assume that K ⊂ Int N is a compact set and G ⊂ π1(M \ N) is the kernel of the map π1(M \ N) → π1(M \ K). Then we have that −1 • φ (G) = ker(π1(∂N) → π1(M \ K)); POSITIVE SCALAR CURVATURE 9

• the map ψ is surjective, since N is a handlebody.

Remark 2.12. If M is not simply-connected for K, then the map π1(∂N) → −1 π1(M \ K) is non-trivial (see Corollary 2.8). Namely, φ (G) is a proper subgroup of π1(∂N). We can conclude that ker(ψ) is not a subset of φ−1(G). (If not, Propo- −1 sition 2.11 shows that φ (G) = π1(∂N), a contradiction with the last paragraph.) In the following, we use the loop lemma to ﬁnd a required meridian curve. Lemma 2.13. ([Theorem 4.2, Page 39] in [Hem04])Let M be a 3-manifold and F ⊂ ∂M a connected 2-manifold. If G0 is a normal subgroup of π1(F ) and if ker(π1(F ) → π1(M)) \ G0 6= ∅, then there is an embedding 2 2 f : (D , ∂D ) → (M, F ) such that [f|∂D2 ] ∈/ G0. Lemma 2.14. Let M be a contractible 3-manifold and N ⊂ M a closed handlebody with g(N) > 0. If M is not simply-connected for some compact subset K ⊂ Int N, then there is a meridian curve of N which is not homotopically trivial in M \ K. Proof. Let φ, ψ and G be assume as above. The group φ−1(G) is the kernel of the map π1(∂N) → π1(M \ K), a normal subgroup of π1(∂N). Since M is not simply-connected for K, we use Remark 2.12 to show −1 that ker(π1(∂N) → π1(N)) \ φ (G) is not empty. Lemma 2.13 gives an 2 2 −1 embedding f : (D , ∂D ) → (N, ∂N) with [f|∂D2 ] ∈/ φ (G). That is to say, f(∂D2) is a meridian curve of N but non-contractible in M \ K.

3. minimal surfaces It is classical that minimal surfaces can give topological information about 3-manifolds. This fact appeared in Schoen-Yau’s works [SY79b, SY79a, SY82] as well as in Gromov-Lawson’s [GL83] and various other authors. In this section, we use the topological property of contractible 3-manifolds to construct a sequence of stable minimal discs. Then we study the properties of these discs, such as the area-minimizing property and the disjointness property. 3.1. Construction of the required discs. Consider a complete contractible 3-manifold (M, g). From Theorem 2.5, it is an increasing union of handle- ∞ bodies {Nk}k=0. Our ﬁrst step is to use 3-dimensional topology to ﬁnd an embedded minimal disc in each Nk. Meeks and Yau [MY82] provide a geometric version of the loop lemma to construct such discs. Theorem 3.1. (See [MY82] and [Theorem 6.28, Page 224] in [CM11]) Let (X3, g) be a compact Riemannian 3-manifold whose boundary is mean convex and γ a simple closed curve in ∂X which is null-homotopic in X. Then, γ bounds an area-minimizing disc and any such least area disc is embedded. 10 JIAN WANG

However, Meeks-Yau’s results require a geometric condition, mean convex boundary. For overcoming it, we ﬁnd a new metric gk over M such that • gk ≥ g and gk is equal to g on Nk−1;

• the mean curvature of the boundary of (Nk, gk|Nk ) is positive. The metric gk is constructed as below:

Let hk(t) be a smooth function on R so that hk(t) ≥ 1 and hk(t)|R\[−ǫ,ǫ] = 1. Consider the function fk(x) := hk(d(x, ∂Nk)) and the metric gk := 2 ˆ fk g|Nk . Under (Nk, gk|Nk ), the mean curvature H(x) of ∂Nk is ˆ −1 ′ −1 H(x)= hk (0)(H(x) + 2hk(0)hk (0)) ′ Choosing ǫ small enough and a function hk with hk(0) = 2 and hk(0) >

2maxx∈∂Nk |H(x)|+2, one gets the metric gk which is the required candidate in the assertion. In the following, we assume that M is not homeomorphic to R3. Namely, M is not simply-connected for some compact set. We may assume that M is not simply-connected for N0. Then, the genus g(Nk) is greater than zero for k ≥ 1 (see Remark 2.2). Lemma 2.14 gives a meridian curve γk ⊂ ∂Nk of Nk which is not homotopically trivial in M \ N0 for k ≥ 1. ∞ We now construct a sequence {Dk}k=0of discs satisfying that • each Dk ⊂ Nk is an embedded disc with boundary γk; • The intersection Dk ∩ Nk−1 consists of ﬁnitely many smooth surfaces j j {Σk}j∈Jk and each Σk is stable minimal for the original metric g; j′ j j′ j ′ ′ ′ • (Disjointness) Σk′ ⊂ Σk or Σk′ ∩Σk = ∅ where k < k, j ∈ Jk and j ∈ Jk ; • (Area-minimizing) Dk is an area-minimizing disc with boundary γk in k−1 the closure of the manifold (Wk, gk|Wk ), where Wk = Nk \∪l=1 Dl ∩Nl−1. k Remark 3.2. (1) The set ∪l=1Dl ∩Nl−1 is a disjoint union of some surfaces j in {Σl }l≤k,j∈Jl .

(2) The closure of the manifold (Wk, gk|Wk ) is not equal to Nk. The boundary consists of two parts. One part is ∂Nk while another part is the union of + − ± some surfaces (Nl−1∩Dl) and (Nl−1∩Dl) for l ≤ k−1, where (Nl−1∩Dl) comes from the same minimal surface Nl−1 ∩ Dl. Since the mean curvature ∂Nk is positive for gk, then the closure of

(Wk, gk|Wk ) has mean convex boundary.

Remark 3.3. The construction of {Dk}k is much more complicated than the construction in [Wan19a, Wan19b], because we expect to get the disjointness and area-minimizing properties. These two properties are crucial and necessary when considering the local area estimate for Dk (see Remark 3.5 and Theorem 4.9). Generally, the area-minimizing property could not give us the required area estimate. However, the disjointness property makes such an estimate available (see Section 4). POSITIVE SCALAR CURVATURE 11

Let us describe the inductive construction of such a sequence.

When k = 1, the manifold (N1, g1|N1 ) has mean convex boundary. The- orem 3.1 gives an embedded disc D1 ⊂ N1 with boundary γ1. It is an area-minimizing disc in (N1, g1|N1 ). We may assume that D1 intersects ∂N0 transversally. The intersection j D1 ∩N0 has ﬁnitely many components {Σ1}j∈J1 . Each component is smooth and stable minimal for the original metric g (since g1|N0 = g|N0 ).

k0 Suppose that there are k0 embedded discs {Dk}k=1 so that for 1 ≤ k ≤ k0 • each Dk ⊂ Nk is an embedded disc with boundary γk; • The intersection Dk ∩ Nk−1 consists of ﬁnitely many smooth surfaces j j {Σk}j∈Jk and each Σk is stable minimal for the original metric g; j′ j j′ j ′ ′ ′ • (Disjointness) Σk′ ⊂ Σk or Σk′ ∩Σk = ∅ where k < k, j ∈ Jk and j ∈ Jk ; • (Area-minimizing) Dk is an area-minimizing disc with boundary γk in k−1 the closure of the manifold (Wk, gk|Wk ), where Wk = Nk \∪l=1 Dl ∩Nl−1.

When k = k0 + 1, we consider the closure of the manifold (W , g | ) k0+1 k0+1 Wk0+1 k0 where Wk0+1 := Nk0+1 \ ∪l=1Dl ∩ Nl−1. By Remark 3.2, the closure of (W , g | ) is a compact 3-manifold with mean convex boundary. k0+1 k0+1 Wk0+1

Remark 3.4. The circle γk0+1 is also homotopically trivial in the closure of (W , g | ). The reason is described as below: k0+1 k0+1 Wk0+1 Since D1 ⊂ Int Nk0+1 is an embedded disc, Van-Kampen’s theorem gives ∼ that π1(Nk0+1) = π1(Nk0+1 \ D1). Namely, γk0+1 is contractible in Nk0+1 \

D1. Hence, it is also contractible in Nk0 \ D1 ∩ N0.

We repeat the above argument and have that γk0+1 is contractible in the closure of (W , g | ). k0+1 k0+1 Wk0+1

We use Theorem 3.1 to ﬁnd an embedded disc Dk0+1 in the closure of (W , g | ). It is an area-minimizing disc with boundary γ . k0+1 k0+1 Wk0+1 k0+1

We may assume that Dk0+1 intersects ∂Nk0 transversally. (Otherwise, we deform ∂Nk0 in Nk0 so that it intersects Dk0+1 transversally.) The intersection N ∩ D has ﬁnitely many components, {Σj } . Each k0 k0+1 k0+1 j∈Jk0+1 j Σk0+1 is smooth and stable minimal for the original metric g. j′ ′ ′ ′ Recall that Σk′ is stable minimal for g, where k < k0 +1 and j ∈ Jk . If Σj meets the boundary of the closure of (W , g | ) coming k0+1 k0+1 k0+1 Wk0+1 j′ from some Σk′ , the maximum principle (see [Corollary 1.28, Page 37] in j′ j ′ [CM11]) shows that Σk is a subset of Σk0+1. Otherwise, the intersection j j′ ′ Σk0+1 ∩ Σk is empty. We ﬁnish the inductive construction and get the required candidate in our assertion. 12 JIAN WANG

Remark 3.5. For each k0, there is a positive constant Ck0 , such that for k > k0, the area of each component of Dk ∩ Nk0 is not greater than Ck0 . (See Theorem 4.9) The local area estimate play a crucial role in the proof of Theorem 1.1. We will prove the estimate in Section 4.

3.2. The ﬁlling lemma. The area-minimizing property for {Dk} implies a ﬁlling lemma (see Lemma 3.10). We use it to show the area estimate (stated in Remark 3.5 and Theorem 4.9) for some special cases. All proofs in this subsection only depends on the area-minimizing property and the disjointness property.

Proposition 3.6. Let {Dk} and {(Wk, gk|Wk )} be assumed as in Section j1 3.1. Assume that the circle γ ⊂ Σk1 bounds an embedded disc D ⊂ Nk0−1 in the closure of (W , g | ), where k ≥ 1 and j ∈ J . Then, for each ǫ> k0 k0 Wk0 1 1 k1 0, γ bounds an embedded disc D′ ⊂ N in the closure of (W , g | ) k0 k0+1 k0+1 Wk0+1 satisfying that ′ Areag(D ) ≤ Areag(D)+ ǫ.

j1 Remark. (1) The integer k1 may be greater than k0. In this case, Σk1 is not a subset of Nk0 k1 (2) Since γ is a subset of Σj1 , it can be considered as a circle in the closure of (Wk, gk|Wk ) for k ≥ k0. In addition, the set Wk0+1 ∩ Nk0 is equal to Wk0 \ (Dk0 ∩ Nk0−1).

Proof. Recall that Dk0 ⊂ Nk0 is an area-minimizing disc with boundary γk0 in the closure of (W , g | ). The disjointness property (see Section 3.1) k0 k0 Wk0 shows that γ is a subset of Dk0 or Dk0 ∩ γ is empty. ′ Case (I): If γ is a subset of Dk0 , there is a disc D ⊂ Dk0 with boundary

γ. The area-minimizing property of Dk0 tells that Area (D′) ≤ Area (D) = Area (D). gk0 gk0 g

The last equality comes from the fact that D ⊂ Nk0−1 and g = gk0 on Nk0−1. Since g ≥ g, we have that Area (D′) ≤ Area (D′) ≤ Area (D). In k0 g gk0 g addition, D′ ⊂ N is embedded in the closure of (W , g | ). k0 k0+1 k0+1 Wk0+1 Hence, it is the required the candidate in our assertion.

Case (II): If γ ∩ Dk0 is empty, we deform D to ﬁnd an embedded disc ′′ Int D ⊂ Nk0−1 ∩ Int Wk0 with boundary γ satisfying that ′′ • D intersects Dk0 transversally; ′′ • Areag(D ) ≤ Areag(D)+ ǫ/2. ′′ The intersection D ∩ Dk0 has ﬁnitely many components, {ci}i. Each ci ˆ ′ ′′ is a circle and bounds a disc Di ⊂ D ⊂ Nk0−1. It also bounds a disc ˆ Di ⊂ Dk0 ⊂ Nk0 . The area-minimizing property for Dk0 implies that Area (Dˆ ) ≤ Area (Dˆ ′). gk0 i gk0 i POSITIVE SCALAR CURVATURE 13

max ′′ Let C be the set of all maximal circles of {ci}i in D . The discs ˆ ′ max {Di}ci∈C are disjoint. Consider the disc ′′ ′′ ′ ˆ max ˆ max ˆ D := (D \ ∐ci∈C Di) ∪ (∪ci∈C Di) ⊂ Nk0 , in the closure of (W , g | ) with boundary γ. We have that k0+1 k0+1 Wk0+1 ′′ ′′ ′ Area (Dˆ ) = Area (D \ ∐ max Dˆ )+ Area (Dˆ ) gk0 gk0 ci∈C i gk0 i c Cmax i∈X ′′ ′ ′ ≤ Area (D \ ∐ max Dˆ )+ Area (Dˆ ) gk0 ci∈C i gk0 i c Cmax i∈X = Area (D′′) = Area (D′′) gk0 g ≤ Areag(D)+ ǫ/2. Furthermore, Area (Dˆ ′′) ≤ Area (Dˆ ′′) ≤ Area (D)+ ǫ/2 (since g ≥ g). g gk0 g k0 However, Dˆ ′′ is piecewise smooth, not smooth. In addition, Dˆ ′′ may be not embedded, because Dˆ i may be a subset of some disc Dˆ i′ . ′′ To overcome it, we deform Dˆ along the normal direction of Dˆ i to ﬁnd an embedded disc D′ ⊂ N in the closure of (W , g | ), with k0 k0+1 k0+1 Wk0+1 ′ ′′ ′ boundary γ. In addition, Areag(D ) ≤ Areag(Dˆ )+ǫ/2. Hence, Areag(D ) ≤ Areag(D)+ ǫ. The disc D′ is a required candidate in our assertion. We inductively use Lemma 3.6 to get that

Corollary 3.7. Let {Dk} and {(Wk, gk|Wk )} be assumed as in Section 3.1. j1 Assume that the circle γ ⊂ Σk1 bounds an embedded disc D ⊂ Nk0−1 in the closure of (W , g | ) for some k and j ∈ J . Then, for each ǫ> 0 and k0 k0 Wk0 1 1 k1 ′ k ≥ k0, γ bounds an embedded disc D ⊂ Nk−1 in the closure of (Wk, gk|Wk ) satisfying that ′ Areag(D ) ≤ Areag(D)+ ǫ. Remark. (1) Such a circle γ can be considered as an embedded circle in

the closure of (Wk, gk|Wk ) for each k > k0. ′ ′ ′ (2) Since D ⊂ Nk−1 and g = gk on Nk−1, then Areagk (D ) = Areag(D ).

Deﬁnition 3.8. Let (Wk, gk|Wk ) be assumed as in Section 3.1 and γ an

embedded circle in the closure of (Wk, gk|Wk ). Deﬁne Fillk(γ) := inf {Areag (D) | D is a disc in the closure of (Wk, gk|W )} ∂D=γ k k

Remark that if Fillk(γ) < ∞, we use the solution to the Plateau Problem ′ to ﬁnd an immersed disc D in the closure of (Wk, gk) with boundary γ and ′ with Fillk(γ) = Areagk (D ) (see [Mor09],[Gul73] and [Oss70]). In addition,

if γ is not homotopically trivial in the closure of (Wk, gk|Wk ), then Fillk(γ)= ∞.

Remark 3.9. Let Dk and (Wk, gk|Wk ) be deﬁned as in Section 3.1.

(1) Fillk(γk) = Areagk (Dk). 14 JIAN WANG

(2) Let D ⊂ Dk be an embedded disc. Then, Fillk(∂D) = Areagk (D). (3) Let Σ ⊂ Wk be a disc with ﬁnitely many closed discs removed. If ∂Σ is n the disjoint of the circles, {c} ∐ {ci}i=1, we have that n

Fillk(c) ≤ Areagk (Σ) + Fillk(ci). i X=1 We use Corollary 3.7 and the above remark to get the ﬁlling lemma.

Lemma 3.10. Let {Dk} and {(Wk, gk|Wk )} be assumed as in Section 3.1. j1 Assume that the circle γ ⊂ Σk1 bounds a disc D ⊂ Nk0−1 in the closure of (W , g | ) for some k and j ∈ J . Then for k ≥ k , one has that k0 k0 Wk0 1 1 k1 0

Fillk(γ) ≤ Areag(D).

We give two corollaries of lemma 3.10, which show the local area estimate (see Remark 3.5 and Theorem 4.9) for some special cases.

Corollary 3.11. Let {Nk} and {Dk} be assumed as in Section 3.1. If an ′ embedded circle γ ⊂ Dk1 ∩∂Nk0 bounds a disc D ⊂ ∂Nk0 , where k1 ≥ k0 +1, then one has that for k ≥ k0 + 1

′ Fillk(γ) ≤ Areag(D ).

Proof. The surface ∂N ⊂ N is a subset of the closure of (W , g | ). k0 k0 k0+1 k0+1 Wk0+1 ′ Lemma 3.10 implies that Fillk(γ) ≤ Areag(D ) for k ≥ k0 + 1.

Corollary 3.12. Let {Nk} and {Dk} be assumed as in Section 3.1. If the

circle γ ⊂ Dk1 bounds a disc D ⊂ Dk1 , then for k ≥ k1 + 1, one has that

Fillk(γ) ≤ Areag(D).

Proof. The disc D ⊂ Dk1 ⊂ Nk1 can be considered as a disc in the closure of (W , g | ). Lemma 3.10 shows that for k ≥ k + 1, Fill (γ) ≤ k1+1 k1+1 Wk1+1 1 k Areag(D).

4. The local area estimate

In this section, we study the local area estimate for the discs, {Dk}, constructed in Section 3.1. These discs satisfy the area-minimizing property and the disjointness property. The area-minimizing property gives the filling lemma (see Lemma 3.10, Corollary 3.11 and Corollary 3.12). The disjointness property implies the finiteness of homotopy classes (see Corollary 4.6). We combine the filling lemma and the finiteness of homotopy classes to get the local area estimate (see Theorem 4.9). POSITIVE SCALAR CURVATURE 15

4.1. Finiteness of homotopy classes. We begin with a topological property for surfaces.

Proposition 4.1. Let F be a compact orientable surface (possibly with boundary) and γ ⊂ Int F an embedded circle. • If F \ γ is connected, then the genus g(F \ γ) is less than g(F ); • If γ cuts F into two components, F1 and F2, then

g(F )= g(F1)+ g(F2). The proof is the direct application of Mayer-Vietoris sequence.

Deﬁnition 4.2. Let {ci}i∈I be a family of disjoint embedded circles which are not null-homotopic in a closed orientable surface F . Deﬁne the set of homotopy classes

H({ci}i∈I ) := {[ci] ∈ π1(F ) | i ∈ I}.

Lemma 4.3. Let {ci}i∈I be a family of disjoint embedded circles which are not null-homotopic in a closed orientable surface F . Then the set H({ci}i∈I ) has (at most) ﬁnitely many elements.

∞ Proof. Suppose that there is a sequence {ci}i=1 ⊂ {ci}i∈I so that [ci] 6= [cj] in π1(F ), for i 6= j.

Step 1: Inductively construct a decreasing family {Fj} of subsurfaces of F .

When j = 1, define the subsurface F1 ⊂ F0 := F as one component of ∞ F \ c1 containing infinitely many elements in {ci}i=1, where ci0 := c1. k k−1 Suppose that there are k subsurfaces {Fj }j=1 and k circles, {cij }j=0 ⊂ ∞ {ci}i=1 satisfying that for j ≤ k − 1, Fj+1 ⊂ Fj is one component of Fj \ cij ∞ containing infinitely many elements in {ci}i=1. ∞ When j = k +1, choose a circle cik ⊂ Int Fk in {ci}i=1 and the subsurface

Fk+1 as the component of Fk \ cik which has inﬁnitely many elements in ∞ {ci}i=1. The existence of cik is ensured by the fact that Fk has inﬁnitely ∞ many elements in {ci}i=1. ∞ Therefore, there is a decreasing family {Fj }j=1 of subsurfaces of F and a ∞ subsequence {cij }j=0 so that Fj+1 is one component of Fj \ cij . Step 2: Get a contradiction.

Proposition 4.1 shows that for each j, g(Fj+1) ≤ g(Fj ) and g(Fj ) ≤ g(F ). Hence, there is an integer j0 > 0 satisfying that g(Fj )= g(Fj+1) for j ≥ j0. ′ Therefore, cij cuts Fj into two components, Fj+1 and Fj+1 for j ≥ j0. (If not, Proposition 4.1 implies that g(Fj+1) < g(Fj ). It is in contradiction with the last paragraph.) ′ Proposition 4.1 gives that g(Fj ) = g(Fj+1)+ g(Fj+1) for j ≥ j0. Hence, ′ g(Fj+1)=0 for j ≥ j0. 16 JIAN WANG

Consider the number, b(Fj), of components of ∂Fj. We have that for j ≥ j0, ′ b(Fj)+2= b(Fj+1)+ b(Fj+1). ′ We can conclude that b(Fj+1) ≥ 3 for j ≥ j0. The reason is as follows: ′ ′ If not, b(Fj+1) is equal to 1 or 2 for some j ≥ j0. From above, g(Fj+1) = 0. ′ ′ That is to say, Fj+1 is a disc or an annulus. Because cij ⊂ ∂Fj+1 is non- ′ contractible in F , Fj+1 is an annulus, not a disc. ′ ′ The boundary ∂Fj+1 consists of cij and cij′ for some j < j. That is to say, [cij ] = [cij′ ] in π1(F ), which contradicts the assumption ( [ci] 6= [cj] in π1(F ) for i 6= j).

From the above facts , we have that for j ≥ j0

b(Fj+1) < b(Fj).

Therefore, {b(Fj )}j≥j0 is a strictly deceasing sequence of integers and b(Fj0 ) < ∞, which contradicts the fact that b(Fj) ≥ 0 for j ≥ j0. We ﬁnish the proof of the lemma. Lemma 4.4. Let F be an orientable surface (possibly with boundary and non-compact). Assume that two disjoint embedded circles, α and α′, are not null-homotopic in F . If these two circles are homotopic in F , then there is an annulus A ⊂ F with boundary α ∐ α′. See the proof in Appendix A. Remark 4.5. Let A be an annulus and γ ⊂ Int A an embedded circle. Then, γ bounds a disc in A or γ cuts A into two annuli. The reason is as follows:

The boundary ∂A is a disjoint union of two circles, c1 and c2. Consider the disc D1 := A ∪c2 D2 where D2 is a disc. The circle γ bounds a disc ′ ′ ′ D ⊂ D1. We have that D ⊂ A or D2 ⊂ D . ′ ′ ′ If D2 is a subset of D , then D1 \ D and D \ D2 are two annuli. That is to say, γ cuts A into two annuli. 4.2. The local area estimate. In the subsection, we first recall the properties of {Dk}, constructed in Section 3.1. Then, we use Lemma 4.3 to show the finiteness of homotopy classes. Finally, we combine the filling lemma (see Lemma 3.10) to get the required estimate for Dk. All proofs in this subsection only depends on the area-minimizing and disjointness properties. Let (M, g) be a complete contractible 3-manifold which is not homeomorphic to R3. From Theorem 2.5, it is an increasing union of handlebodies, {Nk}k. For each k, we find a metric gk on M so that

(a) gk ≥ g and gk|Nk−1 = g|Nk−1 ;

(b) (Nk, gk|Nk ) has mean convex boundary. POSITIVE SCALAR CURVATURE 17

As in Section 3.1, we may assume that M is not simply-connected for N0 (see Remark 2.2). Lemma 2.14 gives a meridian curve γk of Nk which is not null-homotopic in M \ N0. There is a family of discs {Dk} (see Section 3.1) satisfying that (1) each Dk ⊂ Nk is an embedded disc with boundary γk; (2) The intersection Dk ∩ Nk−1 consists of ﬁnitely many smooth surfaces j j {Σk}j∈Jk and each Σk is stable minimal for the original metric g; j′ j j′ j ′ ′ ′ (3) (Disjointness) Σk′ ⊂ Σk or Σk′ ∩Σk = ∅ where k < k, j ∈ Jk and j ∈ Jk ; (4) (Area-minimizing) Dk is an area-minimizing disc with boundary γk in k−1 the closure of the manifold (Wk, gk|Wk ), where Wk = Nk \∪l=1 Dl ∩Nl−1. We now use the disjointness property to get the ﬁniteness of homotopy classes.

Corollary 4.6. Let (M, g) and {Dk} be assumed as in Section 3.1.Then ′ for each integer k0 > 0, there is an integer k > k0 so that for k > k0 + 1,

each embedded circle in Dk ∩ ∂Nk0 is null-homotopic in ∂Nk0 or homotopic k′ to some circle of ∪l=k0+1Dl ∩ ∂Nk0 in ∂Nk0 . k′ The set, ∪l=k0+1Dl ∩ ∂Nk0 is a subset of a disjoint union of some surfaces j ′ in {Σl }k0

Proof. Suppose that there is a strictly increasing sequence {ki} of integers satisfying that

(1) Dki has a non-contractible embedded circle ci ⊂ Dki ∩ ∂Nk0 in ∂Nk0 ;

(2) for each i 6= j, [ci] 6= [cj] in π1(∂Nk0 ). Let Σji be the component of D ∩ N containing c , where j ∈ J . ki ki ki−1 i i ki ji ji′ ′ Recall that Dk intersects ∂Nk −1 transversally. If Σ ⊂ Σ , where i > i, i i ki ki′ ji ji′ then Σ is one component of Σ ∩ Nk −1. ki ki′ i Claim: for each i, there are finitely many circles in {c }∞ intersecting Σji . i i=1 ki ji ′ ji′ ji If some ci′ intersects Σ , where i > i, then Σ ∩ Σ 6= ∅. The dis- ki ki′ ki ji ki′ jointness property shows that Σ ⊂ Σ . Thus , ci′ is contained in one of ki ji′ ji′ ji components of Σ ∩ Nk −1. Hence, ci′ is a subset of Σ . ki′ i ki If there are infinitely many such circles in {c } , then Σji contains infin- i i ki itely many homotopy classes in {[c ]}⊂ π (∂N ). We may assume that Σji i 1 k0 ki intersects ∂Nk0 transversally . (Otherwise, we deform ∂Nk0 so that it intersects Σji transversally.) The intersection ∂N ∩ Σji is the disjoint union ki k0 ki of finitely many circles. It contradicts the fact that Σji contains infinitely ki many homotopy classes in {[ci]} ⊂ π1(∂Nk0 ). The proof of the claim is complete.

We use the claim to ﬁnd a strictly increasing sequence of integers {il} so that for each l, c ∩ (∪ Σji ) = ∅. Therefore, the circles, {c } are il i≤il−1 ki il 18 JIAN WANG disjoint. However, Lemma 4.3 tells that such a family of circles does not exist. We get a contradiction and complete the proof.

Proposition 4.7. Let γ ⊂ Dk ∩ ∂Nk0 be an embedded circle and D ⊂ Dk a disc with boundary γ, where k ≥ k0 + 1. If γ bounds an embedded disc ′ D ⊂ ∂Nk0 , then one has that ′ Areag(D) ≤ Areag(D ) ≤ Areag(∂Nk0 ). ′ Moreover, Fillk(γ) ≤ Areag(D ). ′ Proof. Corollary 3.11 shows that Fillk(γ) ≤ Areag(D ). That is to say, ′ Areagk (D) ≤ Areag(D ). Since gk ≥ g|Nk , then Areag(D) ≤ Areagk (D) ≤ ′ Areag(D ).

We now study the case when γ is non-contractible in ∂Nk0 .

Proposition 4.8. For each k0 > 0, there is a positive constant C, so that for k ≥ k0 + 1, any embedded circle γ ⊂ Dk ∩ ∂Nk0 bounds a disc D ⊂ Dk and Areag(D) ≤ C.

Proof. Proposition 4.7 shows that if γ is homotopically trivial in ∂Nk0 , then

Fillk(γ) ≤ Areag(∂Nk0 ). It remains to study the case when γ is not homotopically trivial in ∂Nk0 . Step 1: Find the constant C and Reduce the proof. Corollary 4.6 gives an integer k′ > 0, so that γ is homotopic to some ′ circle c ⊂ ∂Nk0 ∩ Dk1 in ∂Nk0 for some k1 ≤ k . Choose the constant C1 := l≤k′ Areag(Dl). We have that ′ ′ • For k ≤ k , Areag(D ) ≤ Areag(Dk) ≤ C1; P ′ • Corollary 3.12 implies that Fillk(c) ≤ C1 for k > k . ′ It is suﬃcient to show that Areag(D) ≤ C1 + Areag(∂Nk0 ) for k > k . j1 j ′ If c ⊂ Σk1 and γ ⊂ Σk intersects, where k0 < k1 ≤ k < k and j1 ∈ j1 j Jk1 , j ∈ Jk, the disjointness property shows that Σk1 ⊂ Σk. Since Dk1 j1 j intersects ∂Nk1−1 transversally, Σk1 is one component of Σk∩Nk1−1. Because j j1 j1 γ ⊂ Σk ∩ Nk1−1 intersects Σk1 , it is a subset of Σk1 ⊂ Dk1 . Corollary 3.12 shows that Fillk(γ) ≤ Areag(Dk1 ) ≤ C1. The area-minimizing property of

Dk implies that Areag(D) ≤ Areagk (D)= Fillk(γ) ≤ C1. It remains to show the case when c and γ are disjoint. Lemma 4.4 gives an open annulus A ⊂ ∂Nk0 with boundary γ ∐ c. k−1 Step 2: Classify the circles in A∩(∪l=k0+1Dl) and show two key inequalities.

We may assume that each Dl intersects ∂Nk0 transversally for k0 < l ≤ k−1 k − 1. From the disjointness property of {Dk}k, the set ∪l=k0+1Dl ∩ ∂Nk0 is a disjoint union of ﬁnitely many circles,{ci}i∈I . Consider the set Inon := {i ∈ I | ci ⊂ A is non-contractible in A}. (It m may be empty). For our convenience , we write {ci}i=1 for {ci}i∈Inon . POSITIVE SCALAR CURVATURE 19

m We repeatedly use Remark 4.5 to show that the circles {ci}i=1 cut A into m+1 ﬁnitely many open annuli {Ai}i=1 , where ∂Ai = ci−1 ∐ ci, c0 := γ and cm+1 := c (see Figure 1). Notice that if Inon is empty, we choose that A1 := A and c1 := c.

Am+1 · · · A2 A1

cm+1 := c cm · · · c2 c1 c0 := γ Figure 1.

Let Ij := {i ∈ I | ci ⊂ Aj} (it may also be empty). We have that k−1 m+1 • A ∩ (∪l=k0+1Dl) is the disjoint union, {ci}i∈Inon ∐j=1 {ci}i∈Ij .

• Each component of Aj \∪i∈Ij ci is a subset of Wk. Since Inon ∩ Ij = ∅ for each j, each ci is contractible in A for i ∈ Ij. Then, we have that

(A) For each j and i ∈ Ij, ci bounds the disc Dˆ i ⊂ Aj and Fillk(ci) ≤ Areag(Dˆ i); (B) For 1 ≤ j ≤ m + 1, Fillk(cj−1) ≤ Fillk(cj) + Areag(Aj).

Notice that for each j and i ∈ Ij, ci is contractible in A. Namely, it bounds the disc Dˆ i ⊂ A. The item (A) follows from Proposition 4.7. We now present the proof of the item (B). ˆ Consider the set {Di}i∈Ij and deﬁne the partially ordered relation induced ˆ max by the inclusion. Let {Di}i∈Ij be the set of all maximal elements in ˆ ˆ max ({Di}i∈Ij , ⊂). The discs {Di}i∈Ij are disjoint. max ˆ The set Aj \ ∐i∈Ij Di ⊂ Wk is homeomorphic to a disc with ﬁnite max punctures. Its boundary is the disjoint union of cj−1, cj and {ci}i∈Ij . We use Remark 3.9 to show that max ˆ Fillk(cj−1) ≤ Areagk (Ai \ ∐i∈Ij Di)+ Fillk(ci)+ Fillk(cj) i Imax ∈Xj

max ˆ ˆ ≤ Areag(Ai \ ∐i∈Ij Di)+ Areag(Di)+ Fillk(cj), From the item(A) i Imax ∈Xj = Areag(Ai)+ Fillk(cj).

Note that Ai ⊂ ∂Nk0 ⊂ Int Nk−1. Step 3: Finish the proof 20 JIAN WANG

We use the item (B) to have that m+1

Areag(D) ≤ Areagk (D)= Fillk(γ) ≤ Fillk(cm+1)+ Areag(Ai) i X=1 ≤ C1 + Areag(∂Nk0 ). where c0 = γ and c = cm+1. The last inequality follows from the fact that ′ c ⊂ Dk1 and Fillk(c) ≤ C1, where k1 ≤ k .

Theorem 4.9. For each integer k0, there is a positive constant Ck0 , so that for each k ≥ k0 +1, the area of each component of Dk ∩Int Nk0 is not greater than Ck0 .

Proof. We may assume that Dk intersects ∂Nk0 transversally. The intersection is a disjoint union of ﬁnitely many circles. Let Σ be a component of Dk ∩ Int Nk. The boundary is a disjoint union ′ of circles {ci}i∈I . Each ci bounds a disc Di ⊂ Dk.

We have that {ci}i∈I has a unique maximal circle in Dk.

If not, there are (at least) two maximal circles, ci0 and ci1 , of {ci}i∈I in D . From the maximality, D′ ∩ D′ = ∅. However, Σ ∩ D′ is nonempty for k i0 i1 il l = 0, 1, which implies that Σ is not connected. It is in contradiction with the connectedness of Σ. ′ Let ci be the unique maximal circle of {ci}i∈I . The disc Di ⊂ Dk with boundary ci contains Σ. From Proposition 4.8, there is a positive constant

Ck0 so that ′ Areag(Di) ≤ Ck0 . ′ Therefore, we have that Areag(Σ) ≤ Areag(Di) ≤ Ck0 . Remark 4.10. All proofs, in Sections 3.2 and 4.2, only depend on the area- minimizing property and the disjointness property. That is to say, Theorem 4.9 can be generalized to the following case:

Let {Vi}i be an increasing sequence of compact and connected sets in (M, g) andg î a metric on Vi withg î ≥ g|Vi andg î|Vi−1 = g|Vi−1 . The embedded disc (Ωi, ∂Ωi) ⊂ (Vi, ∂Vi) has the following properties: j • the intersection Ωi∩Vi−1 consists of finitely many smooth surfaces {Ωi }j∈Ji ; j′ j j′ j ′ ′ ′ • (Disjointness) Ωi′ ⊂ Ωi or Ωi′ ∩ Ωi = ∅ where i < i, j ∈ Ji and j ∈ Ji ; • (Area-minimizing) Ωi is an area-minimizing disc with boundary ∂Ωi in i−1 the closure of the manifold (Vi \∪ Ωl ∩ Vl−1, gî| i−1 ). l=1 Vi\∪l=1 Ωl∩Vl−1

Then for each i0, there is a positive constant Ci0 so that for i > i0, the area of each component of Ωi ∩ Vi0 is not greater than Ci0 .

5. Properties of Limit surfaces and the triviality at infinity

In this section, we study the limit of {Dk}k, constructed in Section 3.1, and its relationship with the topology of contractible 3-manifolds. POSITIVE SCALAR CURVATURE 21

First, we recall the convergence theory for minimal surfaces and show that the sequence {Dk} sub-converges towards a lamination (a disjoint union of some embedded surfaces.) Then, we study the geometric and topological properties of the limit (see Theorem 5.6, Corollary 5.12 and Corollary 5.13). 5.1. Limit of minimal surfaces. Let us recall the classical convergence theory for minimal surfaces. Definition 5.1. In a complete Riemannian 3-manifold (M, g), a sequence {Σn} of immersed minimal surfaces converges smoothly with finite multiplicity (at most m) to an immersed minimal surface Σ, if for each point p of Σ, there is a disc neighborhood D in Σ of p, an integer m and a neighborhood U of D in M (consisting of geodesics of M orthogonal to D and centered at the points of D) so that for n large enough, each Σn intersects U in at most m connected components. Each component is a graph over D in the geodesic coordinates. Moreover, each component converges to D in C2,α-topology as n goes to infinity. Note that when each Σn is embedded, the surface Σ is also embedded. The multiplicity at p is equal to the number of connected components of Σn ∩ U for n large enough. It remains constant on each component of Σ.

Remark 5.2. Let {Σn}n be a family of properly embedded minimal surfaces converging to the minimal surface Σ. Fix a compact simply-connected subset D ⊂ Σ. Let U be the tubular neighborhood of D in M with radius ǫ and π : U → D the projection from U onto D. It follows that the restriction

π|Σn∩U :Σn ∩ U → D is a m-sheeted covering map for ǫ small enough and n large enough, where m is the multiplicity. Therefore, the restriction of π to each component of Σn ∩ U is also a covering map. Hence, since D is simply-connected, it is bijective. Therefore, each component of Σn ∩ U is a normal graph over D. Theorem 5.3. (See [Compactness Theorem, Page 96] of [And85] and [The- orem 4.37, Page 49] of [MRR02]) Let {Σk}k∈N be a family of properly embed- 3 ded minimal surfaces in a 3-manifold M satisfying (1) each Σk intersects a given compact set K0; (2) for any compact set K in M, there are three ′ ′ ′′ ′′ constants C = C (K) > 0, C = C (K) > 0 and j0 = j0(K) ∈ N such that for each k ≥ j0, it holds that 2 ′ 2 (1) |AΣk | ≤ C on K ∩ Σk, where |AΣk | is the square length of the second fundamental form of Σk ′′ (2) Areag(Σk ∩ K) ≤ C . Then, after passing to a subsequence, Σk converges to a properly embedded minimal surface with ﬁnite multiplicity in the C∞-topology.

In general, we could not get the area estimate for {Dk}, stated in Theorem 5.3. The sequence {Dk} may not sub-converges with ﬁnite multiplicity. To overcome it, we consider the convergence toward a lamination. 22 JIAN WANG

Deﬁnition 5.4. (See [Appendix B, Page 609-612 ] in [CM04]) A codimen- sion one lamination in a 3-manifold M 3 is a collection L of smooth disjoint 3 surfaces (called leaves) such that L∈L L is closed in M . Moreover, for each x ∈ M there exists an open neighborhood U of x and a coordinate chart (U, Φ), with Φ(U) ⊂ R3 so thatS in these coordinates the leaves in L pass through Φ(U) in slices form R2 × {t}∩ Φ(U). A minimal lamination is a lamination whose leaves are minimal. Finally, a sequence of laminations is said to converge if the corresponding coordinate maps converge. For example, R2 × Λ is a lamination in R3, where Λ is a closed set in R. Now we consider the limit of the discs {Dk}k, constructed in Section 3.1. Theorem 5.5. (See Theorems 5.7 and 5.8 [Wan19a]) If (M, g) has positive scalar curvature, then after passing to a subsequence, {Dk} converges to a minimal lamination L . Furthermore, each leaf is a complete stable minimal plane. The positivity of the scalar curvature shows that each leaf is homeomorphic to R2 (see [SY82]). The geometry of leaves is inﬂuenced by the extrinsic Cohn-Vossen inequality: Theorem 5.6. (See Theorem 5.10 in [Wan19a]) Let (M, g) be a complete 3-manifold with positive scalar curvature (κ> 0) and L ⊂ (M, g) a complete (non-compact) stable minimal surface. Then one has

κdv ≤ 2π, ZL where dv is the volume form of the induced metric on L. Moreover, if L is an embedded surface, it is properly embedded. Corollary 5.7. Let (M, g) be a complete non-compact 3-manifold with positive scalar curvature (κ> 0) and {Li} a sequence of complete (non-compact) stable minimal surfaces in M. If each Li intersects a compact set K0, then Li sub-converges with ﬁnite multiplicity.

Proof. Since Li is a stable minimal surface, we use [Theorem 3, Page122] of [Sch83] to have that for any compact set K ⊂ M, there is a constant C := C(K,M,g) such that 2 |ALi | ≤ C on K ∩ Li, 2 where |ALi | is the squared norm of the second fundamental form of Li. Theorem 5.6 gives κ(x)dv ≤ 2π. Hence, Li −1 Area(K ∩ Li) ≤ 2π( inf κ(x)) . R x∈K From Theorem 5.3, {Li} subconverges with ﬁnite multiplicity. POSITIVE SCALAR CURVATURE 23

5.2. Triviality at infinity. First, we study the triviality at infinity and its relationship with the simply-connectedness at infinity. Then, we discuss the geometric and topological properties of the trivial minimal plane at infinity. Definition 5.8. Let L ⊂ (M, g) be a complete properly embedded minimal plane (i.e. homeomorphic to R2). • L is trivial for a compact set K ⊂ M if there is a compact set K′ ⊂ M ′ containing K so that the map π1(L \ K ) → π1(M \ K) is trivial. • L is trivial at infinity if it is trivial for each compact subset of M. Remark 5.9. Let K ⊂ K′ be two compact subsets of M. If a stable minimal plane is not trivial for K, it is not trivial for K′. The triviality at infinity is deeply linked with relationship with the simply- connectedness at infinity. Remark 5.10. Let (M, g) be a complete contractible Riemannian manifold and L a properly embedded minimal plane. (A) If L is not trivial for some compact set K ⊂ M, then M is not simply- connected for K. (B) If L is not trivial at infinity, then M is not simply-connected at infinity. (C) If L is not trivial for K, then the closure M j is not simply connected for K ∩ M j for j = 1, 2, where L cuts M into two contractible spaces, M1 and M2. Roughly speaking, if a complete contractible 3-manifold (M, g) is not simply-connected for some compact set K, then there is a properly embedded stable minimal plane L ⊂ (M, g) which is not trivial for K.

The item (C) implies that M j is not simply-connected at infinity for j = 1, 2. In Section 7, we will use the construction in Section 3.1 to find a lamination in Mj for j = 1, 2. Proposition 5.11. Let (M, g) be a complete contractible 3-manifold with positive scalar curvature and {Li} a sequence of embedded stable minimal planes converging with finite multiplicity. If each component of the limit is trivial for a compact set K ⊂ M, then there is a positive integer i0 and a ′ compact set K containing K satisfying that for i ≥ i0 ′ the induced map π1(Li \ K ) → π1(M \ K) is trivial.

Proof. Let L1 be the limit of {Li}. Theorem 5.6 shows that each Li is properly embedded. The limit L1 is also properly embedded (it may have L ′ infinitely many components). There are finitely many components, 1 := m ˆ L ∐s=1Ls of intersecting K. Since each Lˆs is trivial for K, there is a handlebody Int N ⊂ M containing K so that for each s, the map π1(Lˆs \ Int N) → π1(M \ K) is trivial (see L L ′ Theorem 2.5 and Definition 5.8). In addition, each circle in 1 \ 1 is also homotopically trivial in M \ K. Therefore, we can conclude that the map 24 JIAN WANG

π1(L1 \ Int N) → π1(M \ K) is trivial. Namely, each circle in L1 ∩ ∂N is null-homotopic in M \ K.

We assume that L1 intersects ∂N transversally. Since L1 is properly embedded, L1 ∩ ∂N is a disjoint union of ﬁnitely many circles. Choose a ∂N constant ǫ> 0 so that B (L1 ∩ ∂N,ǫ) is a disjoint union of some annuli, ∂N where B (L1 ∩ ∂N,ǫ) is the tubular neighborhood of L1 ∩ ∂N in ∂N with radius ǫ. The last paragraph shows that

∂N the map π1(B (L1 ∩ ∂N,ǫ)) → π1(M \ K) is trivial. ′ ′ Choose a handlebody N with N ⊂ Int N and a constant ǫ0 > 0 so that ′ ∂N the intersection ∂N ∩ B(L1 ∩ N ,ǫ0) is a subset of B (L1 ∩ ∂N,ǫ), where ′ ′ B(L1 ∩ N ,ǫ0) is the tubular neighborhood of L1 ∩ N with radius ǫ0.

Since Li converges to L1, there is an integer i0 > 0 so that for i ≥ i0, ′ ′ Li ∩ N ⊂ B(N ∩ L1,ǫ0).

From the above fact, each circle in Li ∩∂N is homotopically trivial in M \K for i ≥ i0 A closed curve γ ⊂ Li \ N bounds a disc D ⊂ Li. Hence, each circle in D ∩ ∂N is null-homotopic in M \ K for i ≥ i0. Lemma 2.7 shows that γ is contractible in M \ K. That is to say, the map π1(Li \ N) → π1(M \ K) is trivial for i ≥ i0. Corollary 5.12. Let (M, g) be a complete contractible 3-manifold with positive scalar curvature and K ⊂ M a compact set. Assume that each complete stable minimal plane Li is not trivial for K. If the sequence {Li} converges with ﬁnite multiplicity, then the limit has a component which is not trivial for K. We use Proposition 5.11 to show that Corollary 5.13. Let (M, g) be a complete contractible 3-manifold with positive scalar curvature and L a lamination whose leaves are complete stable minimal planes. If each leaf is trivial for a compact set K ⊂ M, then there ′ ′ is a compact set K containing K so that the map π1(L \ K ) → π1(M \ K) is trivial for each leaf L in L . ∞ L Proof. Suppose that there is a sequence {Li}i=1 ⊂ satisfying that • each Li has a closed curve ci which is non-contractible in M \ K. • the circles {ci} goes to inﬁnity

Remark that each Li intersects K. From Corollary 5.7, {Li} subconverges with ﬁnite multiplicity. From now on, we write {Li}i for a convergent sequence. The limit is a subset of L . ′ We use Proposition 5.11 to ﬁnd an integer i0 > 0 and a compact set K ′ containing K satisfying that for each i ≥ i0, the map π1(Li\K ) → π1(M\K) is trivial. POSITIVE SCALAR CURVATURE 25

However, the circles {ci} go to inﬁnity. We can ﬁnd a circle ci1 ⊂ Li1 \ ′ ′ K which is non-contractible in M \ K for i1 large enough , which is in contradiction with the last paragraph.

6. Proof of Theorem 1.1 In this section, we complete the proof for Theorem 1.1. We begin with a proposition. Proposition 6.1. Let (M, g) be a complete contractible 3-manifold of positive scalar curvature and {Ωk}k a family of embedded discs satisfying that • for each k, ∂Ωk is a subset of M \Int Nk and Ωk ∩Nk−1 is stable minimal; • the sequence {Ωk}k converges to a lamination L0 whose leaves are complete stable minimal plane; ′ • for each k0, there is a constant Ck0 > 0 and an integer k0 > k0 so that ′ for each k > k0, the area of each component of Ωk ∩ Nk0 is not greater than Ck0 . If each leaf in L0 is trivial for a compact set K ⊂ M, then there is a positive ′ ′ integer k so that for k ≥ k , ∂Ωk is homotopically trivial in M \ K. ∞ Proof. Suppose that there is an increasing sequence {ki}i=1 of integers so L that ∂Ωki is non-contractible in M \ K. Since each leaf in 0 is trivial for

K, we use Corollary 5.13 to ﬁnd a handlebody Nk0−2 containing K so that L the map π1(L \ Nk0−2) → π1(M \ K) is trivial for each leaf L of 0.

Since ∂Ωki is non-contractible in M \ K, there is a non-contractible circle

γˆi ⊂ Ωi ∩ ∂Nk0−1 in M \ K. If not, Lemma 2.7 shows that ∂Ωki is homotopically trivial in M \ K, which is in contradiction with our assumption.

Let Σi be the component of Ωki ∩ Nk0 containingγ ˆi. It is stable minimal for g. We use [Theorem 3, Page122] of [Sch83] to ﬁnd a constant C′ := ′ C (Nk0 ,M,g) such that for each ki > k0 2 ′ |AΣi | ≤ C on Σi, 2 where |AΣi | is the squared norm of the second fundamental form of Σi. ′ From the assumption, there is a constant Ck0 > 0 and an integer k0 > k0 ′ so that for ki > k0,

Areag(Σi) ≤ Ck0 .

Theorem 5.3 tells that Σi sub-converges with ﬁnite multiplicity.

From now on, we abuse the notation and write {Σi} for a convergent L sequence. The limit is a subset of 0 ∩ Nk0 . Since the limit is properly embedded, then the limit is a subset of a disjoint union of ﬁnite leaves, s0 L {Ls}s=1 ⊂ 0. We have that π1(Ls \ Nk0−2) → π1(M \ K) is trivial for each s

We may assume that each Ls intersects ∂Nk0−1 transversally. The intersection ∐sLs ∩ ∂Nk0−1 has ﬁnitely many components, {cl}l. From the last paragraph , each cl is homotopically trivial in M \ K. 26 JIAN WANG

∂Nk −1 Choose a constant ǫ1 > 0 so that the tubular neighborhood B 0 (∐lcl,ǫ1) ⊂

∂Nk0−1 is a disjoint union of some annuli. We have that ∂Nk −1 the map π1(B 0 (∐lcl,ǫ1)) → π1(M \ K) is also trivial. (⋆) The remaining is the same as the proof of Proposition 5.11

Since Σi converges to a subset of ∐sLs, we have that for i large enough, ∂Nk0−1 Σi ∩ ∂Nk0−1 is a subset of B (∪lcl,ǫ1). (See the detail in the proof for Proposition 5.11)

The fact (⋆) shows that each circle in Σi ∩∂Nk0−1 is contractible in M \K.

However, the circleγ ˆi ⊂ Σi ∩ ∂Nk0−1 is non-contractible in M \ K, which leads to a contradiction. We complete the proof of the proposition.

Now we use the Proposition 6.1 and Theorem 1.3 to ﬁnish the proof of Theorem 1.1. We will show the proof of Theorem 1.3 in Section 7.

Proof. Suppose that a complete contractible 3-manifold (M, g) with positive scalar curvature is not homeomorphic to R3, where M is an increasing union of handlebodies {Nk}. We may assume that M is not simply-connected for N0. Lemma 2.14 gives a meridian curve γk ⊂ ∂Nk which is non-contractible in M \ N0. Each γk bounds an embedded disc Dk ⊂ Nk, constructed in Section 3.1. The intersection Dk ∩ Nk−1 is stable minimal for g. We then use Theorem

4.9 to show that for each k0, there is a positive constant Ck0 , so that for each k > k0, the area of each component of Dk ∩ Nk0 is not greater than

Ck0 . Theorem 5.5 shows that {Dk} sub-converges to a lamination L . Each leaf is a complete stable minimal plane. From now on, we abuse the notation and write {Dk}k for a convergent sequence. Hence, the sequence {Dk} satisfies the properties described in Proposition 6.1. From Theorem 1.3, each leaf in L is trivial at infinity. More precisely, each leaf is trivial for N0. We use Proposition 6.1 to find a positive integer ′ ′ k so that for each k > k , γk := ∂Dk is homotopiclally trivial in M \ N0. It is in contradiction with the fact that γk is non-contractible in M \ N0. We complete the proof of Theorem 1.1.

7. Absence of non-trivial minimal plane at infinity In this section, we use the positivity of scalar curvature to show the absence of non-trivial minimal plane at inﬁnity. Theorem 1.3 Let (M, g) be a complete contractible 3-manifold with positive scalar curvature. Then each complete embedded stable minimal plane in (M, g) is trivial at inﬁnity. In the rest of the section we will use the following notations. POSITIVE SCALAR CURVATURE 27

• We let B(D,ǫ) denote the tubular neighborhood of the embedded disc D with radius ǫ> 0, consisting of geodesics of M orthogonal to D and centered at the points of D. • The annulus A(∂D,ǫ) consists of geodesics of M orthogonal to D and centered at the points of ∂D, whose lengths are equal to 2ǫ. Remark that A(∂D,ǫ) is a subset of the boundary of B(D,ǫ). 7.1. Scheme of the proof of Theorem 1.3. We now explain the scheme of the proof of Theorem 1.3. Our main strategy is to argue by contradiction. Suppose that there is a complete stable minimal plane in (M, g) which is not trivial at inﬁnity. That is to say, there is a compact and connected set K ⊂ M so that a complete stable minimal plane is not trivial for K (see Deﬁnition 5.8 and Remark 5.9). Our proof follows these three steps: Step 1: Find a complete embedded stable minimal plane L ⊂ (M, g) satisfying that • it is not trivial for K • each complete stable minimal plane in M ′ is trivial for K, where M ′ is one of the components of M \ L. (See Lemma 7.3)

Step 2: Use the non-triviality of L to ﬁnd a family {Ωˆ i} of embedded discs in M ′ which converges to a lamination in M ′ and satisﬁes the property described in Proposition 6.1. (See Lemma 7.5)

Step 3: Modify Ωˆ i to get an embedded disc Ωi which converges to a lamination L ⊂ M ′. Proposition 6.1 will lead to a contradiction. 7.2. Find a required minimal plane L. Before constructing the required plane L, we introduce a notation. 2 Deﬁnition 7.1. Let {Pi}i=1 be two properly embedded planes in (M, g) and K ⊂ M a compact and connected set. We deﬁne K dˆK(P1, P2) := d (P1 ∩ K, P2 ∩ K), K where d is the distance function induced by (K, g|K ). 2 Remark 7.2. Let {Pi}i=0 be three disjoint and properly embedded planes in (M, g). The plane P0 cuts M into two components, M1 and M2. If Pi is a subset of Mi for i = 1, 2, then one has that dˆK(P1, P0)+ dˆK (P2, P0) ≤ dˆK(P1, P2). The reason is as follows: There is a curve c : [0, 1] → K whose length is equal to dˆK(P1, P2), where c(0) ∈ P1 and c(1) ∈ P2. It intersects P0. Namely, there is a point ˆ c(t) ∈ P0 for some 0

We now use the function dˆK to show the existence of the required plane. Lemma 7.3. Let (M, g) be a complete contractible 3-manifold with positive scalar curvature and K ⊂ M a compact and connected set. If a complete 28 JIAN WANG stable minimal plane is not trivial for K, then there is a complete embedded stable minimal plane L ⊂ (M, g) satisfying that • L is not trivial for K; • any complete stable minimal plane in M ′ is trivial for K. where M ′ is one of the components of M \ L

Proof. Let L0 ⊂ (M, g) be a complete embedded stable minimal plane which is not trivial for K. Theorem 5.6 shows that it is properly embedded. By ′ Lemma 2.3, L0 cuts M into two components, M0 and M0. If each stable minimal plane in M0 is trivial for K, L0 is the required candidate in our assertion. If not, we consider the set C of all complete embedded stable minimal planes in M0 which are not trivial for K. It is non-empty. We deﬁne ′ ′ T := max{dˆK (L0,L ) | L ∈ C }. Since each plane in C intersects the compact and connected set K, then T is ﬁnite.

Let {Li} be a sequence of stable minimal planes in C with limi→∞ dˆK (L0,Li)= T . Each plane Li intersects K. From Corollary 5.7, {Li} subconverges with ﬁnitely multiplicity. From now on, we write {Li}i for a convergent sequence. For each component Lˆ of the limit, dˆ(L,Lˆ 0) ≥ T . Therefore, the limit is in M0 ⊂ M \ L0. Corollary 5.12 shows that one component L ⊂ M0 of the limit is not trivial for K, (since each Li is not trivial for K). Hence, dˆ(L0,L) ≤ T . The last paragraph shows that dˆK(L,L0)= T . We can conclude that L is the required candidate in the assertion. If not, M ′ has a complete stable minimal plane L′ which is not trivial ′ for K, where M ⊂ M0 is one component of M \ L. It belongs to C .Then, ′ dˆK(L0,L ) ≤ T .

M ′

′ ′ L0 L L ⊂ M

′ However, L0 ⊂ M \ M . Remark 7.2 shows that ′ ′ dˆK(L0,L)+ dˆK(L,L ) ≤ dˆK (L ,L0) ≤ T. ′ ′ Hence, dˆK (L,L ) = 0. Namely, L intersects L , which is in contradiction with the fact that L′ ⊂ M ′ ⊂ M \ L.

7.3. Construction of the sequence {Ωˆ i}. We begin with a deformation lemma. POSITIVE SCALAR CURVATURE 29

Lemma 7.4. Let (M, g) be a complete 3-manifold and L ⊂ (M, g) a complete properly embedded minimal surface. Assume that the subset K ⊂ M is compact and connected. Then for each ǫ> 0, after a small deformation on ∂K, there is a complete metric g′ on M satisfying that • g′ ≥ g and g′ is equal to g on M \ B(∂K,ǫ); • the surface L is also minimal for g′; • the mean curvature of ∂K is positive for g′. See the proof in Appendix B. Lemma 7.5. Let (M, g), L, M ′ and K be assumed as in Lemma 7.3. Then ′ there is a family {ci} of circles in M so that (a) the circles {ci} go to inﬁnity and each ci is non-contractible in M \ K; ′ (b) each ci bounds an embedded disc Ωˆ i ⊂ M which converges to a lamina- ′ tion L0 ⊂ M whose leaves are complete stable minimal planes; (c) for each positive integer k0, there is an integer i0 > 0 and a constant ˆ Ck0 > 0, so that for i ≥ i0, the area of each component of Nk0 ∩ Ωi is

not greater than Ck0 Remark that the lamination may contain the plane L.

L ci

Nki

∂Dˆ i

B(Dˆ i,ǫi) Figure 2.

Remark 7.6. Since M = ∪kNk, we can ﬁnd a positive integer k0 with ˆ K ⊂ Nk0 . The set L ∩ Nk0 is compact in L. Then, there is a disc D0 ⊂ L ˆ ˆ with L ∩ Nk0 ⊂ D0. Further, there is an integer k1 with D0 ⊂ Nk1 .

We repeat the above process and get a subsequence {Nki } of {Nk} with the following properties:

• Nk0 contains the compact set K; ˆ • the intersection Nki ∩ L is a subset of a disc Di ⊂ L ∩ Nki+1 . 30 JIAN WANG

ˆ ˆ Proof. Let {Nki } and {Di} be assumed as in Remark 7.6. Then, ∂Di is non- contractible in M \K for i ≥ 1. (If not, the map π1(L\Dˆi ∪K) → π1(M \K) is trivial. Namely, L is trivial for K, a contradiction.)

Consider the tubular neighborhood B(Dî,ǫi) and the annulus A(∂Dî,ǫi). ′ Choose a closed curve ci ⊂ A(∂Dî,ǫi) ∩ M which is homotopic to ∂Dˆ i in A(∂Dî,ǫi). From the last paragraph, it is not homotopically trivial in M \K. In the following, we use the construction, described in Section 3, to construct the embedded disc Ωˆ i with boundary ci. ˆ ˆ Let Vi := Nki ∪ B(Di,ǫi) ⊂ Nki+1 . It is compact and connected. By Theorem 5.6, L is properly embedded. We use Lemma 7.4 to find a metric gî on M so that

• gî ≥ g andg î is equal to g on Nki−1; • the mean curvature of ∂Vî is positive forg î and L is minimal forg î. ′ Let Vi := (Vî \ L) ∩ M be the component of Vî \ L containing ci. (Remark ′ that Nki ∩ M ⊂ Vi.) Consider the closure of the Riemannian manifold

(Vi, gˆi|Vi ).

Its boundary comes from L and ∂Vî. The mean curvature of the boundary is non-negative forg î. Therefore, the closure of (Vi, gî|Vi ) has mean convex boundary.

Each ci ⊂ ∂Vi is homotopically trivial in Vi. We use the inductive construction described in Section 3.1, to have that

• each ci bounds an embedded disc Ωˆ i ⊂ Vi; ˆ ˆ j • the intersection Ωi∩Vi−1 consists of finitely many smooth surfaces {Ωi }j∈Ji ˆ j and each Ωi is stable minimal for the original metric g; j′ j j′ j ˆ ˆ ˆ ˆ ′ ′ ′ • (Disjointness) Ωi′ ⊂ Ωi or Ωi′ ∩ Ωi = ∅ where i < i, j ∈ Ji and j ∈ Ji ; • (Area-minimizing) Ωˆ i is an area-minimizing disc with boundary ci in the i−1 closure of the manifold (Vi \∪ Ωˆ l ∩ Vl−1, gî| i−1 ˆ ). l=1 Vi\∪l=1 Ωl∩Vl−1 ′ Since Ωˆ i is minimal forg î, we can conclude that Ωˆ i is a subset of M . If not, L ∩ Ωˆ i is non-empty. Since L is minimal forg î, the maximum principle (see [Corollary 1.27 , Page 37] in [CM11]) shows that Ωˆ i is a subset of L. ′ However, ci ⊂ M ⊂ M \ L, a contradiction.

Theorem 4.9 and Remark 4.10 shows that for each i0, there is a constant ˆ Ci0 > 0, so that for i > i0, the area of each component of Ωi ∩ Vi0 is not ˆ greater than Ci0 . Hence, the area of each component of Ωi ∩ Nki0 is not ′ ˆ ′ greater than Ci0 for i > i0 (since Nki ∩ M ⊂ Vi and Ωi ⊂ M ).

Because ci is non-contractible in M \K, Ωˆ i intersects K. The intersection ˆ Ωi ∩ Nki−1 is stable minimal for g. By Theorem 5.5, Ωi sub-converges to a lamination whose leaves are complete stable minimal planes. POSITIVE SCALAR CURVATURE 31

Roughly speaking, Ωˆ i is deformed from Dˆ i and the sequence Ωˆ i converges with ﬁnite multiplicity.

7.4. Modify the disc Ωˆ i and complete the proof of Theorem 1.3. We begin with the existence of the embedded minimal annulus and then use it to give an improved version of Lemma 7.5

Lemma 7.7. Let (M, g), L, M ′ and K be assumed as in Lemma 7.3 and let c ⊂ L \ K be a non-contractible circle in M \ K. Assume that c bounds an embedded disc D ⊂ L and the sets, K and D, are the subsets of Int Nk for some k. Then, there is a constant ǫ> 0 so that if we have that ′ ′ ′ • a cicle c bounds an embedded minimal disc D ⊂ Int Nk ∩ M , ′ ′ ′ • c and c bounds an annulus Int A1 ⊂ M \ D and Area(A1) ≤ ǫ, ′ • d(c , K ∐ ∂Nk) ≥ 1/2d(c, K ∐ ∂Nk), ′ ′ then there is an embedded minimal annulus Int A0 ⊂ M \ D with boundary c ∐ c′.

Proof. First, we choose the positive constant ǫ. Then, we use the choice of ǫ to construct the minimal annulus. Step 1: Choose the constant ǫ.

Deﬁne two constants, c0 := maxx∈Nk+1 |KM (x)| and i0 := minx∈Nk+1 InjM (x), where KM (x) is the sectional curvature and InjM (x) is the injective radius at x. 1 ′ Let r0 := 4 min{i0, d(c, K ∐∂Nk), d(∂Nk+1, ∂Nk)}. Then, 2r0 ≤ d(c , K ∐ ∂Nk). We use [Lemma 1, Page 445] in [MY80] to ﬁnd a positive constant C := C(c0, i0, r0), so that if Σ is a minimal surface in Nk+1 and d(x, ∂Σ) ≥ r0 for some x ∈ Σ, then

Area(Σ ∩ B(x, r0)) ≥ C. We choose ǫ := C/2. In the following, we construct the embedded minimal annulus, A0. Step 2: Construct the required minimal surface. By Theorem 5.6, L is properly embedded. We use Lemma 7.4 to ﬁnd a metricg ˜k+2 on M so that

• g˜k+2 ≥ g andg ˜k+2 is equal to g on Nk+1;

• (Nk+2, g˜k+2|Nk+2 ) has mean convex boundary. • L is also minimal forg ˜k+2 ′ The disc D ⊂ Nk is also minimal forg ˜k+2. Let W be the component of ′ ′ M ∩ Nk+2 containing D . The sets, A1 and D, are both in W . Consider the closure of the manifold ′ (W \ D , g˜k+2|W \D′ ). ′ The boundary comes from ∂Nk+2, L and D . The mean curvature of these surfaces are both non-negative for the metricg ˜k+2. Therefore, the closure ′ of (W \ D , g˜k+2|W \D′ ) has mean convex boundary. 32 JIAN WANG

D D

c c

c′ c′ D′ D′

A1 A0

L L

The circles, c and c′ can be viewed as the circles in the boundary of the ′ closure of (W \ D , gˆk+2|W \D′ ). We use [Theorem 5, Page 433] in [MY82] to ′ ﬁnd an embedded surface Int A0 in the closure of (W \ D , g˜k+2|W \D′ ) with boundary c′ ∐ c. In addition, we have

• the surface A0 is an embedded annulus or two disjoint discs; • the surface A0 is stable minimal forg ˜k+2;

• Areag˜k+2 (A0) ≤ Areag˜k+2 (A1) = Areag(A1) ≤ ǫ.

Step 3: Show that A0 is a minimal annulus for the original metric g. First, we have that A0 is a subset of Nk. The reason is described as below: If not, we ﬁnd a point x1 ∈ A0 ∩ ∂Nk. Since B(x1, r0) ⊂ Nk+1 and g˜k+2|Nk+1 = g|Nk+1 , the surface A0 ∩ B(x1, r0) is minimal for g. In addition, d(x1, ∂(A0 ∩ B(x1, r0)) ≥ r0. The choice of C tells that Areag(A0∩B(x1, r0)) ≥ C. However, Areag(B(x1, r0)∩

A0) ≤ Areag˜k+2 (A0) ≤ ǫ = C/2, which leads to a contradiction. POSITIVE SCALAR CURVATURE 33

Since A0 ⊂ Nk andg ˜k+2|Nk = g|Nk , then A0 is minimal for the original metric g. Recall that A0 is an annulus or a disjoint union of two discs. ′ ′ If A0 is not an annulus, it is a disjoint union of two disc D1 and D2 with ′ ′ ∂D1 = c. Since c is not contractible in M \K, D1 ∩K is non-empty. Choose ′ ′ x2 ∈ K ∩ D1. Hence, d(x2, ∂D1) ≥ r0. ′ ′ The choice of C shows that Areag(D1∩B(x2, r0)) ≥ C. However, Areag(D1∩ B(x2, r0)) ≤ Areag(A0) ≤ ǫ = C/2, a contradiction. ′ We can conclude that A0 is a minimal annulus with boundary c ∐ c . The maximum principle for minimal surfaces (see [Corollary 1.28 , Page 37] in ′ ′ [CM11]) shows Int A0 is embedded in M \ D . We complete the proof. We use the existence of minimal annulus to give an improved version of Lemma 7.5. ′ Lemma 7.8. Let (M, g), L, M , K and {ci} be assumed as in Lemma 7.5. ′ Then each ci bounds an embedded disc Ωi ⊂ M so that ′ ′ (a) the sequence Ωi ⊂ M converges to a lamination L1 ⊂ M whose leaves are complete stable minimal planes; (b) for each positive integer k0, there is an integer i0 > 0 and a constant

Ck0 > 0, so that for i ≥ i0, the area of each component of Nk0 ∩ Ωi is

not greater than Ck0 Remark that since each complete stable minimal plane in M ′ is trivial for K (see Lemma 7.3), each leaf of L1 is trivial for K. ′ Proof. Lemma 7.5 gives a family {ci} of circles in M so that • the circles {ci} go to inﬁnity and each ci is non-contractible in M \ K; ′ • each ci bounds an embedded disc Ωˆ i ⊂ M which converges to a lamination L0 whose leaves ara complete stable minimal planes; • for each positive integer k0, there is an integer i0 > 0 and a constant ˆ Ck0 > 0 so that for i ≥ i0, the area of each component of Nk0 ∩ Ωi is

not greater than Ck0 ′ We may assume that L0 intersects L. (If not, L0 ⊂ M . The sequence {Ωˆ i} is the required candidate in our assertion.) The maximum principle for minimal surface shows that L is one of the components of L0. In the following, we first find a minimal annulus. Then we use it to find ′ a new sequence {Ωi} of embedded discs whose limit is in M . Step1: Find a circle c′ ⊂ M ′ which bounds an embedded minimal disc D′. Since L is properly embedded (see Theorem 5.6), we can find a disc D ⊂ L with L ∩ K ⊂ D. It is a subset of Int Nk for some k. The circle c := ∂D is non-contractible in M \ K. (If not, π1(L \ (D ∪ K)) → π1(M \ K) is trivial. Namely, L is trivial for K, a contradiction.) We use Lemma 7.7 to find a constant ǫ> 0 (which satisfies the property in Lemma 7.7). Choose a positive constant ǫ1 > 0 so that • Areag(A(∂D,ǫ1)) ≤ ǫ and B(D,ǫ1) ⊂ Nk; 34 JIAN WANG

• d(A(∂D,ǫ1), ∂Nk ∐ K) ≥ 1/2d(c, ∂Nk ∐ K).

Since L is a subset of the limit of Ωˆ i, there is an integer i0 > 0 so that for each i ≥ i0, Ωˆ i ∩ B(D,ǫ1) has a component Σi which converges to D. Each Σi is stable minimal for g.

By Remark 5.2, the restriction π|Σi :Σi → D is a cover map for i large enough, where π is the projection from B(D,ǫ1) to D. Since π1(D)= {1}, ′ ′ then Σi is a disc. Namely, the circle c := ∂Σi ⊂ A(D,ǫ1) ∩ M bounds an ′ ′ embedded minimal disc D := Σi ⊂ Ωˆ i ∩ Nk for some i. In addition, c ∐ c bounds an annulus A1 ⊂ A(∂D,ǫ1) whose area is not greater than ǫ.

′ B(D,ǫ1) ∩ M B

D D D′

D′

′ A(D,ǫ1) ∩ M A0 L L

Step 2: Construct the manifolds with mean convex boundary. We use the choice of ǫ and Lemma 7.7 to find an embedded minimal ′ ′ ′ annulus Int A0 ⊂ M \ D with boundary c ∐ c . Consider the embedded ′ ′ 2-sphere D ∪c A0 ∪c′ D ⊂ Nk. Since M is contractible, it is irreducible (see the Poincaréconjecture [BBB+10, MT07]). Therefore, the sphere bounds a ′ 3-ball B ⊂ M ∩ Nk. Let Vi,g î and Vî be assumed as in the proof of Lemma 7.5. We may ′ assume that ki ≥ k0 > k for each i. Namely, B ⊂ Nki ∩ M ⊂ Vi for each i. ′ The surfaces D, A0 and D are both minimal forg î. Consider the closure of the Riemannian manifold

(Vi \ B, gî|Vi\B), ′ for i> 0. The boundary comes from L, ∂Vî, A0 and D . The mean curvature of these surfaces are both non-negative forg î (see the choice ofg î in the proof POSITIVE SCALAR CURVATURE 35

of Lemma 7.5). The closure of (Vi \ B, gˆi|Vi\B) has mean convex boundary for i> 0.

Step 3: Find the disc Ωi.

Since π1(Vi) =∼ π1(Vi \ B), ci is also contractible in Vi \ B for i > 0. We use the inductive construction, described in Section 3.1, to have that • each ci bounds an embedded disc Ωi in the closure of Vi \ B; • the intersection Ωi ∩ Vi−1 \ B consists of ﬁnitely many smooth surfaces j j {Ωi }j∈Ji and each Ωi is stable minimal for the original metric g; j′ j j′ j ′ ′ ′ • (Disjointness) Ωi′ ⊂ Ωi or Ωi′ ∩ Ωi = ∅ where i ≤ i, j ∈ Ji and j ∈ Ji ; • (Area-minimizing) Ωi is an area-minimizing disc with boundary ci in the i−1 closure of the manifold ((Vi \ B) \∪ Ωl ∩ Vl−1, gˆi| i−1 ). l=1 (Vi\B)\∪l=1 Ωl∩Vl−1 As in the proof of Lemma 7.5, for each i0, there is a positive constant Ci0 , so that for i > i0, the area of each component of Ωi ∩ Nki0 is not greater than Ci0 . ′ Each Ωi is a subset of M and {Ωi} sub-converges to a lamination L1 ⊂ M ′ \ B whose leaves are complete stable minimal planes. The reason is the same as in the proof of Lemma 7.5. From now on, we write {Ωi}i for a convergent sequence. ′ We can conclude that L1 is a subset of M . If not, some leaf in L1 ′ intersects L. The maximum principle tells that L is a subset of L1 ⊂ M \ B. However, L is not a subset of M ′ \ B, a contradiction. Therefore, the sequence {Ωi} is the required candidate in our assertion.

In the following, we complete the proof of Theorem 1.3.

Proof. Suppose that a complete stable minimal plane in (M, g) is non-trivial at infinity. Namely, we can find a compact and connected set K ⊂ M so that a complete stable minimal plane in (M, g) is not trivial for K. We use Lemma 7.3 to find a complete stable minimal plane L so that 1) it is non-trivial for K; 2) each complete embedded stable minimal plane in M ′ is trivial for K. where M ′ is one component of M \ L. ′ Lemma 7.5 and Lemma 7.8 give a family {ci} of circles in M so that

• the circles {ci} go to inﬁnity and each ci is non-contractible in M \ K; ′ • each ci bounds an embedded disc Ωi ⊂ M which converges to a lami- ′ nation L1 ⊂ M whose leaves ara complete stable minimal planes; • for each positive integer k0, there is an integer i0 > 0 and a constant

Ck0 > 0 so that for i ≥ i0, the area of each component of Nk0 ∩ Ωi is

not greater than Ck0

The sequence {Ωi} satisﬁes the properties described in Proposition 6.1. 36 JIAN WANG

′ Furthermore, we have that each leaf of L1 ⊂ M is trivial for K (since each ′ stable minimal plane in M is trivial for K). By Proposition 6.1, ci = ∂Ωi is homotopically trivial in M \K for i large enough. It leads to a contradiction with the fact that ci is non-contractible in M \ K.

Appendix A: Topological lemmas for surfaces Lemma. 4.4 Let F be an orientable surface (possibly with boundary and non-compact). Assume that two disjoint embedded circles, α and α′, are not null-homotopic in F . If these two circles are homotopic in F , then there is an annulus A ⊂ F with boundary α ∐ α′. Proof. First, we show the case when α cuts F into two components. Then, we reduce the proof to the splitting case.

Step 1: Consider the case when α cuts F into two parts, F1 and F2. ′ We may assume that the component F1 contains the circle α . Consider ′ 2 ′ the 2-manifold F1 := F1 ∪α D, where D is a unit disc in R . Therefore, α ′ ′ ′ is contractible in F1. It bounds a disc D ⊂ F1. ′ ′ ′ We can conclude that D ⊂ F1 is a subset of D . (If not, D ∩ D is empty. ′ ′ Namely, D is a subset of F1 ⊂ F . However, α is non-contractible in F , a contradiction.) ′ ′ The annulus D \ D is a subset of F1 ⊂ F with boundary α ∐ α , which is the required candidate in our assertion. Step 2: Prove the case when F \ α is connected. We assume that F \ α is connected. Let α+ and α− be two boundaries of F \α coming from α. Thus, we have a triple (F \α, α+, α−). Form countably ˆ + − Z ′ ˆ many copies, denoted (Fi, αi , αi ) for i ∈ . Choose αi ⊂ Fi as the image ′ of α ⊂ F \ α in Fî. ˆ ˆ ˆ + Consider the surface F∞ obtained by gluing Fi and Fi+1 along αi and − αi+1 for each i ∈ Z. It is a covering space of F . We use the homotopy lifting + property (see [Proposition 1.30, Page 60] in [Hat05]) to show that either αi − ′ ˆ or αi is homotopic to αi in F∞ for each i. + ′ ˆ + We may assume that αi and αi are homotopic in F∞. Since αi cuts Fˆ∞ into two components, we use Step 1 to find an annulus Ai ⊂ Fˆ∞ with + ′ boundary αi ∐ αi. In addition, Ai is a subset of Fî. That is to say, there is an annulus A ⊂ F \ α which bounds α+ ∐ α′.

Appendix B: Deformation of surfaces Theorem B.1. Let L be a complete properly embedded surface in a complete 3-manifold M and K ⊂ M a compact and connected set. For each ǫ > 0, there is a positive constant ǫ0 and a smooth embedding map f : (−ǫ0,ǫ0) × ∂K −→ B(∂K,ǫ) satisfying that POSITIVE SCALAR CURVATURE 37

• The map f(t, •) : ∂K → B(∂K,ǫ) is embedded for any t; • The image Σt of f(t, •) is isotopic to ∂K; • The disjoint union ∐tΣt is an open neighborhood of Σ0 in M; ∂f(t,•) → • h ∂t |t=0, nΣ0 i(x) > 0 for any x ∈ Σ0; ∂f(t,•) → • For each point x ∈ L ∩ Σt, h ∂t , nLi(x) = 0. where B(∂N,ǫ) is the tubular neighborhood of ∂N with radius ǫ in M.

Proof. We deform ∂K to obtain a smooth surface Σ0 ⊂ B(∂K,ǫ/4) which intersects L transversally. Because of the properness of L, L∩Σ0 has ﬁnitely many components. In order to simplify the proof, we assume that L ∩ Σ0 has a unique component, α. → Let nL be the unit normal vector of L and V0 ⊂ TL|α a ﬁeld vector orthogonal to α′(t). We have that → hnΣ0 ,V0i(α(t)) 6= 0 for each t.

If not, V0|α(t) belongs to Tα(t)Σ0 for some t. Namely, the tangent space ′ Tα(t)Σ0 is spanned by α (t) and V0|α(t). Hence, Tα(t)Σ0 = Tα(t)L, which contradicts the fact that L intersects Σ0 transversally. → We may assume that hnΣ0 ,V0i(α(t)) > 0 for each t. Otherwise, we use −V0 to replace V0.

Step 1: Extend the vector ﬁeld V0 over α to be the vector ﬁeld V over the tubular neighborhood of α in M.

Choose a tubular neighborhood L0 ⊂ L of α in L so that V0 can be extended to be a vector ﬁeld V1 ⊂ TL0 (i.e. V1|α = V0). Consider the map i : [−ǫ1,ǫ1] × L0 −→ M → t1 × x 7−→ expx(t1 nL(x)) Choose ǫ1 small enough so that the map i is an inclusion and the image is a tubular neighborhood B(L0,ǫ1) of L0 in M. Deﬁne

∂ → V := expx(t1 nL(x)+ t2V1(x)). ∂t2 t2=0

It is a vector field over B(L 0,ǫ1) and V = V1 ⊂ TL. L0 ′ By a similar argument, we can find a vector field N over B(Σ0,ǫ ) with → ′ N|Σ0 = nΣ0 , where ǫ > 0 Step 2: Consider the required map f. → → Recall that hV, nΣ0 i(x)= hV0, nΣ0 i(x) > 0 for x ∈ α := L ∩ Σ0. Choose ǫ2 <ǫ1 so that for each x ∈ Σ0 ∩ B(L0,ǫ2), one has that → hV, nΣ0 i(x) > 0. 38 JIAN WANG

′ Choose ǫ3 < min{ǫ /2, ǫ/4} so that B(Σ0,ǫ3) ∩ L ⊂ L0. Consider the ODE on B(Σ0,ǫ3) ⊂ B(∂K,ǫ): ∂Σt ∂t = (1 − φ(x))N(x)+ φ(x)V (x); (Σt|t=0 =Σ0, ∞ where φ(x) ∈ C (B(Σ0,ǫ3), R) is supported in B(L0,ǫ2) with 0 ≤ φ ≤ 1 and φ(x)=1on B(L0,ǫ2/2).

There is a constant ǫ4 > 0 and a family {Σt}|t|≤ǫ4 of closed surfaces so that

{Σt}|t|≤ǫ4 is a smooth solution to the above ODE and each Σt is contained in B(Σ0,ǫ3) ⊂ B(∂K,ǫ). In addition, we have that

∂Σt → → h , n∂Σ0 i = (1 − φ(x)) + φ(x)hV, nΣ0 i(x) > 0 ∂t t=0 → ∂Σt Choose ǫ0 < ǫ4 so that for |t| < ǫ0, h ∂t , nΣt i(x) > 0 for x ∈ Σt. The surfaces {Σt}|t|<ǫ0 are disjoint and the union is an open neighborhood of Σ0 in M.

∂Σt ∂Σt → We have that = V ⊂ TL. Hence, h , nLi(x)=0 for x ∈ L ∩ Σt. ∂t L ∂t The proof is comlete.

Lemma. 7.4 Let (M, g) be a complete 3-manifold and L ⊂ (M, g) a complete properly embedded minimal surface. Assume that the subset K ⊂ M is compact and connected. Then for each ǫ> 0, after a small deformation on ∂K, there is a complete metric g′ on M satisfying that • g′ ≥ g and g′ is equal to g on M \ B(∂K,ǫ); • the plane L is also minimal for g′; • the mean curvature of ∂K is positive for g′.

Proof. We use Theorem B.1 to ﬁnd a constant ǫ1 > 0 and a family {Σt}t∈(−ǫ1,ǫ1) of disjoint closed surfaces in B(∂K,ǫ) satisfying that

• each Σt is is isotopic to ∂K in B(∂K,ǫ); • the disjoint union ∐tΣt is an open neighborhood of Σ0; ∂Σt → • h ∂t |t=0, nΣ0 i(x) > 0 for each x ∈ Σ0 ∂Σt → • for each x ∈ L ∩ Σt, then < ∂t , nL > (x) = 0. ∂Σt Remark that for x ∈ Σt, TxM is spanned by TxΣt and ∂t (x). ′ In the following, we replace ∂K by Σ0 and explain the construction of g .

Choose a smooth function h : R → R+ satisfying that (1) h(t) ≥ 1;(2) h(t)=1 for t ∈ R \ (−ǫ1/2,ǫ1/2). Deﬁne h(t), x ∈ Σ ; hˆ(x)= t 1, otherwise. It is smooth and hˆ =1 on M \ B(∂K,ǫ0). In addition, we have that −2 h′(t) · ∂Σt · ∂Σt (x), x ∈ Σ ; ∇hˆ(x)= ∂t ∂t t ( 0 , otherwise.

POSITIVE SCALAR CURVATURE 39

∂Σt 2 ∂Σt where | ∂t | (x) is the squared length of the vector ∂t at x. The properties of {Σt} show that −2 → ′ ∂Σt ∂Σt → h∇h,ˆ n∂Ki(x)= h (0) · h , n∂Ki(x), for x ∈ ∂K ∂t t=0 ∂t t=0 → h∇h,ˆ n i(x)=0 for x ∈ L ∩ Σ . L t Consider the new metric g′ = hˆ2g. Under this metric, the mean curvature of ∂K is ′ 1 2h (0) ∂Σt −2 ∂Σt → H˜∂K(x)= {H∂K + · h , n∂K i(x)} h(0) h(0) ∂t t=0 ∂t t=0 −2 → ∂Σt ∂Σt Since ∂t h ∂t , n∂Ki(x) is a positive smooth function on ∂K, it is t=0 t=0 −2 → ∂Σt ∂Σt bounded below by a positive constant C1 (i.e. ∂t h ∂t , n∂Ki(x) ≥ t=0 t=0 ′ C1). We choose h(0) = 2 and h (0) > 2/C1 max x∈∂K |H∂K( x)| + 1. Hence, the mean curvature H˜∂K is positive. For the new metric g′, the mean curvature of L 1 2 → H˜ (x)= (H (x)+ hn , ∇hˆi(x)) = 0. L h(t) L h(t) L → The last equality comes from the fact that h∇h,ˆ nLi(x)=0 and HL = 0 for x ∈ L. The plane L is still minimal for the new metric g′.

References [And85] Michael Anderson. Curvature estimates for minimal surfaces in 3-manifolds. In Annales scientifiques de l’Ecole´ Normale Supérieure, volume 18, pages 89–105. Elsevier, 1985. [BBB+10] Laurent Bessières, Gérard Besson, Michel Boileau, Sylvain Maillot, and Joan Porti. Geometrisation of 3-manifolds, volume 13. European Mathematical So- ciety, 2010. [BBM11] Laurent Bessières, Gérard Besson, and Sylvain Maillot. Ricci flow on open 3-manifolds and positive scalar curvature. Geom. Topol., 15(2):927–975, 2011. [CM04] Tobias Colding and William Minicozzi. The space of embedded minimal surfaces of fixed genus in a 3-manifold. iv: Locally simply connected. Ann. Math. (2), 160(2):573–615, 2004. [CM11] Tobias Colding and William Minicozzi. A course in minimal surfaces, volume 121. American Mathematical Soc, 2011. [CWY10] Stanley Chang, Shmuel Weinberger, and Guoliang Yu. Taming 3-manifolds using scalar curvature. Geometriae Dedicata, 148(1):3–14, 2010. [GL83] Mikhael Gromov and Blaine Lawson. Positive scalar curvature and the dirac operator on complete riemannian manifolds. Publications Mathématiques de l’Institut des Hautes Etudes´ Scientifiques, 58(1):83–196, 1983. [Gul73] Robert Gulliver. Regularity of minimizing surfaces of prescribed mean curvature. Annals of Mathematics, pages 275–305, 1973. [Hat05] Allen Hatcher. Algebraic topology. Tsinghua University Press, 2005. [Hem04] John Hempel. 3-Manifolds, volume 349. American Mathematical Soc., 2004. [HP71] LS Husch and TM Price. Addendum to: Finding a boundary for a 3-manifold. Annals of Mathematics, pages 486–488, 1971. [Kaz82] Jerry Kazdan. Deformation to positive scalar curvature on complete manifolds. Mathematische Annalen, 261(2):227–234, 1982. 40 JIAN WANG

[McM61] DR McMillan. Cartesian products of contractible open manifolds. Bulletin of the American Mathematical Society, 67(5):510–514, 1961. [Mor09] Charles Morrey. Multiple integrals in the calculus of variations. Springer Science & Business Media, 2009. [MRR02] William Meeks, Antonio Ros, and Harold Rosenberg. The global theory of minimal surfaces in flat spaces. Springer, 2002. [MT07] John Morgan and Gang Tian. Ricci flow and the Poincaréconjecture, volume 3. American Mathematical Soc., 2007. [MY80] William Meeks and Shing-Tung Yau. Topology of three dimensional manifolds and the embedding problems in minimal surface theory. Annals of Mathematics, 112(3):441–484, 1980. [MY82] William H Meeks and Shing-Tung Yau. The classical plateau problem and the topology of three-dimensional manifolds: The embedding of the solution given by douglas-morrey and an analytic proof of dehn’s lemma. Topology, 21(4):409– 442, 1982. [Oss70] Robert Osserman. A proof of the regularity everywhere of the classical solution to plateau’s problem. Annals of Mathematics, pages 550–569, 1970. [Per02a] Grisha Perelman. The entropy formula for ricci flow and its geometric applica- tions. arXiv preprint math/0211159, 2002. [Per02b] Grisha Perelman. Ricci flow with surgery on three-manifolds. arXiv preprint math/0303109, 2002. [Per03] Grisha Perelman. Finite extinction time for the solutions to the ricci flow on certain three-manifolds. arXiv preprint math/0307245, 2003. [Rol03] Dale Rolfsen. Knots and links, volume 346. American Mathematical Soc., 2003. [Rot12] Joseph Rotman. An introduction to the theory of groups, volume 148. Springer Science & Business Media, 2012. [Sch83] Richard Schoen. Estimates for stable minimal surfaces in three dimensional manifolds. In Seminar on minimal submanifolds, volume 103, pages 111–126. Princeton University Press Princeton, NJ, 1983. [Sta72] John Stallings. Group theory and three-dimensional manifolds. Yale University Press, 1972. [SY79a] Richard Schoen and Shing-Tung Yau. Existence of incompressible minimal surfaces and the topology of three dimensional manifolds with non-negative scalar curvature. Annals of Mathematics, 110(1), 1979. [SY79b] Richard Schoen and Shing-Tung Yau. On the structure of manifolds with positive scalar curvature. Manuscripta mathematica, 28(1-3):159–183, 1979. [SY82] Richard Schoen and Shing Tung Yau. Complete three-dimensional manifolds with positive ricci curvature and scalar curvature. In Seminar on Differential Geometry, volume 102, pages 209–228. Princeton Univ. Press Princeton, NJ, 1982. [Wan19a] Jian Wang. Contractible 3-manifolds and positive scalar curvatures (I). arXiv:1901.04605, 2019. [Wan19b] Jian Wang. Contractible 3-manifolds and positive scalar curvatures (II). arXiv:1906.04128, 2019. [Whi35] J.H.C. Whitehead. A certain open manifold whose group is unity. The Quar- terly Journal of Mathematics, 6(1):268–279, 1935.

Universitat¨ Augsburg, Institut fur¨ Mathematik, Lehrstuhl fur¨ Differen- tialgeometrie, Universitatsstr.¨ 14, 86159 Augsburg, Germany