Groups with Spanier-Whitehead duality

Shintaro Nishikawa; Valerio Proietti

REVIEW 2 major objections 4 minor 51 references

Groups with Spanier-Whitehead duality

T0 review · 2 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read For discrete groups with a gamma element, the paper proves that the reduced group C*-algebra and the proper crossed product are Spanier–Whitehead K-duals exactly when the strong Baum–Connes conjecture holds.

desk verdict A credible equivalence between Spanier-Whitehead K-duality and strong Baum-Connes, with the (γ)-element half needing a referee to pin down an external localization theorem. read the letter →

arxiv 1908.03749 v2 pith:BMNMAIZA submitted 2019-08-10 math.KT math.OA

Shintaro Nishikawa , Valerio Proietti This is my paper · ORCID

classification math.KTmath.OA MSC 46L8546L8055P25

keywords Spanier-WhiteheaddualityPoincaréBaum-ConnesconjecturegammaelementKK-theorya-T-menablegroupscrossedproductsdescenthomomorphism

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

The paper proves that two $C^*$-algebras attached to a countable discrete group $G$ — the reduced group $C^*$-algebra and the crossed product $C_0(EG) \rtimes G$ for the universal proper space — are Spanier–Whitehead K-duals exactly when the strong Baum–Connes conjecture holds, which is to say when the descent of the gamma element is the identity on $C^*_r(G)$. Spanier–Whitehead K-duality here means that explicit unit and counit classes in KK-theory interchange the K-theory groups of the two algebras, a noncommutative analogue of Alexander duality. The equivalence requires a gamma element for $G$, and the duality unit is canonical: the class of the projection built from a cutoff function on $EG$. Because every a-T-menable group with a $G$-compact model of $EG$ has a gamma element, all such groups — including co-compact lattices in $SO(n,1)$ and $SU(n,1)$ and groups acting co-compactly on trees — have explicit Spanier–Whitehead K-duality. A parallel construction using the newer $(\gamma)$-element reaches the same duality conclusion whenever that element descends to the identity on $C^*_r(G)$.

What carries the argument

The load-bearing object is the gamma element $\gamma$, an idempotent in equivariant KK-theory that restricts to the identity on every finite subgroup and factors through a proper $G$-$C^*$-algebra, together with its image under the descent homomorphism to ordinary KK-theory. The duality unit $\delta \in KK(C, C^*_r(G) \otimes C_0(EG) \rtimes G)$ is the class of the projection $p_G$ defined by a cutoff function on $EG$; in the torsion-free case it coincides with the module of sections of the Mishenko bundle. The duality counit $d$ is built in two ways: from the gamma element through the Dirac/dual-Dirac factorization, or from a cycle with property $(\gamma)$. The key computation identifies the two compositions of $\delta$ and $d$: one equals the descent of $\gamma$ on $C^*_r(G)$, the other equals the identity on $C_0(EG) \rtimes G$, so duality holds precisely when the descent of $\gamma$ is the identity. Before that identity is available, the same computation already shows that $C_0(EG) \rtimes G$ is a Spanier–Whitehead K-dual of the crossed product $P_C \rtimes G$ of the Dirac source.

What would settle it

Take a co-compact lattice in $Sp(n,1)$: it is hyperbolic, so it has a gamma element, but the descent of that gamma element is known not to be the identity, and the paper's theorems predict it has only weak Spanier–Whitehead duality, not strong duality. A direct computation of the two Kasparov-product compositions for the canonical unit $\delta$ and the gamma-derived counit $d$ on this group — or an explicit KK-equivalence exhibiting strong duality — would settle the matter; if strong duality held, Theorem 39 would be false. Because weak duality is already known for hyperbolic groups, the concrete question is whether the known K-theory isomorphisms lift to identities in KK-theory.

Watch

Extended reading notes

Core claim

