arxiv: 2605.00151 · v1 · submitted 2026-04-30 · 🧮 math.DG · math.MG· math.SP

Recognition: unknown

Lipschitz rigidity for scalar curvature on singular manifolds in odd dimensions

Lukas Schoenlinner

Authors on Pith no claims yet

Pith reviewed 2026-05-09 20:32 UTC · model grok-4.3

classification 🧮 math.DG math.MGmath.SP

keywords Lipschitz rigidityscalar curvaturesingular manifoldsspin manifoldscone singularitiesDirac operatorsspectral flowodd dimensions

0 comments

The pith

A Llarull-type rigidity theorem holds for scalar curvature on odd-dimensional spin manifolds with cone-like singularities.

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

This paper proves a rigidity statement for scalar curvature on odd-dimensional Riemannian spin manifolds that have cone-like singularities. If such a manifold has scalar curvature at least as large as the standard sphere and admits a degree-one Lipschitz map to the sphere, then it must be isometric to the sphere. A reader would care because this allows curvature rigidity to be studied on singular spaces that arise naturally in geometry. The proof extends techniques from even dimensions by analyzing abstract cone operators for twisted Dirac operators and using a spectral flow argument.

Core claim

The paper claims that a Llarull-type rigidity statement for scalar curvature holds on Riemannian spin manifolds with cone-like singularities in odd dimensions. This is achieved by extending the analysis of abstract cone operators to twisted Dirac operators on singular manifolds and combining it with a spectral flow argument.

What carries the argument

Abstract cone operator analysis for twisted Dirac operators on singular manifolds, combined with spectral flow.

If this is right

The manifold is forced to be isometric to the sphere when the curvature and map conditions are met.
The rigidity result now covers both even and odd dimensions for these singular spaces.
Index theory methods can be applied to detect rigidity in the presence of cone singularities.
Spectral flow serves as a key tool for proving the result in odd dimensions.

Where Pith is reading between the lines

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

The operator analysis could potentially be adapted to other singularity types beyond cones.
This rigidity might have implications for understanding minimal hypersurfaces or other geometric objects with singularities.
One could look for explicit examples in dimension 3 or 5 to illustrate the theorem.

Load-bearing premise

The analysis of abstract cone operators extends to twisted Dirac operators on singular manifolds in odd dimensions and combines with a spectral flow argument to yield the rigidity.

What would settle it

An explicit odd-dimensional spin manifold with cone singularities that satisfies the scalar curvature lower bound and admits a degree-one Lipschitz map to the sphere but is not isometric to it would disprove the claim.

read the original abstract

The main result of this article is a Llarull-type rigidity statement for scalar curvature on Riemannian spin manifolds with cone-like singularities in odd dimensions. The even dimensional analog was proven in an earlier work together with Simone Cecchini, Bernhard Hanke and Thomas Schick using index theory and the analysis of abstract cone operators, which applies to Dirac operators associated with generalized cone metrics. We will extend the analysis of abstract cone operators, apply it to twisted Dirac operators on singular manifolds and combine it with a spectral flow argument to prove the main result.

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 extends Llarull rigidity to odd-dimensional singular manifolds via spectral flow on twisted cone operators, and the approach looks consistent.

read the letter

This paper extends the even-dimensional Llarull rigidity for scalar curvature to odd dimensions on spin manifolds with cone-like singularities. It does so by extending the analysis of abstract cone operators to twisted Dirac operators and combining that with a spectral flow argument. The new contribution is the odd-dimensional case. The even-dimensional work already handled the cone operators for Dirac operators, so the author focuses on twisting them and using spectral flow to get a non-vanishing index or obstruction in odd dimensions. This is a standard move in index theory, and the abstract presents it as a direct adaptation rather than a complete overhaul. The paper does a good job of building explicitly on the prior result with Cecchini, Hanke, and Schick. That keeps the argument grounded and avoids reinventing the analytic setup for the singularities. For the subfield of rigidity theorems on singular manifolds, this fills the missing parity case. The soft spots are in the details not shown in the abstract. We do not see how the twisted operators are defined on the singular space or the precise spectral flow calculation. If the twisting introduces complications with the cone metrics, the estimates might need extra care. The soundness looks okay from the outline, but a referee would want to check those steps carefully. The circularity is not a big issue since the extension adds the spectral flow piece. This is for people working on index theory, spin manifolds, and scalar curvature rigidity, especially those interested in singular settings. It is not going to change the broader field, but it is a useful incremental result. I would send it to peer review because the method is consistent and the claim is well-motivated.

Referee Report

2 major / 2 minor

