Let M⊂CN be a generic real-analytic submanifold of finite type, M′⊂CN′ be a real-analytic set, and p∈M, where we assume that N,N′⩾2. Let H:(CN,p)→CN′ be a formal holomorphic mapping sending M into M′, and let EM′ denote the set of points in M′ through which there passes a complex-analytic subvariety of positive dimension contained in M′. We show that, if H does not send M into EM′, then H must be convergent. As a consequence, we derive the convergence of all formal holomorphic mappings when M′ does not contain any complex-analytic subvariety of positive dimension, answering by this a long-standing open question in the field. More generally, we establish necessary conditions for the existence of divergent formal maps, even when the target real-analytic set is foliated by complex-analytic subvarieties, allowing us to settle additional convergence problems such as e.g. for transversal formal maps between Levi-non-degenerate hypersurfaces and for formal maps with range in the tube over the light cone.

We classify simply connected compact Sasaki manifolds of dimension 2 n+ 1 with positive transverse bisectional curvature. In particular, the Khler cone corresponding to such manifolds must be bi-holomorphic to C n+ 1\{0}. As an application we recover the theorem of Mori and SiuYau on the Frankel conjecture and extend it to certain orbifold version. The main idea is to deform such Sasaki manifolds to the standard round sphere in two steps, both fixing the complex structure on the Khler cone. First, we deform the metric along the SasakiRicci flow and obtain a limit SasakiRicci soliton with positive transverse bisectional curvature. Then by varying the Reeb vector field which essentially decreases the volume functional, we deform the SasakiRicci soliton to a SasakiEinstein metric with positive transverse bisectional curvature, ie a round sphere. The second deformation is only possible when one treats

We show that the interior of the convex core of a quasifuchsian punctured-torus group admits an ideal decomposition (usually an infinite triangulation) which is canonical in two very different senses: in a combinatorial sense via the pleating invariants, and in a geometric sense via an Epstein-Penner convex hull construction in Minkowski space. This result re-proves the Pleating Lamination Theorem for quasifuchsian punctured-torus groups, and extends to all punctured-torus groups if a strong version of the Pleating Lamination Conjecture is true.

The Cauchy problem for the homogeneous real/complexMongeAmp`ere equation (HRMA/HCMA) arises from the initial value problem for geodesics in the space of K¨ahler metrics equipped with the Mabuchi metric. This Cauchy problem is believed to be ill-posed and a basic problem is to characterize initial data of (weak) solutions which exist up to time T . In this article, we use a quantization method to construct a subsolution of the HCMA on a general projective variety, and we conjecture that it solves the equation for as long as the unique solution exists. The subsolution, called the “quantum analytic continuation potential,” is obtained by (i) Toeplitz quantizing the Hamiltonian flow determined by the Cauchy data, (ii) analytically continuing the quantization, and (iii) taking a certain logarithmic classical limit. We then prove that in the case of torus invariant metrics (where the HCMA reduces to the HRMA) the quantum analytic continuation potential coincides with the well-known Legendre transform potential, and hence solves the equation as long as it is smooth. In the sequel [29], it is proved that the Legendre transform potential ceases to solve the HCMA once it ceases to be smooth. The results here and in the sequels in particular characterize the initial data of smooth geodesic rays.

Given a compact orientable surface, we determine a complete set of relations for a function defined on the set of all homotopy classes of simple loops to be a geometric intersection number function. As a consequence, Thurston’s space of measured laminations and Thurston’s compactification of the Teichm¨uller space are described by a set of explicit equations. These equations are polynomials in the max-plus semi-ring structure on the real numbers. It shows that Thurston’s theory of measured laminations is within the domain of tropical geometry.