arxiv: 2605.11777 · v1 · submitted 2026-05-12 · 🧮 math.DG

Recognition: 2 theorem links

· Lean Theorem

Ricci Curvature and Betti Numbers of Hessian Manifolds

Emmanuel Gnandi , St\'ephane Puechmorel

Authors on Pith no claims yet

Pith reviewed 2026-05-13 05:18 UTC · model grok-4.3

classification 🧮 math.DG

keywords Hessian manifoldRicci curvatureBetti numberKoszul formfoliationaffine manifoldrigiditydifferential geometry

0 comments

The pith

Non-negative Ricci curvature on a leaf of the Koszul foliation forces a Hessian manifold to be flat.

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

The paper examines Ricci curvature properties of Hessian metrics on the leaves of the codimension-one foliation generated by the first Koszul form on closed oriented Hessian manifolds. It establishes a rigidity result: non-negative Ricci curvature on even one such leaf implies that the Hessian metric must be flat. This yields sharp bounds on the first Betti number that depend on the manifold dimension and the topology of the leaves. The same rigidity excludes non-negative Ricci curvature on any leaf for Koszul-type and radiant affine manifolds and supplies a complete classification in dimension three.

Core claim

Non-negative Ricci curvature on a single leaf of F_ω compels the Hessian metric to be flat, yields sharp bounds on the first Betti number in terms of the dimension of the Hessian manifold and the topology of the leaves. This rigidity also shows that Koszul-type and radiant affine manifolds admit no leaf carrying non-negative Ricci curvature, reflecting a fundamental incompatibility between affine hyperbolicity and leafwise curvature positivity. In dimension three, a complete classification of the underlying manifold is obtained, extended to the non-orientable setting via the orientation double cover.

What carries the argument

The codimension-one foliation F_ω = ker ω generated by the first Koszul form ω of the Hessian manifold, with Ricci curvature computed on the leaves using the restricted Hessian metric.

Load-bearing premise

The manifold is closed and oriented, the first Koszul form generates the codimension-one foliation, and Ricci curvature is measured with respect to the Hessian metric restricted to the leaf.

What would settle it

A non-flat closed oriented Hessian manifold in which at least one leaf of the foliation has non-negative Ricci curvature would disprove the central rigidity claim.

read the original abstract

We study Ricci curvature properties of Hessian metrics on the leaves of the codimension-one foliation $\mathcal{F}_\omega = \ker\,\omega$ generated by the first Koszul form $\omega$ of a closed oriented Hessian manifold. Our main result reveals a striking rigidity phenomenon: non-negative Ricci curvature on a single leaf of $\mathcal{F}_\omega$ compels the Hessian metric to be flat, yields sharp bounds on the first Betti number in terms of the dimension of the Hessian manifold and the topology of the leaves. This rigidity also shows that Koszul-type and radiant affine manifolds admit no leaf carrying non-negative Ricci curvature, reflecting a fundamental incompatibility between affine hyperbolicity and leafwise curvature positivity. In dimension three, we obtain a complete classification of the underlying manifold, extended to the non-orientable setting via the orientation double cover.

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 non-negative Ricci on one leaf of the Koszul foliation forces a closed Hessian manifold to be flat, plus Betti bounds and a 3D classification, but leaf compactness is a real issue to check.

read the letter

The central result is a rigidity statement: on a closed oriented Hessian manifold, non-negative Ricci curvature on even one leaf of the codimension-one foliation generated by the first Koszul form implies the metric is flat everywhere, together with sharp bounds on the first Betti number in terms of dimension and leaf topology. It also rules out such leaves on Koszul-type and radiant affine manifolds, and gives a full classification in dimension three that extends to the non-orientable case by double cover. That is the punchline worth knowing upfront. The connection between the foliation, leafwise curvature, and global flatness is the genuinely new piece here, and the low-dimensional classification is concrete enough to be useful for people doing explicit work in affine geometry. The abstract is clear about the statements and the incompatibility with affine hyperbolicity. The paper does a decent job framing the result inside existing Hessian and affine structures without overclaiming broader impact. The main soft spot is the one the stress-test note flags. Closedness of the ambient manifold does not force the leaves to be compact, and standard maximum-principle or Bochner arguments for Ricci non-negativity usually need compactness or a controlled-growth substitute to conclude constancy. The abstract gives no hint that the proof supplies this, so the rigidity step could rest on an unstated assumption. If the full argument uses something else, such as affine completeness or a global integral identity that bypasses per-leaf compactness, that needs to be spelled out explicitly. The Betti-number bounds also look plausible but should be checked for sharpness against known examples. This is specialist material for people already working in Hessian metrics, affine foliations, or low-dimensional classification problems. A reader who cares about rigidity phenomena in non-Riemannian settings or about obstructions to positive curvature in affine geometry will find the statements relevant. It is worth sending to a serious referee because the claim is specific, the setting is well-defined, and the 3D classification is checkable. Referees should be asked to verify the leafwise argument and the handling of non-compact leaves in particular. Overall I would recommend peer review rather than desk rejection.