The central claim is a precise equivalence (Theorems 21 and 39): if a countable discrete group $G$ admits a $G$-compact model of $EG$ and a gamma element $\gamma \in KK^G(C,C)$, then $C_0(EG) \rtimes G$ is a Spanier–Whitehead K-dual of $C^*_r(G)$, with the canonical unit $\delta$, if and only if the descent homomorphism sends $\gamma$ to the identity on $C^*_r(G)$ — the strong Baum–Connes conjecture. The same conclusion holds when a cycle with property $(\gamma)$ replaces the gamma element (Theorem 18). For a-T-menable groups the gamma element exists, so the duality is unconditional for all such groups with a $G$-compact model of $EG$; the paper supplies explicit duality cycles, built from Dirac-type operators on non-positively curved manifolds and from an operator on a tree. The paper also shows that Spanier–Whitehead duality forces $C^*_r(G)$ to satisfy the Universal Coefficient Theorem and, under the gamma-element hypothesis, to have finitely generated K-theory groups.

Load-bearing premise

The proof that the counit composes to the identity on $C_0(EG) \rtimes G$ depends on the theorem that the crossed product $P_B \rtimes G$ of the Dirac source lies in the localizing subcategory of KK generated by proper crossed products; if this localization statement failed for some group, the duality construction would break even when the gamma element exists.

Editorial extensions

If this is right

All a-T-menable groups with a $G$-compact model of $EG$ — including co-compact lattices in $SO(n,1)$ and $SU(n,1)$, and groups acting properly and co-compactly on trees — have explicit Spanier–Whitehead K-duality between $C^*_r(G)$ and $C_0(EG) \rtimes G$.
For any group with a gamma element, $C_0(EG) \rtimes G$ is always a Spanier–Whitehead K-dual of the crossed product $P_C \rtimes G$ of the Dirac source, regardless of strong Baum–Connes.
Any group with Spanier–Whitehead duality satisfies the strong Baum–Connes conjecture, and its reduced group $C^*$-algebra satisfies the Universal Coefficient Theorem and, under the gamma-element hypothesis, has finitely generated K-theory.
All word-hyperbolic groups have weak Spanier–Whitehead duality, while hyperbolic property (T) groups such as co-compact lattices in $Sp(n,1)$ are predicted not to have strong duality.
If the coefficient algebra has a Spanier–Whitehead K-dual, the naive and localization versions of the Baum–Connes assembly map with coefficients are isomorphic.

Reading between the lines

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

The paper does not pursue it, but the equivalence suggests a purely categorical reformulation of Spanier–Whitehead duality in terms of the localizing subcategory generated by proper crossed products, which would let the $(\gamma)$-element method stand independently of the gamma element.
The explicit operator on a tree could be turned into fully computable duality data for any group acting properly and co-compactly on a tree, including hand-checkable Kasparov-product computations; the paper leaves such computations undone.
For property (T) hyperbolic groups, the theorems single out K-theoretic non-nuclearity as a practical obstruction to strong duality, which could be tested in other group classes as a fast way to rule out Spanier–Whitehead duality.
If the equivalence is correct, then any successful construction of Spanier–Whitehead duality for a new group automatically proves strong Baum–Connes for that group, so the two problems could be tackled jointly in future work.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Two things to know. First, the iff between Spanier-Whitehead K-duality and strong Baum-Connes (Theorems 21/39) is real and gives a clean homotopy-theoretic reading of the conjecture; the γ-element half is convincing. Second, the parallel (γ)-element half has a gap that is probably patchable but needs referee attention: Proposition 15 applies [MN06, Thm 9.3] to a generic (γ)-element even though the authors tell us in Section 0.5 that localization information is missing for (γ)-elements.

What is new: Theorem 23 giving PC⋊G as a dual of C0(EG)⋊G, and the explicit property-(γ) cycle for proper co-compact tree actions (Prop 34). The paper is honest: it marks omitted computations (Lemma 16, Remark 25, Prop 28), credits [BMRS08, EEK08, EM10] for the general duality idea, and does not oversell. The examples are consistent with the framework, and the torsion-free discussion with the Miščenko bundle is a useful bridge to earlier work.

