Codimension four regularity of generalized Einstein structures

DOI10.1007/S00208-022-02516-3MaRDI QIDQ6084221zbMATH OpenFDO

Authors Xin Fu, Aaron Naber, Jeffrey Streets

Publication date 31 October 2023

Published in Mathematische Annalen (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2107.08108

zbMATH Keywords

diffeomorphism finitenessgeneralized Einstein structuresGromov-Hausdorff convergencesingular set

Mathematics Subject Classification ID

Global geometric and topological methods (à la Gromov); differential geometric analysis on metric spaces (53C23) Special Riemannian manifolds (Einstein, Sasakian, etc.) (53C25)

Abstract: We establish codimension 4 regularity of noncollapsed sequences of metrics with bounds on natural generalizations of the Ricci tensor. We obtain a priori L2 curvature estimates on such spaces, with diffeomorphism finiteness results and rigidity theorems as corollaries.

Review text

The authors prove a codimension 4 regularity theorem for non-collapsing sequences of bounded generalized Einstein structures and establish related bounds on various tensor fields, leading to some rigidity results for generalized Einstein manifolds. More precisely, let \((M,g)\) be an oriented Riemannian \(n\)-manifold and \(H=H_0+\dots +H_n\) be a smooth tensor field built up from \(k\)-forms \(H_k\) over \(M\). Moreover, define the symmetric \((0,2)\)-type tensor field \(H^2\) by \(H^2(X,Y):=g(H(X,\:\cdot\:),H(Y,\:\cdot\:))\), where the interior products such as \(H(X,\:\cdot\:)\) are regarded as sums of differential forms. Then \((M,g,H)\) is called a \textit{generalized Einstein manifold} if \[ \begin{cases} \mathrm{Ric}_g-\frac{1}{4}H^2 & =0,\\ \mathrm{d}H+Q_1(H) & =0,\\ \mathrm{d}^*_g+Q_2(H) & =0, \end{cases} \] where \(Q_i(H)\) are differential forms, which are quadratic in \(H\), defined using the metric \(g\), interior and wedge products. Introducing the \textit{generalized Ricci tensor} \(RC\) whose three direct sum components are the left hand sides of the three equations above respectively, the condition can also be written simply as \(RC=0\). Let \((M,g_j,H_j)\) be a sequence of generalized Einstein manifolds on a fixed \(n\)-manifold \(M\). Consider the induced sequence \((M, d_j,p_j)\) of pointed metric spaces, where \(p_j\in M\) are points satisfying that \(\mathrm{Vol}(B_1(p_j))>v>0\) (non-collapsing condition). Moreover, assume that the generalized Ricci tensors in this sequence satisfy the pointwise bounds \(\vert RC\vert_{g_j}\leq n-1\) along \(M\). The authors' main result is that the singular set \(S\) of the corresponding Gromov-Hausdorff limit \((X,d,p)\) satisfies \(\dim S\leq n-4\) (see Theorem 1.1 in the paper). In addition, effective volume estimates exist for this singular set, leading to \(L^2\) and \(L^p\) estimates for the original Riemannian curvature tensor of \(g\) and the tensor field \(H\) respectively (see Theorem 1.2 in the article). Finally, these estimates lead to various rigidity results concerning the diffeomorphism types of generalized Einstein spaces in \(4\) dimensions (see Corollary 1.3 in the article) and their standard Ricci-flatness (see Corollary 1.4 in the article). The appearance of four-dimensionality in this context is interesting because the motivation for the generalized Einstein condition comes from physics, more precisely it appears in certain supergravity theories and renormalization group flow equations. From the mathematical point of view, generalized Einstein structures are the critical points of the generalized Einstein-Hilbert action for generalized geometry.

Recommendations

• Regularity of Einstein manifolds and the codimension 4 conjecture
• On the singularities of spaces with bounded Ricci curvature
• -regularity and structure of four-dimensional shrinking Ricci solitons
• Curvature and injectivity radius estimates for Einstein 4-manifolds
• Finite boundary regularity for conformally compact Einstein manifolds of dimension 4

Cites work

• \(L^2\) curvature bounds on manifolds with bounded Ricci curvature
• A local index theorem for non-Kähler manifolds
• A matrix Harnack estimate for the heat equation
• Convergence and rigidity of manifolds under Ricci curvature bounds
• Energy identity for stationary Yang Mills
• Generalized Ricci flow
• Hamilton’s gradient estimate for the heat kernel on complete manifolds
• scientific article; zbMATH DE number 2038972 (Why is no real title available?)
• scientific article; zbMATH DE number 770462 (Why is no real title available?)
• Lower bounds on Ricci curvature and quantitative behavior of singular sets
• Lower bounds on Ricci curvature and the almost rigidity of warped products
• On the parabolic kernel of the Schrödinger operator
• On the singularities of spaces with bounded Ricci curvature
• On the structure of spaces with Ricci curvature bounded below. I
• Rectifiability of singular sets of noncollapsed limit spaces with Ricci curvature bounded below
• Regularity of Einstein manifolds and the codimension 4 conjecture
• Ricci curvature and volume convergence
• Ricci Curvature Bounds and Einstein Metrics on Compact Manifolds
• Self-dual solutions to Euclidean gravity
• SHARP GRADIENT ESTIMATE AND YAU'S LIOUVILLE THEOREM FOR THE HEAT EQUATION ON NONCOMPACT MANIFOLDS
• Supergravity as generalised geometry I: type II theories
• The Gibbons-Hawking ansatz in generalized Kähler geometry
• Torsion-free generalized connections and heterotic supergravity
• Vanishing theorems and string backgrounds
• Volume estimates on the critical sets of solutions to elliptic PDEs

Cited in

(1)

• Optimal transport and generalized Ricci flow

This page was built for publication: Codimension four regularity of generalized Einstein structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6084221)