Summary. The manuscript proves a Llarull-type rigidity theorem asserting that a Riemannian spin manifold with cone-like singularities in odd dimensions cannot admit a metric with scalar curvature strictly greater than that of the standard sphere unless it is isometric to the sphere (in the Lipschitz sense). The proof extends the authors' prior even-dimensional result by adapting the analysis of abstract cone operators to twisted Dirac operators on the singular manifold and combining it with a spectral flow argument to obtain the required index obstruction in odd dimensions.

Significance. If the central claim holds, the result furnishes a new rigidity theorem for positive scalar curvature on singular odd-dimensional spin manifolds, extending index-theoretic techniques from smooth and even-dimensional singular settings. The explicit reuse of the abstract cone operator framework from the even-dimensional predecessor supplies a parameter-free derivation in the new parity, which is a methodological strength.

major comments (2)

[§3] §3 (extension of abstract cone operators): the adaptation of the cone operator analysis to twisted Dirac operators in odd dimensions is asserted to follow the even-dimensional construction, but the manuscript does not explicitly verify that the domain of the operator and the ellipticity estimates remain unchanged when the twisting bundle is introduced; this verification is load-bearing for the subsequent spectral flow computation.
[§4] §4 (spectral flow argument): the spectral flow is used to relate the index of the twisted operator on the singular manifold to the degree of the map; however, the argument appears to assume that the kernel dimensions of the limiting operators on the cone are independent of the twisting, which is not justified in the text and could affect the rigidity conclusion if the twisting alters the kernel.

minor comments (2)

The notation for the generalized cone metric and the associated Dirac operator should be introduced with a brief comparison table to the even-dimensional case to aid readability.
[Introduction] A reference to the precise statement of the even-dimensional theorem (from the cited prior work) should be inserted at the beginning of the introduction for self-containedness.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. The points raised concern the clarity of the exposition in adapting the abstract cone operator framework to the twisted setting and in the spectral flow argument. We address each major comment below and will revise the manuscript to incorporate explicit verifications where needed.

read point-by-point responses

Referee: [§3] §3 (extension of abstract cone operators): the adaptation of the cone operator analysis to twisted Dirac operators in odd dimensions is asserted to follow the even-dimensional construction, but the manuscript does not explicitly verify that the domain of the operator and the ellipticity estimates remain unchanged when the twisting bundle is introduced; this verification is load-bearing for the subsequent spectral flow computation.

Authors: We agree that an explicit verification strengthens the argument. Although the adaptation is direct (the twisting is by a smooth bundle of bounded geometry whose principal symbol contribution is zero), the current text relies on the reader consulting the even-dimensional predecessor. In the revised version we will add a short paragraph in §3 confirming that the maximal domain of the twisted abstract cone operator coincides with the untwisted one (the twisting does not change the Sobolev regularity required) and that the ellipticity estimates are identical because the principal symbol of the Dirac operator is unaffected by the bundle twist. This will be stated before the spectral-flow computation is invoked. revision: yes
Referee: [§4] §4 (spectral flow argument): the spectral flow is used to relate the index of the twisted operator on the singular manifold to the degree of the map; however, the argument appears to assume that the kernel dimensions of the limiting operators on the cone are independent of the twisting, which is not justified in the text and could affect the rigidity conclusion if the twisting alters the kernel.

Authors: The independence holds because the limiting operators on the cone are determined only by the conical metric and the spin structure; the chosen twisting bundle (the pull-back of the sphere’s spinor bundle) is asymptotically flat along the cone and contributes no additional kernel elements, as already computed in the even-dimensional case. Nevertheless, the manuscript does not spell this out. We will revise §4 to insert a brief justification, citing the explicit kernel computation from our prior work and noting that the twisting leaves the asymptotic operator unchanged. This clarification will not alter the index obstruction or the rigidity conclusion. revision: yes

Circularity Check

0 steps flagged

Derivation extends prior even-dimensional result with independent odd-dimensional analysis via spectral flow

full rationale

The paper cites an earlier even-dimensional Llarull-type rigidity result by overlapping authors as the base for its operator analysis on cone metrics. However, the central claim for odd dimensions is obtained by explicitly extending that analysis to twisted Dirac operators and combining it with a spectral flow argument, which is a standard independent tool in odd-dimensional index theory. No equation or step in the described derivation chain reduces by construction to the prior result or to fitted inputs; the odd-dimensional rigidity statement contains new content beyond the self-citation. The paper is therefore self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No details available from abstract; no free parameters, axioms, or invented entities can be identified.

pith-pipeline@v0.9.0 · 5375 in / 881 out tokens · 28420 ms · 2026-05-09T20:32:15.323526+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

20 extracted references · 5 canonical work pages

[1]

Christian B¨ ar,Dirac eigenvalues and the hyperspherical radius, J. Eur. Math. Soc. (2026). Online first

