Pith. sign in

REVIEW 3 major objections 6 minor 70 references

Gromov's Simplicial Volume Vanishing Conjecture for Positive Scalar Curvature and Fundamental Group Decay

T0 review · 3 major / 6 minor · reviewed 2026-08-02 · deepseek-v4-flash

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

Pith's one-line read Under an Ingham decay condition on the fundamental group, positive scalar curvature forces the simplicial volume — and every Â-cap simplicial norm — of a spin-universal-cover manifold to vanish.

desk verdict Strong new result if the Proposition 4.2 gap is repaired; the Ingham decay idea is real, and the proof has a fixable counting error. read the letter →

arxiv 2606.29135 v3 pith:W4QGX4JN submitted 2026-06-28 math.DG math.KT

Qiaochu Ma , Guoliang Yu This is my paper
classification math.DGmath.KT MSC 53C2153C2319K5658J20
keywords simplicialvolumepositivescalarcurvatureInghamdecaypropertyfundamentalgroupindextheoryA-hatgenuscapproductgeometry
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

Gromov's conjecture says that any closed oriented manifold admitting a metric of positive scalar curvature must have zero simplicial volume — the infimal number of simplices needed to represent the fundamental class. The paper proves this conjecture for every closed oriented manifold whose universal cover is spin and whose fundamental group satisfies the Ingham decay property, a subexponential bound on the reduced C*-algebra norm of finitely supported functions that is strictly weaker than the classical rapid-decay (RD) property. In fact, it proves more: the simplicial norm of every cap product Â[k](TM) ∩ [M] vanishes for all 0 ≤ k ≤ m, so not just the fundamental class but every Â-class Poincaré dual is topologically cheap. The argument works directly in singular homology, using a quantitative index theorem to write the fundamental class as cyclic traces of a finite-propagation idempotent built from the Dirac operator; positive scalar curvature opens a spectral gap, and Ingham's theorem supplies a compactly supported Schwartz function whose Fourier transform decays subexponentially with a prescribed rate that dominates the group-theoretic weight. A byproduct stated in the abstract is a geometric application: in every dimension, a normalized positive scalar curvature lower bound together with a universal negative Ricci curvature lower bound forces vanishing simplicial volume.

What carries the argument

The load-bearing construction is the finite-propagation 'difference idempotent' I_ε, a 2×2 operator-valued idempotent built from smooth functions of the Dirac operator with Fourier support in a ball of radius about ε/m; its pointwise cyclic traces Ch^ε_k give representatives of Â[m-k](TM) ∩ [M] in ε-homology. A quantitative index theorem (stated as Theorem 3.1 and spelled out in Theorem 3.2) expresses the image f_*[M] in group homology as an explicit sum of cyclic L²-traces of I_ε on translates of a fundamental domain. Gromov's mapping theorem lets the simplicial norm be computed in group homology. On the group side, the Ingham decay property (1.7)-(1.8) bounds the reduced C*-norm of finitel

What would settle it

A direct counterexample — a closed oriented manifold with spin universal cover, Ingham-decay fundamental group, positive scalar curvature, and nonzero simplicial volume — would refute the theorem. Short of that, the proof's fate is settled by checking the omitted counting factor in the step (4.11)→(4.12): for a group with exponential word growth, the number of admissible tuples (γ₁,…,γ_m) with |γ_i|_w ≤ Cε+C is exponential in ε, so the displayed bound (m+1)!∥aε∥^m_{C*_r} ∥aε∥_{ℓ²} cannot hold unless a cyclic-walk collapse is intended; verifying this for one exponential-growth group would decid

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1 and its generalization Theorem 1.2: for a closed oriented manifold M whose universal covering is spin, if M admits a metric of positive scalar curvature and π₁(M) satisfies the Ingham decay property, then ||[M]||_{ℓ¹} = 0 and, more generally, ||Â[k](TM) ∩ [M]||_{ℓ¹} = 0 for every 0 ≤ k ≤ m. The proof identifies the fundamental class (and each Â-cap product) with a cycle in ε-homology whose simplicial norm is controlled by an operator bound; positive scalar curvature gives the Dirac operator a spectral gap away from zero, and the Ingham decay property is exactly the hypothesis that makes the finite-propagation representatives ε-small after the chosen functiona

