4 The existence theorem and the formal theory of modules

Grothendieck, A. “Technique de descente et théorèmes d’existence en géométrie algébrique, II: Le théorème d’existence et théorie formelle des modules”. Séminaire Bourbaki 12 (1959–60), Talk no. 195.

([Trans.] Sections 4.1 to 4.5 were numbered A.1 to A.5 in the original; sections 4.6 to 4.10 were numbered C.1 to C.5.)

A. Representable and pro-representable functors

4.1 Representable functors

Let {\mathcal{C}} be a category. For all X\in{\mathcal{C}}, let h_X be the contravariant functor from {\mathcal{C}} to the category \mathtt{Set} of sets given by \begin{aligned} h_X\colon {\mathcal{C}} &\to \mathtt{Set} \\Y&\mapsto \operatorname{Hom}(Y,X). \end{aligned} If we have a morphism X\to X' in {\mathcal{C}}, then this evidently induces a morphism h_X\to h_{X'} of functors; h_X is a covariant functor in X, i.e. we have defined a canonical covariant functor h\colon {\mathcal{C}} \to \operatorname{Hom}({\mathcal{C}}^o,\mathtt{Set}) from {\mathcal{C}} to the category of covariant functors from the dual {\mathcal{C}}^o of {\mathcal{C}} to the category of sets. We then recall:

This functor h is faithfully flat; in other words, for every pair X,X' of objects of {\mathcal{C}}, the natural map \operatorname{Hom}(X,X') \to \operatorname{Hom}(h_X,h_{X'}) is bijective.

In particular, if a functor F\in\operatorname{Hom}({\mathcal{C}}^o,\mathtt{Set}) is isomorphic to a functor of the form h_X, then X is determined up to unique isomorphism. We then say that the functor F is representable. The above proposition then implies that the canonical functor h defines an equivalence between the category {\mathcal{C}} and the full subcategory of \operatorname{Hom}({\mathcal{C}}^o,\mathtt{Set}) consisting of representable functors. This fact is the basis of the idea of a “solution of a universal problem”, with such a problem always consisting of examining if a given (contravariant, as here, or covariant, in the dual case) functor from {\mathcal{C}} to \mathtt{Set} is representable. Note further that, even by the definition of products in a category [10], the functor h\colon X\mapsto h_X commutes with products whenever they exist (and, more generally, with finite or infinite projective limits, and, in particular, with fibred products, taking “kernels” [11], etc., whenever such things exist): we have an isomorphism of functors h_{X\times X'} \xrightarrow{\sim}h_X\times h_{X'} whenever X\times X' exists, i.e. we have functorial (in Y) bijections h_{X\times X'} \xrightarrow{\sim}h_X(Y)\times h_{X'}(Y). In particular, the data of a morphism X\times X' \to X'' in {\mathcal{C}} (i.e. of a “composition law” in {\mathcal{C}} between X, X', and X'') is equivalent to the data of a morphism h_{X\times X'}=h_X\times h_{X'}\to h_{X''}, i.e. to the data, for all Y\in{\mathcal{C}}, of a composition law of sets h_X(Y)\times h_{X'}(Y) \to h_{X''}(Y) such that, for every morphism Y\to Y' in {\mathcal{C}}, the system of set maps h_{X^{(i)}}(Y) \to h_{X^{(i)}}(Y') \qquad\text{(for }i=0,1,2\text{)} is a morphism for the two composition laws, with respect to Y and Y'. In this way, we see that the idea of a “{\mathcal{C}}-group” structure, or a “{\mathcal{C}}-ring” structure, etc. on an object X of {\mathcal{C}} can be expressed in the most manageable way (in theory as much as in practice) by saying that, for every Y\in{\mathcal{C}}, we have a group law (resp. ring law, etc.) in the usual sense on the set h_X(Y), with the maps h_X(Y)\to h_X(Y') corresponding to morphisms Y\to Y' that should be group homomorphisms (resp. ring homomorphisms, etc.). This is the most intuitive and manageable way of defining, for example, the various classical groups \operatorname{G_a}, \operatorname{G_m}, \operatorname{GL}(n), etc. on a prescheme S over an arbitrary base, and of writing the classical relations between these groups, or of placing a “vector bundle” structure on the affine scheme V({\mathscr{F}}) over S defined by a quasi-coherent sheaf {\mathscr{F}}, and of defining and studying the many associated flag varieties (Grassmannians, projective bundles), etc.; the general yoga is purely and simply identifying, using the canonical functor h, the objects of {\mathcal{C}} with particular contravariant functors (namely, representable functors) from {\mathcal{C}} to the category of sets.

The usual procedure of reversing the arrows that is necessary, for example, in the case of affine schemes in order to pass from the geometric language to the language of commutative algebra, leads us to dualise the above considerations, and, in particular, to also introduce covariant representable functors {\mathcal{C}}\to\mathtt{Set}, i.e. those of the form Y\mapsto\operatorname{Hom}(X,Y)=h'_X(Y).

4.2 Pro-representable functors, pro-objects

