Harmonic immersions of the Sierpinski gasket into the hyperbolic plane

Technical Summary: Harmonic Immersions of the Sierpinski Gasket into the Hyperbolic Plane

Problem Statement
The paper investigates the existence, uniqueness, and geometric properties of harmonic immersions of the Sierpinski gasket ($G$) into the hyperbolic plane ($\mathbb{H}^+$). While harmonic maps from fractals to Euclidean space $\mathbb{R}^n$ are well-established (minimizing a Dirichlet-like energy under fixed boundary conditions), the extension of this theory to non-Euclidean target manifolds remains an open question. Specifically, the author seeks to determine if a harmonic map $\phi: G \to \mathbb{H}^+$ exists for arbitrary boundary conditions, whether such a map is unique under certain constraints, and if the map preserves the geodesic structure of the fractal (i.e., if it is totally geodesic).

Methodology and Framework
The study relies on the analytical framework of Dirichlet forms on fractals, specifically the harmonic Sierpinski gasket defined via Kusuoka's measure $\kappa$ and a Borel field of symmetric matrices $E_x$.

1. Energy Functional: The energy of an immersion $\phi = u + iv: G \to \mathbb{H}^+$ is defined using the Poincaré metric of the hyperbolic plane:
   $$\tilde{E}(\phi) = \int_G \frac{1}{v^2} \left[ (du E_x, du) + (dv E_x, dv) \right] d\kappa$$
   where $u, v$ belong to the domain of the Dirichlet form $D(E_d)$. The boundary conditions are fixed by mapping the three vertices $\{A, B, C\}$ of the gasket to three prescribed points $\{\tilde{A}, \tilde{B}, \tilde{C}\}$ in $\mathbb{H}^+$.

2. Existence (Direct Method): To prove the existence of a minimizer, the author employs the Ascoli-Arzelà theorem. This requires establishing compactness in the space of functions. The proof utilizes:

   • Volume Doubling and Poincaré Inequalities: Properties of the metric measure space $(G, d, \kappa)$ are recalled to establish Hölder continuity of functions in $D(E_d)$.
   • Korevaar-Schoen Energy: The paper connects the Dirichlet form to Cheeger's energy and Korevaar-Schoen spaces to derive uniform Hölder bounds ($C^{0,\alpha}$) for minimizing sequences.
   • Geometric Truncation: A crucial step involves constructing a minimizing sequence whose image is contained within the hyperbolic triangle $T(\tilde{A}, \tilde{B}, \tilde{C})$. This is achieved by composing maps with automorphisms of $\mathbb{H}^+$ and "projection" maps that reduce energy, ensuring the sequence remains in a hyperbolically bounded set.

3. Uniqueness and Differentiability (Implicit Function Theorem): For the case where boundary points are sufficiently close, the author performs a "blow-up" analysis. By rescaling the problem around the point $i \in \mathbb{H}^+$, the Euler-Lagrange equations are recast as a nonlinear operator equation. The author demonstrates that for small perturbations (small hyperbolic distance between boundary points), the linearization of this operator is invertible, allowing the application of the Implicit Function Theorem to establish uniqueness and $C^1$ dependence on boundary data.

4. Geodesic Property (Obstacle Problem): To prove that injective harmonic maps are totally geodesic, the paper analyzes the image of geodesics in $G$. The proof treats the image of the gasket boundary as an "obstacle." It shows that the image of a geodesic connecting two vertices must coincide with the unique length-minimizing curve in $\mathbb{H}^+$ constrained to lie within the image of the gasket. This is proven by contradiction: if the image deviated from the geodesic, a projection argument (similar to the energy reduction in the existence proof) would yield a map with strictly lower energy, violating minimality.

Key Results
The paper establishes the following three main theorems:

1. Existence: For any three points $\tilde{A}, \tilde{B}, \tilde{C} \in \mathbb{H}^+$, there exists at least one harmonic map $\phi$ satisfying the boundary conditions. The infimum of the energy is finite and attained.
2. Local Uniqueness and Regularity: There exists a radius $r_0 > 0$ such that if the boundary points $\tilde{A}, \tilde{B}, \tilde{C}$ are contained within a hyperbolic ball of radius $r < r_0$, the harmonic map is unique. Furthermore, this unique map depends differentiably ($C^1$) on the boundary points.
3. Total Geodesy: If the harmonic immersion $\phi$ is injective, it is totally geodesic. Specifically, it maps geodesics of the Sierpinski gasket $G$ to geodesics of the image $\phi(G)$ in the hyperbolic plane.

Significance and Claims
The paper claims to extend the theory of harmonic maps from fractals to non-Euclidean targets, specifically the hyperbolic plane. It highlights that while the affine nature of harmonic extensions in Euclidean space simplifies the problem, the non-linear setting of $\mathbb{H}^+$ requires delicate functional analytic tools (Cheeger's energy, Korevaar-Schoen spaces) and geometric arguments (automorphisms, obstacle problems).

The author explicitly notes limitations and modesty in the claims:

• The injectivity of the harmonic map is not proven in general; the total geodesy result (Point 3) is conditional on the map being injective.
• The paper does not provide a general proof of injectivity, even when boundary points are not collinear, and thus the "totally geodesic" property remains a conditional result.
• The work focuses on the Sierpinski gasket as a specific case, though the methods rely on general properties of fractals defined by iterated function systems with Dirichlet forms.

The paper concludes by noting that the image of the gasket under the harmonic map can be decomposed into the union of images of three smaller harmonic maps, analogous to the self-similar structure of the gasket itself, though a formal proof of this specific recursive property is omitted.