Sheaf coalgebras and duality. (English) Zbl 1182.16027

Let \(R\) be a commutative ring with identity. The functor from the category of sets to the category of \(R\)-coalgebras, sending a set \(X\) to the free \(R\)-module with basis \(X\), and the coalgebra structure given by making the elements of \(X\) grouplike, has a right adjoint, assigning to any \(R\)-coalgebra \(C\) the set of grouplike elements \(G(C)\).
In this paper this result is extended to sheaves of sets on a smooth manifold \(M\), where \(R\) is replaced by the ring of compactly supported functions on \(M\). A duality between sheaves on \(M\) and a class of coalgebras over this ring is established. The results of this paper are then used [in J. Mrčun, J. Pure Appl. Algebra 210, No. 1, 267-282 (2007; Zbl 1115.22003)], where they are extended to étale Lie groupoids and Hopf algebroids.


16T15 Coalgebras and comodules; corings
18F20 Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)
58H05 Pseudogroups and differentiable groupoids
22A22 Topological groupoids (including differentiable and Lie groupoids)


Zbl 1115.22003
Full Text: DOI


[1] Abuhlail, J. Y.; Gómez-Torrecillas, J.; Lobillo, F. J., Duality and rational modules in Hopf algebras over commutative rings, J. Algebra, 240, 165-184 (2001) · Zbl 0980.16029
[2] Al-Takhman, K., Equivalences of comodule categories for coalgebras over rings, J. Pure Appl. Algebra, 173, 245-271 (2002) · Zbl 1004.16039
[3] Cannas da Silva, A.; Weinstein, A., Geometric Models for Noncommutative Algebras, Berkeley Mathematics Lecture Notes, vol. 10 (1999), American Mathematical Society: American Mathematical Society Providence, RI · Zbl 1135.58300
[4] Connes, A., The von Neumann algebra of a foliation, (Mathematical Problems in Theoretical Physics. Mathematical Problems in Theoretical Physics, Lecture Notes in Phys., vol. 80 (1978), Springer: Springer New York), 145-151 · Zbl 0433.46056
[5] Connes, A., A survey of foliations and operator algebras. Operator algebras and applications, Part I, Proc. Sympos. Pure Math., 38, 521-628 (1982) · Zbl 0531.57023
[6] Crainic, M.; Moerdijk, I., A homology theory for étale groupoids, J. Reine Angew. Math., 52, 25-46 (2000) · Zbl 0954.22002
[7] Haefliger, A., Groupoids and foliations. Groupoids in analysis, geometry, and physics, Contemp. Math., 282, 83-100 (2001) · Zbl 0994.57025
[8] Lu, J.-H., Hopf algebroids and quantum groupoids, Int. J. Math., 7, 47-70 (1996) · Zbl 0884.17010
[9] Milnor, J. W.; Moore, J. C., On the structure of Hopf algebras, Ann. of Math., 81, 211-264 (1965) · Zbl 0163.28202
[10] Moerdijk, I., Classifying toposes and foliations, Ann. Inst. Fourier (Grenoble), 41, 189-209 (1991) · Zbl 0727.57029
[11] Moerdijk, I.; Mrčun, J., Introduction to Foliations and Lie Groupoids, Cambridge Studies in Advanced Mathematics, vol. 91 (2003), Cambridge University Press: Cambridge University Press Cambridge · Zbl 1029.58012
[12] Mrčun, J., On duality between étale groupoids and Hopf algebroids, J. Pure Appl. Algebra, 210, 267-282 (2007) · Zbl 1115.22003
[13] Renault, J., A Groupoid Approach to \(C^*\)-Algebras, Lecture Notes in Math, vol. 793 (1980), Springer: Springer New York · Zbl 0433.46049
[14] Takeuchi, M., Groups of algebras over \(A \otimes \overline{A} \), J. Math. Soc. Japan, 29, 459-492 (1977) · Zbl 0349.16012
[15] Takeuchi, M., Morita theorems for categories of comodules, J. Fac. Sci. Univ. Tokyo Sect. IA Math., 24, 629-644 (1977) · Zbl 0385.18007
[16] Wisbauer, R., Semiperfect coalgebras over rings, (Algebras and Combinatorics. Algebras and Combinatorics, Hong Kong, 1997 (1999), Springer: Springer Singapore), 487-512 · Zbl 0959.16024
[17] Xu, P., Quantum groupoids and deformation quantization, C. R. Acad. Sci. Paris, 326, 289-294 (1998) · Zbl 0911.17012
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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.