Singular Monge-Ampère foliations (Q1865695): Difference between revisions

The homogeneous Monge-Ampère equation is \[ (d d^c u)^n =0, \] where \(n\) is the dimension of the complex manifold \(M\), \(u\) is a real-valued function on \(M\), and \(d^c=i(\overline{\partial}-\partial )\). In the case where \(u\) is at least \(\mathbb{C}^3\) and the form \(\omega=d d^c u\) has constant rank, the integral curves of \(\omega\) foliate \(M\) by complex submanifolds; this foliation is called the Monge-Ampère foliation. In this paper, the manifold \(M\) is assumed to be Stein (i.e. properly embeddable into \(\mathbb{C}^k\) for some \(k\)). Suppose that \(u\) is a nonnegative solution to \((d d^c u)^n =0\), \((d d^c u)^{n-1} \neq 0\) on \(M\setminus S\), where \(S\) is the set on which \(u=0\) (assumed to be a compact, smooth submanifold). Under the normal blowup of the singularity \(S\), the form \(d^c u\) pulls back to a contact form on the unit normal bundle of \(S\). Given some regularity assumptions, this form can be used to define a Finsler metric on \(S\). In this paper, the authors show that the leaves of the foliation intersect \(S\) in geodesics, and they show that every real analytic Finsler metric on \(S\) arises from such a construction. Furthermore, this Finsler metric uniquely determines the Monge-Ampère solution.