pith. sign in

arxiv: 2403.04117 · v3 · pith:YDYYXVI5new · submitted 2024-03-07 · 🧮 math.DG · gr-qc· hep-th

New quasi-Einstein metrics on a two-sphere

Alex Colling , Maciej Dunajski , Hari Kunduri , James Lucietti This is my paper

Pith reviewed 2026-05-24 02:57 UTC · model grok-4.3

classification 🧮 math.DG gr-qchep-th
keywords quasi-Einstein metricstwo-sphereaxisymmetricKerr black holehypergeometric functionsaffine connectionRicci tensor
0
0 comments X

The pith

All axisymmetric non-gradient m-quasi-Einstein structures on the two-sphere are constructed explicitly.

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

The paper classifies and constructs every axisymmetric non-gradient m-quasi-Einstein metric on a two-sphere. This recovers the known geometry of the extreme Kerr black hole horizon when m equals 2. It also produces new families of regular metrics for other values of m, expressed using hypergeometric functions. Separately, it proves that the only compact orientable two-dimensional solution for m equals -1 is the flat torus.

Core claim

All axi-symmetric non-gradient m-quasi-Einstein structures on a two-sphere are constructed, including the spatial cross-section of the extreme Kerr black hole horizon for m=2 and new regular metrics for m≠2 given in terms of hypergeometric functions. In the case m=-1 with vanishing cosmological constant, the only orientable compact solution in dimension two is the flat torus.

What carries the argument

The m-quasi-Einstein equation reduced under axisymmetry to a system of ordinary differential equations whose solutions are hypergeometric functions.

If this is right

  • The extreme Kerr black hole horizon geometry arises as the m=2 case.
  • New regular metrics exist on the two-sphere for m not equal to 2.
  • For m=-1 and zero cosmological constant there are no compact surfaces carrying a metrisable affine connection with skew-symmetric Ricci tensor.
  • The classification is complete within the axisymmetric non-gradient class.

Where Pith is reading between the lines

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

  • The new metrics may correspond to new horizon geometries in higher-dimensional gravity models.
  • The result on affine connections suggests that skew Ricci tensors cannot be realized metrically on compact surfaces except the torus.
  • Similar classifications might extend to higher dimensions or other symmetry assumptions.
  • The hypergeometric form could allow explicit computation of curvatures or other invariants.

Load-bearing premise

The structures are restricted to be axisymmetric and non-gradient.

What would settle it

An explicit axisymmetric non-gradient m-quasi-Einstein metric on the two-sphere outside the hypergeometric families would contradict the classification.

read the original abstract

We construct all axi-symmetric non-gradient $m$-quasi-Einstein structures on a two-sphere. This includes the spatial cross-section of the extreme Kerr black hole horizon corresponding to $m=2$, as well as a family of new regular metrics with $m\neq 2$ given in terms of hypergeometric functions. We also show that in the case $m=-1$ with vanishing cosmological constant the only orientable compact solution in dimension two is the flat torus, which proves that there are no compact surfaces with a metrisable affine connection with skew Ricci tensor.

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.

Referee Report

0 major / 2 minor

Summary. The paper constructs all axi-symmetric non-gradient m-quasi-Einstein structures on the two-sphere. This includes the spatial cross-section of the extreme Kerr black hole horizon for m=2, as well as new regular metrics for m≠2 expressed via hypergeometric functions. It further proves that for m=-1 with vanishing cosmological constant, the only orientable compact 2D solution is the flat torus, implying there are no compact surfaces admitting a metrisable affine connection with skew Ricci tensor.

Significance. If the derivations hold, the work delivers an exhaustive classification inside the axi-symmetric non-gradient class on S², recovering a known black-hole example and producing new explicit families. The m=-1 result supplies a clean negative statement with direct consequences for affine geometry. The explicit hypergeometric parametrization and the symmetry reduction constitute verifiable, falsifiable contributions.

minor comments (2)
  1. The abstract states the constructions are 'all' within the axi-symmetric non-gradient class; the introduction or §2 should explicitly restate the precise symmetry and non-gradient hypotheses under which completeness is claimed.
  2. Notation for the quasi-Einstein equation (presumably Eq. (1) or (2)) should be cross-referenced when the hypergeometric solutions are introduced so that the reduction from the PDE to the ODE is immediately traceable.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment and recommendation to accept the manuscript. There are no major comments requiring a point-by-point response.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper directly solves the m-quasi-Einstein equations under the explicit assumptions of axisymmetry and non-gradient structure on S^2, yielding explicit constructions (including hypergeometric families for m≠2 and the m=2 Kerr case) plus a classification proof for the m=-1 case reducing to the flat torus. No steps reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations; the governing ODEs are integrated from the defining PDE system without renaming or smuggling ansatzes. The scope is limited to the stated symmetry class, making the results independent of the target claims.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the classification rests on standard properties of quasi-Einstein equations and axisymmetric ansatz that are not detailed here.

