Pith. sign in

REVIEW 5 minor 10 references

Scalar Curvature Rigidity for Products of convex Hypersurfaces and even dimensional Manifolds

T0 review · 0 major / 5 minor · reviewed 2026-07-13 · grok-4.5

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

Pith's one-line read Maps from spin manifolds into products of convex hypersurfaces and nonnegatively curved factors are scalar-curvature rigid when the degree is nonzero.

desk verdict Clean independent geometric proof of Lockman–Zeidler rigidity, modestly enlarged to general nonnegative-curvature N with χ(N) eq0; classical tools, no gaps. read the letter →

arxiv 2607.09472 v1 pith:GN73HZ4G submitted 2026-07-10 math.DG

Georg Frenck , Thomas Schick , Lukas Schönlinner This is my paper · ORCID
classification math.DG MSC 53C2153C2758J20
keywords scalarcurvaturerigidityLlarulltheoremGoette-SemmelmannconvexhypersurfacesfamilyindextwistedDiracoperatorsarea-nonincreasingmapsspingeometry
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 proves a rigidity theorem for scalar curvature on products of strictly convex hypersurfaces in Euclidean space with even-dimensional spin manifolds that have nonnegative curvature operator and nonzero Euler characteristic. Any smooth map of nonzero degree from a closed spin manifold into such a product that does not decrease scalar curvature, and whose projections onto each factor are area-nonincreasing, must actually preserve scalar curvature. Under a strict curvature inequality the map is forced to be a Riemannian covering. The result recovers and extends classical Llarull–Goette–Semmelmann rigidity by a geometric construction of a family of maps into higher-dimensional spheres; the family index theorem then produces a Dirac operator with nontrivial kernel that can exist only when equality holds. A sympathetic reader cares because the argument stays inside ordinary Fredholm index theory and therefore suggests a route to lower-regularity versions of the same rigidity.

What carries the argument

An explicit continuous family of maps Φ from the product of the hypersurfaces with a torus into a product of higher-dimensional round spheres, obtained by latitudinal embeddings controlled by a carefully chosen 2π-periodic function ρ; the pulled-back spinor bundle yields a family of twisted Dirac operators whose family index is nonzero, forcing a nontrivial kernel only at the equatorial parameters where the curvature comparison becomes equality.

What would settle it

Construct a smooth map of nonzero degree into such a product that is area-nonincreasing on each factor, satisfies a strict scalar-curvature inequality, and yet is not a local isometry; any such map would produce a family of Dirac operators with vanishing index, contradicting the calculation.

Watch

Extended reading notes

Core claim

Theorem A states that if M is the Riemannian product of a spin manifold N with nonnegative curvature operator and nonvanishing Euler characteristic together with finitely many strictly convex closed hypersurfaces of Euclidean space of odd dimension at least 3, then any smooth map f of nonzero degree from a closed connected spin manifold W into M that satisfies scal_W ≥ scal_M ∘ f and whose projections onto the factors are area-nonincreasing must have equality of scalar curvatures; if in addition scal > 2 Ric > 0 on every factor, then f is a Riemannian covering.

Load-bearing premise

The whole argument rests on the existence of a smooth periodic height function that makes the pulled-back curvature of the family strictly negative except exactly when the parameters sit at the equators.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 5 minor

Summary. The paper proves a scalar-curvature rigidity theorem (Theorem A) for maps from a closed spin manifold W into a product M = N imes S1 imes imes Sk, where each Si is a closed strictly convex hypersurface in Euclidean space of odd dimension i i 3 and N is a closed spin manifold with nonnegative curvature operator and nonzero Euler characteristic. Under the assumptions that scal_g i scal_M i f, deg(f) eq 0 and that the projections of f onto N and each Si are area-non-increasing, one obtains equality of scalar curvatures; if moreover scal > 2 Ric > 0 on every factor, then f is a Riemannian covering. The argument follows the classical Llarull–Goette–Semmelmann template: an explicit geometric family of maps u imes u imes u : Sn imes Tk o Sn+1 of degree 1 produces a continuous family of twisted Dirac operators whose integrated Chern character equals deg(F)·2k· u(N) eq 0, hence some operator has nontrivial kernel; the Schrödinger–Lichnerowicz formula together with a singular-value estimate (Lemma 3.2) and the Gauss equation then force the kernel to occur only at equatorial parameters and force Df to be an isometry.