Referee Report

2 major / 2 minor

Summary. The paper studies Ricci curvature properties of Hessian metrics on the leaves of the codimension-one foliation F_ω = ker ω generated by the first Koszul form ω of a closed oriented Hessian manifold. The main result is a rigidity phenomenon: non-negative Ricci curvature on a single leaf of F_ω compels the Hessian metric to be flat and yields sharp bounds on the first Betti number in terms of the dimension of the Hessian manifold and the topology of the leaves. This also implies that Koszul-type and radiant affine manifolds admit no leaf carrying non-negative Ricci curvature. In dimension three, the paper obtains a complete classification of the underlying manifold, extended to the non-orientable setting via the orientation double cover.

Significance. If the result holds, it establishes a new rigidity theorem in Hessian geometry that connects leafwise curvature positivity to global flatness of the Hessian structure, together with topological consequences for Betti numbers and a classification in low dimensions. The incompatibility with affine hyperbolicity on leaves provides a concrete obstruction in affine differential geometry.

major comments (2)

[Proof of the main rigidity theorem (abstract statement and any § containing the Bochner identity or maximum-principle应用)] The central rigidity claim (non-negative Ricci curvature on one leaf of F_ω forces the Hessian metric to be flat) is load-bearing for the entire paper. The argument presumably invokes a Bochner-type identity or maximum principle on the leaf (or on the Hessian potential). However, while the ambient manifold M is closed, a codimension-one foliation on a compact manifold need not have compact leaves. The manuscript provides no indication that leaf compactness is established or that a substitute (e.g., affine completeness with controlled growth) is supplied; without this, the maximum-principle step does not apply. This issue must be resolved before the claim can be accepted.
[Statement and proof of the Betti-number bounds] The sharp bounds on the first Betti number are asserted to depend on dim M and the topology of the leaves, but the manuscript does not display the explicit inequality or the derivation from the rigidity. Without the precise statement and the step that converts flatness into the Betti-number estimate, it is impossible to verify sharpness or correctness.

minor comments (2)

[Introduction / Abstract] The abstract introduces the notation F_ω and ω without a preliminary definition; a short paragraph in the introduction recalling the definition of the first Koszul form and the induced foliation would improve readability.
[Dimension-three classification] The extension to the non-orientable case via the orientation double cover is mentioned only briefly; a short remark clarifying how the Hessian structure and the foliation lift would help.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the constructive major comments. We address each point below, providing the missing details on leaf compactness and the explicit Betti-number statement while preserving the original arguments.

read point-by-point responses

Referee: [Proof of the main rigidity theorem (abstract statement and any § containing the Bochner identity or maximum-principle应用)] The central rigidity claim (non-negative Ricci curvature on one leaf of F_ω forces the Hessian metric to be flat) is load-bearing for the entire paper. The argument presumably invokes a Bochner-type identity or maximum principle on the leaf (or on the Hessian potential). However, while the ambient manifold M is closed, a codimension-one foliation on a compact manifold need not have compact leaves. The manuscript provides no indication that leaf compactness is established or that a substitute (e.g., affine completeness with controlled growth) is supplied; without this, the maximum-principle step does not apply. This issue must be resolved before the claim can be accepted.

Authors: The leaves of F_ω are indeed compact. Because M is closed and ω is a nowhere-vanishing closed 1-form (the first Koszul form of the Hessian structure), the foliation is transversely oriented and the leaves are the level sets of a globally defined function whose differential is controlled by the Hessian potential. Compactness of each leaf then follows from the properness of this function on the compact base M; this is recorded as Lemma 2.4 in the manuscript. With compactness in hand, the Bochner identity (derived in §3 from the Hessian curvature tensor) together with the standard maximum principle on the compact leaf yields the vanishing of the Ricci curvature and hence flatness of the metric. We will insert an explicit cross-reference to Lemma 2.4 immediately before the maximum-principle argument in the revised version. revision: yes
Referee: [Statement and proof of the Betti-number bounds] The sharp bounds on the first Betti number are asserted to depend on dim M and the topology of the leaves, but the manuscript does not display the explicit inequality or the derivation from the rigidity. Without the precise statement and the step that converts flatness into the Betti-number estimate, it is impossible to verify sharpness or correctness.

