Abstract:In this paper, we study the smooth isometric immersion of a complete, simply connected surface with a negative Gauss curvature into the three-dimensional Euclidean space. A fundamental and longstanding problem is to find a sufficient condition for a complete negatively curved surface to be isometrically embedded in R^3 [67]. It can be described as an initial and/or boundary value problem for a hyperbolic system of nonlinear partial differential equations derived from the Gauss-Codazzi equations. The mathematical theory associated with this system is largely incomplete. The global smooth isometric immersion has been proven in the literature when the Gauss curvature decays rapidly and monotonically. However, when the Gauss curvature oscillates or decays slowly, the problem becomes much more challenging and little is known. In our paper, we find a sufficient condition, consisting of a finite total Gauss curvature and appropriate oscillations of the Gauss curvature. Under this condition we prove the global existence of a smooth solution to the Gauss-Codazzi system, achieving a global smooth isometric immersion of the surface into R^3. Furthermore, we show that the finite total Gauss curvature is necessary for the existence of a solution in a special case of the Gauss-Codazzi system. New techniques are developed to overcome the difficulties posed by the slow decay and oscillations of the Gauss curvature. By observing that certain combinations of the Riemann invariants decay faster than others, we reformulate the Gauss-Codazzi equations as a symmetric hyperbolic system and uncover a crucial structure of partial dampings. These partial dampings, along with the finite total curvature and appropriate oscillations of the Gauss curvature, enable us to obtain a global smooth solution through delicate analysis, and consequently establish a global smooth isometric immersion of such surfaces.

Diophantine approximation, large intersections and geodesics in negative curvature

Curvatures of Moduli Space of Curves and Applications

Geometric Analysis Aspects of Infinite Semiplanar Graphs with Nonnegative Curvature II

Fast approximation and exact computation of negative curvature parameters of graphs

Prescribing the behaviour of geodesics in negative curvature

Diophantine approximation on curves and the distribution of rational points: divergence theory

Discrete Differential Geometry for $C^{1,1}$ Hyperbolic Surfaces of Non-Constant Curvature

A New Diophantine Approximation Inequality on Surfaces and Its Applications

Divergent geodesics, ambiguous closed geodesics and the binary additive divisor problem

A variational principle in the parametric geometry of numbers, with applications to metric Diophantine approximation

The Isometric Immersion of Negatively Curved Surfaces with Finite Total Curvature

Asymptotically non-negative Ricci curvature, elliptic Kato constant and isoperimetric inequalities

Diophantine approximation on polynomial curves

Prescribing curvatures in the disk via conformal changes of the metric: the case of negative Gaussian curvature

Nearly geodesic immersions and domains of discontinuity

Diophantine Approximation on Varieties IV: Derivated algebraic distance and derivative metric Bezout Theorem

Curvature and complexity: Better lower bounds for geodesically convex optimization

Two-dimension vanishing, splitting and positive scalar curvature

Quantitative non-divergence and Diophantine approximation on manifolds

A variational principle in the parametric geometry of numbers

Geometric and arithmetic aspects of approximation vectors