pith-pipeline@v0.9.0 · 5624 in / 1154 out tokens · 26544 ms · 2026-05-24T02:57:46.242532+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Quasi-Einstein structures and Hitchin's equations

    math.DG 2025-04 unverdicted novelty 6.0

    Proves that a class of quasi-Einstein structures on closed manifolds admit a Killing vector field, extending prior rigidity results and completing classification for compact 2-manifolds while providing new examples.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages · cited by 1 Pith paper

  1. [1]

    Bahuaud, S

    E. Bahuaud, S. Gunasekaran, H. K. Kunduri and E. Woolgar. Static near-horizon geometries and rigidity of quasi-Einstein manifolds, Lett. Math. Phys. 112 (2022) no.6, 116

    work page 2022

  2. [2]

    Bahuaud, S

    E. Bahuaud, S. Gunasekaran, H. K. Kunduri, and E. Woolgar. Rigidity of quasi-Einstein metrics: the incompress- ible case. Lett. Math. Phys. 114 (2023)

    work page 2023

  3. [3]

    R. L. Bryant, M. Dunajski, and M. G. Eastwood. Metrisability of two-dimensional projective structures, J. Dif- ferential Geometry 83 (2009), 465–499

    work page 2009

  4. [4]

    Case, Y-J

    J. Case, Y-J. Shu, G. Wei. Rigidity of quasi-Einstein metrics. Diff. Geom. Appl. 29 (2011), 93–100

    work page 2011

  5. [5]

    P. T. Chru´ sciel, H. S. Reall and P. Tod. On non-existence of static vacuum black holes with degenerate components of the event horizon. Class. Quant. Grav. 23 (2006) 549-554

    work page 2006

  6. [6]

    A. Colling. In preparation

    work page

  7. [7]

    Derdzinski

    A. Derdzinski. Connections with skew-symmetric Ricci tensor on surfaces. Result. Math. 52, (2008) 223–245

    work page 2008

  8. [8]

    D. M. Deturck and J. L. Kazdan Some regularity theorems in riemannian geometry. Ann. Sci. Ec. Norm. Sup. 14, (1981) ,249-260

    work page 1981

  9. [9]

    Dobkowski-Ry lko, W

    D. Dobkowski-Ry lko, W. Kami´ nski, J. Lewandowski and A. Szereszewski, The Near Horizon Geometry equation on compact 2-manifolds including the general solution for g > 0, Phys. Lett. B 785 (2018), 381-385

    work page 2018

  10. [10]

    Dunajski

    M. Dunajski. Solitons, Instantons, and Twistors . Oxford Graduate Texts in Mathematics 19, OUP (2009)

    work page 2009

  11. [11]

    Dunajski, and J

    M. Dunajski, and J. Lucietti. Intrinsic rigidity of extremal horizons arXiv:2306.17512 (2023)

    work page arXiv 2023

  12. [12]

    Eastwood

    M. Eastwood. Notes on projective differential geometry. The IMA Volumes in Mathematics and its Applications 144 (2008)

    work page 2008

  13. [13]

    Kry´ nski

    W. Kry´ nski. Webs and projective structures on a plane. Diff. Geom. Appl. 37 (2014) 133

    work page 2014

  14. [14]

    J. L. Kazdan. Applications of Partial differential Equations to Problems in Geometry. (1993)

    work page 1993

  15. [15]

    H. K. Kunduri and J. Lucietti, Classification of near-horizon geometries of extremal black holes. Living Rev. Rel. 16 (2013), 8

    work page 2013

  16. [16]

    H. K. Kunduri and J. Lucietti, A Classification of near-horizon geometries of extremal vacuum black holes. J. Math. Phys. 50 (2009), 082502

    work page 2009

  17. [17]

    Lewandowski and T

    J. Lewandowski and T. Pawlowski. Extremal Isolated Horizons: A Local Uniqueness Theorem. Class. Quant. Grav. 20 (2003) 587-606

    work page 2003

  18. [18]

    Lewandowski, T

    J. Lewandowski, T. Pawlowski. Quasi-local rotating black holes in higher dimension: geometry. Class. Quant .Grav. 22 (2005) 1573-1598

    work page 2005

  19. [19]

    J. Milnor. On the existence of a connection with curvature zero. Comment. Math. Helv. 32 (1958) 215–223

    work page 1958

  20. [20]

    Nurowski and M

    P. Nurowski and M. Randall. Generalized Ricci solitons. J. Geom. Anal. 26 (2016) 1280–1345

    work page 2016

  21. [21]

    Pedersen and K.P

    H. Pedersen and K.P. Tod. Three Dimensional Einstein-Weyl Geometry. Adv. Math. 97 (1993) 74-109

    work page 1993

  22. [22]

    M. Randall. Local obstructions to projective surfaces admitting skew-symmetric Ricci tensor Jour. Geom. Phys. 76 (2014) 192. Department of Applied Mathematics and Theoretical Physics, University of Cambridge, Wilber- force Road, Cambridge CB3 0W A, UK. Email address : aec200@cam.ac.uk Department of Applied Mathematics and Theoretical Physics, University o...

    work page 2014