Significance. The result fully extends the Goette–Semmelmann rigidity theorem to products that include any finite number of odd-dimensional strictly convex hypersurfaces, while recovering the corresponding statements of Lockman–Zeidler by a purely classical Fredholm-family argument rather than Clifford-linear index theory. The geometric construction of the family (via an explicit suspension map u of degree 1) is transparent and should admit extensions to lower-regularity metrics and maps, as the authors themselves note. The proof is self-contained, cites the standard family-index theorem, and carefully tracks equality cases; these are genuine strengths that make the paper a useful addition to the literature on scalar-curvature rigidity.

minor comments (5)
  1. The title and abstract use inconsistent capitalisation and spacing (“CUR V A TURE”, “HYPERSURF ACES”); a uniform style would improve presentation.
  2. Page 3, definition of u and u: the parenthetical description of the longitudinal/latitudinal behaviour of u i,t is slightly informal; a short sentence clarifying that the map is smooth across the junctions t = u/2 + u Z would help the reader.
  3. Lemma 3.2: the hypothesis that the singular values b u can be arranged non-negative is used without comment; a one-line remark that this is always possible by adjusting the orientation of the orthonormal bases would remove any ambiguity.
  4. Remark 2.1(ii) asserts that scal > 2 Ric > 0 holds for a convex hypersurface if and only if it is strictly convex; a reference or a one-sentence justification would be welcome.
  5. The arXiv identifier of the concurrent work [10] appears as 2606.15710; if this is a placeholder, it should be updated before publication.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: classical family-index theorem plus explicit geometric suspension yields a self-contained rigidity proof.

full rationale

The derivation of Theorem A proceeds in two independent, fully written-out stages. The index-theoretic stage constructs an explicit degree-1 family of maps Φ: S^n imes T^k o S^{n+1} via the auxiliary functions ρ,σ and the Gauss maps of the convex hypersurfaces; the resulting continuous family of twisted Dirac operators D_{E,t} has non-vanishing integrated Chern character equal to deg(F)·2^k·χ(N) by the classical family-index theorem (Lawson–Michelsohn, Cor. III.15.5) and the standard fact that the graded spinor bundle represents the Euler class. The geometric stage inserts the pulled-back curvature endomorphism into the Schrödinger–Lichnerowicz formula and obtains the pointwise lower bound ⟨R^{E_t}u,u⟩ ≥ –(1/4)scal_M∘f |u|^2 via the singular-value estimate of Lemma 3.2 and the Gauss equation for convex hypersurfaces; equality forces the differential of f to be an isometry. Neither stage fits a free parameter to data, renames a known empirical pattern, nor rests on a load-bearing self-citation of an unverified uniqueness claim. The auxiliary function ρ is merely a convenient smooth interpolation realizing the required family; any other function with the same qualitative zeros and maxima would serve equally well. Self-citations appear only as background comparisons (Goette–Semmelmann, Lockman–Zeidler) and do not close a circular loop. The argument is therefore self-contained against external classical benchmarks.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The argument rests entirely on classical spin geometry, the family index theorem, and the Gauss equation for convex hypersurfaces; no free parameters or new physical entities are introduced. The only domain assumptions are the existence of spin structures, the non-vanishing of the Euler characteristic, and the strict convexity of the hypersurfaces.

assumptions (4)
  • standard math Family index theorem for twisted Dirac operators (Lawson–Michelsohn, Cor. III.15.5)
    Used to compute the integrated Chern character of the index class and obtain a nonzero integer.
  • standard math Graded spinor bundle of a closed spin manifold represents the fundamental K-theory class multiplied by the Euler characteristic
    Converts the index pairing into deg(f)·2^k·χ(N).
  • domain assumption Gauss theorema egregium for strictly convex hypersurfaces: sum of singular values of the second fundamental form equals scalar curvature
    Supplies the lower bound for the curvature endomorphism of each sphere factor.
  • ad hoc to paper Existence of a smooth 2π-periodic function ρ with the listed vanishing and maximality properties
    Constructed by hand (product of cosine and a bump) to produce the geometric family of maps; existence is elementary but specific to the argument.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Scalar Curvature Rigidity for Products of convex Hypersurfaces and even dimensional Manifolds." pith.science (2026). https://pith.science/paper/GN73HZ4G

