On normal forms of gradient Ricci 4-solitons

Amir Babak Aazami

arxiv: 2604.03894 · v3 · submitted 2026-04-04 · 🧮 math.DG

On normal forms of gradient Ricci 4-solitons

Amir Babak Aazami This is my paper

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

classification 🧮 math.DG MSC 53C2553C44

keywords gradient Ricci solitonsKoiso-Cao solitoncurvature operatorsnormal formsKähler geometryRicci flow

0 comments

The pith

The curvature operator of the Koiso-Cao soliton inherits the normal form established for general gradient Ricci 4-solitons.

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

The paper examines the algebraic structure of curvature operators on gradient Ricci solitons in four dimensions. It focuses on the combination of the curvature operator with an auxiliary term and shows that the Koiso-Cao soliton satisfies the same simplified normal form. This inheritance then produces an explicit normal form for the pure curvature operator relative to the space of algebraic Kähler curvature operators, using an earlier result of Johnson. A reader would care because these normal forms reduce the complexity of the curvature data for a well-known example of a Kähler Ricci soliton.

Core claim

We show that the curvature operator of the Koiso-Cao soliton inherits this normal form. By work of D. Johnson, this yields a normal form for the curvature operator of the Koiso-Cao soliton relative to the space of algebraic Kähler curvature operators.

What carries the argument

The normal form of the operator combining the curvature operator with one-half the auxiliary term, which the pure curvature operator of the Koiso-Cao soliton inherits directly.

Load-bearing premise

The Koiso-Cao soliton obeys the gradient Ricci soliton equations, so the normal form already proved for general gradient Ricci 4-solitons applies to it.

What would settle it

Explicit matrix computation of the curvature operator of the Koiso-Cao soliton on its underlying Kähler manifold, followed by direct comparison against the predicted normal-form matrix entries or eigenvalues.

read the original abstract

In this note we analyze the normal form of the operator $\hat{R} + \frac{1}{2}\hat{H}$ of a gradient Ricci 4-soliton in Cao & Tran. In particular, we show that the curvature operator $\hat{R}$ of the Koiso-Cao soliton inherits this normal form. By work of D. Johnson, this yields a normal form for the curvature operator of the Koiso-Cao soliton relative to the space of algebraic K\"ahler curvature operators.

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

This note shows the Koiso-Cao soliton inherits the normal form for R-hat + 1/2 H-hat from Cao-Tran, then applies Johnson's result for the algebraic Kähler version.

read the letter

The main thing here is that the Koiso-Cao soliton inherits the normal form of the curvature operator R-hat plus half H-hat that Cao and Tran already established for general gradient Ricci 4-solitons. Johnson's classification then supplies the normal form relative to algebraic Kähler curvature operators. That's the whole claim in a nutshell, and it follows directly once you accept the general case and the fact that the Koiso-Cao metric is a gradient soliton. The paper does a straightforward job of making this inheritance explicit for this specific example without adding new machinery or re-deriving the general result. It keeps the focus narrow and connects two existing pieces of work cleanly, which is useful for anyone who works with the Koiso-Cao soliton as a concrete case in 4D geometry. The logic looks solid on the surface because it rests on the soliton equation being satisfied, which is standard for this metric, and it avoids any obvious circularity or parameter fitting. The soft spots are that the novelty is limited to this direct specialization rather than a broader theorem or first-principles derivation. The abstract does not include the explicit steps, so the actual verification for this soliton is probably short and routine, but a reader would want to see those details to confirm nothing extra is required. No major gaps in the stated argument, though. This is for specialists already familiar with Cao-Tran and Johnson who want a quick reference on how the Koiso-Cao fits in. It deserves a serious referee as a short note because the claim is precise, the citations are appropriate, and the central inheritance step holds up if the general normal form is accepted.

Referee Report

0 major / 2 minor

Summary. The manuscript is a short note analyzing the normal form of the operator Ĥ + ½Ĥ for gradient Ricci 4-solitons, building directly on the general result of Cao & Tran. It claims that the curvature operator R̂ of the Koiso-Cao soliton inherits this normal form, and that Johnson's theorem on algebraic Kähler curvature operators then supplies the desired normal form relative to the space of algebraic Kähler curvature operators.

Significance. If the inheritance step holds, the note supplies a concrete, explicit normal form for the curvature operator of a well-known example (the Koiso-Cao soliton) within the algebraic Kähler setting. This is a modest but useful specialization of the general theory; it credits the prior works of Cao-Tran and Johnson explicitly and does not introduce new free parameters or ad-hoc axioms.

minor comments (2)

The abstract refers to 'Cao & Tran' without a full citation; the introduction or references section should give the precise bibliographic entry (e.g., the 2015 or 2016 paper on gradient Ricci solitons) so readers can locate the cited normal-form result immediately.
Notation for the operators R̂ and Ĥ is used from the first sentence; a brief sentence recalling their definitions (or a pointer to the relevant equations in Cao & Tran) would improve readability for readers who have not memorized the earlier paper.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive recommendation to accept the manuscript. The provided summary accurately reflects the scope and contribution of the note.

Circularity Check

0 steps flagged

No significant circularity; derivation is a direct specialization of prior independent results

full rationale

The paper's central step is to verify that the Koiso-Cao soliton inherits the normal form of the operator R-hat + 1/2 H-hat already established for general gradient Ricci 4-solitons in the cited Cao & Tran work, after which Johnson's independent result supplies the algebraic Kähler normal form. No equation or claim reduces by construction to a fitted parameter, self-definition, or self-citation chain within the present manuscript; the logic is a straightforward specialization assuming only that the Koiso-Cao metric satisfies the gradient soliton equation (a standard fact external to this note). The cited works are treated as external inputs with no load-bearing self-reference.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on background definitions and results from Cao & Tran and Johnson without introducing new free parameters, axioms beyond standard Riemannian geometry, or invented entities.

