Recognition: 2 theorem links
· Lean TheoremA universal property for groupoid C*-algebras. II. Fell bundles
Pith reviewed 2026-05-10 20:13 UTC · model grok-4.3
The pith
Fell bundles over Hausdorff locally compact groupoids admit a universal property for representations of their full section C*-algebras on Hilbert modules over arbitrary C*-algebras.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We define possibly unsaturated, upper semicontinuous Fell bundles over Hausdorff, locally compact groupoids and establish a universal property for representations of their full section C*-algebras on Hilbert modules over arbitrary C*-algebras. Based on this, we prove that the full section C*-algebra is functorial and exact, and we define a quasi-orbit space and a quasi-orbit map. We deduce and extend Renault's Integration and Disintegration Theorems to general Fell bundles using our universal property.
What carries the argument
The universal property for representations of the full section C*-algebra on Hilbert modules over arbitrary C*-algebras.
Load-bearing premise
The groupoids are Hausdorff and locally compact while the Fell bundles are upper semicontinuous, possibly unsaturated.
What would settle it
A concrete representation of a full section C*-algebra of such a Fell bundle that fails to factor through the universal representation when the groupoid is taken non-Hausdorff.
Figures
read the original abstract
We define possibly unsaturated, upper semicontinuous Fell bundles over Hausdorff, locally compact groupoids and establish a universal property for representations of their full section C*-algebras on Hilbert modules over arbitrary C*-algebras. Based on this, we prove that the full section C*-algebra is functorial and exact, and we define a quasi-orbit space and a quasi-orbit map. We deduce and extend Renault's Integration and Disintegration Theorems to general Fell bundles using our universal property.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper defines possibly unsaturated upper semicontinuous Fell bundles over Hausdorff locally compact groupoids and establishes a universal property for representations of their full section C*-algebras on Hilbert modules over arbitrary C*-algebras (Theorem 3.5). Using this property, it proves functoriality and exactness of the full section C*-algebra, introduces a quasi-orbit space and quasi-orbit map, and extends Renault's Integration and Disintegration Theorems to general Fell bundles in §§4–6.
Significance. If the universal property holds as stated, the result supplies a flexible foundational tool for representations of groupoid C*-algebras via Fell bundles, extending prior work to the unsaturated setting and enabling direct proofs of functoriality, exactness, and the Renault theorems without additional topological restrictions. The explicit construction on Hilbert modules over arbitrary C*-algebras and the parameter-free character of the universal mapping property are notable strengths.
major comments (2)
- [§3, Theorem 3.5] §3, Theorem 3.5: the verification that the constructed representation satisfies the universal mapping property for unsaturated bundles relies on the upper semicontinuity of the bundle; an explicit check that the covariance condition extends without saturation (e.g., via the definition of the section algebra in §2) would strengthen the argument, as the current sketch leaves the non-saturated continuity step implicit.
- [§5] §5, the quasi-orbit space construction: the map from the groupoid to the quasi-orbit space is asserted to be continuous and open, but the proof sketch does not address whether local compactness of the groupoid is used to guarantee that the quotient topology is Hausdorff; this is load-bearing for the subsequent disintegration theorem.
minor comments (3)
- [§2] §2: the notation for the full section C*-algebra (denoted C*(B) or similar) should be fixed consistently throughout; occasional use of different symbols for the same object appears in the functoriality statements.
- References: the citation to Renault's original theorems should include the precise statement being extended (e.g., Theorem X.Y in Renault's book) to make the comparison explicit.
- Figure 1 (if present): the diagram illustrating the quasi-orbit map would benefit from labeling the fibers to clarify the relation to the bundle sections.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and indicate the corresponding revisions.
read point-by-point responses
-
Referee: [§3, Theorem 3.5] §3, Theorem 3.5: the verification that the constructed representation satisfies the universal mapping property for unsaturated bundles relies on the upper semicontinuity of the bundle; an explicit check that the covariance condition extends without saturation (e.g., via the definition of the section algebra in §2) would strengthen the argument, as the current sketch leaves the non-saturated continuity step implicit.
Authors: We agree that an explicit verification would improve clarity. In the revised version we will expand the proof of Theorem 3.5 to include a direct check that the covariance condition holds for the non-saturated case, using only the definition of the section algebra given in §2 and the upper semicontinuity of the bundle. revision: yes
-
Referee: [§5] §5, the quasi-orbit space construction: the map from the groupoid to the quasi-orbit space is asserted to be continuous and open, but the proof sketch does not address whether local compactness of the groupoid is used to guarantee that the quotient topology is Hausdorff; this is load-bearing for the subsequent disintegration theorem.
Authors: We acknowledge that the current sketch is brief on this point. Local compactness and Hausdorffness of the groupoid do ensure the quotient is Hausdorff, which in turn guarantees that the quasi-orbit map is continuous and open. In the revision we will add an explicit remark or short lemma in §5 verifying the Hausdorff property of the quotient topology and its dependence on local compactness, thereby supporting the subsequent disintegration theorem. revision: yes
Circularity Check
No significant circularity; derivation self-contained from definitions and universal property
full rationale
The paper first defines possibly unsaturated upper semicontinuous Fell bundles over Hausdorff locally compact groupoids in §2, then states the universal property for representations of the full section C*-algebra in Theorem 3.5. All subsequent claims (functoriality and exactness of the C*-algebra, definition of quasi-orbit space and map, and extensions of Renault's Integration and Disintegration Theorems) are derived in §§4–6 by explicit construction of representations on Hilbert modules and direct verification of the universal mapping property from covariance and continuity conditions. No load-bearing step reduces by construction to a prior input, fitted parameter, or self-citation chain; the central results follow from the newly introduced objects and property without presupposing the conclusions.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Groupoids are Hausdorff and locally compact
- domain assumption Fell bundles are upper semicontinuous and possibly unsaturated
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinctionreality_from_one_distinction unclearWe define possibly unsaturated, upper semicontinuous Fell bundles over Hausdorff, locally compact groupoids and establish a universal property for representations of their full section C*-algebras on Hilbert modules over arbitrary C*-algebras.
-
IndisputableMonolith/Cost/FunctionalEquationwashburn_uniqueness_aczel unclearThe integration and disintegration processes are inverse to each other. Thus there is a maximal C*-norm on Cc(G,A) that is continuous in the inductive limit topology; and this C*-norm is already bounded by the I-norm.
Forward citations
Cited by 2 Pith papers
-
Rapid decay and localizability for Fell bundles over etale Groupoids
Rapid decay for Fell bundles over étale groupoids gives analytic control and localizability in reduced cross-sectional C*-algebras, holds for polynomial-growth groupoids, equates to the group case for partial actions,...
-
Categorical Symmetries via Operator Algebras
The symmetry category of a 2D QFT with G-symmetry and anomaly k equals the twisted Hilbert space category Hilb^k(G), whose Drinfeld center is the twisted representation category of the conjugation groupoid C*-algebra,...
Reference graph
Works this paper leans on
-
[1]
Claire Anantharaman-Delaroche,Systèmes dynamiques non commutatifs et moyennabilité, Math. Ann.279(1987), no. 2, 297–315, DOI 10.1007/BF01461725. MR 919508
-
[2]
https://hal.archives-ouvertes.fr/hal- 02429386
,Partial actions of groupoids(2020), preprint. https://hal.archives-ouvertes.fr/hal- 02429386
2020
-
[3]
Dirceu Bagio,Partial actions of inductive groupoids on rings, Int. J. Math. Game Theory Algebra20(2011), no. 3, 247–261. MR 2987830
2011
-
[4]
Dirceu Bagio and Antonio Paques,Partial groupoid actions: globalization, Morita theory, and Galois theory, Comm. Algebra40(2012), no. 10, 3658–3678, DOI 10.1080/00927872.2011.592889. MR 2982887
-
[5]
Dirceu Bagio and Hector Pinedo,Globalization of partial actions of groupoids on nonunital rings, J. Algebra Appl.15(2016), no. 5, 1650096, 16, DOI 10.1142/S0219498816500961. MR 3479455
-
[6]
Robert C. Busby and Harvey A. Smith,Representations of twisted group algebras, Trans. Amer. Math. Soc.149(1970), 503–537, DOI 10.1090/S0002-9947-1970-0264418-8.MR 0264418
-
[7]
Alcides Buss and Ruy Exel,Twisted actions and regular Fell bundles over inverse semigroups, Proc. Lond. Math. Soc. (3)103(2011), no. 2, 235–270, DOI 10.1112/plms/pdr006. MR 2821242 94 ALCIDES BUSS, ROHIT HOLKAR, AND RALF MEYER
-
[8]
Operator Theory 67(2012), no
,Fell bundles over inverse semigroups and twisted étale groupoids, J. Operator Theory 67(2012), no. 1, 153–205, available athttp://www.theta.ro/jot/archive/2012-067-001/ 2012-067-001-007.html. MR 2881538
2012
-
[9]
Alcides Buss, Rohit Holkar, and Ralf Meyer,A universal property for groupoid C∗-algebras. I, Proc. Lond. Math. Soc. (3)117(2018), no. 2, 345–375, DOI 10.1112/plms.12131.MR 3851326
-
[10]
Alcides Buss and Ralf Meyer,Inverse semigroup actions on groupoids, Rocky Mountain J. Math.47(2017), no. 1, 53–159, DOI 10.1216/RMJ-2017-47-1-53. MR 3619758
-
[11]
,Crossed products for actions of crossed modules onC∗-algebras, J. Noncommut. Geom.11(2017), 1195–1235, DOI 10.4171/JNCG/11-3-12. MR 3713016
-
[12]
,Iterated crossed products for groupoid fibrations(2016), eprint. arXiv:1604.02015
-
[13]
Alcides Buss, Ralf Meyer, and Chenchang Zhu,Non-Hausdorff symmetries ofC∗-algebras, Math. Ann.352(2012), no. 1, 73–97, DOI 10.1007/s00208-010-0630-3. MR 2885576
-
[14]
,A higher category approach to twisted actions onC∗-algebras, Proc. Edinb. Math. Soc. (2)56(2013), no. 2, 387–426, DOI 10.1017/S0013091512000259. MR 3056650
-
[15]
Davidson,C∗-algebras by example, Fields Institute Monographs, vol
Kenneth R. Davidson,C∗-algebras by example, Fields Institute Monographs, vol. 6, Amer. Math. Soc., Providence, RI, 1996. MR 1402012
1996
-
[16]
Cahiers Scien- tifiques, Fasc
Jacques Dixmier,Les C∗-algèbres et leurs représentations, Deuxième édition. Cahiers Scien- tifiques, Fasc. XXIX, Gauthier-Villars Éditeur, Paris, 1969. MR 0246136
1969
-
[17]
Translated from the French by Francis Jellett; North-Holland Mathematical Library, Vol
, C∗-Algebras, North-Holland Publishing Co., Amsterdam, 1977. Translated from the French by Francis Jellett; North-Holland Mathematical Library, Vol. 15. MR 0458185
1977
-
[18]
27, North-Holland Publishing Co., Amsterdam, New York, 1981
,von Neumann algebras, North-Holland Mathematical Library, vol. 27, North-Holland Publishing Co., Amsterdam, New York, 1981. MR 641217
1981
-
[19]
MR 1451139
,Les algèbres d’opérateurs dans l’espace hilbertien (algèbres de von Neumann), 2nd ed., Gauthier-Villars, Paris, 1969. MR 1451139
1969
-
[20]
Doran and James M
Robert S. Doran and James M. G. Fell,Representations of∗-algebras, locally compact groups, and Banach ∗-algebraic bundles. Vol. 1, Pure and Applied Mathematics, vol. 125, Academic Press Inc., Boston, MA, 1988. MR 936628
1988
-
[21]
,Representations of ∗-algebras, locally compact groups, and Banach∗-algebraic bundles. Vol. 2, Pure and Applied Mathematics, vol. 126, Academic Press Inc., Boston, MA, 1988. MR 936629
1988
-
[22]
Effros and Frank Hahn,Locally compact transformation groups andC∗-algebras, Bull
Edward G. Effros and Frank Hahn,Locally compact transformation groups andC∗-algebras, Bull. Amer. Math. Soc.73(1967), 222–226, DOI 10.1090/S0002-9904-1967-11690-2. MR 0233213
-
[23]
Ruy Exel,Twisted partial actions: a classification of regularC∗-algebraic bundles, Proc. Lond. Math. Soc. (3)74(1997), no. 2, 417–443, DOI 10.1112/S0024611597000154. MR 1425329
-
[24]
Math.17(2011), 331–382, available athttp://nyjm.albany.edu/j/2011/17-17.html
,Noncommutative Cartan subalgebras ofC∗-algebras, New York J. Math.17(2011), 331–382, available athttp://nyjm.albany.edu/j/2011/17-17.html. MR 2811068
2011
-
[25]
,Partial dynamical systems, Fell bundles and applications, Mathematical Surveys and Monographs, vol. 224, Amer. Math. Soc., Providence, RI, 2017., DOI 10.1090/surv/224 MR 3699795
-
[26]
Ruy Exel and Marcelo Laca,Continuous Fell bundles associated to measurable twisted actions, Proc. Amer. Math. Soc.125(1997), no. 3, 795–799, DOI 10.1090/S0002-9939-97-03618-6.MR 1353382
-
[27]
Herbert Federer and Anthony Perry Morse,Some properties of measurable functions, Bull. Amer. Math. Soc.49(1943), 270–277, DOI 10.1090/S0002-9904-1943-07896-2. MR 0007916
-
[28]
J. M. G. Fell,Induced representations and Banach∗-algebraic bundles, Lecture Notes in Mathematics, vol. 582, Springer-Verlag, Berlin, New York, 1977. With an appendix due to A. Douady and L. Dal Soglio-Hérault. MR 0457620
1977
-
[29]
Pierre-Yves Le Gall,Théorie de Kasparov équivariante et groupoïdes. I,K-Theory16(1999), no. 4, 361–390, DOI 10.1023/A:1007707525423. MR 1686846
-
[30]
Elliot C. Gootman and Aldo J. Lazar,Applications of noncommutative duality to crossed product C∗-algebras determined by an action or coaction, Proc. Lond. Math. Soc. (3)59 (1989), no. 3, 593–624, DOI 10.1112/plms/s3-59.3.593. MR 1014872
-
[31]
Elliot C. Gootman and Jonathan Rosenberg,The structure of crossed productC∗-algebras: a proof of the generalized Effros–Hahn conjecture, Invent. Math.52(1979), no. 3, 283–298, DOI 10.1007/BF01389885. MR 537063
-
[32]
3-4, 191–250, DOI 10.1007/BF02392308
Philip Green,The local structure of twisted covariance algebras, Acta Math.140(1978), no. 3-4, 191–250, DOI 10.1007/BF02392308. MR 0493349
-
[33]
Williams,Remarks on the ideal structure of Fell bundle C∗-algebras, Houston J
Marius Ionescu and Dana P. Williams,Remarks on the ideal structure of Fell bundle C∗-algebras, Houston J. Math.38(2012), no. 4, 1241–1260, available athttp://www.math. uh.edu/~hjm/restricted/pdf38(4)/13ionescu.pdf. MR 3019033
2012
-
[34]
Niles Johnson and Donald Yau,2-Dimensional categories, Oxford University Press, Oxford, 2021., DOI 10.1093/oso/9780198871378.001.0001 MR 4261588 A UNIVERSAL PROPERTY FOR GROUPOID C*-ALGEBRAS. II. FELL BUNDLES 95
-
[35]
Kaliszewski, John Quigg, and Dana P
S. Kaliszewski, John Quigg, and Dana P. Williams,The Rieffel correspondence for equivalent Fell bundles, J. Aust. Math. Soc.117(2024), no. 3, 288–307, DOI 10.1017/S144678872300037X. MR 4832964
-
[36]
Alexander Kumjian,On C∗-diagonals, Canad. J. Math.38(1986), no. 4, 969–1008, DOI 10.4153/CJM-1986-048-0. MR 854149
-
[37]
Alex Kumjian,Fell bundles over groupoids, Proc. Amer. Math. Soc.126(1998), no. 4, 1115–1125, DOI 10.1090/S0002-9939-98-04240-3. MR 1443836
-
[38]
3, 257–303, DOI 10.4064/sm8762-5-2017
Bartosz Kosma Kwaśniewski and Ralf Meyer,Aperiodicity, topological freeness and pure outerness: from group actions to Fell bundles, Studia Math.241(2018), no. 3, 257–303, DOI 10.4064/sm8762-5-2017. MR 3756105
-
[39]
,Stone duality and quasi-orbit spaces for generalisedC∗-inclusions, Proc. Lond. Math. Soc. (3)121(2020), no. 4, 788–827, DOI 10.1112/plms.12332. MR 4105787
-
[40]
Math.26(2021), 271–335, DOI 10.4171/DM/815
,Essential crossed products by inverse semigroup actions: Simplicity and pure infinite- ness, Doc. Math.26(2021), 271–335, DOI 10.4171/DM/815. MR 4246403
-
[41]
Christopher Lance,Hilbert C∗-modules, London Mathematical Society Lecture Note Series, vol
E. Christopher Lance,Hilbert C∗-modules, London Mathematical Society Lecture Note Series, vol. 210, Cambridge University Press, Cambridge, 1995., DOI 10.1017/CBO9780511526206 MR 1325694
-
[42]
Kevin McClanahan, K-theory for partial crossed products by discrete groups, J. Funct. Anal. 130(1995), no. 1, 77–117, DOI 10.1006/jfan.1995.1064. MR 1331978
-
[43]
El-kaïoum Moutuou and Jean-Louis Tu,Equivalence of Fell systems and their reduced C∗-algebras(2011), preprint. arXiv:1101.1235v1
-
[44]
Muhly, Jean N
Paul S. Muhly, Jean N. Renault, and Dana P. Williams,Equivalence and isomorphism for groupoid C∗-algebras, J. Operator Theory17(1987), no. 1, 3–22, available at http: //www.theta.ro/jot/archive/1987-017-001/1987-017-001-001.html. MR 873460
1987
-
[45]
Paul S. Muhly and Dana P. Williams,Equivalence and disintegration theorems for Fell bundles and their C∗-algebras, Dissertationes Math. (Rozprawy Mat.)456(2008), 1–57, DOI 10.4064/dm456-0-1. MR 2446021
-
[46]
May Nilsen,C∗-bundles and C0(X)-algebras, Indiana Univ. Math. J.45(1996), no. 2, 463–477, DOI 10.1512/iumj.1996.45.1086. MR 1414338
-
[47]
Pedersen,Extensions of C∗-algebras, Operator algebras and quantum field theory (Rome, 1996), Int
Gert K. Pedersen,Extensions of C∗-algebras, Operator algebras and quantum field theory (Rome, 1996), Int. Press, Cambridge, MA, 1997, pp. 1–35. MR 1491103
1996
-
[48]
Arlan Ramsay,Virtual groups and group actions, Advances in Math.6(1971), 253–322, DOI 10.1016/0001-8708(71)90018-1. MR 0281876
-
[49]
,Topologies on measured groupoids, J. Funct. Anal.47(1982), no. 3, 314–343, DOI 10.1016/0022-1236(82)90110-0. MR 665021
-
[50]
793, Springer, Berlin, 1980., DOI 10.1007/BFb0091072 MR 584266
Jean Renault,A groupoid approach toC∗-algebras, Lecture Notes in Mathematics, vol. 793, Springer, Berlin, 1980., DOI 10.1007/BFb0091072 MR 584266
-
[51]
Operator The- ory18(1987), no
,Représentation des produits croisés d’algèbres de groupoïdes, J. Operator The- ory18(1987), no. 1, 67–97, available athttp://www.theta.ro/jot/archive/1987-018-001/ 1987-018-001-005.html. MR 912813
1987
-
[52]
Operator The- ory25(1991), no
,The ideal structure of groupoid crossed product C∗-algebras, J. Operator The- ory25(1991), no. 1, 3–36, available athttp://www.theta.ro/jot/archive/1991-025-001/ 1991-025-001-001.html. With an appendix by Georges Skandalis. MR 1191252
1991
-
[53]
Williams,Renault’s equivalence theorem for reduced groupoid C∗-algebras, J
Aidan Sims and Dana P. Williams,Renault’s equivalence theorem for reduced groupoid C∗-algebras, J. Operator Theory68(2012), no. 1, 223–239, available athttp://www.theta. ro/jot/archive/2012-068-001/2012-068-001-012.html. MR 2966043
2012
-
[54]
Williams,Crossed products ofC∗-algebras, Mathematical Surveys and Monographs, vol
Dana P. Williams,Crossed products ofC∗-algebras, Mathematical Surveys and Monographs, vol. 134, Amer. Math. Soc., Providence, RI, 2007., DOI 10.1090/surv/134 MR 2288954
-
[55]
199–204, DOI 10.1007/978-1-4612-0453-4
Shigeru Yamagami,On primitive ideal spaces ofC∗-algebras over certain locally compact groupoids, Mappings of operator algebras (Philadelphia, PA, 1988), 1990, pp. 199–204, DOI 10.1007/978-1-4612-0453-4. MR 1103378 Email address:alcides.buss@ufsc.br Email address:rohit.d.holkar@gmail.com Departamento de Matemática, Universidade Federal de Santa Catarina, 8...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.