Showing 1–14 of 14 results for author: Hemelaer, J

Localization of monoids and topos theory

Authors: Jens Hemelaer

Abstract: Let $M$ be a monoid that is embeddable in a group. We consider the topos $\mathbf{PSh}(M)$ of sets equipped with a right $M$-action, and we study the subtoposes that are of monoid type, i.e. the subtoposes that are again of the form $\mathbf{PSh}(N)$ for $N$ a monoid. Our main result is that every subtopos of monoid type can be obtained by localization at a prime ideal of $M$. Conversely, we show… ▽ More Let $M$ be a monoid that is embeddable in a group. We consider the topos $\mathbf{PSh}(M)$ of sets equipped with a right $M$-action, and we study the subtoposes that are of monoid type, i.e. the subtoposes that are again of the form $\mathbf{PSh}(N)$ for $N$ a monoid. Our main result is that every subtopos of monoid type can be obtained by localization at a prime ideal of $M$. Conversely, we show that localization at a prime ideal produces a subtopos if and only if $M$ has the right Ore property with respect to the complement of the prime ideal. We demonstrate our calculations in some examples: free monoids, two monoids related to the Connes-Consani Arithmetic Site, and torus knot monoids. △ Less

Submitted 12 March, 2023; originally announced March 2023.

Comments: 19 pages

Toposes over which essential implies locally connected

Authors: Jens Hemelaer

Abstract: We introduce the notion of an EILC topos: a topos $\mathcal{E}$ such that every essential geometric morphism with codomain $\mathcal{E}$ is locally connected. We then show that the topos of sheaves on a topological space $X$ is EILC if $X$ is Hausdorff (or more generally, if $X$ is Jacobson). Further examples of Grothendieck toposes that are EILC are Boolean étendues and classifying toposes of com… ▽ More We introduce the notion of an EILC topos: a topos $\mathcal{E}$ such that every essential geometric morphism with codomain $\mathcal{E}$ is locally connected. We then show that the topos of sheaves on a topological space $X$ is EILC if $X$ is Hausdorff (or more generally, if $X$ is Jacobson). Further examples of Grothendieck toposes that are EILC are Boolean étendues and classifying toposes of compact groups. Next, we introduce the weaker notion of CILC topos: a topos $\mathcal{E}$ such that any geometric morphism $f : \mathcal{F} \to \mathcal{E}$ is locally connected, as soon as $f^*$ is cartesian closed. We give some examples of topological spaces $X$ and small categories $\mathcal{C}$ such that $\mathbf{Sh}(X)$ resp. $\mathbf{PSh}(\mathcal{C})$ are CILC. Finally, we show that any Boolean elementary topos is CILC. △ Less

Submitted 6 April, 2022; originally announced April 2022.

Comments: 17 pages

Geometric morphisms between toposes of monoid actions: factorization systems

Authors: Jens Hemelaer, Morgan Rogers

Abstract: Let M, N be monoids, and PSh(M), PSh(N) their respective categories of right actions on sets. In this paper, we systematically investigate correspondences between properties of geometric morphisms PSh(M) $\rightarrow$ PSh(N) and properties of the semigroup homomorphisms M $\rightarrow$ N or flat-left-N-right-M-sets inducing them. More specifically, we consider properties of geometric morphisms fea… ▽ More Let M, N be monoids, and PSh(M), PSh(N) their respective categories of right actions on sets. In this paper, we systematically investigate correspondences between properties of geometric morphisms PSh(M) $\rightarrow$ PSh(N) and properties of the semigroup homomorphisms M $\rightarrow$ N or flat-left-N-right-M-sets inducing them. More specifically, we consider properties of geometric morphisms featuring in factorization systems, namely: surjections, inclusions, localic morphisms, hyperconnected morphisms, terminal-connected morphisms, {é}tale morphisms, pure morphisms and complete spreads. We end with an application to topos-theoretic Galois theory to the special case of toposes of the form PSh(M). △ Less

Submitted 17 March, 2022; originally announced March 2022.

Solution to a problem by FitzGerald

Authors: Jens Hemelaer, Morgan Rogers

Abstract: FitzGerald identified four conditions (RI), (UR), (RI*) and (UR*) that are necessarily satisfied by an algebra, if its monoid of endomorphisms has commuting idempotents. We show that these conditions are not sufficient, by giving an example of an algebra satisfying the four properties, such that its monoid of endomorphisms does not have commuting idempotents. This settles a problem presented by Fi… ▽ More FitzGerald identified four conditions (RI), (UR), (RI*) and (UR*) that are necessarily satisfied by an algebra, if its monoid of endomorphisms has commuting idempotents. We show that these conditions are not sufficient, by giving an example of an algebra satisfying the four properties, such that its monoid of endomorphisms does not have commuting idempotents. This settles a problem presented by Fitzgerald at the Conference and Workshop on General Algebra and Its Applications in 2013 and more recently at the workshop NCS 2018. After giving the counterexample, we show that the properties (UR), (RI*) and (UR*) depend only on the monoid of endomorphisms of the algebra, and that the counterexample we gave is in some sense the easiest possible. Finally, we list some categories in which FitzGerald's question has an affirmative answer. △ Less

