Geometric inequalities on locally conformally flat manifolds (Q1880382)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Geometric inequalities on locally conformally flat manifolds
scientific article

    Statements

    Geometric inequalities on locally conformally flat manifolds (English)
    0 references
    0 references
    0 references
    27 September 2004
    0 references
    The authors study inequalites among global curvature invariants related to the Schouten tensor on a locally conformally flat, compact Riemannian manifold \((M,g)\). The fundamental quantities, that are studied, are integrals of the \(\sigma_k\)-scalar curvature: \[ {\mathcal F}_k(g)=\text{vol}(g)^{-(n-2k)\over n}\int_M\sigma_k(g) \,dg, \] for \(k=0,1,\dots,n\). Here the \(\sigma_k\)-scalar curvature is defined as \(\sigma_k(g):=\sigma_k(g^{-1}S_g)\), where \(\sigma_k\) is the \(k\)-th elementary symmetric function and \(S_g\) the Schouten tensor: \[ S_g={1\over n-2}\biggl( \text{Ric}_g-{R_g\over 2(n-1)}g\biggr). \] Here Ric\(_g\) is the Ricci tensor and \(R_g\) is the scalar curvature. The main result of this paper establishes inequalities between \({\mathcal F}_k(g)\) and \({\mathcal F}_l(g)\) for \(l<k\), where \(g\) is assumed to be in the conformal class of a smooth background metric \(g_0\). All metrics are assumed to have positive \(\Gamma_k\)-curvature, which means that the \(\sigma_j\)-scalar curvature is positive for \(\forall j\leq k\). Depending on the range of \(k\) and \(l\), three types of inequalities are established: (A) a Sobolev type inequality for \(0\leq l<k<{n\over 2}\), (B) a conformal quermass-integral type inequality for \({n\over 2}\leq k\leq n,1\leq l<k\) and (C) a Moser-Trudinger type inequality if \(k={n\over 2}\). For \(k\geq{n\over 2}\) it is known that a compact, locally conformally flat manifold \((M,g)\) with positive \(\Gamma_k\)-curvature is conformally equivalent to a spherical space form, see \textit{P. Guan, J. Viaclovsky} and \textit{G. Wang} [Trans. Am. Math. Soc. 355, No. 3, 925--933 (2003; Zbl 1022.53035)]. Cases of equality in (B) and (C) are characterized as arising exactly when \((M,g)\) is a spherical space form. The authors prove their main theorem by studying an associated nonlinear flow of metrics. A main part of the paper is dedicated to establishing global existence and convergence of this flow.
    0 references
    Schouten tensor
    0 references
    conformally flat manifold
    0 references
    nonlinear flow
    0 references
    conformal quermass-integral
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers