CURVATURE ESTIMATES FOR STABLE MINIMAL SURFACES WITH A COMMON FREE BOUNDARY GAOMING WANG Abstract. The minimal surfaces meeting in triples with equal angles along a common boundary naturally arise from soap films and other physical phe- nomenon. They are also the natural extension of the usual minimal surface. In this paper, we consider the multiple junction surface and show the Bern- stein’s Theorem still holds for stable multiple junction surface in some special case. The key part is to derive the Lp estimates of the curvature for multiple junction surface. 1. Introduction In the paper of Schoen, Simon, Yau [1], they’d showed the Lp curvature esti- mates for the minimal hypersurfaces. As a corollary, they could get the generalized Bernstein’s theorem. That is, the only stable immersed hypersurface Σn ,! Rn+1 n n Σ n (dimΣ = n and n ≤ 5) with area growth condition (i.e. H (BR) ≤ CR for all the intrinsic ball BΣ with radius R) is a hyperplane. In [2], Colding, Minicozzi showed the stable and 2-sided, simply connected minimal surface in R3 has qua- dratic area growth. So the only stable, complete, 2-sided minimal surface in R3 is a plane. Thus, considering the triple junctions appearing in the nature phenomenon such as soap film, we have the following nature problem like the usual generalized Bernstein’s Theorem. Problem 1.1. If three 2-sided minimal surfaces with boundary meet at the same boundary and each two of them meet at exactly 120 degrees along Γ. Suppose they are complete under the distance function and stable in some suitable variations, is it true that each of them is flat? The surfaces with triple junctions have been studied extensively due to nature phenomena. J.Taylor [3] proved certain locally area-minimizing surfaces should have two types of singularities. The first one is the Y -type singularity, which we’re interested in. Further more, G. Lawlor and F. Morgan [4] have showed the triple junction surfaces are always locally minimizing area in any arbitrary dimension and codimension. In the result of C. Mese and S. Yamada [5], they have reproduced soap films with Y -type singularities studied by Taylor [3] by minimizing energy arXiv:2102.09720v2 [math.DG] 10 Jun 2021 with a suitable boundary condition. So it’s nature to extend other properties of minimal surfaces to the case of minimal triple junction surface. Following from the Schoen’s rigidity theorem for catenoids [6], J. Bernstein and F. Maggi [7] showed the rigidity of Y -shaped catenoid (the left figure in Fig.1). Following from Allard’s regularity [8], L. Simon [9] showed if a stationary integral 3 1,µ 2-varifold has density 2 at one point, then it looks like the C triple junction minimal surface. Recently, B. Krummel [10] showed higher regularities along their triple junctions for stationary integral varifolds. Besides considering the minimal triple junction surface, one can move triple junction surface by mean curvature like the usual mean curvature flow for surfaces. For examples, A. Freire [11] (graph case) and D. Depner, H. Garcke, et al. [12, 13] 1 2 GAOMING WANG (general case) have considered the mean curvature flow with triple junctions. F. Schulze and B. White [14] showed the local regularity for mean curvature flow with triple edges. Note that mean curvature flow of curves with triple junctions in R2 is just the usual network flow. There are relatively more results on this direction, see for examples [15, 16, 17, 18]. In this paper, we will want to extend the curvature estimates for stable minimal surfaces to the case of minimal triple junction surface to see if we can get the Bernstein type theorem like minimal surfaces. Instead of triple junctions, we can consider arbitrary number of surfaces meet at the same boundary. Theorem 1.2. Suppose M = (θ1Σ1; ··· ; θqΣq; Γ) is the (orientable) minimal mul- tiple junction surface in R3. We assume M is complete, stable and has quadratic area growth. Furthermore, we assume Γ is compact and the angles between Σi; Σj keep same along Γ for 1 ≤ i; j ≤ q. Then each Σi is flat. The terminology will be explained in Section 2. The special case is the triple junction surface, M = (Σ1; Σ2; Σ3; Γ) with Γ com- 2π pact. Note the angles between Σi; Σj are 3 for all i 6= j. So from the above theorem, we know the Y -shaped catenoid is non-stable in our sense. Figure 1. Two kinds of Y -shaped catenoid Another case is the Y -shaped bent helicoid. Like the usual bent helicoid, one can construct Y -shaped bent helicoid by the classical Björling’s formula(see [19] for example). One can choose three unit normal vector fields making equal angles with each other instead of one along a unit circle in the construction. It has a circle as the triple junction and hence it is not stable. For the case if Γ is a straight line, we also have similar result. Theorem 1.3. Suppose M has the same condition with Theorem 1.1 except Γ being a straight line instead of being compact. The each Σi is flat. Note that this theorem is not enough to show the Y -shaped helicoid is non-stable since it does not have quadratic area growth. Figure 2. Y -shaped bent helicoid and usual helicoid CURVATURE ESTIMATES FOR STABLE MINIMAL SURFACES WITH A COMMON FREE BOUNDARY3 The key step proving the above theorems is the following curvature estimates for minimal multiple junction surface. Theorem 1.4. Suppose M is the minimal multiple junction surface. We assume M is stable. Then for the smooth function φi defined on Σi with compact support p−1 p and satisfying compatible condition along Γ, i.e. sign(φi) jAij jφij will be the projection of a smooth vector field along Γ to the normal direction of Σi. Then we have q Z q Z X 2p 2p X 2 2p−2 2p−2 θijφij jAij ≤ θi C jrφij jAij jφij i=1 Σi i=1 Σi Z p − 1 2p−2 2p (1.1) + jτi(log jAij)j − hHΓ; τii jAij jφij Γ 2 5 for p 2 (1; 4 ), where HΓ is the curvature vector of Γ, τi is the outer conormal of Σi along Γ. The constant C = C(M) doesn’t rely on p. The compatible condition will make sure the variation is well-defined on M, see 2p−2 2p (2.2) for details. Note that the integration of the term jAij jφij τi(jAij) is still well defined for jAij = 0 as we’ll explain later on. For the case of triple junction, i.e. q = 3 and θ1 = θ2 = θ3 = 1, this condition is equivalent to the following identity 3 X p−1 p sign(φi) jAij jφij = 0 i=1 The proof of (1.1) is essentially following Schoen, Simon, Yau’s proof [1]. Before that, we need to calculate the second variation formula to get the following stability operator. q Z Z X 2 2 2 2 (1.2) θi jrΣi φij − jAij φi − θiφi HΓ · τi i=1 Σi Γ with φi satisfying compatible condition (2.2). After getting curvature estimates, we can choose a suitable function. The trick part is we need our functions to satisfy the compatible conditions. So near Γ, φi should satisfy some compatible conditions and the gradient φi cannot vanish near Γ. This is why we need Γ is compact or Γ is a straight line. So we can choose p close to 1 to control the term near Γ. For the part that far from Γ, we can choose φi like the standard cutoff function in a large ball. After choosing a suitable function, we can deduce the curvature needs to vanish everywhere. 2. Minimal surfaces with multiple junction In this section, we will fix some notations and give the definition of the minimal multiple junction surface and several related concepts. For q 2 N, we suppose Σ1; ··· ; Σq are all smooth 2-dimensional manifolds with boundary @Σi and Γ is a smooth 1-dimensional manifold. We only consider the case that each Σi is orientable so we have the well defined unit normal vector field 3 on Σi when immersing into R . For each i, we suppose there is a diffeomorphism 3 pi :Γ ! @Σi. We will always immerse Σi into R when talking about extrinsic geometric quantities like normal vectors, second fundamental form and so on. The table 1 lists the notations used in this paper. 4 GAOMING WANG Table 1. Notations Symbols Meaning X · Y Standard inner product in R3. 3 DX Y Standard coderivative in R . 3 Br(x) Open ball centered at x with radius r in R . T Σ (resp:T Γ) Tangent bundle of Σ (resp. Γ). NΣ (resp. NΓ) Normal bundle of Σ (resp. Γ) in R3 . 3 νi 2 Γ(T Σi) Unit normal vector filed on Σi on R . Unit outer conormal of @Σi on Σi pointing outside of Σi. τi 2 Γ(N@Σi) That is, τi(p) 2 TpΣi \ Np@Σi for any p 2 @Σi. Ai(X; Y ) = DX Y · νi The second fundamental form on Σi. jAij The norm of second fundamental form on Σi. Hi (resp. HΓ) The mean curvature vector of Σi (resp. Γ). sign(x) The sign function. 2.1. Definition of multiple junction surfaces. Definition 2.1. We say M = (Σ1; ··· ; Σq; Γ) is an intrinsic multiple junction Sq surface if it is a quotient space i=1 Σi=∼ where the equivalent relation is defined as the following, x ∼ y if and only if x = y or x 2 @Σi; y 2 @Σj for some 1 ≤ i; j ≤ q and −1 x = pi ◦ pj (y).