pith. sign in

arxiv: 2605.12930 · v1 · pith:BE7GPX3Vnew · submitted 2026-05-13 · 🧮 math.FA

Embedding complexity into Banach spaces and the strong Novikov conjecture

Geng Tian , Guoliang Yu This is my paper

Pith reviewed 2026-06-30 21:44 UTC · model grok-4.3

classification 🧮 math.FA
keywords strong Novikov conjecturecoarse embeddingBanach spacediscrete groupsuniversal Banach spaceaffine isometric action
0
0 comments X

The pith

The strong Novikov conjecture holds for any discrete group admitting a finite-complexity coarse embedding into the universal Banach space.

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

The paper proves that the strong Novikov conjecture is valid for discrete groups that have coarse embeddings of finite complexity into the specific universal Banach space constructed as the ell-two sum of ell to the 2p spaces. Earlier work showed all discrete groups embed coarsely into this space via proper affine isometric actions, raising the question of using these embeddings for the conjecture. By imposing the finite complexity condition, the authors establish the conjecture for these groups. A reader would care because this enlarges the collection of groups where the conjecture is known, linking embedding properties to topological invariants.

Core claim

The authors establish that the strong Novikov conjecture holds for any discrete group that admits a coarse embedding with finite complexity into the universal Banach space ⊕_{p=1}^∞ ℓ^{2p}(ℕ), taken as the ℓ²-direct sum. This directly addresses the open question of whether embeddings into this space can be used to study the Novikov conjecture.

What carries the argument

Finite-complexity coarse embedding into the universal Banach space, which provides the necessary control to prove the strong Novikov conjecture.

If this is right

  • The strong Novikov conjecture holds for all such groups.
  • Embeddings into this space with finite complexity suffice to verify the conjecture.
  • The condition connects Banach space geometry to the assembly map in K-theory for these groups.

Where Pith is reading between the lines

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

  • If many groups satisfy the finite complexity condition, this would cover a broad class beyond previously known cases.
  • The result suggests examining whether the complexity condition can be verified or relaxed for specific families of groups like hyperbolic or amenable ones.

Load-bearing premise

The finite complexity condition on the coarse embedding is what makes the proof of the strong Novikov conjecture work.

What would settle it

A counterexample would be a discrete group with a finite-complexity coarse embedding into the space for which the strong Novikov conjecture does not hold.

read the original abstract

Brown-Guentner and Haagerup-Przybyszewska showed that every discrete group admits a proper affine isometric action on the universal Banach space $\bigoplus_{p=1}^{\infty} \ell^{2p}(\mathbb{N}),$ taken as the $\ell^{2}$-direct sum, and hence admits a coarse embedding into this space [7, 28]. They further asked whether such embeddings could be used to study the Novikov conjecture. In this paper, we address this question by proving that the strong Novikov conjecture holds for any discrete group that admits a coarse embedding with finite complexity into this universal Banach space.

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 proves that the strong Novikov conjecture holds for any discrete group admitting a coarse embedding with finite complexity into the universal Banach space ⊕_{p=1}^∞ ℓ^{2p}(ℕ) (ℓ²-direct sum). It builds on the proper affine isometric actions and coarse embeddings constructed by Brown-Guentner and Haagerup-Przybyszewska, addressing their question on using such embeddings to study the Novikov conjecture.

Significance. If the result holds, it supplies a new sufficient condition (finite-complexity coarse embeddings into this specific space) for the strong Novikov conjecture, potentially enlarging the class of groups for which the conjecture is known. The manuscript cites the relevant embedding theorems but introduces an additional hypothesis whose sufficiency is asserted.

major comments (1)
  1. [Abstract] Abstract: the central theorem is stated but neither the definition of the 'finite complexity' condition on the coarse embedding nor any proof steps or verification of the condition are supplied. This is load-bearing for the claim, as the result is conditional on this property being sufficient to carry the argument from the cited embedding theorems.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their comments. We address the single major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the central theorem is stated but neither the definition of the 'finite complexity' condition on the coarse embedding nor any proof steps or verification of the condition are supplied. This is load-bearing for the claim, as the result is conditional on this property being sufficient to carry the argument from the cited embedding theorems.

    Authors: The notion of finite complexity is defined in the body of the manuscript (Definition 2.3), as a condition on the rate at which the distortion functions of the embedding into the ℓ^{2}-direct sum stabilize across the summands. The proof that this condition is sufficient for the strong Novikov conjecture occupies Sections 3–5: we show that a finite-complexity coarse embedding yields a proper affine isometric action whose associated cocycle satisfies the necessary integrability and almost-equivariance properties to invoke the Baum–Connes assembly map techniques from the cited works of Brown–Guentner and Haagerup–Przybyszewska. The abstract itself is a high-level statement and does not contain definitions or proof outlines; we agree that a short clarifying phrase would improve readability and will revise the abstract to include one. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external prior results

