This is a writeup of some material developed mainly by James Dolan, with help from me.
We’ll tentatively use the following new definition of the existing term ‘algebraic stack’:
Explanding this somewhat: an algebraic geometric theory is, for starters, a symmetric monoidal -enriched category, where is the category of vector spaces over a fixed commutative ring . We also assume that has finite colimits, and that the operation of taking tensor product distributes over finite colimits.
There should be a doctrine of algebraic geometric theories. In our sense, a doctrine is a -category with a certain property. Here we only describe the -category, not checking that it has the necessary property:
Definition: Given algebraic geometric theories and , a morphism of algebraic geometric theories is a symmetric monoidal linear functor preserving finite colimits. We also call this a model of in the environment . Given two such morphisms , a 2-morphism is a natural isomorphism.
Definition: The doctrine of algebraic geometric theories, is the 2-category of algebraic geometric theories, morphisms between these, and 2-morphisms between those.
An algebraic geometric theory can be seen as a categorified version of a commutative ring: the finite colimits play the role of ‘addition’, the tensor product plays the role of ‘multiplication, and the fact that this tensor product is symmetric plays the role of commutativity.
An algebraic geometric theory can be seen as a close relative of an algebraic stack. In particular, it will have a moduli stack of models, which should often be an ‘algebraic stack’, e.g. an Artin stack.
The category of coherent sheaves on a stack, in the more usual sense of the word ‘stack’, should be an example of an algebraic geometric theory.
To see how the above definitions tie in to existing notions, it is good to consider some examples:
Example: Suppose is a projective algebraic variety over a field , and let be the category of coherent sheavesf -modules over . Then is an algebraic stack. The idea here is that we are thinking of as a kind of stand-in for . Indeed, for an affine algebraic variety we can use the commutative ring of algebraic functions as a stand-in for . For a projective variety there are not enough functions of this sort. However, there are plenty of coherent sheaves, and the category of such sheaves is a categorified version of a commutative ring.
Example: More generally suppose is a scheme over the commutative ring , and let be the category of coherent sheaves of -modules over . Then is an algebraic geometric theory. (Need to check that this is really true: reference?)
Example: Let be an algebraic group over the field , and let be the category of finite-dimensional representations of . Then is an algebraic stack. Unlike the previous examples, this example is really ‘stacky’. In other words: instead of standing in for a set with extra structure, now is standing in for a groupoid with extra structure, namely the one-object groupoid .
Example: More generally, let be an group scheme over the commutative ring , and let be the category of representations of on finitely generated -modules. Then is again an algebraic stack. (Need to check that this is really true: reference?)
Example: More generally than all the examples above, let be an Artin stack over the commutative ring , and let be the category of coherent sheaves of -modules over . Then is an algebraic stack. (Need to check that this is really true: reference?)
Here are some examples of a more syntactic nature, where it would be nice to describe an algebraic geometric theory using a ‘sketch’.
Example: The theory of an object should be the free symmetric monoidal cocomplete -linear category on one object . The category of morphisms from this to any algebraic geometric theory should be equivalent to itself.
Example: The theory of a strongly -dimensional object. Here we take the previous theory and adjoin an isomorphism where is the unit object. Conjecture: working over , this is the same as the category of finite-dimensional algebraic representations of the affine algebraic group scheme . This is probably called by some people.
Example: The theory of nothing is the category of finitely generated -modules, . This is the initial algebraic geometric theory, since for any algebraic geometric theory there is a morphism sending to the unit object in .
Here are some examples from number theory:
Example: Let be the profinite completion of the absolute Galois group of . The category of torsors of this is equivalent to the category of algebraic closures of .
The category of representations of on finitely presented -modules is an algebraic geometric theory, say . Any object of is a representation of some finite quotient of on a finitely generated -module. And any of these objects has an -function.