Related papers: The representing localic groupoid for a geometric …
It has been shown by J.Funk, P.Hofstra and B.Steinberg that any Grothendieck topos T is endowed with a canonical group object, called its isotropy group, which acts functorially on every object of T. We show that this group is in fact the…
We provide a unified treatment of several results concerning full groups of ample groupoids and paradoxical decompositions attached to them. This includes a criterion for the full group of an ample groupoid being amenable as well as…
Orbifold groupoids have been recently widely used to represent both effective and ineffective orbifolds. We show that every orbifold groupoid can be faithfully represented on a continuous family of finite dimensional Hilbert spaces. As a…
In this paper we develop a general representation theory for mv-algebras. We furnish the appropriate categorical background to study this problem. Our guide line is the theory of classifying topoi of coherent extensions of universal algebra…
We develop a framework to construct geometric representations of finite groups $G$ through the correspondence between real toric spaces $X^{\mathbb R}$ and simplicial complexes with characteristic matrices. We give a combinatorial…
We give an alternative, more geometric, proof of the well-known Joyal-Tierney Theorem in locale theory by utilizing Priestley duality for frames.
We construct Grothendieck topologies on the path category of a finite graph, examining both coarse and discrete cases that offer different perspectives on quiver representations. The coarse topology declares each vertex covered by all…
We construct a first order local model for Poisson manifolds around a large class of Poisson submanifolds and we give conditions under which this model is a local normal form. The resulting linearization theorem includes as special cases…
This article continues the study of diagrams in the bicategory of \'etale groupoid correspondences. We prove that any such diagram has a groupoid model and that the groupoid model is a locally compact \'etale groupoid if the diagram is…
We study sheaves of Lie-Rinehart algebras over locally ringed spaces. We introduce morphisms and comorphisms of such sheaves and prove factorization theorems for each kind of morphism. Using this notion of morphism, we obtain (higher)…
In the context of relative topos theory via stacks, we introduce the notion of existential fibred site and of existential topos of such a site. These notions allow us to develop relative topos theory in a way which naturally generalizes the…
The present paper links the representation theory of Lie groupoids and infinite-dimensional Lie groups. We show that smooth representations of Lie groupoids give rise to smooth representations of associated Lie groups. The groups envisaged…
We develop a sheaf theory approach to toric noncommutative geometry which allows us to formalize the concept of mapping spaces between two toric noncommutative spaces. As an application we study the `internalized' automorphism group of a…
In Proposition I of "Memoire sur les conditions de resolubilite des equations par radicaux", Galois established that any intermediate extension of the splitting field of a polynomial with rational coefficients is the fixed field of its…
This paper introduces the notion of locally algebraic representations and corresponding sheaves in the context of the cohomology of arithmetic groups. These representations are of relevance for the study of integral structures and special…
The notion of local equivalence relation on a topological space is generalised to that of local subgroupoid. The main result is the construction of the holonomy and monodromy groupoids of certain Lie local subgroupoids, and the formulation…
Given a general finite group $G$, we consider several categories built on it, their Grothendieck topologies and resulting sheaf categories. For a certain class of transporter categories and their quotients, equipped with atomic topology, we…
By analogy with algebraic geometry, we define a category of non-linear sheaves (quasi-coherent homotopy-sheaves of topological spaces) on projective toric varieties and prove a splitting result for its algebraic K-theory, generalising…
We discuss how triposes may be understood as generalizations of localic geometric morphisms.
In the present paper, we show how to construct an algebraic sheaf by means of the topological generalized group defined by Molaei in [16] by considering both homotopy and sheaf theory.