Contents

Idea

In the mid 1970s Julian Cole proposed a topos-theoretic construction of spectra in geometry arising in the sense of spectrum of a commutative ring but for more general (algebraic) theories, as right adjoints to forgetful functors that generalized M. Hakim's approach to locally ringed toposes.

Basic ingredients are pairs of geometric theories $\mathbb{S}$ and $\mathbb{T}$ over the same language such that $\mathbb{T}$ results from $\mathbb{S}$ by addition of further axioms. Then $\mathbb{T}-Mod_\mathcal{E}$ is a full subcategory of $\mathbb{S}-Mod_\mathcal{E}$ and the spectrum construction can be viewed as a sort of generalization of a right adjoint to the inclusion. The quotient relation between the two theories gives the construction a model-theoretic flavor.

Definition

Let $\mathbb{T}$ be geometric theory. The 2-category $\mathbb{T}-\mathfrak{Top}$ of T-modelled toposes is given as follows:

• objects are pairs $(\mathcal{E},M)$ where $\mathcal{E}$ is a topos and $M$ a $\mathbb{T}$-model in $\mathcal{E}$,

• 1-cells $(\mathcal{F},L)\to (\mathcal{E},M)$ are pairs $(p,f)$ with $p:\mathcal{F}\to\mathcal{E}$ a geometric morphism and $f:p^*M\to L$ a $\mathbb{T}$-model homomorphism, and

• 2-cells $(p,f)\to(q,g)$ are natural transformations $\eta:p\to q$ such that $f=g\circ\eta_M$.

$\mathbb{T}-\mathfrak{Top}_N$ is the full sub-2-category on pairs $(\mathcal{E},M)$ such that $\mathcal{E}$ has a natural numbers object.

Definition

Let $\mathbb{T}$ be a (geometric) quotient theory of $\mathbb{S}$. A class $\mathbb{A}$ of $\mathbb{T}$-model morphisms is called admissible if

• $\mathbb{A}$ is closed under inverse image functors: $p^*f\in \mathbb{A}$ for $f\in \mathbb{A}$.

• $\mathbb{A}$ contains all identity morphisms and given $g\in \mathbb{A}$ and composable $f$ : $f\in \mathbb{A}$ iff $gf\in \mathbb{A}$.

• Given an $\mathbb{S}$-model morphism $f:M\to L$ with $L$ a $\mathbb{T}$-model, there exists a factorization $M\overset{q}{\to}M_f\overset{\hat{f}}{\to}L$ with $M_f$ a $\mathbb{T}$-model and $\hat{f}\in \mathbb{A}$, such that any other such factorization $M\overset{r}{\to}P\overset{p}{\to}L$ factors with $gh=\hat{f}$ and $hq=r$ for a unique $h:M_f\to P$. Moreover, this factorization is preserved by inverse image functors.

The sub-category $\mathbb{A}-\mathfrak{Top}$ of $\mathbb{T}-\mathfrak{Top}$ for such an admissible class has 1-cells $(p,f)$ with $f\in \mathbb{A}$.

Theorem

Example

The classical example is given by the geometric theories of commutative rings and local rings with the factorization given by the class of local morphisms and appropriate rings of fractions as the local factors. The right adjoint maps a commutative ring $A$ basically to the pair consisting of the sheaf topos on the Zariski spectrum of $A$ and the structure sheaf of $A$ (cf. Johnstone 1977b).

Remark

In the context of his work with C. Lair on ‘locally free diagrams’ R. Guitart interprets the ‘almost-freeness’ of the spec construction as an ‘almost-algebraicity’ of topology (See Guitart 2008 and the references therein).

Related concepts

spectrum of a commutative ring

locally algebra-ed topos

classifying topos

geometric theory

ringed topos

Structured Spaces

formally etale morphisms

References

The original article is reprinted as

• Julian Cole, The bicategory of topoi and spectra, Reprints in Theory and Applications of Categories, No. 25 (2016) pp. 1-16 (TAC)

Besides this, Johnstone’s article (1977a), the book of Johnstone (1977b), on which the above exposition is based, is a good source for this material. Bunge (1981), Bunge and Reyes (1981) apply the results in a model-theoretic context. See also the short remark in Caramello (2014, p.55).

M. Coste‘s (1979) take on admissible maps flows in Coste-Michon (1981) via the 4-yoga (cf. above) into the more recent approach using open and étale maps pioneered by Joyal. Dubuc (2000) compares his axiomatic étale morphisms to Cole’s class of admissible morphisms.

For a glimpse of A. Joyal‘s original approach to the spectrum using distributive lattices see Joyal (1975), Español (1983,1986) or Coquand-Lombardi-Schuster (2007). For higher categorical variations on the theme spectrum (of a ring) see Lurie (2009).

• M. Bunge, Sheaves and Prime Model Extensions , J. Algebra 68 (1981) pp.79-96.

• M. Bunge, G. E. Reyes , Boolean spectra and model completions , Fund.Math. 113 (1981) pp.165-173. (pdf)

• O. Caramello, Topos-theoretic background , ms. 2014. (pdf)

• J. C. Cole, The Bicategory of Topoi, and Spectra , ms. (pdf)

• Thierry Coquand, Henri Lombardi, Peter Schuster, The projective spectrum as a distributive lattice , Cah. Top. Géom. Diff. Cat. XLIIX no.3 (2007) pp.220-228. (numdam)

• M. Coste, Localisation, spectra and sheaf representation , pp.212-238 in Fourman, Mulvey & Scott (eds.), Applications of Sheaves , Springer LNM 753 (1979).

• M. Coste, G. Michon, Petits et Gros Topos en Géométrie Algébrique , Cah. Top. Géom. Diff. Cat. XXII no.1 (1981) pp.25-30. (pdf)

• E. J. Dubuc, Axiomatic etal maps and a theory of spectrum , JPAA 149 (2000) pp.15-45.

• L. Español, Le spectre d’un anneau dans l’algèbre constructive et applications à la dimension , Cah. Top. Géom. Diff. Cat. XXIV no.2 (1983) pp.133-144. (numdam)

• L. Español, El Espectro y la Dimension des Anillos en el Algebra sobre un Topos , Revista Colombiana de Matemáticas XX (1986) pp.105-128. (gdz)

• R. Guitart, Toute Théorie est Algébrique et Topologique , Cah.Top.Géom.Diff.Cat. XLIX no. 2 (2008) pp.83-128. (pdf)

• M. Hakim, Topos Annelés et Schémas Relatifs , Springer Heidelberg 1972.

• P. T. Johnstone, Rings, fields and spectra , J. Algebra 49 (1977) pp.238-260.

• P. T. Johnstone, Topos Theory , Academic Press New York 1977 (Dover reprint 2014). pp.205-207

• A. Joyal, Les Théorèmes de Chevalley-Tarski et Remarques sur l’Algèbre Constructive , Cah. Top. Géom. Diff. Cat. XVI (1975) pp.256-258. (Proceedings Colloque Amiens 1975, 6.81 MB)

• J. Lurie, Derived Algebraic Geometry V: Structured Spaces , ms. 2009. (pdf)

• R. O. Robson, Model theory and spectra , JPAA 63 (1990) pp.301-327.