Remarks on constructing biharmonic and conformal biharmonic maps to spheres

This paper investigates a geometric algorithm for constructing biharmonic and conformal-biharmonic maps into spheres, demonstrating that while the approach faces strong restrictions for biharmonic maps on closed domains due to the maximum principle, it offers greater flexibility on non-compact domains and successfully generates explicit critical points for conformal-biharmonic maps between spheres.

The Gist

Imagine you are an architect trying to build the most efficient, stable structure possible. In the world of mathematics, specifically geometry, "harmonic maps" are like perfectly balanced, tension-free structures. They are the gold standard, the "happiest" shapes you can have between two surfaces. Mathematicians have studied these for decades.

But what if you want to build something more complex? Something that involves higher levels of stress or curvature? This is where Biharmonic and Conformal-Biharmonic maps come in. Think of them as "super-structures" that try to minimize not just the basic tension, but a more complex, fourth-order version of stress.

This paper by Volker Branding is essentially a construction manual for building these complex structures, specifically when trying to map one shape onto a sphere (like wrapping a piece of fabric over a ball).

Here is the breakdown of the paper's journey, using simple analogies:

1. The Starting Point: The "Harmonic" Baseline

Imagine you have a piece of elastic fabric (your domain) and you want to stretch it over a sphere (your target).

