pith. sign in

arxiv: 2606.21610 · v1 · pith:TYYZEH2Lnew · submitted 2026-06-19 · 🧮 math.DG

Closed counterexamples to Toponogov's question on mixed curvature

Yaroslav Bazaikin This is my paper

Pith reviewed 2026-06-26 13:05 UTC · model grok-4.3

classification 🧮 math.DG
keywords mixed sectional curvaturetotally geodesic foliationFerus-Adams estimateToponogov questionRiemannian manifoldscircle fibrationseven-dimensional manifolds
0
0 comments X

The pith

Positive mixed sectional curvature on closed manifolds with odd normal rank does not imply the Ferus-Adams estimate for one-dimensional foliations.

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

The paper constructs explicit examples of closed Riemannian manifolds in every even dimension that carry one-dimensional totally geodesic foliations with positive mixed sectional curvature. These manifolds are sphere products or their submanifolds, and the leaves form circle fibrations. Because the normal rank is odd, the Ferus-Adams theorem would require the leaves to be points if the curvature were constant, but here the mixed curvature stays positive. The key is that the curvature operator rotates in a parallel normal frame, which prevents the reduction used in the constant curvature case. This shows that positive mixed curvature by itself is not enough to force the estimate on closed manifolds.

Core claim

We construct explicit closed Riemannian manifolds in every even dimension carrying one-dimensional totally geodesic foliations with positive mixed sectional curvature. The leaves are closed geodesics and form smooth circle fibrations. In dimensions 4m+2 the examples are constructed on S^{4m-1}×S^3; in dimensions 4m they are obtained as totally geodesic fixed point submanifolds S^{4m-1}×S^1. Since the normal rank is odd in all examples, the Ferus--Adams bound predicted by Toponogov's question would force the leaf dimension to be zero. Thus positive mixed sectional curvature alone does not imply the Ferus--Adams estimate on closed manifolds. The metrics are not bundle-like. Moreover, the examp

What carries the argument

A positive mixed curvature operator that rotates in a parallel normal frame, blocking scalar Riccati reduction and allowing evasion of the Ferus-Adams bound.

If this is right

  • Such manifolds exist in all even dimensions.
  • The examples include S^{4m-1}×S^3 with circle fibrations in dimensions 4m+2.
  • Fixed-point submanifolds S^{4m-1}×S^1 work in dimensions 4m.
  • Mixed sectional curvature can approach 1-pinched while keeping leaf lengths bounded.
  • The metrics are not bundle-like.

Where Pith is reading between the lines

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

  • Rotation of the curvature operator may be necessary to achieve positive mixed curvature without the usual dimension bounds.
  • Similar rotating mechanisms could be used to construct counterexamples in other curvature settings or with different foliation ranks.
  • The non-bundle-like nature suggests that bundle-like conditions might be needed to recover the Ferus-Adams estimate.

Load-bearing premise

The constructed metrics on the sphere products truly have positive mixed sectional curvature despite the rotating operator in the normal frame.

What would settle it

Direct computation of all mixed sectional curvatures in one explicit metric, such as on S^3 × S^3, that finds any non-positive value would falsify the counterexample.

read the original abstract

We construct explicit closed Riemannian manifolds in every even dimension carrying one-dimensional totally geodesic foliations with positive mixed sectional curvature. The leaves are closed geodesics and form smooth circle fibrations. In dimensions $4m+2$ the examples are constructed on $S^{4m-1}\times S^3$; in dimensions $4m$ they are obtained as totally geodesic fixed point submanifolds $S^{4m-1}\times S^1$. Since the normal rank is odd in all examples, the Ferus--Adams bound predicted by Toponogov's question would force the leaf dimension to be zero. Thus positive mixed sectional curvature alone does not imply the Ferus--Adams estimate on closed manifolds. The metrics are not bundle-like. Moreover, the examples can be chosen with mixed sectional curvature arbitrarily close to $1$-pinched, and after normalizing $\max K_{\mathrm{mix}}=1$, the lengths of the leaves remain uniformly bounded. The mechanism is that the positive mixed curvature operator rotates in a parallel normal frame, preventing the scalar Riccati reduction used in the constant-curvature case.

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

