Lie groupoids, pseudodifferential calculus and index theory
Pith reviewed 2026-05-24 22:50 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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
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
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
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The deformation to the normal cone... tangent groupoid... adiabatic groupoid
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
-
[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
work page 2010
-
[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
work page 1985
-
[3]
, Flots riemanniens sur les4-variétés compactes, Tohoku Math. J. (2)38 (1986), no. 2, 313–326. MR 843815
work page 1986
-
[4]
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
work page 2000
-
[5]
Iakovos Androulidakis and Georges Skandalis,The holonomy groupoid of a singular foliation, J. Reine Angew. Math.626 (2009), 1–37
work page 2009
- [6]
-
[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
work page 1976
-
[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
work page 1968
- [9]
-
[10]
, The index of elliptic operators. IV, Ann. of Math. (2)93 (1971), 119–138
work page 1971
-
[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
work page 2000
-
[12]
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
work page 1943
-
[13]
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
work page 2016
-
[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
work page 1988
-
[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
work page internal anchor Pith review Pith/arXiv arXiv
-
[16]
Karsten Bohlen, Boutet de Monvel operators on singular manifolds, C. R. Math. Acad. Sci. Paris 354 (2016), no. 3, 239–243. MR 3463018
work page 2016
-
[17]
, Boutet de Monvel operators on Lie manifolds with boundary, Adv. Math.312 (2017), 234–285. MR 3635812
work page 2017
-
[18]
Louis Boutet de Monvel,Boundary problems for pseudo-differential operators, Acta Math.126 (1971), no. 1-2, 11–51
work page 1971
-
[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
work page 1976
-
[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
work page 2015
-
[21]
, Exotic crossed products and the Baum-Connes conjecture, J. Reine Angew. Math.740 (2018), 111–159. MR 3824785
work page 2018
-
[22]
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
work page 2014
- [23]
-
[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
work page 1973
-
[25]
Woocheol Choi and Raphael Ponge,Tangent maps and tangent groupoid for Carnot manifolds, arXiv:1510.05851, 2015
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[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
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[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
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[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
work page 1978
-
[29]
, 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
work page 1981
-
[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
work page 1980
-
[31]
, 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
work page 1983
-
[32]
, Noncommutative geometry, Academic Press Inc., San Diego, CA, 1994
work page 1994
-
[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
work page 1990
-
[34]
Alain Connes and Henri Moscovici, The local index formula in noncommutative geometry, Geom. Funct. Anal.5 (1995), no. 2, 174–243. MR 1334867
work page 1995
-
[35]
, Hopf algebras, cyclic cohomology and the transverse index theorem, Comm. Math. Phys. 198 (1998), no. 1, 199–246. MR 1657389
work page 1998
-
[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
work page 1984
-
[37]
Marius Crainic and Rui Loja Fernandes,Integrability of Lie brackets, Ann. of Math. (2)157 (2003), no. 2, 575–620. MR 1973056
work page 2003
-
[38]
Claire Debord, Holonomy groupoids of singular foliations, J. Differential Geom. 58 (2001), no. 3, 467–500. MR 1906783
work page 2001
-
[39]
Claire Debord and Jean-Marie Lescure, In preparation
-
[40]
, K-duality for pseudomanifolds with isolated singularities, J. Funct. Anal.219 (2005), no. 1, 109–133
work page 2005
-
[41]
, K-duality for stratified pseudomanifolds, Geom. Topol.13 (2009), no. 1, 49–86. MR 2469513
work page 2009
-
[42]
, Index theory and groupoids, Geometric and topological methods for quantum field theory, Cambridge Univ. Press, Cambridge, 2010, pp. 86–158
work page 2010
-
[43]
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
work page 2009
-
[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
work page 2015
-
[45]
Claire Debord and Georges Skandalis,Adiabatic groupoid, crossed product byR∗ + and pseudod- ifferential calculus, Adv. Math.257 (2014), 66–91
work page 2014
-
[47]
, Lie groupoids, exact sequences, Connes-Thom elements, connecting maps and index maps, Preprint (part of arXiv:1705.09588), 2017
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[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
work page 2011
-
[49]
J. J. Duistermaat and L. Hörmander,Fourier integral operators. II, Acta Math.128 (1972), no. 3-4, 183–269. MR 0388464
work page 1972
-
[50]
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
work page 1996
-
[51]
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
work page 1981
-
[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
work page 1977
-
[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
work page 2010
-
[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
work page 1996
-
[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
work page 1984
-
[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)
work page 2002
-
[57]
Nigel Higson and John Roe,Mapping surgery to analysis. I. Analytic signatures, K-Theory 33 (2005), no. 4, 277–299. MR 2220522
work page 2005
-
[58]
, Mapping surgery to analysis. II. Geometric signatures, K-Theory 33 (2005), no. 4, 301–324. MR 2220523
work page 2005
-
[59]
, Mapping surgery to analysis. III. Exact sequences, K-Theory 33 (2005), no. 4, 325–
work page 2005
-
[60]
, K-homology, assembly and rigidity theorems for relative eta invariants, Pure and Ap- plied Mathematics Quarterly6 (2010), no. 2, 555–601
work page 2010
-
[61]
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
work page 1987
-
[62]
Lars Hörmander,Pseudo-differential operators and hypoelliptic equations, (1967), 138–183. MR 0383152
work page 1967
-
[63]
, The spectral function of an elliptic operator, Acta Math.121 (1968), 193–218. MR 0609014
work page 1968
-
[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–
work page 1970
-
[65]
Ann. of Math. Studies, No. 70. MR 0341193
-
[66]
, Fourier integral operators. I, Acta Math.127 (1971), no. 1-2, 79–183. MR 0388463
work page 1971
-
[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
work page 2003
-
[68]
, 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
work page 2005
-
[69]
, The analysis of linear partial differential operators. III, Classics in Mathematics, Springer, Berlin, 2007, Pseudo-differential operators, Reprint of the 1994 edition. MR 2304165
work page 2007
-
[70]
, 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
work page 2009
-
[71]
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
work page 2018
-
[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
work page 1975
-
[73]
, The operator K-functor and extensions of C∗-algebras, Izv. Akad. Nauk SSSR Ser. Mat. 44 (1980), no. 3, 571–636
work page 1980
-
[74]
Gennadi G. Kasparov and Georges Skandalis,Groups acting on buildings, operator K-theory and Novikov’s conjecture, K-theory4 (1991), 303–337
work page 1991
-
[75]
Jean-Marie Lescure,Triplets spectraux pour les variétés à singularité conique isolé e, Bull. Soc. math. France129 (2001), no. 4, 593–623
work page 2001
- [76]
-
[77]
Jean-Marie Lescure and Stéphane Vassout,Fourier integral operators on Lie groupoids, Adv. Math. 320 (2017), 391–450. MR 3709110
work page 2017
-
[78]
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
work page 2014
-
[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
work page 2005
-
[80]
Rafe Mazzeo,Elliptic theory of differential edge operators. I, Comm. Partial Differential Equa- tions 16 (1991), no. 10, 1615–1664. MR 1133743
work page 1991
-
[81]
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
work page 1987
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.