The Gursky-Streets equations

TL;DR

This paper advances the understanding of the Gursky-Streets equations by establishing uniform $C^{1,1}$ regularity, which leads to new insights into the geometric structure and uniqueness of solutions to the $\sigma_2$-Yamabe problem.

Contribution

It proves uniform $C^{1,1}$ regularity for the Gursky-Streets equations, enabling a direct proof of solution uniqueness for the $\sigma_2$-Yamabe problem.

Findings

Established uniform $C^{1,1}$ regularity of Gursky-Streets' equations.

Proved convexity of the $F$-functional along $C^{1,1}$ geodesics.

Provided a straightforward proof of the uniqueness of $\sigma_2$-Yamabe problem solutions.

Abstract

Gursky-Streets introduced a formal Riemannian metric on the space of conformal metrics in a fixed conformal class of a compact Riemannian four-manifold in the context of the $\sigma_2$-Yamabe problem. The geodesic equation of Gursky-Streets' metric is a fully nonlinear degenerate elliptic equation and Gursky-Streets have proved uniform $C^{0, 1}$ regularity for a perturbed equation. Gursky-Streets apply the results and parabolic smoothing of Guan-Wang flow to show that the solution of $\sigma_2$-Yamabe problem is unique. A key ingredient is the convexity of Chang-Yang's $\cF$-functional along the (smooth) geodesic, in view of Gursky-Streets metric and a weighted Poincare inequality of B. Andrews on manifolds with positive Ricci curvature. In this paper we establish uniform $C^{1, 1}$ regularity of the Gursky-Streets' equation. As an application, we can establish strictly the geometric structure in terms of Gursky-Streets' metric, in particular the convexity of $\cF$-functional along $C^{1, 1}$ geodesic. This in particular gives a straightforward proof of the uniqueness of solutions of $\sigma_2$-Yamabe problem.