@misc{pith2026260709472,
  author       = {Pith},
  title        = {Pith review of: Scalar Curvature Rigidity for Products of convex Hypersurfaces and even dimensional Manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GN73HZ4G}},
  note         = {Machine review of arXiv:2607.09472}
}
read the original abstract

We give a proof of scalar curvature rigidity in the spirit of Llarull and Goette-Semmelmann for products of strictly convex hypersurfaces in Euclidean space and nonnegatively curved spaces with non-vanishing Euler-characteristic. Our proof is based on the Fredholm family index theorem. This recovers corresponding results of Lockman-Zeidler where Clifford-linear (family) index theory is used.

Figures

Figures reproduced from arXiv: 2607.09472 by the authors.

Figure 1
Figure 1. The functions ρ and σ. Such a function can, for example, be constructed as the product cos·λ, where λ is a smooth bump function supported near π · Z, see [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

10 extracted references · 4 canonical work pages

  1. [1]

    Symmetry, Integrability and Geometry: Methods and Applications20(2024), paper 035, 26, DOI 10.3842/SIGMA.2024.035.Zbl 1570.53032

    Christian B¨ ar, Simon Brendle, Bernhard Hanke, and Yipeng Wang,Scalar curvature rigidity of warped product metrics, SIGMA. Symmetry, Integrability and Geometry: Methods and Applications20(2024), paper 035, 26, DOI 10.3842/SIGMA.2024.035.Zbl 1570.53032

    work page doi:10.3842/sigma.2024.035.zbl 2024

  2. [2]

    Christian B¨ ar and Remo Ziemke,Spectral flow and the Atiyah-Patodi-Singer index theorem, 2025.arXiv:2512.04968

    arXiv 2025

  3. [3]

    6, 2549–2579, DOI 10.4171/jems/1514.Zbl 08176144

    Simone Cecchini, Bernhard Hanke, and Thomas Schick,Lipschitz rigidity for scalar curvature, Journal of the European Mathematical Society (JEMS)28(2026), no. 6, 2549–2579, DOI 10.4171/jems/1514.Zbl 08176144

    work page doi:10.4171/jems/1514.zbl 2026

  4. [4]

    Simone Cecchini, Bernhard Hanke, Thomas Schick, and Lukas Schoenlinner,Abstract cone operators and Lipschitz rigidity for scalar curvature on singular manifolds, 2025.arXiv:2505.14054

    arXiv 2025

  5. [5]

    Goette and U

    S. Goette and U. Semmelmann,Scalar curvature estimates for compact symmetric spaces., Differential Geometry and its Applications16(2002), no. 1, 65–78, DOI 10.1016/S0926- 2245(01)00068-7.Zbl 1043.53030

    doi:10.1016/s0926- 2002

  6. [6]

    Blaine jun

    H. Blaine jun. Lawson and Marie-Louise Michelsohn,Spin geometry, Princeton Mathematical Series, vol. 38, Princeton University Press, Princeton, NJ, 1989.Zbl 0688.57001

    arXiv 1989

  7. [7]

    Man-Chun Lee and Luen-Fai Tam,Rigidity of Lipschitz map using harmonic map heat flow, 2022.arXiv:2207.11017

    arXiv 2022

  8. [8]

    Mathematics67(2024), no

    Yihan Li, Guangxiang Su, and Xiangsheng Wang,Spectral flow, Llarull’s rigidity theorem in odd dimensions and its generalization, Science China. Mathematics67(2024), no. 5, 1103– 1114, DOI 10.1007/s11425-023-2138-5.Zbl 1545.53039

    work page doi:10.1007/s11425-023-2138-5.zbl 2024

Show all 10 references
  1. [9]

    1, 55–71, DOI 10.1007/s002080050136.Zbl 0895.53037

    Marcelo Llarull,Sharp estimates and the Dirac operator, Mathematische Annalen310(1998), no. 1, 55–71, DOI 10.1007/s002080050136.Zbl 0895.53037

    1998 doi

  2. [10]

    Samuel Lockman and Rudolf Zeidler,Scalar curvature rigidity for products of convex hyper- surfaces, 2026.arXiv:2606.15710 10 GEORG FRENCK, THOMAS SCHICK, AND LUKAS SCH ¨ONLINNER (Georg Frenck)Universit ¨at Augsburg, Universit ¨atsstr. 14, 86159 Augsburg, Germany Email address:...

    2026

Pith tools

Reviewed July 13, 2026 · model on record in the stance chip above.