An $SO(3)\times SO(8)$-invariant Einstein metric on $S^3\times S^7$

Yuming Huang

arxiv: 2606.08888 · v1 · pith:NSSQGFYFnew · submitted 2026-06-08 · 🧮 math.DG

An SO(3)times SO(8)-invariant Einstein metric on S³times S⁷

Yuming Huang This is my paper

Pith reviewed 2026-06-27 15:29 UTC · model grok-4.3

classification 🧮 math.DG MSC 53C25

keywords Einstein metricinvariant metricS^3 x S^7positive scalar curvatureSO(3)xSO(8) symmetryRiemannian geometry

0 comments

The pith

An SO(3)×SO(8)-invariant Einstein metric with positive scalar curvature exists on S³×S⁷.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper establishes the existence of a metric on S³×S⁷ that remains unchanged under simultaneous rotations by SO(3) and SO(8) while obeying the Einstein equation with positive scalar curvature. The approach reduces the full set of equations to a simpler system using the symmetry. Such a result matters for constructing explicit examples of Einstein manifolds beyond the standard round metrics on spheres. It shows how group actions can be leveraged to find solutions in geometric analysis.

Core claim

The paper proves the existence of an SO(3)×SO(8)-invariant Einstein metric with positive scalar curvature on S³×S⁷.

What carries the argument

Reduction of the Einstein equations to a solvable system under the SO(3)×SO(8) invariance on the manifold S³×S⁷.

If this is right

This metric is a new example of an Einstein manifold with positive scalar curvature.
The symmetry group SO(3)×SO(8) acts on the product space in a way that permits such a metric.
The existence expands the known set of invariant Einstein metrics on sphere products.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Similar reduction techniques could apply to other group actions on S^m × S^n for different m and n.
The metric might have applications in studying the geometry of homogeneous spaces or in physics models requiring positive curvature.
One could test if the metric is stable under perturbations or if it is unique in its class.

Load-bearing premise

Imposing the SO(3)×SO(8) symmetry reduces the Einstein equations to a system that has a solution with positive scalar curvature.

What would settle it

Solving the reduced system and finding either no real positive solution or that the scalar curvature is non-positive for all solutions.

Figures

Figures reproduced from arXiv: 2606.08888 by Yuming Huang.

**Figure 2.** Figure 2: The winding in the cases d1 + d2 = 9 with (d1, d2) ̸= (2, 7). Structure. In the preliminary section, we review the basic equations of cohomogenity one Einstein metrics on S d1+1 × S d2 that are invariant under the standard action of SO(d1 + 1) × SO(d2 + 1). In section 2, we set up the regular coordinates and prove some basic results, including a counting lemma for our Einstein metrics. In section 3, we pro… view at source ↗

