pith. sign in

arxiv: 1907.05258 · v1 · pith:3T42H22Mnew · submitted 2019-07-11 · 🧮 math.OA

Lie groupoids, pseudodifferential calculus and index theory

Pith reviewed 2026-05-24 22:50 UTC · model grok-4.3

classification 🧮 math.OA
keywords Lie groupoidsnoncommutative geometryindex theorypseudodifferential calculusC*-algebrasfoliationsK-theorysingular spaces
0
0 comments X

The pith

Lie groupoids unify pseudodifferential operators and index theory across foliations and singular spaces.

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

The paper recalls the basic structures of Lie groupoids, their C*-algebras, and associated pseudodifferential calculi as introduced by Connes for foliation index problems. It surveys both older and recent advances showing how these objects handle index questions in noncommutative geometry. The authors close by listing open questions and possible further developments. A sympathetic reader would care because the groupoid language supplies a single setting in which classical index formulas extend to spaces with singularities where smooth manifold techniques break down.

Core claim

Lie groupoids, together with their C*-algebras and pseudodifferential calculi, supply the natural framework in which Alain Connes' index theory for foliations generalizes to a wide range of singular and noncommutative situations, and this framework has already yielded concrete advances that the authors review before posing further questions.

What carries the argument

Lie groupoids and the pseudodifferential calculus built on their C*-algebras, which encode both the geometry and the operator theory needed for index computations.

If this is right

  • Index theorems become available for foliations and orbifolds by reducing them to groupoid K-theory computations.
  • Pseudodifferential operators on singular spaces acquire a symbol calculus and ellipticity criterion inside the groupoid algebra.
  • K-theoretic invariants of noncommutative spaces arise uniformly from the groupoid construction.
  • Further developments can target index problems on stratified spaces or on groupoids with additional structure such as actions or fibrations.

Where Pith is reading between the lines

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

  • The same groupoid calculus might supply a route to index formulas on quantum homogeneous spaces once suitable groupoids are identified.
  • Open questions listed in the paper could be tested by constructing explicit groupoid models for currently intractable singular metrics.
  • If the review's suggested directions succeed, they would link index theory more tightly to deformation quantization and to the geometry of stacky spaces.

Load-bearing premise

That the basic definitions and properties of Lie groupoids, C*-algebras, and pseudodifferential operators are already standard and do not require new justification in this review.

What would settle it

A concrete foliation or singular space whose index cannot be recovered from any associated Lie groupoid C*-algebra or whose K-theory class lies outside the range predicted by the groupoid pseudodifferential calculus.

read the original abstract

Alain Connes introduced the use of Lie groupoids in noncommutative geometry in his pioneering work on the index theory of foliations. In the present paper, we recall the basic notion involved: groupoids, their C*-algebras, their pseudodifferential calculus... We review several recent and older advances on the involvement of Lie groupoids in noncommutative geometry. We then propose some open questions and possible developments of the subject.

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 / 0 minor

Summary. The manuscript is an expository review that recalls the basic notions of Lie groupoids, their C*-algebras, and pseudodifferential calculus in noncommutative geometry, following Alain Connes' work on index theory for foliations. It surveys recent and older advances involving Lie groupoids in this area and proposes open questions and possible developments.

Significance. As a survey of an established but specialized topic, the paper can provide a useful consolidated reference for researchers working at the intersection of groupoid C*-algebras, pseudodifferential operators, and index theory, provided the recalled background and cited advances are presented accurately.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive review and recommendation to accept the manuscript. The referee's summary accurately reflects the expository nature of the paper as a survey of Lie groupoids in noncommutative geometry, including their C*-algebras, pseudodifferential calculus, and connections to index theory.

Circularity Check

0 steps flagged

No significant circularity: expository review with no derivations

full rationale

The paper is explicitly framed as a literature review that recalls standard background notions of groupoids, C*-algebras and pseudodifferential calculus, surveys existing advances, and lists open questions. No novel technical derivations, predictions, fitted parameters, or uniqueness theorems are advanced whose validity would depend on self-referential steps. All recalled material is presented as standard background, and the central content consists of citations to prior independent work rather than any reduction of claims to the paper's own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

As this is a review paper based solely on the abstract, no new free parameters, axioms or invented entities are introduced. All content draws from prior literature in noncommutative geometry.

pith-pipeline@v0.9.0 · 5587 in / 954 out tokens · 26599 ms · 2026-05-24T22:50:07.446121+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

