arxiv: 2605.10743 · v1 · submitted 2026-05-11 · 🧮 math.DG

Recognition: 1 theorem link

· Lean Theorem

Kunneth formula for Hessian manifolds

Pavel Osipov

Pith reviewed 2026-05-12 04:23 UTC · model grok-4.3

classification 🧮 math.DG

keywords Kunneth formulaDolbeault-Koszul cohomologyHessian manifoldsflat affine manifoldsHodge theoryHessian metricsproduct manifolds

0 comments

The pith

The Dolbeault-Koszul cohomology of flat affine manifolds satisfies a Künneth formula for products when at least one factor is compact.

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

This paper proves that the cohomology groups H^{p,q} of a product of two flat affine manifolds decompose as a direct sum of tensor products of the groups from each factor, provided at least one manifold is compact. The proof uses properties of the cohomology and, for compact cases, Hodge theory adapted to flat affine structures. The formula is applied to Hessian manifolds, where each Hessian metric corresponds to a class in H^{1,1}, and metrics differing by a closed form are in the same class. This allows explicit descriptions of Hessian metrics on various product constructions, including with hyperbolic and flat Riemannian manifolds. The result gives a systematic way to understand how these metrics combine under taking products.

Core claim

We prove a Künneth formula H^{p,q}(M × N) ≅ ⊕_{i,j} H^{i,j}(M) ⊗ H^{p-i,q-j}(N) for flat affine manifolds M, N with at least one compact. For compact manifolds we also give a proof via Hodge theory on flat affine manifolds, analogous to the classical Künneth formula for Dolbeault cohomology. We apply this formula to Hessian manifolds. A Hessian metric g defines a class [g] ∈ H^{1,1}(M), and metrics in the same class differ by Dα for a closed 1-form α. Using the Künneth formula we describe all Hessian metrics on products, on products with hyperbolic manifolds, and on manifolds admitting a flat Riemannian metric.

What carries the argument

Dolbeault-Koszul cohomology groups H^{p,q} on flat affine manifolds, supporting the product decomposition under the Künneth isomorphism.

Load-bearing premise

The Dolbeault-Koszul cohomology on flat affine manifolds satisfies the algebraic properties needed for the Künneth isomorphism to hold when at least one factor is compact.

What would settle it

Computing the dimensions of H^{p,q} for a concrete pair of flat affine manifolds with one compact and finding that they fail to match the sum of tensor product dimensions would disprove the isomorphism.

read the original abstract

We study Dolbeault--Koszul cohomology $H^{p,q}(M)$ of flat affine manifolds. We proove a K\"unneth formula \[ H^{p,q}(M\times N) \cong \bigoplus_{i,j} H^{i,j}(M)\otimes H^{p-i,q-j}(N) \] for flat affine manifolds $M,N$ with at least one compact. For compact manifolds we also give a proof via Hodge theory on flat affine manifolds, analogous to the classical K\"unneth formula for Dolbeault cohomology. We apply this formula to Hessian manifolds. A Hessian metric $g$ defines a class $[g]\in H^{1,1}(M)$, and metrics in the same class differ by $D\alpha$ for a closed $1$-form $\alpha$. Using the K\"unneth formula we describe all Hessian metrics on products, on products with hyperbolic manifolds, and on manifolds admitting a flat Riemannian metric.

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 proves a Künneth formula for Dolbeault-Koszul cohomology on flat affine manifolds when at least one factor is compact and applies it to classify Hessian metrics on products.

read the letter