The soft spots are real but limited. Proposition 15 is the load-bearing point for the (γ)-element route, and the stress-test concern is fair: the proof invokes [MN06, Thm 9.3] without checking that its hypotheses hold for an arbitrary (γ)-element, and the paper's own caveat suggests this is not automatic. I think the statement can be recovered by a formal localizing-subcategory argument—the class of algebras on which x acts trivially is localizing and contains the generators—but the authors should spell this out. If the theorem really only applies to γ-elements, then Theorem 18 and the unified formulation lose support. The γ-element route via Proposition 20 is independent and appears solid, so the main results for a-T-menable groups and the strong Baum-Connes equivalence do not collapse.

Minor issues are the deferred checks in Lemma 16, Remark 25, and Proposition 28; these are explicitly flagged and are more annoying than dangerous. The citation pattern is proper, including the first author's [Nis19] and second author's [KP18] as independent inputs.

This paper is for people working on Baum-Connes, KK-duality, or K-theory of crossed products. It deserves a serious referee. My recommendation is to accept it conditionally, asking the authors to clarify the applicability of [MN06, Thm 9.3] in the (γ)-element setting and to fill the omitted verifications.

Referee Report

2 major / 4 minor

Summary. The paper studies Spanier–Whitehead K-duality between the reduced group C*-algebra C*_r(G) and the crossed product C0(EG)⋊G, for a countable discrete group G admitting a G-compact model of the classifying space for proper actions. A canonical duality unit δ is defined from the cut-off projection and the dual coaction, and the paper constructs a duality counit d by two methods: the classical γ-element (via a Dirac/dual-Dirac pair) and the more recent (γ)-element of Nishikawa. The main theorem states that, when the γ-element exists, G has Spanier–Whitehead K-duality if and only if the strong Baum–Connes conjecture holds for G, i.e., descent of γ is the identity on C*_r(G). Consequences include explicit duality for a-T-menable groups (lattices in SO(n,1) and SU(n,1), co-compact actions on trees), weak duality for hyperbolic groups, a torsion-free version using the Miščenko bundle, and applications to the UCT and finite generation of K-theory.

Significance. If the main theorems are correct, the paper provides a clean homotopy-theoretic characterization of the strong Baum–Connes conjecture and an explicit mechanism for producing Spanier–Whitehead duality classes for many natural groups. The γ-element half of the paper is especially valuable: it packages the Dirac dual-Dirac method into a duality statement with concrete consequences (UCT, finite generation, Lefschetz-type applications). The (γ)-element half is a natural and potentially useful extension, and the explicit cycles in Section 2 are a strength. However, as detailed below, the proof of the (γ)-element counit identity is incomplete in a way that the paper itself flags, so the unified formulation is not yet supported. The paper is not parameter-dependent and relies on established published inputs ([MN06], [Nis19], [KP18], [HK01]).

major comments (2)

[Section 0.5 and Section 1.1 (Proposition 15)] The proof of Proposition 15 concludes that x acts as the identity on K_*(P_B⋊G) because Res_H(x)=1 for each finite subgroup H and P_B⋊G lies in the localizing subcategory generated by the B⋊H's, citing [MN06, Theorem 9.3]. This is a localization-at-weakly-contractible-objects argument. Section 0.5, however, states that for the (γ)-element 'we do not have information on the localization at the weakly contractible objects [MN10].' These two statements are in direct tension: if the localization information is unavailable for a (γ)-element, then the conclusion of Proposition 15 is not justified, and Theorem 18 (Theorem D) is unsupported. Please either prove the needed localization statement using the explicit conditions in Definition 8, or remove/qualify the (γ)-element claims in the abstract and introduction.
[Section 1.3 (Proposition 28)] The proof of Proposition 28 ends with 'We leave to the reader the straightforward check that the element [πG⊗π,H,T] in KK(C*_r(G)⊗C(BG),C) corresponds to d in KK(C*_r(G)⊗C0(EG)⋊G,C) by the Morita equivalence between C(BG) and C0(EG)⋊G.' This identification is the substantive content of the proposition and is then used in Theorem 29 to identify Λ_C(BG)=1. As written, this is an omitted proof of a load-bearing step; please supply the Morita-equivalence argument in detail or give a precise reference to a published proof.

minor comments (4)