Submitted 24 November, 2020; originally announced November 2020.

Comments: 12 pages

An essential, hyperconnected, local geometric morphism that is not locally connected

Authors: Jens Hemelaer, Morgan Rogers

Abstract: We give an example of an essential, hyperconnected, local geometric morphism that is not locally connected, arising from our work-in-progress on geometric morphisms $\mathbf{PSh}(M) \to \mathbf{PSh}(N)$, where $M$ and $N$ are monoids. We give an example of an essential, hyperconnected, local geometric morphism that is not locally connected, arising from our work-in-progress on geometric morphisms $\mathbf{PSh}(M) \to \mathbf{PSh}(N)$, where $M$ and $N$ are monoids. △ Less

Submitted 25 September, 2020; originally announced September 2020.

Comments: 3 pages

Monoid Properties as Invariants of Toposes of Monoid Actions

Authors: Jens Hemelaer, Morgan Rogers

Abstract: We systematically investigate, for a monoid $M$, how topos-theoretic properties of $\mathbf{PSh}(M)$, including the properties of being atomic, strongly compact, local, totally connected or cohesive, correspond to semigroup-theoretic properties of $M$. We systematically investigate, for a monoid $M$, how topos-theoretic properties of $\mathbf{PSh}(M)$, including the properties of being atomic, strongly compact, local, totally connected or cohesive, correspond to semigroup-theoretic properties of $M$. △ Less

Submitted 22 April, 2020; originally announced April 2020.

Comments: 41 pages

MSC Class: 18B25; 20M30

Duality for noncommutative frames

Authors: Karin Cvetko-Vah, Jens Hemelaer, Lieven Le Bruyn

Abstract: We characterize the left-handed noncommutative frames that arise from sheaves on topological spaces. Further, we show that a general left-handed noncommutative frame $A$ arises from a sheaf on the dissolution locale associated to the commutative shadow of $A$. Both constructions are made precise in terms of dual equivalences of categories, similar to the duality result for strongly distributive sk… ▽ More We characterize the left-handed noncommutative frames that arise from sheaves on topological spaces. Further, we show that a general left-handed noncommutative frame $A$ arises from a sheaf on the dissolution locale associated to the commutative shadow of $A$. Both constructions are made precise in terms of dual equivalences of categories, similar to the duality result for strongly distributive skew lattices in arXiv:1206.5848. △ Less

Submitted 28 November, 2019; originally announced November 2019.

Comments: 28 pages

Noncommutative Frames Revisited

Authors: Karin Cvetko-Vah, Jens Hemelaer, Jonathan Leech

Abstract: In this note, we correct an error in arXiv:1702.04949 by adding an additional assumption of join completeness. We demonstrate with examples why this assumption is necessary, and discuss how join completeness relates to other properties of a skew lattice. In this note, we correct an error in arXiv:1702.04949 by adding an additional assumption of join completeness. We demonstrate with examples why this assumption is necessary, and discuss how join completeness relates to other properties of a skew lattice. △ Less

Submitted 27 November, 2019; originally announced November 2019.

Comments: 8 pages

A topological groupoid representing the topos of presheaves on a monoid

Authors: Jens Hemelaer

Abstract: Butz and Moerdijk famously showed that every (Grothendieck) topos with enough points is equivalent to the category of sheaves on some topological groupoid. We give an alternative, more algebraic construction in the special case of a topos of presheaves on an arbitrary monoid. If the monoid is embeddable in a group, the resulting topological groupoid is the action groupoid for a discrete group acti… ▽ More Butz and Moerdijk famously showed that every (Grothendieck) topos with enough points is equivalent to the category of sheaves on some topological groupoid. We give an alternative, more algebraic construction in the special case of a topos of presheaves on an arbitrary monoid. If the monoid is embeddable in a group, the resulting topological groupoid is the action groupoid for a discrete group acting on a topological space. For these monoids, we show how to compute the points of the associated topos. △ Less

Submitted 6 June, 2019; originally announced June 2019.

Comments: 23 pages

Grothendieck topologies on posets

Authors: Jens Hemelaer

Abstract: Lindenhovius has studied Grothendieck topologies on posets and has given a complete classification in the case that the poset is Artinian. We extend his approach to more general posets, by translating known results in locale and domain theory to the study of Grothendieck topologies. In particular, explicit descriptions are given for the family of Grothendieck topologies with enough points and the… ▽ More Lindenhovius has studied Grothendieck topologies on posets and has given a complete classification in the case that the poset is Artinian. We extend his approach to more general posets, by translating known results in locale and domain theory to the study of Grothendieck topologies. In particular, explicit descriptions are given for the family of Grothendieck topologies with enough points and the family of Grothendieck topologies of finite type. As an application, we compute the cardinalities of these families in various examples. △ Less

