We prove a sharp partial regularity result for Hamiltonian stationary Lagrangian Lipschitz submanifolds in arbitrary smooth almost K\"ahler manifolds: every weak solution of the corresponding equation is smooth away from a relatively closed singular set of Hausdorff dimension at most $n-5$. We show that the estimate is optimal by constructing a nonzero two-homogeneous viscosity solution \[ U\in C^{1,1}(\mathbb{R}^5)\setminus C^2(\mathbb{R}^5) \] of the phase-zero special Lagrangian equation, whose level sets on $\mathbb{S}^4$ are the leaves of Cartan's isoparametric foliation. Its gradient graph is a non-flat calibrated cone, real analytic away from the vertex. This also gives the first $C^{1,1}$ but non-$C^2$ solution of the special Lagrangian equation, and shows that the same dimensional estimate is sharp in the case of special Lagrangian graphs.
We prove Liouville rigidity theorems for translation-invariant real and complex Hessian equations in the viscosity sense, where the PDE is encoded by an admissible set $\mathcal{A}$. The main structural notion is Liouville admissibility, a recursive geometric condition requiring each quotient set to be either boundary compatible or to fall into a terminal class. Our main theorem states that every bounded, globally $C^{0,\alpha}$ entire viscosity solution of \[ \mathrm{Hess}_{\mathbb F}u\in\partial\mathcal{A} \] is constant if and only if $\mathcal{A}$ is Liouville admissible; thus the Liouville-type property is characterized as a geometric property of the admissible set. A central class of examples arises from polarizations of univariate G{\aa}rding polynomials satisfying the monotone root sequence condition, producing mixed elementary-symmetric admissible sets and recovering the standard $k$-Hessian equations as monomial cases. The framework also allows anisotropic constructions, including linear pullbacks and intersections of admissible sets.
We study the quasilinear Liouville equation \[ -\Delta_n u=e^u \] on complete noncompact Riemannian manifolds with nonnegative Ricci curvature. Our first result shows that, if a solution $u$ satisfies the optimal logarithmic lower bound \[ u(x)\ge -\frac{n^2}{n-1}\log r(x)+o(\log r(x)) \quad \text{as }r(x)\to+\infty, \] then the underlying manifold is isometric to the Euclidean space and $u$ is a standard bubble solution. Both the leading coefficient and the remainder term in the assumption are sharp. The key ingredient in the proof is the connection between the logarithmic lower bound and a sharp upper bound on the total volume of the solution. We also formulate a conjecture concerning the interaction between the sub-logarithmic decay of solutions and the underlying geometry, and prove it for $n=2$, as well as for $n\ge 3$ under a strengthened assumption.
We establish a sharp bound on the Hausdorff dimension of the non-branch singular set of branched stable minimal immersed hypersurfaces whose singular sets have locally finite $\mathcal H^{n-2}$-measure: the non-branch singular set is empty when $n=2$, discrete when $n=3$, and has Hausdorff dimension at most $n-3$ when $n\geq4$. We also construct a non-flat stable minimal cone in $\mathbb R^4$ arising from a branched minimal immersion whose vertex is a non-branch singularity. Taking products with Euclidean factors yields examples whose non-branch singular sets have Hausdorff dimension exactly $n-3$, showing that our regularity bound is sharp in every dimension $n\geq3$. The main ingredients in our proof are a generalized Schoen inequality and a corresponding branched sheeting theorem near stationary classical cones and unions of hyperplanes.
We prove a third-order derivative estimate for convex solutions to the real Monge-Amp\`ere equation ${\rm det}\,{\rm Hess}(u) = 1$ on an open set in $\mathbb{R}^{2m}$ under the additional assumption that ${\rm Hess}(u)$ lies in ${\rm Sp}(2m,\mathbb{R})$ at every point. Our method is a geometric interpretation and extension to higher dimensions of Nitsche's classical proof of the Bernstein theorem for the real Monge-Amp\`ere equation on $\mathbb{R}^2$. For $m = 1$ we also improve Nitsche's constant as well as some estimates due to Calabi, and we construct examples of solutions with interesting geometric behavior.
We develop a pluripotential approach to complex Hessian equations on compact Hermitian manifolds. In this setting, the lack of closedness of the background metric introduces torsion terms that prevent a direct extension of the K\"ahler theory. Our main result is a uniform $L^\infty$ estimate for bounded $\omega$-$m$-subharmonic solutions of the equation \[ (\omega + dd^c u)^m \wedge \omega^{n-m} = cf\,\omega^n, \] under the assumption that $f \in L^p$, $f \ge 0$ for some $p>1$. The proof combines a weak comparison principle with torsion error, a capacity theory adapted to the Hermitian setting, and a nonlinear iteration scheme controlling the decay of sublevel sets. As applications, we obtain existence, stability and compactness results for weak solutions with $L^p$ densities. These results extend several aspects of the pluripotential theory. of complex Hessian equations beyond the K\"ahler framework.
We prove a sharp nonlinear version of the celebrated Li-Yau inequality for positive solutions of the normalized parabolic $p$-Laplacian equation $u_t = \Delta u + (p-2)|\nabla u|^{-2}\nabla^2u(\nabla u,\nabla u)$, $1<p<\infty$, on a closed Riemannian manifold with nonnegative Ricci curvature, the equation being interpreted in the viscosity sense on the critical set of the solution. The constant is best possible, even within the class of closed manifolds: it is attained identically by an explicit self-similar solution in flat $\Rn$, and its sharpness transfers to the compact setting through a large-torus limit along the flat tori $\mathbb R^n/(L\mathbb Z)^n$, $L \to \infty$. The proof rests on an exact Bochner-type identity for a family of uniformly parabolic approximating flows in which the second-order regularization and the first-order eikonal term are decoupled: for this family the maximum principle applies with the sharp constant, uniformly in the regularization parameter, and with no assumption on the critical set of the solution. The identity is moreover form-invariant under the classical $\alpha$-relaxation of the Li-Yau functional; as a consequence we also obtain the corresponding inequality on closed manifolds with $\operatorname{Ric} \ge -\kappa$ (again with no assumption beyond the Ricci lower bound), and, on complete noncompact manifolds with $\operatorname{Ric} \ge 0$, the sharp inequality for the approximating flows -- again with no assumption on the critical set -- under a cutoff hypothesis on the distance function (automatic in $\Rn$, and, for $p \ge 2$, under nonnegative sectional curvature) and a qualitative polynomial growth condition on the Li-Yau quantity, satisfied, with exponent zero, by the extremal profile. A sharp global Harnack inequality follows.
