Making Surfaces Biharmonic by Conformal Reparametrization in Anti-de Sitter Three-Space

Abstract

Harmonic immersions of surfaces are minimal, while biharmonic maps form a fourth-order extension of harmonic-map theory. Because every harmonic map is automatically biharmonic, the basic existence problem is to find \emph{proper} biharmonic maps, namely biharmonic maps that are not harmonic. This paper asks a more geometric question: when can a fixed nondegenerate surface in three-dimensional anti-de Sitter space be made proper biharmonic by changing only the conformal metric on its domain? Equivalently, how much of biharmonicity is determined by the immersed surface, and how much can be created by conformal reparametrization? Writing the induced metric as $g=λ^2\bar g$ and introducing the weighted mean curvature $u=λ^2H$, we first reduce the map equation to a normal scalar equation coupled to a tangential first-order constraint. The resulting system reveals a sharp rigidity--existence dichotomy. A nonminimal spacelike constant-mean-curvature solution must have constant dilation and is locally the totally umbilical hyperbolic plane of curvature $-2/L^2$. Once the constant-mean-curvature assumption is removed, however, there is an open set of local analytic solutions for which both $H$ and $λ$ vary. A moving-frame invariant then identifies the ambient one-parameter symmetry and separates elliptic, hyperbolic, and index-three parabolic orbit types. In the parabolic class the geometric system reduces to a scalar third-order analytic equation, from which we reconstruct explicit local spacelike and real-principal timelike families in null coordinates. The paper therefore locates the rigid branch, proves that the rigidity can be escaped, and gives an explicit mechanism for producing the resulting non-CMC surfaces.

Disclosure

“generate_parabolic_generating_curves.py write the machine-readable JSON audit and regenerate the PDF figure listed above. The JSON output records the software environment and SHA-256 hashes of the checked files. Generative AI disclosure OpenAI ChatGPT models were used as auxiliary tools for exploratory algebra, code drafting, literature organization, consistency checks, and language editing. All theorem statements, proofs, computations, citations, and interpretive claims were checked by”

PDF page 31

Classification

Computational experiments or data processing

Multiplier

3

Verified

2026-08-24T00:34:12.480Z

Structural counts