Pursuing Stacks

Pursuing Stacks (French: À la Poursuite des Champs) is an influential 1983 mathematical manuscript by Alexander Grothendieck[1]. The word "stack" refers to a possible generalization of scheme, a central object of study in algebraic geometry.

Among the concepts introduced in the manuscript are derivators and test categories.

Some parts of the manuscript were later developed in:

Georges Maltsiniotis (2005), "La théorie de l'homotopie de Grothendieck" [Grothendieck's homotopy theory] (PDF), Astérisque, 301, MR 2200690
Denis-Charles Cisinski (2006), "Les préfaisceaux comme modèles des types d'homotopie" [Presheaves as models for homotopy types] (PDF), Astérisque, 308, ISBN 978-2-85629-225-9, MR 2294028

Overview of manuscript
I. The letter to Daniel Quillen

Pursuing stacks started out as a letter from Grothendieck to Daniel Quillen. In this letter he discusses Quillen's progress[2] on the foundations for homotopy theory and remarked on the lack of progress since then. He remarks how some of his friends at Bangor university, including Ronnie Brown, were studying higher fundamental groupoids \( {\displaystyle \Pi _{n}(X)} \) for a topological space X and how the foundations for such a topic could be laid down and relativized using topos theory making way for higher gerbes. Moreover, he was critical of using strict groupoids for laying down these foundations since they would not be sufficient for developing the full theory he envisioned.

He laid down his ideas of what such an infinity groupoid should look like, and gave some axioms sketching out how he envisioned them. Essentially, they are categories with objects, arrows, arrows between arrows, and so on, analogous to the situation for higher homotopies. It's conjectured this could be accomplished by looking at a successive sequence of categories and functors

\( {\displaystyle C_{0}\to C_{1}\to \cdots \to C_{n}\to C_{n+1}\to \cdots } \)

which are universal with respect to any kind of higher groupoid. This allows for an inductive definition of an infinity groupoid which depends on the objects \( C_{0} \) and the inclusion functors \( {\displaystyle C_{n}\to C_{n+1}} \) where the categories \(C_{n} \) keep track of the higher homotopical information upto level n {\displaystyle n} n. Such a structure was later called a Coherator since it keeps track of all higher coherences. This structure has been formally studied by George Malsiniotis[3] making some progress on setting up these foundations and showing the homotopy hypothesis.
II.Test categories and test functors

Grothendieck's motivation for higher stacks

As a matter of fact, the description is formally analogous, and nearly identical, to the description of the homology groups of a chain complex – and it would seem therefore that that stacks (more specifically, Gr-stacks) are in a sense the closest possible non-commutative generalization of chain complexes, the homology groups of the chain complex becoming the homotopy groups of the “non-commutative chain complex” or stack - Grothendieck[1]pg 23

This is later explained because of the intuition provided by the Dold–Kan correspondence: simplicial abelian groups correspond to chain complexes, while a higher stack modeled as a simplicial group should correspond to a "non-abelian" chain complex \( {\displaystyle {\mathcal {F}}_{\bullet }} \). Moreover, these should have an abelianization given by homology and cohomology, written suggestively as \( {\displaystyle H^{k}(X,{\mathcal {F}}_{\bullet })} \) or \( {\displaystyle \mathbf {R} F_{*}({\mathcal {F}}_{\bullet })} \), since there should be an associated six functor formalism[1]pg 24. Moreover, there should be an associated theory of Lefschetz operations, similar to the thesis of Raynaud[4]. Because Grothendieck envisioned an alternative formulation of higher stacks using globular groupoids, and observed there should be a corresponding theory using cubical sets, he came up with the idea of test categories and test functors[1]pg 42. Essentially, test categories should be categories M with a class of weak equivalences W such that there is a geometric realization

\( {\displaystyle |\cdot |:M\to {\text{Spaces}}} \)

and a weak equivalence

\( {\displaystyle M[W^{-1}]\simeq {\text{Hot}}} \)