pith. sign in

arxiv: 2606.24502 · v1 · pith:SMZVIHHHnew · submitted 2026-06-23 · 🧮 math.OA · math.KT

A Baum-Connes assembly map for essential semigroup crossed products

Diego Mart\'inez This is my paper

Pith reviewed 2026-06-25 21:33 UTC · model grok-4.3

classification 🧮 math.OA math.KT
keywords Baum-Connes assembly mapequivariant E-theoryFell bundlesinverse semigroupscrossed productsC*-algebrasCartan pairsgroupoids
0
0 comments X

The pith

An equivariant E-theory and Baum-Connes assembly map are constructed for Fell bundles of inverse semigroups over separable C*-algebras.

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

The paper establishes functoriality properties for the maximal, reduced, and essential cross-sectional C*-algebras arising from saturated Fell bundles of inverse semigroups. These properties support the definition of proper actions that satisfy a weak containment condition and permit short exact sequences. The resulting framework defines equivariant E-theory through adequately equivariant asymptotic morphisms and produces a natural Baum-Connes assembly map. The construction generalizes earlier results for discrete groups and étale groupoids, opening the way to E-theoretic analysis of Cartan pairs and maximal or essential algebras of non-Hausdorff groupoids.

Core claim

We construct an equivariant E-theory and a Baum-Connes assembly map at the level of Fell bundles of inverse semigroups over separable C*-algebras by establishing functoriality for maximal, reduced and essential cross-sectional C*-algebras, introducing proper Fell bundles with a weak containment property, and defining the E-theory via equivariant asymptotic morphisms; the resulting assembly map is natural and reasonably well-behaved.

What carries the argument

The functoriality properties of maximal, reduced and essential cross-sectional C*-algebras for saturated Fell bundles of inverse semigroups, which enable short exact sequences and the definition of equivariant E-theory via asymptotic morphisms.

If this is right

  • Short exact sequences arise from the cross-sectional algebras in the inverse semigroup setting, generalizing the discrete group case.
  • Proper actions of inverse semigroups satisfy a weak containment property.
  • The Baum-Connes assembly map applies to maximal and essential C*-algebras of non-Hausdorff groupoids and to Cartan pairs.
  • The construction extends to Fell bundles over discrete groups and étale groupoids.

Where Pith is reading between the lines

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

  • The map may supply new computational tools for K-theory of essential crossed products by semigroups.
  • It opens the possibility of checking the Baum-Connes conjecture for additional singular dynamical systems encoded by inverse semigroups.
  • The framework could link E-theory methods more directly to the study of Cartan subalgebras in von Neumann algebras.

Load-bearing premise

The functoriality properties for maximal, reduced and essential cross-sectional C*-algebras of saturated Fell bundles hold and permit short exact sequences.

What would settle it

An explicit saturated Fell bundle over an inverse semigroup for which the maximal, reduced and essential cross-sectional algebras fail to fit into a short exact sequence under the natural maps, so that the equivariant E-theory and assembly map cannot be defined.

read the original abstract

We construct an equivariant E-theory and a Baum-Connes assembly map at the level of Fell bundles of inverse semigroups over separable C*-algebras. This generalizes previous work of several authors, and allows to discuss E-theoretic matters in the context of Cartan pairs; maximal and essential C*-algebras of non-Hausdorff groupoids; and Fell bundles over discrete groups and \'etale groupoids, among others. In order to do this we establish several functoriality properties for maximal, reduced and essential cross-sectional C*-algebras associated with a (saturated) Fell bundle of an inverse semigroup. This allows to discuss when these algebras give rise to short exact sequences, generalizing the classical case of discrete groups. We also introduce the adequate notion of ``proper'' Fell bundle, or ``proper'' action of an inverse semigroup, and prove a weak containment property for these. Using these functoriality properties and these proper actions we then introduce (maximal, reduced and/or essential) equivariant E-theory by means of adequately equivariant asymptotic morphisms, and construct a Baum-Connes assembly map that is both natural and reasonably well-behaved.

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