118 extracted references · 118 canonical work pages · 6 internal anchors

  1. [1]

    Melo, Bertrand Monthubert, and Elmar Schrohe,Boutet de Monvel’s calculus and groupoids I., J

    Johannes Aastrup, Severino T. Melo, Bertrand Monthubert, and Elmar Schrohe,Boutet de Monvel’s calculus and groupoids I., J. Noncommut. Geom.4 no. 3(2010), 313–329

  2. [2]

    Rui Almeida and Pierre Molino,Suites d’Atiyah et feuilletages transversalement complets, C. R. Acad. Sci. Paris Sér. I Math.300 (1985), no. 1, 13–15. MR 778785

  3. [3]

    , Flots riemanniens sur les4-variétés compactes, Tohoku Math. J. (2)38 (1986), no. 2, 313–326. MR 843815

  4. [4]

    Anantharaman-Delaroche and J

    C. Anantharaman-Delaroche and J. Renault, Amenable groupoids, Monographies de L’Enseignement Mathématique [Monographs of L’Enseignement Mathématique], vol. 36, L’Enseignement Mathématique, Geneva, 2000, With a foreword by Georges Skandalis and Appendix B by E. Germain. MR 1799683

  5. [5]

    Reine Angew

    Iakovos Androulidakis and Georges Skandalis,The holonomy groupoid of a singular foliation, J. Reine Angew. Math.626 (2009), 1–37

  6. [6]

    Noncommut

    , Pseudodifferential calculus on a singular foliation, J. Noncommut. Geom.5 (2011), no. 1, 125–152

  7. [7]

    Atiyah,Elliptic operators discrete groups and von Neumann algebras, Astérisque 32–33 (1976), 43–72

    Michael F. Atiyah,Elliptic operators discrete groups and von Neumann algebras, Astérisque 32–33 (1976), 43–72

  8. [8]

    Atiyah and Singer Isadore M.,The index of elliptic operators

    Michael F. Atiyah and Singer Isadore M.,The index of elliptic operators. I, Ann. of Math. (2) 87 (1968), 484–530

  9. [9]

    III, Ann

    , The index of elliptic operators. III, Ann. of Math. (2)87 (1968), 546–604. MR 0236952

  10. [10]

    , The index of elliptic operators. IV, Ann. of Math. (2)93 (1971), 119–138

  11. [11]

    Paul Baum and Alain Connes, Geometric K-theory for Lie groups and foliations, Enseign. Math. (2)46 (2000), no. 1-2, 3–42. MR 1769535

  12. [12]

    Math., vol

    Paul Baum, Alain Connes, and Nigel Higson,Classifying space for proper actions andK-theory of group C∗-algebras, C∗-algebras: 1943–1993 (San Antonio, TX, 1993), Contemp. Math., vol. 167, Amer. Math. Soc., Providence, RI, 1994, pp. 240–291. MR 1292018

  13. [13]

    K-Theory1 (2016), no

    Paul Baum, Erik Guentner, and Rufus Willett,Expanders, exact crossed products, and the Baum-Connes conjecture, Ann. K-Theory1 (2016), no. 2, 155–208. MR 3514939 31

  14. [14]

    119, Princeton University Press, Princeton, NJ, 1988

    Richard Beals and Peter Greiner,Calculus on Heisenberg manifolds, Annals of Mathematics Studies, vol. 119, Princeton University Press, Princeton, NJ, 1988. MR 953082

  15. [15]

    Moulay Tahar Benameur and Indrava Roy,The Higson-Roe sequence for étale groupoids. I. dual algebras and compatibility with the BC map, arXiv:1801.06040

  16. [16]

    Karsten Bohlen, Boutet de Monvel operators on singular manifolds, C. R. Math. Acad. Sci. Paris 354 (2016), no. 3, 239–243. MR 3463018

  17. [17]

    Math.312 (2017), 234–285

    , Boutet de Monvel operators on Lie manifolds with boundary, Adv. Math.312 (2017), 234–285. MR 3635812

  18. [18]

    1-2, 11–51

    Louis Boutet de Monvel,Boundary problems for pseudo-differential operators, Acta Math.126 (1971), no. 1-2, 11–51

  19. [19]

    , A course on pseudo differential operators and their applications, Mathematics De- partment, Duke University, Durham, N.C., 1976, Duke University Mathematics Series, No. II

  20. [20]

    12, Springer, [Cham], 2017, pp

    Alcides Buss, Siegfried Echterhoff, and Rufus Willett,Exotic crossed products, Operator al- gebras and applications—the Abel Symposium 2015, Abel Symp., vol. 12, Springer, [Cham], 2017, pp. 67–114. MR 3837592

  21. [21]

    Reine Angew

    , Exotic crossed products and the Baum-Connes conjecture, J. Reine Angew. Math.740 (2018), 111–159. MR 3824785

  22. [22]

    Carrillo Rouse, J

    P. Carrillo Rouse, J. M. Lescure, and B. Monthubert,A cohomological formula for the Atiyah- Patodi-Singer index on manifolds with boundary, J. Topol. Anal.6 (2014), no. 1, 27–74. MR 3190137

  23. [23]

    326, Exp

    Pierre Cartier, Groupoïdes de Lie et leurs algébroïdes, Astérisque (2009), no. 326, Exp. No. 987, viii, 165–196 (2010), Séminaire Bourbaki. Vol. 2007/2008. MR 2605322

  24. [24]

    Chernoff,Essential self-adjointness of powers of generators of hyperbolic equations, J

    Paul R. Chernoff,Essential self-adjointness of powers of generators of hyperbolic equations, J. Functional Analysis12 (1973), 401–414. MR 0369890

  25. [25]

    Woocheol Choi and Raphael Ponge,Tangent maps and tangent groupoid for Carnot manifolds, arXiv:1510.05851, 2015

  26. [26]

    Privileged Coordinates and Nilpotent Approximation for Carnot Manifolds, II. Carnot Coordinates

    , Privileged coordinates and nilpotent approximation for Carnot manifolds, II. Carnot coordinates, arXiv:1703.05494, 2017

  27. [27]

    Privileged Coordinates and Nilpotent Approximation of Carnot Manifolds, I. General Results

    , Privileged coordinates and nilpotent approximation of Carnot manifolds, I. General results, arXiv:1709.09045, 2017

  28. [28]

    725, Springer, Berlin, 1979, pp

    Alain Connes, Sur la théorie non commutative de l’intégration, Algèbres d’opérateurs (Sém., Les Plans-sur-Bex, 1978), Lecture Notes in Math., vol. 725, Springer, Berlin, 1979, pp. 19–143

  29. [29]

    in Math.39 (1981), no

    , An analogue of the Thom isomorphism for crossed products of aC∗-algebra by an action of R, Adv. in Math.39 (1981), no. 1, 31–55

  30. [30]

    , A survey of foliations and operator algebras, Operator algebras and applications, Part I (Kingston, Ont., 1980), Proc. Sympos. Pure Math., vol. 38, Amer. Math. Soc., Providence, R.I., 1982, pp. 521–628

  31. [31]

    Notes Math

    , Cyclic cohomology and the transverse fundamental class of a foliation, Geometric methods in operator algebras (Kyoto, 1983), Pitman Res. Notes Math. Ser., vol. 123, Longman Sci. Tech., Harlow, 1986, pp. 52–144. MR 866491 (88k:58149) 32

  32. [32]

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

  33. [33]

    Alain Connes and Nigel Higson,Déformations, morphismes asymptotiques etK-théorie bivari- ante, C. R. Acad. Sci. Paris Sér. I Math.311 (1990), no. 2, 101–106. MR 1065438

  34. [34]

    Alain Connes and Henri Moscovici, The local index formula in noncommutative geometry, Geom. Funct. Anal.5 (1995), no. 2, 174–243. MR 1334867

  35. [35]

    , Hopf algebras, cyclic cohomology and the transverse index theorem, Comm. Math. Phys. 198 (1998), no. 1, 199–246. MR 1657389

  36. [36]

    Alain Connes and Georges Skandalis,The longitudinal index theorem for foliations, Publ. Res. Inst. Math. Sci.20 (1984), no. 6, 1139–1183. MR 775126

  37. [37]

    Marius Crainic and Rui Loja Fernandes,Integrability of Lie brackets, Ann. of Math. (2)157 (2003), no. 2, 575–620. MR 1973056

  38. [38]

    Differential Geom

    Claire Debord, Holonomy groupoids of singular foliations, J. Differential Geom. 58 (2001), no. 3, 467–500. MR 1906783

  39. [39]

    Claire Debord and Jean-Marie Lescure, In preparation

  40. [40]

    , K-duality for pseudomanifolds with isolated singularities, J. Funct. Anal.219 (2005), no. 1, 109–133

  41. [41]

    Topol.13 (2009), no

    , K-duality for stratified pseudomanifolds, Geom. Topol.13 (2009), no. 1, 49–86. MR 2469513

  42. [42]

    Press, Cambridge, 2010, pp

    , Index theory and groupoids, Geometric and topological methods for quantum field theory, Cambridge Univ. Press, Cambridge, 2010, pp. 86–158

  43. [43]

    Reine Angew

    Claire Debord, Jean-Marie Lescure, and Victor Nistor,Groupoids and an index theorem for conical pseudo-manifolds, J. Reine Angew. Math.628 (2009), 1–35. MR 2503234

  44. [44]

    Claire Debord, Jean-Marie Lescure, and Frédéric Rochon,Pseudodifferential operators on man- ifolds with fibred corners, Ann. Inst. Fourier (Grenoble)65 (2015), no. 4, 1799–1880

  45. [45]

    Math.257 (2014), 66–91

    Claire Debord and Georges Skandalis,Adiabatic groupoid, crossed product byR∗ + and pseudod- ifferential calculus, Adv. Math.257 (2014), 66–91

  46. [47]

    , Lie groupoids, exact sequences, Connes-Thom elements, connecting maps and index maps, Preprint (part of arXiv:1705.09588), 2017

  47. [48]

    J. J. Duistermaat, Fourier integral operators , Modern Birkhäuser Classics, Birkhäuser/Springer, New York, 2011, Reprint of the 1996 edition [MR1362544], based on the original lecture notes published in 1973 [MR0451313]. MR 2741911

  48. [49]

    J. J. Duistermaat and L. Hörmander,Fourier integral operators. II, Acta Math.128 (1972), no. 3-4, 183–269. MR 0388464

  49. [50]

    Elliott, Toshikazu Natsume, and Ryszard Nest,The Atiyah-Singer index theorem as passage to the classical limit in quantum mechanics, Comm

    George A. Elliott, Toshikazu Natsume, and Ryszard Nest,The Atiyah-Singer index theorem as passage to the classical limit in quantum mechanics, Comm. Math. Phys.182 (1996), no. 3, 505–533. MR 1461941

  50. [51]

    Math.64 (1981), no

    Thierry Fack and Georges Skandalis,Connes’ analogue of the Thom isomorphism for the Kas- parov groups, Invent. Math.64 (1981), no. 1, 7–14. 33

  51. [52]

    Moore,Ergodic equivalence relations, cohomology, and von Neu- mann algebras

    Jacob Feldman and Calvin C. Moore,Ergodic equivalence relations, cohomology, and von Neu- mann algebras. I, Trans. Amer. Math. Soc.234 (1977), no. 2, 289–324. MR 0578656

  52. [53]

    Volume III, Hindustan Book Agency, New Delhi, 2010, pp

    Damien Gaboriau, Orbit equivalence and measured group theory, Proceedings of the Interna- tional Congress of Mathematicians. Volume III, Hindustan Book Agency, New Delhi, 2010, pp. 1501–1527. MR 2827853

  53. [54]

    65, Birkhäuser Boston Inc., 1996

    Gerd Grubb,Functional calculus of pseudodifferential boundary problems, second ed., Progress in Mathematics, vol. 65, Birkhäuser Boston Inc., 1996

  54. [55]

    116, 70–97, Transversal structure of foliations (Toulouse, 1982)

    André Haefliger, Groupoïdes d’holonomie et classifiants, Astérisque (1984), no. 116, 70–97, Transversal structure of foliations (Toulouse, 1982). MR 755163

  55. [56]

    Nigel Higson, Vincent Lafforgue, and Georges Skandalis,Counterexamples to the Baum-Connes conjecture, Geom. Funct. Anal.12 (2002), no. 2, 330–354. MR 1911663 (2003g:19007)

  56. [57]

    Nigel Higson and John Roe,Mapping surgery to analysis. I. Analytic signatures, K-Theory 33 (2005), no. 4, 277–299. MR 2220522

  57. [58]

    , Mapping surgery to analysis. II. Geometric signatures, K-Theory 33 (2005), no. 4, 301–324. MR 2220523

  58. [59]

    , Mapping surgery to analysis. III. Exact sequences, K-Theory 33 (2005), no. 4, 325–

  59. [60]

    2, 555–601

    , K-homology, assembly and rigidity theorems for relative eta invariants, Pure and Ap- plied Mathematics Quarterly6 (2010), no. 2, 555–601

  60. [61]

    Connes), Ann

    Michel Hilsum and Georges Skandalis,Morphismes K-orientés d’espaces de feuilles et foncto- rialité en théorie de Kasparov (d’après une conjecture d’A. Connes), Ann. Sci. École Norm. Sup. (4)20 (1987), no. 3, 325–390

  61. [62]

    MR 0383152

    Lars Hörmander,Pseudo-differential operators and hypoelliptic equations, (1967), 138–183. MR 0383152

  62. [63]

    MR 0609014

    , The spectral function of an elliptic operator, Acta Math.121 (1968), 193–218. MR 0609014

  63. [64]

    Sympos., Princeton Univ., Princeton, N.J., 1970), Princeton Univ

    , The calculus of Fourier integral operators, Prospects in mathematics (Proc. Sympos., Princeton Univ., Princeton, N.J., 1970), Princeton Univ. Press, Princeton, N.J., 1971, pp. 33–

  64. [65]

    Ann. of Math. Studies, No. 70. MR 0341193

  65. [66]

    I, Acta Math.127 (1971), no

    , Fourier integral operators. I, Acta Math.127 (1971), no. 1-2, 79–183. MR 0388463

  66. [67]

    , The analysis of linear partial differential operators. I , Classics in Mathematics, Springer-Verlag, Berlin, 2003, Distribution theory and Fourier analysis, Reprint of the sec- ond (1990) edition [Springer, Berlin; MR1065993 (91m:35001a)]. MR 1996773

  67. [68]

    II, Classics in Mathematics, Springer-Verlag, Berlin, 2005, Differential operators with constant coefficients, Reprint of the 1983 original

    , The analysis of linear partial differential operators. II, Classics in Mathematics, Springer-Verlag, Berlin, 2005, Differential operators with constant coefficients, Reprint of the 1983 original. MR 2108588

  68. [69]

    III, Classics in Mathematics, Springer, Berlin, 2007, Pseudo-differential operators, Reprint of the 1994 edition

    , The analysis of linear partial differential operators. III, Classics in Mathematics, Springer, Berlin, 2007, Pseudo-differential operators, Reprint of the 1994 edition. MR 2304165

  69. [70]

    IV, Classics in Mathematics, Springer-Verlag, Berlin, 2009, Fourier integral operators, Reprint of the 1994 edition

    , The analysis of linear partial differential operators. IV, Classics in Mathematics, Springer-Verlag, Berlin, 2009, Fourier integral operators, Reprint of the 1994 edition. MR 2512677 34

  70. [71]

    Lie Theory28 (2018), no

    Pierre Julg and Erik van Erp,The geometry of the osculating nilpotent group structures of the Heisenberg calculus, J. Lie Theory28 (2018), no. 1, 107–138

  71. [72]

    Kasparov,Topological invariants of elliptic operators I: K-homology, Izv

    Gennadi G. Kasparov,Topological invariants of elliptic operators I: K-homology, Izv. Akad. Nauk. S.S.S.R. Ser. Mat.39 (1975), 796–838

  72. [73]

    , The operator K-functor and extensions of C∗-algebras, Izv. Akad. Nauk SSSR Ser. Mat. 44 (1980), no. 3, 571–636

  73. [74]

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

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

  74. [75]

    Jean-Marie Lescure,Triplets spectraux pour les variétés à singularité conique isolé e, Bull. Soc. math. France129 (2001), no. 4, 593–623

  75. [76]

    Noncommut

    Jean-Marie Lescure, Dominique Manchon, and Stéphane Vassout,About the convolution of distributions on groupoids, J. Noncommut. Geom.11 (2017), no. 2, 757–789. MR 3669118

  76. [77]

    Jean-Marie Lescure and Stéphane Vassout,Fourier integral operators on Lie groupoids, Adv. Math. 320 (2017), 391–450. MR 3709110

  77. [78]

    Nachr.287 (2014), no

    PedroT.P.LopesandSeverinoT.Melo, K-theory of the Boutet de Monvel algebra with classical SG-symbols on the half space, Math. Nachr.287 (2014), no. 16, 1804–1827. MR 3274491

  78. [79]

    Kirill C. H. Mackenzie,General theory of Lie groupoids and Lie algebroids, London Mathemat- ical Society Lecture Note Series, vol. 213, Cambridge University Press, Cambridge, 2005

  79. [80]

    Rafe Mazzeo,Elliptic theory of differential edge operators. I, Comm. Partial Differential Equa- tions 16 (1991), no. 10, 1615–1664. MR 1133743

  80. [81]

    Mazzeo and Richard B

    Rafe R. Mazzeo and Richard B. Melrose,Meromorphic extension of the resolvent on complete spaces with asymptotically constant negative curvature, J. Funct. Anal.75 (1987), no. 2, 260– 310

Showing first 80 references.