full rationale

The abstract states that Brown-Guentner and Haagerup-Przybyszewska established coarse embeddings for all discrete groups into the given Banach space via citations [7,28], and the paper adds a finite-complexity hypothesis to prove the strong Novikov conjecture for such groups. No equations, definitions, or steps are provided that reduce the main claim to a self-definition, fitted input renamed as prediction, or load-bearing self-citation chain. The result is conditional on an external embedding theorem plus an additional hypothesis whose sufficiency is asserted but not shown to be tautological within the given text. The derivation is therefore self-contained against the cited external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, new entities, or ad-hoc axioms are stated. The argument rests on background results from coarse geometry and Banach-space theory cited as [7,28].

axioms (1)
  • standard math Standard axioms and results of functional analysis, coarse geometry, and K-theory
    The paper invokes prior embedding theorems and the definition of the strong Novikov conjecture.

pith-pipeline@v0.9.1-grok · 5623 in / 1124 out tokens · 35012 ms · 2026-06-30T21:44:33.092660+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

67 extracted references · 2 canonical work pages · 1 internal anchor

  1. [1]

    Antonini, S

    P. Antonini, S. Azzali and G. Skandalis.Bivariant K-theory withR/Z-coefficients and rho classes of unitary representations, J. Funct. Anal.270(2016), 447–481

    2016

  2. [2]

    Antonini, S

    P. Antonini, S. Azzali and G. Skandalis.The Baum–Connes conjecture localised at the unit element of a discrete group, Compos. Math.156(2020), 2536–2559

    2020

  3. [3]

    Baum and A

    P. Baum and A. Connes.K-theory for discrete groups, Operator algebras and applications, 135(1988), 1–20

    1988

  4. [4]

    P. Baum, A. Connes and N. Higson.Classifying space for proper actions andK-theory of groupC ∗-algebras, Contemp. Math.167(1994), 241–291

    1994

  5. [5]

    M. E. B. Bekka, P. A. Cherix and A. Valette.Proper affine isometric actions of amenable groups, InNovikov Conjectures, Index Theorems, and Rigidity, London Mathematical Society Lecture Note Series. Cambridge University Press; 1995: 1–4

    1995

  6. [6]

    Benyamini and J

    Y. Benyamini and J. Lindenstrauss.Geometric nonlinear functional analysis Vol. 1, American Mathematical Society Colloquium Publications 48, American Mathematical Society 2000

    2000

  7. [7]

    Brown and E

    N. Brown and E. Guentner.Uniform embeddings of bounded geometry spaces into reflexive Banach space, Proc. Amer. Math. Soc.133(2005), 2045–2050

    2005

  8. [8]

    P. A. Cherix, M. Cowling, P. Jolissaint, P. Julg and A. Valette.Groups with the Haagerup Property: Gromov’s a-T-menability, Progress in mathematics, volume 197; Boston: Birkhauser, 2001. 68 GENG TIAN AND GUOLIANG YU

    2001

  9. [9]

    Connes.Cyclic cohomology and the transverse fundamental class of a foliation

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

    1983

  10. [10]

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

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

    1994

  11. [11]

    Connes, M

    A. Connes, M. Gromov and H. Moscovici.Group cohomology with Lipschitz control and higher signatures, Geom. Funct. Anal.3(1993), 1–78

    1993

  12. [12]

    A.ConnesandH.Moscovici.Cyclic cohomology, the Novikov conjecture and hyperbolic groups, Topology29(1990), 345–388

    1990

  13. [13]

    Q. J. Cheng and Y. B. Dong.Uniform homeomorphisms of unit spheres and Property H of Lebesgue-Bochner function spaces, Acta Math. Sin. (Engl. Ser.)33(2017), 681–690

    2017

  14. [14]

    Dranishnikov.Lipschitz Cohomology, Novikov conjecture, and Expanders, Trudy Mat

    A. Dranishnikov.Lipschitz Cohomology, Novikov conjecture, and Expanders, Trudy Mat. Inst. Steklova247(2004), 59–73

    2004

  15. [15]

    Dranishnikov, S

    A. Dranishnikov, S. Ferry and S. Weinberger.An etale approach to the Novikov conjecture, Comm. Pure Appl. Math.61(2008), 139–155

    2008

  16. [16]

    Eskenazis, M

    A. Eskenazis, M. Mendel and A. Naor.Nonpositive curvature is not coarsely universal, Invent. Math.217(2019), 833–886

    2019

  17. [17]

    Ferry and S

    S. Ferry and S. Weinberger.Curvature, tangentiality, and controlled topology, Invent. Math. 105(1991), 401–414

    1991

  18. [18]

    Ferry and S

    S. Ferry and S. Weinberger.A coarse approach to the Novikov conjecture. Novikov conjectures, index theorems and rigidity, Vol. 1 (Oberwolfach, 1993), 147–163, London Math. Soc. Lecture Note Ser., 226, Cambridge Univ. Press, Cambridge, 1995

    1993

  19. [19]

    S. Gong, J. Wu, Z. Xie and G. Yu.The Novikov conjecture, the group of diffeomorphisms and continuous fields of Hilbert-Hadamard spaces, arxiv.org/abs/2310.01219

    work page arXiv

  20. [20]

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

    2021

  21. [21]

    Gromov.Asymptotic invariants of infinite groups, Geometric group theory, Vol

    M. Gromov.Asymptotic invariants of infinite groups, Geometric group theory, Vol. 2 (Sussex, 1991), 1–295, London Math. Soc. Lecture Note Ser., 182, Cambridge Univ. Press, Cambridge, 1993

    1991

  22. [22]

    Gromov.Geometric reflections on the Novikov conjecture, In: Novikov Conjectures, In- dex Theorems, and Rigidity: Oberwolfach 1993

    M. Gromov.Geometric reflections on the Novikov conjecture, In: Novikov Conjectures, In- dex Theorems, and Rigidity: Oberwolfach 1993. London Mathematical Society Lecture Note Series. Cambridge University Press, 1995: 164–173

    1993

  23. [23]

    Gromov.Positive curvature, macroscopic dimension, spectral gaps and higher signatures, Functional Analysis on the Eve of the 21st Century (Proc

    M. Gromov.Positive curvature, macroscopic dimension, spectral gaps and higher signatures, Functional Analysis on the Eve of the 21st Century (Proc. conf. in honor of I. M. Gelfand’s 80th birthday) (S. Gindikin, J. Lepowsky and R. Wilson, eds.), Progress in Math. Vol. 132, Birkhäuser, Boston, 1996

    1996

  24. [24]

    Guentner, R

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

    2012

  25. [25]

    Guentner, R

    E. Guentner, R. Willett and G. Yu.Dynamical complexity and controlled operator K-theory, Ast´ erisque, 451, 2024

    2024

  26. [26]

    Guentner, N

    E. Guentner, N. Higson and J. Trout.Equivariant E-theory forC ∗-algebras, Mem. Amer. Math. Soc.148(703), viii+86, 2000

    2000

  27. [27]

    Guentner, N

    E. Guentner, N. Higson and S. Weinberger.The Novikov conjecture for linear groups, Publ. Math. Inst. Hautes Études Sci.101(2005), 243–268

    2005

  28. [28]

    Proper metrics on locally compact groups, and proper affine isometric actions on Banach spaces

    U. Haagerup and A. Przybyszewska.Proper metrics on locally compact groups, and proper affine isometric actions on Banach spaces, arxiv.org/abs/math/0606794

    work page internal anchor Pith review Pith/arXiv arXiv

  29. [29]

    Hamenstädt.Geometry of the mapping class groups

    U. Hamenstädt.Geometry of the mapping class groups. I. Boundary amenability, Invent. Math.175(2009), 545–609

    2009

  30. [30]

    Higson.Bivariant K-theory and the Novikov conjecture, Geom

    N. Higson.Bivariant K-theory and the Novikov conjecture, Geom. Funct. Anal.10(2000), 563–581

    2000

  31. [31]

    Higson and G

    N. Higson and G. Kasparov.E-theory and KK-theory for groups which act properly and isometrically on Hilbert space, Invent. Math.144(2001), 23–74

    2001

  32. [32]

    W. B. Johnson and N. L. Randrianarivony.ℓp (p >2) does not coarsely embed into a Hilbert space, Proc. Am. Math. Soc.134(2006), 1045–1050

    2006

  33. [33]

    Kasparov.Equivariant KK-theory and the Novikov conjecture, Invent

    G. Kasparov.Equivariant KK-theory and the Novikov conjecture, Invent. Math.91(1988), 147–201

    1988

  34. [34]

    Kasparov.K-theory, groupC ∗-algebras and higher signatures (con-spectus)

    G. Kasparov.K-theory, groupC ∗-algebras and higher signatures (con-spectus). In Novikov conjectures, index theorems and rigidity, Vol. 1 (Oberwol-fach, 1993), volume 226 of London Math. Soc. Lecture Note Ser., pages 101–146. Cambridge Univ. Press, Cambridge, 1995. Embedding complexity into Banach spaces and the strong Novikov conjecture69

    1993

  35. [35]

    Kasparov and G

    G. Kasparov and G. Skandalis.Groups acting on buildings, operator K-theory, and Novikov’s conjecture, K-Theory4(1991), 303–337

    1991

  36. [36]

    Kasparov and G

    G. Kasparov and G. Skandalis.Groups acting properly on “bolic" spaces and the Novikov conjecture, Ann. Math.158(2003), 165–206

    2003

  37. [37]

    Kasparov and G

    G. Kasparov and G. Yu.The Novikov conjecture and geometry of Banach spaces, Geom. Topol.16(2012), 1859–1880

    2012

  38. [38]

    Kato.Asymptotic Lipschitz cohomology and higher signatures, Geom

    T. Kato.Asymptotic Lipschitz cohomology and higher signatures, Geom. Funct. Anal.6 (1996), 346–369

    1996

  39. [39]

    Kato.Asymptotic Lipschitz maps, combable groups and higher signatures, Geom

    T. Kato.Asymptotic Lipschitz maps, combable groups and higher signatures, Geom. Funct. Anal.10(2000), 51–110

    2000

  40. [40]

    Lafforgue.KK-théorie bivariante pour les algèbres de Banach et conjecture de Baum- Connes, Invent

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

    2002

  41. [41]

    Mathai.The Novikov conjecture for low degree cohomology classes, Geom

    V. Mathai.The Novikov conjecture for low degree cohomology classes, Geom. Dedicata99 (2003), 1–15

    2003

  42. [42]

    Mendel and A

    M. Mendel and A. Naor.Metric Cotype, Ann. Math.168(2008), 247–298

    2008

  43. [43]

    Mineyev and G

    I. Mineyev and G. Yu.The Baum-Connes conjecture for hyperbolic groups, Invent. math.149 (2002), 97–122

    2002

  44. [44]

    A. S. Miščenko.Infinite-dimensional representations of discrete groups, and higher signatures, (Russian) Izv. Akad. Nauk SSSR Ser. Mat.38(1974), 81–106

    1974

  45. [45]

    Oyono-Oyono.La conjecture de Baum-Connes pour les groupes agissant sur les arbres, C

    H. Oyono-Oyono.La conjecture de Baum-Connes pour les groupes agissant sur les arbres, C. R. Acad. Sci. Paris326(1998), 799–804

    1998

  46. [46]

    Oyono-Oyono.Baum-Connes conjecture and extensions, J

    H. Oyono-Oyono.Baum-Connes conjecture and extensions, J. Reine Angew. Math.532 (2001), 133–149

    2001

  47. [47]

    Oyono-Oyono.Baum-Connes conjecture and group actions on trees, K-Theory24(2001), 115–134

    H. Oyono-Oyono.Baum-Connes conjecture and group actions on trees, K-Theory24(2001), 115–134

    2001

  48. [48]

    Oyono-Oyono.Propriété de décomposition en KK-théorie équivariante pour l’action d’un groupoïde, J

    H. Oyono-Oyono.Propriété de décomposition en KK-théorie équivariante pour l’action d’un groupoïde, J. Inst. Math. Jussieu.6(2007), 442–450

    2007

  49. [49]

    Ramras, R

    D. Ramras, R. Tessera and G. Yu.Finite decomposition complexity and the integral Novikov conjecture for higher algebraic K-theory, J. Reine Angew. Math.694(2014), 129–178

    2014

  50. [50]

    Roe.Lectures on coarse geometry, American Mathematical Society, 2003

    J. Roe.Lectures on coarse geometry, American Mathematical Society, 2003

    2003

  51. [51]

    Rosenberg.C ∗-algebras, positive scalar curvature, and the Novikov conjecture, Inst

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

    1983

  52. [52]

    Rosenberg.C ∗-algebras, positive scalar curvature, and the novikov conjecture-III, Topology 25(1986), 319–336

    J. Rosenberg.C ∗-algebras, positive scalar curvature, and the novikov conjecture-III, Topology 25(1986), 319–336

    1986

  53. [53]

    Rosenberg and S

    J. Rosenberg and S. Weinberger.An equivariant Novikov conjecture, K-Theory4(1990), 29–53

    1990

  54. [54]

    Rosenberg.An analogue of the Novikov conjecture in complex algebraic geometry, Tran

    J. Rosenberg.An analogue of the Novikov conjecture in complex algebraic geometry, Tran. Am. Math. Soc.360(2008), 383–394

    2008

  55. [55]

    Skandalis, J

    G. Skandalis, J. Tu and G. Yu.The coarse Baum-Connes conjecture and groupoids, Topology 41(2002), 807–834

    2002

  56. [56]

    Tu.Remarks on Yu’s ‘property A’ for discrete metric spaces and groups, Bull

    J. Tu.Remarks on Yu’s ‘property A’ for discrete metric spaces and groups, Bull. Soc. math. France129(2001), 115–139

    2001

  57. [57]

    Valette.Introduction to the Baum-Connes conjecture, Lectures in Mathematics ETH Z¨ urich

    A. Valette.Introduction to the Baum-Connes conjecture, Lectures in Mathematics ETH Z¨ urich. Birkh¨ auser Verlag, Basel, 2002. From notes taken by Indira Chatterji, With an ap- pendix by Guido Mislin

    2002

  58. [58]

    Weinberger.Class numbers, the Novikov conjecture, and transformation groups, Topology 27(1988), 353–365

    S. Weinberger.Class numbers, the Novikov conjecture, and transformation groups, Topology 27(1988), 353–365

    1988

  59. [59]

    Weinberger.Aspects of the Novikov conjecture, Geometric and topological invariants of elliptic operators (Bowdoin Coll., 1988) (J

    S. Weinberger.Aspects of the Novikov conjecture, Geometric and topological invariants of elliptic operators (Bowdoin Coll., 1988) (J. Kaminker, ed.), Contemp. Math., vol. 105, Amer. Math. Soc., Providence, RI, 1990, pp. 281–297

    1988

  60. [60]

    Weinberger.Variations on a Theme of Borel: An Essay on the Role of the Fundamental Group in Rigidity, Cambridge University Press, 2022

    S. Weinberger.Variations on a Theme of Borel: An Essay on the Role of the Fundamental Group in Rigidity, Cambridge University Press, 2022

    2022

  61. [61]

    Willett.Some notes on Property A, Limits of graphs in group theory and computer science, EPFL Press, Lausanne, 2009, 191–281

    R. Willett.Some notes on Property A, Limits of graphs in group theory and computer science, EPFL Press, Lausanne, 2009, 191–281

    2009

  62. [62]

    Willett and G

    R. Willett and G. Yu.Higher Index Theory, Cambridge University Press, 2020

    2020

  63. [63]

    Yu.The Novikov conjecture for groups with finite asymptotic dimension, Ann

    G. Yu.The Novikov conjecture for groups with finite asymptotic dimension, Ann. Math.147 (1998), 325–355. 70 GENG TIAN AND GUOLIANG YU

    1998

  64. [64]

    Yu.The coarse Baum-Connes conjecture for spaces which admit a uniform embedding into Hilbert space, Invent

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

    2000

  65. [65]

    Yu.Hyperbolic groups admit proper affine isometric actions onℓp-spaces, Geom

    G. Yu.Hyperbolic groups admit proper affine isometric actions onℓp-spaces, Geom. Funct. Anal.15(2005), 1144–1151

    2005

  66. [66]

    Yu.The Novikov conjecture for algebraic K-theory of the group algebra over the ring of Schatten class operators, Adv

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

    2017

  67. [67]

    Yu.The Novikov conjecture, Russian Mathematical Surveys,74(2019), 167–184

    G. Yu.The Novikov conjecture, Russian Mathematical Surveys,74(2019), 167–184. Department of Mathematics, Liaoning University, Liaoning, China 110036 Email address:gengtian.ncg@gmail.com Department of Mathematics, Texas A&M University, College Station, TX, USA Email address:guoliangyu@tamu.edu

    2019