[Section 1.1 (Lemma 16)] The second diagram in Lemma 16 is stated to follow by an omitted 'simple verification'; since the lemma is used in the proof of Proposition 15, please include the verification or a reference.
[Section 1.2 (Proposition 20)] The computation of the first identity in Proposition 20 is performed under a representative-specific assumption on α and β; please state the standard reduction (e.g., via Kasparov's technical theorem) that justifies this choice.
[Section 1.1 (Remark 17)] The sketch in Remark 17 is terse and contains an equality (ν_B∘µ_B = x⊗_{C0(EG)}−) that is not proved; if this remark is kept, it should be expanded or cross-referenced to a complete proof.
[Section 0.5] Theorem D in the introduction is the same statement as Theorem 18 in Section 1.1; please add a cross-reference to avoid duplication or confusion.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the equivalence between Spanier-Whitehead duality and strong Baum-Connes is a genuine theorem, and the load-bearing citations are external published results.

full rationale

The derivation chain is not circular. The duality unit δ is fixed as [Δ(pG)] (Definition 11), and the counit d is constructed from either the (γ)-element or the γ-element. Proposition 14 and Proposition 15 prove the two composition identities by explicit Kasparov-module computations, with the second identity using Meyer–Nest's localization theorem [MN06, Theorem 9.3]. The equality Λ_{C*_r(G)} = j^G_r(x) in Proposition 14 is a proved computation, so the hypothesis j^G_r(x)=1 is not secretly assumed in the definition of d; it is an equivalent reformulation obtained after the computation. The converse direction in Theorem 39 does not rest on this computation alone: it uses the Baum–Connes isomorphism coming from duality, the K-theory isomorphism induced by the Dirac descent, and the UCT to obtain a KK-equivalence, so the 'if and only if' statement is not tautological. The only potentially concerning passage is Section 0.5's disclaimer, 'However in this case we do not have information on the localization at the weakly contractible objects [MN10].' This limits the (γ)-element method by preventing an analogue of Theorem A, but it does not make Proposition 15 circular, because [MN06, Theorem 9.3] is an external theorem whose hypotheses (restriction to finite subgroups and generation by proper crossed products) are stated in the proof and do not include Spanier-Whitehead duality or strong Baum-Connes. The self-citations [Nis19] and [KP18] supply definitions and prior technical tools as published inputs rather than as outputs of this paper, and there is no parameter fitting, renamed prediction, or imported uniqueness theorem forcing the conclusion. Accordingly, the paper exhibits no significant circularity.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No numerical or fitted parameters appear; all constructions are categorical or KK-theoretic, and the cutoff function c is shown to be homotopy-independent. The paper introduces no new particles, forces, dimensions, or ad hoc objects. The (gamma)-element notion is imported from [Nis19] rather than introduced here.

assumptions (6)

domain assumption G is a countable discrete group with a G-compact model of the universal proper action space EG.
Stated throughout and in Section 0.5; needed for cutoff functions, compact crossed products, and the assembly map to have the stated form.
domain assumption A gamma element gamma in KK^G(C,C), or a (gamma)-element from [Nis19], exists for the groups covered by the theorems.
Theorems 18, 21, and 23 are conditional on this; Corollary C inherits it from Higson-Kasparov for a-T-menable groups.
standard math The descent factorization and dual Green-Julg isomorphism hold as cited from [Lan15, Proposition 4.7] and [KP18].
Used in Lemma 12 and Lemma 13 to identify the assembly map with Kasparov product by delta and to compute Lambda for C*_r(G).
standard math The localization theorem of Meyer and Nest: P_B ⋊ G lies in the localizing subcategory generated by proper crossed products, so the gamma element acts trivially there ([MN06, Theorem 9.3]).
Needed in Proposition 15 to show Lambda for C0(EG) ⋊ G equals the identity.
standard math C0(EG) ⋊ G satisfies the Universal Coefficient Theorem ([MN06, Proposition 9.5]).
Used in Corollary 38 and Theorem 39 to convert K-theory isomorphisms into KK-equivalences and to prove finite-generation.
standard math The Higson-Kasparov theorem: a-T-menable groups have a gamma element with gamma equal to the unit ([HK01]).
This is the basis of Corollary C and Theorem 30 for groups acting properly and co-compactly on Euclidean spaces, trees, and related spaces.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Groups with Spanier-Whitehead duality." pith.science (2026). https://pith.science/paper/BMNMAIZA

@misc{pith2026190803749,
  author       = {Pith},
  title        = {Pith review of: Groups with Spanier-Whitehead duality},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BMNMAIZA}},
  note         = {Machine review of arXiv:1908.03749}
}

