zbMATH — the first resource for mathematics

Tannaka duality for proper Lie groupoids. (English) Zbl 1196.58007
The author constructs, for each smooth manifold \(X\), a category with objects called smooth Euclidean fields over \(X\) which is the proper enlargement of the category of smooth vector fields over \(X\) and is the analogue of the notion of continuous Hilbert fields introduced by J. Dixmier and A. Douady [Bull. Soc. Math. Fr. 91, 227–284 (1963; Zbl 0127.33102)]. One has a natural notion of representation of Lie groupoids of \(\mathcal G\) on a smooth Euclidean field \(\mathcal E\) over the base manifold \(M\) of \(\mathcal G\) (Section 4), which is a monoidal category connected to the category of \(\mathcal E\) by a canonical forgetful functor. By generalizing the duality theory of T. Tannaka [Tôhoku Math. J. 45, 1–12 (1938; Zbl 0020.00904; JFM 64.0362.01)], the author gets for each proper Lie groupoid \(\mathcal G\), a “reconstructed groupoid” \(\mathcal T(\mathcal G)\) called Tannakian bidual of \(\mathcal G\) (Definition 6.1). This groupoid comes equipped with a natural candidate for a differentiable structure on its space of arrows, namely, a sheaf of algebras of continuous real valued functions stable under composition with arbitrary smooth functions of several variables. The canonical homomorphism \(\pi_{\mathcal G}: \mathcal G\to \mathcal T(\mathcal G)\) is obtained by \(\pi_{\mathcal G}(\mathcal E, \rho)=\rho(g)\) where \(\rho: {\mathbf s}^*\mathcal E\to {\mathbf t}^*\mathcal E\), and \({\mathbf s},\;{\mathbf t}\) are the source and the target of the arrow \(g\). Finally, the Tannaka duality for \(\mathcal G\) (Theorem 6,9) is shown, that is, \(\pi_{\mathcal G}\) is an isomorphism.

58H05 Pseudogroups and differentiable groupoids
22D35 Duality theorems for locally compact groups
Full Text: DOI arXiv
[1] Tannaka, T., Über den dualitätssatz der nichtkommutativen topologischen gruppen, Tôhoku math. J., 1st ser., 45, 1-12, (1939) · JFM 64.0362.01
[2] Bröcker, T.; tom Dieck, T., ()
[3] Saavedra Rivano, N., ()
[4] Deligne, P.; Milne, J.S., Tannakian categories, (), 101-228 · Zbl 0477.14004
[5] Deligne, P., Catégories tannakiennes, (), 111-194 · Zbl 0727.14010
[6] Joyal, A.; Street, R., An introduction to tannaka duality and quantum groups, (), 411-492 · Zbl 0745.57001
[7] G. Trentinaglia, Tannaka duality for proper Lie groupoids, Ph.D. Thesis, Utrecht University, available for download (Sep. 2008) · Zbl 1196.58007
[8] Dixmier, J.; Douady, A., Champs continues d’espaces hilbertiens et de \(\mathit{C}^\ast\)-algébres, Bull. soc. math. France, 19, 227-284, (1963) · Zbl 0127.33102
[9] Kališnik, J., Representations of orbifold groupoids, Topology appl., 155, 11, 1175-1188, (2008) · Zbl 1141.22001
[10] N.T. Zung, Proper groupoids and momentum maps: Linearization, affinity, and convexity, preprint arXiv:0407208v4[math.SG] (Jul. 24, 2006)
[11] Moerdijk, I.; Mrčun, J., Introduction to foliations and Lie groupoids, (2003), Cambridge University Press · Zbl 1029.58012
[12] Mackenzie, K.C.H., ()
[13] Bredon, G.E., Introduction to compact transformation groups, (1972), Academic Press New York · Zbl 0246.57017
[14] Crainic, M., Differentiable and algebroid cohomology, Van est isomorphism, and characteristic classes, Comm. math. helvetici, 78, 681-721, (2003) · Zbl 1041.58007
[15] Lang, S., Fundamentals of differential geometry, (2001), Springer-Verlag · Zbl 0995.53001
[16] Moerdijk, I.; Reyes, G.E., Rings of smooth functions and their localizations, I, J. algebra, 99, 2, 324-336, (1986) · Zbl 0592.18005
[17] MacLane, S., Categories for the working Mathematician, (1971), Springer-Verlag
[18] Moerdijk, I.; Mrčun, J., On the integrability of Lie subalgebroids, Adv. math., 204, 101-115, (2006) · Zbl 1131.58015
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.