1 major / 0 minor

Summary. The paper constructs explicit closed Riemannian manifolds in every even dimension admitting one-dimensional totally geodesic foliations with positive mixed sectional curvature. Examples live on S^{4m-1}×S^3 (dimensions 4m+2) and on their totally geodesic fixed-point submanifolds S^{4m-1}×S^1 (dimensions 4m). The leaves are closed geodesics forming circle fibrations; the normal rank is odd, so the Ferus–Adams estimate would require leaf dimension zero. The metrics are not bundle-like and can be chosen with mixed sectional curvature arbitrarily close to 1-pinched while keeping leaf lengths uniformly bounded after normalization. The key mechanism is that the positive mixed curvature operator rotates in a parallel normal frame, blocking scalar Riccati reduction.

Significance. If the positivity of mixed sectional curvature holds under the stated constructions, the result supplies counterexamples to Toponogov’s question on closed manifolds, showing that positive mixed curvature alone does not force the Ferus–Adams bound when the normal rank is odd. The explicit, non-bundle-like metrics and the rotation mechanism that prevents Riccati comparison constitute a concrete advance. The near-1-pinching and uniform leaf-length bounds add quantitative strength. Credit is due for producing examples in all even dimensions via explicit warping functions.

major comments (1)
  1. [construction and curvature computation sections] The central claim requires that the explicitly constructed metrics realize K_mix > 0 for every mixed plane. The abstract and mechanism description state that warping functions are chosen so the curvature operator rotates in a parallel normal frame, but the manuscript must supply the explicit curvature tensor (or a lower bound derived from it) showing the inequality holds everywhere; without this computation the counterexample is not yet verified.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need for explicit verification of the curvature inequality. We address the major comment below and will incorporate the requested computation in the revision.

read point-by-point responses

  1. Referee: [construction and curvature computation sections] The central claim requires that the explicitly constructed metrics realize K_mix > 0 for every mixed plane. The abstract and mechanism description state that warping functions are chosen so the curvature operator rotates in a parallel normal frame, but the manuscript must supply the explicit curvature tensor (or a lower bound derived from it) showing the inequality holds everywhere; without this computation the counterexample is not yet verified.

    Authors: We agree that the manuscript as submitted does not contain the full curvature tensor computation or the derived lower bound establishing K_mix > 0 at every mixed plane. The construction section describes the warping functions and the rotation mechanism in a parallel normal frame, but stops short of writing out the relevant sectional curvature expressions. In the revised manuscript we will add an explicit computation of the curvature tensor components for mixed planes (using the standard warped-product formulas on S^{4m-1} × S^3 and the induced metric on the fixed-point submanifold) and derive a uniform positive lower bound from the chosen warping functions, thereby verifying the claim. revision: yes

Circularity Check

0 steps flagged

No circularity detected; result rests on explicit constructions verified by direct computation.

full rationale

The paper establishes its claim via explicit constructions of metrics on S^{4m-1}×S^3 (and fixed-point submanifolds) using chosen warping functions that enforce rotation of the curvature operator in a parallel normal frame. Positivity of mixed sectional curvature is asserted as a computational property of these defined metrics, not as a quantity fitted to data or reduced by the paper's own equations to its inputs. No self-citation, ansatz smuggling, uniqueness theorem, or renaming of known results appears as a load-bearing step in the provided abstract and mechanism description. The counterexample status follows from the topology (odd normal rank) combined with the constructed curvature, making the derivation self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work is a geometric construction relying on standard definitions of Riemannian metrics, sectional curvature, and foliations; no free parameters, ad-hoc axioms, or new entities are introduced in the abstract.