read the original abstract

Building on work by Kasparov, we study the notion of Spanier-Whitehead K-duality for a discrete group. It is defined as duality in the KK-category between two C*-algebras which are naturally attached to the group, namely the reduced group C*-algebra and the crossed product for the group action on the universal example for proper actions. We compare this notion to the Baum-Connes conjecture by constructing duality classes based on two methods: the standard "gamma element" technique, and the more recent approach via cycles with property gamma. As a result of our analysis, we prove Spanier-Whitehead duality for a large class of groups, including Bieberbach's space groups, groups acting on trees, and lattices in Lorentz groups.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

51 extracted references · 49 canonical work pages

[1]

write newline

" write newline "" before.all 'output.state := FUNCTION output.nonempty.mrnumber duplicate missing pop "" 'skip if duplicate empty 'pop " " swap * " " * write if FUNCTION fin.entry add.period write mrnumber output.nonempty.mrnumber newline INTEGERS nameptr namesleft numnames FUNCTION format.language language empty "" " (" language * ")" * if FUNCTION form...
[2]

Anantharaman-Delaroche, Amenability and exactness for dynamical systems and their C^ -algebras , Trans

C. Anantharaman-Delaroche, Amenability and exactness for dynamical systems and their C^ -algebras , Trans. Amer. Math. Soc. 354 (2002), no. 10, 4153--4178. 1926869

work page 2002
[3]

P. Baum, A. Connes, and N. Higson, Classifying space for proper actions and K -theory of group C^ -algebras , C^ -algebras: 1943--1993 ( S an A ntonio, TX , 1993), Contemp. Math., vol. 167, Amer. Math. Soc., Providence, RI, 1994, pp. 240--291. 1292018

work page 1943
[4]

On the Baum-Connes Conjecture for Groups Acting on CAT(0)-Cubical Spaces

J. Brodzki, E. Guentner, N. Higson, and S. Nishikawa, On the B aum-- C onnes conjecture for groups acting on CAT (0)-cubical spaces , arXiv:1908.10485, August 2019

work page Pith review arXiv 1908
[5]

Blackadar, K -theory for operator algebras , second ed., Mathematical Sciences Research Institute Publications, vol

B. Blackadar, K -theory for operator algebras , second ed., Mathematical Sciences Research Institute Publications, vol. 5, Cambridge University Press, Cambridge, 1998. 1656031

work page 1998
[6]

Block, Duality and equivalence of module categories in noncommutative geometry, A celebration of the mathematical legacy of R aoul B ott, CRM Proc

J. Block, Duality and equivalence of module categories in noncommutative geometry, A celebration of the mathematical legacy of R aoul B ott, CRM Proc. Lecture Notes, vol. 50, Amer. Math. Soc., Providence, RI, 2010, pp. 311--339. 2648899

work page 2010
[7]

P. Baum, S. Millington, and R. Plymen, Local-global principle for the B aum- C onnes conjecture with coefficients , K -Theory 28 (2003), no. 1, 1--18. 1988816

work page 2003
[8]

Brodzki , V

J. Brodzki , V. Mathai , J. Rosenberg , and R. J. Szabo , D-branes, RR-fields and duality on noncommutative manifolds. , Commun. Math. Phys. 277 (2008), no. 3, 643--706 (English)

work page 2008

Show all 51 references

[9]

, Non-commutative correspondences, duality and D-branes in bivariant K-theory. , Adv. Theor. Math. Phys. 13 (2009), no. 2, 497--552 (English)

2009
[10]

Connes, Noncommutative geometry, Academic Press, 1994

