pith. sign in

arxiv: 2510.02372 · v2 · submitted 2025-09-29 · 🧮 math.DG

DDVV conjecture for Riemannian maps from quaternionic space forms

Kirti Gupta , Punam Gupta , R.K. Gangele This is my paper

Pith reviewed 2026-05-18 12:38 UTC · model grok-4.3

classification 🧮 math.DG
keywords DDVV inequalityRiemannian mapsquaternionic space formssecond fundamental formequality casescalar curvaturedifferential geometry
0
0 comments X

The pith

Riemannian maps from quaternionic space forms satisfy a DDVV-type inequality.

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

This paper establishes a DDVV-type inequality that bounds the curvature quantities of the domain in terms of the squared norm of the second fundamental form for Riemannian maps whose domain is a quaternionic space form. The result extends earlier DDVV inequalities from submanifolds and maps in space forms to this quaternionic setting and into arbitrary target Riemannian manifolds. A reader cares because the inequality supplies a concrete curvature bound that can be used to study rigidity or to classify maps satisfying additional geometric conditions. The authors also analyze the equality case and provide an application of the inequality.

Core claim

The paper derives a DDVV-type inequality for Riemannian maps from quaternionic space forms to Riemannian manifolds and discusses the equality case of the derived inequality with application.

What carries the argument

The DDVV-type inequality, which relates the scalar curvature of the domain, the norm of the second fundamental form of the map, and the constant quaternionic sectional curvature.

If this is right

  • Equality holds precisely when the map satisfies a specific algebraic condition on its second fundamental form relative to the quaternionic structure.
  • The inequality remains valid when the target manifold is replaced by an arbitrary Riemannian manifold.
  • The result yields immediate bounds on the mean curvature or scalar curvature for minimal Riemannian maps from quaternionic space forms.
  • Special cases recover known DDVV inequalities for immersions into space forms.

Where Pith is reading between the lines

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

  • The same technique may produce analogous inequalities when the domain is a complex space form or a general homogeneous space.
  • Equality cases could be used to classify totally umbilical or parallel Riemannian maps in quaternionic geometry.
  • The bound might be tested numerically on maps between low-dimensional quaternionic manifolds such as S^4 or HP^1.

Load-bearing premise

The domain is a manifold of constant quaternionic sectional curvature and the map is Riemannian with its second fundamental form satisfying the usual compatibility conditions with the quaternionic structure.

What would settle it

Compute the relevant curvature quantities for an explicit non-totally-geodesic Riemannian map from a quaternionic projective space or quaternionic hyperbolic space into a round sphere and check whether the inequality is violated.

read the original abstract

In this paper, we investigate the DDVV-type inequality for Riemannian maps from quaternionic space forms to Riemannian manifolds. We also discuss the equality case of the derived inequality with application.

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.

Referee Report

0 major / 2 minor

Summary. The manuscript derives a DDVV-type inequality for Riemannian maps from quaternionic space forms to Riemannian manifolds. It adapts the Gauss-Codazzi equations to Riemannian maps, incorporates the constant quaternionic sectional curvature of the domain, and imposes compatibility conditions between the second fundamental form and the three local almost complex structures to bound the norm of the second fundamental form. Equality cases are characterized (including when the map is totally geodesic or satisfies a specific alignment condition with the quaternionic structure), and an application is discussed.

Significance. If the derivation holds, this constitutes a meaningful extension of the DDVV conjecture from submanifolds to the setting of Riemannian maps in quaternionic geometry. The explicit use of compatibility conditions with the quaternionic structure to obtain the bound is a technical strength, and the characterization of equality cases adds completeness. The work follows standard curvature identities without introducing ad-hoc parameters or circular reductions.

minor comments (2)
  1. The abstract states that an inequality is derived but does not give its explicit form or the precise curvature assumptions. Adding a concise statement of the main inequality would improve readability and allow readers to assess the result immediately.
  2. Notation for the Riemannian map, the second fundamental form, and its compatibility with the local almost complex structures should be introduced with clear definitions in the preliminary section to ensure accessibility for readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful and positive review of our manuscript on the DDVV-type inequality for Riemannian maps from quaternionic space forms. We appreciate the recognition that the work provides a meaningful extension of the DDVV conjecture, with technical strength in the compatibility conditions and a complete characterization of equality cases. The recommendation for minor revision is noted.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The central derivation applies standard Gauss-Codazzi equations adapted to Riemannian maps, combined with the given constant quaternionic sectional curvature of the domain and explicit compatibility conditions on the second fundamental form with the three local almost complex structures. These are used to bound the norm of the second fundamental form and characterize equality cases (totally geodesic maps or specific alignment). No step reduces a claimed prediction to a fitted input by construction, invokes a self-citation as the sole justification for a uniqueness claim, or renames a known result as a new derivation. The argument is self-contained against external curvature identities and does not rely on any load-bearing self-citation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The derivation rests on standard definitions of quaternionic space forms and Riemannian maps; no free parameters or invented entities are indicated in the abstract.