**Figure 3.** Figure 3: The invariant set A: A corresponds to the dashed region; the blue arrows along the boundary of A describe the direction of the ODE vector field; L1 is the boundary part with ∆ − 9 5 (Z − 1 4 ) − 1 2 = 0; L2 is the boundary part with ∆ − 23 10Z = 0; L3 is the boundary part with ∆ − 9 4 Z = 0. Lemma 3.1. Fix (d1, d2) = (2, 7). The set A := S ∩ {H = 1} ∩ {∆ − 9 5 (Z − 1 4 ) − 1 2 ≥ 0, 1 10 ≤ Z ≤ 1 4 } ∪ {∆ … view at source ↗

read the original abstract

In this paper, we prove the existence of an $SO(3)\times SO(8)$-invariant Einstein metric with positive scalar curvature on $S^{3}\times S^7$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper claims an SO(3)×SO(8)-invariant Einstein metric exists on S³×S⁷, but the abstract alone supplies no equations or steps to check the claim.

read the letter

The headline result is a claimed existence proof for an SO(3)×SO(8)-invariant Einstein metric with positive scalar curvature on S³×S⁷.

The paper adds one more concrete case to the list of known invariant Einstein metrics on sphere products. That kind of incremental catalog work is standard in this area and can be useful when someone later wants to compare symmetry classes or look for patterns across examples.

The main limitation is that nothing beyond the abstract is visible here. There are no reduced equations, no description of the ODE or algebraic system that the Einstein condition becomes under the symmetry, and no outline of how existence is established. Without those steps it is impossible to see whether the symmetry reduction is valid or whether the solution actually satisfies the Einstein equation with the stated curvature sign.

The work targets readers who follow invariant metrics on homogeneous spaces and products of spheres. Someone already tracking that literature would want to know whether this symmetry class has now been settled.

If the full manuscript contains a clear reduction and a verifiable existence argument, it is worth sending to referees so the details can be checked. Based on the abstract the claim looks plausible in principle but cannot be assessed yet.

Referee Report

1 major / 0 minor

Summary. The manuscript claims to prove the existence of an SO(3)×SO(8)-invariant Einstein metric with positive scalar curvature on the product manifold S³×S⁷.

Significance. If the result holds and is supported by a complete argument, it would supply a new homogeneous Einstein metric on a product of spheres, potentially useful for understanding the space of Einstein metrics under prescribed symmetry groups.

major comments (1)

No derivation, symmetry reduction, ODE/algebraic system, or existence argument is supplied in the manuscript (only the abstract is present). The central claim that the Einstein equation reduces to a solvable system yielding the stated metric cannot be checked against any data, equations, or proof steps.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for highlighting the need for a complete argument. We acknowledge that the submitted version contains only the abstract and does not provide the required derivations or proof steps.

read point-by-point responses

Referee: No derivation, symmetry reduction, ODE/algebraic system, or existence argument is supplied in the manuscript (only the abstract is present). The central claim that the Einstein equation reduces to a solvable system yielding the stated metric cannot be checked against any data, equations, or proof steps.

Authors: We agree with this assessment. The manuscript as submitted consists solely of the abstract and therefore supplies none of the requested technical details. In the revised version we will include the full symmetry reduction of the Einstein equation under the SO(3)×SO(8) action, the resulting algebraic system on the space of invariant metrics, the explicit solution that yields positive scalar curvature, and the verification that the metric is Einstein. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The available text consists solely of the abstract claiming existence of an SO(3)×SO(8)-invariant Einstein metric on S³×S⁷ via symmetry reduction to a solvable system. No equations, ODE reductions, parameter fittings, self-citations, or uniqueness theorems are quoted or visible, so no load-bearing step can be shown to reduce to its own inputs by construction. The result is therefore treated as self-contained against external benchmarks with no circularity detected.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities can be identified from the abstract alone.

pith-pipeline@v0.9.1-grok · 5544 in / 1022 out tokens · 23981 ms · 2026-06-27T15:29:54.133100+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

13 extracted references · 1 linked inside Pith

[1]

Boyer, Krzysztof Galicki, and J\' a nos Koll\' a r, Einstein metrics on spheres, Ann

Charles P. Boyer, Krzysztof Galicki, and J\' a nos Koll\' a r, Einstein metrics on spheres, Ann. of Math. (2) 162 (2005), no. 1, 557--580

2005
[2]

Timothy Buttsworth and Liam Hodgkinson, Computationally assisted proof of a novel O(3) O(10) -invariant E instein metric on S^ 12 , J. Lond. Math. Soc. (2) 113 (2026), no. 2, Paper No. e70477, 44

2026
[3]

Christoph B \"o hm, Inhomogeneous Einstein metrics on low-dimensional spheres and other low-dimensional spaces , Invent. Math. 134 (1998), no. 1, 145--176

1998
[4]

Christoph B \" o hm, Non-compact cohomogeneity one E instein manifolds , Bull. Soc. Math. France 127 (1999), no. 1, 135--177

1999
[5]

Hanci Chi, Positive E instein metrics with S ^ 4m+3 as the principal orbit , Compos. Math. 160 (2024), no. 5, 1004--1040

2024
[6]

Coddington and Norman Levinson, Theory of ordinary differential equations, McGraw-Hill Book Co., Inc., New York-Toronto-London, 1955

Earl A. Coddington and Norman Levinson, Theory of ordinary differential equations, McGraw-Hill Book Co., Inc., New York-Toronto-London, 1955

1955
[7]

Eschenburg and McKenzie Y

J.-H. Eschenburg and McKenzie Y. Wang, The initial value problem for cohomogeneity one E instein metrics , J. Geom. Anal. 10 (2000), no. 1, 109--137

2000
[8]

Lorenzo Foscolo and Mark Haskins, New G_2 -holonomy cones and exotic nearly K \" a hler structures on S^6 and S^3 S^3 , Ann. of Math. (2) 185 (2017), no. 1, 59--130

2017
[9]

Alessandro Ghigi and J\' a nos Koll\' a r, K\" a hler- E instein metrics on orbifolds and E instein metrics on spheres , Comment. Math. Helv. 82 (2007), no. 4, 877--902

2007
[10]

Jensen, Einstein metrics on principal fibre bundles, J

Gary R. Jensen, Einstein metrics on principal fibre bundles, J. Differential Geometry 8 (1973), 599--614

1973
[11]

Differential Geom

Yuchen Liu, Taro Sano, and Luca Tasin, Infinitely many families of S asaki- E instein metrics on spheres , J. Differential Geom. 130 (2025), no. 1, 1--26

2025
[12]

Jan Nienhaus and Matthias Wink, Einstein metrics on the Ten-Sphere, to appear in J. Eur. Math. Soc., arXiv:2303.04832 (2025)

arXiv 2025
[13]

Qiu Shi Wang, Doubly warped product Einstein metrics on spheres, arXiv:2606.05519 (2026)

Pith/arXiv arXiv 2026

[1] [1]

Boyer, Krzysztof Galicki, and J\' a nos Koll\' a r, Einstein metrics on spheres, Ann

Charles P. Boyer, Krzysztof Galicki, and J\' a nos Koll\' a r, Einstein metrics on spheres, Ann. of Math. (2) 162 (2005), no. 1, 557--580

2005

[2] [2]

Timothy Buttsworth and Liam Hodgkinson, Computationally assisted proof of a novel O(3) O(10) -invariant E instein metric on S^ 12 , J. Lond. Math. Soc. (2) 113 (2026), no. 2, Paper No. e70477, 44

2026

[3] [3]

Christoph B \"o hm, Inhomogeneous Einstein metrics on low-dimensional spheres and other low-dimensional spaces , Invent. Math. 134 (1998), no. 1, 145--176

1998

[4] [4]

Christoph B \" o hm, Non-compact cohomogeneity one E instein manifolds , Bull. Soc. Math. France 127 (1999), no. 1, 135--177

1999

[5] [5]

Hanci Chi, Positive E instein metrics with S ^ 4m+3 as the principal orbit , Compos. Math. 160 (2024), no. 5, 1004--1040

2024

[6] [6]

Coddington and Norman Levinson, Theory of ordinary differential equations, McGraw-Hill Book Co., Inc., New York-Toronto-London, 1955

Earl A. Coddington and Norman Levinson, Theory of ordinary differential equations, McGraw-Hill Book Co., Inc., New York-Toronto-London, 1955

1955

[7] [7]

Eschenburg and McKenzie Y

J.-H. Eschenburg and McKenzie Y. Wang, The initial value problem for cohomogeneity one E instein metrics , J. Geom. Anal. 10 (2000), no. 1, 109--137

2000

[8] [8]

Lorenzo Foscolo and Mark Haskins, New G_2 -holonomy cones and exotic nearly K \" a hler structures on S^6 and S^3 S^3 , Ann. of Math. (2) 185 (2017), no. 1, 59--130

2017

[9] [9]

Alessandro Ghigi and J\' a nos Koll\' a r, K\" a hler- E instein metrics on orbifolds and E instein metrics on spheres , Comment. Math. Helv. 82 (2007), no. 4, 877--902

2007

[10] [10]

Jensen, Einstein metrics on principal fibre bundles, J

Gary R. Jensen, Einstein metrics on principal fibre bundles, J. Differential Geometry 8 (1973), 599--614

1973

[11] [11]

Differential Geom

Yuchen Liu, Taro Sano, and Luca Tasin, Infinitely many families of S asaki- E instein metrics on spheres , J. Differential Geom. 130 (2025), no. 1, 1--26

2025

[12] [12]

Jan Nienhaus and Matthias Wink, Einstein metrics on the Ten-Sphere, to appear in J. Eur. Math. Soc., arXiv:2303.04832 (2025)

arXiv 2025

[13] [13]

Qiu Shi Wang, Doubly warped product Einstein metrics on spheres, arXiv:2606.05519 (2026)

Pith/arXiv arXiv 2026