Dimension of the minimum set for the real and complex Monge-Ampère equations in critical Sobolev spaces (Q2402626)

By the well-known example of Pogorelov, a (convex) solution of the \(n\)-dimensional Monge-Ampère equation \(\det\left( D^{2}u\right) =1\) need not be strictly convex if \(n\geq3\). Pogorelov's example is of Sobolev's class \(W^{2,p}\) for \( p < n\left( n-1\right) /2\). In 1988, Urbas established strict convexity when \(u\in W^{2,p}\) for \(p>n\left( n-1\right) /2\). The main result of the paper states that if \(0 < k < n/2\) and \(u\in W^{2,p}\left( B_{1}\right) \) is a convex solution to the \(n\)-dimensional Monge-Ampère equation \(\det\left( D^{2}u\right) \geq1\) in \(B_{1}\subseteq\mathbb{R}^{n}\) for some \(p\geq n\left( n-k\right) /\left( 2k\right) \), then the dimension of the set where \(u\) agrees with a tangent plane is at most \(k-1.\) In particular, if \(u\in W^{2,n\left( n-1\right) /2}\left( B_{1}\right) \), then \(u\) is strictly convex. The authors prove a similar result for the complex Monge-Ampère equation \(\det\left( \partial\overline{\partial}u\right) \geq1\). Namely, if \(0 < k < n\) and \(u\) is a nonnegative plurisubharmonic function satisfying \(\det\left( \partial\overline{\partial}u\right) \geq1 \) in the viscosity sense in \(B_{1}\subseteq\mathbb{C}^{n}\) such that \(\Delta u\in L^{p}\left( B_{1}\right) \) for some \(p\geq n\left( n-k\right) /k\), then the zero set \(\left\{ u=0\right\} \) contains no analytic subvarieties of dimension \(k\) or larger.