Related papers: Idempotents and the points of the topos of M-sets

In this paper we introduce the notion of an idempotent system. This linear algebraic object is motivated by the structure of an association scheme. We focus on a family of idempotent systems, said to be symmetric. A symmetric idempotent…

Let $kG$ be the group algebra of a finite group scheme defined over a field $k$ of characteristic $p>0$. Associated to any closed subset $V$ of the projectivized prime ideal spectrum $\operatorname{Proj} \operatorname{H}^*(G,k)$ is a thick…

In this paper we introduce a metrics on the space of idempotent probability measures on a given compactum, which extends the metrics on the compactum. It is proven the introduced metrics generates the pointwise convergence topology on the…

Motivated by the analysis and geometry of metric-measure structures in infinite dimensions, we study the category of extended metric-topological spaces, along with many of its distinguished subcategories (such as the one of compact spaces).…

In this paper we use 3-manifold techniques to illuminate the structure of the category of tangles. In particular, we show that every idempotent morphism $A$ in such a category naturally splits as $A=B\circ C$ such that $C\circ B$ is an…

Idempotent elements play a fundamental role in ring theory, as they encode significant information about the underlying algebraic structure. In this paper, we study idempotent matrices from two perspectives. First, we analyze the partially…

A set-theoretical solution of the pentagon equation on a non-empty set $X$ is a function $s:X\times X\to X\times X$ satisfying the relation $s_{23}\, s_{13}\, s_{12}=s_{12}\, s_{23}$, with $s_{12}=s\times \,id_X$, $s_{23}=id_X \times \, s$…

Every small monoidal category with universal finite joins of central idempotents is monoidally equivalent to the category of global sections of a sheaf of local monoidal categories on a topological space. Every small stiff monoidal category…

Let $X$ be a monoid scheme. We will show that the stalk at any point of $X$ defines a point of the topos $\Qc(X)$ of quasi-coherent sheaves over $X$. As it turns out, every topos point of $\Qc(X)$ is of this form if $X$ satisfies some…

Irreducible decompositions of monomial ideals in polynomial rings over a field are well-understood. In this paper, we investigate decompositions in the set of monomial ideals in the semigroup ring A[\mathbb{R}_{\geq 0}^d] where A is an…

Let R be a commutative ring with identity and S be a multiplicatively closed subset of R. The aim of this paper is to introduce the notion of fully S-idempotent modules as a generalization of fully idempotent modules and investigate some…

This paper focuses on the problem of topological equivalence of functions with isolated critical points on the boundary of a compact surface $M$ which are also isolated critical points of their restrictions to the boundary. This class of…

This paper studies the combinatorics of ideals which recently appeared in ergodicity results for analytic equivalence relations. The ideals have the following topological representation. There is a separable metrizable space $X$, a…

We present a novel M-theoretic approach of constructing and classifying anyonic topological phases of matter, by establishing a correspondence between (2+1)d topological field theories and non-hyperbolic 3-manifolds. In this construction,…

Let M be a meromorphic connection with poles along a smooth divisor D in a smooth algebraic variety. Let Sol M be the solution complex of M. We prove that the good formal decomposition locus of M coincides with the locus where the…

We classify and enumerate the idempotents in several planar diagram monoids: namely, the Motzkin, Jones (a.k.a. Temperley-Lieb) and Kauffman monoids. The classification is in terms of certain vertex- and edge-coloured graphs associated to…

We algorithmically compute integral Eilenberg-MacLane homology of all semigroups of order at most $8$ and present some particular semigroups with notable classifying spaces, refuting conjectures of Nico. Along the way, we give an…

It is known that the existence of localization with respect to an arbitrary (possibly proper) class of maps in the category of simplicial sets is implied by a large-cardinal axiom called Vopenka's principle.In this article we extend the…

We suggest a homotopical description of the Poisson bracket invariants for tuples of closed sets in symplectic manifolds. It implies that these invariants depend only on the union of the sets along with topological data.

We study the concept of idempotence for relative monads, which exhibits several subtleties not present for non-relative monads. In particular, there is a bifurcation of notions of idempotence in the relative setting, which are…