pith. sign in

arxiv: 2604.08738 · v1 · submitted 2026-04-09 · 🧮 math.DG · hep-th· math.AP

A Conformally Invariant Dirac-type Equation on Compact Spin Manifolds: the Effect of the Geometry

Ali Maalaoui , Vittorio Martino This is my paper

Pith reviewed 2026-05-10 17:11 UTC · model grok-4.3

classification 🧮 math.DG hep-thmath.AP
keywords Dirac operatorconformal invariancespin manifoldsAubin inequalityDirac-Einstein problemnonlinear equationsvariational methodsexistence results
0
0 comments X

The pith

The Aubin-type inequality is strict for the conformally invariant Dirac equation on closed spin manifolds unless they are conformal to the round sphere.

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

This paper examines a generalized conformally invariant nonlinear equation for the Dirac operator on closed Riemannian spin manifolds of dimension four and higher. It proves that the corresponding Aubin-type inequality, which is used in variational approaches to find solutions, is always strict except when the manifold is conformal to the standard sphere. This strictness directly implies the existence of a ground state solution for the conformal Dirac-Einstein problem specifically in four dimensions, marking the first general existence result beyond special cases.

Core claim

Given a closed Riemannian Spin manifold (M,g) of dimension greater or equal than four, we consider a generalized conformally invariant equation involving the Dirac operator with a non-linearity of convolution type. We show that the Aubin-type inequality corresponding to the problem is always strict, unless (M,g) is conformal to the round sphere. In particular, this result provides an existence result for a ground state to the conformal Dirac-Einstein problem in dimension four.

What carries the argument

The Aubin-type inequality associated to the conformally invariant Dirac equation with convolution nonlinearity, whose strictness is established via variational arguments on the spin manifold.

Load-bearing premise

The manifold must be closed, spin, Riemannian, of dimension at least four, with the nonlinearity being a specific conformally invariant convolution type.

What would settle it

A counterexample would be a closed spin manifold not conformal to the sphere where the Aubin-type inequality becomes equality or where no ground state solution exists for the four-dimensional Dirac-Einstein problem.

read the original abstract

Given a closed Riemannian Spin manifold $(M,g)$ of dimension greater or equal than four, we consider a generalized conformally invariant equation involving the Dirac operator with a non-linearity of convolution type. We show that the Aubib-type inequality corresponding to the problem is always strict, unless $(M,g)$ is conformal to the round sphere. In particular, this result provides an existence result for a ground state to the conformal Dirac-Einstein problem in dimension four. We point out that aside from some perturbative or special cases, this presents the first general existence result for the conformal Dirac-Einstein equations in dimension four.

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

1 major / 1 minor

Summary. The manuscript considers a generalized conformally invariant Dirac-type equation with convolution nonlinearity on closed Riemannian spin manifolds (M,g) of dimension at least 4. It proves that the associated Aubin-type inequality is strict unless (M,g) is conformal to the round sphere, and deduces from this an existence result for a ground state solution to the conformal Dirac-Einstein problem in dimension 4, presented as the first general existence theorem outside perturbative or special cases.

Significance. If the central claims hold, the work would constitute a meaningful advance in the variational theory of nonlinear Dirac operators by establishing strict inequalities via conformal invariance and geometry, thereby securing existence for a nonlocal problem in 4D. The approach leverages the spin structure and conformal properties in a way that could extend to related geometric PDEs.

major comments (1)
  1. [Existence proof (main theorem and associated variational analysis)] The existence argument (following the strict inequality) is load-bearing for the main theorem. For the nonlocal convolution nonlinearity, it must be shown that a minimizing sequence cannot split into distant bubbles with vanishing cross-convolution terms while still attaining the sphere constant; standard local concentration-compactness does not transfer directly, and the manuscript needs to supply the specific compactness verification for the kernel in question.
minor comments (1)
  1. [Abstract] The abstract contains the typo 'Aubib-type' instead of 'Aubin-type'.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying the need for a more explicit compactness argument in the nonlocal setting. We address the major comment below and will incorporate the requested verification in the revised version.

read point-by-point responses

  1. Referee: [Existence proof (main theorem and associated variational analysis)] The existence argument (following the strict inequality) is load-bearing for the main theorem. For the nonlocal convolution nonlinearity, it must be shown that a minimizing sequence cannot split into distant bubbles with vanishing cross-convolution terms while still attaining the sphere constant; standard local concentration-compactness does not transfer directly, and the manuscript needs to supply the specific compactness verification for the kernel in question.

    Authors: We agree that the standard concentration-compactness argument requires adaptation for the convolution nonlinearity, as distant bubbles may have vanishing cross terms. In the revised manuscript we will add a dedicated subsection providing the specific verification. Using the explicit positive kernel and its conformal covariance, we show that any splitting into distant bubbles produces a total energy at least as large as the sum of the individual bubble energies (each bounded below by the sphere constant) plus a strictly positive cross-interaction remainder. This contradicts the fact that the infimum on M is strictly less than the sphere constant (by the Aubin-type inequality proved in the paper) unless the manifold is conformal to the sphere. The argument relies on decay estimates for the kernel at large distances and the non-negativity of the convolution form, ensuring that minimizing sequences remain compact and the ground state exists. revision: yes