Load-bearing premise

The load-bearing step is the inequality (4.11)→(4.12), which bounds the ℓ¹-sum over tuples of word length O(ε) by (m+1)! times the ℓ² norm of the convolution power; this step does not count how many such tuples exist, and if their number grows exponentially in ε the Ingham-decay factor would need to be subexponential in a way the printed bound does not provide.

Editorial extensions

If this is right

  • Gromov's conjecture is settled for all closed oriented manifolds with spin universal cover and Ingham-decay fundamental group; since property RD implies Ingham decay, this covers hyperbolic groups and many other groups for which the conjecture was previously open.
  • The stronger conclusion means the Poincaré duals of the Â-class have zero simplicial norm, not just the fundamental class — a new quantitative topological obstruction: positive scalar curvature makes every Â-cap product ℓ¹-cheap.
  • The characteristic-number vanishing says ⟨Â(TM) ∪ f*α, [M]⟩ = 0 for every group cocycle of Ingham growth, a direct extension of the Lichnerowicz vanishing theorem beyond the Â-genus.
  • The abstract's geometric application gives a uniform dimension-dependent Ricci lower bound under which a normalized positive scalar curvature bound forces simplicial volume to vanish — a macroscopic analogue of the microscopic conjecture.
  • Because the proof operates directly in singular homology, it supplies explicit estimates on the simplicial norm before sending ε to infinity, so the method quantifies how fast the norm can be driven to zero in terms of the curvature lower bounds and the group's decay function.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same index-theoretic template should work with any decay condition that is dominated by a subexponential Fourier-decay function; the Ingham condition is sufficient, not necessary, so other group invariants (e.g., a weighted ℓ² estimate tied to the growth function) could substitute without changing the proof's architecture.
  • Because the estimates are written before taking the limit ε → ∞, the argument yields explicit, dimension-dependent bounds on ||Â[k](TM) ∩ [M]||_{ℓ¹} in terms of the scalar-curvature lower bound and the group's decay function; this points toward a quantitative strengthening of the conjecture.
  • The theorem effectively upgrades the Lichnerowicz-type obstruction from a single characteristic number (the Â-genus) to an entire family of simplicial norms paired with group cohomology classes; testing these new invariants on known positive-scalar-curvature manifolds could reveal topological constraints not visible through the Â-genus alone.
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

3 major / 6 minor

Summary. The paper claims to prove Gromov's conjecture that a closed oriented manifold admitting a positive scalar curvature metric has vanishing simplicial volume, under the additional assumption that the fundamental group satisfies an Ingham decay property (Theorems 1.1 and 1.2). The proof uses a quantitative index theorem from the authors' preprint [43] to represent the fundamental class (and, more generally, Poincaré duals of the A-hat class) by cyclic traces of a finite-propagation idempotent. The central estimate, Proposition 4.2, bounds simplicial norms by a factor e^{CΦ(Cε+C)} times an operator norm; under positive scalar curvature, Ingham's theorem on Fourier decay is used to make this bound tend to zero as ε→∞. Section 5 extends the method to characteristic numbers paired with cohomology classes of Ingham growth. The abstract also promises a geometric application involving a universal negative Ricci lower bound, but no such result appears in the body.

Significance. If the main estimate is correct, this is a substantive advance: it proves Gromov's simplicial volume vanishing conjecture for a wide class of fundamental groups (in particular hyperbolic groups via property RD), and strengthens the conclusion to all Poincaré duals of the A-hat class. The paper is well structured, the Ingham lemma is proved essentially self-containedly, and the overall architecture — quantitative index theory plus Fourier decay — is convincing and likely repairable. It should be credited for making the group-theoretic hypothesis explicit and for avoiding heavy K-homology machinery. However, as printed, the proof of the key estimate in Proposition 4.2 is invalid, and the abstract advertises a Ricci-curvature application that is not proved in the text. These are load-bearing gaps that must be fixed before the paper can be accepted.

