Regularity at infinity for area-minimizing hypersurfaces in hyperbolic space (Q1096168)

The upper half space model of \((n+1)\)-dimensional hyperbolic space is the set \[ {\mathbb{H}}=\{(x,y)\in {\mathbb{R}}^ n\times {\mathbb{R}}: y>0\} \] equipped with the hyperbolic metric \(y^{-2}(dx^ 2+dy^ 2)\). The problem of hyperbolic-area minimization was first studied by \textit{A. Lonseth} [Am. J. Math. 64, 229-259 (1942)] in the case \(n=2\). More recently, it has been shown that by \textit{M. T. Anderson} [Invent. Math. 69, 477-494 (1982; Zbl 0515.53042)] that in case \(\Gamma\) is a compact (n-1)-dimensional \(C^{1,\alpha}\), \(0\leq \alpha \leq 1\), smooth submanifold of \({\mathbb{R}}^ n\times \{0\}\) there exists an n-dimensional hyperbolic-area minimizing locally rectifiable current T in \({\mathbb{H}}\) whose support has \(\Gamma\) as its asymptotic limit. While the interior regularity results of geometric measure theory were known to apply to such a current, the question of the behavior at infinity, i.e. near \({\mathbb{R}}^ n\times \{0\}\), remained open. The authors prove here that, in fact, for any such hyperbolic-area minimizing current T with support M, the set \(M\cup \Gamma\), in the ordinary Euclidean metric, is, near \(\Gamma\), a finite union of \(C^{1,\alpha}\) submanifolds with boundary \(\Gamma\), which have disjoint analytic interiors and meet \({\mathbb{R}}^ n\times \{0\}\) orthogonally at \(\Gamma\). The proof of the \(C^ 1\) regularity at infinity is based on a clever use of the interior regularity and the fact that homotheties are hyperbolic isometries. The \(C^{1,\alpha}\) regularity is proved by studying an associated partial differential equation which becomes degenerate along \(\Gamma\). We note here that the formula in line 8 of page 222 is in error: cos \(\eta\) should appear to the power (n-1). The argument given still applies with minor modifications which will appear in a correction submitted by the authors. In a final section, the authors prove the uniqueness (up to a constant factor) of the stationary current having as its asymptotic limit the boundary \(\Gamma\) of a given star-shaped domain in \({\mathbb{R}}^ n\times \{0\}\).