Curvature, Dolbeault-Dirac operators, and an $\mathrm{L}^p$-index theorem on compact K\"ahler manifolds

C\'edric Arhancet

arxiv: 2401.04203 · v6 · pith:VE3GSPRSnew · submitted 2024-01-08 · 🧮 math.FA · math.OA

Curvature, Dolbeault-Dirac operators, and an L^p-index theorem on compact K\"ahler manifolds

C\'edric Arhancet This is my paper

Pith reviewed 2026-05-24 04:49 UTC · model grok-4.3

classification 🧮 math.FA math.OA

keywords L^p index theoremDolbeault-Dirac operatorKähler manifoldBanach spectral tripleH^∞ functional calculusRicci curvature boundholomorphic Euler characteristicsemigroup intertwining

0 comments

The pith

The index of the L^p Dolbeault-Dirac operator on a compact Kähler manifold equals the holomorphic Euler characteristic χ(M,E) for every p in (1,∞).

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

The paper shows that the closed L^p realization of the Dolbeault-Dirac operator on forms with coefficients in a holomorphic vector bundle is bisectorial and possesses a bounded H^∞ functional calculus. From this it constructs an associated Fredholm operator whose index equals the holomorphic Euler characteristic, hence remains unchanged as p varies. The argument rests on an abstract curvature condition expressed as an intertwining relation for semigroups on reflexive Banach spaces, which also produces L^p Gaffney estimates and Hodge decompositions. A reader cares because the result supplies an index theorem that works uniformly outside the Hilbert-space setting while recovering the same topological number.

Core claim

For every p in (1,∞) the closed L^p-realization D_{E,p} of the Dolbeault-Dirac operator is bisectorial, admits a bounded H^∞ functional calculus, satisfies an L^p Gaffney estimate, yields an L^p Hodge decomposition, and generates an even compact Banach spectral triple over C(M). Its Fredholm index therefore equals the holomorphic Euler characteristic χ(M,E) and is independent of p. The proof proceeds from an abstract Ricci-curvature lower bound realized as a semigroup intertwining relation together with Riesz equivalences and bounded H^∞ calculi for the relevant generators.

What carries the argument

Abstract Ricci curvature lower bound realized as a semigroup-level intertwining relation on reflexive Banach spaces, which forces the Hodge-Dirac operator to be bisectorial with bounded H^∞ calculus.

If this is right

An L^p Gaffney-type estimate holds for the Dolbeault-Dirac operator.
L^p Hodge decompositions exist on the space of E-valued forms.
The operator defines an even compact Banach spectral triple over the continuous functions on M.
The same abstract curvature condition yields bisectoriality and H^∞ calculus for heat semigroups on Riemannian manifolds and for q-Ornstein-Uhlenbeck semigroups.
The index is independent of p and equals the holomorphic Euler characteristic for every admissible p.

Where Pith is reading between the lines

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

If the intertwining relation can be checked for other first-order operators, analogous L^p index theorems may extend to non-Kähler settings.
The p-independence indicates that the topological content captured by the index survives passage to a range of Banach-space geometries.
The framework supplies a uniform way to obtain functional calculus and spectral triples once a curvature bound is verified at the semigroup level.

Load-bearing premise

The abstract semigroup intertwining relation that encodes the Ricci curvature lower bound holds on the reflexive Banach space of forms.

What would settle it

Direct computation of the Fredholm index for some p ≠ 2 on an explicit Kähler manifold such as complex projective space, showing that the index differs from χ(M,E).

Figures

Figures reproduced from arXiv: 2401.04203 by C\'edric Arhancet.

**Figure 1.** Figure 1: the spectrum of a bisectorial operator D Let D be a unbounded linear operator on a Banach space X. By [HvNVW18, p. 447], the operator D is bisectorial if and only if (2.23) iR ∗ ⊂ ρ(D) and sup t∈R + ∗ ktR(it, D)kX→X < ∞. Moreover, D is R-bisectorial if and only if iR ∗ ⊂ ρ(D) and if the set {tR(it, D) : t ∈ R ∗ +} is R-bounded. Self-adjoint operators are bisectorial of type 0. If D is bisectorial of type σ… view at source ↗

read the original abstract

We develop an $\mathrm{L}^p$-Banach noncommutative-geometric framework for Dolbeault-Dirac operators on compact K\"ahler manifolds with coefficients in a Hermitian holomorphic vector bundle $E$. For every $p \in (1,\infty)$, we prove that the closed $\mathrm{L}^p$-realization $\mathcal{D}_{E,p}$ of the Dolbeault-Dirac operator is bisectorial and admits a bounded $\mathrm{H}^\infty$ functional calculus on $\mathrm{L}^p(\Omega^{0,\bullet}(M,E))$. We also show an $\mathrm{L}^p$-Gaffney-type estimate, obtain $\mathrm{L}^p$-Hodge decompositions, and prove that $\mathcal{D}_{E,p}$ gives rise to an even compact Banach spectral triple over the algebra $\mathrm{C}(M)$, graded by form parity. The index of the associated Fredholm operator is equal to the holomorphic Euler characteristic $\chi(M,E)$. In particular, it is independent of $p$. A central tool is an abstract notion of Ricci curvature lower bound for strongly continuous semigroups on $\mathrm{UMD}$ Banach spaces, formulated as a semigroup-level intertwining relation. Under this condition, together with natural Riesz equivalences and bounded $\mathrm{H}^\infty$ functional calculi for the relevant generators, the associated Hodge-Dirac operator is bisectorial and admits a bounded $\mathrm{H}^\infty$ functional calculus. The framework also applies to heat semigroups on Riemannian manifolds, $q$-Ornstein-Uhlenbeck semigroups and semigroups of Schur multipliers. This provides a unified Banach-space approach to curvature, functional calculus, Riesz transforms and index theory beyond the Hilbert space setting.

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 gives an abstract semigroup curvature bound that yields L^p bisectoriality, H^infty calculus, and an index theorem for Dolbeault-Dirac operators equaling the holomorphic Euler characteristic independent of p.