Hi, the main point is that this paper gives a Künneth formula for Dolbeault-Koszul cohomology on flat affine manifolds, H^{p,q}(M × N) ≅ ⊕ H^{i,j}(M) ⊗ H^{p-i,q-j}(N), provided at least one is compact, plus a Hodge-theoretic proof in the compact case, and then uses the result to describe Hessian metrics on products. What it does well is make the connection to Hessian geometry explicit. A Hessian metric defines a class in H^{1,1}, and the formula lets you build all such metrics on M × N from the classes on each factor, up to the Dα terms. The same holds for products involving hyperbolic manifolds or manifolds with flat Riemannian metrics. The Hodge proof for compact manifolds follows the classical Dolbeault pattern, which fits the setting. The compactness hypothesis is the standard one that keeps the isomorphism clean, and the abstract shows no circularity or internal contradictions. The applications follow directly once the formula is granted. Soft spots are limited. The definition and basic properties of Dolbeault-Koszul cohomology on these manifolds must support the algebraic Künneth step, but the paper treats this as standard and supplies the Hodge route for the compact case. Without seeing every derivation step the details could still hide a small gap, but nothing in the stated claims suggests a load-bearing problem. This is for people already working in affine differential geometry or Hessian metrics. A reader who needs a computational tool for cohomology on products or wants to classify special metrics in this narrow setting will find it useful. It is not aimed at broader audiences. I would send it for peer review. The result is focused, the argument appears consistent, and it supplies a usable statement even if the audience stays specialized.

Referee Report

1 major / 2 minor

Summary. The manuscript studies Dolbeault-Koszul cohomology H^{p,q} on flat affine manifolds and claims to prove the Künneth isomorphism H^{p,q}(M×N) ≅ ⊕_{i,j} H^{i,j}(M) ⊗ H^{p-i,q-j}(N) when at least one of M,N is compact; a separate proof via Hodge theory is supplied for the fully compact case. The formula is then applied to classify Hessian metrics on products, on products with hyperbolic manifolds, and on manifolds admitting flat Riemannian metrics, by viewing a Hessian metric as a class in H^{1,1} and describing metrics differing by Dα.

Significance. If the Künneth formula is established with the stated hypotheses, the result would supply a computational tool for cohomology on products of affine manifolds and a systematic way to describe families of Hessian metrics, extending classical Künneth and Hodge-theoretic techniques to the affine setting. The applications to products and flat Riemannian metrics follow formally once the isomorphism is available.

major comments (1)

Abstract: the claim that the Künneth formula 'is proved' and that a Hodge-theoretic proof is 'also given' is asserted without any derivation steps, explicit use of the compactness hypothesis, or verification that the Dolbeault-Koszul cohomology satisfies the required algebraic properties (e.g., the Künneth isomorphism for the underlying chain complexes when one factor is compact). No section or equation supplies the argument, rendering the central claim unverifiable from the text.

minor comments (2)

Abstract, line 1: 'proove' should be 'prove'.
Abstract: the notation H^{p,q}(M) is introduced without a preceding definition of the Dolbeault-Koszul complex or its differential; a brief recall of the definition would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need to strengthen the presentation of our main result. We will revise the manuscript to address the concerns raised.

read point-by-point responses

Referee: [—] Abstract: the claim that the Künneth formula 'is proved' and that a Hodge-theoretic proof is 'also given' is asserted without any derivation steps, explicit use of the compactness hypothesis, or verification that the Dolbeault-Koszul cohomology satisfies the required algebraic properties (e.g., the Künneth isomorphism for the underlying chain complexes when one factor is compact). No section or equation supplies the argument, rendering the central claim unverifiable from the text.

Authors: We agree that the abstract is too terse and does not outline the proof strategy, the explicit role of the compactness hypothesis, or the verification of the algebraic Künneth property for the underlying cochain complexes. The full argument appears in Section 2, where we first recall the definition of Dolbeault-Koszul cohomology, then verify that the cochain complexes satisfy the hypotheses of the algebraic Künneth theorem when at least one factor is compact (using finite-dimensionality of the cohomology groups and a spectral-sequence argument that collapses under this hypothesis; see Proposition 2.4 and Theorem 2.6), and finally deduce the stated isomorphism. The separate Hodge-theoretic proof for the fully compact case is given in Section 3, following the classical pattern via harmonic representatives. We will revise the abstract to include a one-sentence outline of these steps, to state the compactness hypothesis explicitly, and to add cross-references to the relevant sections and equations. We will also expand the introduction with a short proof sketch so that the central claim becomes directly verifiable from the text. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper directly proves the Künneth isomorphism for Dolbeault-Koszul cohomology H^{p,q} on flat affine manifolds (with compactness hypothesis on at least one factor) via algebraic properties of the cohomology and a separate Hodge-theoretic argument modeled on the classical Dolbeault case. The subsequent applications to Hessian metrics on products follow formally once the isomorphism is established. No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations appear; the central claim rests on standard cohomology techniques rather than circular re-use of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on background properties of Dolbeault-Koszul cohomology and Hodge theory on compact flat affine manifolds; these are treated as standard domain assumptions rather than new postulates.