0 major / 3 minor

Summary. The paper constructs an equivariant E-theory and a Baum-Connes assembly map at the level of Fell bundles of inverse semigroups over separable C*-algebras. It establishes functoriality properties for the maximal, reduced, and essential cross-sectional C*-algebras of saturated Fell bundles (allowing short exact sequences in the classical sense), introduces the notion of proper Fell bundles (or proper actions of inverse semigroups), proves a weak containment property for these, and uses equivariant asymptotic morphisms to define the assembly map, which is shown to be natural and reasonably well-behaved. The work generalizes prior results for groups, groupoids, and related structures, with applications to Cartan pairs and non-Hausdorff groupoids.

Significance. If the constructions and functoriality properties hold as stated, the result provides a unified framework for E-theoretic questions in settings beyond groups and étale groupoids, including inverse semigroups and essential crossed products. The explicit treatment of proper actions and weak containment, together with the naturality of the assembly map, strengthens the applicability of Baum-Connes-type conjectures in these contexts.

minor comments (3)
  1. The abstract and introduction refer to 'adequately equivariant asymptotic morphisms' without an early precise definition; a dedicated subsection or paragraph in §2 or §3 defining the equivariance condition with respect to the inverse semigroup action would improve readability.
  2. Notation for the three variants (maximal, reduced, essential) of the cross-sectional algebras and the corresponding E-theories is introduced gradually; a single table or diagram summarizing the relationships and which properties hold for each would aid navigation.
  3. The weak containment property for proper Fell bundles is stated in the abstract but the precise statement (including any saturation or Fell bundle hypotheses) should be highlighted as a numbered theorem or proposition for easy reference in later sections.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. The report lists no major comments, so we have no specific points requiring response or revision at this stage.

Circularity Check

0 steps flagged

No significant circularity; construction relies on established functoriality

full rationale

The paper's central contribution is a construction of equivariant E-theory and a Baum-Connes assembly map for Fell bundles over inverse semigroups. It proceeds by first establishing functoriality properties for maximal/reduced/essential cross-sectional C*-algebras (allowing short exact sequences) and introducing a notion of proper actions, then defining the E-theory via equivariant asymptotic morphisms and building the assembly map from those. These steps are presented as generalizations of prior literature on groups and groupoids rather than reductions to self-defined quantities or fitted inputs. No self-citation is load-bearing in a way that collapses the derivation, and no ansatz or uniqueness theorem is smuggled in. The result is a self-contained construction at score 2.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The paper relies on standard C*-algebra and Fell-bundle axioms from prior literature and introduces the new notion of proper Fell bundle whose independent evidence is not supplied in the abstract.

axioms (2)
  • standard math Standard functoriality and exactness properties of maximal, reduced, and essential cross-sectional C*-algebras of Fell bundles
    Invoked to obtain short exact sequences from bundle sequences.
  • domain assumption Existence of adequately equivariant asymptotic morphisms defining the E-theory
    Used to define the equivariant E-theory before constructing the assembly map.
invented entities (1)
  • proper Fell bundle (or proper action of an inverse semigroup) no independent evidence
    purpose: To guarantee the weak containment property needed for the assembly map
    New definition introduced in the paper; no independent evidence outside the construction is mentioned in the abstract.

pith-pipeline@v0.9.1-grok · 5728 in / 1471 out tokens · 24393 ms · 2026-06-25T21:33:07.180184+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

