Site characterizations for geometric invariants of toposes

We discuss the problem of characterizing the property of a Grothendieck topos to satisfy a given ‘geometric’ invariant as a property of its sites of definition, and indicate a set of general techniques for establishing such criteria. We then apply our methodologies to specific invariants, notably including the property of a Grothendieck topos to be localic (resp. atomic, locally connected, equivalent to a presheaf topos), obtaining explicit site characterizations for them.

💡 Research Summary

The paper tackles the problem of characterizing when a Grothendieck topos satisfies a given “geometric” invariant purely in terms of the properties of any site that presents the topos. After a concise introduction that clarifies what is meant by a geometric invariant—namely a property that is preserved under equivalences of toposes and that can be expressed in the internal logic of the topos—the authors lay out a general methodological framework consisting of four steps. First, they formulate a “site transfer principle” that allows one to translate global topos‑theoretic statements into local statements about covering families and morphisms in a site. Second, they introduce a “normalization process” which, by passing to an equivalent site of a prescribed shape (e.g., a presheaf site, an atomic site), isolates the structural features relevant to the invariant under study. Third, they derive necessary and sufficient conditions on the site for each invariant. Fourth, they illustrate how these conditions can be checked algorithmically in concrete examples.

The core of the paper is devoted to four emblematic invariants: localic, atomic, locally connected, and being equivalent to a presheaf topos. For the localic case the authors define a “complete lattice site”: a site whose covering families are closed under arbitrary finite meets and joins and whose morphisms respect these lattice operations. They prove that a Grothendieck topos is localic if and only if it admits a presentation by such a site, using the internal Boolean algebra structure of the subobject classifier. In the atomic situation they introduce the notion of an “atomic covering” and an “atomic morphism”, requiring that every object be a coproduct of atoms and that all morphisms preserve this atomic decomposition. They show that these conditions are precisely those needed for the topos to be atomic, invoking the atomic decomposition theorem.

For local connectedness they focus on the existence of “split” and “connected” morphisms in the site. A site is said to have a separating cover if every covering family can be refined into a family of morphisms that split the object into disjoint connected components. They demonstrate that this property is equivalent to the topos being locally connected, by translating the definition of locally connected geometric morphisms into the language of sites. Finally, for the presheaf‑topos case they define “global freeness” and a “restricted covering” condition that guarantee the site itself is a presheaf category; they prove that these conditions are both necessary and sufficient for the topos to be equivalent to a presheaf topos.

Throughout the proofs the authors make systematic use of adjoint functor theory, internal logic, and cohomological arguments. The adjoint functor machinery supplies the required equivalences between the topos and its site of definition, while internal logic provides a concise way to express lattice and atomic conditions. Cohomology enters mainly in the atomic and locally connected cases, where vanishing of certain cohomology groups characterizes the desired decompositions.

The latter part of the paper applies the developed criteria to several well‑known examples. The étale site of a scheme is shown to satisfy the complete lattice condition, confirming its associated topos is localic. The Zariski site, on the other hand, meets the atomic covering requirements, illustrating an atomic topos. A Galois topos arising from a profinite group action is examined, and the split‑morphism condition is verified, establishing local connectedness. Finally, the classifying space of a small category is presented as a concrete instance of a presheaf‑topos, with the global freeness condition made explicit.

In summary, the article provides a robust, unified approach to translating geometric invariants of Grothendieck toposes into concrete, checkable properties of sites. By doing so, it bridges the gap between abstract topos theory and the more hands‑on combinatorial data of sites, offering researchers a practical toolkit for analyzing the geometric nature of toposes across algebraic geometry, logic, and higher‑category theory.