axioms (1)

domain assumption Dolbeault-Koszul cohomology on flat affine manifolds is well-defined and satisfies the algebraic conditions for a Künneth isomorphism when at least one manifold is compact
Invoked throughout the statement of the main theorem and the Hodge-theoretic proof for compact cases.

pith-pipeline@v0.9.0 · 5457 in / 1246 out tokens · 65138 ms · 2026-05-12T04:23:22.951158+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages

[1]

Vanishing theorems of L2-cohomology groups on Hessian manifolds

Akagawa, Shinya. "Vanishing theorems of L2-cohomology groups on Hessian manifolds." Journal of the Mathematical Society of Japan 71.1 (2019): 65-89

work page 2019
[2]

The real Monge-Ampere equation and affine flat structures

Cheng, Shiu Yuen, and Shing-Tung Yau. "The real Monge-Ampere equation and affine flat structures." Proceedings of the 1980 Beijing Symposium on Differential Geometry and Differential Equations. Vol. 1. No. 2. Beijing: Science Press, 1982

work page 1980
[3]

Complex analytic and differential geometry

Demailly, Jean-Pierre. Complex analytic and differential geometry. Grenoble: Université de Grenoble I, 1997

work page 1997
[4]

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

Gnandi, Emmanuel. "The topology of 3-dimensional Hessian manifolds." arXiv preprint arXiv:2510.21050 (2025)

work page arXiv 2025
[5]

Principles of algebraic geometry

Griffiths, Phillip, and Joseph Harris. Principles of algebraic geometry. John Wiley & Sons, 2014

work page 2014
[6]

Monge-Ampere equations on compact Hessian manifolds

Guedj, Vincent, and Tat Dat Tô. "Monge-Ampere equations on compact Hessian manifolds." arXiv preprint arXiv:2106.14740 (2021)

work page arXiv 2021
[7]

An Optimal Transport Approach to Monge–Ampère Equations on Compact Hessian Manifolds

Hultgren, Jakob, and Magnus Önnheim. "An Optimal Transport Approach to Monge–Ampère Equations on Compact Hessian Manifolds." The Journal of Geometric Analysis, vol. 29, 2019, pp. 1953–1990

work page 2019
[8]

Déformations de connexions localement plates

Koszul, Jean-Louis. "Déformations de connexions localement plates." Annales de l'institut Fourier. Vol. 18. No. 1. 1968

work page 1968
[9]

On Topology of Compact Hessian Manifolds

Liu, Hanwen. "On Topology of Compact Hessian Manifolds." arXiv preprint arXiv:2509.01176 (2025)

work page arXiv 2025
[10]

Hessian manifolds and convexity

Shima, Hirohiko. "Hessian manifolds and convexity." Manifolds and Lie Groups: Papers in Honor of Yozô Matsushima. Boston, MA: Birkhäuser Boston, 1981. 385-392

work page 1981
[11]

Vanishing theorems for compact Hessian manifolds

Shima, Hirohiko. "Vanishing theorems for compact Hessian manifolds." Annales de l'institut Fourier. Vol. 36. No. 3. 1986

work page 1986
[12]

The geometry of Hessian structures

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

work page 2007
[13]

Sur les automorphismes affines des ouverts convexes saillants

Vey, Jacques. "Sur les automorphismes affines des ouverts convexes saillants." Annali della Scuola Normale Superiore di Pisa-Scienze Fisiche e Matematiche 24.4 (1970): 641-665

work page 1970
[14]

Geometry of Hessian manifolds

Shima, Hirohiko, and Katsumi Yagi. "Geometry of Hessian manifolds." Differential geometry and its applications 7.3 (1997): 277-290

work page 1997
[15]

On Hessian structures on an affine manifold

Yagi, Katsumi. "On Hessian structures on an affine manifold." Manifolds and Lie Groups: Papers in Honor of Yozô Matsushima. Boston, MA: Birkhäuser Boston, 1981. 449-459

work page 1981