pith. sign in

arxiv: 2411.13864 · v2 · submitted 2024-11-21 · 🧮 math-ph · hep-th· math.DG· math.MP

Einstein metrics on homogeneous superspaces

Yang Zhang , Mark D. Gould , Artem Pulemotov , Jorgen Rasmussen This is my paper

Pith reviewed 2026-05-23 17:36 UTC · model grok-4.3

classification 🧮 math-ph hep-thmath.DGmath.MP
keywords Einstein metricshomogeneous supermanifoldsDynkin diagramsRicci-flat metricsgraded Riemannian metricssupergeometryfiniteness conjecture
0
0 comments X

The pith

Compact homogeneous supermanifolds exist with no Einstein metrics, discrete families of solutions, or continuous families of Ricci-flat metrics.

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

The paper constructs homogeneous supermanifolds via Dynkin diagrams and derives explicit curvature formulas for their graded Riemannian metrics. It solves the Einstein equation on several families obtained this way, producing examples where no invariant Einstein metrics exist, where solutions form discrete families, and where Ricci-flat metrics form continuous families. These outcomes show that the classical finiteness conjecture on the number of Einstein metrics fails for supermanifolds. A reader would care because the results also contradict the rigidity expected from Bochner-type vanishing arguments in the super setting.

Core claim

The paper produces explicit curvature formulas for graded Riemannian metrics on homogeneous supermanifolds. It then uses a Dynkin-diagram construction, analogous to that for generalised flag manifolds, to obtain several classes of such spaces and solves the Einstein equation on them. The solutions include compact examples with no invariant Einstein metrics, examples with discrete families of solutions, and examples with continuous families of Ricci-flat solutions among the invariant metrics.

What carries the argument

The Dynkin diagram construction of homogeneous supermanifolds together with the associated graded Riemannian metrics and curvature formulas, which reduce the Einstein equation to an algebraic problem on the diagram data.

If this is right

  • The classical finiteness conjecture on the number of Einstein metrics among invariant metrics does not hold for homogeneous supermanifolds.
  • Bochner's vanishing theorem intuition does not extend to the super case, allowing both absence and continuous moduli of solutions.
  • Homogeneous supermanifolds supply the first known compact examples where the Einstein equation admits continuous families of Ricci-flat invariant metrics.
  • The algebraic reduction via Dynkin diagrams turns the search for Einstein metrics into a finite-dimensional linear-algebra problem.

Where Pith is reading between the lines

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

  • The same construction may be applied to other curvature conditions such as constant scalar curvature or Einstein-Weyl metrics on supermanifolds.
  • Classification of all Dynkin diagrams that yield Ricci-flat families could produce new examples relevant to supergravity compactifications.
  • The failure of finiteness may indicate that the moduli space of Einstein metrics on supermanifolds is typically positive-dimensional rather than discrete.

Load-bearing premise

That the Dynkin-diagram spaces are genuine homogeneous supermanifolds and that the graded metrics and curvature formulas derived from them correctly encode all solutions to the Einstein equation on those spaces.

What would settle it

An explicit computation, for one of the Dynkin diagrams presented, of the Ricci tensor of a candidate metric that shows the Einstein condition is either satisfied by an unlisted solution or violated by a listed one.

Figures

Figures reproduced from arXiv: 2411.13864 by Artem Pulemotov, Jorgen Rasmussen, Mark D. Gould, Yang Zhang.

