Computationally assisted proof of a novel O(3) O(10)-invariant Einstein metric on S^12

DOI10.1112/JLMS.70477MaRDI QIDQ6848741zbMATH OpenFDO

Authors Timothy Buttsworth, Liam Hodgkinson

Publication date 5 March 2026

Published in Journal of the London Mathematical Society. Second Series (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1112/JLMS.70477

Mathematics Subject Classification ID

Special Riemannian manifolds (Einstein, Sasakian, etc.) (53C25) Algorithms for approximation of functions (65D15)

Cites work

• A Class of Methods for Solving Nonlinear Simultaneous Equations
• A variational approach for compact homogeneous Einstein manifolds
• An algorithm with guaranteed convergence for finding a zero of a function
• Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic
• Computer-assisted proofs in PDE: a survey
• Einstein solvmanifolds are standard
• Gaussian processes for machine learning.
• Homogeneous Einstein metrics and simplicial complexes
• scientific article; zbMATH DE number 1936275 (Why is no real title available?)
• scientific article; zbMATH DE number 1973375 (Why is no real title available?)
• Inhomogeneous Einstein metrics on low-dimensional spheres and other low-dimensional spaces
• Manifolds with positive curvature operators are space forms
• Non-compact Einstein manifolds with symmetry
• On the finite time blowup of the de Gregorio model for the 3D Euler equations
• Structure of homogeneous Riemann spaces with zero Ricci curvature
• The initial value problem for cohomogeneity one Einstein metrics

Cited in

(1)

• Computer-assisted construction of SU(2)-invariant negative Einstein metrics

This page was built for publication: Computationally assisted proof of a novel \(\mathsf{O}(3)\times \mathsf{O}(10)\)-invariant Einstein metric on \(S^{12} \)

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