major comments (3)
  1. [Section 4.2, Eqs. (4.6)-(4.12)] The chain of inequalities used to prove the central estimate (4.4) is not correct as written. Combining (4.6)-(4.9) gives, for each σ, the sum over γ0=e, γ1,...,γm of ∏_{j=0}^m aε(γ_{σ(j)}^{-1}γ_{σ(j+1)}), with γ_{σ(m+1)}=γ_{σ(0)}. This is not |(aε*...*aε)(γ_{σ(0)})|; in fact the sum in (4.11) is infinite for infinite Γ because the summand depends only on one of the free γ variables. Even on the charitable reading, bounding the tuple sum by (m+1)!∥aε*...*aε∥_{ℓ2} drops the number of closed walks of length m+1 with steps in supp(aε). For hyperbolic Γ this count is roughly |B_{Cε+C}|^m, exponential in ε, and the subexponential factor e^{CΦ(Cε+C)} cannot absorb it. The repair is standard: for each σ the tuple sum collapses exactly to aε^{*(m+1)}(e), so the σ-sum is (m+1)! aε^{*(m+1)}(e), and this is at most (m+1)!∥aε∥_{C*}^m∥aε∥_2, recovering the right-hand side of (4.12). This cyclic-walk
  2. [Abstract, last sentence] The abstract promises a geometric application: in every dimension there exists a universal negative constant such that any closed oriented manifold with scalar curvature bounded below by a normalized positive constant and Ricci curvature bounded below by the universal constant has vanishing simplicial volume. No such statement is proved or even stated in the body; Section 5 concerns characteristic numbers and cocycles of Ingham growth, not Ricci lower bounds. This advertised result must either be stated and proved in the paper or removed from the abstract.
  3. [Section 3.3 and Section 4.2, indexing in Theorem 3.2 and Proposition 4.2] The indexing conventions need to be made precise to support the repair of (4.11). The sum in (3.19) is over γ0=γm+1=e and γ1,...,γm, but the chain δ(γ0,...,γm) has only m+1 entries and the trace product uses σ(m+1)=σ(0); the role of γ_{m+1}=e is unclear. In the cyclic collapse one must identify exactly which γ_i are free and which is constrained by γ0=e. The authors should parametrize the sum by the cyclic increments h_j=γ_{σ(j)}^{-1}γ_{σ(j+1)} and prove the bijection with {h_0...h_m=e}; without this, the claimed equality S_σ=aε^{*(m+1)}(e) is not formally justified.
minor comments (6)
  1. [Section 4.3, Eqs. (4.18)-(4.21)] The Fourier transform notation is inconsistent: in (4.18)-(4.21) the paper writes ψ_n where it means the Fourier transform, and in (4.22)-(4.24) qψ should be широко смотреть на рукопись.
  2. [Section 4.2, terminology] The term 'logarithmic decay rate function' is misleading for the sublinear Φ used in the Ingham condition; property RD is the logarithmic case Φ(i)=C log i + C. Consider renaming it 'Ingham decay rate function'.
  3. [Section 4.4, after Eq. (4.32)] The sentence 'we can choose the decay rate Ψ so that Ψ(cε) dominates CΦ(Cε+C)' should be justified: the chosen Ψ must also satisfy the Ingham conditions (4.16). This is true, but a short construction (e.g., Ψ(λ)=C'Φ(C''λ+C''') with adjusted constants) should be written out.
  4. [Section 5, Proposition 5.1] The claim that the preceding proof applies 'with only one modification' is too terse. After the repair of Proposition 4.2, one must check that the cocycle factor α(γ_{σ(k)},...,γ_{σ(0)}) is absorbed into the weighted convolution argument. This is probably routine, but it should be written out, or Proposition 5.1 should be moved to an appendix.
  5. [Section 3.3, Theorem 3.1] The paper relies on [43, Theorem 3.3] for the quantitative index theorem, which is load-bearing and is only quoted. Since [43] is a preprint, the authors should either include a proof sketch or state clearly that the main result depends on an external preprint.
  6. [Section 4.2, Eq. (4.13)] The identity ∑γ ∥Iε,γ,e∥_HS^2 = ∥∑γ Iε,γ,e∥_HS^2 uses the fact that the operators Iε,γ,e have orthogonal ranges on the distinct fundamental domains γF; this should be stated explicitly.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found; the proof is conditional on a cited quantitative index theorem and an external decay hypothesis, neither of which builds in the target vanishing conclusion.