Figure 1
Figure 1. Figure 1: Dynkin diagrams of SUpm|nq with two circled nodes. In Section 4.4.4, we use results obtained in Section 3.6 to classify the G-invariant Einstein metrics (4.15) on M “ G{K constructed from a circled Dynkin diagram of G “ SUpm|nq, with K given in (4.16). In preparation for these classification results, we examine the structure of the isotropy representation of M in Section 4.4.1, and confirm that there are p… view at source ↗
Figure 2
Figure 2. Figure 2: Dynkin diagram of SOSpp2|nq with one circled node. 4.5.1 Isotropy summands Let mC denote the Q-orthogonal complement of k C “ glp1|p ´ 1q C ‘ spp2pn ` 1 ´ pqqC in g C “ ospp2|2nq C, where k C is the complexification of k. For the root-space decomposition (4.2) of mC, we introduce m C k :“ à αP∆k g C α, ∆k :“ [PITH_FULL_IMAGE:figures/full_fig_p039_2.png] view at source ↗
read the original abstract

This paper initiates the study of the Einstein equation on homogeneous supermanifolds. First, we produce explicit curvature formulas for graded Riemannian metrics on these spaces. Next, we present a construction of homogeneous supermanifolds by means of Dynkin diagrams, resembling the construction of generalised flag manifolds in classical (non-super) theory. We describe the Einstein metrics on several classes of spaces obtained through this approach. Our results provide examples of compact homogeneous supermanifolds on which the Einstein equation has no solutions, discrete families of solutions, and continuous families of Ricci-flat solutions among invariant metrics. These examples demonstrate that the finiteness conjecture from classical homogeneous geometry fails on supermanifolds, and challenge the intuition furnished by Bochner's vanishing theorem.

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

2 major / 2 minor

Summary. The paper initiates the study of Einstein metrics on homogeneous supermanifolds. It derives explicit curvature formulas for graded Riemannian metrics on these spaces, constructs homogeneous supermanifolds via Dynkin diagrams analogous to classical flag manifolds, and classifies invariant Einstein metrics on several families, yielding examples with no solutions, discrete families of solutions, and continuous families of Ricci-flat metrics. These demonstrate failure of the classical finiteness conjecture in the super setting and challenge Bochner-type intuitions.

Significance. If the curvature derivations are accurate, the explicit constructions and counterexamples are significant: they furnish the first concrete instances where the number of invariant Einstein metrics on compact homogeneous spaces is not finite (or even discrete), directly falsifying an extension of the classical conjecture and providing falsifiable predictions for further supergeometric study. The Dynkin-diagram method and graded-metric formulas constitute reproducible, parameter-free tools that strengthen the contribution.

major comments (2)
  1. [curvature formulas section] § on curvature formulas (explicit Ricci expressions): the derivation of the Ricci tensor from the graded metric must incorporate the correct supertrace and sign factors arising from the superbracket and odd-even decomposition of the isotropy representation; any algebraic slip here directly invalidates the reported Einstein solutions (no solutions, discrete, or continuous Ricci-flat families) that form the central claim.
  2. [Dynkin diagram construction] Dynkin-diagram construction section: the claim that the diagram produces homogeneous supermanifolds on which the invariant graded metrics solve the Einstein equation rests on the isotropy representation decomposing correctly into even/odd parts; this decomposition is used to define the metric but is not cross-checked against the superbracket relations in the provided examples.
minor comments (2)
  1. Notation for the graded metric components and the supertrace should be introduced with a short table or explicit list of conventions before the curvature formulas to aid readability.
  2. The abstract states 'explicit curvature formulas' but the manuscript would benefit from a brief remark on how these formulas were obtained (e.g., via structure constants or representation theory) even if the full derivation is in an appendix.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for recognizing the significance of the explicit constructions and counterexamples to the finiteness conjecture in the super setting. We address the two major comments point by point below.

read point-by-point responses

  1. Referee: [curvature formulas section] § on curvature formulas (explicit Ricci expressions): the derivation of the Ricci tensor from the graded metric must incorporate the correct supertrace and sign factors arising from the superbracket and odd-even decomposition of the isotropy representation; any algebraic slip here directly invalidates the reported Einstein solutions (no solutions, discrete, or continuous Ricci-flat families) that form the central claim.

    Authors: The curvature formulas section derives the Ricci tensor using the graded trace (supertrace) together with the sign factors that arise from the superbracket and the parity decomposition of the isotropy representation. These ingredients are built into the expressions for the curvature endomorphism and its trace. To make the role of the supertrace and parity signs fully explicit, we will insert an additional paragraph in the revised manuscript that isolates these steps. revision: yes

  2. Referee: [Dynkin diagram construction] Dynkin-diagram construction section: the claim that the diagram produces homogeneous supermanifolds on which the invariant graded metrics solve the Einstein equation rests on the isotropy representation decomposing correctly into even/odd parts; this decomposition is used to define the metric but is not cross-checked against the superbracket relations in the provided examples.

    Authors: The Dynkin-diagram construction induces a Z_2-grading on the isotropy representation that is compatible with the superbracket by the definition of the homogeneous superspace. Consequently the even/odd decomposition used to define the graded metric is consistent with the Lie-superalgebra structure. We will add a short verification paragraph, for one representative example, that explicitly confirms this compatibility with the superbracket relations. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivations are independent in super setting

full rationale

The paper's central chain begins with explicit curvature formulas for graded Riemannian metrics on homogeneous supermanifolds, followed by a Dynkin-diagram construction adapted from classical geometry and direct computation of Einstein solutions on specific classes. These steps rely on new algebraic derivations incorporating superbracket and grading signs rather than reducing to fitted inputs, self-definitions, or load-bearing self-citations. The reported examples (no solutions, discrete families, continuous Ricci-flat families) are presented as outputs of these calculations, with the finiteness conjecture failure following as a consequence rather than an input. No quoted reductions equate predictions to inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract, the work relies on standard definitions from supergeometry without apparent new free parameters or invented entities; the Dynkin diagram method is an adaptation of classical constructions.

axioms (1)
  • domain assumption Standard definitions and properties of homogeneous supermanifolds and graded Riemannian metrics hold as in prior supergeometry literature.
    The curvature formulas and Einstein equation analysis presuppose these background structures.

pith-pipeline@v0.9.0 · 5653 in / 1177 out tokens · 45724 ms · 2026-05-23T17:36:17.571518+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

57 extracted references · 57 canonical work pages · 1 internal anchor

  1. [1]

    Kahler-Einstein and Kahler scalar flat supermanifolds

    J.P. Ang, M. R ocek, J. Schulman, K\"ahler--Einstein and K\"ahler scalar flat supermanifolds, arXiv:1605.03245 [hep-th] (2016)

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  2. [2]

    Arroyo, M.D

    R.M. Arroyo, M.D. Gould, A. Pulemotov, The prescribed Ricci curvature problem for naturally reductive metrics on non-compact simple Lie groups, Comm. Anal. Geom. 35 (2024) 1445--1480

    work page 2024

  3. [3]

    Arutyunov, S

    G. Arutyunov, S. Frolov, Foundations of the AdS _5 S^5 superstring: I, J. Phys. A: Math. Theor. 42 (2009) 254003

    work page 2009

  4. [4]

    Arvanitoyeorgos, New invariant Einstein metrics on generalized flag manifolds, Trans

    A. Arvanitoyeorgos, New invariant Einstein metrics on generalized flag manifolds, Trans. Amer. Math. Soc. 337 (1993) 981--995

    work page 1993

  5. [5]

    Arvanitoyeorgos, An introduction to Lie groups and the geometry of homogeneous spaces, Americal Mathematical Society, Providence, RI (2003)

    A. Arvanitoyeorgos, An introduction to Lie groups and the geometry of homogeneous spaces, Americal Mathematical Society, Providence, RI (2003)

    work page 2003

  6. [6]

    Arvanitoyeorgos, Progress on homogeneous Einstein manifolds and some open problems, Bull

    A. Arvanitoyeorgos, Progress on homogeneous Einstein manifolds and some open problems, Bull. Greek Math. Soc. 58 (2015) 75--97

    work page 2015

  7. [7]

    Azam, K.-H

    S. Azam, K.-H. Neeb, Finite-dimensional compact and unitary Lie superalgebras, J. Pure Appl. Algebra 219 (2015) 4422--4440

    work page 2015

  8. [8]

    Bartocci, U

    C. Bartocci, U. Bruzzo, D. Hern\'andez-Ruip\'erez, The geometry of supermanifolds, Kluwer Academic Publishers, Dordrecht (1991)

    work page 1991

  9. [9]

    Batchelor, The structure of supermanifolds, Trans

    M. Batchelor, The structure of supermanifolds, Trans. Amer. Math. Soc. 253 (1979) 329--338

    work page 1979

  10. [10]

    Berkovits, M

    N. Berkovits, M. Bershadsky, T. Hauer, S. Zhukov, B. Zwiebach, Superstring theory on AdS _2 S^2 as a coset supermanifold, Nucl. Phys. B 567 (2000) 61--86

    work page 2000

  11. [11]

    Besse, Einstein manifolds, Springer, Berlin (1987)

    A.L. Besse, Einstein manifolds, Springer, Berlin (1987)

    work page 1987

  12. [12]

    B\"ohm, Homogeneous Einstein metrics and simplicial complexes, J

    C. B\"ohm, Homogeneous Einstein metrics and simplicial complexes, J. Diff. Geom. 67 (2004) 79--165

    work page 2004

  13. [13]

    B\"ohm, R.A

    C. B\"ohm, R.A. Lafuente, Non-compact Einstein manifolds with symmetry, J. Amer. Math. Soc. 36 (2023) 591--651

    work page 2023

  14. [14]

    B\"ohm, M

    C. B\"ohm, M. Wang, W. Ziller, A variational approach for compact homogeneous Einstein manifolds, Geom. Funct. Anal. 14 (2004) 681--733

    work page 2004

  15. [15]

    Boyer, O.A

    C.P. Boyer, O.A. S\'anchez-Valenzuela, Lie supergroup actions on supermanifolds, Trans. Amer. Math. Soc. 323 (1991) 151--175

    work page 1991

  16. [16]

    Candelas, G.T

    P. Candelas, G.T. Horowitz, A. Strominger, E. Witten, Vacuum configurations for superstrings, Nucl. Phys. B 258 (1985) 46--74

    work page 1985

  17. [17]

    Carmeli, L

    C. Carmeli, L. Caston, R. Fioresi, Mathematical foundations of supersymmetry, European Mathematical Society, Z\"urich (2011)

    work page 2011

  18. [18]

    Cort\'es, A new construction of homogeneous quaternionic manifolds and related geometric structures, Mem

    V. Cort\'es, A new construction of homogeneous quaternionic manifolds and related geometric structures, Mem. Amer. Math. Soc. 147 (2000)

    work page 2000

  19. [19]

    D'Atri, W

    J. D'Atri, W. Ziller, Naturally reductive metrics and Einstein metrics on compact lie groups, Mem. Amer. Math. Soc. 215 (1979)

    work page 1979

  20. [20]

    Deligne, J.W

    P. Deligne, J.W. Morgan, Notes on supersymmetry (following Joseph Bernstein), in: P. Deligne et al. (eds), Quantum fields and strings: a course for mathematicians, American Mathematical Society, Providence, RI (1999), pages 41--97

    work page 1999

  21. [21]

    DeWitt, Supermanifolds, Cambridge University Press, Cambridge (1992)

    B. DeWitt, Supermanifolds, Cambridge University Press, Cambridge (1992)

    work page 1992

  22. [22]

    Fioresi, F

    R. Fioresi, F. Gavarini, Real forms of complex Lie superalgebras and supergroups, Commun. Math. Phys. 397 (2023) 937--965

    work page 2023

  23. [23]

    Goertsches, Riemannian supergeometry, Math

    O. Goertsches, Riemannian supergeometry, Math. Z. 260 (2008) 557--593

    work page 2008

  24. [24]

    Gordon, C.J

    C.S. Gordon, C.J. Sutton, Spectral isolation of naturally reductive metrics on simple Lie groups, Math. Z. 266 (2010) 979--995

    work page 2010

  25. [25]

    Gould, R.B

    M.D. Gould, R.B. Zhang, Classification of star and grade-star representations of C(n+1) , J. Math. Phys. 31 (1990) 1889--1897

    work page 1990

  26. [26]

    Gould, R.B

    M.D. Gould, R.B. Zhang, Classification of all star irreps of gl (m|n) , J. Math. Phys. 31 (1990) 2552--2559

    work page 1990

  27. [27]

    Greene, String theory on Calabi--Yau manifolds, in: C

    B. Greene, String theory on Calabi--Yau manifolds, in: C. Efthimiou, B. Greene (eds), Fields, strings and duality, World Scientific Publishing, River Edge, NJ (1997), pages 543--726

    work page 1997

  28. [28]

    Herrera, L

    R. Herrera, L. Hernandez-Lamoneda (eds), Geometry of manifolds with non-negative sectional curvature, Springer, Cham (2014)

    work page 2014

  29. [29]

    Kac, Lie superalgebras, Adv

    V.G. Kac, Lie superalgebras, Adv. Math. 26 (1977) 8--26

    work page 1977

  30. [30]

    Kac, Representations of classical Lie superalgebras, in: K

    V.G. Kac, Representations of classical Lie superalgebras, in: K. Bleuler et al. (eds), Differential geometrical methods in mathematical physics II, Springer, New York (1978), pages 597--626

    work page 1978

  31. [31]

    Ke ler, Supergeometry, super Riemann surfaces and the superconformal action functional, Springer, Cham (2019)

    E. Ke ler, Supergeometry, super Riemann surfaces and the superconformal action functional, Springer, Cham (2019)

    work page 2019

  32. [32]

    Kimura, Homogeneous Einstein metrics on certain K\"ahler C -spaces, in: Ochiai, T

    M. Kimura, Homogeneous Einstein metrics on certain K\"ahler C -spaces, in: Ochiai, T. (ed.) Recent Topics in Differential and Analytic Geometry, Academic Press, Boston, MA (1990), pages 303--320

    work page 1990

  33. [33]

    Kostant, Graded manifolds, graded Lie theory, and prequantization, in: K

    B. Kostant, Graded manifolds, graded Lie theory, and prequantization, in: K. Bleuler, A. Reetz (eds), Differential geometrical methods in mathematical physics, Springer, Berlin (1977), pages 177--306

    work page 1977

  34. [34]

    Lauret, On the smallest Laplace eigenvalue for naturally reductive metrics on compact simple Lie groups, Proc

    E.A. Lauret, On the smallest Laplace eigenvalue for naturally reductive metrics on compact simple Lie groups, Proc. Amer. Math. Soc. 148 (2020) 3375--3380

    work page 2020

  35. [35]

    Leites, Introduction to the theory of supermanifolds, Russian Math

    D. Leites, Introduction to the theory of supermanifolds, Russian Math. Surveys 35 (1980) 1--64

    work page 1980

  36. [36]

    Metsaev, A.A

    R.R. Metsaev, A.A. Tseytlin, Type IIB superstring action in AdS _5 S^5 background, Nucl. Phys. B 533 (1998) 109--126

    work page 1998

  37. [37]

    Milnor, Curvatures of left-invariant metrics on Lie groups, Adv

    J. Milnor, Curvatures of left-invariant metrics on Lie groups, Adv. Math. 21 (1976) 293--329

    work page 1976

  38. [38]

    Monterde, O.A

    J. Monterde, O.A. S\'anchez-Valenzuela, The exterior derivative as a Killing vector field, Israel J. Math. 93 (1996) 157--170

    work page 1996

  39. [39]

    Morgan, G

    J. Morgan, G. Tian, Ricci flow and the Poincar\' e conjecture, American Mathematical Society, Providence, RI; Clay Mathematics Institute, Cambridge, MA (2007)

    work page 2007

  40. [40]

    J.S. Park, Y. Sakane, Invariant Einstein metrics on certain homogeneous spaces, Tokyo J. Math. 20 (1997) 51--61

    work page 1997

  41. [41]

    Parker, Classification of real simple Lie superalgebras of classical type, J

    M. Parker, Classification of real simple Lie superalgebras of classical type, J. Math. Phys. 21 (1980) 689--697

    work page 1980

  42. [42]

    Polchinski, String theory, volume II, Cambridge University Press, New York (1998)

    J. Polchinski, String theory, volume II, Cambridge University Press, New York (1998)

    work page 1998

  43. [43]

    Pulemotov, Y.A

    A. Pulemotov, Y.A. Rubinstein, Ricci iteration on homogeneous spaces, Trans. Amer. Math. Soc. 371 (2019) 6257--6287

    work page 2019

  44. [44]

    Pulemotov, W

    A. Pulemotov, W. Ziller, Palais--Smale sequences for the prescribed Ricci curvature functional, Calc. Var. PDE 63 (2024), article 163

    work page 2024

  45. [45]

    R ocek, N

    M. R ocek, N. Wadhwa, On Calabi--Yau supermanifolds, Adv. Theor. Math. Phys. 9 (2005) 315--320

    work page 2005

  46. [46]

    Rogers, Supermanifolds: theory and applications, World Scientific Publishing, Singapore (2007)

    A. Rogers, Supermanifolds: theory and applications, World Scientific Publishing, Singapore (2007)

    work page 2007

  47. [47]

    Santi, Superization of homogeneous spin manifolds and geometry of homogeneous supermanifolds, Abh

    A. Santi, Superization of homogeneous spin manifolds and geometry of homogeneous supermanifolds, Abh. Math. Semin. Univ. Hambg. 80 (2010) 87--144

    work page 2010

  48. [48]

    Scheunert, W

    M. Scheunert, W. Nahm, V. Rittenberg, Graded Lie algebras: Generalization of Hermitian representations, J. Math. Phys. 18 (1977) 146--154

    work page 1977

  49. [49]

    Serganova, Classification of simple real Lie superalgebras and symmetric superspaces, Funktsional

    V.V. Serganova, Classification of simple real Lie superalgebras and symmetric superspaces, Funktsional. Anal. i Prilozhen. 17 (1983) 46--54

    work page 1983

  50. [50]

    Varadarajan, Supersymmetry for Mathematicians: An Introduction

    V.S. Varadarajan, Supersymmetry for Mathematicians: An Introduction. Courant Lecture Notes, vol. 11, American Mathematical Society, Providence, RI (2004)

    work page 2004

  51. [51]

    Vishnyakova, On the splitting problem for complex homogeneous supermanifolds, J

    E.G. Vishnyakova, On the splitting problem for complex homogeneous supermanifolds, J. Lie Theory 25 (2015) 459--476

    work page 2015

  52. [52]

    Vishnyakova, Rigidity of flag supermanifolds, Transf

    E.G. Vishnyakova, Rigidity of flag supermanifolds, Transf. Groups 27 (2022) 1149--1187

    work page 2022

  53. [53]

    M.Y. Wang, W. Ziller, Existence and nonexistence of homogeneous Einstein metrics, Invent. Math. 84 (1986) 177--194

    work page 1986

  54. [54]

    Witten, Notes on supermanifolds and integration, Pure Appl

    E. Witten, Notes on supermanifolds and integration, Pure Appl. Math. Q. 15 (2019) 3--56

    work page 2019

  55. [55]

    Witten, Notes on super Riemann surfaces and their moduli, Pure Appl

    E. Witten, Notes on super Riemann surfaces and their moduli, Pure Appl. Math. Q. 15 (2019) 57--211

    work page 2019

  56. [56]

    Zarembo, Strings on semisymmetric superspaces, JHEP 05 (2010) 002

    K. Zarembo, Strings on semisymmetric superspaces, JHEP 05 (2010) 002

    work page 2010

  57. [57]

    Zhou, On Ricci flat supermanifolds, JHEP 02 (2005) 004

    C. Zhou, On Ricci flat supermanifolds, JHEP 02 (2005) 004

    work page 2005