The spectral Einstein functional for the nonminimal de Rham-Hodge operator

Hongfeng Li; Yong Wang

REVIEW 3 major objections 5 minor 21 references

The spectral Einstein functional for the nonminimal de Rham-Hodge operator

T0 review · 3 major / 5 minor · reviewed 2026-08-08 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The spectral Einstein functional for the nonminimal de Rham-Hodge operator is computed: the Wodzicki residue with Clifford insertions yields the Einstein tensor.

desk verdict New computation of the spectral Einstein functional for a0d+b0δ follows a known template, but a load-bearing Clifford trace identity is false as stated, so the main theorem is not yet established. read the letter →

arxiv 2502.06224 v1 pith:AZHPRSLR submitted 2025-02-10 math.DG

Hongfeng Li , Yong Wang This is my paper · ORCID

classification math.DG MSC 58J4058J42

keywords nonminimaldeRham-Hodgeoperatornon-self-adjointspectraltripleEinsteinfunctionalmetricWodzickiresiduenoncommutativeCliffordalgebratensor

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper establishes that the spectral Einstein functional, a noncommutative-geometric trace designed to extract gravitational information from an operator, remains meaningful when the operator is non-self-adjoint. For the nonminimal de Rham-Hodge operator $\tilde D=a_0d+b_0\delta$ on an even-dimensional compact Riemannian manifold without boundary, the Wodzicki residue of $\tilde D^{-2m}$ with Clifford insertions reproduces the metric tensor, and the symmetrized residue with one additional power of $\tilde D$ reproduces the Einstein tensor $\mathrm{Ric}(u,v)-\tfrac12 s\,g(u,v)$. The only dependence on the two parameters is through the product $a_0b_0$, so the result covers the usual Hodge-de Rham operator $d+\delta$ as a special case. A reader should care because it extends the residue-to-gravity correspondence from self-adjoint Dirac-type operators to a two-parameter family of non-self-adjoint operators, and it supplies examples of non-self-adjoint spectral triples.

What carries the argument

The argument is carried by the Wodzicki residue, the trace on pseudo-differential operators defined as the integral over the cosphere bundle of the order-$(-n)$ symbol: $\operatorname{Wres}(P)=\int_{S^*M}\operatorname{tr}\sigma_{-n}(P)(x,\xi)$. The operator under study is $\tilde D=a_0d+b_0\delta$, whose square satisfies $\tilde D^2=a_0b_0(d+\delta)^2$, reducing the computation to symbols of powers of a generalized Laplacian. The proof applies the pseudo-differential composition formula to the product $\tilde c(u)\tilde D\tilde c(v)\tilde D\tilde D_0^{-2m}$, evaluates all angular integrals through polynomial sphere integrals, and uses Clifford trace identities such as (3.8), (3.10), and (3.17) to isolate the Ricci and scalar-curvature terms that combine into the Einstein tensor.

What would settle it

Independently evaluate the left-hand side of identity (3.17) in dimension four with explicit Clifford matrices, or compute the full residue integral for a round 4-sphere by another method; a mismatch in the coefficient of $\mathrm{Ric}(u,v)$ or $s\,g(u,v)$ would refute Theorem 3.1.

Watch

Extended reading notes

Core claim

