Classification of prime 3-manifolds with \(\sigma\) invariant greater than \(\mathbb RP^3\) (Q1890204)

From MaRDI portal
Revision as of 22:54, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
Classification of prime 3-manifolds with \(\sigma\) invariant greater than \(\mathbb RP^3\)
scientific article

    Statements

    Classification of prime 3-manifolds with \(\sigma\) invariant greater than \(\mathbb RP^3\) (English)
    0 references
    0 references
    0 references
    29 December 2004
    0 references
    Let \(M^n\) be a smooth compact manifold of dimension \(n \geq 3\). Given a conformal class \([g]\) of Riemannian metrics, finding a metric in \([g]\) whose scalar curvature is constant is called the Yamabe problem. Many mathematicians contributed to solve this problem which finally is now completely solvable. It causes to study some conformal invariants and geometric invariants. Finding a constant scalar curvature metric is equivalent to compute the following conformal invariant \[ Y(M, [g]) = \inf_{\tilde g \in [g]} \frac{\int_M s_{\tilde g}\, dv_{\tilde g}} {\text{vol}(M, \tilde g)^{\frac{n-2}{n}}}, \] where \(s_{\tilde g}\) denotes the scalar curvature with respect to the metric \(\tilde g\). It is well-known that \(Y(M, [g]) \leq Y(S^n, [g_0])\), the conformal invariant of the standard \(n\)-sphere and so one can consider the mini-max procedure. The supremum of conformal invariants over all conformal classes is called the Yamabe constant which is a geometric invariant, and denoted by \(Y(M)\). The paper under review is related with these invariants for dimension \(n = 3\). In this case, one has \[ Y(M^3, [g]) = \inf_{\tilde g \in [g]} \frac{\int_M s_{\tilde g}\, dv_{\tilde g}}{ \text{vol}(M, \tilde g)^{\frac{1}{3}}} \] and \[ Y(M) \leq Y(S^3) = Y(S^3, [g_0]) = 6 \cdot (2\pi^2)^{\frac{2}{3}}. \] Recently there are some developments in computing the Yamabe constant and one of the main questions in this direction is that if \(\Gamma\) is a finite subgroup of \(O(4)\) acting freely on \(S^3\) with \(| \Gamma| = m\), then \[ Y(S^3/\Gamma) = \frac{Y(S^3)}{m^{\frac{2}{3}}}:=\sigma_m. \] In the paper the authors prove this conjecture to be true when \(m = 2\), that is, \(M = {\mathbb RP}^3\). More generally, they prove that if \(M\) is a closed \(3\)-manifold with \(Y(M) > \sigma_2\), then \(M\) is either \(S^3\), a connected sum with an \(S^2\) bundle over \(S^1\), or has more than one nonorientable prime component. As a corollary, they obtain \[ Y({\mathbb RP}^2 \times S^1) = Y({\mathbb RP}^3) = \sigma_2 \] and \(Y(M) = \sigma_2\) if \(M\) is a finite number of connect sums of \({\mathbb RP}^3\) and zero or one connect sums of \({\mathbb RP}^2 \times S^1\). The authors use the inverse mean curvature flow technique to prove their results. The corrigendum concerns the correction of the original title (\(\sigma\)-invariant replacing Yamabe invariant).
    0 references
    0 references
    conformal metric
    0 references
    prime 3-manifold
    0 references
    scalar curvature
    0 references
    \(\sigma\)-invariant
    0 references

    Identifiers