Mass Bounds for Confined Area-Minimizing Minimal Surfaces

Set L=\mathbb R^n\times\{0\} and let \delta=d_{\rm H}(D_1,\operatorname{supp} T). The one-sided part of the Hausdorff bound implies

If \delta=0, then T is supported in L and the projection identity gives T=Q\left[\!\left[D_1\right]\!\right], so the conclusion is immediate. We henceforth assume \delta>0. Fix once and for all R=1/16. If a\in D_{1/2}, then B_{4R}(a)\subset\mathcal C_1. Hence the varifold V_T is stationary in B_{4R}(a), and Corollary 3.2 gives

provided \delta/R\le\delta_{\rm CM}(n).

Put \theta=\delta/R. We next localize the global projection identity. If y\in D_{(2-2\theta)R,{\rm E}}^L(a) and x\in\operatorname{supp} T satisfies \mathbf p(x)=y, then (Proof) gives |x-y|\le\delta, and therefore

No point of \operatorname{supp} T\setminus B_{2R}(a) can consequently contribute to the pushforward over this disk. Since D_{(2-2\theta)R,{\rm E}}^L(a)\subset D_1, restriction of \mathbf p_\#T=Q\left[\!\left[D_1\right]\!\right] gives

Thus Lemma 3.3 applies and yields

Combining (Proof) and (?), and choosing \delta_L(n) so that

we obtain the uniform local estimate

Choose a_1,\dots,a_N\in D_{1/2} so that the disks D_{R/2,{\rm E}}^L(a_j) cover D_{1/2}, with N\le C(n). Decrease \delta_L once more so that \delta_L<R/2. If x\in\operatorname{supp} T\cap\mathcal C_{1/2}, then \mathbf p(x)\in D_{R/2,{\rm E}}^L(a_j) for some j and |x-\mathbf p(x)|\le\delta_L by (Proof); hence x\in B_R(a_j). Therefore

This proves (1.2). Notice that neither this covering argument nor the two local estimates use indecomposability.

Choose \varepsilon_D(n)\le\varepsilon_0(n) small enough for Lemma 3.6, Lemma 3.7, Lemma 3.8 and the cutoff constructions above. Then all preceding estimates apply to V. Write b=|P_S\nabla r|^2. Away from p,

By Lemma 3.4, Lemma 3.8,

Combining (Proof) with Lemma 3.9 gives

Adding \mu_V(B_{1/4}) and taking C_D(n) to be the resulting constant proves (1.3). To justify the piecewise linear cutoff in (?), first perturb its break radii so that the corresponding spheres have zero \mu_V-mass, apply stationarity to smooth approximations with uniformly bounded derivatives on the transition annuli, and pass monotonically to the prescribed radii. The Radon property of \mu_V and monotone convergence then give the result for the open balls appearing in the statement.

Let p_0 be the intrinsic nearest point of q on L. After decreasing \varepsilon_D, assume d_{\mathbb H}(p_0,q)<1/8. Then

so Theorem 1.3 applies at p_0. Moreover,

Consequently,

Set

and let V_T be the integral varifold associated with T. By (?), (1.5), and the first variation of mass, V_T is stationary in B_2(q). After requiring \delta_* to be smaller than the threshold in Corollary 1.4, that corollary gives

By Lemma 3.11,

Decrease \delta_*(n) once more so that

Absorption yields F(1)\le2C_Dc_sQ, which is (1.5).

Apply Proposition 2.1. For P\in\operatorname{supp} T\cap G_{R_0} with t=x^{\mathfrak m}(P)<t_0, its three conclusions verify (1.5)–(1.5) for \widehat T_P=(\Phi_P)_\#T, q=q_P, L=L_P, p=p_P, Q=1, and \delta=C_\Gamma t^\alpha. Decreasing t_0 if necessary ensures \delta\le\delta_*(n). Hence Theorem 1.5 gives

Since (2.1) is a hyperbolic isometry, this is exactly (1.6).

In [JiangXie], condition (1.10) is used in [JiangXie, Lemma 3.4] only to convert the exponentially small squashing factor into a uniform unit-ball mass bound. The preceding estimate supplies that bound directly. The remainder of the proof of [JiangXie, Theorem 1.4] is unchanged. The later PDE arguments begin with the graphical C^{1,\alpha} conclusion of that theorem and do not use condition (1.10) independently; therefore the conclusions of [JiangXie, Theorems 1.6, 1.7, 1.9, and 1.10], [JiangXie, Corollary 1.8], and [JiangXie, Theorem 7.4] remain valid without condition (1.10). Hence the later boundary regularity, expansion, and convergence results listed in the Introduction follow under their respective additional regularity hypotheses.

The first identity follows from \partial T=0 in \mathbb H^{\mathfrak m} and invariance of boundary under pushforward. Apply the convex-hull estimate [JiangXie, (2.8)] on a slightly larger fixed normalized ball. After (2.1), its quantitative form [JiangXie, (3.30)] gives (2.1).

We spell out the localization of the projection because it is independent of any mass bound. By (1.6) and the Constancy Theorem, the multiplicity-one projection identity persists on every smaller cylinder compactly contained in the cylinder where (1.6) holds. After applying \Phi_P, its target contains D_{7/4}^{L_P}(p_P) and B_2(q_P) lies in the normalized image of that smaller cylinder once R_0 and t_0 are sufficiently small. The same convex-hull estimate shows that every point in the support of the normalized restriction whose projection lies in D_{3/2}^{L_P}(p_P) belongs to B_2(q_P): both its transverse displacement from L_P and the displacement of q_P from L_P are O_\Gamma(t^\alpha), while the two radii leave a fixed margin. Testing the projected currents against forms compactly supported in D_{3/2}^{L_P}(p_P) therefore permits restriction before pushforward and gives (2.1). This is the localized identity used in [JiangXie, (3.15)]. None of these steps invokes [JiangXie, (1.10)].

Translate p to the origin, rotate the affine plane to \mathbb R^n\times\{0\}, and dilate by R^{-1}. Repeat the proof of [ColdingMinicozzi, Theorem 0.5] at this scale. For n\ge3, the first-variation identities and the covering reduction in [ColdingMinicozzi, Section 1] use cutoff fields compactly supported in the scale-four region. The proof therefore uses only the restriction of the varifold to that region and stationarity there. The surface argument in [ColdingMinicozzi, Section 6.1] has the same localization, with \log s in place of s^{2-n}. Approximating the piecewise linear cutoffs by smooth compactly supported cutoffs gives the assertion for a varifold defined and stationary only in B_4(0). Scaling back proves (3.2).

Translation and dilation reduce the proof to p=0 and R=1. Put F(r)=\mathbf M(T\mathbin{\llcorner} B_r) for 1\le r\le2. For almost every such r, slicing gives the cycle Z_r=\partial(T\mathbin{\llcorner} B_r) with \mathbf M(Z_r)\le F'(r). Set s=r-2\theta and abbreviate D_{u,{\rm E}}^L=D_{u,{\rm E}}^L(0).

Let

This straight-line homotopy has speed at most \theta and spatial differential at most one. The homotopy formula and the product-current mass estimate give

Moreover, every point of \operatorname{supp}(T\mathbin{\llcorner} B_2) projecting into D_{s,{\rm E}}^L lies in B_r, by (3.3). Thus (3.3) localizes to

By locality of the boundary inside the open disk D_{s,{\rm E}}^L, (\mathbf p_L)_\#Z_r has no support there; its support is contained in \overline{D_{r,{\rm E}}^L}\setminus D_{s,{\rm E}}^L. Consequently, the top-dimensional current

is supported in \overline{D_{r,{\rm E}}^L}\setminus D_{s,{\rm E}}^L and has boundary (\mathbf p_L)_\#Z_r-Q\left[\!\left[\partial D_{s,{\rm E}}^L\right]\!\right]. Radial retraction of this annulus onto \partial D_{s,{\rm E}}^L annihilates C_r, since the terminal map has rank at most n-1. It follows that the same retraction sends (\mathbf p_L)_\#Z_r to Q\left[\!\left[\partial D_{s,{\rm E}}^L\right]\!\right]. Explicitly, on the annulus set

and set

Its displacement is at most 2\theta and its spatial differential is at most one. Thus

Consequently,

satisfies

To use this filling as a competitor, set

Then \partial W_r=0 and W_r is compactly supported in B_2. Choose a bounded open set U containing this support. For the almost-everywhere radii under consideration, \|T\|(\partial B_r)=0. Area minimality and the triangle inequality give

Subtracting the first term on the right gives F(r)\le\mathbf M(R_r). Hence F(r)\le c_E\theta F'(r)+c_EQ. Applying the integrating factor to F-c_EQ on [1,2] yields (3.3).