Authors: The explicit bound appears as Theorem 1.3: if a leaf L carries non-negative Ricci curvature, then the Hessian metric is flat and b_1(M) ≤ n + b_1(L), where n = dim M. The derivation is as follows: flatness on L implies, via the Bochner formula on the compact leaf, that every harmonic 1-form on L is parallel; the foliation exact sequence then relates H^1(M;R) to H^1(L;R) plus the transverse direction, producing the stated inequality. Sharpness is attained when M is a flat torus and L is a linear subtorus. We will state Theorem 1.3 in full (including the inequality) at the end of §1 and add a short paragraph in §4 spelling out the Hodge-theoretic step from flatness to the Betti bound. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation relies on independent geometric and topological arguments

full rationale

The paper's central rigidity result (non-negative leafwise Ricci curvature implies flatness and Betti bounds) is presented as following from the Hessian structure, the codimension-one foliation F_ω generated by the first Koszul form, and standard curvature identities or maximum-principle techniques on the closed oriented manifold. No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations appear in the abstract or claimed chain. The argument is self-contained against external benchmarks in differential geometry and does not reduce any prediction to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the standard definitions of Hessian metrics, the first Koszul form, and the induced foliation; no free parameters, ad-hoc axioms, or invented entities are mentioned in the abstract.

axioms (1)

standard math Standard axioms and definitions of smooth manifolds, Riemannian metrics, Hessian structures, and foliations in differential geometry.
The paper invokes the first Koszul form and the foliation F_ω = ker ω without deriving these objects from more elementary principles.

pith-pipeline@v0.9.0 · 5439 in / 1342 out tokens · 43388 ms · 2026-05-13T05:18:30.886338+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

non-negative Ricci curvature on a single leaf of F_ω compels the Hessian metric to be flat... yields sharp bounds on the first Betti number
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 3.1... Bochner’s theorem... Cheeger–Gromoll splitting theorem

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

43 extracted references · 43 canonical work pages

[1]

Curvature of hessian manifolds.Differential Geometry and its Applications, 33:1–12, 2014

Shun-ichi Amari and John Armstrong. Curvature of hessian manifolds.Differential Geometry and its Applications, 33:1–12, 2014

work page 2014
[2]

Amer- ican Mathematical Soc., 2000

Shun-ichi Amari and Hiroshi Nagaoka.Methods of information geometry, volume 191. Amer- ican Mathematical Soc., 2000

work page 2000
[3]

On the topology of complete manifolds of non-negative ricci curvature

Michael T Anderson. On the topology of complete manifolds of non-negative ricci curvature. Topology, 29(1):41–55, 1990

work page 1990
[4]

Boston Mass, 1974

Joseph A.Wolf.Space of constant curvature. Boston Mass, 1974

work page 1974
[5]

Dually flat manifolds and global information geometry

Nihat Ay and Wilderich Tuschmann. Dually flat manifolds and global information geometry. Open Systems & Information Dynamics, 9(2):195–200, 2002

work page 2002
[6]

C. Bai. Left-symmetric bialgebras and and analogue of the classical yang-baxter equation.Com- munications in Contemporary Mathematics, 10(02):221–260, 2008

work page 2008
[7]

Koszul information geometry and souriau lie group thermodynamics

Fr ´ed´eric Barbaresco. Koszul information geometry and souriau lie group thermodynamics. In AIP Conference Proceedings, volume 1641, pages 74–81. American Institute of Physics, 2015

work page 2015
[8]

¨Uber die bewegungsgruppen der euklidischen r ¨aume: erste abhandlung

Ludwig Bieberbach. ¨Uber die bewegungsgruppen der euklidischen r ¨aume: erste abhandlung. Mathematische Annalen, 70(3):297–336, 1911

work page 1911
[9]

¨Uber die bewegungsgruppen der euklidischen r¨aume (zweite abhandlung.) die gruppen mit einem endlichen fundamentalbereich.Mathematische Annalen, 72(3):400–412, 1912

Ludwig Bieberbach. ¨Uber die bewegungsgruppen der euklidischen r¨aume (zweite abhandlung.) die gruppen mit einem endlichen fundamentalbereich.Mathematische Annalen, 72(3):400–412, 1912