Let $M$ be a compact oriented Riemannian manifold of even dimension $n=2m$ without boundary, and let $\tilde D=a_0d+b_0\delta$ be the nonminimal de Rham-Hodge operator acting on forms, with Clifford insertion $\tilde c(e_j)=a_0\epsilon(e_j^*)-b_0\iota(e_j)$. The paper proves the spectral metric functional $$M_{\tilde D}=\operatorname{Wres}\big(\tilde c(u)\tilde c(v)\tilde $D^{{-2m}}$\big)=-\frac{$2^{{2m}}$2\pi^m}{\Gamma(m)}\int_M (a_0b_0)^{-m+1}g(u,v)\,\mathrm{dVol}_M$$ and the spectral Einstein functional $$N_{\tilde D}=\operatorname{Wres}\big(\tilde c(u)(\tilde D\tilde c(v)+\tilde c(v)\tilde D)\tilde $D^{{-2m+1}}$\big)=-\frac{$2^{{2m}}$2\pi^m}{\Gamma(m)}\int_M \frac{(a_0b_0)^{-m+2}}{6}\big(\mathrm{Ric}(u,v)-\tfrac12 s\,g(u,v)\big)\,\mathrm{dVol}_M.$$ Thus the noncommutative residue of a power of $\tilde D^{-1}$ with Clifford factors reconstructs both the Riemannian volume element and the Einstein tensor, despite $\tilde D$ not being self-adjoint.

Load-bearing premise

The computation rests on Clifford trace identities stated without proof, most importantly equation (3.17); if that identity is incorrect, the coefficients of Ricci and scalar curvature in the final theorem change.

Editorial extensions

If this is right

On every even-dimensional closed Riemannian manifold, the residue functional $N_{\tilde D}$ is the Einstein tensor $\mathrm{Ric}(u,v)-\tfrac12 s\,g(u,v)$ up to a scalar, so the gravitational content of the operator is a single local curvature combination.
The formula depends on $a_0$ and $b_0$ only through the product $a_0b_0$, so the ratio of the two parameters does not affect the normalized spectral Einstein functional.
Because $\tilde D$ need not be self-adjoint, the theorem provides a working spectral Einstein functional for non-self-adjoint spectral triples, with the listed examples showing that such triples arise naturally.
Setting $a_0=b_0=1$ gives $\tilde D=d+\delta$ and recovers the Hodge-Dirac spectral Einstein functional as a special case.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Editorial extension: since only the product $a_0b_0$ enters, one could vary the non-self-adjointness (for example by changing $a_0-b_0$ while fixing $a_0b_0$) and expect the same normalized geometric functional; testing this on a sphere would isolate the effect of non-self-adjointness.
Editorial extension: the same symbol calculus could be applied to the concrete non-self-adjoint spectral triples listed in Section 4, such as the noncommutative torus and the double-sheet geometry, where the paper states the triples but does not compute their spectral Einstein functionals.
Editorial extension: the fastest way to probe the theorem is to verify the unproved Clifford trace identity (3.17) by direct matrix computation in low dimension, since any mismatch there changes the claimed coefficients of the Ricci and scalar curvature terms.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The paper computes the spectral Einstein functional (the noncommutative residue with Clifford insertions) for the nonminimal de Rham–Hodge operator D = a0 d + b0 δ on closed even-dimensional manifolds. That specific computation is new; the existing literature covers Dirac, Hodge–Dirac, Witten deformation, and boundary versions, but not this operator. The method is the standard Wodzicki-residue symbol calculus, and the paper is honest about borrowing Lemma 2.1 from [6] and the Weitzenböck formula from [22]. No parameters are fitted to the target formula, and the final expression for the residue does produce the Einstein tensor in the expected way. The reduction to the Hodge–Dirac case when a0 = b0 also looks right. That is a real, if incremental, contribution.

The problem is the proof of the main theorem. The derivation uses several Clifford trace identities stated without derivation, and one of them, Eq. (3.17), is false as written. That identity is used to kill the curvature term labeled (I-3-D). A direct check in dimension 4 (m=2) with a0 = b0 = 1, u = v = e1, i = j = 1, k = l = 2 gives, after restoring the implicit sum over f from (3.16), left side 32 and right side 0 because of the (m−2) factor. So the vanishing of that entire contribution is unsupported. The final coefficient of the Einstein tensor could still be right, and I would not bet against it, but the proof as written is not complete. The other trace identities in (3.8), (3.10), and (3.15) are asserted 'by calculation' and could also use a verification; they are less obviously wrong, but the pattern of unshown Clifford algebra suggests care is needed.