A. Connes, Noncommutative geometry, Academic Press, 1994

1994
[11]

Connes, Gravity coupled with matter and the foundation of non-commutative geometry, Comm

A. Connes, Gravity coupled with matter and the foundation of non-commutative geometry, Comm. Math. Phys. 182 (1996), no. 1, 155--176. 1441908

1996
[12]

Dadarlat, Continuous fields of C^* -algebras over finite dimensional spaces , Adv

M. Dadarlat, Continuous fields of C^* -algebras over finite dimensional spaces , Adv. Math. 222 (2009), no. 5, 1850--1881. 2555914

2009
[13]

Dell'Ambrogio , H

I. Dell'Ambrogio , H. Emerson , T. Kandelaki , and R. Meyer , A functorial equivariant K-theory spectrum and an equivariant Lefschetz formula , arXiv:1104.3441 [math.KT], April 2011

2011 arXiv
[14]

Dell'Ambrogio, H

I. Dell'Ambrogio, H. Emerson, and R. Meyer, An equivariant L efschetz fixed-point formula for correspondences , Doc. Math. 19 (2014), 141--194. 3178251

2014
[15]

Echterhoff, H

S. Echterhoff, H. Emerson, and H. J. Kim, KK -theoretic duality for proper twisted actions , Math. Ann. 340 (2008), no. 4, 839--873. 2372740

2008
[16]

Emerson and R

H. Emerson and R. Meyer, Equivariant representable K -theory , J. Topol. 2 (2009), no. 1, 123--156. 2499440

2009
[17]

, Dualities in equivariant K asparov theory , New York J. Math. 16 (2010), 245--313. 2740579

2010
[18]

Emerson, Noncommutative P oincar\' e duality for boundary actions of hyperbolic groups , J

H. Emerson, Noncommutative P oincar\' e duality for boundary actions of hyperbolic groups , J. Reine Angew. Math. 564 (2003), 1--33. 2021032

2003
[19]

Emerson , Lefschetz numbers for $C^*$-algebras

H. Emerson , Lefschetz numbers for $C^*$-algebras. , Can. Math. Bull. 54 (2011), no. 1, 82--99 (English)

2011
[20]

Guentner, N

E. Guentner, N. Higson, and J. Trout, Equivariant E -theory for C^* -algebras , Mem. Amer. Math. Soc. 148 (2000), no. 703, viii+86. 1711324

2000
[21]

Higson and E

N. Higson and E. Guentner, Group C^ -algebras and K -theory , Noncommutative geometry, Lecture Notes in Math., vol. 1831, Springer, Berlin, 2004, pp. 137--251. 2058474

2004
[22]

Higson, On a technical theorem of K asparov , J

N. Higson, On a technical theorem of K asparov , J. Funct. Anal. 73 (1987), no. 1, 107--112. 890657

1987
[23]

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), no. 1, 23--74 (English)

2001
[24]

Julg and G

P. Julg and G. Kasparov , Operator $K$-theory for the group $SU(n,1)$. , J. Reine Angew. Math. 463 (1995), 99--152 (English)

1995
[25]

G. G. Kasparov, The operator K -functor and extensions of C^ -algebras , Izv. Akad. Nauk SSSR Ser. Mat. 44 (1980), no. 3, 571--636, 719. 582160

1980
[26]

, Equivariant KK -theory and the novikov conjecture , Inventiones Mathematicae 91 (1988), 147--201

1988
[27]

1 ( O berwolfach, 1993), London Math

, K -theory, group C^* -algebras, and higher signatures (conspectus) , Novikov conjectures, index theorems and rigidity, V ol. 1 ( O berwolfach, 1993), London Math. Soc. Lecture Note Ser., vol. 226, Cambridge Univ. Press, Cambridge, 1995, pp. 101--146. 1388299

1993
[28]

Kaminker and I

J. Kaminker and I. Putnam, K -theoretic duality of shifts of finite type , Comm. Math. Phys. 187 (1997), no. 3, 509--522. 1468312

1997
[29]

Kaad and V

J. Kaad and V. Proietti, Index theory on the Miscenko bundle , arXiv:1807.05757 [math.KT], July 2018

