pith. sign in

arxiv: 2606.21325 · v1 · pith:J2BQSJQHnew · submitted 2026-06-19 · 🧮 math.DG

L^infty-metrics on tori and Schoen's conjecture

Jian Wang , Jinmin Wang , Zhizhang Xie This is my paper

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

classification 🧮 math.DG
keywords L^∞-metricstoriSchoen's conjecturescalar curvaturesingular setsfundamental groupsrelative index theoremMinkowski dimension
0
0 comments X

The pith

If the map on fundamental groups from the singular set is not surjective, an L^∞ metric with non-negative scalar curvature on a torus extends to a smooth flat metric.

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

The paper proves a conditional version of Schoen's conjecture for L^∞ metrics on tori. Under the stated dimension bound on the singular set, non-negative scalar curvature away from that set, and the non-surjectivity of the induced map on fundamental groups, the metric must in fact be smooth and flat everywhere on the torus. A reader would care because the result removes the possibility of non-trivial singularities in this topological setting and gives a concrete criterion that forces rigidity. The argument proceeds by equipping the metric with a weighted scalar curvature functional and applying the relative index theorem. This supplies evidence for the full conjecture while isolating the role of the fundamental group condition.

Core claim

We consider an L^∞-metric on a torus that is smooth and has non-negative scalar curvature away from a singular set of Minkowski dimension at most n-3+(n-1)^{-1}. We show that if the induced homomorphism from the fundamental group of the singular set to the fundamental group of the torus is not surjective, then this metric extends to a smooth flat metric on the torus. The proof uses weighted scalar curvature and the relative index theorem.

What carries the argument

The relative index theorem applied to the weighted scalar curvature functional on the given L^∞ metric.

If this is right

  • The metric cannot carry non-trivial singularities when the fundamental group condition holds.
  • Schoen's conjecture holds for all such L^∞ metrics that satisfy the non-surjectivity assumption.
  • The weighted scalar curvature functional detects flatness under the given topological and dimension hypotheses.
  • Any singularity would have to induce a surjective map on fundamental groups to survive.

Where Pith is reading between the lines

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

  • The surjective case may require a different argument or could admit non-flat examples.
  • The same weighted-index approach might apply to other rigidity questions on tori or nilmanifolds.
  • The Minkowski dimension threshold could be relaxed if the index theorem extends to larger singular sets.

Load-bearing premise

The relative index theorem applies directly to the weighted scalar curvature functional on the L^∞ metric with the stated Minkowski dimension bound on the singular set.

What would settle it

Construct an L^∞ metric on the torus with non-negative scalar curvature away from a singular set of the allowed Minkowski dimension, where the induced map on fundamental groups is not surjective, yet the metric fails to extend to a smooth flat metric.

read the original abstract

We prove Schoen's conjecture on $L^\infty$-metrics for tori under an additional assumption on the fundamental group of the singular set. More precisely, we consider an $L^\infty$-metric on a torus that is smooth and has non-negative scalar curvature away from a singular set of Minkowski dimension at most $n-3+(n-1)^{-1}$. We show that if the induced homomorphism from the fundamental group of the singular set to the fundamental group of the torus is not surjective, then this metric extends to a smooth flat metric on the torus. Our proof uses weighted scalar curvature and the relative index theorem.

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

2 major / 1 minor

Summary. The paper proves a conditional version of Schoen's conjecture for L^∞ metrics on tori: an L^∞ metric that is smooth with non-negative scalar curvature away from a singular set of Minkowski dimension at most n-3+(n-1)^{-1} extends to a smooth flat metric on the torus whenever the induced map on fundamental groups from the singular set to the torus is not surjective. The argument proceeds by introducing a weighted scalar curvature functional and applying the relative index theorem.