The abstract says the paper 'gives the definitions' of the non-self-adjoint spectral triple, but Section 4 only says 'similar to [6]' and lists examples. That is a minor mismatch, not a substantive flaw. The examples are fine.

Who this is for: people working on Kastler–Kalau–Walze type theorems and spectral actions for non-self-adjoint operators. They will want to know the formula and then fix or confirm the trace computation. I would send this to a serious referee: the question is legitimate and the error is the kind that can be repaired. But I would not cite the theorem in its current form.

Referee Report

3 major / 5 minor

Summary. The paper introduces a non-self-adjoint spectral triple framework and computes, by the standard Wodzicki-residue and symbol-expansion method, the spectral metric functional and the spectral Einstein functional for the nonminimal de Rham-Hodge operator \tilde D = a_0 d + b_0 \delta on an even-dimensional compact Riemannian manifold without boundary. The main result, Theorem 3.1, states that the metric functional is proportional to (a_0 b_0)^{-m+1}\int g(u,v) and that the Einstein functional is proportional to (a_0 b_0)^{-m+2}\int (\mathrm{Ric}(u,v) - \frac12 s g(u,v)). Section 4 lists examples of non-self-adjoint spectral triples.

Significance. If correct, the result would extend the spectral Einstein functional to non-self-adjoint operators and would recover the Einstein tensor from the residue of \tilde D^{-2m+1}, matching the known Hodge-Dirac case when a_0=b_0. The paper is clearly organized and follows a standard residue calculus; the reduction to the known special case is a useful sanity check. However, the central computation relies on several unproved Clifford trace identities, and concrete counterexamples show that at least three of these are wrong as written. Because these identities determine the final coefficients and the a_0,b_0 dependence of Theorem 3.1, the main theorem is not established by the present proof.

major comments (3)

[§3, Eq. (3.12)] The equality (3.12) does not follow from (3.9) and (3.11). The coefficients in those two equations add to a_0 b_0 [(a_0+b_0)^2 + (a_0-b_0)^2]/4 = a_0 b_0 (a_0^2+b_0^2)/2, not a_0^2 b_0^2. The displayed identity (3.12) is therefore correct only when a_0=b_0. Since (3.12) fixes the a_0,b_0-dependence of the (I-1) contribution to N_1, the coefficient in Theorem 3.1 is not established for the nonminimal case.
[§3, Eq. (3.17)] Equation (3.17) is false. For m=2, a_0=b_0=1, u=v=e_1, i=j=1, k=l=2, the left-hand side (with the summation over f restored from (3.16)) equals \sum_f \mathrm{tr}[c_1 c_f c_1 c_f \, \hat c_1^2 c_2^2] = -\sum_f \mathrm{tr}[c_1 c_f c_1 c_f] = 2 \, \mathrm{tr}[\mathrm{id}], while the right-hand side contains the factor (m-2) and vanishes. Because (3.17) is the only argument used to discard the curvature term (I-3-D), the proof that this term vanishes is invalid.
[§3, Eq. (3.8)] Equation (3.8) is also false. Taking m=2, a_0=b_0=1, u=v=e_1 and using \mathrm{tr}[c_a c_b c_c c_d] = 16(\delta_{ab}\delta_{cd} - \delta_{ac}\delta_{bd} + \delta_{ad}\delta_{bc}), the left-hand side equals \sum_{j,p,s,t} \mathrm{tr}[c_1 c_j c_1 c_p c_s c_t] = 3 \cdot 16 \cdot (4-4+4) = 192 = 12\,\mathrm{tr}[\mathrm{id}], whereas the right-hand side of (3.8) evaluates to 8\,\mathrm{tr}[\mathrm{id}]. This is not a minor typo: it changes the coefficient of \frac14 s g(u,v) - \frac12 \mathrm{Ric}(u,v) in (3.9), and a similar concern applies to (3.10).

minor comments (5)