2018 arXiv
[30]

Kaminker, I

J. Kaminker, I. F. Putnam, and M. F. Whittaker, K-theoretic duality for hyperbolic dynamical systems, J. Reine Angew. Math. 730 (2017), 263--299. 3692021

2017
[31]

G. G. Kasparov and G. Skandalis, Groups acting on buildings, operator K -theory, and N ovikov's conjecture , K -Theory 4 (1991), no. 4, 303--337. 1115824

1991
[32]

Kasparov and G

G. Kasparov and G. Skandalis , Groups acting properly on ``bolic'' spaces and the Novikov conjecture. , Ann. Math. (2) 158 (2003), no. 1, 165--206 (English)

2003
[33]

Kaminker and C

J. Kaminker and C. L. Schochet, Spanier- W hitehead K -duality for C^* -algebras , J. Topol. Anal. 11 (2019), no. 1, 21--52. 3918060

2019
[34]

Lafforgue , La conjecture de Baum-Connes \`a coefficients pour les groupes hyperboliques

V. Lafforgue , La conjecture de Baum-Connes \`a coefficients pour les groupes hyperboliques. , J. Noncommut. Geom. 6 (2012), no. 1, 1--197 (French)

2012
[35]

Land, The analytical assembly map and index theory, Journal of Noncommutative Geometry 9 (2015), 603--619

M. Land, The analytical assembly map and index theory, Journal of Noncommutative Geometry 9 (2015), 603--619

2015
[36]

Meyer, Equivariant K asparov theory and generalized homomorphisms , K -Theory 21 (2000), no

R. Meyer, Equivariant K asparov theory and generalized homomorphisms , K -Theory 21 (2000), no. 3, 201--228. 1803228

2000
[37]

A. S. Mi s c enko and A. T. Fomenko, The index of elliptic operators over C -algebras , Izv. Akad. Nauk SSSR Ser. Mat. 43 (1979), no. 4, 831--859, 967. 548506

1979
[38]

Meyer and R

R. Meyer and R. Nest, The B aum- C onnes conjecture via localisation of categories , Topology 45 (2006), no. 2, 209--259. 2193334

2006
[39]

I , Triangulated categories, London Math

, Homological algebra in bivariant K -theory and other triangulated categories. I , Triangulated categories, London Math. Soc. Lecture Note Ser., vol. 375, Cambridge Univ. Press, Cambridge, 2010, pp. 236--289. 2681710

2010
[40]

Meintrup and T

D. Meintrup and T. Schick, A model for the universal space for proper actions of a hyperbolic group, New York J. Math. 8 (2002), 1--7. 1887695

2002
[41]

Mineyev and G

I. Mineyev and G. Yu, The B aum- C onnes conjecture for hyperbolic groups , Invent. Math. 149 (2002), no. 1, 97--122. 1914618

2002
[42]

Neeman, Triangulated categories, Annals of Mathematics Studies, vol

A. Neeman, Triangulated categories, Annals of Mathematics Studies, vol. 148, Princeton University Press, Princeton, NJ, 2001. 1812507

2001
[43]

Nishikawa, Direct splitting method for the B aum-- C onnes conjecture , Journal of Functional Analysis 277 (2019), no

S. Nishikawa, Direct splitting method for the B aum-- C onnes conjecture , Journal of Functional Analysis 277 (2019), no. 7, 2259 -- 2287

2019
[44]

G. A. Niblo , R. Plymen , and N. Wright , Extended affine Weyl groups, the Baum-Connes correspondence and Langlands duality , arXiv:1512.06662 [math.KT], January 2016

2016 arXiv
[45]

Rieffel, Strong morita equivalence of certain transformation group C^* -algebras , Math

M. Rieffel, Strong morita equivalence of certain transformation group C^* -algebras , Math. Ann. 222 (1976), no. 1, 7--22

1976
[46]

Rosenberg and C

J. Rosenberg and C. Schochet, The K \" u nneth theorem and the universal coefficient theorem for K asparov's generalized K -functor , Duke Math. J. 55 (1987), no. 2, 431--474. 894590

1987
[47]

Skandalis, Une notion de nucl\' e arit\' e en K -th\' e orie (d'apr\`es J

G. Skandalis, Une notion de nucl\' e arit\' e en K -th\' e orie (d'apr\`es J . C untz) , K -Theory 1 (1988), no. 6, 549--573. 953916

1988
[48]

E. H. Spanier and J. H. C. Whitehead, Duality in relative homotopy theory, Ann. of Math. 67 (1958), no. 2, 203--238

1958
[49]

Tu, The B aum- C onnes conjecture for groupoids , C^* -algebras ( M \" u nster, 1999), Springer, Berlin, 2000, pp

J.-L. Tu, The B aum- C onnes conjecture for groupoids , C^* -algebras ( M \" u nster, 1999), Springer, Berlin, 2000, pp. 227--242. 1798599

1999
[50]

Uuye, The B aum- C onnes conjecture for KK -theory , J

O. Uuye, The B aum- C onnes conjecture for KK -theory , J. K-Theory 8 (2011), no. 1, 3--29. 2826278

2011
[51]

urich, Birkh\

A. Valette, Introduction to the B aum- C onnes conjecture , Lectures in Mathematics ETH Z\"urich, Birkh\"auser Verlag, Basel, 2002, From notes taken by Indira Chatterji, With an appendix by Guido Mislin. 1907596

2002

Pith tools

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

[1] [1]

write newline

" write newline "" before.all 'output.state := FUNCTION output.nonempty.mrnumber duplicate missing pop "" 'skip if duplicate empty 'pop " " swap * " " * write if FUNCTION fin.entry add.period write mrnumber output.nonempty.mrnumber newline INTEGERS nameptr namesleft numnames FUNCTION format.language language empty "" " (" language * ")" * if FUNCTION form...

[2] [2]

Anantharaman-Delaroche, Amenability and exactness for dynamical systems and their C^ -algebras , Trans

C. Anantharaman-Delaroche, Amenability and exactness for dynamical systems and their C^ -algebras , Trans. Amer. Math. Soc. 354 (2002), no. 10, 4153--4178. 1926869

work page 2002

[3] [3]

P. Baum, A. Connes, and N. Higson, Classifying space for proper actions and K -theory of group C^ -algebras , C^ -algebras: 1943--1993 ( S an A ntonio, TX , 1993), Contemp. Math., vol. 167, Amer. Math. Soc., Providence, RI, 1994, pp. 240--291. 1292018

work page 1943

[4] [4]

On the Baum-Connes Conjecture for Groups Acting on CAT(0)-Cubical Spaces

J. Brodzki, E. Guentner, N. Higson, and S. Nishikawa, On the B aum-- C onnes conjecture for groups acting on CAT (0)-cubical spaces , arXiv:1908.10485, August 2019

work page Pith review arXiv 1908

[5] [5]

Blackadar, K -theory for operator algebras , second ed., Mathematical Sciences Research Institute Publications, vol

B. Blackadar, K -theory for operator algebras , second ed., Mathematical Sciences Research Institute Publications, vol. 5, Cambridge University Press, Cambridge, 1998. 1656031

work page 1998

[6] [6]

Block, Duality and equivalence of module categories in noncommutative geometry, A celebration of the mathematical legacy of R aoul B ott, CRM Proc

J. Block, Duality and equivalence of module categories in noncommutative geometry, A celebration of the mathematical legacy of R aoul B ott, CRM Proc. Lecture Notes, vol. 50, Amer. Math. Soc., Providence, RI, 2010, pp. 311--339. 2648899

work page 2010

[7] [7]

P. Baum, S. Millington, and R. Plymen, Local-global principle for the B aum- C onnes conjecture with coefficients , K -Theory 28 (2003), no. 1, 1--18. 1988816

work page 2003

[8] [8]

Brodzki , V

J. Brodzki , V. Mathai , J. Rosenberg , and R. J. Szabo , D-branes, RR-fields and duality on noncommutative manifolds. , Commun. Math. Phys. 277 (2008), no. 3, 643--706 (English)

work page 2008