Define the positive semidefinite endomorphism

The nonzero eigenvalues of A are the eigenvalues of the Gram matrix I+zz^T: they are 1 with multiplicity k-1 and 1+\zeta with multiplicity one. Hence

It follows that

Let f=\cosh r=-\langle X,p\rangle_L. Since p\in L,

Dividing by |\nabla f|=\sinh r gives

Therefore

Put v=P_{\mathcal H_X}\nabla r. Since \dim\mathcal H_X=\dim S=n,

The largest eigenvalue of the positive semidefinite map P_{\mathcal H_X}P_{S^\perp}P_{\mathcal H_X} is bounded by its trace. Since |v|\le1, (Proof) and (?) imply

Combining (?), (?), and |u+v|^2\le2|u|^2+2|v|^2 proves (3.4).

By (?), (?), and (?),

Set \mathfrak q_*=\min_I\mathfrak q_n>0 and

Choose \varepsilon_0 so small that

By (?), \zeta\le\sinh^2\varepsilon_0. From (?),

Because G_n is strictly decreasing, there is a fixed \sigma=\sigma(n)>0 for which r\le3/2-\sigma.

The interval between \bar r and r lies in I, and hence

The second term in (Proof) gives r-\bar r\le1/24.

Differentiating (?),

Both r and \bar r lie in the compact interval I. The function \mathfrak q_n is bounded above and below there, while (?) and \zeta\le\sinh^2\varepsilon_0 bound |\nabla\zeta|. Equation (?) proves the gradient estimate.

The upper bound follows from \bar r\le r. Suppose that \bar r<1/16. Then

contrary to (Proof). Hence \bar r\ge1/16, so Lemma 3.6 applies and gives

Let \sigma be as in Lemma 3.6. Choose a smooth radial cutoff \chi_0:[0,\infty)\to[0,1] such that

Consider

Although G_n(r) is singular at p, one has \bar r\to0 as r\to0 (recall that \zeta(p)=0), so the factor \eta(\bar r) vanishes in a neighborhood of p. Hence X_1 extends smoothly by zero across p and is compactly supported. Whenever \eta(\bar r) or \eta'(\bar r) is nonzero, Lemma 3.6 gives r\le3/2-\sigma. Hence \chi_0(r)=1 and \nabla(\chi_0(r))=0 at every point of \operatorname{supp} V where the cutoff contributes. Thus the radial cutoff creates no additional first-variation term.

Since h=G_n(\bar r),

Stationarity gives

By Lemma 3.7, on B_{5/4}(p)\setminus B_{1/4}(p) one has

Therefore \eta(\bar r)=1 on the target annulus. Moreover, wherever \eta(\bar r)>0, Lemma 3.6 places r in the annulus I, so L_Sh\ge E+\zeta\ge0 there by Lemma 3.5. Consequently,

Split the \eta' term in (?) into the inner and outer transition regions. On the outer transition, \eta'\le0 and G_n'<0, so

This term has the favorable sign and may be discarded. On the inner transition, 1/16<\bar r<1/8, and Lemma 3.6 gives

Moreover, |\nabla\bar r|\le C(n), and G_n'(\bar r) is uniformly bounded on the transition interval. Thus

Combining this with (?) proves (3.8).

Use the compactly supported vector field

Since \psi vanishes near r=0, this field extends smoothly by zero across p. Write b=|P_S\nabla r|^2=1-a. By (?) and stationarity,

Since \psi'=8 on (1/8,1/4) and \psi'=-1 on (1/4,5/4), (Proof) becomes

The first term on the right is bounded by C(n)\mu_V(B_{1/4}). For the last term, use a\le1 on B_{1/4}\setminus B_{1/8} and Lemma 3.4 on B_{5/4}\setminus B_{1/4} to obtain

where the final inequality is Lemma 3.8. Since \mathfrak q_n has a positive lower bound on [1/4,5/4], (Proof) proves (3.9).

The standard upper-half-space distance formula (?) (see also [Ratcliffe, Chapter 4]), minimized over points of L, gives the first identity in (3.10). Applying the same formula to x and (w,0,y) gives the second. The differential of \Pi_L is Euclidean orthogonal projection and preserves y, so its norm for the conformal metric y^{-2}g_{\mathrm E} is at most one. Finally,

for 0\le\rho\le1. The assertions about (3.10) follow directly from its differential and from |\partial_\tau\mathcal H|_{g_{\mathbb H}}=|z|/y.

