The curvature of convex sum of metrics and applications

Giovane Galindo; Leonardo F. Cavenaghi; Llohann D. Speran\c{c}a

arxiv: 2106.14781 · v2 · pith:K2UE7DWYnew · submitted 2021-06-28 · 🧮 math.DG

The curvature of convex sum of metrics and applications

Leonardo F. Cavenaghi , Giovane Galindo , Llohann D. Speran\c{c}a This is my paper

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

classification 🧮 math.DG

keywords convex sum of metricsRiemann curvature variationflat torustotally geodesic immersionconformal deformationCheeger deformationhigher-order variationaverage curvature

0 comments

The pith

Convex combinations of Riemannian metrics admit explicit curvature formulas, with necessary and sufficient conditions for positive higher-order average variations of R(X,Y,Y,X) along immersed totally geodesic flat tori.

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

The paper derives explicit formulas for the curvature tensor under the convex combination g_t = (1-t)g_0 + t g_1 of two Riemannian metrics. It investigates whether this path can raise the average of the Riemann curvature component R_t(X,Y,Y,X) along an immersed totally geodesic flat torus. A first-order increase is impossible, so the work isolates the conditions under which the averaged quantity becomes positive at order r at least 2. These conditions are then checked on paths that connect a given metric to its conformal changes, vertical warpings, and Cheeger deformations.

Core claim

We obtain necessary and sufficient conditions for g_t to have a positive average variation of order r ≥ 2 of the quantity R_t(X,Y,Y,X) along an immersed totally geodesic flat torus, after first establishing explicit expressions for all curvature components of the convex sum.

What carries the argument

The one-parameter convex sum path g_t = (1-t)g_0 + t g_1 together with the Taylor expansion (in t) of the averaged curvature component, restricted to orders r ≥ 2.

If this is right

The curvature formulas allow direct evaluation of all Riemann components along any straight-line path in the space of metrics.
For conformal deformations the higher-order conditions reduce to explicit inequalities on the conformal factor and its derivatives.
The same reduction yields testable inequalities for vertical warpings and for Cheeger deformations.
Some classical deformations satisfy the conditions for positive higher-order increase while others violate them.
The method applies uniformly to any pair of metrics whose difference satisfies the necessary algebraic relations at the chosen order.

Where Pith is reading between the lines

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

The same expansion technique could be applied to other curvature invariants such as scalar or Ricci curvature averages.
The conditions supply a criterion for deciding which linear paths in the metric space locally increase sectional curvature on flat tori.
One could test whether the derived inequalities remain sufficient when the torus is replaced by other totally geodesic flat submanifolds of higher dimension.

Load-bearing premise

The first-order variation of the average is always non-positive, forcing any possible increase to appear only at second or higher order.

What would settle it

An explicit computation, on a concrete manifold containing an immersed flat torus, of the second-order coefficient in the expansion of the averaged R_t(X,Y,Y,X) for a chosen pair g_0, g_1 that satisfies the derived algebraic conditions.

read the original abstract

In this note, we derive explicit formulae for the curvature of a convex sum of Riemannian metrics, \(g_t = (1-t)g_0 + t g_1\). We study whether such a deformation can increase the \emph{average} of the Riemann curvature component \(R_t(X,Y,Y,X)\) along an immersed, totally geodesic flat torus. Because a first-order increase is prohibited, we obtain necessary and sufficient conditions for \(g_t\) to have a positive average variation of order \(r \geq 2\). These conditions are applied to paths joining \(g_0\) to classical metric deformations, including conformal changes, vertical warpings, and Cheeger deformations.

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 explicit curvature formulas for linear metric combinations and algebraic conditions for higher-order positivity of averaged Riemann components along flat tori.

read the letter

The core contribution here is a set of explicit formulas for the curvature tensor of g_t = (1-t)g_0 + t g_1 together with necessary and sufficient conditions for the averaged quantity R_t(X,Y,Y,X) to increase at order r ≥ 2 along an immersed totally geodesic flat torus. The authors correctly note that first-order increase is ruled out, so the work shifts attention to the higher-order algebraic criteria and then checks them on standard deformations (conformal, vertical warping, Cheeger). That supplies a usable test inside the setting of flat tori, which is honest incremental progress in Riemannian geometry even if it does not settle larger existence questions. The derivations appear to rest on the standard curvature expression for a linear combination plus known facts about totally geodesic tori, with no circularity or invented parameters visible. The applications to classical deformations are straightforward once the formulas are in hand. The main limitation is that the first-order prohibition is invoked rather than re-derived in detail, so a referee would want to see the precise expansion steps to confirm the coefficients match. The paper is aimed at specialists working on curvature variation under metric paths; a reader already comfortable with the curvature tensor and flat tori will get concrete algebraic tests they can apply. It is coherent on its own terms and deserves a serious referee rather than a desk reject.

Referee Report

2 major / 2 minor