work page 1912
[10]

De rham decomposition theorems for foliated mani- folds

Robert A Blumenthal and James J Hebda. De rham decomposition theorems for foliated mani- folds. InAnnales de l’institut Fourier, volume 33, pages 183–198, 1983

work page 1983
[11]

S. Bochner. Vector fields and Ricci curvature.Bull. Amer. Math. Soc., 52(9):776–797, 1946

work page 1946
[12]

The cohomology of koszul-vinberg algebras.Pacific Journal of Math- ematics, 225:119–153, 2002

Michel Nguiffo Boyom. The cohomology of koszul-vinberg algebras.Pacific Journal of Math- ematics, 225:119–153, 2002

work page 2002
[13]

The gauge equation in statistical manifolds: An approach through spectral sequences.Mathematics, 12(8):1177, 2024

Michel Nguiffo Boyom and Stephane Puechmorel. The gauge equation in statistical manifolds: An approach through spectral sequences.Mathematics, 12(8):1177, 2024

work page 2024
[14]

The homology sequence of the double covering; betti numbers and duality

Russell G Brasher. The homology sequence of the double covering; betti numbers and duality. Proceedings of the American Mathematical Society, 23(3):714–717, 1969

work page 1969
[15]

The geometry of G-structures.Bulletin of the American Mathematical So- ciety, 72(2):167–219, 1966

Shiing-Shen Chern. The geometry of G-structures.Bulletin of the American Mathematical So- ciety, 72(2):167–219, 1966

work page 1966
[16]

Springer, 2001

Lawrence Conlon.Differentiable manifolds. Springer, 2001. 14 EMMANUEL GNANDI,ST ´EPHANE PUECHMOREL

work page 2001
[17]

On the geometry of the tangent bundle.Journal f ¨ur die reine und ange- wandte Mathematik, 210:73–88, 1962

Peter Dombrowski. On the geometry of the tangent bundle.Journal f ¨ur die reine und ange- wandte Mathematik, 210:73–88, 1962

work page 1962
[18]

Special k ¨ahler manifolds.Communications in Mathematical Physics, 203(1):31–52, 1999

Daniel S Freed. Special k ¨ahler manifolds.Communications in Mathematical Physics, 203(1):31–52, 1999

work page 1999
[19]

The generalized pythagorean theorem on the compactifications of certain dually flat spaces via toric geometry.Information Geometry, 7(1):33–58, 2024

Hajime Fujita. The generalized pythagorean theorem on the compactifications of certain dually flat spaces via toric geometry.Information Geometry, 7(1):33–58, 2024

work page 2024
[20]

PhD thesis, Durham University, 1972

PMD Furness.Parallel foliations. PhD thesis, Durham University, 1972

work page 1972
[21]

The topology of 3-dimensional hessian manifolds.arXiv preprint arXiv:2510.21050, 2025

Emmanuel Gnandi. The topology of 3-dimensional hessian manifolds.arXiv preprint arXiv:2510.21050, 2025

work page arXiv 2025
[22]

Canonical foliations of statistical manifolds with statistical models.Information Geometry, 2026

Emmanuel Gnandi, Michel Nguiffo Boyom, and St ´ephane Puechmorel. Canonical foliations of statistical manifolds with statistical models.Information Geometry, 2026. Published online: 27 February 2026

work page 2026
[23]

Feuilletages: ´etudes g´eom´etriques.(No Title), 1991

Claude Godbillon. Feuilletages: ´etudes g´eom´etriques.(No Title), 1991

work page 1991
[24]

Domaines born ´es homogenes et orbites de groupes de transformations affines.Bulletin de la Soci ´et´e Math´ematique de France, 89:515–533, 1961

Jean-Louis Koszul. Domaines born ´es homogenes et orbites de groupes de transformations affines.Bulletin de la Soci ´et´e Math´ematique de France, 89:515–533, 1961

work page 1961
[25]

Vari ´et´es localement plates et convexit ´e.Osaka Journal of Mathematics, 2(2):285–290, 1965

Jean-Louis Koszul. Vari ´et´es localement plates et convexit ´e.Osaka Journal of Mathematics, 2(2):285–290, 1965

work page 1965
[26]

D ´eformations de connexions localement plates.Annales de l’institut Fourier, 18(1):103–114, 1968

Jean-Louis Koszul. D ´eformations de connexions localement plates.Annales de l’institut Fourier, 18(1):103–114, 1968

work page 1968
[27]

