REVIEW 3 major objections 5 minor 39 references
The equivariant coarse Novikov conjecture and coarse embedding
T0 review · 3 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read This paper proves that the equivariant coarse Novikov conjecture—injectivity of the equivariant higher index map—holds for a bounded-geometry space when both its group-quotient and its symmetry group coarsely embed into Hilbert space.
desk verdict A real extension of the equivariant coarse Novikov conjecture, but the bounded-distortion hypothesis is not well-defined for non-free actions, so the main theorem is narrower than stated. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing machinery is the equivariant π-localization algebra C^*_{π,L}(P_d(X))^Γ, the algebra of uniformly continuous paths into the equivariant Roe algebra whose propagation, measured after quotient projection π, decays to zero, together with its twisted counterparts C^*(P_d(X), A(H,ξ)⊗A(H,η))^Γ built from the coarse embeddings of X/Γ and Γ. The quotient embedding ξ controls the decay of projected propagation and supplies the twisted Roe algebra through which the evaluation map becomes an isomorphism (Proposition 3.12); the group embedding η produces a Γ-proper C*-algebra over a continuous field of Hilbert spaces, and the bounded-distortion hypothesis guarantees that certain orbit-translated simplex families used in the Eilenberg swindle stay uniformly bounded and invariant under finite subgroups. The final step is the periodicity map from C(Z)-coefficient localization algebras to A(H)-twisted ones.
What would settle it
Take a concrete non-cocompact case covered by the theorem, such as Γ=Z acting by translation on X=Z×Z with an appropriate bounded-geometry metric for which X/Γ≅Z and Γ both coarsely embed into Hilbert space and bounded distortion holds with respect to a fundamental domain, then compute the direct-limit equivariant higher index map directly: any nonzero class in lim_d K_*^Z(P_d(X)) must have nonzero image in K_*(C^*(X)^Z). Finding such a class with vanishing image would refute Theorem 1.2; verifying that no such class exists in a family of these actions would support it.
Extended reading notes
Core claim
In the paper's own terms, the central discovery is Theorem 1.2: under the stated hypotheses, Ind^Γ: lim_{d→∞} K_*^Γ(P_d(X)) → K_*(C^*(X)^Γ) is injective. The proof first replaces the equivariant higher index map with the evaluation map from an equivariant localization algebra to the equivariant Roe algebra, whose injectivity is equivalent (Theorem 2.11). It then introduces an equivariant π-localization algebra where propagation is measured after projection to X/Γ; the coarse embedding of X/Γ makes the evaluation map from this algebra injective (Theorem 3.13). The coarse embedding of Γ enters through a proper affine action on a continuous field of Hilbert spaces, giving a twisted algebra A(H,η); Theorem 4.9 shows that with bounded distortion the localization and π-localization versions of the twice-twisted algebra have isomorphic K-theory, Theorem 4.10 yields injectivity of the comparison map, and the periodicity isomorphism (Theorem 5.1) completes the diagram. Bounded distortion appears in Theorem 4.9, where it ensures the sets Γ·Δ'_j(R) are uniformly bounded and the simplices Δ_j(S) are F_i-invariant, which makes the Eilenberg swindle work.
Load-bearing premise
The proof collapses if the action does not have bounded distortion: for some group element γ, the displacement sup_{x∈Y} d(γx,x) over a chosen fundamental domain Y must be finite, and this finiteness is used to keep the orbit-translated simplices bounded enough for the Eilenberg swindle to run.
Editorial extensions
If this is right
- For a complete spin manifold M with bounded geometry and a proper, isometric, bounded-distortion action of Γ on an invariant ε-net X, a nonzero class φ_*([D]) in lim_d K_*^Γ(P_d(X)) rules out any Γ-invariant Riemannian metric of uniformly positive scalar curvature (Corollary 1.3).
- When Γ is trivial, Theorem 1.2 reduces to the classical coarse Novikov conjecture for spaces coarsely embeddable into Hilbert space; when X=Γ, it recovers the known result for groups that coarsely embed into Hilbert space.
- The injectivity result makes the equivariant higher index an algorithmically usable invariant, because the domain lim_d K_*^Γ(P_d(X)) and the push-forward class are computable in the stated setting.
- The theorem extends the reach of the equivariant coarse Novikov conjecture from cocompact actions, where the equivariant Roe algebra is Morita equivalent to the reduced group C*-algebra, to many non-cocompact actions as long as the quotient is coarsely embeddable.
Reading between the lines
- The paper's reliance on bounded distortion is tied to a chosen fundamental domain, and the condition is not shown to be invariant under that choice; one could test whether a weaker, choice-independent condition—such as uniform displacement on orbits after passing to a metric quotient—would suffice for the same Eilenberg swindle.
- The structure suggests a template: if a quotient's coarse geometry controls propagation and the symmetry group's coarse embedding supplies enough Bott-type twisting, injectivity of the equivariant index may persist in other targets than Hilbert space, such as uniformly convex Banach spaces, wherever an analogue of the periodicity isomorphism holds.
- One might try replacing bounded distortion by a bound on displacement only along a generating set of Γ; if the Eilenberg swindle still closes, the theorem would cover a larger class of non-cocompact actions.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves an equivariant coarse Novikov conjecture: for a countable discrete group Γ acting properly, isometrically, and with bounded distortion on a bounded-geometry discrete metric space X, if both X/Γ and Γ coarsely embed into Hilbert space, then the equivariant higher index map Ind^Γ from lim_d K^Γ_*(P_d(X)) to K_*(C^*(X)^Γ) is injective (Theorem 1.2). The proof uses equivariant localization algebras, π-localization algebras defined via the quotient coarse embedding, twisted equivariant Roe algebras using both the quotient and group coarse embeddings, Bott periodicity, Mayer-Vietoris sequences, and Eilenberg swindle arguments. The main theorem is applied to show nonvanishing of equivariant higher indices of Dirac operators and hence obstructions to Γ-invariant metrics of uniformly positive scalar curvature (Corollary 1.3).
Significance. If the result is correct, it is a substantial equivariant extension of Yu's coarse Baum-Connes theorem, covering a broad class of non-cocompact actions under natural coarse embeddability hypotheses. The paper relies on established machinery and on the authors' earlier work [7], and it gives a clearly stated injectivity criterion that is potentially algorithmic for nonvanishing of equivariant higher indices. The architecture of the proof is coherent, and the use of twisted equivariant localization algebras is well motivated. However, the central theorem's hypothesis and several load-bearing proof steps need careful revision before the result can be accepted.
major comments (3)
- [Section 1, definition of fundamental domain and Theorem 1.2] The definition of a fundamental domain as a subset Y with X = ⊔_{γ∈Γ} γY forces the Γ-action to be free: any point with nontrivial stabilizer would lie in both eY and γY for a nontrivial γ in its stabilizer. Yet the paper explicitly works with non-free actions elsewhere: Definition 2.3 concerns finite subgroups F, Proposition 2.6 covers cocompact actions without a freeness assumption, the proof of Theorem 4.9 uses spaces Γ ×_{F_i} S_i for finite subgroups F_i, and the Bott map in Section 5 averages over stabilizers Γ_x. Consequently the hypothesis "with bounded distortion" in Theorem 1.2 is undefined for every action with nontrivial isotropy, which is a genuine scope gap in the central theorem. In addition, the definition depends on a choice of Y, and the paper does not state whether bounded distortion is required for some or for all fundamental domains, nor prove independence of the choice. Please either restrict Theorem 1.2 (and Corollary 1.3) to free actions or reformulate bounded distortion using a Borel or measurable fundamental domain and supply the additional estimates needed in the proof of Theorem 4.9.
- [Section 4, proof of Theorem 4.9] The reduction from C*_L(P_d(X), A(H,ξ)_{O_{r,k}} ⊗ (A_n)_{Γ×_{F_i}S_i})^Γ to the product over C*_L(\tilde F_i · Δ'_j(R), ...)^{F_i} is asserted with the phrases "it is not very difficult to prove" and "in a way similar to the proof of Lemma 5.16 in [30]", after the statement that A_n is Γ-proper over Γ ×_{F_i} S_i. These identifications are load-bearing because they are what allow the Eilenberg swindle on the simplices Δ_j(S). The subsequent claim that the bounded-distortion hypothesis makes \tilde F_i · Δ'_j(R) uniformly bounded for j ∈ J_k is also stated as "easy to prove"; this estimate is exactly where the new bounded-distortion condition enters, and it must be shown explicitly. Please expand this part of the proof with full details.
- [Theorem 5.1] The proof of Theorem 5.1 consists of the assertion that the Mayer-Vietoris sequence, the five lemma, induction on skeleta of P_d(X), and Bott periodicity in the 0-dimensional case suffice. This is too compressed for a step on which Theorem 1.2 directly depends: the Mayer-Vietoris/five-lemma argument requires showing that the Bott map (β_L)_* is compatible with the six-term exact sequences for the localization algebras, and the 0-dimensional equivariant case, including the averaging over the stabilizer 1/|Γ_x| in the definition of β_t, is not carried out. Please provide the details or a precise reference for this equivariant Bott isomorphism.
minor comments (5)
- [Section 3, Definition 3.1] The notation is inconsistent: the algebra of functions is first called C*_{π,L}(X)^Γ and then the same symbol is reused for its norm closure; presumably the first object should be C*_{π,L,alg}(X)^Γ.
- [Throughout] There are repeated grammatical slips, such as "an coarse embedding" (Propositions 3.12, 3.13 and Theorem 4.9), "bounded geometrical metric space" (proofs of Proposition 3.12 and Theorem 4.9), "distorsion" (proof of Theorem 4.9), "Lipchitz" (Definition 3.3), and "Let (C0(X), Γ,φ) is an admissible covariant system" (Proposition 2.6). These should be corrected.
- [Section 2, after Definition 2.7] The sentence "There is no difficulty to check" (and later "it is no difficult to see") is a stylistic slip; it should read "There is no difficulty in checking" or "It is not difficult to see".
- [Section 4, proof of Theorem 4.9] The definition of A_n as a direct limit of ideals that are Γ-proper over cocompact Γ-spaces is not fully explained; in particular, the notion of "Γ-proper over W" should be defined or referenced precisely, since it is used in the reduction to Γ ×_{F_i} S_i.
- [Section 5, definition of β_t] The notation Y_d is introduced as "a fundamental domain of X_d" and then used with x ∈ Y_d and y ∈ X_d; this inherits the free-action issue from Section 1 and should be reconciled with the stabilizer-averaging formula 1/|Γ_x| that appears in the same definition.
Circularity Check
No significant circularity: the proof reduces injectivity of the equivariant higher index map to injectivity of evaluation maps on (twisted) localization algebras, with only an auxiliary non-load-bearing self-citation to [7].
full rationale
The derivation chain is self-contained with respect to the target claim. Theorem 1.2 is proved by first identifying the equivariant higher index with the composition of the localization index isomorphism (Theorem 2.11) and an evaluation map, then showing the evaluation map is injective via twisted equivariant localization algebras. Section 3 uses the coarse embedding of X/Gamma to show (e_pi)_* is injective (Theorem 3.13); Section 4 uses the coarse embedding of Gamma, together with the bounded-distortion hypothesis, to prove the K-theory isomorphism for the twisted algebras (Theorems 4.9 and 4.10); Section 5 applies Bott periodicity (Theorem 5.1) to complete the diagram. The hypotheses X/Gamma and Gamma coarsely embed into Hilbert space and the bounded-distortion condition enter as assumptions used to control supports and ensure the Eilenberg swindle, not as conclusions restated as inputs. No fitted parameter is relabelled as a prediction, and no uniqueness theorem is imported from the authors' prior work to force a choice. The only self-citation is [7] (Fu-Wang), cited for extending certain maps to asymptotic morphisms in the proofs of Theorems 3.13 and 4.10; it is cross-cited with Lemma 7.6 of [39] and does not assert the injectivity being proved, so it is auxiliary rather than load-bearing. There is, however, a genuine non-circular scope issue that should be flagged: the paper defines a fundamental domain by X = disjoint union over gamma of gamma Y, which presupposes a free action, while Definition 2.3 and the proof of Theorem 4.9 explicitly use finite subgroups F_i and spaces Gamma x_{F_i} S_i, so the bounded-distortion hypothesis as stated is undefined for non-free proper actions. This is a well-posedness gap in the main theorem, not a circularity.
Assumptions & free parameters
assumptions (5)
- standard math Yu's coarse Baum-Connes theorem for spaces coarsely embeddable into Hilbert space (Yu 2000, [39]).
- standard math Proposition 4.3: coarse embeddability of Gamma into Hilbert space is equivalent to the existence of a proper affine action of the transformation groupoid on a continuous field of Hilbert spaces (Tu, [36]; Skandalis-Tu-Yu, [32]).
- standard math Higson-Kasparov-Trout Bott periodicity for the algebra A(H) of an infinite-dimensional Euclidean space, including its continuous-field version.
- standard math Equivariant version of the localization algebra index theorem (Theorem 2.11), attributed to Yu [38] and Qiao-Roe [25].
- standard math Kasparov-Skandalis stabilization: every equivariant K-homology class can be represented by an admissible covariant system.
Cite this review
Pith. "Pith review of The equivariant coarse Novikov conjecture and coarse embedding." pith.science (2026). https://pith.science/paper/B2N5HV53
@misc{pith2026190900529,
author = {Pith},
title = {Pith review of: The equivariant coarse Novikov conjecture and coarse embedding},
year = {2026},
howpublished = {\url{https://pith.science/paper/B2N5HV53}},
note = {Machine review of arXiv:1909.00529}
}
abstract
The equivariant coarse Novikov conjecture provides an algorithm for determining nonvanishing of equivariant higher index of elliptic differential operators on noncompact manifolds. In this article, we prove the equivariant coarse Novikov conjecture under certain coarse embeddability conditions. More precisely, if a discrete group $\Gamma$ acts on a bounded geometric space $X$ properly, isometrically, and with bounded distortion, $X/\Gamma$ and $\Gamma$ admit coarse embeddings into Hilbert space, then the $\Gamma$-equivariant coarse Novikov conjecture holds for $X$. Here bounded distortion means that for any $\gamma\in\Gamma$, $\sup_{x\in Y} d(\gamma x,x)<\infty$, where $Y$ is a fundamental domain of the $\Gamma$-action on $X$.
Reference graph
Works this paper leans on
-
[39]
G. Yu, The coarse Baum-Connes conjecture for spaces which admit a u niform embedding into Hilbert space , Invent. Math. 139 (2000), no. 1, 201–240. Benyin Fu College of Statistics and Mathematics, Shanghai Lixin University of Accounting and Finance Shanghai 201209, P. R. China. E-mail: fuby@lixin.edu.cn Xianjin Wang College of Mathematics and Statistics, ...
work page 2000
- [7]
-
[30]
R. Willett and G. Yu, Higher index theory for certain expanders and Gromov monster group, II , Adv. Math. 229 (2012), no. 3, 1762-1803
work page 2012
-
[1]
P. Baum and A. Connes, K-theory for discrete groups , Operator Algebras and Applications (M. Takesaki(EDs.) D. Evens, ed.), Cambridge Univ. Press, Cambridge, 1989, pp. 1–20
work page 1989
-
[2]
P. Baum, A. Connes and N. Higson, Classifying space for proper actions and K-theory of group C ∗-algebras, Contemp. Math. 167 (1994), 240–291
work page 1994
-
[3]
X. Chen, Q. Wang and G. Yu, The maximal coarse Baum-Connes conjecture for spaces which admit a fibred coarse embedding into Hilbert space, Adv. Math. 249 (2013), 88-130
work page 2013
-
[4]
Connes, Noncommutative Geometry, Academic Press, 1994
A. Connes, Noncommutative Geometry, Academic Press, 1994
1994
-
[5]
Dell’Aiera, Controlled K-theory for groupoids & applications to Coarse Geometry, J
C. Dell’Aiera, Controlled K-theory for groupoids & applications to Coarse Geometry, J. Funct. Anal. 275 (2018), no. 7, 1756-1807
work page 2018
Show all 39 references
-
[6]
Dixmier, C ∗-algebras, North-Holland, Amsterdam, 1982
J. Dixmier, C ∗-algebras, North-Holland, Amsterdam, 1982
1982
-
[8]
Fukaya and S
T. Fukaya and S. Oguni, The coarse Baum-Connes conjecture for relatively hyperbolic groups, J. Topol. anal. 4 (2012), no. 1, 99-113
2012
-
[9]
Fukaya and S
T. Fukaya and S. Oguni, Coronae of product spaces and the coarse Baum- Connes conjecture, Adv. Math. 279 (2015), 201-233
2015
-
[10]
Fukaya and S
T. Fukaya and S. Oguni, The coarse Baum-Connes conjecture for Busemann nonpositively curved spaces , Kyoto J. Math. 56 (2016), no. 1, 1-12
2016
-
[11]
G. Gong, Q. Wang and G. Yu, Geometrization of the strong Novikov conjec- ture for residually finite groups , J. Reine Angew. Math. 621 (2008), 159-189
2008
-
[12]
S. Gong, J. Wu and G. Yu, The Novikov conjecture, the group of volume pre- serving diffeomorphisms and Hilbert-Hadamard spaces , arXiv:1811.02086v3
-
[13]
Gong and G
G. Gong and G. Yu, Volume growth and positive scalar curvature , Geom. Funct. Anal. 10 (2000), no. 4, 821-828
2000
-
[14]
Gromov, Asymptotic invariants for infinite groups , Geometric Group Theory, (G
M. Gromov, Asymptotic invariants for infinite groups , Geometric Group Theory, (G. A. Niblo, M. A. Roller, editors), Cambridge University Pr ess, (1993), 1-295
1993
-
[15]
Guentner, R
E. Guentner, R. Tessera and G. Yu, Operator norm localization for linear groups and its applications to K-theory, Adv. Math. 226 (2011), no. 4, 3495- 3510
2011
-
[16]
Guentner, R
E. Guentner, R. Willett and G. Yu, Dynamical complexity and controlled operatorK-theory, arXiv:1609.02093v2
-
[17]
Higson, Bivariant K-theory and the Novikov conjecture , Geom
N. Higson, Bivariant K-theory and the Novikov conjecture , Geom. Funct. Anal. 10 (2000), no. 3, 563–581
2000
-
[18]
Higson and E
N. Higson and E. Guentner, GroupC ∗-algebras and K-theory, Lecture Notes in Mathematics, vol. 1831 (2004), 137-251
2004
-
[19]
Higson, G
N. Higson, G. Kasparov and J. Trout, A Bott periodicity theorem for infinite dimensional Euclidean space , Adv. Math. 135 (1998), no. 1, 1–40
1998
-
[20]
Higson and J
N. Higson and J. Roe, On the coarse Baum-Connes conjecture, Novikov conjectures, index theorems and rigidity , Vol. 2, London Math. Soc. Lecture Note Ser., 227, Cambridge University Press, Cambridge (1995), 22 7-254
1995
-
[21]
Kasparov, Equivariant KK -theory and the Novikov conjecture , Invent
G. Kasparov, Equivariant KK -theory and the Novikov conjecture , Invent. Math. 91 (1998), no. 1, 147–201. 32
1998
-
[22]
Kasparov and G
G. Kasparov and G. Skandalis, Group acting properly on “bolic” spaces and the Novikov conjecture , Ann. of Math. 158 (2003), no. 1, 165-206
2003
-
[23]
Kasparov and G
G. Kasparov and G. Yu, The Novikov conjecture and geometry of Banach spaces, Geom. Topol. 16 (2012), no. 3, 1859-1880
2012
-
[24]
Oyono-Oyono and G
H. Oyono-Oyono and G. Yu, K-theory for the maximal Roe algebra of certain expanders, J. Funct. Anal. 257 (2009), no. 10, 3239-3292
2009
-
[25]
Qiao and J
Y. Qiao and J. Roe, On the localization algebra of Guoliang Yu , Forum Math. 22 (2010), no. 4, 657-665
2010
-
[26]
Roe, Coarse cohomology and index theory on complete Riemannian m an- ifolds, vol
J. Roe, Coarse cohomology and index theory on complete Riemannian m an- ifolds, vol. 104, Mem. Amer. Math. Soc., 1993
1993
-
[27]
Roe, Index theory, coarse geometry and topology of manifolds , CBMS Regional Conference Series in Mathematics, American Mathematica l Society, no
J. Roe, Index theory, coarse geometry and topology of manifolds , CBMS Regional Conference Series in Mathematics, American Mathematica l Society, no. 90, 1996
1996
-
[28]
Rosenberg, C ∗-algebras, positive scalar curvature, and the Novikov con- jecture, Publ
J. Rosenberg, C ∗-algebras, positive scalar curvature, and the Novikov con- jecture, Publ. Math. Inst. Hautes ´Etudes Sci. 58 (1983), no. 1, 197-212
1983
-
[29]
Willett and G
R. Willett and G. Yu, Higher index theory for certain expanders and Gromov monster group, I , Adv. Math. 229 (2012), no. 3, 1380-1416
2012
-
[31]
Willett and G
R. Willett and G. Yu, Higher Index Theory , Cambridge Studies in Advanced Mathematics, 189, Cambridge University Press, Cambridge (2020)
2020
-
[32]
Skandalis, J
G. Skandalis, J. L. Tu and G. Yu, The coarse Baum-Connes conjectrue and groupoids, Topology. 41 (2002), no. 4, 807-834
2002
-
[33]
Shan, An equivariant higher index theory and non-positively curv ed man- ifold, J
L. Shan, An equivariant higher index theory and non-positively curv ed man- ifold, J. Funct. Anal. 255 (2008), no. 6, 1480–1496
2008
-
[34]
Shan and Q
L. Shan and Q. Wang, The coarse geometric Novikov conjecture for subspaces of non-positively curved manifolds , J. Funct. Anal. 248 (2007), no. 2, 448– 471
2007
-
[35]
X. Tang, R. Willett and Y. Yao, RoeC ∗-algebra for groupoids and generalized Lichnerowicz vanishing theorem for foliated manifolds , Math. Z. 290 (2018), no. 3-4, 1309-1338. 33
2018
-
[36]
J. L. Tu, La conjecture de Baum-Connes pour les feuilletages moyenna bles, K-Theory 17 (1999), no. 3, 215-264
1999
-
[37]
Yu, Coarse Baum-Connes conjecture,K-theory 9 (1995), no
G. Yu, Coarse Baum-Connes conjecture,K-theory 9 (1995), no. 3, 199–221
1995
-
[38]
Yu, Localization algebras and the coarse Baum-Connes conjectu re, K- theory 11 (1997), no
G. Yu, Localization algebras and the coarse Baum-Connes conjectu re, K- theory 11 (1997), no. 4, 307–318
1997
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.