For almost every r\in[1/2,1], slicing gives the integral cycle

and

Put p=\Pi_L(q). By Lemma 3.10, every point in the support of T\mathbin{\llcorner} B_2(q) satisfies

Set

After decreasing \delta_*, one has s\ge1/4.

If x\in\operatorname{supp} Z_r and y=\Pi_Lx, then

Let

If y\in D_s^L(p) and x\in\operatorname{supp}(T\mathbin{\llcorner} B_2(q)) satisfies \Pi_Lx=y, then

It follows that restriction before or after cutting down to B_r(q) gives the same projected current over D_s^L(p):

Here the reverse inclusion is immediate from B_r(q)\subset B_2(q), and the preceding estimate proves the nontrivial inclusion of the relevant preimages. Since s<3/2, the projected-current identity (1.5) therefore implies

By locality of the boundary in the interior of D_s^L(p), (\Pi_L)_\#Z_r=\partial S_r has no support there. Moreover, S_r is supported in D_{r+4\delta}^L(p). Thus

is supported in the closed annulus \overline{D_{r+4\delta}^L(p)}\setminus D_s^L(p) and satisfies

Apply the horizontal homotopy (3.10) to Z_r and set

The homotopy formula gives

and the product-current estimate together with Lemma 3.10 gives

We next work inside L. Write y=\exp_p(u\vartheta) in polar coordinates and, on the full annulus s\le u\le r+4\delta containing both \operatorname{supp} C_r and \operatorname{supp}((\Pi_L)_\#Z_r), define

Thus \mathcal R_1 is radial retraction to \partial D_s^L(p). Since C_r is an n-current in the n-manifold L and \mathcal R_1 has rank at most n-1, (\mathcal R_1)_\#C_r=0. Applying \mathcal R_1 to (?) yields

Set

The homotopy formula and (?) give

The radial displacement in (?) is at most 8\delta. Its spatial differential has norm at most one: the radial factor is 1-\tau, while the angular factor is

Since \Pi_L is 1-Lipschitz,

With compatible orientations, the current

satisfies \partial R_r=Z_r. All currents in this construction are supported in B_{3/2}(q) when \delta is sufficiently small. Indeed, the horizontal homotopy moves a point by at most 2\delta, while every point in the radial homotopy has distance at most r+4\delta from p; using d_{\mathbb H}(p,q)\le2\delta and r\le1 gives the assertion after fixing, for example, \delta_*<1/12. Since s\le1,

The current

is a cycle compactly supported in B_{3/2}(q). Since \|T\|(\partial B_r(q))=0, applying (?) with this W_r and then arguing as in the Euclidean proof gives F(r)\le\mathbf M(R_r). Together with (Proof) and (?), this implies

for almost every r\in[1/2,1]. Setting G=F-c_sQ, one obtains

Hence r\mapsto e^{-r/(c_s\delta)}G(r) is nondecreasing. Evaluating at r=1/2 and r=1 proves (3.11), after increasing c_s harmlessly.

For R>0, let \eta_R(x)=R^{-1}x and set

Fix A>1. On the portion of \operatorname{supp}T_R whose projection lies in D_{2A}^L(0), one has

The reverse closeness to L also holds. Indeed, the height assumption (5.3) implies that \mathbf p|_{\operatorname{supp}T} is proper and \mathbf p(\operatorname{supp}T) is closed. Since

it follows that \mathbf p(\operatorname{supp}T)=L. Thus every point of D_{2A}^L(0) has a preimage in \operatorname{supp}T_R, and that preimage has height at most \varepsilon_R(A).

Furthermore,

One has

where \mathbf v(L,1) is the varifold associated with L.

Fix q\in\operatorname{supp}T. Since q/R\to0 and \mathcal H^n(L\cap\partial B_1(0))=0, (?) implies

The monotonicity formula says that

is nondecreasing. A nonzero area-minimizing integral current has density at least one at every point of its support. Hence

Consequently,

Equality in the monotonicity formula makes T a cone about q; a stationary integral cone of density one is a multiplicity-one plane. Therefore

for an oriented affine n-plane P.

The projected-current identity implies that \mathbf p|_P has rank n and positive degree one, so P is a graph over L:

for a linear map A:L\to L^\perp and some b\in L^\perp. If A\neq0, then \mathsf h_T(R)/R stays bounded below by a positive constant along a sequence R\to\infty. The sublinear-confinement hypothesis forces A=0, and hence P=L+b.