[§3, Eq. (3.16)] After the integration over the unit sphere, the summation over the repeated index f is missing; the displayed expression has a free index f, which makes the subsequent substitution of (3.17) ambiguous.
[§3, Eq. (3.25)] The right-hand side of (3.25) contains an extra \|\xi\|^{-2m-2} factor before \xi_a\xi_b in both displayed terms; this appears to be a typo.
[References] References [10] and [21] are both assigned to arXiv:2412.08028; at least one of these identifiers must be incorrect.
[Section 4] Property 4.1 and Examples 4.2–4.5 are stated informally; the axioms of a non-self-adjoint spectral triple and the verification of θ-summability are not given, so these examples do not yet form a rigorous framework.
[General] Several trace evaluations in Section 3 are asserted as 'by calculation' or 'by computations'. Given that some of these identities are false, the paper would need a complete derivation of every remaining trace identity, preferably in an appendix.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the spectral Einstein functional is derived from the residue definition via externally sourced symbol expansions and Weitzenböck-type formulas, not from the target formula.

full rationale

The paper's derivation chain is a standard direct computation: it defines the nonminimal de Rham-Hodge operator with fixed coefficients a0, b0, imports the generalized-Laplacian symbol expansions from the independent reference [6] and the Weitzenböck formula from [22], and then applies the pseudodifferential composition formula and Clifford trace identities to compute the Wodzicki residue. The final Einstein-tensor expression is not used as an input anywhere; it emerges from the residue computation. The constants a0 and b0 are operator coefficients, not parameters fitted to the claimed result. Self-citations to [18] and [20] supply definitions and prior context for the nonminimal operator, but the central theorem is not justified by those citations alone. The unproven Clifford trace identity (3.17) is a potential correctness concern, but if it is wrong that is an error rather than circularity: the identity is not equivalent to the theorem statement, and it is not a renamed input. No prediction is a fitted value, and no load-bearing argument reduces to a self-citation. Hence the paper exhibits no significant circularity.

Assumptions & free parameters 1 free parameters · 5 assumptions · 0 invented entities

The central claim rests on the standard Wodzicki-residue framework, a cited symbol expansion for the generalized Laplacian, the Weitzenböck formula, and the structural assumptions of a non-self-adjoint spectral triple. No new entities are introduced. The only free parameters are the operator coefficients a0 and b0, which are not fitted to data.

free parameters (1)

a0 and b0 (operator coefficients)
Constants in \tilde D = a0 d + b0 δ; the residue formulas scale with (a0 b0)^{-m+1} and (a0 b0)^{-m+2}, and the computation requires a0 b0 ≠ 0. They are not fitted to any data; they are inputs.

assumptions (5)

domain assumption Wodzicki (noncommutative) residue is a trace on classical pseudo-differential operators, and the noncommutative integral is defined as Wres(P D^{-n}) for even n.
Used in Eq. (3.1) to define the spectral functionals; this is the standard framework from [14], [9], [5].
standard math Symbol expansion of Δ^{-m}_{T,E} given in Lemma 2.1 of [6].
Adopted verbatim as Lemma 2.1 and used to derive the symbols of \tilde D_0^{-2m} in Lemma 2.2; the final formula inherits this expansion.
standard math Weitzenböck formula (d+δ)^2 = -Δ + (1/8)∑ R_{ijkl} \hat c(e_i)\hat c(e_j)c(e_k)c(e_l) + (1/4)s from [22].
Used in Eq. (2.6) to identify the endomorphism E in the Bochner form of \tilde D_0^2.
domain assumption For a non-self-adjoint spectral triple, there exists a generalized algebra of pseudo-differential operators containing A and D, and a tracial state W vanishing on T D^{-k} for k > 2m.
Section 4, first paragraph; this assumption guarantees the residue functionals are finite and well-defined.
domain assumption Normal coordinate simplifications: connection forms ω_{s,t}(e_p) and coordinates x vanish at x0, with ∂_l ω_{a,s,t}(x0) = (1/2) R_{l a t s}(x0).
Used throughout Section 3 to evaluate symbol products at the base point x0; standard in Riemannian geometry.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The spectral Einstein functional for the nonminimal de Rham-Hodge operator." pith.science (2026). https://pith.science/paper/AZHPRSLR