Significance. If the central claim holds, the result supplies the first conditional resolution of Schoen's conjecture in the L^∞ category for tori, under a concrete dimension restriction on the singular set and a topological assumption on its fundamental group. The use of weighted scalar curvature together with the relative index theorem is a technically natural approach that could extend to other rigidity questions for metrics of bounded regularity.

major comments (2)
  1. [proof of main theorem] The manuscript applies the relative index theorem to the weighted scalar curvature functional on an L^∞ metric whose singular set has Minkowski dimension up to n-3+(n-1)^{-1}, but supplies no explicit verification that this dimension bound meets the integrability, Sobolev, or removability hypotheses required by the theorem in the L^∞ setting (see the section containing the index computation).
  2. [main argument] The non-surjectivity assumption on the induced homomorphism π1(singular set) → π1(torus) is used to conclude flatness, yet the argument does not quantify how this topological condition interacts with the error terms arising from the weighted functional when the metric is merely L^∞ (see the reduction step after the index formula is invoked).
minor comments (1)
  1. [introduction] The abstract states the dimension bound but the introduction does not compare it with the known thresholds in the literature on the relative index theorem for singular metrics.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful review and valuable suggestions. The major comments identify areas where the manuscript would benefit from additional explicit verifications and quantifications. We respond to each comment below and commit to making the necessary revisions in the next version of the manuscript.

read point-by-point responses

  1. Referee: [proof of main theorem] The manuscript applies the relative index theorem to the weighted scalar curvature functional on an L^∞ metric whose singular set has Minkowski dimension up to n-3+(n-1)^{-1}, but supplies no explicit verification that this dimension bound meets the integrability, Sobolev, or removability hypotheses required by the theorem in the L^∞ setting (see the section containing the index computation).

    Authors: We appreciate this observation. The Minkowski dimension bound of n-3 + (n-1)^{-1} is deliberately chosen to ensure that the singular set satisfies the necessary conditions for the relative index theorem to apply in the L^∞ category. This bound guarantees the required integrability of the weighted scalar curvature and the Sobolev properties needed for the index computation, as well as removability of singularities. While the manuscript relies on standard results in geometric analysis for these estimates, we acknowledge that an explicit verification linking the dimension bound to these hypotheses was not provided in the index computation section. We will revise the manuscript to include a dedicated paragraph or appendix subsection that explicitly verifies these conditions, citing the relevant Sobolev embedding theorems and removability criteria applicable to Minkowski dimension bounds. revision: yes

  2. Referee: [main argument] The non-surjectivity assumption on the induced homomorphism π1(singular set) → π1(torus) is used to conclude flatness, yet the argument does not quantify how this topological condition interacts with the error terms arising from the weighted functional when the metric is merely L^∞ (see the reduction step after the index formula is invoked).

    Authors: The non-surjectivity of the homomorphism π1(singular set) → π1(torus) plays a key role in the reduction step by ensuring that the kernel of the index map or the relevant cohomology group is trivial, which in turn allows the positivity of the weighted scalar curvature to imply that the metric must be flat, with error terms controlled by the L^∞ norm and the dimension restriction. However, we agree that the interaction between this topological assumption and the error terms from the L^∞ regularity could be quantified more explicitly. We will revise the reduction step to include a more detailed analysis showing how the non-surjectivity condition absorbs or bounds the error terms arising from the weighted functional, perhaps by estimating the contribution of the singular set in the index formula. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation relies on external relative index theorem

full rationale

The paper states that its proof uses weighted scalar curvature and the relative index theorem applied to an L^∞ metric with the stated Minkowski dimension bound on the singular set, under the non-surjective π1 condition. No equations, self-definitions, fitted parameters renamed as predictions, or load-bearing self-citations appear in the provided abstract or description. The central claim is presented as following from an established external theorem rather than reducing to its own inputs by construction. This is the normal case of a self-contained argument against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are identifiable from the abstract alone; the result is stated as a theorem proved by existing analytic tools.

pith-pipeline@v0.9.1-grok · 5629 in / 1179 out tokens · 30561 ms · 2026-06-26T13:39:09.166611+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