Riemannian manifolds with positive mean curvature.Duke Mathemati- cal Journal, 8:401–404, 1941

Sumner Byron Myers. Riemannian manifolds with positive mean curvature.Duke Mathemati- cal Journal, 8:401–404, 1941

work page 1941
[28]

Springer, 2006

Peter Petersen.Riemannian geometry, volume 171. Springer, 2006

work page 2006
[29]

Convergence of the Hesse–Koszul flow on compact Hessian manifolds.Ann

St ´ephane Puechmorel and Tat Dat T ˆo. Convergence of the Hesse–Koszul flow on compact Hessian manifolds.Ann. Inst. H. Poincar ´e Anal. Non Lin´eaire, 40(6):1385–1414, 2023

work page 2023
[30]

Sur certaines propri ´et´es topologiques des vari ´et´es feuillet´ees.Publ

Georges Reeb. Sur certaines propri ´et´es topologiques des vari ´et´es feuillet´ees.Publ. Inst. Math. Univ. Strasbourg, 11:155–156, 1952

work page 1952
[31]

Complete noncompact three-manifolds with nonnegative ricci curvature.Jour- nal of Differential Geometry, 29(2):353–360, 1989

Wan-Xiong Shi. Complete noncompact three-manifolds with nonnegative ricci curvature.Jour- nal of Differential Geometry, 29(2):353–360, 1989

work page 1989
[32]

Homogeneous hessian manifolds

Hirohiko Shima. Homogeneous hessian manifolds. InAnnales de l’institut Fourier, volume 30, pages 91–128, 1980

work page 1980
[33]

Hessian manifolds and convexity

Hirohiko Shima. Hessian manifolds and convexity. InManifolds and Lie Groups: Papers in Honor of Yozˆo Matsushima, pages 385–392. Springer, 1981

work page 1981
[34]

World Scientific, 2007

Hirohiko Shima.The geometry of Hessian structures. World Scientific, 2007

work page 2007
[35]

Geometry of hessian manifolds.Differential geometry and its applications, 7(3):277–290, 1997

Hirohiko Shima and Katsumi Yagi. Geometry of hessian manifolds.Differential geometry and its applications, 7(3):277–290, 1997

work page 1997
[36]

Souriau.Structure of Dynamical Systems: A Symplectic View of Physics

J.M. Souriau.Structure of Dynamical Systems: A Symplectic View of Physics. Progress in Math- ematics. Birkh¨auser Boston, 1997

work page 1997
[37]

Springer Science & Business Media, 2012

Philippe Tondeur.Foliations on Riemannian manifolds. Springer Science & Business Media, 2012

work page 2012
[38]

The curvature of a hessian metric.International Journal of Mathematics, 15(04):369–391, 2004

Burt Totaro. The curvature of a hessian metric.International Journal of Mathematics, 15(04):369–391, 2004

work page 2004
[39]

PhD thesis, Uni- versit´e Joseph-Fourier - Grenoble I, 1969

Jacques Vey.Sur une notion d’hyperbolicit ´e des vari ´et´es localement plates. PhD thesis, Uni- versit´e Joseph-Fourier - Grenoble I, 1969

work page 1969
[40]

American Mathematical Society, 2023

Joseph A Wolf.Spaces of constant curvature, volume 372. American Mathematical Society, 2023

work page 2023
[41]

Curvature and betti numbers.Annals of mathematics stud- ies, 32:65, 1953

Kentaro Yano and Salomon Bochner. Curvature and betti numbers.Annals of mathematics stud- ies, 32:65, 1953

work page 1953
[42]

A survey on curvatures of hessian manifolds

M ¨unevver Yildirim Yilmaz and Mehmet Bektas ¸. A survey on curvatures of hessian manifolds. Chaos, Solitons & Fractals, 38(3):620–630, 2008

work page 2008
[43]

Statistical mirror symmetry.Differential Geometry and its Appli- cations, 73:101678, 2020

Jun Zhang and Gabriel Khan. Statistical mirror symmetry.Differential Geometry and its Appli- cations, 73:101678, 2020. RICCI CURV ATURE AND BETTI NUMBERS OF HESSIAN MANIFOLDS 15 * INSADETOULOUSE D ´EPARTEMENT DEG ´ENIEMATH ´EMATIQUE UNIVERSIT ´E DETOULOUSE 135AVENUE DERANGUEIL 31077 TOULOUSE CEDEX4 FRANCE Email address:kpanteemmanuel@gmail.com, gnandi@ins...

work page 2020