@misc{pith2026250206224,
  author       = {Pith},
  title        = {Pith review of: The spectral Einstein functional for the nonminimal de Rham-Hodge operator},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/AZHPRSLR}},
  note         = {Machine review of arXiv:2502.06224}
}

read the original abstract

In this paper, we give the definitions of the non-self-adjoint spectral triple and its spectral Einstein functional. We compute the spectral Einstein functional associated with the nonminimal de Rham-Hodge operator on even-dimensional compact manifolds without boundary. Finally, several examples of the non-self-adjoint spectral triple are listed.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

21 extracted references · 20 canonical work pages

[6]

Spectral metric and Ein stein functionals

Dabrowski L, Sitarz A, Zalecki P. Spectral metric and Ein stein functionals. Adv. Math., 2023, 427: 109128

work page 2023
[22]

The Index Theorem and The Heat Equation Method

Yu Y. The Index Theorem and The Heat Equation Method. Nan kai Tracts in Mathematics-Vol.2, W orld Scientiﬁc Pub- lishing, 2001. 17

work page 2001
[1]

Spectral interaction between univ erses

Bochniak A, Sitarz A. Spectral interaction between univ erses. J. Cosmol. Astropart. P., 2022, 4: 055

work page 2022
[2]

Quantized calculus and applications

Connes A. Quantized calculus and applications. 11th Int ernational Congress of Mathematical Physics, Paris, 1995, 15-36

work page 1995
[3]

The action functinal in noncommutative geomet ry

Connes A. The action functinal in noncommutative geomet ry. Comm. Math. Phys., 1988, 117: 673-683

work page 1988
[4]

Inner ﬂuctuations of the spectr al action

Connes A, Chamseddine A. Inner ﬂuctuations of the spectr al action. J. Geom. Phys., 2007, 57(1): 1-21

work page 2007
[5]

Noncommutative Geometry

Connes A. Noncommutative Geometry. Academic Press, San Diego, 1994

work page 1994
[7]

Spectral metric and Ein stein functionals for the Hodge-Dirac operator

Dabrowski L, Sitarz A, Zalecki P. Spectral metric and Ein stein functionals for the Hodge-Dirac operator. J. Noncomm ut. Geom., (Online ﬁrst) DOI 10.4171/JNCG/573(2024)