read the letter

The paper's central contribution is an abstract lower Ricci bound for strongly continuous semigroups on reflexive Banach spaces, written as an intertwining relation, which under additional Riesz and H^infty assumptions produces bisectorial Hodge-Dirac operators with bounded functional calculus. This is applied to Dolbeault-Dirac operators on compact Kähler manifolds to get L^p realizations that form even compact Banach spectral triples over C(M), with the resulting Fredholm index equal to χ(M,E) for every p in (1,∞). The same framework is shown to cover heat semigroups on Riemannian manifolds, q-Ornstein-Uhlenbeck semigroups, and Schur multiplier semigroups, which gives it some breadth. The L^p-Gaffney estimates and Hodge decompositions are obtained along the way. The approach is a direct extension of classical Hilbert-space results into the Banach setting without reducing to prior theorems. The main limitation is that the abstract curvature condition still requires case-by-case verification of the intertwining relation and the auxiliary Riesz and calculus properties; while the Kähler case is handled, the condition may turn out to be as technical as the original analytic questions in other settings. The constants in the estimates are not discussed in detail, which could affect quantitative applications. This is aimed at people already working on Banach spectral triples, L^p index theory, or semigroup functional calculus on manifolds. A specialist in noncommutative geometry or geometric operator theory would find the unified treatment and the p-independence result worth examining. The paper deserves a serious referee to check the semigroup curvature construction and the spectral triple details.

Referee Report

0 major / 2 minor

Summary. The manuscript establishes an L^p-index theorem for Dolbeault-Dirac operators on compact Kähler manifolds with coefficients in a Hermitian holomorphic vector bundle E. For p ∈ (1,∞), the closed L^p-realization D_{E,p} of the Dolbeault-Dirac operator is shown to be bisectorial with bounded H^∞ functional calculus on L^p(Ω^{0,•}(M,E)). The paper also proves L^p-Gaffney estimates, L^p-Hodge decompositions, and that D_{E,p} yields an even compact Banach spectral triple over C(M) graded by form parity. The index of the associated Fredholm operator equals the holomorphic Euler characteristic χ(M,E) and is thus independent of p. The central tool is an abstract Ricci curvature lower bound for strongly continuous semigroups on reflexive Banach spaces, expressed as a semigroup-level intertwining relation; under this condition plus Riesz equivalences and bounded H^∞ calculi, the Hodge-Dirac operator is bisectorial with bounded H^∞ calculus. The framework is applied to the Kähler case and illustrated on heat semigroups, q-Ornstein-Uhlenbeck semigroups, and Schur multiplier semigroups.

Significance. If the abstract curvature condition and the resulting bisectoriality/H^∞ calculus claims hold in the Kähler setting, the work supplies a unified Banach-space route to curvature, functional calculus, and index theory that extends classical Hilbert-space results to L^p spaces. The p-independence of the index and the compact Banach spectral triple construction are notable, as is the explicit transfer of the framework to several other semigroup examples. Machine-checked proofs are not present, but the derivation is presented as parameter-free once the intertwining relation is verified.

minor comments (2)

[Introduction / §2] The abstract and introduction state that the intertwining relation implies bisectoriality and bounded H^∞ calculus, but a short dedicated paragraph in §2 or §3 summarizing the precise hypotheses (Riesz equivalences, sectoriality angles, etc.) would help readers track the logical flow without consulting the general theory papers cited.
Notation for the Dolbeault-Dirac operator and its L^p realizations is introduced in the abstract and early sections; a single consolidated table or displayed list of the main operators (D_E, D_{E,p}, etc.) and their domains would improve clarity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper introduces an abstract semigroup-level Ricci curvature lower bound as a new tool, then applies it (with Riesz equivalences and H^∞ calculus) to prove bisectoriality, functional calculus, and an L^p index for the Dolbeault-Dirac operator that equals the independently defined holomorphic Euler characteristic χ(M,E). No quoted step equates a claimed prediction or index result to a fitted parameter, self-citation, or input by construction; the equality to χ(M,E) is presented as a consequence of the constructed Banach spectral triple rather than a renaming or tautology. The framework is applied to multiple examples without reducing the central index claim to prior self-referential assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

Based on abstract only; the paper introduces one new abstract concept (Ricci curvature bound for semigroups) and relies on standard domain assumptions about the manifold and bundle.

axioms (2)

domain assumption M is a compact Kähler manifold
Setting stated in the abstract for the Dolbeault-Dirac operators.
domain assumption E is a Hermitian holomorphic vector bundle
Coefficients in such a bundle as stated in the abstract.

invented entities (1)

Abstract Ricci curvature lower bound for strongly continuous semigroups no independent evidence
purpose: To obtain bisectoriality and bounded H^infty calculus for Hodge-Dirac operators on reflexive Banach spaces
New notion formulated as an intertwining relation; independent_evidence is false because no external falsifiable prediction is given in the abstract.

pith-pipeline@v0.9.0 · 5856 in / 1452 out tokens · 35732 ms · 2026-05-24T04:49:24.475956+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

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

The $\mathrm{L}^p$-index of the Hodge-Dirac operator on compact Riemannian manifolds
math.FA 2025-12 unverdicted novelty 7.0

L^p-indices of the Hodge-Dirac operator on compact Riemannian manifolds recover the Euler characteristic and Hirzebruch signature and are independent of p.