axioms (1)

standard math Standard properties of curvature operators and gradient Ricci solitons in Riemannian geometry
Invoked implicitly when referring to the normal form from Cao & Tran and the space of algebraic Kähler curvature operators.

pith-pipeline@v0.9.0 · 5368 in / 1188 out tokens · 48878 ms · 2026-05-13T16:42:03.457142+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

5 extracted references · 5 canonical work pages

[1]

On the curvature operator in dimensions 4n

[Aaz25] Amir Babak Aazami. “On the curvature operator in dimensions 4n”. In: arXiv:2512.19050(2025). [Ber61] Marcel Berger. “Sur quelques vari´ et´ es d’Einstein compactes”. In:Annali di Matematica Pura ed Applicata53.1 (1961), pp. 89–95. [Bes07] Arthur L. Besse.Einstein Manifolds. Springer,

work page arXiv 2025
[2]

Existence of gradient K¨ ahler-Ricci solitons

[Cao96] Huai-Dong Cao. “Existence of gradient K¨ ahler-Ricci solitons”. In:Elliptic and parabolic methods in geometry. AK Peters/CRC Press, 1996, pp. 1–16. [CT16] Xiaodong Cao and Hung Tran. “The Weyl tensor of gradient Ricci solitons”. In:Geometry & Topology20.1 (2016), pp. 389–436. [Der06] Andrzej Derdzinski. “A Myers-type theorem and compact Ricci soli...

work page 1996
[3]

Self-dual K¨ ahler manifolds and Einstein manifolds of dimension four

[Der83] Andrzej Derdzi´ nski. “Self-dual K¨ ahler manifolds and Einstein manifolds of dimension four”. In:Compositio Mathematica49.3 (1983), pp. 405–433. [FIK03] Mikhail Feldman, Tom Ilmanen, and Dan Knopf. “Rotationally symmetric shrinking and expanding gradient K¨ ahler-Ricci solitons”. In:Journal of Dif- ferential Geometry65.2 (2003), pp. 169–209. [Hit...

work page 1983
[4]

Invariant solutions of the Yamabe equation on the Koiso– Cao soliton

[Oro18] J. Torres Orozco. “Invariant solutions of the Yamabe equation on the Koiso– Cao soliton”. In:Differential Geometry and its Applications56 (2018), pp. 142–

work page 2018
[5]

The zeros of nonnegative curvature operators

[Tho71] John A. Thorpe. “The zeros of nonnegative curvature operators”. In:Journal of Differential Geometry5.1-2 (1971), pp. 113–125. [Zol79] Stanley M. Zoltek. “Nonnegative curvature operators: some nontrivial exam- ples”. In:Journal of Differential Geometry14.2 (1979), pp. 303–315. Clark University Worcester, MA 01610 Email address:aaazami@clarku.edu

work page 1971

[1] [1]

On the curvature operator in dimensions 4n

[Aaz25] Amir Babak Aazami. “On the curvature operator in dimensions 4n”. In: arXiv:2512.19050(2025). [Ber61] Marcel Berger. “Sur quelques vari´ et´ es d’Einstein compactes”. In:Annali di Matematica Pura ed Applicata53.1 (1961), pp. 89–95. [Bes07] Arthur L. Besse.Einstein Manifolds. Springer,

work page arXiv 2025

[2] [2]

Existence of gradient K¨ ahler-Ricci solitons

[Cao96] Huai-Dong Cao. “Existence of gradient K¨ ahler-Ricci solitons”. In:Elliptic and parabolic methods in geometry. AK Peters/CRC Press, 1996, pp. 1–16. [CT16] Xiaodong Cao and Hung Tran. “The Weyl tensor of gradient Ricci solitons”. In:Geometry & Topology20.1 (2016), pp. 389–436. [Der06] Andrzej Derdzinski. “A Myers-type theorem and compact Ricci soli...

work page 1996

[3] [3]

Self-dual K¨ ahler manifolds and Einstein manifolds of dimension four

[Der83] Andrzej Derdzi´ nski. “Self-dual K¨ ahler manifolds and Einstein manifolds of dimension four”. In:Compositio Mathematica49.3 (1983), pp. 405–433. [FIK03] Mikhail Feldman, Tom Ilmanen, and Dan Knopf. “Rotationally symmetric shrinking and expanding gradient K¨ ahler-Ricci solitons”. In:Journal of Dif- ferential Geometry65.2 (2003), pp. 169–209. [Hit...

work page 1983

[4] [4]

Invariant solutions of the Yamabe equation on the Koiso– Cao soliton

[Oro18] J. Torres Orozco. “Invariant solutions of the Yamabe equation on the Koiso– Cao soliton”. In:Differential Geometry and its Applications56 (2018), pp. 142–

work page 2018

[5] [5]

The zeros of nonnegative curvature operators

[Tho71] John A. Thorpe. “The zeros of nonnegative curvature operators”. In:Journal of Differential Geometry5.1-2 (1971), pp. 113–125. [Zol79] Stanley M. Zoltek. “Nonnegative curvature operators: some nontrivial exam- ples”. In:Journal of Differential Geometry14.2 (1979), pp. 303–315. Clark University Worcester, MA 01610 Email address:aaazami@clarku.edu

work page 1971