Summary. The manuscript derives explicit formulae for the curvature tensor of the convex combination g_t = (1-t)g_0 + t g_1 of two Riemannian metrics. It establishes that first-order variation of the averaged Riemann component R_t(X,Y,Y,X) along an immersed totally geodesic flat torus cannot be positive, and supplies necessary and sufficient conditions for the average to exhibit positive variation of order r ≥ 2. These conditions are then applied to paths joining g_0 to conformal deformations, vertical warpings, and Cheeger deformations.

Significance. If the explicit curvature formulae and the higher-order conditions are verified, the work supplies a concrete algebraic criterion for detecting when linear metric interpolations can produce curvature increases on flat tori at orders two and higher. The explicit formulae themselves constitute a reusable computational tool, and the applications to standard deformations demonstrate immediate utility in geometric analysis.

major comments (2)

[Abstract (paragraph beginning 'Because a first-order increase is prohibited') and the section containing the curvature-t] The central claim that first-order increase of the averaged R_t(X,Y,Y,X) is prohibited is load-bearing for the decision to restrict attention to r ≥ 2. The explicit curvature formula for g_t must be used to derive this non-positivity directly; the manuscript should display the averaged first-order term and confirm it is ≤ 0 for arbitrary g_0, g_1 and any immersed totally geodesic flat torus.
[Section deriving the higher-order conditions] The necessary and sufficient conditions for positive r-th order variation (r ≥ 2) are stated in terms of the curvature expressions; these conditions should be checked against the explicit formula for the r-th derivative of R_t to ensure they are not tautological or reduced by construction.

minor comments (2)

Notation for the averaged quantity and the orders r should be introduced once and used consistently; the distinction between pointwise R_t and its average along the torus should be made explicit in every statement of the conditions.
The applications to conformal changes, warpings, and Cheeger deformations would benefit from a short table summarizing which of the higher-order conditions are satisfied or violated in each case.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful review and valuable suggestions. We address the major comments below and will revise the manuscript accordingly.

read point-by-point responses

Referee: [Abstract (paragraph beginning 'Because a first-order increase is prohibited') and the section containing the curvature-t] The central claim that first-order increase of the averaged R_t(X,Y,Y,X) is prohibited is load-bearing for the decision to restrict attention to r ≥ 2. The explicit curvature formula for g_t must be used to derive this non-positivity directly; the manuscript should display the averaged first-order term and confirm it is ≤ 0 for arbitrary g_0, g_1 and any immersed totally geodesic flat torus.

Authors: We agree that an explicit display of the first-order term would clarify the argument. The curvature formula is derived in the section on the curvature of convex sums. In the revised manuscript, we will add a dedicated computation showing the averaged first-order variation of R_t(X,Y,Y,X) and prove that it is non-positive using the explicit formula, the flatness of the torus, and the fact that the torus is totally geodesic. This confirms the prohibition for arbitrary g_0 and g_1. revision: yes
Referee: [Section deriving the higher-order conditions] The necessary and sufficient conditions for positive r-th order variation (r ≥ 2) are stated in terms of the curvature expressions; these conditions should be checked against the explicit formula for the r-th derivative of R_t to ensure they are not tautological or reduced by construction.

Authors: The necessary and sufficient conditions are derived by applying the explicit curvature formula and differentiating it r times. To address the concern directly, the revised version will include an explicit expression for the r-th derivative of the averaged R_t and verify that the stated conditions are equivalent to this derivative being positive, ensuring the conditions are substantive rather than tautological. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation begins from the standard formula for the Riemann curvature tensor applied to the linear combination g_t = (1-t)g_0 + t g_1 and proceeds by direct (if tedious) differentiation to obtain the variation of the averaged R_t(X,Y,Y,X) component along the torus. The statement that first-order increase is prohibited is presented as following from this computation together with the geometry of totally geodesic flat tori; no quantity is defined in terms of itself, no parameter is fitted to a subset and then relabeled a prediction, and no load-bearing step reduces to a self-citation whose content is itself unverified. The necessary-and-sufficient conditions for r ≥ 2 are therefore obtained from independent algebraic and geometric input rather than by construction from the target statement.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the standard axioms of Riemannian geometry (Levi-Civita connection, curvature tensor symmetries) and the geometric assumption that the torus is immersed, totally geodesic and flat. No free parameters or invented entities are introduced.

axioms (2)

standard math The curvature tensor of a convex combination of metrics satisfies the standard algebraic identities of the Riemann tensor.
Invoked implicitly when writing explicit formulae for R_t.
domain assumption An immersed totally geodesic flat torus has vanishing intrinsic curvature and the second fundamental form is zero.
Used to reduce the average of R_t(X,Y,Y,X) to an extrinsic quantity.

pith-pipeline@v0.9.0 · 5646 in / 1476 out tokens · 20622 ms · 2026-05-24T13:31:50.702893+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/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

We obtain necessary and sufficient conditions for g_t to have a positive average variation of order r ≥ 2 of the quantity R_t(X,Y,Y,X) along an immersed totally geodesic flat torus.
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

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

Rt(X, Y, Y, X) = (1 − t)R0(X, Y, Y, X) + tR1(X, Y, Y, X) + t(1 − t)g1((1 − t(1 − P ))− 1 DX X, DY Y) − ...

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.