Let {\mathcal{X}}=(X_i)_{i\in I} be a projective system of objects of {\mathcal{C}}; there is a corresponding covariant functor h'_{{\mathcal{X}}} = \varinjlim_i h'_{X_i} which can be written more explicitly as h'_{{\mathcal{X}}}(Y) = \varinjlim_i h'_{X_i}(Y) = \varinjlim_i\operatorname{Hom}(X_i,Y) which is a functor from {\mathcal{C}} to \mathtt{Set}. A functor from {\mathcal{C}} to \mathtt{Set} that is isomorphic to a functor of this type with I filtered is said to be pro-representable. By the previous section, these are exactly the functors that are isomorphic to filtered inductive limits of representable functors. Let {\mathcal{X}}'=(X_j)_{j\in J} be another filtered projective system in {\mathcal{C}} (indexed by another filtered pre-ordered set of indices J). Then we can easily show that we have a canonical bijection \operatorname{Hom}(h_{{\mathcal{X}}'},h_{{\mathcal{X}}}) = \varprojlim_j\varinjlim_i\operatorname{Hom}(X_i,X'_j) (generalising §A, Proposition 1). This leads to introducing the category \operatorname{Pro}({\mathcal{C}}) of pro-objects of {\mathcal{C}}, whose objects are projective systems of objects of {\mathcal{C}} (indexed by arbitrary filtered pre-ordered sets of indices), and whose morphisms between objects {\mathcal{X}}=(X_i)_{i\in I} and {\mathcal{X}}'=(X_j)_{j\in J} are given by \operatorname{Pro}\operatorname{Hom}({\mathcal{X}},{\mathcal{X}}') = \varprojlim_j\varinjlim_i\operatorname{Hom}(X_i,X'_j), with the composition of pro-homomorphisms being evident. By the very construction itself, {\mathcal{X}}\mapsto h'_{{\mathcal{X}}} can be considered as a contravariant functor in {\mathcal{X}}, establishing an equivalence between the dual category of the category \operatorname{Pro}({\mathcal{C}}) of pro-objects of {\mathcal{C}} and the category of pro-representable covariant functors from {\mathcal{C}} to \mathtt{Set}. Of course, an object X of {\mathcal{C}} canonically defines a pro-object, denoted again by X, so that {\mathcal{C}} is equivalent to a full subcategory of \operatorname{Pro}({\mathcal{C}}). Then, if {\mathcal{X}}=(X_i)_{i\in I} is an arbitrary pro-object of {\mathcal{C}}, then (with the above identification) we have that {\mathcal{X}} = \varprojlim_i X_i with the projective limit being taken in \operatorname{Pro}({\mathcal{C}}) (since h_{{\mathcal{X}}}=\varinjlim_i h_{X_i}).

We draw attention to the fact that, even if the projective limit of the X_i exists in {\mathcal{C}}, it will generally not be isomorphic to the projective limit {\mathcal{X}} in \operatorname{Pro}({\mathcal{C}}), as is already evident in the case where {\mathcal{C}} is the category of sets. We note that, by the definition itself, \varprojlim{}_{{\mathcal{C}}}X_i=L is defined by the condition that the functor \varprojlim_i\operatorname{Hom}_{{\mathcal{C}}}(Y,X_i)=\operatorname{Hom}_{\operatorname{Pro}({\mathcal{C}})}(Y,{\mathcal{X}}) in Y\in{\mathcal{C}} and with values in \mathtt{Set} be representable via {\mathcal{L}}, i.e. that it be isomorphic to \operatorname{Hom}_{{\mathcal{C}}}(Y,{\mathcal{L}}); then \lim{}_{{\mathcal{C}}}X_i is already defined in terms of the pro-object {\mathcal{X}}, and, in a precise way, depends functorially on the pro-object {\mathcal{X}} whenever it is defined; there is therefore no problem with denoting it by \lim{}_{{\mathcal{C}}}({\mathcal{X}}). If projective limits in {\mathcal{C}} always exist, then \lim{}_{{\mathcal{C}}}({\mathcal{X}}) is a functor from \operatorname{Pro}({\mathcal{C}}) to {\mathcal{C}}, and there is a canonical homomorphism of functors \lim_{\mathcal{C}}({\mathcal{X}})\to{\mathcal{X}}. Since every (covariant, say, for simplicity) functor F\colon {\mathcal{C}} \to {\mathcal{C}}' can be extended in an obvious way to a functor \operatorname{Pro}(F)\colon \operatorname{Pro}({\mathcal{C}}) \to \operatorname{Pro}({\mathcal{C}}'), it follows that, if projective limits always exist in {\mathcal{C}}', then F also canonically defines a composite functor \overline{F} = \varprojlim{}_{{\mathcal{C}}'}\colon \operatorname{Pro}({\mathcal{C}}) \to {\mathcal{C}}' sending {\mathcal{X}}=(X_i)_{i\in I} to \varprojlim{}_{{\mathcal{C}}'}F(X_i).

A pro-object {\mathcal{X}} is said to be a strict pro-object if it is isomorphic to a pro-object (X_i)_{i\in I}, where the transition morphisms X_i\to X_j are epimorphisms; a functor defined by such an object is said to be strictly pro-representable. We can thus further demand that I be a filtered ordered set, and that every epimorphism X_i\to X' be equivalent to an epimorphism X_i\to X_j for some suitable j\in I (uniquely determined by this condition). Under these conditions, the projective system (X_i)_{i\in I} is determined up to unique isomorphism (in the usual sense of isomorphisms of projective systems). It thus follows that the projective limit of a projective system {\mathcal{X}}^{(\alpha)} of strict pro-objects always exists in \operatorname{Pro}({\mathcal{C}}), and that, with the above notation of F and \overline{F}, we have that \overline{F}\varprojlim_\alpha{\mathcal{X}}^{(\alpha)} = \varprojlim_\alpha{}_{{\mathcal{C}}'}F(X^{(\alpha)}). In particular, if every pro-object of {\mathcal{C}} is strict (cf. the previous section), then the extended functor \overline{F} commutes with projective limits.

4.3 Characterisation of pro-representable functors

Let {\mathcal{C}} and {\mathcal{C}}' be categories in which all finite projective limits (i.e. limits over finite, not necessarily filtered, pre-ordered sets) exist, or, equivalently, in which finite products and finite fibred products exist (which implies, in particular, the exists of a “right-unit object” e such that \operatorname{Hom}(X,e) consists of only on element for all X). Let F be a covariant functor from {\mathcal{C}} to {\mathcal{C}}'. Then the following conditions are equivalent:

  1. F commutes with finite projective limits;
  2. F commutes with finite products and with finite fibred products;
  3. F commutes with finite products, and, for every exact diagram X\to X'\rightrightarrows X'' in {\mathcal{C}} (cf. [12]), the image of the diagram under F F(X)\to F(X')\rightrightarrows F(X'') is exact.

We then say that F is left exact.

In what follows, we assume that finite projective limits always exist in {\mathcal{C}}. It is then immediate from the definitions that a representable functor is left exact, and, by taking the limit, that a pro-representable functor is left exact.