Submitted 25 November, 2018; originally announced November 2018.

Comments: 16 pages

An arithmetic topos for integer matrices

Authors: Jens Hemelaer

Abstract: We study the topos of sets equipped with an action of the monoid of regular $2 \times 2$ matrices over the integers. In particular, we show that the topos-theoretic points are given by the double quotient $\left. GL_2(\hat{\mathbb{Z}}) ~\middle\backslash~ M_2(\mathbb{A}_f)~\middle/~GL_2(\mathbb{Q})\right.$, so they classify the groups $\mathbb{Z}^2 \subseteq A \subseteq \mathbb{Q}^2$ up to isomorp… ▽ More We study the topos of sets equipped with an action of the monoid of regular $2 \times 2$ matrices over the integers. In particular, we show that the topos-theoretic points are given by the double quotient $\left. GL_2(\hat{\mathbb{Z}}) ~\middle\backslash~ M_2(\mathbb{A}_f)~\middle/~GL_2(\mathbb{Q})\right.$, so they classify the groups $\mathbb{Z}^2 \subseteq A \subseteq \mathbb{Q}^2$ up to isomorphism. We determine the topos automorphisms and then point out the relation with Conway's big picture and the work of Connes and Consani on the Arithmetic Site. As an application to number theory, we show that classifying extensions of $\mathbb{Q}$ by $\mathbb{Z}$ up to isomorphism relates to Goormaghtigh conjecture. △ Less

Submitted 5 June, 2018; originally announced June 2018.

Comments: 24 pages

Journal ref: J. Number Theory 204 (2019) 155--184

Azumaya toposes

Authors: Jens Hemelaer

Abstract: In arXiv:1606.07885, many different Grothendieck topologies were introduced on the category of Azumaya algebras. Here we give a classification in terms of sets of supernatural numbers. Then we discuss the associated categories of sheaves and their topos-theoretic points, which are related to UHF-algebras. The sheaf toposes that correspond to a single supernatural number have an alternative descrip… ▽ More In arXiv:1606.07885, many different Grothendieck topologies were introduced on the category of Azumaya algebras. Here we give a classification in terms of sets of supernatural numbers. Then we discuss the associated categories of sheaves and their topos-theoretic points, which are related to UHF-algebras. The sheaf toposes that correspond to a single supernatural number have an alternative description, involving actions of the associated projective general linear group. △ Less

Submitted 12 July, 2017; originally announced July 2017.

Comments: 22 pages

What is a noncommutative topos?

Authors: Karin Cvetko-Vah, Jens Hemelaer, Lieven Le Bruyn

Abstract: In 1702.04949 noncommutative frames were introduced, generalizing the usual notion of frames of open sets of a topological space. In this paper we extend this notion to noncommutative Grothendieck topologies and their associated noncommutative toposes of sheaves of sets. In 1702.04949 noncommutative frames were introduced, generalizing the usual notion of frames of open sets of a topological space. In this paper we extend this notion to noncommutative Grothendieck topologies and their associated noncommutative toposes of sheaves of sets. △ Less

Submitted 8 May, 2017; originally announced May 2017.

Journal ref: J. Algebra Appl. 18, no. 6 (2019) 1950107

Azumaya geometry and representation stacks

Authors: Jens Hemelaer, Lieven Le Bruyn

Abstract: We develop Azumaya geometry, which is an extension of classical affine geometry to the world of Azumaya algebras, and package the information contained in all quotient stacks $[\mathrm{rep}_n R\,/\,\mathrm{PGL}_n]$ into a presheaf $\mathrm{Rep}_R$ on it. We show that the classical étale and Zariski topologies extend to Grothendieck topologies on Azumaya geometry in uncountably many ways, and prove… ▽ More We develop Azumaya geometry, which is an extension of classical affine geometry to the world of Azumaya algebras, and package the information contained in all quotient stacks $[\mathrm{rep}_n R\,/\,\mathrm{PGL}_n]$ into a presheaf $\mathrm{Rep}_R$ on it. We show that the classical étale and Zariski topologies extend to Grothendieck topologies on Azumaya geometry in uncountably many ways, and prove that $\mathrm{Rep}_R$ is a sheaf for all of them. The restriction to a specific Azumaya algebra $A$ with center $C$ gives us a sheaf in the étale topology which is represented by an affine $C$-scheme $\mathrm{rep}_A(R)$, which we call the Azumaya representation scheme of $R$ with respect to $A$. △ Less

Submitted 6 August, 2019; v1 submitted 25 June, 2016; originally announced June 2016.

Comments: 12 pages; rewritten to improve readability