• Harmonic Maps: These are the ways you can stretch the fabric so it lies perfectly flat with no wrinkles and no tension. It's the "easy" solution.
• The Problem: Mathematicians want to find "Proper Biharmonic" maps. These are structures that look like they are under stress (they aren't the simple harmonic ones) but are still in a state of "perfect balance" according to a much harder set of rules. It's like trying to find a way to fold a piece of paper into a complex origami crane that stays perfectly balanced without falling over, even though it's not just a flat sheet.

2. The Construction Algorithm: "The Tilt"

The author proposes a clever trick to build these complex shapes. Instead of starting from scratch, he starts with a known, perfect "Harmonic" map and asks: "How much can we tilt it before it becomes a 'Proper Biharmonic' map?"

He uses a formula that takes a harmonic map and splits it into two parts:

• One part stays on the "equator" of the sphere.
• The other part is "lifted" up toward the "pole" by a certain angle (let's call this angle $\alpha$).

The question is: What is the magic angle $\alpha$ that turns a simple flat map into a complex, balanced, super-map?

3. The Big Discovery: Closed vs. Open Worlds

The paper finds a massive difference depending on the "shape" of the world you are building in.

Scenario A: The Closed World (Like a finite island)

Imagine your fabric is a closed loop, like a donut or a sphere. There are no edges; it just goes on forever in a loop.

• The Rule: In this closed world, the laws of physics (specifically something called the "Maximum Principle") are very strict.
• The Result: You can only build a "Proper Biharmonic" map if you tilt the fabric exactly 45 degrees ($\alpha = \pi/4$).
• The Catch: The fabric must also be stretched perfectly evenly everywhere (constant energy density). If you try to tilt it any other way, or if the stretch is uneven, the structure collapses.
• Analogy: It's like trying to balance a pencil on its tip on a table. In a closed world, there is only one specific angle where it balances. Any other angle, and it falls. Also, the paper notes that even when you find this balance, the structure is unstable. It's like a pencil balanced on its tip; technically possible, but the slightest breeze knocks it over.

Scenario B: The Open World (Like an infinite plane)

Now imagine your fabric is an infinite sheet, or has edges (like a piece of paper on a table).

• The Rule: The strict laws of the "Closed World" don't apply here. The "Maximum Principle" relaxes its grip.
• The Result: You have freedom! You can tilt the fabric at many different angles, not just 45 degrees. You can have uneven stretching, and the structure can still hold.
• Analogy: It's like building a sandcastle on an infinite beach. You aren't restricted by the edges of a bucket. You can build towers at different heights and angles that would be impossible in a closed box.

4. The Twist: Conformal-Biharmonic Maps

The author also studies a special cousin of these maps called Conformal-Biharmonic maps.

• The Difference: Standard biharmonic maps care about the specific size and shape of the fabric. Conformal-biharmonic maps are "shape-shifters." They don't care if you stretch or shrink the fabric, as long as the angles stay the same (like looking at a map that can be zoomed in or out).
• The Result: This type of map is much more flexible.
  • In the "Closed World," you don't need to be stuck at exactly 45 degrees. You can find solutions for many different angles, provided the "stretch" of the fabric matches a specific mathematical recipe.
  • It's like the difference between a rigid steel beam (standard biharmonic) and a piece of rubber (conformal-biharmonic). The rubber can bend and twist into many more shapes while still staying "balanced."

5. The "Two-Harmonic" Trick

The author also tries a more complex construction: instead of tilting one harmonic map, he combines two different harmonic maps (like weaving two different fabrics together).

• Closed World: Again, the rules are strict. The two fabrics must be woven together at exactly 45 degrees, and their "tightness" must differ by a constant amount.
• Open World: Once again, the rules loosen up, allowing for many more combinations of angles and tightness.

Summary of the "Takeaway"

1. Harmonic maps are the easy, perfect solutions.
2. Biharmonic maps are the hard, complex solutions we want to find.
3. If your world is closed (finite): It's very hard to find these complex solutions. You are forced into a very specific, narrow path (45 degrees), and even then, the solution is unstable (wobbly).
4. If your world is open (infinite): You have a playground. You can find many more solutions with different angles and shapes.
5. Conformal-Biharmonic maps are the "chameleons" of this world. They are more flexible than standard biharmonic maps, offering even more ways to build these complex structures, especially in the closed world.

In a nutshell: The paper tells us that while nature (mathematics) is very picky about how we build these complex shapes in a finite universe, it becomes much more generous and creative when we allow for infinite or open spaces. And if we use the "shape-shifting" (conformal) rules, we get even more creative freedom.

Technical Summary

Here is a detailed technical summary of the paper "Remarks on Constructing Biharmonic and Conformal-Biharmonic Maps to Spheres" by Volker Branding.

1. Problem Statement

The paper addresses the construction of non-trivial solutions to fourth-order partial differential equations arising in Riemannian geometry: biharmonic maps and conformal-biharmonic maps.

• Context: Harmonic maps (critical points of the energy functional $E$) are well-studied second-order elliptic systems. Biharmonic maps (critical points of the bienergy $E_2$) and conformal-biharmonic maps (critical points of the conformal bienergy $E_2^c$) are fourth-order generalizations.
• Challenge: The fourth-order nature of these equations makes standard analytical tools (like the maximum principle) difficult to apply directly. Furthermore, finding "proper" biharmonic maps (those that are not harmonic) is a significant challenge, especially when the target manifold is a sphere with positive curvature.
• Goal: The author investigates a geometric algorithm to deform known harmonic maps into proper biharmonic or conformal-biharmonic maps when the target is a Euclidean sphere ($S^n$). Specifically, the paper analyzes two ansatzes:
  1. Deforming a single harmonic map $v: M \to S^{n-1}$ into $q: M \to S^n$ via $q = (\sin\alpha \cdot v, \cos\alpha)$.
  2. Combining two harmonic maps $v_1, v_2$ into $w: M \to S^n$ via $w = (\sin\beta \cdot v_1, \cos\beta \cdot v_2)$.

2. Methodology

The author employs a variational approach combined with geometric analysis techniques:

• Variational Framework: The study starts with the definitions of the bienergy functional $E_2(\phi) = \frac{1}{2}\int |\tau(\phi)|^2$ and the conformal bienergy functional $E_2^c(\phi)$, which includes curvature terms of the domain to ensure conformal invariance.
• Euler-Lagrange Equations: The paper derives the specific Euler-Lagrange equations for maps into spheres in the extrinsic picture (embedding into $\mathbb{R}^{n+1}$).
  • For biharmonic maps: $\Delta^2 u + 2\text{div}(|\nabla u|^2 \nabla u) - (\langle \Delta^2 u, u \rangle - 2|\nabla u|^4)u = 0$.
  • For conformal-biharmonic maps: A modified equation involving the scalar curvature ($Scal_M$) and Ricci curvature ($Ric_M$) of the domain.
• Ansatz Reduction: The core methodology involves substituting the specific geometric ansatzes (involving a constant angle $\alpha$ or $\beta$ and harmonic maps $v$) into the fourth-order equations. This reduces the problem to analyzing lower-order constraints on the energy density $|\nabla v|^2$.
• Maximum Principle: A crucial tool used to analyze the resulting differential equations for $|\nabla v|^2$ on closed (compact without boundary) manifolds. The principle imposes strict restrictions on the existence of solutions.
• Non-Compact Analysis: The paper contrasts closed domains with non-compact domains (e.g., $\mathbb{R}^m \setminus \{0\}$), where the maximum principle does not apply, allowing for non-constant energy densities and greater flexibility.

3. Key Contributions and Results

A. Biharmonic Maps (Standard)

Theorem 1.1 (Single Harmonic Map):
For a closed Riemannian manifold $M$, the map $q = (\sin\alpha \cdot v, \cos\alpha)$ is proper biharmonic if and only if:

• $\alpha = \pi/4$.
• The energy density of the harmonic map is constant ($|\nabla v|^2 = \text{const}$).
• Result: The only solution is $q = (\frac{1}{\sqrt{2}}v, \frac{1}{\sqrt{2}})$.
• Stability: These maps are unstable critical points of the bienergy.

Theorem 1.3 (Two Harmonic Maps):
For a closed manifold, the map $w = (\sin\beta \cdot v_1, \cos\beta \cdot v_2)$ is proper biharmonic if and only if:

• $\beta = \pi/4$.
• The difference in energy densities is constant and non-zero ($|\nabla v_1|^2 - |\nabla v_2|^2 = \text{const} \neq 0$).
• Result: $w = (\frac{1}{\sqrt{2}}v_1, \frac{1}{\sqrt{2}}v_2)$.

Non-Compact Flexibility:
The paper demonstrates that if the domain is non-compact (e.g., $\mathbb{R}^m \setminus \{0\}$), the maximum principle does not force $|\nabla v|^2$ to be constant. This allows for a wider class of proper biharmonic maps where the angle parameter ($\alpha$ or $\beta$) depends on the dimension $m$ in specific ways (e.g., $\sin^2 \alpha = \frac{3}{2}\frac{m-3}{m-1}$). Notably, in the critical dimension $m=4$, the solutions revert to the structure seen in the compact case (factor of $1/\sqrt{2}$), but with non-constant energy densities.

B. Conformal-Biharmonic Maps

Theorem 1.2 (Single Harmonic Map):
For a map $q = (\sin\alpha \cdot v, \cos\alpha)$ between spheres ($S^m \to S^n$):

• The map is conformal-biharmonic if $|\nabla v|^2 = \lambda$ (constant) and $\sin^2 \alpha$ satisfies a specific algebraic relation involving the dimension $m$ and $\lambda$:
  $$\sin^2 \alpha = \frac{1}{3}\frac{(m-1)(m-3)}{\lambda} + \frac{1}{2}$$
• Significance: Unlike the standard biharmonic case, the condition for conformal-biharmonic maps is less restrictive regarding the energy density. Solutions exist for various dimensions and eigenvalues, not just the rigid $\alpha = \pi/4$ case found in the biharmonic scenario.

Theorem 1.4 (Two Harmonic Maps):
For $w = (\sin\beta \cdot v_1, \cos\beta \cdot v_2)$ where $v_1, v_2$ are eigenmaps with constant energy densities $\lambda_1, \lambda_2$:

• The map is conformal-biharmonic if $\lambda_1 \neq \lambda_2$ and $\cos 2\beta$ satisfies a specific relation involving the difference $\lambda_1 - \lambda_2$ and the dimension $m$.
• Result: This construction yields a large family of explicit non-harmonic conformal-biharmonic maps.

Stability:
Similar to the biharmonic case, the constructed conformal-biharmonic maps are proven to be unstable critical points of the conformal bienergy.

4. Significance and Implications

1. Rigidity vs. Flexibility: The paper highlights a fundamental difference between standard biharmonic maps and conformal-biharmonic maps. On closed domains, standard biharmonic maps are extremely rigid (requiring constant energy density and specific angles like $\pi/4$). In contrast, conformal-biharmonic maps offer more flexibility, allowing for solutions with non-constant energy densities in certain contexts and a broader range of parameters.
2. Role of the Maximum Principle: The work clarifies how the maximum principle acts as a "gatekeeper" for the existence of proper biharmonic maps on closed manifolds. Removing the compactness assumption (moving to non-compact domains) unlocks a rich variety of new solutions that are otherwise impossible to construct.
3. Construction Algorithm: The paper provides a concrete, reproducible algorithm for generating proper biharmonic and conformal-biharmonic maps:
   • Start with a harmonic map (or eigenmap).
   • Embed it into a higher-dimensional sphere using a constant angle.
   • Adjust the angle based on the dimension and energy density to satisfy the fourth-order equation.
4. Instability: A recurring theme is that all constructed non-harmonic solutions are unstable. This aligns with the broader understanding that proper biharmonic maps often represent saddle points rather than minima of the energy functionals.
5. Dimensional Dependence: The results are highly sensitive to the dimension of the domain. The paper explicitly calculates the constraints for dimensions $m=1, 2, 3, 4$ and general $m$, showing that the critical dimension $m=4$ often exhibits unique structural similarities between compact and non-compact cases.

In summary, Volker Branding's work provides a systematic classification of biharmonic and conformal-biharmonic maps constructed from harmonic maps into spheres, establishing strict existence criteria for closed domains and demonstrating the abundance of solutions in non-compact settings.