nLab locally connected geometric morphism

Contents

Context

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

Contents

Idea

A geometric morphism is locally connected if it behaves as though its fibers are locally connected spaces. In particular, a Grothendieck topos EE is locally connected iff the unique geometric morphism to Set (the terminal Grothendieck topos, i.e. the point in the category Topos of toposes) is locally connected.

Definition

A geometric morphism (f *f *):Ff *f *E (f^* \dashv f_*) : F \underoverset{f_*}{f^*}{\leftrightarrows} E is locally connected if it satisfies the following equivalent conditions:

  1. It is essential, i.e. f *f^* has a left adjoint f !f_!, and moreover f !f_! can be made into an EE-indexed functor.

  2. For every AEA\in E, the functor (f/A) *:E/AF/f *A(f/A)^* \colon E/A \to F/f^*A is cartesian closed.

  3. f *f^* commutes with dependent products – For any morphism h:ABh\colon A\to B in EE, the canonically defined natural transformation (f/B) *Π hΠ f *h(f/A) *(f/B)^* \circ \Pi_h \to \Pi_{f^*h} \circ (f/A)^* is an isomorphism.

Properties

Relation to connectedness

If ff is locally connected, then it makes sense to think of the left adjoint f !f_! as assigning to an object of FF its “set of connected components” in EE. In particular, if ff is locally connected, then it is moreover connected if and only if f !f_! preserves the terminal object. However, not every connected geometric morphism is locally connected.

Over SetSet

Over the base topos E=E = Set every connected topos which is essential is automatically locally connected.

This is because the required Frobenius reciprocity condition

f !(A×f *(B))f !(A)×B f_!(A \times f^* (B)) \simeq f_!(A) \times B

is automatically satisfied, using that cartesian product with a set is equivalently a coproduct

A×B= aAB, A \times B = \coprod_{a \in A} B \,,

that the left adjoint f !f_! preserves coproducts, and that for f *f^* full and faithful we have f !f *Idf_! f^* \simeq Id.

Strong adjunctions

The pair of adjoint functors (f !f *)(f_! \dashv f^*) in a locally connected geometric morphisms forms a “strong adjunction” in that it holds also for the internal homs in the sense that there is a natural isomorphism

[f !(X),A]f *[X,f *A] [f_!(X), A] \simeq f_* [X, f^* A]

for all X,AX, A. This follows by duality from the Frobenius reciprocity that characterizes f *f^* as being a cartesian closed functor:

by the Yoneda lemma, the morphism in question is an isomorphism if for all objects A,B,XA,B, X the morphism

Hom(X,[f !(A),B])Hom(X,f *[A,f *(B)]) Hom(X, [f_!(A), B]) \stackrel{}{\to} Hom(X,f_*[A,f^*(B)])

is a bijection. By adjunction this is the same as

Hom(X×f !(A),B)Hom(f !(f *(X)×A),B). Hom(X \times f_!(A), B) \stackrel{\simeq}{\to} Hom(f_!(f^*(X) \times A), B) \,.

Again by Yoneda, this is a bijection precisely if

f !(f *(X)×A)X×f !(A) f_!(f^*(X) \times A) \to X \times f_!(A)

is an isomorphism. But this is the Frobenius reciprocity condition on f *f^*.

Coreflectivity

Locally connected toposes are coreflective in Topos. See (Funk (1999)).

Other characterizations

  • Let (𝒞,J)(\mathcal{C}, J) be a site and SS be a sieve on the object UU. SS is called connected when SS viewed as a full subcategory of 𝒞/U\mathcal{C}/U is connected. The site is called locally connected if every sieve is connected. For a bounded geometric morphism p:𝒮p:\mathcal{E}\to\mathcal{S} the following holds: pp is locally connected iff there exists a locally connected internal site in 𝒮\mathcal{S} such that Sh(𝒞,J)\mathcal{E}\simeq Sh(\mathcal{C},J). (cf. Johnstone (2002), pp.656-658)

  • Caramello (2012) gives syntactic characterizations of geometric theories whose classifying topos is locally connected.

The same paper also contains the following characterization:

  • A Grothendieck topos is locally connected iff it has a separating set of (coproduct) indecomposable objects.

Variations in the context of the Nullstellensatz

Johnstone (2011) studies several subclasses of locally connected geometric morphisms in the context of Lawvere‘s theory of cohesion and the Nullstellensatz. He calls a locally connected morphism pp stably locally connected if p !p_! preserves finite products. According to the above remark this implies that pp is connected. Slightly stronger is the preservation of all finite limits by p !p_!: these pp are called totally connected geometric morphisms.

Examples

  • If the terminal global section geometric morphism ESetE \to Set is locally connected, one calls EE a locally connected topos. More generally, if ESE\to S is locally connected, we may call EE a locally connected SS-topos.

  • Let XX be a topological space (or a locale) and UXU\subseteq X an open subset, with corresponding geometric embedding j:Sh(U)Sh(X)j\colon Sh(U)\to Sh(X). Then any ASh(X)A\in Sh(X) can be identified with a space (or locale) AA equipped with a local homeomorphism AXA\to X, in such a way that Sh(X)/ASh(A)Sh(X)/A \simeq Sh(A). Moreover, j *ASh(U)j^*A \in Sh(U) can be identified with the pullback of AXA\to X along UU, and so Sh(U)/j *ASh(j *A)Sh(U)/j^*A \simeq Sh(j^*A) similarly. Noting that j *AAj^*A \to A is again the inclusion of an open subset, and using the fact that the inverse image part of any open geometric embedding is cartesian closed, we see that (j/A) *:Sh(X)/ASh(U)/j *A(j/A)^*\colon Sh(X)/A \to Sh(U)/j^*A is cartesian closed for any AA. Hence jj is locally connected.

References

The case of Sh(X)Sh(X) for a topological space XX was an exercise (p.417) in SGA4:

The concept relative to other bases was introduced in the following paper:

The standard reference is section C3.3 of

Further references include

  • Olivia Caramello, Syntactic Characterizations of Properties of Classifying Toposes , TAC 26 no.6 (2012) pp.176-193. (pdf)

  • Jonathon Funk, The locally connected coclosure of a Grothendieck topos, JPAA 137 (1999) pp.17-27.

  • Peter Johnstone, Remarks on Punctual Local Connectedness , TAC 25 no.3 (2011) pp.51-63. (pdf)

  • Ieke Moerdijk, Continuous fibrations and inverse limits of toposes , Comp. Math. 58 (1986) pp.45-72. (pdf)

  • Ieke Moerdijk, Gavin Wraith, Connected and locally connected toposes are path connected , Trans. AMS 295 (1986) pp.849-859. (pdf)

Last revised on May 11, 2022 at 18:16:54. See the history of this page for a list of all contributions to it.