zbMATH — the first resource for mathematics

Hilsum-Skandalis maps as Frobenius adjunctions with application to geometric morphisms. (English) Zbl 1376.18003
Summary: Hilsum-Skandalis maps, from differential geometry, are studied in the context of a cartesian category. It is shown that Hilsum-Skandalis maps can be represented as stably Frobenius adjunctions. This leads to a new and more general proof that Hilsum-Skandalis maps represent a universal way of inverting essential equivalences between internal groupoids.
To prove the representation theorem, a new characterisation of the connected components adjunction of any internal groupoid is given. The characterisation is that the adjunction is covered by a stable Frobenius adjunction that is a slice and whose right adjoint is monadic.
Geometric morphisms can be represented as stably Frobenius adjunctions. As applications of the study we show how it is easy to recover properties of geometric morphisms, seeing them as aspects of properties of stably Frobenius adjunctions.
18D15 Closed categories (closed monoidal and Cartesian closed categories, etc.)
58H05 Pseudogroups and differentiable groupoids
Full Text: DOI arXiv
[1] Hilsum, M. and Skandalis, G. Morphismes K-orientes d’espace de feuilles et functorialite en theorie de Kasparov. Ann. Scient. Ec. Norm. Sup. 20 (1987) 325-390. · Zbl 0656.57015
[2] Johnstone, P.T. Sketches of an elephant: A topos theory compendium. Vols 1, 2, Oxford Logic Guides 43, 44, Oxford Science Publications, 2002. · Zbl 1071.18002
[3] Joyal, A. and Tierney, M. An Extension of the Galois Theory of Grothendieck, Memoirs of the American Mathematical Society 309, 1984. · Zbl 0541.18002
[4] Moerdijk, I. The classifying topos of a continuous groupoid. I, Transactions of the American Mathematical Society, Volume 310, Number 2, (1988) 629-668. · Zbl 0706.18007
[5] Moerdijk, I. Morita equivalence for continuous groups, Math. Proc. Camb. Phil. Soc. 103 (1988) 97-115. · Zbl 0648.22001
[6] Moerdijk, I., Mrcun, J. Lie groupoids, sheaves and cohomology. Part Three of ‘Poisson Geometry, Deformation Quantisation and Group Representations’ London Math. Soc. Lecture Note Ser. 323, Cambridge University Press, Cambridge, (2005) 145-272. · Zbl 1082.58018
[7] Mrcun, J. Stability and invariants of Hilsum{Skandalis maps, Ph.D. thesis, Utrecht University, (1996).}
[8] Townsend, C.F. A representation theorem for geometric morphisms. Applied Categorical Structures. 18 (2010) 573-583. · Zbl 1207.18005
[9] Townsend, C.F. Aspects of slice stability in Locale Theory Georgian Mathematical Journal. Vol. 19, Issue 2, (2012) 317-374. · Zbl 1258.06004
[10] Townsend, C.F. A short proof of the localic groupoid representation of Grothendieck toposes. Proceedings of the American Mathematical Society 142.3 (2014) 859-866. · Zbl 1302.06014
[11] Townsend, C.F. Principal bundles as Frobenius adjunctions with application to geometricmorphisms. Math. Proc. Camb. Phi. 159 (2015), 433-444. · Zbl 1371.18003
[12] Townsend, C.F. Stability of Properties of Locales Under Groups. Appl Categor Struct Vol. 25 Issue 3 (2017), 363-380. · Zbl 1405.18005
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.