axioms (2)
  • domain assumption The domain is a quaternionic space form of constant quaternionic sectional curvature.
    Required by the title and abstract setup for the maps.
  • domain assumption The map is a Riemannian map, preserving the metric on horizontal spaces.
    Central to the statement of the inequality.

pith-pipeline@v0.9.0 · 5543 in / 1188 out tokens · 31216 ms · 2026-05-18T12:38:04.927129+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages

  1. [1]

    Alekseevsky and S

    D.V. Alekseevsky and S. Marchiafava: Almost complex submanifolds of quaternionic manifolds, Steps in Diff. Geom., Institutes of Mathematics and Informatics, University of Debrecen, (2001), 23-38

    work page 2001

  2. [2]

    De Smet, F

    P.J. De Smet, F. Dillen, Leopold C.A. Verstraelen and L. Vrancken: A pointwise inequality in submanifold theory, Arch. Math., 35 (1999), 115-128

    work page 1999

  3. [3]

    Fischer: Riemannian Maps Between Riemannian Manifolds

    A.E. Fischer: Riemannian Maps Between Riemannian Manifolds. Mathematical Aspects of Classical Field Theory (Seattle, WA, 1991). Contemporary Mathematics, American Mathematical Society, Providence, 132 (1992), 331-366. 8

    work page 1991

  4. [4]

    Ge: DDVV-type inequality for skew-symmetric matrices and Simons-type inequality for Riemannian submersions, Adv

    J. Ge: DDVV-type inequality for skew-symmetric matrices and Simons-type inequality for Riemannian submersions, Adv. Math., 251 (2014), 62-86

    work page 2014

  5. [5]

    Ge and Z

    J. Ge and Z. Tang: A proof of the DDVV conjecture and its equality case, Pacific Jour. Math., 237 (2008), no. 1, 87-95

    work page 2008

  6. [6]

    Guadalupe and L

    I.V. Guadalupe and L. Rodriguez: Normal curvature of surfaces in space forms, Pacific Jour. Math., 106 (1983), 95-103

    work page 1983

  7. [7]

    G¨ ulbahar,S ¸.E

    M. G¨ ulbahar,S ¸.E. Meri¸ c and E. Kili¸ c: Sharp inequalities involving the Ricci curvature for Riemannian submersions, Kragujevac Jour. Math., 41 (2017), no. 2, 279-293

    work page 2017

  8. [8]

    Ianus, R

    S. Ianus, R. Mazzocco and G.E. Vilcu: Riemannian submersions from quaternionic manifolds, Acta. Appl. Math., 104 (2008), 83-89

    work page 2008

  9. [9]

    Ishihara: Quaternion K¨ ahlerian manifolds, Jour

    S. Ishihara: Quaternion K¨ ahlerian manifolds, Jour. Diff. Geom., 9 (1974), 483-500

    work page 1974

  10. [10]

    Lu: Normal scalar curvature conjecture and its applications, Jour

    Z. Lu: Normal scalar curvature conjecture and its applications, Jour. Funct. Anal., 261 (2011), no. 5, 1284-1308

    work page 2011

  11. [11]

    Lee, C.W

    J.W. Lee, C.W. Lee, B. S ¸ahin and G.E. Vilcu: Chen-Ricci inequalities for Riemannian maps and their applications, Contemp. Math., 777 (2022), 137-152

    work page 2022

  12. [12]

    S ¸ahin: Riemannian Submersions, Riemannian maps in Hermitian Geometry and their Applications, Cambridge, Elsevier Academic Press, (2017)

    B. S ¸ahin: Riemannian Submersions, Riemannian maps in Hermitian Geometry and their Applications, Cambridge, Elsevier Academic Press, (2017)

    work page 2017

  13. [13]

    Wintgen: Sur l’in´ egalit´ e de Chen-Willmore, C

    P. Wintgen: Sur l’in´ egalit´ e de Chen-Willmore, C. R. Acad. Sci., Paris, S´ er. A, 288 (1979), 993-995. 9

    work page 1979