full rationale

The derivation chain is: Theorem 3.1 (quantitative index theorem from [43]) expresses f_*[M] via traces of the finite-propagation idempotent I_epsilon; Proposition 4.2 bounds the resulting simplicial norm by e^{CPhi(Cepsilon+C)} times an operator norm; Theorem 4.4 uses positive scalar curvature to force the operator norm to decay, with the Ingham decay property (an externally defined group-theoretic hypothesis) supplying the Phi that can be dominated by Ingham's smooth-function decay. None of these steps defines the target quantity in terms of itself or fits a parameter to the claimed conclusion. The Ingham property (1.7)-(1.8) is an input hypothesis, not an output of the proof, and the simplicial-norm vanishing is not assumed in the estimate. The same-author citation [43] is load-bearing for the index formula, but it is a quoted theorem with an independent proof in the cited preprint and is not a renaming or ansatz that builds the conclusion into the input; self-citation alone is not circularity. The possible issue in the step from (4.11) to (4.12) is a question of whether the tuple count is bounded as written; that is a mathematical correctness concern, not a circularity, because it does not make the conclusion equivalent to an input. Score 0.

Assumptions & free parameters 1 free parameters · 7 assumptions · 0 invented entities

The genuinely new content is the Ingham decay condition plus the rate-matching argument of Section 4.4; everything else is either classical (Gromov's mapping theorem, Schroedinger-Lichnerowicz, Ingham's theorem) or imported from the same authors' preprint [43] (quantitative index theorem, epsilon-homology, Sobolev trace bound). The hypothesis itself (1.7)-(1.8) is an external condition, not an output of the proof, so the ledger is small; its entries reflect that the theorem's proof as written is contingent on unverified same-author machinery and on a combinatorial counting step that is defective as printed.

free parameters (1)
  • Dominant Ingham decay function Psi = none (existence argument)
    In Section 4.4, Psi is chosen after the fact so that Psi(c epsilon) dominates C Phi(C epsilon + C). This is standard analytic dominance, not data fitting: Ingham's theorem guarantees existence of compactly supported smooth functions with decay e^{-Psi}, for any Ingham-type Psi. Listed for exhaustiveness because the freedom in choosing Psi is what lets the estimate close.
assumptions (7)
  • domain assumption Theorem 3.1 (quantitative index theorem) = [43, Theorem 3.3]: f^{epsilon,0}(Ahat[m-k](TM) cap [M]) = Ch^epsilon_k(D_{fM}) and the cyclic-trace expansion of f_*([M]), eqs. (3.19)-(3.20).
    Load-bearing: every simplicial-norm estimate starts from this identity. Imported verbatim from the same authors' preprint arXiv:2508.14791, with no proof in this paper. Correctness depends on the epsilon-homology and Connes-Chern chain constructions of [43].
  • standard math Gromov's mapping theorem (Prop. 4.1): ||omega||_{l1} = ||f_*omega||_{l1} for the classifying map.
    Used to transfer simplicial-norm estimates from M to B Gamma. Cited to Gromov [23]; standard result, proof sketch given.
  • standard math Ingham's theorem (Prop. 4.3): for Psi increasing to infinity with Psi(lambda)/lambda decreasing to 0 and integral of Psi(lambda)/lambda^2 finite, there exists nonzero psi in C_c^infty(R) with |psi-hat(lambda)| <= e^{-Psi(|lambda|)}.
    The 'if' direction is sketched in (4.18)-(4.24), but the displayed inequalities are compressed and partially corrupted in the provided text. The quantitative version used to dominate C Phi(C epsilon + C) is the engine of Section 4.4.
  • standard math Schroedinger-Lichnerowicz formula (3.4): D_{fM}^2 = Delta + (1/4) Sc, giving the spectral gap (4.27) under Sc >= c0 > 0.
    Classical; the only input from positive scalar curvature. It converts PSC into the compact-support functional-calculus decay used in (4.28).
  • domain assumption Local Sobolev trace estimate (4.14): |Tr[I_epsilon* I_epsilon (x,x)]| <= C ||(1 + D^2)^i I_epsilon* I_epsilon||.
    Asserted with 'local Sobolev estimates imply'; not proved. Needed to bound ||a_epsilon||_{l2} (4.13) by the operator-norm factor that Ingham decay later controls.
  • standard math Epsilon-homology interpolation (Prop. 2.2): H^epsilon_*(fM, Gamma) is isomorphic to H_*(M) for 0 < epsilon < r(M), and f^{infty,epsilon} f^{epsilon,0} = f_* (eq. (2.28)).
    Rips-type contractibility argument: for epsilon below the homological radius r(M), epsilon-diagonals can be filled equivariantly. Proof is sketched; standard and plausible, but the equivariant filling of diag_epsilon is nontrivial.
  • domain assumption Ingham decay hypothesis (1.7)-(1.8): ||a||^2_{C*_r(Gamma)} <= sum_gamma e^{Phi(|gamma|_w)} |a(gamma)|^2 with Phi satisfying (1.7).
    The paper's new hypothesis. Strictly weaker than property RD (Phi = C ln i) but stronger than the unconditional linear estimate (Phi(i) = Ci + C). The paper gives no example separating it from RD, so its breadth is open.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Gromov's Simplicial Volume Vanishing Conjecture for Positive Scalar Curvature and Fundamental Group Decay." pith.science (2026). https://pith.science/paper/W4QGX4JN