28 extracted references · 4 linked inside Pith

  1. [1]

    A proof for the riemannian positive mass theorem up to dimension 19

    Yuchen Bi, Tianze Hao, Shihang He, Yuguang Shi, and Jintian Zhu. A proof for the riemannian positive mass theorem up to dimension 19. arXiv:2603.02769, 2026

    arXiv 2026

  2. [2]

    A dimension descent scheme for the positive mass the- orem in arbitrary dimension

    Simon Brendle and Yipeng Wang. A dimension descent scheme for the positive mass the- orem in arbitrary dimension. arXiv:2604.08473, 2026

    Pith/arXiv arXiv 2026

  3. [3]

    Positive scalar curvature with point singularities

    Simone Cecchini, Georg Frenck, and Rudolf Zeidler. Positive scalar curvature with point singularities. arXiv:2407.20163, 2024

    arXiv 2024

  4. [4]

    Llarull’s theorem on punctured sphere withl ∞-metric

    Jianchun Chu, Man-Chun Lee, and Jintian Zhu. Llarull’s theorem on punctured sphere withl ∞-metric. arXiv:2405.19724, 2024

    arXiv 2024

  5. [5]

    Positive mass theorem for asymptotically flat manifolds with isolated conical singularities

    Xianzhe Dai, Yukai Sun, and Changliang Wang. Positive mass theorem for asymptotically flat manifolds with isolated conical singularities. arXiv:2401.07186v1, 2024

    arXiv 2024

  6. [6]

    Positive mass theorem for asymptot- ically flat spin manifolds with isolated conical singularities.Trans

    Xianzhe Dai, Yukai Sun, and Changliang Wang. Positive mass theorem for asymptot- ically flat spin manifolds with isolated conical singularities.Trans. Amer. Math. Soc., 378(4):2617–2642, 2025. 22 JIAN W ANG, JINMIN W ANG, AND ZHIZHANG XIE

    2025

  7. [7]

    Singular metrics with nonnegative scalar curvature and rcd

    Xianzhe Dai, Changliang Wang, Lihe Wang, and Guofang Wei. Singular metrics with nonnegative scalar curvature and rcd. arXiv:2412.09185, 2024

    arXiv 2024

  8. [8]

    Curvature-dimension condition meets Gromov’sn-volumic scalar curvature

    Jialong Deng. Curvature-dimension condition meets Gromov’sn-volumic scalar curvature. SIGMA Symmetry Integrability Geom. Methods Appl., 17:Paper No. 013, 20, 2021

    2021

  9. [9]

    Edward M. Fan. Topology of three-manifolds with positiveP-scalar curvature.Proc. Amer. Math. Soc., 136(9):3255–3261, 2008

    2008

  10. [10]

    Blaine Lawson, Jr

    Mikhael Gromov and H. Blaine Lawson, Jr. Spin and scalar curvature in the presence of a fundamental group. I.Ann. of Math. (2), 111(2):209–230, 1980

    1980

  11. [11]

    Blaine Lawson, Jr

    Mikhael Gromov and H. Blaine Lawson, Jr. Positive scalar curvature and the Dirac opera- tor on complete Riemannian manifolds.Inst. Hautes ´Etudes Sci. Publ. Math., (58):83–196, 1983

    1983

  12. [12]

    The Green function for uniformly elliptic equa- tions.Manuscripta Math., 37(3):303–342, 1982

    Michael Gr¨ uter and Kjell-Ove Widman. The Green function for uniformly elliptic equa- tions.Manuscripta Math., 37(3):303–342, 1982

    1982

  13. [13]

    American Mathematical Soc., 2011

    Qing Han and Fanghua Lin.Elliptic partial differential equations, volume 1. American Mathematical Soc., 2011

    2011

  14. [14]

    Quantitative partitioned index theorem and noncompact band-width

    Peter Hochs and Jinmin Wang. Quantitative partitioned index theorem and noncompact band-width. arXiv:2602.06666, 2026

    arXiv 2026

  15. [15]

    A scalar-mean curvature comparison theorem for man- ifolds with iterated conical singularities

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

    arXiv 2025

  16. [16]

    Desingularizing positive scalar curvature 4-manifolds.Math

    Demetre Kazaras. Desingularizing positive scalar curvature 4-manifolds.Math. Ann., 390(4):4951–4972, 2024

    2024

  17. [17]

    Positive scalar curvature with skeleton singularities

    Chao Li and Christos Mantoulidis. Positive scalar curvature with skeleton singularities. Math. Ann., 374(1-2):99–131, 2019

    2019

  18. [18]

    Littman, G

    W. Littman, G. Stampacchia, and H. F. Weinberger. Regular points for elliptic equations with discontinuous coefficients.Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3), 17:43–77, 1963

    1963

  19. [19]

    Schoen and S

    R. Schoen and S. T. Yau. On the structure of manifolds with positive scalar curvature. Manuscripta Math., 28(1-3):159–183, 1979

    1979

  20. [20]

    Schoen and Shing Tung Yau

    R. Schoen and Shing Tung Yau. Existence of incompressible minimal surfaces and the topology of three-dimensional manifolds with nonnegative scalar curvature.Ann. of Math. (2), 110(1):127–142, 1979

    1979

  21. [21]

    Non-negative scalar curvature on spin surgeries and novikov conjecture

    Jinmin Wang. Non-negative scalar curvature on spin surgeries and novikov conjecture. arXiv:2512.16535, 2025

    arXiv 2025

  22. [22]

    Scalar curvature rigidity of spheres with subsets removed andL ∞ metrics

    Jinmin Wang and Zhizhang Xie. Scalar curvature rigidity of spheres with subsets removed andL ∞ metrics. arXiv:2407.21312, 2024

    Pith/arXiv arXiv 2024

  23. [23]

    Scalar curvature rigidity of degenerate warped product spaces.Trans

    Jinmin Wang and Zhizhang Xie. Scalar curvature rigidity of degenerate warped product spaces.Trans. Amer. Math. Soc. Ser. B, 12:1–37, 2025

    2025

  24. [24]

    Sharp bottom spectrum and scalar curvature rigidity

    Jinmin Wang and Bo Zhu. Sharp bottom spectrum and scalar curvature rigidity. arXiv:2408.08245, 2024

    Pith/arXiv arXiv 2024

  25. [25]

    On the generalized Geroch conjecture for complete spin manifolds.Chinese Ann

    Xiangsheng Wang and Weiping Zhang. On the generalized Geroch conjecture for complete spin manifolds.Chinese Ann. Math. Ser. B, 43(6):1143–1146, 2022

    2022

  26. [26]

    A relative higher index theorem, diffeomorphisms and positive scalar curvature.Adv

    Zhizhang Xie and Guoliang Yu. A relative higher index theorem, diffeomorphisms and positive scalar curvature.Adv. Math., 250:35–73, 2014

    2014

  27. [27]

    Positive scalar curvature obstructions via singular dimension de- scent

    Jintian Zhu Yuchen Bi. Positive scalar curvature obstructions via singular dimension de- scent. arXiv:2606.20528, 2026

    Pith/arXiv arXiv 2026

  28. [28]

    A weighted llarull type theorem and its applications

    Linfeng Zhou and Guangrui Zhu. A weighted llarull type theorem and its applications. arXiv:2511.12517, 2025. L∞-METRICS ON TORI AND SCHOEN’S CONJECTURE 23 (Jian Wang)Institute of Mathematics, Chinese Academy of Sciences Email address:jian.wang.4@amss.ac.cn (Jinmin Wang)Institute of Mathematics, Chinese Academy of Sciences Email address:jinmin@amss.ac.cn (...

    arXiv 2025