work page doi:10.4171/jncg/573(2024 2024

Show all 21 references

[8]

The noncommu tative residue for manifolds with boundary

Fedosov B V, Golse F, Leichtnam E, Schrohe E. The noncommu tative residue for manifolds with boundary. J. Funct. Anal., 1996, 142: 1-31

1996
[9]

A no nperturbative form of the spectral action principle in nonc om- mutative geometry

Figueroa H, Gracia-Bond ´ ıa J M, Lizzi F, V´ arilly J C. A no nperturbative form of the spectral action principle in nonc om- mutative geometry. J. Geom. Phys., 1998, 26(3-4): 329-339

1998
[11]

The Dirac operator and gravitation

Kastler D. The Dirac operator and gravitation. Commun. Math. Phys., 1995, 166: 633-643

1995
[12]

Gravity, noncommutative geometry and the W odzicki residue

Kalau W, W alze M. Gravity, noncommutative geometry and the W odzicki residue. J. Geom. Phys., 1995, 16: 327-344

1995
[13]

Chiral asymmetry and the spectral a ction

Pf¨ aﬄe F, Stephan C. Chiral asymmetry and the spectral a ction. Commun. Math. Phys., 2013, 321: 283-310

2013
[14]

Noncommutative residue I: Fundamentals, in K- theory, Arithmetic and Geometry, Yu

W alze M. Noncommutative residue I: Fundamentals, in K- theory, Arithmetic and Geometry, Yu. I. Manin, ed., Lecture Notes in Mathematics Vol. 1289 (Springer, Berlin, 1987)

1987
[15]

Diﬀerential forms and the W odzicki residue for m anifolds with boundary

W ang Y. Diﬀerential forms and the W odzicki residue for m anifolds with boundary. J. Geom. Phys., 2006, 56: 731-753

2006
[16]

Gravity and the noncommutative residue for mani folds with boundary

W ang Y. Gravity and the noncommutative residue for mani folds with boundary. Lett. Math. Phys., 2007, 80: 37-56

2007
[17]

Lower-dimensional volumes and Kastler-Kalau- W alze type theorem for manifolds with boundary

W ang Y. Lower-dimensional volumes and Kastler-Kalau- W alze type theorem for manifolds with boundary. Commun. Theor. Phys., 2010, 54: 38-42

2010
[18]

Nonminimal de Rham-Hodge op erators and non-commutative residue

W ang J, W ang Y, Sun A, Chen S. Nonminimal de Rham-Hodge op erators and non-commutative residue. J. Pseudo-Diﬀer. Oper. Appl., 2018, 9: 365-389

2018
[19]

Dirac operators with torsion, spect ral Einstein functionals and the noncommutative residue

W ang J, W ang Y, W u T. Dirac operators with torsion, spect ral Einstein functionals and the noncommutative residue. J . Math. Phys., 2023, 64: 102505

2023
[20]

The Witten deformation of the non-minimal d e Rham-Hodge operator and noncommutative residue on manifolds with boundary

W u T, W ang Y. The Witten deformation of the non-minimal d e Rham-Hodge operator and noncommutative residue on manifolds with boundary. Mathematics., 2024, 12(22): 3530

2024
[21]

The spectral Einstein functional for the Wi tten deformation

W u T, W ang Y. The spectral Einstein functional for the Wi tten deformation. arXiv:2412.08028, 2025

2025 arXiv

Pith tools

Reviewed August 8, 2026 · model on record in the stance chip above.

[1] [6]

Spectral metric and Ein stein functionals

Dabrowski L, Sitarz A, Zalecki P. Spectral metric and Ein stein functionals. Adv. Math., 2023, 427: 109128

work page 2023

[2] [22]

The Index Theorem and The Heat Equation Method

Yu Y. The Index Theorem and The Heat Equation Method. Nan kai Tracts in Mathematics-Vol.2, W orld Scientiﬁc Pub- lishing, 2001. 17

work page 2001

[3] [1]

Spectral interaction between univ erses

Bochniak A, Sitarz A. Spectral interaction between univ erses. J. Cosmol. Astropart. P., 2022, 4: 055

work page 2022

[4] [2]

Quantized calculus and applications

Connes A. Quantized calculus and applications. 11th Int ernational Congress of Mathematical Physics, Paris, 1995, 15-36

work page 1995

[5] [3]

The action functinal in noncommutative geomet ry

Connes A. The action functinal in noncommutative geomet ry. Comm. Math. Phys., 1988, 117: 673-683

work page 1988

[6] [4]

Inner ﬂuctuations of the spectr al action

Connes A, Chamseddine A. Inner ﬂuctuations of the spectr al action. J. Geom. Phys., 2007, 57(1): 1-21

work page 2007

[7] [5]

Noncommutative Geometry

Connes A. Noncommutative Geometry. Academic Press, San Diego, 1994

work page 1994

[8] [7]

Spectral metric and Ein stein functionals for the Hodge-Dirac operator

Dabrowski L, Sitarz A, Zalecki P. Spectral metric and Ein stein functionals for the Hodge-Dirac operator. J. Noncomm ut. Geom., (Online ﬁrst) DOI 10.4171/JNCG/573(2024)

work page doi:10.4171/jncg/573(2024 2024