Einstein structures: Existence versus uniqueness
The paper is based on the following Novikov theorem: Let \(p: \mathbb{R}^n\to \mathbb{R}\) be a polynomial function with rational coefficients such that the zero set \(Z(p)\) of \(p\) is non-empty, compact and non-singular. For \(n\geq 5\) there is no algorithm deciding whether or not \(Z(p)\) is diffeomorphic to the sphere \(S^n\) (the degree and the vector of coefficients of \(p\) are regarded as the input data for the algorithm). A proof of this theorem is sketched in [\textit{I. A. Volodin}, \textit{V. E. Kuznetsov} and \textit{A. T. Fomenko}, Russ. Math. Surv. 29, 71-172 (1974); translation from Usp. Mat. Nauk 29, No. 5(179), 71-168 (1974; Zbl 0303.57002)]. A complete proof of this theorem is given in the appendix of the present article. The author uses Novikov's theorem to prove some results concerning the existence of Einstein metrics. The author introduces the following definition: a compact manifold \(M\) almost admits an Einstein metric of negative scalar curvature if there exists an infinite sequence of metrics \(\{\mu_i\}\) on \(M\) such that the \(C^0\)-norm of the tensor \(\text{Ric}(\mu_i)+ \mu_i\) tends to zero (note that if \(g'\) is an Einstein metric of negative scalar curvature, then multiplying this metric by a positive constant one gets an Einstein metric \(g\) of scalar curvature \(- n\), so that \(\text{Ric}(g)+ g= 0\)). With this definition the author states the following result: If for \(n\geq 5\) every \(n\)-dimensional smooth homology sphere with ``large fundamental group almost admits an Einstein metric of negative scalar curvature, then \(S^n\) almost admits an Einstein metric of negative scalar curvature (the existence of Einstein metrics of negative scalar curvature on \(S^n\) for \(n\geq 5\) is an open problem). He also obtains some other similar results.
- A condition for the properness of polynomial maps
- Almost negatively Ricci curved metrics on \(S^ n\)
- Mapping a sphere into Euclidean space
- Einstein metrics on rational homology spheres
- Some Riemannian geometric proofs of the fundamental theorem of algebra
- Critical points of the total scalar curvature functional on the space of metrics of constant scalar curvature
- The Alekseevskii conjecture in 9 and 10 dimensions
- Algebraic approximation of mappings into spheres
- On polynomial mappings into spheres
- ON THE NUMBER OF INVARIANT EINSTEIN METRICS ON A COMPACT HOMOGENEOUS SPACE, NEWTON POLYTOPES AND CONTRACTIONS OF LIE ALGEBRAS
- Algebraic models defined over \(\mathbb{Q}\) of differential manifolds
- Cheeger's finiteness theorem for diffeomorphism classes of Riemannian manifolds.
- Finiteness Theorems for Riemannian Manifolds
- Groups of homotopy spheres. I
- scientific article; zbMATH DE number 4151233 (Why is no real title available?)
- scientific article; zbMATH DE number 3992337 (Why is no real title available?)
- Negatively Ricci curved manifolds
- Ricci Curvature Bounds and Einstein Metrics on Compact Manifolds
- Smooth Homology Spheres and their Fundamental Groups
- THE PROBLEM OF DISCRIMINATING ALGORITHMICALLY THE STANDARD THREE-DIMENSIONAL SPHERE
- Disconnectedness of sublevel sets of some Riemannian functionals
- Geometry of the space of triangulations of a compact manifold
- Degrees of unsolvability: a tutorial
- Non‐recursive functions, knots “with thick ropes,” and self‐clenching “thick” hyperspheres
- Shellability is NP-complete
- The parameterized complexity of finding a 2-sphere in a simplicial complex
- Computability Theory and Differential Geometry
- Recognition of collapsible complexes is NP-complete
- Hardness of embedding simplicial complexes in R^d
- Singularities, expanders and topology of maps. II: From combinatorics to topology via algebraic isoperimetry
- Mass problems associated with effectively closed sets
- Derived subdivisions make every PL sphere polytopal
This page was built for publication: Einstein structures: Existence versus uniqueness
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1842579)
