Related papers: Grothendieck topologies on posets
We describe a simplified categorical approach to Galois descent theory. It is well known that Galois descent is a special case of Grothendieck descent, and that under mild additional conditions the category of Grothendieck descent data…
We study a Grothendieck topology on schemes which we call the $\mathrm{arc}$-topology. This topology is a refinement of the $v$-topology (the pro-version of Voevodsky's $h$-topology) where covers are tested via rank $\leq 1$ valuation…
A new and extensive formalism is developed for monads and galaxies in non-standard enlargements. It is shown that monads and galaxies can be manipulated using order-preserving and order-reversing set-to-set maps, and that set properties…
A classical theorem of De Bruijn and Erd\H{o}s asserts that any noncollinear set of n points in the plane determines at least n distinct lines. We prove that an analogue of this theorem holds for graphs. Restricting our attention to…
In this note, we present a few existence theorems for the quotient of a scheme by the action of a group. The first two sections are devoted to Grothendieck topologies and descent theory. The third one is dealing with quotients: we first…
Grothendieck point residue is considered in the context of computational complex analysis. A new effective method is proposed for computing Grothendieck point residues mappings and residues. Basic ideas of our approach are the use of…
We define model category structures on the category of chain complexes over a Grothendieck abelian category depending on the choice of a generating family, and we study their behaviour with respect to tensor products and stabilization. This…
A conceptual framework for cluster analysis from the viewpoint of p-adic geometry is introduced by describing the space of all dendrograms for n datapoints and relating it to the moduli space of p-adic Riemannian spheres with punctures…
In this article we extend Deligne's construction of Grothendieck's six operations on the derived category of torsion sheaves over the \'etale site of a scheme for morphisms of finite type to a larger class of morphisms. This class includes…
We introduce a Morse theory for posets of Bestvina-Brady type combining matchings and height functions. This theory generalizes Forman's discrete Morse theory for regular CW-complexes and extends previous results on Morse theory for…
In this paper, we present some partial results for the geometrically m-step solvable Grothendieck conjecture in anabelian geometry. Among other things, we prove the geometrically 3-step solvable Grothendieck conjecture for genus 0 curves…
In this paper we discuss the notion of completeness of topologized posets and survey some recent results on closedness properties of complete topologized semilattices.
Grothendieck Duality -- the theory of the twisted inverse image pseudofunctor (-)^! over a suitable category of scheme-maps -- can be developed concretely, with emphasis on explicit constructions, or abstractly, with emphasis on…
Generalized \'etale homotopy pro-groups $\pi_1^{\ets}(\mc{C}, x)$ associated to pointed connected small Grothendieck sites $(\mc{C}, x)$ are defined and their relationship to Galois theory and the theory of pointed torsors for discrete…
We define a family of combinatorial objects, which we call Baxter posets. We prove that Baxter posets are counted by the Baxter numbers by showing that they are the adjacency posets of diagonal rectangulations. Given a diagonal…
In this note, we explore the notion of hyperbolicity of topologically finitely generated profinite groups. Some applications to diophantine geometry are suggested and we try to reformulate certain problems in diophantine geometry in terms…
We consider pairs of a set-valued column-strict tableau and a reverse plane partition of the same shape. We introduce algortithms for them, which implies a bijective proof for the finite sum Cauchy identity for Grothendieck polynomials and…
We initiate the study of sheaves on Cech closure spaces, providing a new, unified approach to sheaf theory on many of the major classes of spaces of interest to applications: topological spaces, finite simplicial complexes (seen as $T_0$…
We provide an explicit characterization of the covariant isotropy group of any Grothendieck topos, i.e. the group of (extended) inner automorphisms of any sheaf over a small site. As a consequence, we obtain an explicit characterization of…
After developing the basic theory of locally cartesian localizations of presentable locally cartesian closed infinity-categories, we establish the representability of equivalences and show that univalent families, in the sense of Voevodsky,…