To obtain a converse, let F\colon {\mathcal{C}} \to \mathtt{Set} be a covariant functor, and let X\in{\mathcal{C}} and \xi\in F(X). We say that \xi (or the pair (X,\xi)) is minimal if, for all X'\in{\mathcal{C}} and all \xi'\in F(X'), and for every strict monomorphism (cf. [12]) u\colon X'\to X such that \xi=F(u)(\xi'), u is an isomorphism. We also say that a pair (X,\xi) dominates (X'',\xi'') (where xi\in F(X) and \xi''\in F(X'')) if there exists a morphism v\colon X\to X'' such that \xi''=F(v)(\xi); if \xi is minimal, and if F is left exact, then this morphism v is unique; if \xi'' is minimal, then v is surjective. From this we easily deduce the following proposition:

For F to be strictly pro-representable, it is necessary and sufficient for it to satisfy the following two conditions:

  1. F is left exact; and
  2. every pair (X,\xi), with \xi\in F(X), is dominated by some minimal pair.

This second condition is trivial if every object of {\mathcal{C}} is Artinian (by taking a sub-object X' of X that is minimal amongst those for which there exists some \xi'\in F(X') such that \xi is the image of \xi'). Whence:

Let {\mathcal{C}} be a category whose objects are all Artinian and in which all finite projective limits exist. Then the pro-representable functors from {\mathcal{C}} to \mathtt{Set} are exactly the left exact functors, and they are in fact strictly pro-representable.

This last fact also implies that every pro-object of {\mathcal{C}} is then strict.

4.4 Example: groups of Galois type, pro-algebraic groups

If {\mathcal{C}} is the category of ordinary finite groups, then \operatorname{Pro}({\mathcal{C}}) is equivalent to the category of totally disconnected compact topological9 groups. It is groups of this type, and their generalisations, obtained by replacing ordinary finite groups with schemes of finite groups over a given base prescheme (for example, finite algebraic groups over a field k), that serve as fundamental groups, homotopy groups, and absolute and relative homology groups for preschemes. In all these examples, the corollary to Proposition 3.1 applies, and it is indeed by the associated functor that the \pi_1 should be defined [11]. It is the same if we start with the category of algebraic or quasi-algebraic groups over a field (or, more generally, over a Noetherian prescheme): we recover the “pro-algebraic groups” of Serre [26].

4.5 Example: “formal varieties”

Let \Lambda be a Noetherian ring, {\mathcal{C}} the category of \Lambda-algebras that are Artinian modules of finite type over \Lambda (or, more concisely, Artinian \Lambda-algebras). The conditions of the corollary to Proposition 3.1 are then satisfied. Here, the category \operatorname{Pro}({\mathcal{C}}) is equivalent to the category of topological algebras O over \Lambda that are isomorphic to topological projective limits O = \varprojlim O_i of algebras O_i\in{\mathcal{C}}, i.e. those whose topology is linear, separated, and complete, and such that, for every open ideal {\mathfrak{J}}_i of O, the algebra O/{\mathfrak{J}}_i is an Artinian algebra over \Lambda. The functor {\mathcal{C}}\to\mathtt{Set} associated to such an algebra is exactly \begin{aligned} F(A) &= h'_{O}(A) \\&= \{\text{continuous homomorphisms of topological }\Lambda\text{-algebras }O\to A\} \\&= \varinjlim_i \operatorname{Hom}_{\Lambda\text{-algebras}}(O_i,A). \end{aligned} Note also that the category {\mathcal{C}} is essentially the product of analogous categories, corresponding to the local rings that are the completions of the \Lambda_{{\mathfrak{m}}} for the maximal ideals {\mathfrak{m}} of \Lambda; we can thus, if so desired, restrict to the case where A is such a complete local ring. In any case, O decomposes canonically as the topological product of its local components, which correspond to the “points” of the formal scheme [11] defined by O. Such a point is defined by an object \xi of some F(K), where K\in{\mathcal{C}} is a field (for example, the residue field of the local component in question), and where two pairs (\xi,K) and (\xi',K') define the same point if and only if they are both dominated by the same (\xi'',K''), or if they both dominate the same (\xi''',K'''). (If the \Lambda/{\mathfrak{m}} are algebraically closed, then it suffices to take the set given by the sum of the F(\Lambda/{\mathfrak{m}})).

It is important to give conditions that ensure that the local component O_\xi of O corresponding to some \xi\in F(K) be a Noetherian ring. If \Lambda is a complete local ring (Noetherian, we recall), then it is equivalent to say that O_\xi is isomorphic to a quotient ring of a formal series ring \Lambda[[t_1,\ldots,t_n]]. To give such a criteria, we introduce (for every ring A) the A-algebra I_A of “dual numbers” of A, defined by I_A = A[t]/t^2A[t]. Let \varepsilon\colon I_A\to A be the augmentation homomorphism, which defines (if A\in{\mathcal{C}}) a map F(\varepsilon)\colon F(I_A) \to F(A). Using the fact that F is left exact, we intrinsically define the structure of an A-module on the subset F(I_A,\xi) = F(\xi)^{-1}(\xi) \subset F(I_A) consisting of the \xi'\in F(I_A) that are “reducible along \xi”; using the explicit form of F in terms of O, we find that this K-module can be identified with \operatorname{Hom}_\Lambda({\mathfrak{m}}_\xi/{\mathfrak{m}}_\xi^2,A, where m_\xi is the kernel of the homomorphism \xi\colon O\to A, i.e. if A is a field, then the maximal ideal of the local component O_\xi of O. From this, we immediately deduce the following proposition:

Let \xi\in F(K), where K\in{\mathcal{C}} is a field. For the corresponding local component O_\xi of O to be a Noetherian ring, it is necessary and sufficient for the set F(I_K,\xi) of elements of F(I_K) that are reducible along \xi to be a vector space of finite dimension over K. Under these conditions, we have a canonical isomorphism F(I_K,\xi) = \operatorname{Hom}({\mathfrak{m}}_\xi/{\mathfrak{m}}_\xi^2+{\mathfrak{n}}_\xi{\mathscr{O}}_\xi, K) (where {\mathfrak{n}}_\xi is the maximal ideal of \Lambda given by the kernel of the homomorphism \Lambda\to K), and so, in particular, the dimension of the K-vector space F(I_K,\xi) is equal to the dimension of the vector space {\mathfrak{m}}_\xi/{\mathfrak{m}}_\xi^2 over the field O_\xi/{\mathfrak{m}}_\xi=K(\xi).

[Comp.] The formula given above is only correct when \Lambda is a field; in the general case, we must replace {\mathfrak{m}}_\xi/{\mathfrak{m}}_\xi^2 with the quotient of this space by the image of {\mathfrak{n}}_\xi/{\mathfrak{n}}_\xi^2, where {\mathfrak{n}} is the maximal ideal of \Lambda.

Suppose that O_\xi is Noetherian, and suppose, for notational simplicity, that \Lambda is complete and local, and that O=O_\xi. ([Comp.] The following definition is correct only when the residue extension k'/k is separable; for the general case, see SGA III, 1.1.) We say that O is simple over \Lambda if O is a finite and étale algebra over the completion algebra of the localisation of \Lambda[t_1,\ldots,t_n] at one of its maximal ideals that induces the maximal ideal of \Lambda; if the residue extension of O over \Lambda is trivial (for example, if the residue field of \Lambda is algebraically closed), then this is equivalent to saying that O itself is isomorphic to such a formal series algebra. Finally, if we no longer necessarily suppose that O is Noetherian, then we again say that O is simple over \Lambda if O is isomorphic to a topological projective limit of quotient \Lambda-algebras that are Noetherian and \Lambda-simple in the above sense. We can immediately generalise to the case where \Lambda and O are no longer assumed to be local. With this, we have the following proposition:

For O to be simple over \Lambda, it is necessary and sufficient for the associated functor F to send epimorphisms to epimorphisms.

If this is the case, then this implies that, for every surjective homomorphism A\to A' in {\mathcal{C}}, the morphism F(A)\to F(A') is also surjective. Of course, it suffices to verify this condition in the case where A is local, and (proceeding step-by-step) where the ideal of A given by the kernel of A\to A' is annihilated by the maximal ideal of A. This leads, in practice, to verifying that a certain obstruction, linked to infinitesimal invariants of the situation that give us a functor F, is null; this is a problem of a cohomological nature.

To finish, we say some words, in the above context, about rings of definition. Let F still be a functor from {\mathcal{C}} to \mathtt{Set}, assumed to be pro-representable via a topological \Lambda-algebra O. Then, for every A\in{\mathcal{C}} and every \xi\in F(A), there exists a smallest subring A' of A such that \xi is the image of an element \xi' of F(A') (which is then uniquely determined): indeed, it suffices to think of \xi as a homomorphism from O to A, and to take A' to be the image of O under this \xi. We then say that A' is the ring of definition of the object \xi\in F(A). If u\colon A\to B is an algebra homomorphism, and if \eta=F(u)(\xi), then the ring of definition of \eta is the image under u of the ring of definition of \xi. If we start with a functor F from {\mathcal{C}} to \mathtt{Set}, then the existence of rings of definition, along with their properties that we have just discussed, is more or less equivalent to the condition that F be pro-representable; that is, they are usually far from being trivial.

B. The two existence theorems

Keeping the notation of §A.5, and, given a covariant functor F\colon {\mathcal{C}} \to \mathtt{Set}, we wish to find manageable criteria for F to be pro-representable, i.e. expressible via a \Lambda-algebra O as above. By the corollary of Proposition 3.1, to ensure this, it is necessary and sufficient for F to be left exact. In the current state of the technique of descent (cf. the questions asked in [12]), this criterion is not directly verifiable, in this form, in the most important cases, and we need criteria that seem less demanding.

For the functor F to be pro-representable, it is necessary and sufficient for it to satisfy the two followings conditions:

  1. F commutes with finite products;
  2. for every algebra A\in{\mathcal{C}} and every homomorphism A\to A' in {\mathcal{C}} such that the diagram A \to A' \rightrightarrows A'\otimes_A A' is exact (cf. [12]), the diagram F(A) \to F(A') \rightrightarrows F(A'\otimes_A A') is also exact.

Furthermore, it suffices to verify condition (ii) in the case where A is local, and when, further, we are in one of the two following cases:

  1. A is a free module over A;
  2. the quotient module A'/A is an A-module of length 1.

The proof of this theorem is rather delicate, and cannot be sketched here. We content ourselves with pointing out that it relies essentially on a study of equivalence relations (in the sense of categories) in the spectrum of an Artinian algebra (the study of which poses even more problems, whose solutions seems essential for the further development of the theory).

In applications, the verification of condition (i) is always trivial. The verification of condition (ii) splits into two cases: case (a), where A' is a free A-module, can be dealt with using the technique of descent by flat morphisms (cf. [12]), which offers no difficulty; to deal with case (b), we will use the following result:

Let A be a local Artinian ring with maximal ideal {\mathfrak{m}}, and let A' be an A-algebra containing A, and such that {\mathfrak{m}}A'\subset A, and A\to A'\rightrightarrows A'\otimes_A A' is exact (which is the case, in particular, if A'/A is an A-module of length 1). Let {\mathcal{F}} be the fibred category (cf. [12]) of quasi-coherent sheaves that are flat over varying preschemes. Then the morphism \operatorname{Spec}(A')\to\operatorname{Spec}(A) is a strict {\mathcal{F}}-descent morphism (cf. [12]).

In other words, the data of a flat A-module M is completely equivalent to the data of a flat A'-module M' endowed with an (A'\otimes_A A')-isomorphism from M'\otimes_A A' to A'\otimes_A M' satisfying the usual transitivity condition for a descent data (loc. cit.).

We prove Theorem 2 by first proving that \operatorname{H}^i(A'/A,\operatorname{G_a}) = 0 \qquad\text{(for }i\geqslant 1\text{)} (cf. [12]), with the hypothesis that {\mathfrak{m}}A'\subset A allowing us to easily reduce to the case where A is a field (namely A/{\mathfrak{m}}). We can then apply the equivalences described in [12].

C. Applications to some particular cases

4.6 General remarks on functors represented by preschemes

Let S be a locally Noetherian prescheme. A prescheme X over S is said to be locally of finite type over S if, for all x\in X that project to y\in Y, there exists an affine neighbourhood of y of ring A, and an affine neighbourhood of x (over the aforementioned affine neighbourhood of y) of ring B, such that B is an A-algebra of finite type. There are many important examples of preschemes locally of finite type over S, that are not of finite type over S, given by solutions of classical universal problems; thus it is important to be able to consider the Picard scheme of a curve as a union of infinitely-many connected components (that we must avoid confusing with the connected component of the identity element, i.e. the “Picard variety”). It is thus sometimes useful to place ourselves in the category {\mathcal{C}} of preschemes locally of finite type over S, in order to study the question of representability of a contravariant functor F. The main goal of these exposés is to develop a general technique that allows us to recognise when such a functor F is representable, and to study the properties of the corresponding S-prescheme X by means of the properties of F. We note in passing that, in this study, we find non-pathological examples of preschemes over S that are not separated over S, notably as “Picard preschemes” of excellent S-schemes; we must thus refrain from banishing preschemes that are not schemes from algebraic geometry.

Let X be a prescheme locally of finite type over S, and let F\colon Y \mapsto \operatorname{Hom}_S(Y,X) be the associated contravariant functor. We can consider the restriction F_0 of F to the subcategory {\mathcal{C}}_0 of {\mathcal{C}} consisting of preschemes Y over S that are Artinian and finite over S: if S=\operatorname{Spec}(\Lambda), then {\mathcal{C}}_0 is the category dual to the category of Artinian \Gamma-algebras considered in §B. If Y=\operatorname{Spec}(A), where A is a local Artinian ring, then Y consists of a single point y living above a closed point s of S, and an S-homomorphism from Y to X (i.e. an element of F(Y)) is defined by the data of a point x\in X over s, along with an {\mathscr{O}}_s-homomorphism from {\mathscr{O}}_x to A. If there exists such a homomorphism, then x is necessarily a closed point of X (since its residue field is algebraic over the residue field of s). This thus shows that the restriction F_0 of F to “Artinian Y-algebras” is pro-representable, and is represented by the topological Y-algebra whose local components are the completions \widehat{{\mathscr{O}}_x} of the local rings of X at the points x of X that are closed and live above closed points of Y. This shows that only knowing F_0 gives precise information about the structure of X (that is, the structure of the completions of its local rings at the aforementioned points). We note that, even in the case where S is the spectrum of an algebraically closed field, it is only thanks to the systematic consideration of “varieties” Y such that {\mathscr{O}}_Y may admit nilpotent elements (and, in particular, working with the spectra of local Artinian rings) that we can arrive at the “good formulation” of classical universal problems, and understand the “infinitesimal” aspect.

If we start with a given functor F, and we want to know whether or not it is representable, then studying the functor F_0 (using Theorem 1 and Theorem 2) will give quasi-complete hints; either, as is often the case (by simply testing, for example, the nature of the sets F(I_K,\xi) and their functorial behaviour, cf. §A), F_0 is already not pro-representable (which explains the failure of attempts made up until now to define varieties of modules in a reasonably natural way for the classification of vector bundles of rank >1); or we might be able to show that F_0 is indeed representable, but that that vector spaces F(I_K,\xi) are not of finite dimension, in which case we must be content with the “formal” solution; or it could be the case that F_0 is indeed representable by a product of complete Noetherian local rings, which gives very strong assumptions for F itself to be representable, and, combined with the analogous properties (but of a more global nature) that we will later develop, will in all likelihood suffice to imply that it is indeed so. Finally, we come across interesting geometric problems (see sections §C.4 and §C.5 below) where we have only the functor F_0 (not coming from any “global” functor F), and where we will consider ourselves content if we can associate to it a “formal scheme of modules”.

To finish these generalities, we note how the theory of schemes explains some apparent anomalies, such as the Igusa surface V whose “Picard variety” P consists of a single point, and for which, however, \operatorname{H}^1(V,{\mathscr{O}}_V)\neq0; in this case, P is a non-trivial “purely infinitesimal” group, i.e. defined by a local algebra {\mathscr{O}} of finite rank over the base field k and endowed with a diagonal map corresponding to the multiplicative structure of P; if {\mathfrak{m}} is the maximal ideal of {\mathscr{O}}, then the dual of {\mathfrak{m}}/{\mathfrak{m}}^2 is canonically isomorphic to \operatorname{H}^1(V,{\mathscr{O}}_V) (cf. section §C.3 below). It is only when the Picard group is an algebraic group in the classical sense (i.e. simple over the base field k) that the dimension of \operatorname{H}^1(V,{\mathscr{O}}_V) (which is always equal to that of {\mathfrak{m}}/{\mathfrak{m}}^2) is equal to that of the Picard group.

4.7 The schemes \operatorname{Hom}_S(X,Y), \prod_{X/S}Z, \underline{\operatorname{Aut}}(X), etc.

Let X and Y be preschemes over S; for every prescheme T over S, let X_T=X\times_S T and Y_T=Y\times_S T, and consider the set F(T) = \operatorname{Hom}_T(X_T,Y_T) = \operatorname{Hom}_S(X_T,Y) = \operatorname{Hom}_S(X\times_S T,Y) as a contravariant functor in T. If it is representable, then we denote by \underline{\operatorname{Hom}}_S(X,Y) the prescheme over S that represents it, and we then have a functorial isomorphism \operatorname{Hom}_S(T,\underline{\operatorname{Hom}}_S(X,Y)) \xrightarrow{\sim}\operatorname{Hom}_S(T\times_S X,Y). There are variants of this universal problem, the solutions to which can be summarised as follows: a prescheme of S-automorphisms of an S-prescheme X (which will be a prescheme in groups), a prescheme of S-homomorphisms from an S-prescheme in groups to another (which will be a prescheme in commutative groups if the latter scheme in groups is commutative), etc. We can also generalise the definition of \underline{\operatorname{Hom}}_S(X,Y) by considering a prescheme Z over the prescheme X over S, and the functor F(T) = \operatorname{Hom}_{X_T}(X_T,Z_T) (the set of “sections” of Z_T over X_T); if this functor is representable, then the S-prescheme that represents it will be denoted by \Pi_{X/S}Z, and we will thus have, by definition, a functorial isomorphism \operatorname{Hom}_S(T,\Pi_{X/S}Z) = \operatorname{Hom}_{X_T}(X_T,Z_T). Setting Z=Y\times_S X, we recover \underline{\operatorname{Hom}}_S(X,Y). From these definitions follows a formula for the new preschemes thus introduced that is as trivial as it is useful, that we will not give here (given that it holds in every category where products and fibred products exist). More serious is the question of existence of schemes of the type \underline{\operatorname{Hom}}_S(X,Y). We note first of all that, for fixed X, \underline{\operatorname{Hom}}_S(X,Y) (resp. \Pi_{X/S}Z) can only exist for all Y over S (resp. for all Z over X) if X is flat over S. Furthermore, we can convince ourselves that it is not reasonable to expect the existence of a solution, for general enough Y, except in the case where X is further proper over S. It seems, however, that these conditions are sufficient for the existence of \underline{\operatorname{Hom}}_S(X,Y) and \Pi_{X/S}Z, with the condition that, if necessary, we make some sort of “quasi-projective” hypothesis on Y/S (resp. Z/X); this is what we can verify anyway in numerous cases (for example, when Y is affine over S, or, by direct elementary constructions, when X is finite over S). Here is what Theorem 1 and Theorem 2 give:

Let \Lambda be a Noetherian ring, and X and Y arbitrary preschemes over \Lambda. Consider the functor F(A) = \operatorname{Hom}_A(X_A,Y_A) on the category {\mathcal{C}}_0 of Artinian \Lambda-algebras. If X is flat over \Lambda, then this functor is pro-representable.

Furthermore, we can show that, for all A\in{\mathcal{C}}_0 and all \xi\in F(A), we have a canonical isomorphism F(I_A,\xi) = \operatorname{H}^1\Big(X_A,\underline{\operatorname{Hom}}_{{\mathscr{O}}_{X_A}}\big(\xi^*(\Omega_{Y_A/A}^1),{\mathscr{O}}_{X_A}\big)\Big) where \Omega_{Y_A/A}^1 is the sheaf of K"{a}hler 1-differentials of Y_A with respect to A. Taking A to be a field, we find, using §A, Proposition 5.1 and the finiteness theorem from [11], the following corollary:

Suppose that X is flat and proper over S, and that Y is of finite type over S. Then F is pro-representable, and the local components of the corresponding topological \Lambda-algebra are Noetherian rings.

The problems considered in this section, and many others, having been generally studied, in the framework of classical algebraic geometry, via the “Chow coordinates” of cycles in projective space, allow us to consider these cycles as points of suitable projective varieties. This procedure, and, more generally, the use of Chow coordinates, seems irredeemably insufficient from the point of view of schemes, since it destroys the nilpotent elements in the parameterised varieties, and, in particular, do not lend themselves to a satisfying study of infinitesimal variations of cycles (without taking its non-intrinsic nature, linked to the projective space, into account). The language of Chow coordinates has sadly been the only one used by many algebraic geometers for the study of families of varieties or families of cycles, which seems to have been a serious obstacle to the understanding of these notions, despite its certain technical interest (probably temporary). If we wish to obtain the analogue of Chow varieties in the theory of schemes, we are led to the following universal problem: let X be a prescheme over S, and, for every prescheme T over S, consider the set F(T) of closed sub-preschemes of X_T=X\times_S T that are flat over T; we want to represent this functor in T via some prescheme over S. More generally, we can start with a quasi-coherent sheaf {\mathscr{G}} on X, and take F(T) to be the set of quotient sheaves of {\mathscr{G}}_T that are flat over T. It seems that there exists a solution to this problem, with a scheme C that is locally of finite type over S, if X is proper over S, if S is locally Noetherian, and if F is furthermore coherent. In any case, supposing only that S is locally Noetherian, the restriction of F to “Artinian S-algebras” is pro-representable, and, if, furthermore, X is proper over S, and F is coherent, then the local components of the corresponding topological ring {\mathscr{O}} are Noetherian. Of course, even after having proven the existence of the “Chow scheme” of X over S, it remains to find a decomposition of it into disjoint open subsets C_i (corresponding to fixing continuous invariants, such as degree and dimension of the cycles that we vary) over S, as well as to make precise the relations between this scheme with the classical Chow varieties, and to make precise when a C_i is projective (or at least quasi-projective) over S.

[Comp.] The problems described here are completely resolved in the projective case by “Hilbert schemes” (cf. FGA 3.IV). Examples by Nagata and Hironaka show, however, that the functors described are not necessarily representable if we do not make the projective hypothesis, even if we restrict to the classification of subvarieties of dimension 0 of a complete non-singular variety of dimension 3; this is linked to the fact that the symmetric square of such a variety does not necessarily exist.

4.8 Picard schemes

[Comp.] For a more complete study, see FGA 3.V.

Let f\colon X\to S be an S-prescheme, and consider the multiplicative sheaf {\mathscr{O}}_X^* of units of the structure sheaf of X, along with the group P(X/S) = \operatorname{H}^0(S,\operatorname{R}^1f_*({\mathscr{O}}_X^*)), called the relative Picard group of X/S. An element of this group is thus defined by giving an open cover (U_i) of S, along with an invertible sheaf {\mathscr{L}}_i on each f^{-1}(U_i), such that {\mathscr{L}}_i|f^{-1}(U_i\cap U_j) is isomorphic to {\mathscr{L}}_j|f^{-1}(U_i\cap U_j) for all i,j, or, at least locally over U_i\cap U_j (i.e. these two sheaves are “equivalent” in the sense of [12]). If X/S admits a section, then P(X/S) is exactly the set of classes of invertible sheaves on X/S up to “equivalence” (loc. cit.). We now set, for all T over S, F(T) = P(X_T/T) which gives a covariant functor in T, that we call the Picard functor of X/S; if this functor is representable, then the prescheme over S that represents it is called the Picard prescheme of X/S, and denoted by {\mathscr{P}}(X/S). In this case, we then have an isomorphism of functors: \operatorname{Hom}_S(T,{\mathscr{P}}(X/S)) \xrightarrow{\sim}P(X_T/T). Taking the Picard prescheme is compatible with extension of the base, and, in particular, the Picard preschemes of the fibres of X over S (which are preschemes over the residue fields K(s) of the s\in S) are the fibres of {\mathscr{P}}(X/S). Of course, since P(X_T/T)=F(T) is a commutative group, the Picard preschemes are preschemes in groups. Note as well that the generalised Jacobians of Rosenlicht are exactly the connected components of the identity in the Picard schemes of complete curves (possibly with singularities), which should make most of their properties clear (once their existence has been proven).

The definition adopted here is only reasonable when every point of Y admits an open neighbourhood U over which X admits a section. In the general case, it is necessary to slightly modify the definition of the Picard functor in order to still obtain an existence theorem.

Here, the plausible existence conditions for a Picard prescheme are the following: X is proper and flat over S; f_*({\mathscr{O}}_X)={\mathscr{O}}_S; and X locally admits a section over S. This condition naturally arises in the application of the technique of descent, in eliminating the automorphisms of an invertible sheaf {\mathscr{L}} on X by endowing them with a marked section over the section s ([12]). Notably, we find the following:

Suppose that X is flat over S=\operatorname{Spec}(\Lambda), where \Lambda is Noetherian, and suppose that, for all T of finite type over S, we have {f_T}_*({\mathscr{O}}_{X_T})={\mathscr{O}}_T (if f is proper and separable and has separable fibres, or if S is the spectrum of a field, then it follows from K"{u}nneth that the latter condition is equivalent to f_*({\mathscr{O}}_X)={\mathscr{O}}_S). Then the Picard functor of X/S on the category of Artinian \Lambda-algebras is pro-representable.

Furthermore, we then have F(I_A,\xi) = \operatorname{H}^1(X_A,{\mathscr{O}}_{X_A}), and, in particular:

If X is proper over S, then the local components of the topological \Lambda-algebra corresponding to the Picard functor are Noetherian.

We can generalise the definitions and results from this section to the classification of principal bundles on X, with structure group G being a scheme in groups over S that is affine and flat over S, and also commutative. In the case where G would not be commutative, and thus where the adjoint bundle in groups of a principal bundle (whose sections of the automorphisms of the principal bundle) would no longer be trivial, Proposition 3.1 no longer holds true as it is stated. We can, however, modify the universal problem in such a way that we again obtain a solution (at least, for now, in formal geometry). The golden rule to remember, in the context of the current section and in the following, and every time we are looking for “schemes of modules” for classes of objects that are only defined up to isomorphism, is always the following: eliminate the possible automorphisms of the objects that we want to classify, by introducing, if necessary, auxiliary structures (points or elements of marked sections, fixing differential forms, etc.) that we take to be insignificant enough that we do not substantially modify the initial problem.

[Comp.] I have recently shown that the formal scheme of modules for an abelian variety over a field is indeed simple over the Witt ring, or, in other words, that every abelian scheme X over a local Artinian ring that is the quotient of another such scheme Y comes, by reduction, from an abelian scheme over Y. The proof simply uses the variance properties of the obstruction class of the covering, introduced in FGA II, p. 12. Recall also that the schemes of modules for curves of genus g or for polarised abelian schemes have been constructed by Mumford (cf. Séminaire Mumford–Tate, Harvard University (1961–62)).

4.9 Formal modules of a variety

Let \Lambda be a local Noetherian ring of residue field k (more often than not, \Lambda will be equal to k, or to a Cohen p-ring), and let X_0 be a prescheme over k. For every local Artinian \Lambda-algebra A, consider the set F(A) of isomorphism classes of A-preschemes X that are flat over A, endowed with an isomorphism

X\otimes_A\mathfrak{K}(A) \xleftarrow{\sim}X_0\otimes_k\mathfrak{K}(A) \tag{$*$}

where \mathfrak{K}(A) is the residue field of A; of course, the isomorphisms between such flat A-preschemes should respect the above isomorphism given in the structure. If A is a (not necessary local) Artinian \Lambda-algebra, with local components A_i, then we take F(A) to be the product of the F(A_i). Then F becomes a multiplicative functor in A, and we call it the functor of modules for X_0 (and \Lambda). If this functor is representable, then it has a corresponding local topological \Lambda-algebra O, of residue field k, and the formal spectrum of O is called the formal scheme of modules for X_0 (and \Lambda) (cf. [11] for some details on this).

Here, if we wish to apply the technique of descent, the “finite” automorphisms of X_0 are inoffensive, since they have no influence on the existence of automorphisms (in the precise sense above) of A-preschemes X; the necessary and sufficient condition, if A is not simply a field, for X to not have any non-trivial A-automorphisms is that \operatorname{H}^0(X_0,{\mathfrak{G}}_{X_0/k}) = 0 where {\mathfrak{G}}_{X_0/k} denotes the sheaf of k-derivations (i.e. the tangent sheaf) of X_0. We can easily show (at least, if X_0 is simple over k) that F(I_A,\xi) = \operatorname{H}^1(X_A,{\mathfrak{G}}_{X_A/A}). We thus conclude, as per usual:

Suppose that \operatorname{H}^0(X_0,{\mathfrak{G}}_{X_0/k})=0. Then the formal scheme of modules for X_0 exists. If, furthermore, X_0 is proper over k, then the formal scheme of modules is Noetherian.

  1. If X_0 is not assumed to be simple over k, then F(I_A,\xi) can be identified with a sub-A-module of \operatorname{Ext}_{{\mathscr{O}}_{P_A}}^1(P_A;{\mathscr{I}}_{X_A},{\mathscr{O}}_{X_A}) where we set P_A=X_A\times_A X_A, where {\mathscr{O}}_{X_A} is considered as a coherent sheaf on P_A via the diagonal morphism X_A\to P_A, and where {\mathscr{I}}_{X_A} denotes the coherent sheaf of ideals on P_A defined by the diagonal morphism. More precisely, an easy globalisation of Hochschild theory shows that the \operatorname{Ext}^1 above can be identified with the set of classes, up to isomorphism, of sheaves of I_A-algebras {\mathscr{O}} that are flat over X_A, and endowed with an augmentation isomorphism {\mathscr{O}}\otimes_{I_A}A\to{\mathscr{O}}_{X_A} (recall that we set I_A=At/(t^2)). The submodule F(I_A,\xi) is that which corresponds to the sheaves of commutative algebras. The simplicity hypotheses are thus not essential in the theory of modules, as [11] implies.

  2. Recall (loc. cit.) that, in particular, every simple and proper algebraic curve X_0 over k admits a formal scheme of modules that is simple over \Lambda, and of relative dimension equal to 3g-3 if the genus g is \geqslant 2, and to g if g=0,1. These two latter cases no longer figure directly in Proposition 4.1. We can, however, recover them in the case of elliptic curves (g=1) thanks to the remarks that will follow.

We can, of course, vary Proposition 4.1 ad libitum by considering systems of schemes over k endowed with various structures. Suppose, for example, that X_0 is an abelian scheme over k, with a marked origin (i.e. X_0 is considered as a scheme in groups over k), and let F(A) be the set of isomorphism classes of abelian schemes over A (i.e. of schemes in groups that are proper and simple over A) endowed with an isomorphism (*) of abelian schemes. We can show that imposing a multiplicative structure (or even only a “unit section”) eliminates the infinitesimal automorphisms, and that there thus exists a formal scheme of modules that corresponds to a complete local Noetherian ring O. We can also show that, if X is a proper and simple scheme with “absolutely connected” fibres over a locally Noetherian prescheme S, then every multiplicative structure on X that admits a unit section is necessarily associative and commutative (provided that it is associative and commutative on one fibre, and provided that S is connected), and is furthermore uniquely determined by the knowledge of the unit section. Further, supposing that S is the spectrum of a local Artinian ring A of residue field k, that X is proper over A and endowed with a section s, and finally that X\otimes_A k is endowed with the structure of an abelian scheme over k, admitting the point of X\otimes_A k corresponding to s as the zero element, an easy calculation of obstructions, combined with an argument due to Serre, allows us to prove that there exists on X a multiplicative structure admitting the section s as the unit section. (From here, using the “existence theorem” of [11] to pass to the case where A is complete local Noetherian, and then the technique of descent from [12] for the general case, we can prove the analogous claim for all locally Noetherian connected S). This proves that the functor F(A) considered here is isomorphic to the analogous functor defined at the start of this section by abstracting the multiplicative structure on X_0. It then follows that, in particular, if {\mathfrak{m}} is the maximal ideal of O, then {\mathfrak{m}}/{\mathfrak{m}}^2 is canonically isomorphic to the dual of \operatorname{H}^1(X_0,{\mathfrak{G}}_{X_0/k}), and is thus of dimension n^2, where n=\dim X_0. It would be very interesting to determine if O is indeed simple over \Lambda, i.e. isomorphic to an algebra of formal series in n^2 variables over \Lambda. Now §A, Proposition 5.2 allows us to give an equivalent formulation of this problem as an existence problem of abelian schemes that are reducible along a given abelian scheme. In any case, we see, by a transcendental way, that the answer is affirmative if k is of characteristic 0. In characteristic p\neq0, it evidently suffices to restrict to the case where \Lambda is the ring of Witt vectors constructed over an algebraically closed field k. This could be the moment for the “Greenberg functor” to prove its worth…

4.10 Extension of coverings

Let {\mathfrak{X}} be a formal Noetherian prescheme [11], U an open subset of {\mathfrak{X}} defined locally by the “non-vanishing” of a section of {\mathscr{O}}_{\mathfrak{X}} that is not a zero divisor (and thus large enough that every section of {\mathscr{O}}_{\mathfrak{X}} over an open subset V that is zero on U\cap V is zero). ([Comp.] It is also necessary to assume that the section defining U is not a zero divisor not only on {\mathfrak{X}}, but also on every X_n.) Let {\mathfrak{J}} be an “ideal of definition” for {\mathfrak{X}}, and let X_n=({\mathfrak{X}},{\mathscr{O}}_{\mathfrak{X}}/{\mathfrak{J}}^{n+1}), which is thus a ordinary Noetherian prescheme. Then, if {\mathfrak{X}}' and {\mathfrak{X}}'' are flat coverings of {\mathfrak{X}} (i.e. preschemes over {\mathfrak{X}} defined by sheaves of algebras that are coherent and locally free as sheaves of modules) that are unramified over U, the evident map \operatorname{Hom}_{\mathfrak{X}}({\mathfrak{X}}',{\mathfrak{X}}'') \to \operatorname{Hom}_{X_0}(X'_0,X''_0) is injective; in particular, an automorphism of {\mathfrak{X}}' that induces the identity on X'_0 is the identity. This allows us to apply the technique of descent to the situation. We start, in particular, with a flat covering X'_0 of X_0, unramified over U_0, and let G({\mathfrak{X}}) be the set of classes, up to isomorphism (inducing the identity on X'_0), of flat coverings {\mathfrak{X}}' of {\mathfrak{X}} that induce X'_0 on X_0 (and that are thus necessarily unramified over U). We similarly define G(V) for every open subset V of {\mathfrak{X}}, and, more generally, G({\mathfrak{Y}}) for every formal prescheme {\mathfrak{Y}} over {\mathfrak{X}}. With this, the results of [11] and [12] imply, first of all, the following results:

  1. If V varies amongst open subset of {\mathfrak{X}}, then the G(V) form a sheaf on {\mathfrak{X}}, say {\mathscr{G}}_{\mathfrak{X}}={\mathscr{G}}. The restriction of this sheaf to U is the constant sheaf whose fibres consist of a single element.

    More generally, describing the fibres of {\mathscr{G}}_{\mathfrak{X}} is a question of complete local rings, in a precise way:

  2. For all x\in{\mathfrak{X}}, we have {\mathscr{G}}_x = G(\operatorname{Spec}({\mathscr{O}}_{{\mathfrak{X}},x})) \subset G(\operatorname{Spec}(\widehat{{\mathscr{O}}}_{{\mathfrak{X}},x})) (i.e. isomorphism classes of finite free algebras B over \widehat{{\mathscr{O}}}_{{\mathfrak{X}},x} endowed with an isomorphism from B\otimes_{\widehat{{\mathscr{O}}}_{{\mathfrak{X}},x}}{\mathscr{O}}_{X_0,x} to (\widehat{{\mathscr{O}}}'_0)_x, where {\mathscr{O}}'_0 is the sheaf of algebras on X_0 that defines X'_0).

  3. We have a canonical isomorphism {\mathscr{G}}_{\mathfrak{X}}=\varprojlim{\mathscr{G}}_{{\mathfrak{X}}_n}; in other words, for every open subset V of {\mathfrak{X}}, we have G(V)=\varprojlim G(V_n).

  4. Suppose that {\mathfrak{X}} comes from an ordinary proper scheme X over a complete local Noetherian ring \Lambda that has ideal of definition {\mathfrak{m}} by taking the {\mathscr{J}}-adic completion of {\mathscr{O}}_X, where {\mathscr{J}}={\mathfrak{m}}\cdot{\mathscr{O}}_X. Then G({\mathfrak{X}}) is canonically isomorphic to the set of classes of flat coverings of the ordinary scheme X that are “reducible along X'_0”.

Figuratively speaking, we can say that (a) and (b) establish the fundamental relations between the local and global aspects of the problem; (c) gives the relations between the “finite” and “infinitesimal” aspects; and finally (d) remembers (under precise conditions) the identity between the “formal” and “algebraic” aspects.

Now suppose that {\mathfrak{X}} is defined by a local complete Noetherian ring \Lambda, with {\mathscr{J}}={\mathfrak{m}}\cdot{\mathscr{O}}_X (and so X_0 is a prescheme over \Lambda/{\mathfrak{m}}). For every algebra A that is finite over \Lambda, we set F(A) = G({\mathfrak{X}}\times_\Lambda A). This is a covariant functor in A, with values in the category of sets, and, by (c), this functor is completely determined by how it acts on Artinian algebras A; it is equivalent to say either that this functor is pro-representable, i.e. of the form F(A) = \operatorname{Hom}_{\text{top. }\Lambda\text{-algebras}}({\mathscr{O}},A) where {\mathscr{O}} is a topological \Lambda algebra of the type described in §A.5, or that this is true when we restrict to only Artinian algebras A. The combination of Theorem 1 and Theorem 2 then effectively implies:

The above functor is pro-representable.

Of course, by (a), if U={\mathfrak{X}}, then G({\mathfrak{Y}}) consists of a single element for all {\mathfrak{Y}} over {\mathfrak{X}}, and the functor F is then not very interesting (we will have {\mathscr{O}}=\Lambda). It seems that, in practically every other case, the topological local ring {\mathscr{O}} is not Noetherian. Its existence, however, shows, in a striking manner, the “continuous” nature of the set G({\mathfrak{X}}) of solutions (corresponding intuitively to the fact that there is a “continuous” choice in the way in which the ramification spreads when we take an extension of X'_0). We will compare this result with the point of view of J.-P. Serre [26] via local class field theory, drawing attention as well to the continuous character of the topological Galois group of the maximal abelian extension of a “geometric” local field, with the dual group (in the sense of Pontrjagin) appearing as an inductive limit of algebraic (or at least quasi-algebraic) groups; here as well, the classification of extensions is given by infinite-dimensional “varieties”. We can also take, in the above, {\mathfrak{X}} to be the formal spectrum of a complete local ring (of which \Lambda will be, for example, a Cohen subring), and we might hope that the results of this section can be used in the study of extensions of a local complete ring of dimension >1. Just as much in the local case as in the global case, they might allow us to formulate precise relations between the phenomena of higher ramification and phenomena in characteristic 0 (approachable via a transcendental way). In any case, it is the preliminary analysis of Proposition 5.1 that allows us to extend the methods described in [11] for the study of the fundamental group to the “tamely ramified” case, and to resolve, by a transcendental way, the “problem of three points”.

To finish, we note that the situation simplifies if X_0 is of dimension 1; then, by (a) and (b), G({\mathfrak{X}}) can be identified with \prod_i G(\operatorname{Spec}({\mathscr{O}}_{{\mathfrak{X}},x_i})), where the x_i are the points of X_0\setminus U: we can take arbitrary “local” extensions at the ramification points. Further, if X_0 is normal, then we note that the formal scheme of modules guaranteed by Proposition 5.1 is simple over \operatorname{Spec}(\Lambda).

References

[10] A. Grothendieck. “Sur quelques points d’algèbre homologique.” Tohoku Math. J. 9 (1957), 119–221.

[11] A. Grothendieck. “Géométrie formelle et géométrie algébrique.” Séminaire Bourbaki. 11 (n.d.), Talk no. 182.

[12] A. Grothendieck. “Technique de descente et théorèmes d’existence en géométrie algébrique, I: Généralités, descente pas morphismes fidèlement plats.” Séminaire Bourbaki. 12 (n.d.), Talk no. 190.

[26] J.-P. Serre. “Corps locaux et isogénies.” Séminaire Bourbaki. 11 (n.d.), Talk no. 185.


  1. [Trans.] Here the word “Hausdorff” is implicit.↩︎