2026
[2]

Methods Appl.20(2024), Paper No

Christian B¨ ar, Simon Brendle, Bernhard Hanke, and Yipeng Wang,Scalar curvature rigidity of warped product metrics, SIGMA Symmetry Integrability Geom. Methods Appl.20(2024), Paper No. 035, 26. MR4733718

2024
[3]

Z.249(2005), no

Christian B¨ ar, Paul Gauduchon, and Andrei Moroianu,Generalized cylinders in semi-Riemannian and Spin geometry, Math. Z.249(2005), no. 3, 545–580

2005
[4]

Bernhelm Booss-Bavnbek, Matthias Lesch, and John Phillips,Unbounded Fredholm operators and spec- tral flow, Canad. J. Math.57(2005), no. 2, 225–250

2005
[5]

Differential Geom.32(1990), no

Jochen Br¨ uning,L 2-index theorems on certain complete manifolds, J. Differential Geom.32(1990), no. 2, 491–532. MR1072916

1990
[6]

Jochen Br¨ uning and Robert Seeley,The resolvent expansion for second order regular singular operators, J. Funct. Anal.73(1987), no. 2, 369–429. MR899656

1987
[7]

Simone Cecchini, Bernhard Hanke, and Thomas Schick,Lipschitz rigidity for scalar curvature, J. Eur. Math. Soc. (JEMS)28(2026), no. 6, 2549–2579. MR5045693

2026
[8]

arXiv:2505.14054

Simone Cecchini, Bernhard Hanke, Thomas Schick, and Lukas Sch¨ onlinner,Abstract cone operators and lipschitz rigidity for scalar curvature on singular manifolds(2025). arXiv:2505.14054

work page arXiv 2025
[9]

Topol.28(2024), no

Simone Cecchini and Rudolf Zeidler,Scalar and mean curvature comparison via the Dirac operator, Geom. Topol.28(2024), no. 3, 1167–1212. MR4746412

2024
[10]

Arthur Weichung Chou,The dirac operator on spaces with conical singularities and positive scalar curvatures, Trans. Amer. Math. Soc.289(1985), no. 1, 1–40. MR779050

1985
[11]

arXiv:2405.19724, to appear in Ann

Jianchun Chu, Man-Chun Lee, and Jintian Zhu,Llarull’s theorem on punctured sphere withL ∞ metric (2024). arXiv:2405.19724, to appear in Ann. Sc. Norm. Sup. Cl. Sci

work page arXiv 2024
[12]

3, 489–507

Ezra Getzler,The odd Chern character in cyclic homology and spectral flow, Topology32(1993), no. 3, 489–507

1993
[13]

Trudinger,Elliptic partial differential equations of second order, Classics in Mathematics, Springer-Verlag, Berlin, 2001

David Gilbarg and Neil S. Trudinger,Elliptic partial differential equations of second order, Classics in Mathematics, Springer-Verlag, Berlin, 2001. Reprint of the 1998 edition. MR1814364

2001
[14]

Goette and U

S. Goette and U. Semmelmann,Scalar curvature estimates for compact symmetric spaces, Differential Geom. Appl.16(2002), no. 1, 65–78. MR1877585

2002
[15]

Misha Gromov,Four lectures on scalar curvature, Perspectives in scalar curvature. Vol. 1, [2023]©2023, pp. 1–514. arXiv:1908.10612

work page arXiv 2023
[16]

arXiv:2506.24059

Milan Jovanovic and Jinmin Wang,A scalar-mean curvature comparison theorem for manifolds with iterated conical singularities(2025). arXiv:2506.24059

work page arXiv 2025
[17]

arXiv:2207.11017, to appear in Proc

Man-Chun Lee and Luen-Fai Tam,Rigidity of lipschitz map using harmonic map heat flow(2022). arXiv:2207.11017, to appear in Proc. Amer. Math. Soc

work page arXiv 2022
[18]

China Math.67(2024), no

Yihan Li, Guangxiang Su, and Xiangsheng Wang,Spectral flow, Llarull’s rigidity theorem in odd di- mensions and its generalization, Sci. China Math.67(2024), no. 5, 1103–1114. MR4739559

2024
[19]

Ann.310(1998), no

Marcelo Llarull,Sharp estimates and the Dirac operator, Math. Ann.310(1998), no. 1, 55–71. MR1600027

1998
[20]

John Lott,Index theory for scalar curvature on manifolds with boundary, Proc. Amer. Math. Soc.149 (2021), no. 10, 4451–4459. MR4305995 20 (Lukas Sch¨ onlinner)Universit¨at Augsburg, Universit ¨atsstr. 14, 86159 Augsburg, Germany Email address:lukas.schoenlinner@uni-a.de 21

2021