82 extracted references · 13 canonical work pages · 3 internal anchors

  1. [1]

    Androulidakis and G

    I. Androulidakis and G. Skandalis,A Baum–Connes conjecture for singular foliations, Annals K-theory4 (2019), no. 4

    2019

  2. [2]

    M. P. G. Aparicio, P. Julg, and A. Valette,The Baum–Connes conjecture: an extended survey(2019), 120. arXiv: 1905.10081

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  3. [3]

    Ara and M

    P. Ara and M. Mathieu,Local Multipliers of C*-Algebras, Springer Monogr. Math., Springer-Verlag, 2003

    2003

  4. [4]

    Armstrong, L

    B. Armstrong, L. O. Clark, A. an Huef, D. Martínez, and I. Tolich,A dichotomy for inverse semigroup crossed products via dynamical Cuntz semigroups(2026). arXiv: 2601.07100

    work page arXiv 2026

  5. [5]

    Arveson,Notes on extensions ofC∗-algebras, Duke Math

    W. Arveson,Notes on extensions ofC∗-algebras, Duke Math. J.44 (1977), no. 2

    1977

  6. [6]

    Bardadyn, B

    K. Bardadyn, B. Kwaśniewski, and A. McKee,Banach algebras associated to twisted étale groupoids: simplicity and pure infiniteness(2024). arXiv: 2406.05717

    work page arXiv 2024

  7. [7]

    Barlak and X

    S. Barlak and X. Li,Cartan subalgebras and the UCT problem, Adv. Math.316 (2017), 748–769

    2017

  8. [8]

    P. Baum, A. Connes, and N. Higson,Classifying space for proper actions and K-theory of groupC∗-algebras,C∗-algebras: 1943–1993 (San Antonio, TX, 1993), 1994, pp. 240–291

    1943

  9. [9]

    T. Bice, L. O. Clark, Y.-F. Lin, and K. McCormick,Cartan semigroups and twisted groupoidC∗-algebras, J. Func. Anal. 289 (2025), 111038

    2025

  10. [10]

    Blackadar,K-theory for Operator algebras, Mathematical Sciences Research Institute Publications, Springer, New York, 1986

    B. Blackadar,K-theory for Operator algebras, Mathematical Sciences Research Institute Publications, Springer, New York, 1986

    1986

  11. [11]

    122, Springer-Verlag, Berlin, 2006

    , Operator algebras, Encyclopaedia of Mathematical Sciences, vol. 122, Springer-Verlag, Berlin, 2006. Theory of C∗-algebras and von Neumann algebras, Operator Algebras and Non-commutative Geometry, III

    2006

  12. [12]

    K. A. Brix, J. Gonzales, J. B. Hume, and X. Li,On Hausdorff covers for non-Hausdorff groupoids(2025). arXiv: 2503.23203

    work page arXiv 2025

  13. [13]

    Bruce and X

    C. Bruce and X. Li,Algebraic actions I.C∗-algebras and groupoids, J. Func. Anal.286 (2024), no. 4, 57 pp

    2024

  14. [14]

    Burgstaller,Inverse semigroup equivariant KK-theory andC∗-extensions, Operators and Matrices10 (2016), no

    B. Burgstaller,Inverse semigroup equivariant KK-theory andC∗-extensions, Operators and Matrices10 (2016), no. 2, 467–484

    2016

  15. [15]

    Buss and R

    A. Buss and R. Exel,Fell bundles over inverse semigroups and twisted étale groupoids, J. Operator Theory67 (2012), no. 1, 153–205. MR2881538

    2012

  16. [16]

    London Math

    , Twisted actions and regular Fell bundles over inverse semigroups, Proc. London Math. Soc.103 (2011), 235–270

    2011

  17. [17]

    A. Buss, R. Exel, and R. Meyer,Reduced C*-algebras of Fell bundles over inverse semigroups, Isr. J. Math.220 (2017), no. 1, 225–274

    2017

  18. [18]

    , Reduced C*-algebras of Fell bundles over inverse semigroups , Israel J. Math. 220 (2017), 225–274. doi10.1007/s11856-017-1516-9

    2017

  19. [19]

    Buss and D

    A. Buss and D. Martínez,Approximation properties of Fell bundles over inverse semigroups and non-Hausdorff groupoids, Adv. Math.431 (2023), 109251

    2023

  20. [20]

    Buss and D

    A. Buss and D. Martínez,Essential groupoid amenability and nuclearity of groupoid C*-algebras(2025). arXiv: 2501.01775

    work page arXiv 2025

  21. [21]

    Buss and R

    A. Buss and R. Meyer,Inverse semigroup actions on groupoids, Rocky Mount. J. Math.47 (2017), no. 1, 53–159

    2017

  22. [22]

    Y. C. Chung, D. Martínez, and N. Szakács,Quasi-countable inverse semigroups as metric spaces, and the uniform Roe algebras of locally finite inverse semigroups, Groups Geom. Dyn. (2025)

    2025

  23. [23]

    L. O. Clark, R. Exel, E. Pardo, A. Sims, and C. Starling,Simplicity of algebras associated to non-Hausdorff groupoids, Trans. Ame. Math. Soc.372 (2019), no. 5, 3669–3712

    2019

  24. [24]

    Dadarlat and R

    M. Dadarlat and R. Meyer,E-theory forC∗-algebras over topological spaces, J. Funct. Anal.263 (2012), 216–247

    2012

  25. [25]

    Dauns and K

    J. Dauns and K. H. Hofmann,Representations of rings by continuous sections, Mem. Amer. Math. Soc.83 (1968)

    1968

  26. [26]

    E. B. Davies,On the Borel structure ofC∗-algebras, Commun. Math. Phys.8 (1968), 147–163

    1968

  27. [27]

    Eckhardt,C∗-algebras generated by representations of virtually nilpotent groups, Adv

    C. Eckhardt,C∗-algebras generated by representations of virtually nilpotent groups, Adv. Math.444 (2024)

    2024

  28. [28]

    G. A. Elliott and D. Olesen,A simple proof of the Dauns–Hofmann theorem, Math. Scand.34 (1974), 231–234

    1974

  29. [29]

    Exel,Amenability for Fell bundles, J

    R. Exel,Amenability for Fell bundles, J. Reine Angew. Math.492 (1997), 41–73

    1997

  30. [30]

    , Inverse semigroups and combinatorialC∗-algebras, Bull. Braz. Math. Soc. (N.S.)39 (2008), no. 2, 191–313

    2008

  31. [31]

    Math.17 (2011), 331–382

    , Noncommutative Cartan sub-algebras ofC∗-algebras, New York J. Math.17 (2011), 331–382

    2011

  32. [32]

    Exel and D

    R. Exel and D. R. Pitts,Characterizing groupoid C*-algebras of non-Hausdorff étale groupoids, Lecture notes in mathematics, Springer, 2022

    2022

  33. [33]

    Exel and C

    R. Exel and C. Starling,Amenable actions of inverse semigroups, Erg. Th. Dyn. Sys.37 (2017), no. 2, 481–489

    2017

  34. [34]

    Gabe,Classification ofO∞-stable C∗-algebras, Mem

    J. Gabe,Classification ofO∞-stable C∗-algebras, Mem. Amer. Math. Soc.293 (2024), no. 1461

    2024

  35. [35]

    Gonzales and J

    J. Gonzales and J. B. Hume,On dense subalgebras of the singular ideal in groupoidC∗-algebras (2025). arXiv: 2511.04391

    work page arXiv 2025

  36. [36]

    Guentner, N

    E. Guentner, N. Higson, and J. Trout,Equivariant E-theory for C*-algebras, Mem. Am. Math. Soc., vol. 703, 2000

    2000

  37. [37]

    Harnisch and E

    H. Harnisch and E. Kirchberg,The inverse problem for primitive ideal spaces(2025). arXiv: 2401.05917

    work page arXiv 2025

  38. [38]

    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. 42 DIEGO MARTÍNEZ

    2001

  39. [39]

    Higson, G

    N. Higson, G. Kasparov, and J. Trout,A Bott periodicity theorem for infinite dimensional Euclidean space, Adv. Math. 135 (1998), 1–40

    1998

  40. [40]

    Higson, V

    N. Higson, V. Lafforgue, and G. Skandalis,Counterexamples to the Baum–Connes conjecture, Geom. Funct. Anal.12 (2002), no. 2, 330–354

    2002

  41. [41]

    J. B. Hume,Characterizations of zero singular ideal in étale groupoidC∗-algebras via compressible maps(2025). arXiv: 2509.07262

    work page arXiv 2025

  42. [42]

    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

  43. [43]

    Khoshkam and G

    M. Khoshkam and G. Skandalis,Regular representation of groupoidC∗-algebras and applications to inverse semigroups, J. Reine Angew. Math.546 (2002), 47–72

    2002

  44. [44]

    Kranz,The weak containment problem for étale groupoids which are strongly amenable at infinity, J

    J. Kranz,The weak containment problem for étale groupoids which are strongly amenable at infinity, J. Op. Th.89 (2023), no. 2, 349–360

    2023

  45. [45]

    Kumjian,Fell bundles over groupoids, Proc

    A. Kumjian,Fell bundles over groupoids, Proc. Amer. Math. Soc.126 (1998), no. 4, 1115–1125

    1998

  46. [46]

    , On C∗-diagonals, Can. J. Math.38 (1986), no. 4, 969–1008

    1986

  47. [47]

    B. K. Kwaśniewski, L. Kang, and A. Skalski,The Haagerup property for twisted groupoid dynamical systems, J. Funct. Anal. 283 (2022)

    2022

  48. [48]

    B. K. Kwaśniewski and R. Meyer,Essential crossed products for inverse semigroup actions: simplicity and pure infiniteness, Doc. Math.26 (2021), 271–335. doi10.4171/dm/815

    2021

  49. [49]

    Noncommutative Geom.17 (2023), no

    , Ideal structure and pure infiniteness of inverse semigroup crossed products, J. Noncommutative Geom.17 (2023), no. 3, 999–1043

    2023

  50. [50]

    B. K. Kwaśniewski, R. Meyer, and A. Prasad,Type semigroups for twisted groupoids and a dichotomy for groupoid C*-algebras, 2025. arXiv: 2502.17190

    work page arXiv 2025

  51. [51]

    E. C. Lance,HilbertC∗-modules: A toolkit for operator algebraists, Bull. L. Math. Soc.29 (1997), no. 1

    1997

  52. [52]

    M. V. Lawson,Inverse semigroups: the theory of partial symmetries, World Scientific Publishing Co

  53. [53]

    Li,Every classifiable simpleC∗-algebra has a Cartan subalgebra, Invent

    X. Li,Every classifiable simpleC∗-algebra has a Cartan subalgebra, Invent. Math.219 (2020), no. 2, 653–699

    2020

  54. [54]

    Algebraic singular functions are not always dense in the ideal of $C^*$-singular functions

    D. Martínez and N. Szakács,Algebraic singular functions are not always dense in the ideal ofC∗-singular functions (2025). arXiv: 2510.01947

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  55. [55]

    Meyer and R

    R. Meyer and R. Nest,C∗-algebras over topological spaces: the bootstrap class, Münster J. Math.2 (2009), 215–252

    2009

  56. [56]

    Miller and E

    A. Miller and E. Scarparo,Invariant measures and traces on groupoidC∗-algebras (2026). arXiv: 2603.04020

    work page arXiv 2026

  57. [57]

    Miller and B

    A. Miller and B. Steinberg,Homology and K-theory for self-similar actions of groups and groupoids(2024). arXiv: 2409.02359

    work page arXiv 2024

  58. [58]

    Neshveyev and G

    S. Neshveyev and G. Schwartz,Non-Hausdorff étale groupoids andC∗-algebras of left cancellative monoids, Münster J. Math. 16 (2023), no. 1, 147–175

    2023

  59. [59]

    Popescu,Equivariant E-theory for groupoids acting onC∗-algebras, J

    R. Popescu,Equivariant E-theory for groupoids acting onC∗-algebras, J. Funct. Anal.209 (2004), no. 2, 247–292

    2004

  60. [60]

    G. B. Preston,Inverse semi-groups, J. London Math. Soc.29 (1954), 396–403

    1954

  61. [61]

    London Math

    , Inverse semi-groups with minimal right ideals, J. London Math. Soc.29 (1954), 404–411

    1954

  62. [62]

    London Math

    , Representations of inverse semi-groups, J. London Math. Soc.29 (1954), 411–419

    1954

  63. [63]

    Renault,Cartan subalgebras inC∗-algebras, Bull

    J. Renault,Cartan subalgebras inC∗-algebras, Bull. Irish Math. Soc. (2008)

    2008

  64. [64]

    Scand.117 (2015), 5–30

    , Topological amenability is a Borel property, Math. Scand.117 (2015), 5–30

    2015

  65. [65]

    Rosenberg and C

    J. Rosenberg and C. Schochet,The Künneth theorem and the universal coefficient theorem for Kasparov’s generalized K -functor, Duke Math. J.55 (1987), no. 2, 431–474

    1987

  66. [66]

    Nuclear C*-algebras: 99 problems

    C. Schafhauser, A. Tikuisis, and S. White,NuclearC∗-algebras: 99 problems(2025). arXiv: 2506.10902

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  67. [67]

    Sieben, Fell bundles over r-discrete groupoids and inverse semigroups(1998), unpublished, available athttp: //jan.ucc.nau.edu/~ns46/bundle.ps.gz

    N. Sieben, Fell bundles over r-discrete groupoids and inverse semigroups(1998), unpublished, available athttp: //jan.ucc.nau.edu/~ns46/bundle.ps.gz

    1998

  68. [68]

    , C*-crossed products by partial actions and actions of inverse semigroups, J. Austral. Math. Soc. Ser. A63 (1997), 32–46. doi10.1017/s1446788700000306

    1997

  69. [69]

    Aidan Sims,Hausdorff étale groupoids and their C*-algebras(Francesc Perera, ed.), Advanced Courses in Mathematics, Birkhäuser/Springer, CRM Barcelona, 2020

    2020

  70. [70]

    Steinberg and N

    B. Steinberg and N. Szakács,Simplicity of inverse semigroup and étale groupoid algebras, Adv. Math.386 (2021)

    2021

  71. [71]

    Annalen386 (2023), 1391–1428

    , On the simplicity of Nekrashevych algebras of contracting self-similar groups, Math. Annalen386 (2023), 1391–1428

    2023

  72. [72]

    Tikuisis, S

    A. Tikuisis, S. White, and W. Winter,Quasidiagonality of nuclear C*-algebras, Ann. Math.185 (2017), no. 1, 229–284

    2017

  73. [73]

    Timmermann,The Fell compactification and non-Hausdorff groupoids, Math

    T. Timmermann,The Fell compactification and non-Hausdorff groupoids, Math. Zeit.269 (2011), no. 3, 1105–1111

    2011

  74. [74]

    J. L. Tu,La conjecture de Baum–Connes pour les feuilletages moyennables, K-Theory 17 (1999), 215–264

    1999

  75. [75]

    Math.9 (2004), 565–597

    , Non–Hausdorff groupoids, proper actions and K–theory, Doc. Math.9 (2004), 565–597

    2004

  76. [76]

    Valette,Introduction to the Baum-Connes conjecture, Lec

    A. Valette,Introduction to the Baum-Connes conjecture, Lec. Math. ETH Zürich, Birkhäuser, 2002

    2002

  77. [77]

    Wagner,Generalised groups, Proc

    V. Wagner,Generalised groups, Proc. USSR Ac. Scn.84 (1952), 1119–1122

    1952

  78. [78]

    Mat.3 (1953), 545–632

    , The theory of generalized heaps and generalized groups, Sb. Mat.3 (1953), 545–632

    1953

  79. [79]

    White and R

    S. White and R. Willett,Cartan subalgebras in uniform Roe algebras, Groups Geom. Dyn.14 (2020), no. 3, 949–989

    2020

  80. [80]

    Willett and G

    R. Willett and G. Yu,The Universal Coefficient Theorem forC∗-algebras with Finite Complexity, Mem. Eur. Math. Soc. 8 (2024)

    2024

Showing first 80 references.