Related papers: Idempotent completion of cubes in posets

Let $f$ be a transcendental entire function. For $n \in \mathbb{N},$ let $ f^{n}$ denote the $n^{th}$ iterate of $f$. Let $ I(f) = \{z \in \mathbb{C} : f^n \rightarrow \infty $ as $ n \rightarrow \infty \} $ and $ K(f) = \{z: \textrm{ there…

We give a direct construction of a specific idempotent in the endomorphism algebra of a finite lattice $T$. This idempotent is associated with all possible sublattices of $T$ which are total orders.

In characteristic zero, Bezrukavnikov has shown that the category of perverse coherent sheaves on the nilpotent cone of a simply connected semisimple algebraic group is quasi-hereditary, and that it is derived-equivalent to the category of…

We develop the theory of exact completions of regular $\infty$-categories, and show that the $\infty$-categorical exact completion (resp. hypercompletion) of an abelian category recovers the connective half of its bounded (resp. unbounded)…

We propose the notion of perverse coherent sheaves for symplectic singularities and study its properties. In particular, it gives a basis of simple objects in the Grothendieck group of Poisson sheaves. We show that perverse coherent bases…

A completeness conjecture is advanced concerning the free small-colimit completion P(A) of a (possibly large) category A. The conjecture is based on the existence of a small generating-cogenerating set of objects in A. We sketch how the…

We show that under suitable hypotheses, the second homotopy group of the coned-off space associated to a $C(9)$ cubical presentation is trivial, and use this to provide classifying spaces for proper actions for the fundamental groups of…

The paper establishes an equivalence between directed homotopy categories of (diagrams of) cubical sets and (diagrams of) directed topological spaces. This equivalence both lifts and extends an equivalence between classical homotopy…

We introduce combinatorial types of arrangements of convex bodies, extending order types of point sets to arrangements of convex bodies, and study their realization spaces. Our main results witness a trade-off between the combinatorial…

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…

We show that any set of quotients with fixed Chern classes of a given coherent sheaf on a compact Kaehler manifold is bounded in a sense which we define. The result is proved by adapting Grothendieck's boundedness criterium expressed via…

The coefficients of the chain polynomial of a finite poset enumerate chains in the poset by their number of elements. It has been a challenging open problem to determine which posets have real-rooted chain polynomials. Two new classes of…

We study two constructions related to the intervals of finite posets. The first one is a poset. The second one is more complicated. Loosely speaking it can be seen as a poset with some extra zero-relations. As main result, we show that…

This article studies the compatibility of Koenig's notion of an exact Borel subalgebra of a quasi-hereditary or, more generally, standardly stratified algebra with taking idempotent subalgebras or quotients. As an application, we provide…

We have shown recently that, given a metric space $X$, the coarse equivalence classes of metrics on the two copies of $X$ form an inverse semigroup $M(X)$. Here we study the property of idempotents in $M(X)$ of being finite or infinite,…

Let $\mathbb{D}$ be the category of pro-sets (or abelian pro-groups). It is proved that for any Grothendieck site $X$, there exists a reflector from the category of precosheaves on $X$ with values in $\mathbb{D}$ to the full subcategory of…

If the complement of a closed convex set in a closed convex cone is bounded, then this complement minus the apex of the cone is called a coconvex set. Coconvex sets appear in singularity theory (they are closely related to Newton diagrams)…

A number of categories is presented that are algebraically complete and cocomplete, i.e., every endofunctor has an initial algebra and a terminal coalgebra. For all finitary (and, more generally, all precontinuous) set functors the initial…

A number of categories is presented that are algebraically complete and cocomplete, i.e., every endofunctor has an initial algebra and a terminal coalgebra. For all finitary (and, more generally, all precontinuous) set functors the initial…

We prove the Box Conjecture for pairs of commuting nilpotent matrices, as formulated by Iarrobino et al [28]. This describes the Jordan type of the dense orbit in the nilpotent commutator of a given nilpotent matrix. Our main tool is the…