Circularity Check

0 steps flagged

No circularity: strict Aubin inequality derived from spin geometry and variational analysis

full rationale

The paper establishes a strict version of the Aubin inequality for a conformally invariant Dirac-type equation with convolution nonlinearity on closed spin manifolds of dimension >=4, showing it holds with equality only for the round sphere and thereby obtaining existence of a ground state solution in dimension 4. This follows from direct analysis of the associated functional, conformal invariance properties of the Dirac operator, and standard compactness arguments adapted to the setting. No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citation chains appear; the central claim rests on independent geometric and analytic estimates rather than tautological rephrasing of its own assumptions or outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard domain assumptions from spin geometry and conformal analysis; no free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (1)
  • domain assumption M is a closed Riemannian spin manifold of dimension n ≥ 4.
    This is the explicit setting stated in the abstract for the theorem.

pith-pipeline@v0.9.0 · 5399 in / 1229 out tokens · 90413 ms · 2026-05-10T17:11:52.268842+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

36 extracted references · 36 canonical work pages

  1. [1]

    Ammann.A variational problem in conformal spin geometry, Habilitationsschift, Universit¨ at Hamburg, (2003)

    B. Ammann.A variational problem in conformal spin geometry, Habilitationsschift, Universit¨ at Hamburg, (2003)

    work page 2003

  2. [2]

    Ammann.The smallest Dirac eigenvalue in a spin-conformal class and cmc-immersions, Comm

    B. Ammann.The smallest Dirac eigenvalue in a spin-conformal class and cmc-immersions, Comm. Anal. Geom. 17, 429-479, (2009)

    work page 2009

  3. [3]

    T. Aubin. ´Equations diff´ erentielles non lin´ eaires et probl´ eme de Yamabe concernant la courbure scalaire, J. Math. Pures Appl. 55 (1976), 269-296

    work page 1976

  4. [4]

    Bahrami, A

    M. Bahrami, A. Grossardt, S. Donadi, A. Bassi.The Schr¨ odinger-Newton equation and its foun- dations, New J. Phys. 16 (2014), 115007, 17 pp

    work page 2014

  5. [5]

    Bourguignon, P

    J.P. Bourguignon, P. Gauduchon.Spineurs, op´ erateurs de Dirac et variations de m´ etriques, Comm. Math. Phys. 144, 581-599, (1992)

    work page 1992

  6. [6]

    Borrelli, A

    W. Borrelli, A. Maalaoui.Some Properties of Dirac–Einstein Bubbles, The Journal of Geometric Analysis, 31, 5766–5782 (2021)

    work page 2021

  7. [7]

    Borrelli, A

    W. Borrelli, A. Maalaoui, V. Martino.Conformal Dirac-Einstein equations on manifolds with boundary, Calculus of Variations and Partial Differential Equations, 1, 62:18, (2023)

    work page 2023

  8. [8]

    T. P. Branson.Intertwining differential operators for spinor-form representations of the conformal group, Adv. in Math. 54 (1984), no. 1, 1-21

    work page 1984

  9. [9]

    Brill, J.A

    D.R. Brill, J.A. Wheeler.Interaction of neutrinos and gravitational fields, Rev. Mod. Phys. 29, 465-479, (1957)

    work page 1957

  10. [10]

    Case, S.-Y.A

    J.S. Case, S.-Y.A. Chang.On fractional GJMS operators, Commun. Pure Appl. Math. 69 (6) (2016) 1017-1061 21

    work page 2016

  11. [11]

    Y. Ding, J. Wei, T. Xu.Existence and concentration of semi-classical solutions for a nonlinear Maxwell-Dirac system, J. Math. Phys.54(2013), no.6, 061505, 33 pp

    work page 2013

  12. [12]

    M. J. Esteban and E. S´ er´ e.Nonrelativistic limit of the Dirac-Fock equations, Ann. Henri Poincar´ e 2 (2001), no. 5, 941–961

    work page 2001

  13. [13]

    Finster, J

    F. Finster, J. Smoller, S.T. Yau.Particle-like solutions of the Einstein-Dirac equations, Physical Review. D. Particles and Fields. Third Series 59 (1999)

    work page 1999

  14. [14]

    Friedrich.Dirac Operators in Riemannian Geometry, Grad

    T. Friedrich.Dirac Operators in Riemannian Geometry, Grad. Stud. Math., vol. 25, Amer. Math. Soc., Providence, RI, (2000)

    work page 2000

  15. [15]

    Giulini, A

    D. Giulini, A. Grossardt.The Schr¨ odinger-Newton equation as a non-relativistic limit of self- gravitating Klein-Gordon and Dirac fields, Classical Quantum Gravity 29 (2012), no.21, 215010, 25 pp

    work page 2012

  16. [16]

    M. d. M. Gonz´ alez.Recent progress on the fractional Laplacian in conformal geometry.Recent developments in nonlocal theory, De Gruyter, Berlin, (2018), 236-273

    work page 2018

  17. [17]

    C. R. Graham, R. Jenne, L. J. Mason, G. A. J. Sparling.Conformally invariant powers of the Laplacian. I. Existence, J. London Math. Soc. (2), 46(3):557–565, (1992)

    work page 1992

  18. [18]

    C. R. Graham, M. Zworski.Scattering matrix in conformal geometry, Invent. Math., 152(1) : 89–118, 2003

    work page 2003

  19. [19]

    Guidi, A

    C. Guidi, A. Maalaoui, V. Martino.Existence results for the conformal Dirac-Einstein system, Advanced Nonlinear Studies (2021), 21, 1, 107-117

    work page 2021

  20. [20]

    Hebey, M

    E. Hebey, M. Vaugon,Remarque sur le probl´ eme de Yamabe, J. Funct. Anal. 96 (1991), no. 1, 31-37

    work page 1991

  21. [21]

    E.C. Kim, T. Friedrich.The Einstein-Dirac Equation on Riemannian Spin Manifolds, J. of Ge- ometry and Physics, 33(1-2), 128-172, (2000)

    work page 2000

  22. [22]

    Lenzmann.Uniqueness of ground states for pseudorelativistic Hartree equations, Anal

    E. Lenzmann.Uniqueness of ground states for pseudorelativistic Hartree equations, Anal. PDE 2 (2009), no.1, 1–27

    work page 2009

  23. [23]

    J. M. Lee, T. H. Parker.The Yamabe problem, Bull. Am. Math. Soc. 17(1), 37-91 (1987)

    work page 1987

  24. [24]

    E. H. Lieb,Existence and uniqueness of the minimizing solution of Choquard’s nonlinear equation, Studies in Appl. Math. 57 (1976/77), no. 2, 93–105

    work page 1976

  25. [25]

    E. H. Lieb and H.-T. Yau.The Chandrasekhar theory of stellar collapse as the limit of quantum mechanics, Comm. Math. Phys. 112 (1987), no. 1, 147–174

    work page 1987

  26. [26]

    Maalaoui, V

    A. Maalaoui, V. Martino.Characterization of the Palais-Smale sequences for the conformal Dirac-Einstein problem and applications, Journal of Differential Equations, 266, 5, 2493-2541, (2019)

    work page 2019

  27. [27]

    Maalaoui, V

    A. Maalaoui, V. Martino.Compactness of Dirac-Einstein spin manifolds and horizontal defor- mations, The Journal of Geometric Analysis, 32, 7, 201, (2022)

    work page 2022

  28. [28]

    Maalaoui, V

    A. Maalaoui, V. Martino, L. Mbarki.Conformally Invariant Dirac Equation with Non-Local, arXiv:2504.10779

    work page arXiv

  29. [29]

    A.Maalaoui, V.Martino, T.Xu.Singular Solutions for the Conformal Dirac-Einstein Problem on the Sphere, Nonlinearity, (2025), 38, 015019

    work page 2025

  30. [30]

    Moroz, J

    V. Moroz, J. Van Schaftingen.A guide to the Choquard equation, J. Fixed Point Theory Appl. 19 (2017), no.1, 773–813

    work page 2017

  31. [31]

    C. B. Ndiaye, Y. Sire and L. Sun.Uniformization theorems: Between Yamabe and Paneitz, Pacific Journal of Mathematics, 314 (2021), 115-159. 22

    work page 2021

  32. [32]

    Parker, C

    T. Parker, C. Taubes.On Witten’s proof of the positive energy theorem, Comm. Math. Phys. 84 (1982), 223-238

    work page 1982

  33. [33]

    Schoen.Conformal deformation of a Riemannian metric to constant scalar curvature, J

    R. Schoen.Conformal deformation of a Riemannian metric to constant scalar curvature, J. Diff. Geom. 20 (1984), 479-495

    work page 1984

  34. [34]

    Y. Sire, T. Xu.On the B¨ ar-Hijazi-Lott invariant for the Dirac operator and a spinorial proof of the Yamabe problem, arXiv:2112.03640

    work page arXiv

  35. [35]

    Y. Sire, T. Xu,Conformal deformation of a Riemannian metric via an Einstein-Dirac parabolic flow, J. Geom. Anal. 35 (2025), no. 7, Paper No. 207, 41 pp

    work page 2025

  36. [36]

    Witten.A new proof of the positive energy theorem, Comm

    E. Witten.A new proof of the positive energy theorem, Comm. Math. Phys. 80 (1981), 381-402. 23

    work page 1981