@misc{pith2026260629135,
  author       = {Pith},
  title        = {Pith review of: Gromov's Simplicial Volume Vanishing Conjecture for Positive Scalar Curvature and Fundamental Group Decay},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/W4QGX4JN}},
  note         = {Machine review of arXiv:2606.29135}
}
read the original abstract

A conjecture of Gromov predicts that every closed oriented manifold admitting a metric of positive scalar curvature has vanishing simplicial volume. In this paper, we prove this conjecture under a mild decay condition on the fundamental group. As a geometric application, we show that, in every dimension, there exists a universal negative constant such that any closed oriented manifold whose scalar curvature is bounded below by a normalized positive constant and whose Ricci curvature is bounded below by the universal constant has vanishing simplicial volume.

Review history (3 revisions) →

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

70 extracted references · 2 linked inside Pith

  1. [43]

    Ma and G

    Q. Ma and G. Yu. Small scale index theory, scalar curvature, and gromov’s simplicial norms. arXiv: 2508.14791 , 2025

    arXiv 2025

  2. [1]

    Alpert, A

    H. Alpert, A. Balitskiy, and L. Guth. Macroscopic scalar curvature and codimension 2 width. J. Topol. Anal. , 16(6):979–987, 2024

    2024

  3. [2]

    Alpert, A

    H. Alpert, A. Balitskiy, and L. Guth. Systolic almost-rigidity modulo 2. J. Eur. Math. Soc. (JEMS) , 28(4):1443–1455, 2026

    2026

  4. [3]

    Alpert and K

    H. Alpert and K. Funano. Macroscopic scalar curvature and areas of cycles. Geom. Funct. Anal., 27(4):727–743, 2017

    2017

  5. [4]

    Bergeron, M

    N. Bergeron, M. H. Şengün, and A. Venkatesh. Torsion homology growth and cycle complexity of arithmetic manifolds. Duke Math. J. , 165(9):1629–1693, 2016

    2016

  6. [5]

    Block and S

    J. Block and S. Weinberger. Aperiodic tilings, positive scalar curvature and amenabil- ity of spaces. J. Amer. Math. Soc. , 5(4):907–918, 1992

    1992

  7. [6]

    Block and S

    J. Block and S. Weinberger. Arithmetic manifolds of positive scalar curvature. J. Differential Geom., 52(2):375–406, 1999

    1999

  8. [7]

    Braun and R

    S. Braun and R. Sauer. Volume and macroscopic scalar curvature. Geom. Funct. Anal., 31(6):1321–1376, 2021

    2021

Show all 70 references
  1. [8]

    J. F. Brock and N. M. Dunfield. Norms on the cohomology of hyperbolic 3-manifolds. Invent. Math. , 210(2):531–558, 2017

    2017

  2. [9]

    Chatterji

    I. Chatterji. Property (RD) for cocompact lattices in a finite product of rank one Lie groups with some rank two Lie groups. Geom. Dedicata, 96:161–177, 2003

    2003

  3. [10]

    Chatterji

    I. Chatterji. Introduction to the rapid decay property. In Around Langlands correspon- dences, volume 691 of Contemp. Math. , pages 53–72. Amer. Math. Soc., Providence, RI, 2017

    2017

  4. [11]

    Chodosh and C

    O. Chodosh and C. Li. Generalized soap bubbles and the topology of manifolds with positive scalar curvature. Ann. of Math. (2) , 199(2):707–740, 2024

    2024

  5. [12]

    Connell and S

    C. Connell and S. Wang. Homological norms on nonpositively curved manifolds. Com- ment. Math. Helv. , 97(4):801–825, 2022

    2022

  6. [13]

    A. Connes. Noncommutative differential geometry. Inst. Hautes Études Sci. Publ. Math., (62):257–360, 1985. 21

    1985

  7. [14]

    A. Connes. Cyclic cohomology and the transverse fundamental class of a foliation. In Geometric methods in operator algebras (Kyoto, 1983) , volume 123 of Pitman Res. Notes Math. Ser. , pages 52–144. Longman Sci. Tech., Harlow, 1986

    1983

  8. [15]

    A. Connes. Noncommutative geometry. Academic Press, Inc., San Diego, CA, 1994

    1994

  9. [16]

    Connes and H

    A. Connes and H. Moscovici. Cyclic cohomology, the Novikov conjecture and hyper- bolic groups. Topology, 29(3):345–388, 1990

    1990

  10. [17]

    de la Harpe

    P. de la Harpe. Groupes hyperboliques, algèbres d’opérateurs et un théorème de Jolissaint. C. R. Acad. Sci. Paris Sér. I Math. , 307(14):771–774, 1988

    1988

  11. [18]

    Druţu and M

    C. Druţu and M. Sapir. Relatively hyperbolic groups with rapid decay property. Int. Math. Res. Not. , (19):1181–1194, 2005

    2005

  12. [19]

    S. K. Elayavalli, G. Patchell, and L. Teryoshin. Some remarks on decay in countable groups and amalgamated free products. arXiv: 2509.08754 , 2025

    2025 arXiv

  13. [20]

    S. Gong, J. Wu, and G. Yu. The Novikov conjecture, the group of volume preserving diffeomorphisms and Hilbert-Hadamard spaces. Geom. Funct. Anal. , 31(2):206–267, 2021

    2021

  14. [21]

    M. Gromov. No metrics with positive scalar curvatures on aspherical 5-manifolds. arXiv: 2009.05332

    2009 arXiv

  15. [22]

    M. Gromov. Hyperbolic manifolds (according to Thurston and Jørgensen). In Bour- baki Seminar, Vol. 1979/80 , volume 842 of Lecture Notes in Math. , pages 40–53. Springer, Berlin, 1981

    1979

  16. [23]

    M. Gromov. Volume and bounded cohomology. Inst. Hautes Études Sci. Publ. Math. , (56):5–99, 1982

    1982

  17. [24]

    M. Gromov. Large Riemannian manifolds. In Curvature and topology of Riemannian manifolds (Katata, 1985) , volume 1201 of Lecture Notes in Math. , pages 108–121. Springer, Berlin, 1986

    1985

  18. [25]

    M. Gromov. Four lectures on scalar curvature. In Perspectives in scalar curvature. Vol. 1, pages 1–514. World Sci. Publ., Hackensack, NJ, [2023] ©2023

    2023

  19. [26]

    Gromov and H

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

    1980

  20. [27]

    Gromov and H

    M. Gromov and H. B. Lawson, Jr. The classification of simply connected manifolds of positive scalar curvature. Ann. of Math. (2) , 111(3):423–434, 1980

    1980

  21. [28]

    Gromov and H

    M. Gromov and H. B. Lawson. Positive scalar curvature and the Dirac operator on complete Riemannian manifolds. Inst. Hautes Études Sci. Publ. Math. , (58):83–196, 1983

    1983

  22. [29]

    Guentner, R

    E. Guentner, R. Tessera, and G. Yu. A notion of geometric complexity and its appli- cation to topological rigidity. Invent. Math. , 189(2):315–357, 2012

    2012

  23. [30]

    L. Guth. Metaphors in systolic geometry. In Proceedings of the International Congress of Mathematicians. Volume II , pages 745–768. Hindustan Book Agency, New Delhi, 2010

    2010

  24. [31]

    L. Guth. Volumes of balls in large Riemannian manifolds. Ann. of Math. (2) , 173(1):51–76, 2011

    2011

  25. [32]

    Haagerup

    U. Haagerup. An example of a nonnuclear C ∗-algebra, which has the metric approx- imation property. Invent. Math. , 50(3):279–293, 1978/79

    1978

  26. [33]

    A. Hatcher. Algebraic topology. Cambridge University Press, Cambridge, 2002

    2002

  27. [34]

    A. E. Ingham. A Note on Fourier Transforms. J. London Math. Soc. , 9(1):29–32, 1934

    1934

  28. [35]

    Jolissaint

    P. Jolissaint. K-theory of reduced C ∗-algebras and rapidly decreasing functions on groups. K-Theory, 2(6):723–735, 1989

    1989

  29. [36]

    Jolissaint

    P. Jolissaint. Rapidly decreasing functions in reduced C ∗-algebras of groups. Trans. Amer. Math. Soc. , 317(1):167–196, 1990

    1990

  30. [37]

    Lafforgue

    V. Lafforgue. A proof of property (RD) for cocompact lattices of SL(3, R) and SL(3, C). J. Lie Theory , 10(2):255–267, 2000. 22

    2000

  31. [38]

    Lafforgue

    V. Lafforgue. K-théorie bivariante pour les algèbres de Banach et conjecture de Baum- Connes. Invent. Math. , 149(1):1–95, 2002

    2002

  32. [39]

    J.-F. c. Lafont and B. Schmidt. Simplicial volume of closed locally symmetric spaces of non-compact type. Acta Math. , 197(1):129–143, 2006

    2006

  33. [40]

    Lichnerowicz

    A. Lichnerowicz. Spineurs harmoniques. C. R. Acad. Sci. Paris , 257:7–9, 1963

    1963

  34. [41]

    C. Löh, M. Moraschini, and G. Raptis. On the simplicial volume and the Euler characteristic of (aspherical) manifolds. Res. Math. Sci. , 9(3):Paper No. 44, 36, 2022

    2022

  35. [42]

    W. Lück. L2-invariants: theory and applications to geometry and K-theory, volume 44 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mat...

    2002

  36. [44]

    P. W. Nowak and G. Yu. Large scale geometry. EMS Textbooks in Mathematics. EMS Press, Berlin, second edition, [2023] ©2023

    2023

  37. [45]

    Oyono-Oyono and G

    H. Oyono-Oyono and G. Yu. On quantitative operator K-theory. Ann. Inst. Fourier (Grenoble), 65(2):605–674, 2015

    2015

  38. [46]

    Ramagge, G

    J. Ramagge, G. Robertson, and T. Steger. A Haagerup inequality for eA1 × eA1 and eA2 buildings. Geom. Funct. Anal. , 8(4):702–731, 1998

    1998

  39. [47]

    J. Roe. Partitioning noncompact manifolds and the dual Toeplitz problem. In Oper- ator algebras and applications, Vol. 1 , volume 135 of London Math. Soc. Lecture Note Ser., pages 187–228. Cambridge Univ. Press, Cambridge, 1988

    1988

  40. [48]

    J. Roe. Coarse cohomology and index theory on complete Riemannian manifolds. Mem. Amer. Math. Soc. , 104(497):x+90, 1993

    1993

  41. [49]

    Rosenberg

    J. Rosenberg. C ∗-algebras, positive scalar curvature, and the Novikov conjecture. Inst. Hautes Études Sci. Publ. Math. , (58):197–212, 1983

    1983

  42. [50]

    Rosenberg

    J. Rosenberg. C ∗-algebras, positive scalar curvature and the Novikov conjecture. II. In Geometric methods in operator algebras (Kyoto, 1983) , volume 123 of Pitman Res. Notes Math. Ser. , pages 341–374. Longman Sci. Tech., Harlow, 1986

    1983

  43. [51]

    Rosenberg and S

    J. Rosenberg and S. Stolz. Metrics of positive scalar curvature and connections with surgery. In Surveys on surgery theory, Vol. 2 , volume 149 of Ann. of Math. Stud. , pages 353–386. Princeton Univ. Press, Princeton, NJ, 2001

    2001

  44. [52]

    W. Rudin. Functional analysis. International Series in Pure and Applied Mathematics. McGraw-Hill, Inc., New York, second edition, 1991

    1991

  45. [53]

    Schoen and S

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

    1979

  46. [54]

    Schoen and S

    R. Schoen and S. T. Yau. On the proof of the positive mass conjecture in general relativity. Comm. Math. Phys. , 65(1):45–76, 1979

    1979

  47. [55]

    Schoen and S.-T

    R. Schoen and S.-T. Yau. The structure of manifolds with positive scalar curvature. In Directions in partial differential equations (Madison, WI, 1985) , volume 54 of Publ. Math. Res. Center Univ. Wisconsin , pages 235–242. Academic Press, Boston, MA, 1987

    1985

  48. [56]

    Schrödinger

    E. Schrödinger. Republication of: Dirac electron in the gravitational field I. Gen. Relativity Gravitation, 52(1):Paper No. 4, 25, 2020. Translated from the 1932 German original by Claus Kiefer

    2020

  49. [57]

    S. Stolz. Simply connected manifolds of positive scalar curvature. Ann. of Math. (2) , 136(3):511–540, 1992

    1992

  50. [58]

    W. P. Thurston. Three-dimensional geometry and topology. Vol. 1 , volume 35 of Princeton Mathematical Series . Princeton University Press, Princeton, NJ, 1997

    1997

  51. [59]

    A. Valette. On the Haagerup inequality and groups acting on eAn-buildings. Ann. Inst. Fourier (Grenoble) , 47(4):1195–1208, 1997. 23

    1997

  52. [60]

    A. Valette. Introduction to the Baum-Connes conjecture . Lectures in Mathematics ETH Zürich. Birkhäuser Verlag, Basel, 2002. From notes taken by Indira Chatterji, With an appendix by Guido Mislin

    2002

  53. [61]

    J. Wang, Z. Xie, and G. Yu. Decay of scalar curvature on uniformly contractible manifolds with finite asymptotic dimension. Comm. Pure Appl. Math. , 77(1):372– 440, 2024

    2024

  54. [62]

    J. Wang, Z. Xie, and G. Yu. A proof of Gromov’s cube inequality on scalar curvature. J. Differential Geom. , 128(3):1285–1300, 2024

    2024

  55. [63]

    Willett and G

    R. Willett and G. Yu. Higher index theory , volume 189 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2020

    2020

  56. [64]

    E. Witten. A new proof of the positive energy theorem. Comm. Math. Phys. , 80(3):381–402, 1981

    1981

  57. [65]

    G. Yu. Cyclic cohomology and higher indices for noncompact complete manifolds. J. Funct. Anal., 133(2):442–473, 1995

    1995

  58. [66]

    G. Yu. The Novikov conjecture for groups with finite asymptotic dimension. Ann. of Math. (2) , 147(2):325–355, 1998

    1998

  59. [67]

    G. Yu. The coarse Baum-Connes conjecture for spaces which admit a uniform em- bedding into Hilbert space. Invent. Math. , 139(1):201–240, 2000

    2000

  60. [68]

    G. Yu. The Novikov conjecture for algebraic K-theory of the group algebra over the ring of Schatten class operators. Adv. Math. , 307:727–753, 2017

    2017

  61. [69]

    W. Zhang. Positive scalar curvature on foliations. Ann. of Math. (2) , 185(3):1035– 1068, 2017

    2017

  62. [70]

    W. Zhang. Nonnegative scalar curvature and area decreasing maps. SIGMA Symmetry Integrability Geom. Methods Appl. , 16:Paper No. 033, 7, 2020. 1Department of Mathematics, Texas A&M University

    2020

Pith tools

Reviewed August 2, 2026 · model on record in the stance chip above.