axioms (1)
  • standard math Standard axioms of Riemannian geometry including the definition of sectional curvature and totally geodesic submanifolds.
    Invoked throughout the description of the foliations and curvature.

pith-pipeline@v0.9.1-grok · 5722 in / 1280 out tokens · 28787 ms · 2026-06-26T13:05:08.153454+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

12 extracted references · 8 canonical work pages

  1. [1]

    J. F. Adams,Vector fields on spheres, Ann. of Math. (2)75(1962), 603–632. DOI: 10.2307/1970213

    work page doi:10.2307/1970213 1962

  2. [2]

    Ferus,Totally geodesic foliations, Math

    D. Ferus,Totally geodesic foliations, Math. Ann.188(1970), 313–316. DOI: 10.1007/BF01431465

    work page doi:10.1007/bf01431465 1970

  3. [3]

    O’Neill,The fundamental equations of a submersion, Michigan Math

    B. O’Neill,The fundamental equations of a submersion, Michigan Math. J.13 (1966), 459–469. DOI: 10.1307/mmj/1028999604

    work page doi:10.1307/mmj/1028999604 1966

  4. [4]

    V. Yu. Rovenskii,Totally geodesic foliations, Sibirsk. Mat. Zh.23(1982), 217–219. [Russian]

    1982

  5. [5]

    V. Yu. Rovenskii,Geodesic foliations with positive mixed sectional curvature, Mathematical Physics, Analysis, Geometry1(1994), no. 2, 232–239. [Russian; English summary]

    1994

  6. [6]

    V. Yu. Rovenskii,Foliations on closed geodesics with positive mixed sectional cur- vature and special behaviour ofL-Jacobi fields, Trudy Geometricheskogo Seminara 23(1997), 113–123

    1997

  7. [7]

    Rovenski,The partial Ricci flow for foliations, inGeometry and Its Applica- tions, Springer Proc

    V. Rovenski,The partial Ricci flow for foliations, inGeometry and Its Applica- tions, Springer Proc. Math. Stat., vol. 72, Springer, Cham, 2014, pp. 125–155. DOI: 10.1007/978-3-319-04675-4 6

    work page doi:10.1007/978-3-319-04675-4 2014

  8. [8]

    Rovenski,The weighted mixed curvature of a foliated manifold, Filomat33 (2019), no

    V. Rovenski,The weighted mixed curvature of a foliated manifold, Filomat33 (2019), no. 4, 1097–1105. DOI: 10.2298/FIL1904097R

    work page doi:10.2298/fil1904097r 2019

  9. [9]

    Rovenski and V

    V. Rovenski and V. Sharafutdinov,The partial Ricci flow on one-dimensional foliations, arXiv:1308.0985 [math.DG], 2013

    Pith/arXiv arXiv 2013

  10. [10]

    Rovenskii,Foliations, submanifolds, and mixed curvature, Geometry, 5, J

    V. Rovenskii,Foliations, submanifolds, and mixed curvature, Geometry, 5, J. Math. Sci. (New York)99(2000), no. 6, 1699–1787. Translated from Itogi Nauki i Tekhniki, Ser. Sovrem. Mat. Prilozh., Temat. Obz., vol. 57, Geometriya–5, 1998. DOI: 10.1007/BF02684076

    work page doi:10.1007/bf02684076 2000

  11. [11]

    Weinstein,Fat bundles and symplectic manifolds, Adv

    A. Weinstein,Fat bundles and symplectic manifolds, Adv. Math.37(1980), no. 3, 239–250. DOI: 10.1016/0001-8708(80)90035-3

    work page doi:10.1016/0001-8708(80)90035-3 1980

  12. [12]

    L. A. Florit and W. Ziller,Topological obstructions to fatness, Geom. Topol.15 (2011), no. 2, 891–925. DOI: 10.2140/gt.2011.15.891. 34

    work page doi:10.2140/gt.2011.15.891 2011