Exposé VII_B. Infinitesimal study: formal groups
by P. Gabriel
B) Formal groups
The study of formal groups is usually of extreme simplicity. If this does not appear clearly in the pages that follow, the responsibility lies with an arithmetician who claims to know formal groups over "something other than fields".2 We have therefore unrolled, for formal groups "locally free over inverse limits of artinian rings", the generalities one ordinarily states for formal groups defined over a field. For a more detailed study of the latter, we refer the reader to the 1964/65 algebraic geometry seminar of Heidelberg–Strasbourg.3
0. Reminders on pseudocompact rings and modules
This paragraph contains a few technical preliminaries; we recall and complete in it some results from [CA] (Des catégories abéliennes, Bull. Soc. Math. France 90, 1962).
0.1.
A left pseudocompact ring is a topological ring with unit element, separated and complete, which possesses a basis of
neighborhoods of 0 consisting of left ideals of finite colength (i.e.
). We shall assume here that is commutative, so that
there is no need to distinguish "between left and right".
In particular, the quotients are artinian rings and is identified with the topological inverse limit of these rings, each endowed with the discrete topology.
A complete noetherian local ring is obviously pseudocompact.4
0.1.1.
Every closed ideal of is the intersection of the open ideals containing it.5 Every closed maximal ideal is therefore open. Moreover, if is an open ideal of , the maximal ideals of are in bijective correspondence with the maximal ideals of containing ; these are therefore both open and closed. Consequently, every closed maximal ideal is an open (and hence closed) maximal ideal; the converse being evident. We denote by the set of these ideals.
If is an open ideal of and if , the localization is therefore a local ring if contains and zero otherwise. Since the ring is artinian, it is a direct product of finitely many local rings, which one can write
A/𝓁 ≃ ∏_{𝔪 ∈ Υ(A)} (A/𝓁)_𝔪.
From this one deduces "canonical" isomorphisms
A ≃ lim_𝓁 (A/𝓁) ≃ lim_𝓁 ∏_𝔪 (A/𝓁)_𝔪 ≃ ∏_𝔪 lim_𝓁 (A/𝓁)_𝔪 ≃ ∏_𝔪 A_𝔪,
where one has set
This local component is a filtered inverse limit of artinian local rings, endowed with the discrete topology; it is therefore a local ring which is pseudocompact for the inverse-limit topology.6
0.1.2.
Let be the intersection of the open maximal ideals of , that is, the cartesian product of the ideals
when one identifies with . For every open
ideal of , the image of in is contained in the radical of . Some
power of this image is therefore zero, so that is contained in when is large enough. The
sequence of therefore tends to 0.
The same holds for the sequence of , when belongs to . In other words, every element of is topologically nilpotent and the converse is clear. It follows that the sequence with general term is convergent and converges to when . This shows that is the Jacobson radical of , i.e., the intersection of all maximal ideals of (cf. Bourbaki, Algèbre, Chap. 8, § 6, th. 1).7
Remarks.8 a) If is an open prime ideal of , then since is artinian, is a maximal ideal. Consequently, equals the set of open prime ideals of .
b) Each is an ideal of definition of , i.e. an open ideal such
that the sequence of tends to 0 (cf. EGA 0_I, 7.1.2). Consequently,
, endowed with the topological ring
, is an affine formal scheme in the sense of (EGA I, 10.1.2).
c) The topological ring is admissible in the sense of (EGA 0_I, 7.1.2) if and only if is open (hence an ideal of definition), and this is the case if and only if is finite. In this case, the affine formal scheme (cf. EGA I, 10.1.2) has , endowed with the discrete topology, as underlying space, and its structure sheaf has as ring of sections on a subset of the product .
d) Let be an arbitrary pseudocompact ring. In 1.1 below, the space is endowed with the discrete topology and with the sheaf of rings whose ring of sections on any subset is . By b), every point then admits an open neighborhood which is an affine formal scheme, so this defines a formal scheme (EGA I, 10.4.2), which we shall denote . (For this formal scheme to be affine, it must be quasi-compact, hence must be finite; in this case, coincides with the definition of (EGA I, 10.1.2)).
0.1.3.
If and are two pseudocompact rings, a homomorphism from to is, by definition, a continuous map compatible with addition, multiplication, and the unit elements. Such a homomorphism sends a topologically nilpotent element of to a topologically nilpotent element of ; it therefore maps the radical of into the radical of .
0.2.
Let be a (commutative) pseudocompact ring. A pseudocompact -module is a topological -module, separated
and complete, which possesses a basis of neighborhoods of 0 consisting of submodules such that is of
finite length over .
If and are two pseudocompact -modules, a morphism from to is by definition a continuous -linear map. We shall denote by the group of these morphisms.
Proposition 0.2.B.9 (i) The pseudocompact -modules form an abelian category, which we shall denote . (In particular, for every morphism , is a complete submodule, hence closed in ).
(ii) The pseudocompact -modules of finite length (whose topology is therefore discrete) form a system of cogenerators of .
(iii) Infinite products and filtered inverse limits are exact, i.e., satisfies axiom .10
For the convenience of the reader, let us briefly indicate the steps of the proof. First, one has the following lemma ([CA] § IV.3, Lemma 1; for the proof, see [BEns], III, § 7.4, th. 1 and example 2):
Lemma 0.2.C. Let be a ring, a filtered ordered set, and two inverse systems of left -modules indexed by . Let be a morphism of inverse systems , such that is surjective with artinian kernel for every . Then the map
lim s_i : lim M_i ⟶ lim N_i
is surjective.
Corollary 0.2.D ([CA] § IV.3, Prop. 10 & 11). Let be a pseudocompact -module.
(i) Let be a closed submodule of . Then , endowed with the quotient topology, is a pseudocompact -module.
(ii) Let be a filtered decreasing family of closed submodules of .
(a) The canonical map is surjective and has kernel .
(b) For every closed submodule of , one has .
Proof. Let be the filtered decreasing family of open submodules of . We endow with the quotient
topology, i.e. a basis of neighborhoods of 0 is formed by the open submodules . Since is closed, it
equals the intersection of the , so the map
τ : M/K ⟶ lim_j M/(K + L_j)
is injective. It is also open, the right-hand side being the inverse limit of the discrete modules . Moreover, for each , the map is surjective with artinian kernel, so by the preceding lemma, the map in the commutative diagram below is surjective:
M ─p─⥲→ lim_j M/L_j
│ │ t
│τ ↓
M/K ─⥲→ lim_j M/(K + L_j).
Since is an isomorphism because is complete, it follows that is surjective, hence is an isomorphism. This proves (i).
Let us prove (ii)(a). By what precedes, one has for every an isomorphism , and so the two horizontal arrows in the commutative diagram below are isomorphisms:
M ─p─⥲→ lim_j M/L_j
│ │ s
│g ↓
lim_i M/M_i ─⥲→ lim_{i,j} M/(M_i + L_j).
Moreover, for each , the family of submodules admits a smallest element, since is artinian, so the morphism is surjective; therefore, by the preceding lemma, is surjective. It follows that is surjective. Finally, the kernel of is the inverse limit of the , i.e. their intersection. This proves part (a).
Let us deduce part (b) from it. Since is a closed submodule (hence separated and complete), it is a pseudocompact module for the topology induced by that of . Therefore, by (a), the morphisms and in the commutative exact diagram below are surjective:
0 ─→ N ───────→ M ───────→ M/N ─→ 0
│f │g │h
↓ ↓ ↓
0 ─→ lim_i N/(N ∩ M_i) ─→ lim_i M/M_i ─→ lim_i M/(N + M_i).
Then, by the "snake lemma", the sequence 0 → Ker f → Ker g → Ker h → 0 is exact, and the equality
follows.
We can now prove Proposition 0.2.B. Let be a morphism of pseudocompact -modules. Then is a closed submodule of , hence separated and complete, so is a pseudocompact module for the topology induced by that of . By 0.2.D (i), endowed with the quotient topology is pseudocompact.
Let us show that the continuous bijective morphism is bicontinuous. Identifying with , it suffices to show that the quotient topology is finer than the topology induced by that of . Let (resp. ) be the filtered decreasing family of open submodules of (resp. ) and set . Let be a submodule of open for . Since is artinian, the family has a smallest element . Since the are open, hence closed, for and hence also for , it follows from 0.2.D (ii) (b) that
N'_{i₀} + P = ⋂_i (N'_i + P) = P + ⋂_i N'_i = P,
whence . This shows that is open for , and is therefore an isomorphism of pseudocompact modules.
In particular, is complete for , hence closed in . Then, by 0.2.D (i) again, endowed with the quotient topology is pseudocompact. This proves that is an abelian category.
On the other hand, arbitrary inverse limits exist in : if is an inverse system of pseudocompact modules, the inverse limit of the has as underlying module the inverse limit of the underlying modules, with the inverse-limit topology. Moreover, if one has a family of exact sequences in :
then the sequence is exact. Point (iii) of 0.2.B follows, since in any abelian category where arbitrary products exist, conditions (a) and (b) of 0.2.D are equivalent and equivalent to the exactness of filtered inverse limits (cf. [Mi65], III 1.2–1.9 or [Po73], Chap. 2, Th. 8.6).
Finally, every pseudocompact module is a submodule of the product , where ranges over the open submodules of , so the objects of finite length form a system of cogenerators of . (Moreover, every object of length is isomorphic to a quotient , where is an open submodule of of colength ; these quotients therefore form a set of cogenerators.) This completes the proof of 0.2.B.
11 Let (Ab) be the category of abelian groups and the full subcategory of formed by the
objects of finite length. For every object of , denote by the functor:
LF(A) ⟶ (Ab), N ↦ Hom_c(M, N).
By [CA], § II.4, th. 1, Lemma 4 and Cor. 1, one has the following results.12
Proposition 0.2.E. The functor is an anti-equivalence of onto the category of left-exact functors .
Corollary 0.2.F. (i) An object of is projective if and only if the functor is exact (i.e., if and only if the functor is exact on ).
(ii) Let be a filtered inverse system13 of objects of . For every object of , one has a functorial isomorphism in :
Hom_c(lim M_i, N) ≃ colim Hom_c(M_i, N).
(iii) Every filtered inverse limit and every product13 of projective objects of is a projective object of .
Finally, one deduces from 0.2.F the
Corollary 0.2.G. Let be a family of objects of . Then is projective if and only if each is.
Indeed, for every , one has .
0.2.1.
Each local component of is a direct factor of , hence a projective object of ( is manifestly projective). Moreover, has as its unique simple quotient, hence is indecomposable. On the other hand, every simple object of is isomorphic to a unique . By [CA], IV § 3, Cor. 1 of th. 3,14 one therefore has:
Proposition. (i) Every projective object of is a direct product of indecomposable projective objects, uniquely determined (up to isomorphism).
(ii) Every indecomposable projective object is isomorphic to a unique ().
Definition. A pseudocompact -module is said to be topologically free if it is isomorphic to the product of a family of copies of .
In this case, a family of elements of is called a pseudobasis of if the -linear maps from into sending the unit element of to extend to an isomorphism of onto .
0.2.2.
15 If is a pseudocompact -module, we shall denote by M^† the -module (without topology)
.
Conversely, if is an -module, we denote by its dual, endowed with the
topology of pointwise convergence, i.e., a basis of neighborhoods of 0 in is formed by the following
submodules, where and is an open ideal of :
V(x, 𝓁) = {f ∈ N^* | f(x) ∈ 𝓁}.
This makes a pseudocompact -module. Indeed, one sees first that if , then , endowed with its topology of pseudocompact ring, and if is a free module , then is the product , endowed with the product topology. On the other hand, for every morphism , the transposed morphism is continuous, since the inverse image under of a submodule of is nothing but the submodule of . Then, for arbitrary , taking a presentation
A^{(J)} ─φ→ A^{(I)} ─π→ N → 0,
one sees that is the kernel of the continuous morphism , so is pseudocompact.
When is artinian (in which case one can take above), one deduces from 0.2.F:
Proposition. When is artinian, the functors
P ↦ P^† and Q ↦ Q^*,
where (resp. ) is a projective object of (resp. a projective -module), establish an anti-equivalence between the category of projective pseudocompact -modules and that of projective -modules.16
In particular, when is a field , P ↦ P^† is an anti-equivalence between the category of all pseudocompact
-modules (one also speaks of linearly compact -vector spaces) and that of -vector spaces.17
0.3.
18 Let and be two pseudocompact -modules. The functor
LF(A) ⟶ (Ab), N ↦ Bil_c(L × M, N),
where denotes the abelian group of continuous -bilinear maps from into , is left exact.
By 0.2.E, there therefore exists a pseudocompact -module , unique up to unique isomorphism, which represents this functor, i.e. such that one has a functorial isomorphism, for every object of :
Hom_c(L ⊗̂_A M, N) ≃ Bil_c(L × M, N).
Moreover, is identified with the inverse limit of the (discrete) -modules , where and range respectively over the open submodules of and .
Indeed, let be a continuous bilinear map of into an -module (discrete) of finite length . By Lemma 0.3.1 below, there exist open submodules and of and such that . This means that the map , which is induced by , is of the form , where is the canonical projection of onto . If one denotes by the composite:
P ⟶ (L/L') ⊗_A (M/M') ─φ'→ N,
one sees that the map is a functorial bijection of onto , whence .
The pseudocompact module is therefore the separated completion of for the linear topology defined by the kernels of the canonical projections of onto , and it will be called the completed tensor product of and .
If and belong to and , the image of in will be denoted .
0.3.1.
Lemma 0.3.1. Let , and be pseudocompact -modules, of finite length. If is a continuous -bilinear map, there exist open submodules and of and such that .
Indeed, is an open neighborhood of (0, 0), hence contains an open of the form ,
where L_1 and M_1 are open submodules of and . Since is of finite length, there exist elements
of such that . If is "small
enough", one also has for every , because the map is continuous;
from this one deduces ; likewise, if is small enough.
Corollary 0.3.1.1.19 Let be a pseudocompact -module.
(i) For every open submodule , there exists an open ideal of such that .
(ii) Consequently, , where ranges over the filtered inverse system of open ideals of and each is endowed with the quotient topology (which makes it a pseudocompact module, cf. 0.2.D).
Indeed, consider the map , ; by 0.3.1 there exists an open ideal of such that , and since is also closed, it contains also . Since the intersection of the open submodules of is zero, one therefore has . On the other hand, by 0.2.D, the map is surjective; by (the proof of) 0.2.B, therefore induces an isomorphism , but we have just seen that is zero.
Remark 0.3.1.2.20 The completed tensor product satisfies the usual associativity condition: if , , are pseudocompact -modules, one has a canonical isomorphism
(L ⊗̂ M) ⊗̂ P ≃ L ⊗̂ (M ⊗̂ P);
indeed, these two objects represent the functor that associates to every object of the abelian group of continuous -trilinear maps from into .
0.3.2.
Let be an exact sequence and an object of . It is clear that for every object of , the induced sequences:
0 → Bil_c(L'' × M, N) → Bil_c(L × M, N) → Bil_c(L' × M, N)
0 → Hom_c(L'' ⊗̂_A M, N) → Hom_c(L ⊗̂_A M, N) → Hom_c(L' ⊗̂_A M, N)
are exact. By 0.2.E, this is equivalent to saying that the sequence
(∗) L' ⊗̂_A M ─f ⊗̂ M→ L ⊗̂_A M ─g ⊗̂ M→ L'' ⊗̂_A M → 0
is exact. Hence:
Corollary. For every pseudocompact -module , the functor is right exact.
In particular, take for the ring , for the inclusion of a closed ideal in , and for the canonical projection of onto . One can then identify with by means of the map . Since the image of is closed in (cf. 0.2.B) and the image of is everywhere dense in , the image of is nothing but the closure of in . The exact sequence (∗) therefore yields the isomorphism:
(A/𝔞) ⊗̂_A M ⥲ M / 𝔞̄ M.
0.3.3.
Lemma 0.3.3 (Nakayama's Lemma). Let be a pseudocompact ring, a pseudocompact -module, and an ideal of contained in the radical . The equality then implies .
Indeed, suppose .21 Let be an open submodule of and .
Since M'' is discrete, is closed in M'', hence equal to . By 0.3.2, the
canonical map of to is surjective, so one has
. Since M'' is a finitely generated -module and
, this implies by the usual Nakayama's Lemma. Consequently, every open submodule
of equals , and so is zero.22
0.3.4.
From Nakayama's Lemma one draws the usual consequences:
Corollary. Let be a closed ideal contained in and a morphism of pseudocompact -modules.
(i) is surjective if the induced map is.23
(ii) If is projective, is invertible if is.
Indeed, (i) follows from Lemma 0.3.3 applied to Coker f. For (ii), suppose invertible. Then by (i), is
surjective, hence has a section; one then applies 0.3.3 to Ker f.
When is local with maximal ideal , one can also deduce from 0.3.3 the following exchange theorem:
Theorem. Let be a local pseudocompact ring, its maximal ideal, a topologically free -module with pseudobasis (0.2.1), and a (closed) direct factor of . There exists a pseudobasis of formed of elements of and of certain .
Indeed, this is clear when is a field (one then uses the duality of 0.2.2 and applies the usual exchange theorem); consequently, 24 has as a supplement a topologically free module over with pseudobasis , where is the image of in and is a subset of . If denotes the direct product , the canonical map of to is "bijective modulo "; it is therefore bijective by what precedes (for another proof see [CA], § IV.2, Prop. 8).
0.3.5.
Consider now three pseudocompact -modules , and , where is of finite length. Endowing the -module with the discrete topology, every element of defines a continuous bilinear map from to . One thus obtains a natural isomorphism
(1) Hom_c(L, Hom_c(M, N)) ⥲ Hom_c(L ⊗̂_A M, N),
hence another characterization of , which we shall use when is the inverse limit of a filtered inverse system of pseudocompact -modules . Then, by (1) and 0.2.F (ii), one has natural isomorphisms:
(2) Hom_c(L ⊗̂_A lim M_i, N) ≃ Hom_c(L, Hom_c(lim M_i, N))
≃ Hom_c(L, colim Hom_c(M_i, N)).
Moreover, since the module is discrete, every continuous map with source factors through a finite-length quotient of . Consequently, the natural map below is an isomorphism:
(3) colim Hom_c(L, Hom_c(M_i, N)) ⟶ Hom_c(L, colim Hom_c(M_i, N)).
Finally, by (1) and 0.2.F (ii) again, one has natural isomorphisms:
(4) colim Hom_c(L, Hom_c(M_i, N)) ≃ colim Hom_c(L ⊗̂_A M_i, N)
≃ Hom_c(lim (L ⊗̂_A M_i), N).
Combining isomorphisms (2), (3), (4), one obtains:
Proposition. Let be a filtered inverse system of objects of , and let (resp. ) be an object of (resp. ). One has a functorial isomorphism in :
Hom_c(L ⊗̂_A lim M_i, N) ≃ Hom_c(lim (L ⊗̂_A M_i), N),
and hence an isomorphism:
L ⊗̂_A lim M_i ≃ lim (L ⊗̂_A M_i).
The completed tensor product therefore commutes with filtered inverse limits.25
0.3.6.
In particular,26 the completed tensor product commutes with infinite products. For example, since the ring is the product of its local components (0.1.1), every pseudocompact -module () is identified with the product of the modules (the local components of ).
Likewise, let and be two pseudocompact -modules. Recall (cf. 0.2.2) that M^† denotes
. Consider the map
φ : M^† ⊗_A N^† ⟶ (M ⊗̂_A N)^†
which associates to an element of M^† ⊗_A N^† the map from
to . This map is bijective when is isomorphic to .
Corollary. When is artinian, is an isomorphism whenever is topologically free (or more generally projective).
Indeed, for fixed, the functor M ↦ (M ⊗̂_A N)^† (resp. M ↦ M^† ⊗_A N^†) transforms every direct product into a
direct sum, by what precedes and 0.2.F.
Remark 0.3.6.A.27 Using 0.2.F in a similar way, one also obtains the following result: Let be an artinian ring, , objects of , and an object of . Suppose projective; then one has natural isomorphisms:
Hom_c(M, Q) ⥲ Hom_A(Q^†, M^†) and Q^† ⊗_A N ⥲ Hom_c(Q, N).
0.3.7.
For every , the functor is evidently exact. Since every projective pseudocompact -module is a product of modules of the form , it follows that the functor is exact when is projective. The converse is true:
Proposition. Let be a pseudocompact ring, a pseudocompact -module. The following conditions are equivalent:
(i) is a projective object of .
(ii) Each local component is a topologically free -module.
(iii) The functor is exact.
Indeed, the equivalence of (i) and (ii) follows from 0.2.F (iii) and 0.2.1, and we have just seen that (ii) ⇒ (iii). Suppose the functor is exact. Since is the product of its local components:
(P ⊗̂_A M)_𝔪 ≃ P_𝔪 ⊗̂_{A_𝔪} M_𝔪,
one is reduced to the case where the ring is local. We then prove that is topologically free.
Let be the maximal ideal of ; then is a linearly compact vector space over , hence a product of copies of (cf. 0.2.2). There is therefore a family of copies of and an isomorphism . Since is projective, there is a commutative square
∏ A_i ─ψ→ P
│ │
│p │q
↓ ↓
∏ (A_i/𝔪) ─φ→ P/𝔪̄ P,
where and denote the canonical projections. Applying Nakayama's Lemma to and noting that is nothing but , one sees that is surjective.28
Setting then and , one has the following commutative and exact diagram:
𝔪 ⊗̂_A N ────→ 𝔪 ⊗̂_A B ────→ 𝔪 ⊗̂_A P ─→ 0
↓ ↓ ↓
A ⊗̂_A N ────→ A ⊗̂_A B ──ψ→ A ⊗̂_A P ─→ 0
↓ ↓ ↓
(A/𝔪) ⊗̂_A N → (A/𝔪) ⊗̂_A B ─φ→ (A/𝔪) ⊗̂_A P → 0.
The "snake lemma" applied to the first two rows then shows that, in the bottom row, the morphism is a monomorphism. But then, since is an isomorphism, is zero; whence (0.3.3) and is an isomorphism.29
0.3.8.
Corollary 0.3.8. Let be a complete noetherian local ring and a pseudocompact -module. Then is topologically free if and only if is flat over .
Indeed, the canonical map of into is bijective when equals , hence also when is noetherian (take a finite presentation of and use the right exactness of the tensor product and of the completed tensor product).
Now is flat if and only if the functor is exact when ranges over the noetherian modules. Likewise, we saw in the proof of Proposition 0.3.7 that is topologically free if the sequence
0 ⟶ 𝔪 ⊗̂_A P ⟶ A ⊗̂_A P ⟶ (A/𝔪) ⊗̂_A P ⟶ 0
is exact. So is topologically free if and only if the functor is exact when ranges over the noetherian modules. The corollary therefore follows from the equality established above.
0.4.
Let be a pseudocompact ring; a topological -algebra is a (commutative) topological ring , equipped with a morphism of topological rings . One says that is a profinite -algebra if the underlying topological -module is pseudocompact.
In this case, let be an open -submodule of . The composite map
φ : A × A ─mult→ A ─can→ A/𝓁
is continuous, hence by Lemma 0.3.1, there exists an open -submodule of such that . This means that contains the open ideal and implies that is a pseudocompact ring.
Likewise, let be a topological -module whose underlying -module is pseudocompact. If is an open -submodule of , Lemma 0.3.1 applied to the map
A × M ─mult→ M ─can→ M/M'
shows that contains an open -submodule, so that is also a pseudocompact -module.30 Conversely:
Lemma. Let be a profinite -algebra and a pseudocompact -module. Then the -module obtained by restriction of scalars is pseudocompact.
Indeed, every pseudocompact -module of finite length is isomorphic to a quotient (where is an open submodule of ), hence is a pseudocompact -module. Since is an inverse limit of such modules, it is a pseudocompact -module.
0.4.1.
If and are two profinite -algebras, a morphism from to is, by definition, a continuous homomorphism of -algebras. We shall denote by the category of profinite -algebras.
It evidently possesses inverse limits: the algebra underlying an inverse limit is the inverse limit of the underlying algebras; the topology is that of the inverse limit.
It also possesses finite direct limits31: for example, if and are two morphisms of profinite -algebras, the amalgamated sum of and over has as underlying topological -module (by 0.4, and endow and with pseudocompact -module structures); the multiplication of is obviously such that if and .
0.4.2.
Definition 0.4.2. A profinite -algebra is said to be of finite length if the underlying -module is of finite length (hence discrete); we denote by the full subcategory of formed by -algebras of finite length.32
For every profinite -algebra , we denote by the functor:
Alf/k ⟶ (Sets), C ↦ Hom_{Alp/k}(A, C).
It is clear that is a left-exact functor33. Moreover, the canonical projections (where ranges over the open ideals of ) induce, for every object of , a canonical isomorphism
colim_𝓁 Hom_{Alf/k}(A/𝓁, C) ⥲ Hom_{Alp/k}(A, C),
functorial in . This means that is the direct limit of the representable functors , i.e.,
If is another profinite -algebra, the general properties of the bifunctor Hom and the isomorphism
for of finite length give isomorphisms:
Hom_{Alp/k}(B, A) ≃ lim Hom_{Alp/k}(B, A/𝓁)
≃ lim Hom(h_{A/𝓁}, h_B)
≃ Hom(colim_𝓁 h_{A/𝓁}, h_B);
combined with (∗), this shows that the contravariant functor is fully faithful. In fact:
Proposition. The functor is an anti-equivalence of onto the category of left-exact
functors from to (Sets).
Indeed, by what precedes, it suffices to show that every left-exact functor is isomorphic to a functor of the type ; for this, one can construct as follows (cf. TDTE II, § 3).
Since is left-exact, for every -algebra of finite length and every element of , there is a smallest subalgebra of such that belongs to the image of in . If one has , one says that the pair is minimal.
The minimal pairs form a category if one takes for morphisms from to the homomorphisms from to such that ; it is clear that such a is a surjection and that the category of minimal pairs is "left filtered". Moreover, one can restrict to pairs such that belongs to a set containing -algebras of finite length of each isomorphism type34. Hence, the functor , with source category that of minimal pairs and target category that of profinite -algebras, possesses an inverse limit; one takes for this inverse limit.
Corollary. The category possesses infinite direct limits.
Indeed, the category of left-exact functors from to (Sets) possesses inverse limits, which are defined
"argument by argument", i.e., if is an inverse system of such functors, one has, for every object of
:
(lim F_i)(C) = lim F_i(C).
0.5.
36 Let be a homomorphism of pseudocompact rings (cf. 0.1.3). One can generalize the construction of 0.3 as follows.
Definition 0.5.A. For every object of (resp. of ), we shall denote by the separated completion of for the linear topology defined by the kernels of the projections:
M ⊗_k ℓ ⟶ (M/M') ⊗_k (N/N'),
where (resp. ) is an open submodule of (resp. of ). Then is a pseudocompact -module. If and , we shall denote by the canonical image of in .
This applies in particular when , in which case we shall say that is the pseudocompact -module deduced from by the base change .
Remarks 0.5.B. (i) When one considers such a base change, will not in general be a profinite -algebra: a typical example is the case where is a field and is an arbitrary extension of .
(ii) However, if the -module underlying is pseudocompact (for example if is a profinite -algebra) then, by 0.4, every open -submodule of contains an open -submodule of ; consequently, coincides in this case with the completed tensor product (cf. 0.3) of the pseudocompact -modules and , and the notation therefore does not present any ambiguity.
The -module obtained by restriction of scalars is in any case a topological -module, i.e. the map , is continuous. We denote by the abelian group of continuous -module homomorphisms of into .
Proposition 0.5.C. For every and , one has a functorial isomorphism
Hom_{PC(ℓ)}(M ⊗̂_k ℓ, N) ≃ Hom_c(M, N|_k).
Indeed, let be a continuous homomorphism ; then the map , is continuous and "bilinear" (i.e., -linear in the first factor and -linear in the second). If is an open -submodule of , one shows as in Lemma 0.3.1 that there exist an open submodule of and an open ideal of such that and are contained in . It follows that induces a continuous homomorphism of -modules , such that , for every and .
Conversely, to every morphism one associates the morphism from to .
One then obtains, as in 0.3.2, 0.3.5, and 0.3.1.2, the:
Corollary 0.5.D. The functor , is right exact and commutes with filtered inverse limits, i.e., if is a filtered inverse system of objects of , one has a canonical isomorphism:
(lim M_i) ⊗̂_k ℓ ≃ lim (M_i ⊗̂_k ℓ).
Moreover, if , are pseudocompact -modules, one has a canonical isomorphism:
(M ⊗̂_k N) ⊗̂_k ℓ ≃ (M ⊗̂_k ℓ) ⊗̂_ℓ (N ⊗̂_k ℓ).
Definition 0.5.E. Finally, if is a profinite -algebra, there is on one and only one structure of profinite -algebra such that, if and ,
(a ⊗̂_k λ)(b ⊗̂_k μ) = (ab) ⊗̂_k (λμ).
One says that is the profinite -algebra deduced from by the extension of scalars (or "base change") .
1. Formal varieties over a pseudocompact ring
1.1.
One can associate to every pseudocompact ring a formal scheme (EGA I, 10.4.2) by proceeding as follows: the underlying topological space is the set of open (hence maximal) prime ideals of , endowed with the discrete topology; the structure sheaf has the cartesian product as space of sections on a subset of . The formal scheme thus obtained is denoted (the formal spectrum of ).38
If and are two pseudocompact rings, a morphism from to consists of the datum of a map from to and of a family of continuous homomorphisms , for . Such a morphism induces a continuous homomorphism from to . The converse is true:
Proposition. The contravariant functor is fully faithful.
Indeed, if is a continuous algebra homomorphism, the inverse image of an open
maximal ideal of is an open prime ideal of , hence maximal in . One thus obtains a map
from to , and induces a continuous
homomorphism . So induces a morphism of formal schemes
Spf(φ) : Spf(B) → Spf(A). One verifies easily that , and that for
every morphism , whence the proposition.
Although we shall here speak only of formal schemes of the form , we shall use the language of formal schemes rather than that of pseudocompact rings, in order to base our assertions on a geometric intuition.
1.2.
Let be a pseudocompact ring.
Definition 1.2.A.39 We shall call a formal variety over any formal scheme over
which is isomorphic to a formal -scheme for some profinite -algebra . The algebra is then
isomorphic to the affine algebra of , that is, to the algebra of sections of the structure sheaf O_X of .
We denote by the full subcategory of the category of formal schemes over whose objects are the formal -varieties.40
By 1.1, the functor is an anti-equivalence of (0.4.1) onto . So, by the corollary of 0.4.2:
Proposition 1.2.B. The category possesses inverse and direct limits.41
For example, let and and be two formal -varieties over and let , , be the affine algebras of , , ; by 0.4.1, the affine algebra of the fiber product is identified with ,42 so that the inclusion of in the category of all formal -schemes commutes with finite inverse limits (cf. EGA I, 10.7).
The direct limits of formal -varieties correspond to inverse limits of their affine algebras.
Example 1.2.C (Cokernels). Let, for example, be a double arrow of ; the affine algebra of is isomorphic to the kernel of the homomorphisms induced on the affine algebras of and , but one can also give the following construction of : the topological space underlying is the cokernel of the underlying spaces;43 if is the canonical projection of the set underlying onto the cokernel and if belongs to the cokernel, the local algebra of at is the kernel of the double arrow
d^♮, e^♮ : ∏_{p(y) = z} O_{Y, y} ⇒ ∏_{q(x) = z} O_{X, x},
where one has set and where and are induced by the homomorphisms and (notations of 1.1).
Definition 1.2.D. If is a homomorphism of pseudocompact rings and is a formal -variety with affine algebra , the formal scheme , obtained by base change, is a formal -variety, which we shall also denote and which has as affine algebra the completed tensor product (cf. 0.5 and EGA I, § 10).
Remark 1.2.E. Since every formal variety over decomposes into formal varieties over the local components of , we shall assume in some proofs that is a local pseudocompact ring.
We now give some examples while fixing our terminology.
1.2.1.
A -functor will be, by definition, a covariant functor from to (Sets). By 1.1 and 0.4.2, one can identify
with a full subcategory of the category of -functors, by associating to every formal
-variety the functor:
Alf/k ⟶ (Sets), C ↦ X(C) = Hom_{Vaf/k}(Spf(C), X).
We shall encounter later -functors that associate to every object of a module over and to every morphism of a -linear map such that, if and :
F(φ)(λ x) = φ(λ) F(φ)(x).
By Exposé I, 3.1, such an is equipped with a structure of -module, if one denotes by the -functor in rings that associates to every object of the ring underlying .
Definitions. (i) An -module will be said to be admissible if every morphism of induces a bijection of onto .44
(ii) One says that is flat if it is admissible and if, for every object of , is a flat -module.45
For example, if is a -module (not necessarily pseudocompact), we shall denote (as in Exposé I, 4.6.1) by the -module ; then is flat when is flat over .
Moreover, the functor has as right adjoint the functor that associates to every -module the -module , where ranges over the open ideals of .
1.2.2.
In what follows, an -module will always be denoted by a boldface letter such as ; when is artinian, we shall then write simply instead of . In this case, it goes without saying that the functor induces an equivalence of the category of flat -modules onto that of flat -modules! The terminology we have adopted has therefore only the goal of allowing us to reason "as if were always artinian".
In accordance with Exposé I § 3.1, we shall use analogous conventions for other algebraic structures: thus, an -algebra (resp. an -coalgebra, resp. an -Lie algebra, resp. an --Lie algebra) will consist of the datum of an -module and, for every object of , of a structure of -algebra (resp. -coalgebra, resp. -Lie algebra, resp. --Lie algebra) on ; one assumes moreover that, for every morphism of , the map from to induced by is a homomorphism of -algebras (resp. -coalgebras, etc.).
Note finally that, if and are two -modules, will denote the -module .
1.2.3.
46 We begin with the following lemma.
Lemma 1.2.3.A. Let be a morphism of pseudocompact rings, a pseudocompact -module, and a (topology-free) projective -module. One has a canonical isomorphism of pseudocompact -modules
(2) θ : Hom_k(M, k) ⊗̂_k B ⥲ Hom_k(M, B).
Here, is endowed with the topology defined in 0.2.2, which makes it a
pseudocompact -module, and the topology of is defined analogously: a basis of
neighborhoods of 0 is formed by the following -submodules, where and is an open -submodule of
:
ℋ(x, B') = {f ∈ Hom_k(M, B) | f(x) ∈ B'}.
Finally, is the pseudocompact -module deduced from by base change, cf. 0.5.A.
This being so, is evidently an isomorphism when ; moreover, both sides of (2), considered as functors in , transform direct sums into products (in particular, commute with finite direct sums). One thus obtains that (2) is an isomorphism when is a free -module, and then when is projective.
Definition 1.2.3.B. Let be a pseudocompact -module. We denote by or
**N**^†47 the -module that associates to every the -module (C ⊗̂_k N)^†
dual of (0.2.2), i.e. the -module
Hom_c(C ⊗̂_k N, C) ≃ Hom_c(N, C|_k),
where denotes the -module obtained by restriction of scalars. This -module will be called the dual of .
If is a local component of , then for every object of ,
Hom_c(k_𝔪, C|_k) = C_𝔪 = C ⊗_k k_𝔪
is a projective -module, and moreover one has for every morphism of ; so is a flat -module (cf. 1.2.1). Since every projective pseudocompact -module is a product of modules (cf. Prop. 0.2.1), one deduces from Corollary 0.2.F the:
Corollary 1.2.3.C. is a flat -module when is a projective pseudocompact -module.
Definition 1.2.3.D. Conversely, if is an admissible -module (cf. 1.2.1),48 we call dual of and denote by the pseudocompact -module defined as follows. As ranges over the open ideals of , we endow each -module
with the topology described in 0.2.2, which makes it a pseudocompact -module. Since for , one has transition morphisms:
Hom_{k/𝓁'}(**M**(k/𝓁'), k/𝓁') ⟶ Hom_{k/𝓁'}(**M**(k/𝓁'), k/𝓁) = Hom_{k/𝓁}(**M**(k/𝓁), k/𝓁),
and by definition is the inverse limit of this filtered inverse system of pseudocompact -modules.
From now on, suppose moreover that is a flat -module (cf. 1.2.1); then each is a projective -module, so the transition morphisms above are surjective, and hence so are the projections , since in filtered inverse limits are exact.
If is a morphism of pseudocompact rings, we shall denote by or simply
the O_K-functor defined as follows. If is a -algebra of finite length, then the kernel of is an open
ideal , and one sets ; one then has
for every open ideal contained in . One
then defines as the inverse limit, for ranging over the open ideals of , of the
pseudocompact -modules:
Hom_{K/I}(**M_K**(K/I), K/I) = Hom_{k/𝓁}(**M**(k/𝓁), K/I),
where in the right-hand term is any open ideal of such that . Moreover, by 1.2.3.A, the right-hand side is identified with . Since the projections are surjective, one sees that the inverse limit of is nothing but the pseudocompact -module (cf. 0.5.A). One has thus obtained that, for every flat -module , the formation of commutes with extension of the base, i.e. one has
(⋆) Γ^*_K(**M** ⊗_k K) ≃ Γ^*(**M**) ⊗̂_k K.
Proposition 1.2.3.E. (i) The functors and define an anti-equivalence between the category of projective pseudocompact -modules and that of flat -modules.49
(ii) Moreover, if is a morphism of pseudocompact rings, then the previous anti-equivalence "commutes with base change" in the following sense: if , then .
Proof. On the one hand, one has a natural transformation . Since the functor commutes with products, by 0.3.5 and 0.2.F, it suffices to verify that is an isomorphism when is a local component of . In this case, for every open ideal of contained in , the natural morphism
(k/𝓁)_𝔪 ⟶ Hom_{k/𝓁}(Hom_c(k_𝔪 ⊗̂ k/𝓁, k/𝓁), k/𝓁)
is an isomorphism, whence the result.
On the other hand, let be a flat -module. Let us show that is a projective object of . Let be a surjective morphism between objects of . By 0.2.F (i) and (ii), it suffices to show that the natural map
colim Hom_c(**M**(k/𝓁)^*, N) ⟶ colim Hom_c(**M**(k/𝓁)^*, N')
is surjective. But this is clear, because and are -modules for some open ideal ; so if , every morphism lifts to a morphism , since is a projective object of .
One has a morphism of functors from to (Sets). Let be
an object of ; let us show that
(1) ψ(B) : **M**(B) ⟶ **V_k^f**(Γ^*(**M**))(B) = Hom_c(lim_𝓁 **M**(k/𝓁)^* ⊗̂_k B, B)
is a bijection (in the equality above, we have used the fact that commutes with filtered inverse limits). Let be an open ideal of contained in the kernel of . By Lemma 1.2.3.A, for every , one has a canonical isomorphism of pseudocompact -modules:
**M**(k/𝓁)^* ⊗̂_k B ⥲ Hom_{k/𝓁}(**M**(k/𝓁), B)
and, since , the right-hand side equals . So the inverse system in (1) is constant for , and (1) reduces to the canonical morphism
**M**(B) ⟶ Hom_c(Hom_B(**M**(B), B), B),
which is an isomorphism by 0.2.2, since is artinian and a projective -module. This proves point (i) of the proposition, and point (ii) follows from the isomorphism (⋆) established above.
Remark 1.2.3.F. Let us return to the statement of the proposition, and suppose moreover that is a topologically free pseudocompact -module. In this case, one can choose "coherently" bases for the -modules .
Indeed, let be a pseudobasis of (0.2.1) and the canonical image of in
, for . If one defines the element of (C ⊗̂_k N)^† by the
equalities and for , the family
is a basis of ; moreover, for every morphism of ,
sends to .
1.2.4.
50 For every pseudocompact -module , let be the completed symmetric algebra of , defined as follows. Let be the direct sum of the pseudocompact -modules:
⊗̂^n_k E = E ⊗̂_k ⋯ ⊗̂_k E (n ⩾ 0; if n = 0, ⊗̂^0_k E = k);
one makes into a graded -algebra by defining the multiplication in the usual way; let be the quotient of by the homogeneous ideal whose -th component is the closed -submodule of generated by the elements:
x_1 ⊗̂ ⋯ ⊗̂ x_i ⊗̂ x_{i+1} ⊗̂ ⋯ ⊗̂ x_n − x_1 ⊗̂ ⋯ ⊗̂ x_{i+1} ⊗̂ x_i ⊗̂ ⋯ ⊗̂ x_n.
If one denotes by this quotient, is obviously a graded -algebra with -th component .
One endows with the linear topology defined by the set of ideals such that is a -module of finite length and that is an open submodule of for every . Then the profinite algebra is the separated completion of for this topology.51
We denote by the formal -variety . It represents the -functor , i.e., for every object of , one has a canonical isomorphism:
**V_k^f**(E)(C) = Hom_c(E, C|_k) ⥲ Hom_{Alp/k}(Ŝ_k(E), C) = Hom_{Vaf/k}(Spf(C), **V^f_k**(E)).
In all the sequel, we identify with the -functor .
1.2.5.
By 1.2.4, the zero morphism from to is associated with a morphism of profinite algebras ; this morphism induces the zero map on for and defines a section of the structure morphism .
We shall denote by the formal variety which has as points the images of the points of under the section and which has the same local algebras as at these points.52
Then, the affine algebra of is the separated completion of for the topology defined by the ideals (cf. 1.2.4) that contain for large enough. One deduces that it is the infinite product:
k[[E]] = k × E × S^2_k(E) × S^3_k(E) × ⋯
On the other hand, let be an object of , an element of , and the corresponding morphism of profinite -algebras. Then is an open ideal (i.e. belongs to ) if and only if contains for large enough, i.e., if and only if is contained in the radical of . Therefore: for every object of , one has canonical isomorphisms:
**V^{f,0}_k**(E)(C) ≃ Hom_{Alp/k}(k[[E]], C) ≃ Hom_c(E, r(C)).
1.2.6.
A formal -variety is said to be of finite length if its affine algebra is. Likewise, if is a scheme, an
-scheme is said to be of finite length if is finite over and if the direct image of O_X on is an
O_S-module of finite length.53 So, to give an -scheme of finite length is "the same thing" as to
give a finite set of closed points of , and at each of these points, an
-algebra of finite length.
One sees therefore that the -schemes of finite length identify with the formal varieties of finite length over the
formal scheme Ŝ that follows. The topological space underlying Ŝ is the set of closed points of endowed with the
discrete topology; if is such a closed point, the structure sheaf has as stalk at
the separated completion of for the linear topology defined by the ideals of finite
colength; one therefore has , where is the product of the
, for ranging over the closed points of , endowed with the product topology.
Definition. If is an -scheme, we denote by the formal variety over defined as follows. The underlying topological space is formed by the points such that , where is the image of in ; the local ring is the separated completion of for the linear topology defined by the ideals of such that is of finite length as an -module (N.B. since , this is equivalent to saying that is of finite length as an -module).
Let be the category of formal varieties of finite length over Ŝ (identified with that of
-schemes of finite length). By 1.1 and 1.2.1, the category of formal varieties over Ŝ is equivalent
to that of left-exact contravariant functors from to (Sets). In particular, for every -scheme
, the functor , from to (Sets), is such a
left-exact functor, hence corresponds to a formal variety over Ŝ. The latter is nothing but
:54
Proposition. For every -scheme , the functors
Hom_{Vaf/Ŝ}(−, X̂/Ŝ) and Hom_{(Sch/S)}(−, X)
have the same restriction to . One thus obtains a functor from to which commutes with finite inverse limits.
Indeed, one sees easily that the formal variety has the required property, and that the correspondence is functorial. Let us prove the second assertion.
Set and , and write instead of . We know (1.2.B) that possesses arbitrary inverse limits. Let be an inverse system in and suppose that exists in (which is the case if is finite). Since the functor that associates to every object of (resp. of ) the functor (resp. ) commutes with inverse limits, one has, for every -scheme of finite length, functorial isomorphisms:
Hom_{**S**}(T, X) ≃ lim Hom_{**S**}(T, X_i) ≃ lim Hom_{**V**}(T, X̂_i) ≃ Hom_{**V**}(T, lim X̂_i).
Consequently, the functor commutes with inverse limits when they exist in ; in particular, it commutes with finite inverse limits.
1.3.
Proposition 1.3. Let be a morphism of formal varieties over , and the affine algebras of and , the morphism induced by . Then is a monomorphism of if and only if is a surjection.
55 By 1.1, is an anti-equivalence of onto , so is a monomorphism if and only if is an epimorphism, and this is the case if is surjective.
Conversely, suppose that is an epimorphism and let us show that it is surjective. For every , set ; by 0.4, is a pseudocompact -module, hence is the product of the (cf. 0.3.6). Then is the product of the morphisms deduced from by base change. These are still epimorphisms, which reduces us to proving the result when is local with maximal ideal . Set .
By Nakayama's Lemma 0.3.3, it suffices to show that the morphism is surjective; it is deduced from by base change, so is an epimorphism of . One can therefore assume that is a field. Now is a monomorphism if and only if the diagonal morphism is an isomorphism, that is, if the homomorphism is an isomorphism of onto . Since is a field, this implies .
Remark.56 It follows from the proposition that every monomorphism of formal varieties is an isomorphism of onto a (necessarily closed!) formal subvariety of .
1.3.1.
The preceding proposition implies in particular that every monomorphism of is effective (cf. IV 1.3).57 It is not the same for epimorphisms, as one easily sees by slightly modifying the counterexample of Exposé V, § 2.c);58 this is why we shall consider a sympathetic class of effective epimorphisms.
Lemma.59 Let be a morphism of formal -varieties and let , be the affine algebras of , and the morphism induced by . The following conditions are equivalent:
(i) For every , the homomorphism makes a topologically free pseudocompact -module.
(ii) For every , the local component is a topologically free pseudocompact -module.
(iii) makes a projective pseudocompact -module.
(iv) The functor , , is exact.
If these conditions are satisfied, one says that is topologically flat.
The implications (i) ⇒ (ii) ⇔ (iii) ⇔ (iv) follow from 0.2.F (iii) and 0.3.7. Conversely, assume (ii) holds and let and . Since is a direct factor of , it is a projective pseudocompact -module, hence topologically free by 0.2.1 (since is local).
On the other hand, a morphism of formal -varieties is said to be surjective if it induces a surjection of the underlying sets.
Proposition. Let be a surjective and topologically flat morphism of formal -varieties. Then is an effective epimorphism (cf. IV 1.3).
Indeed, let , be the affine algebras of , and the morphism induced by . We must show that is identified with the cokernel of , i.e., that for every , is identified with the subring of formed by the such that .
We can therefore assume local, with maximal ideal . Our hypothesis then means that makes a topologically free and nonzero -module. By Nakayama's Lemma 0.3.3, is not zero, so the morphism deduced from is injective. By Lemma 1.3.2 below, is a direct factor of as a -module, say ; it follows that is identified with the part of formed by the such that .
1.3.2.
Lemma 1.3.2. Let be a local pseudocompact ring, its maximal ideal, and two projective pseudocompact -modules, and a morphism . If is injective, is an isomorphism of onto a direct factor of .
Indeed, suppose is injective. Since is a field, then has a retraction . Let and be the canonical projections of and onto and ; since is projective, there exists a morphism such that ; consequently, is deduced from by passage to the quotient. Then, since is an isomorphism, so is , by 0.3.4 (since is projective). Let be the inverse isomorphism of ; then is a retraction of .
1.3.3.
Proposition 1.3.3. Let and be morphisms of formal -varieties.
(i) If and are topologically flat, so is .
(ii) If and are topologically flat and if is surjective, is topologically flat.
(iii) If is topologically flat, so is for every base change .
Assertions (i) and (iii) are clear. To prove (ii), let , , be the affine algebras of , , , and and the morphisms induced by and . Since is topologically flat, makes a projective pseudocompact -module; likewise, makes a projective pseudocompact -module that is also faithful. As ranges over the pseudocompact -modules and over the pseudocompact -modules, the functors and are therefore exact; since the second is moreover faithful, the functor is exact; by 0.3.7, is therefore a projective pseudocompact -module.
1.3.4.
Proposition 1.3.4. Let be a scheme, a locally noetherian -scheme, and an -morphism locally of finite type and faithfully flat, so that is an effective epimorphism, i.e., the sequence below is exact (cf. IV 6.3.1 (iv) and IV 1.3):
(∗) X ×_Y X ⇒ X ─f→ Y.
Then the morphism of formal Ŝ-varieties (cf. 1.2.6) is surjective and
topologically flat, and the sequence below, deduced from (∗), is exact:
(∗̂) X̂ ×_{Ŷ} X̂/Ŝ ⇒ X̂/Ŝ ─f̂→ Ŷ/Ŝ.
Indeed, let be a point of with projection on and such that is a finite extension of the residue field of . Since is surjective and locally of finite type, is non-empty and locally of finite type over ; the closed points of are then the points of projecting onto . This shows that is surjective.
60 Let be a closed point of . Since is locally noetherian and locally of finite type, the local ring (resp. ) is noetherian, so the powers of the maximal ideal are of finite colength, so that the local ring of at (resp. of at ) is the completion of (resp. of ) for the -adic topology. Then, since is flat, is flat over , by (SGA 1, IV 5.8). Hence, by 0.3.8, is a topologically free -module. This shows that is topologically flat.
So, by Proposition 1.3.1, is an effective epimorphism, i.e., the sequence below (where one has written instead of ) is exact:
X̂ ×_{Ŷ} X̂ ⇒ X̂ ─f̂→ Ŷ.
Moreover, by 1.2.6, one has a natural isomorphism (which in particular commutes with the projections on ):
X̂ ×_Y X ≃ X̂ ×_{Ŷ} X̂.
Consequently, the sequence is exact.
1.3.5.
Let be a pseudocompact ring. A formal variety over is said to be topologically flat if its affine algebra is a projective pseudocompact -module, i.e., if the structure morphism is topologically flat.
61 Let us first note that 0.2.2 and 0.3.6 imply the following result (analogous to VII_A, 3.1.1).
Lemma 1.3.5.A. Suppose artinian. The functors A ↦ A^† = Hom_c(A, k) and
define an anti-equivalence between the category of topologically flat
profinite -algebras, and that of flat -coalgebras.
Indeed, if is a topologically flat profinite -algebra, then by 0.3.6, one has an isomorphism of -modules:
A^† ⊗_k A^† ⥲ (A ⊗̂ A)^†,
so that the multiplication induces by duality a -coalgebra structure on A^†. The rest
then follows from Proposition 0.2.2.
Let us return to the case of an arbitrary pseudocompact ring .
Definition 1.3.5.B. To every formal -variety whose affine ring is a projective pseudocompact -module, one associates a flat -coalgebra , defined as follows.
Denote by the -module , "dual of "; it is a flat -module, since the pseudocompact -module underlying is projective (cf. 1.2.3.C). Moreover, by 0.3.6, one has:
**V_k^f**(A ⊗̂ A) ≃ **V_k^f**(A) ⊗ **V_k^f**(A),
and so the multiplication of induces by transposition a diagonal morphism:
**H**(X) = **V_k^f**(A) ⟶ **V_k^f**(A ⊗̂ A) = **H**(X) ⊗ **H**(X),
which makes a flat -coalgebra. We shall say that is the coalgebra of over .
Definition 1.3.5.C. Conversely, to every -coalgebra one can associate a -functor (cf. 1.2.1) , defined as follows. For every object of , one sets (with the notations of VII_A 3.1):
(1) Spf^*(**C**)(B) = Hom_{B-coalg.}(B, **C**(B))
= {x ∈ **C**(B) | ε_{**C**(B)}(x) = 1 and Δ_{**C**(B)}(x) = x ⊗ x}.
62 Assume moreover that the -module underlying is admissible (cf. 1.2.1), and set
(2) A = Γ^*(**C**) = lim_𝓁 **C**(k/𝓁)^*.
Then the algebra structures on each endow with a structure of profinite -algebra. For every object of , one has:
(3) Hom_{Vaf/k}(Spf(B), Spf(A)) = Hom_{Alp/k}(A, B) = Hom_{Alp/B}(A ⊗̂ B, B).
Assume finally that is a flat -module. Then, by 1.2.3.E, is a projective pseudocompact -module. Moreover, we saw in the proof of loc. cit. that, if is an open ideal of contained in the kernel of , one has isomorphisms
(4) A ⊗̂ B = lim_𝓁 **C**(k/𝓁)^* ⊗̂_k B ≃ Hom_{k/𝓁_0}(**C**(k/𝓁_0), B) ≃ Hom_B(**C**(B), B),
and we shall denote by the right-hand term. Finally, by Lemma 1.3.5.A applied to the artinian ring , one has a natural isomorphism
(5) Hom_{B-coalg.}(B, **C**(B)) ⥲ Hom_{Alp/B}(**C**(B)^*, B).
Then, combining (1), (5), (4), (3) and (2), one obtains, when is a flat -coalgebra, an isomorphism of functors:
(⋆) Spf^*(**C**) ≃ Spf(A) = Spf(Γ^*(**C**)).
Consequently, if one denotes by the affine algebra of a formal -variety , one obtains, taking 1.2.3.E into account:
Proposition 1.3.5.D. (i) The functors and define an equivalence between the category of topologically flat formal -varieties and that of flat -coalgebras.
(ii) Moreover, this equivalence "commutes with base change": if is a morphism of pseudocompact rings, then corresponds to .
1.3.6.
In the rest of this Exposé, we shall several times define a topologically flat formal -variety by exhibiting the coalgebra . We shall then need to interpret by means of certain geometric properties of . We give here an example of this situation: suppose given a section of the structure morphism and ask ourselves under what condition induces an isomorphism on the underlying topological spaces.63
To begin, suppose artinian. Let be a flat -coalgebra, and the profinite -algebra dual to . Suppose given a morphism of -coalgebras , i.e., an element of such that and . On the one hand, defines a continuous algebra morphism , and hence a section of the projection .
On the other hand, one defines -submodules of by setting and, for ,
H_n = {x ∈ H | Δ(x) − x ⊗ φ ∈ H_{n-1} ⊗ H^+};
this is also valid for if one sets . One sees, by induction on , that . We say that is the filtration of defined by .
Remark. Since , one has . Since is cocommutative (i.e. , where ), one also has . When is flat over , it follows that is a sub-coalgebra of (see also 1.3.6.A (iii) below). But in general, does not factor through .64
Lemma 1.3.6.A. Let be an artinian ring, a flat -coalgebra, the dual profinite -algebra, an element of such that and . Let be the continuous algebra morphism, the section of , and the filtration of defined by . Set .
(i) For every , is the orthogonal in of the closure of .
(ii) Consequently, induces a bijection of the underlying sets if and only if .65
(iii) If moreover each is flat over , then for every ,
(∗) Δ(H_n) ⊂ ∑_{i=0}^n H_i ⊗ H_{n-i};
in particular, each is then a sub-coalgebra of .
Proof. Note that, for every , the map , is continuous, so if is annihilated by , so is its closure . We set then, for every ,
(I^n)^⊥ = {x ∈ H | f(x) = 0, for every f ∈ I^n}.
Suppose that is a bijection of onto . Since
is contained in the intersection of the , it follows from 0.1.2 that the sequence of ideals
tends to 0. Let then ; since is an open and closed
-submodule of , it contains for large enough; in other words, for
large enough.
Conversely, suppose that . Let be an open prime ideal of ; by the definition of the topology of (0.2.2), contains an open -submodule of the form
V(x_1, …, x_s) = {f ∈ A | f(x_1) = ⋯ = f(x_s) = 0}.
By hypothesis, there exists an integer such that , and so . Moreover, since is artinian, is a finite set and there exists an integer such that , whence
So contains the product of the ; since is prime, it follows that contains, hence equals, one of the . One has thus shown that:
σ is a bijection ⟺ H = ⋃_n (I^n)^⊥.
On the other hand, one has ; denote by the projection of kernel . For every , let be the "iterated" comultiplication , the composite of with the projection , and
H'_n = Ker(Δ̄^n) = {x ∈ H | Δ^n(x) ∈ ∑_{i=0}^n H^{⊗(n-i)} ⊗ H_0 ⊗ H^{⊗i}}.
(One sets , whence .) One sees easily, by induction on , that
Up to this point, one has not used the hypothesis that is flat over . Suppose now flat, hence projective over
, so that A^† = H by 0.2.2, and let us show that . This is clear for . Assume
it verified for . Then is the kernel of the morphism H → (I^r)^†, and so, since is flat, the
morphism
(H/H_{r-1}) ⊗ H^+ ⟶ (I^r)^† ⊗ H^+
is injective. On the other hand, the hypothesis implies that is a projective pseudocompact -module (since a direct factor of ), whence, by 0.3.6,
(I^r ⊗̂ I)^† ≃ (I^r)^† ⊗ I^† = (I^r)^† ⊗ H^+.
Then the exact sequence
I^r ⊗̂ I ⟶ A ⟶ A/I^{r+1} ⟶ 0
gives by duality the exact sequence:
(1) (I^r)^† ⊗ H^+ ←δ─ H ←─ (A/I^{r+1})^† ←─ 0,
where is obtained by composing with the projection:
(2) H ⊗ H ⟶ H ⊗ H^+ ⟶ (H/H_{r-1}) ⊗ H^+ ↪ (I^r)^† ⊗ H^+.
Now, for every , the projection of onto is . Then (1)
and (2) show that if belongs to (A/I^{r+1})^† = (I^{r+1})^⊥, then belongs to the
kernel of the map , that is, to , so
. This completes the proof of points (i) and (ii), and also shows that .
Let us prove (iii). For every , set . Let . For every , belongs to and one has:
Δ(x) = ε(x) φ ⊗ φ + x ⊗ φ + φ ⊗ x + Δ̄(x).
So it suffices to show that:
Δ̄(H^+_n) ⊂ ∑_{i=1}^{n-1} H^+_i ⊗ H^+_{n-i}.
For every , factors as:
Δ̄ Δ̄^i ⊗ Δ̄^{n-i-1}
H^+ ─────────→ H^+ ⊗ H^+ ──────────────────→ (H^+)^{⊗(i+1)} ⊗ (H^+)^{⊗(n-i)}
↓ ↑ g
H^+/H^+_i ⊗ H^+/H^+_{n-i-1} ────f─→ H^+ ⊗ (H^+)^{⊗(n-i)} / H^+_i.
Moreover, since and are flat, the maps and above are injective. It follows that is contained in , for every . Point (iii) then follows from the lemma below, applied to and .
Lemma 1.3.6.B. Let be a ring, -modules. Suppose flat for every . Then one has the equality:
⋂_{i=0}^n (E_i ⊗ M + M ⊗ E_i) = ∑_{i=1}^n E_i ⊗ E_{n-i+1}.
Denote by (resp. ) the left-hand (resp. right-hand) term. One easily sees that ; let us show the converse. For , set . For every , since and are flat, the map below is injective, and the composite map:
(E_i/E_{i-1}) ⊗ M ⟶ (E_i/E_{i-1}) ⊗ (M/E_{n-i+1}) ─τ_i→ (M/E_{i-1}) ⊗ (M/E_{n-i+1})
has kernel . Since the image of in is contained in, and contains, this kernel, one deduces that
K_i = K_{i-1} + E_i ⊗ E_{n-i+1},
whence the lemma.
67 To finish this paragraph, let us return to an arbitrary pseudocompact ring . Let be a flat -coalgebra, , the dual profinite -algebra, , so that (cf. 1.3.5). Suppose given a morphism of -coalgebras ; it defines a continuous morphism of -algebras , and hence a section of the structure morphism .
For every object of , denote , where is the element of , and one defines sub--modules of , by setting, for ,
**H**_n(B) = {u ∈ **H**(B) | Δ(u) − u ⊗ φ_B ∈ **H**_{n-1}(B) ⊗ **H**^+(B)}.
One thus obtains a filtration of . By what precedes, one has:
Proposition. In order for to induce an isomorphism on the underlying topological spaces, it is necessary and sufficient that be the union of the .
1.4. Theorem.
Theorem 1.4. Let be a pseudocompact ring and an equivalence couple in (cf. Exp. V, § 2.b) such that is topologically flat.
(i) The canonical projection of onto () is surjective and topologically flat, and the morphism with components and is an isomorphism.
(ii) If is topologically flat over , then so is .
Let us first note that (ii) follows from (i), by 1.3.3 (ii). The proof of (i) occupies paragraphs 1.4.1, 1.4.2 and 1.4.3.
1.4.1.
Let us first show that one may reduce to the case where has a single point. Since we are dealing with an equivalence
couple, one sees as in Exp. V, § 3.e), that one defines an equivalence relation on the
underlying set of by declaring two points x, y to be equivalent if there exists a point of such that
and . One may evidently suppose without loss of generality that contains a single
equivalence class for this relation, in other words that has a single point (see the construction of
given in 1.2).
In this case, let be an arbitrary point of and the formal variety which has as its only point and the same local ring as at . One sees then as in Exp. V, § 6, that the equivalence relation induced by on again satisfies the hypotheses of the theorem and that it suffices to give the proof for the latter equivalence relation ( is a "quasi-section").
Let us briefly recall the principle of the proof given in Exp. V, § 6. Set , where is the inclusion of in ; let and be the morphisms with source induced respectively by and :
v u
X ←─────── V ─────────→ U.
It is clear that and are topologically flat and that is surjective; since contains a single equivalence class, is surjective. If is the inverse image of the equivalence couple under (cf. V, 3.a)), it follows from V, 3.c) and 3.d) that and the quotient of by the equivalence relation induced by are both identified with . One sees then, as in the proof of V, 6.1, that if the conclusion of Theorem 1.4 is verified for , it is also verified for .
1.4.2.
We are thus reduced to the case where has a single point.68 Consider then the following commutative diagram (cf. V, § 1, (0,1,2)):
d'₁ d₀
X₂ ───────── X₁ ─────────→ X
d'₀
d'₂ d₁
d₁
X₁ ─────────→ X ─────────→ X/X₁
d₀
where is the fiber product , and where , and are respectively the morphisms "", "", and "".69
If , , and denote respectively the affine algebras of , , and , the preceding diagram induces a commutative diagram:
j₁ i₀
A₂ ←───────── A₁ ←───────── A
j₀
j₂ i₁ i
i₁ i
A₁ ←───────── A ←──────── B
i₀
in which the two rows are exact and the squares determined by and are cocartesian.
Since the morphism with components and is a monomorphism by hypothesis, the
morphism A ⨶_k A → A₁ with components and is surjective, by Proposition 1.3.
This means that makes into a pseudocompact -module (assumed topologically free), generated by . Since is local, Lemma 1.4.3 below yields the existence of a topologically free -module and a morphism of pseudocompact -modules such that the morphism
α₁ : A ⨶_k V ─→ A₁, a ⨶ v ↦ i₁(a) · i₀(f(v))
is invertible. Let `α : B ⨶_k V → A` and `α₂ : A₁ ⨶_k V → A₂` be the morphisms:
b ⨶ v ↦ i(b) · f(v) and a₁ ⨶ v ↦ j₂(a₁) · j₀ i₀(f(v)).
In the following commutative diagram, the two rows are therefore exact and the two left-hand squares are cocartesian. Since is invertible, the same holds for , hence for .
j₁ i₀
A₂ ←──────────── A₁ ←──────────── A
j₀
α₂ α₁ α
i₁ ⨶ V i ⨶ V
A₁ ⨶_k V ←─── A ⨶_k V ←─── B ⨶_k V.
i₀ ⨶ V
This shows on the one hand that is topologically free over , with pseudobasis (cf. 0.2.1), and that one
obtains a pseudobasis of over (where is considered as an -module via ) by taking the image
under of ; this entails that the morphism A ⨶_B A → A₁ with components and is
invertible:
A ⨶_B A ≃ A ⨶_B B ⨶_k V ≃ A ⨶_k V ≃ A₁.
This proves Theorem 1.4, modulo Lemma 1.4.3 which follows.
1.4.3. Lemma.
Lemma 1.4.3. Let be a pseudocompact ring, a local profinite -algebra, a topologically free -module and a morphism of pseudocompact -modules. Suppose that the map
A ⨶_k M ─→ A₁, a ⨶ m ↦ a · i₀(m)
is surjective. Then there exist a topologically free -module and a morphism of pseudocompact -modules such that the map
A ⨶_k V ─→ A₁, a ⨶ v ↦ a · i₀(f(v))
is bijective.
Since every pseudocompact -module is the quotient of a topologically free -module (cf. N.D.E. (27)), one may
suppose without loss of generality that is topologically free; so let us take for the
direct product of a family of copies of . In this case, A ⨶_k M is none other than the product
∏_{i ∈ I} A ⨶_k M_i. Since the map a ⨶ m ↦ a · i₀(m) is surjective and is projective, the kernel of this map
is a direct factor of A ⨶_k M; since is local, it follows from the exchange theorem (0.3.4) that this kernel has
as supplement a partial product ∏_{i ∈ J} A ⨶_k M_i, where denotes some subset of . One may therefore take
.
1.5.
Let be a pseudocompact ring.
Definition 1.5. We shall say that a family of morphisms of is a topologically flat surjective family if the morphism induced by the is surjective and topologically flat; this means that each is topologically flat and that every point of belongs to the image of at least one of the .
It follows from 1.3.3 that the topologically flat surjective families define a pretopology on (IV 4.2.5); the corresponding topology will be called the flat topology on .
By IV, 4.3.5, a functor is a sheaf for the flat topology if and only if transforms every direct sum into a direct product and the sequence
F(f) F(pr₁)
F(Y) ─────────→ F(X) ──────────────⇉ F(X ×_Y X)
F(pr₂)
is exact for every topologically flat surjective morphism .
By IV, 4.5, Proposition 1.3.1 implies that the flat topology is less fine than the canonical topology, i.e., for every object of , the functor is a sheaf for the flat topology. (In what follows, one will identify, as usual (cf. Exp. I), with .)
By IV, 4.6.5, one may reformulate Theorem 1.4 as follows.
Theorem 1.5. Let be a pseudocompact ring, an equivalence couple in , and the formal quotient variety (i.e., , cf. 1.2). If is topologically flat, then represents the quotient sheaf for the flat topology.
1.6.
To complete these generalities on formal varieties, it remains to define briefly the étale formal varieties over .70
Recollections 1.6.A. (i) Let us first recall (cf. EGA 0_{IV}, 19.10.2) that a topological -algebra is said
to be formally étale over (for the topologies given on and , resp. for the discrete topologies) if, for
every discrete topological -algebra (not necessarily artinian), and every nilpotent ideal of , every
continuous morphism of -algebras lifts in a unique way to a continuous morphism ( being
endowed with the given topology, resp. with the discrete topology). One sees at once that this property is preserved by
base change, i.e., for every morphism of pseudocompact rings, A ⨶_k k' is then formally étale over . On
the other hand, one sees easily that it suffices to verify the lifting condition for every ideal of square zero, cf.
EGA IV_4, 17.1.2 (ii). One says that is étale over if it is formally étale over for the discrete
topologies, and if moreover is a -algebra of finite presentation (cf. EGA IV_4, 17.3.2 (ii)). In what follows,
being a pseudocompact ring and a profinite -algebra, one will use "formally étale" in the sense of the given
topologies (unless otherwise stated).
(ii) Recall also that if is a monic polynomial of degree , separable (i.e., such that the
ideal generated by and its derivative polynomial is k[T]), then the -algebra (which is free
of rank over , and endowed with the product topology) is formally étale over . Indeed, let be a discrete
-algebra (so that the kernel of is an open ideal of ), an ideal of of square zero, and
a continuous morphism of -algebras. Note that, being a -module free of finite rank, lB is
an open ideal of , hence every lifting of is automatically continuous. Let be the image
of in and an arbitrary lifting of in ; then (since is a root of
); on the other hand there exist such that , hence
, and the right-hand term is invertible, since is of square zero,
hence is invertible. Let us seek such that be a root of ; this amounts to
, and as is invertible, this has the unique solution
. Of course, the same proof (without making continuity hypotheses on the morphisms
, and ) shows that is also an étale -algebra.
(iii) Recall finally that if is a finite product , then is formally étale
over if and only if the are.71 Indeed, it suffices to see this for , in which case let
be the idempotent such that and , and suppose given a continuous morphism
, where is an ideal of square zero. Since the polynomial is separable (one has
and ), the idempotent of lifts in a unique way to an idempotent of
, whence , and then to give a lifting of amounts to giving two morphisms
and , lifting the restrictions of to and
. The same argument shows that if is an idempotent of such that , then is formally étale over
if and only if it is so over the localization (which is identified with ke).
Let now be a -formal variety and its affine algebra. If is a point of (i.e., a maximal open ideal of ), with image in , one will denote by or the local component of corresponding to .
Definition 1.6.B. The following conditions are equivalent:
(a) is formally étale over .
(b) For every , is formally étale over (or over ).
(c) For every open ideal of , A ⨶_k (k/l) = A/Al is formally étale over .
(d) For every and every open ideal of , is formally étale over .
We shall say that is étale over if it satisfies these conditions, and one denotes by the full subcategory of formed by the formal varieties étale over .72
Note that if is a continuous morphism of -algebras, where is a discrete -algebra and an ideal of square zero, then is an open ideal of , hence is artinian, hence is contained in only a finite number of maximal open ideals , hence contains the product of the components for , which equals where denotes the idempotent of such that . Thus and it amounts to the same to give a continuous lifting of or of the morphism from to , induced by .
On the other hand, one knows (cf. N.D.E. (24)) that . Taking these remarks and the preceding recollections into account, one easily obtains the equivalence of the indicated conditions.
Definitions 1.6.C. Set , endowed with the product topology, i.e., the formal variety is the direct sum of the , for . On the other hand, one denotes by the scheme direct sum of the , for .
For every formal variety over , one denotes by X_κ = X ⨶_k κ(k) the formal variety over obtained
by base change, i.e., has the same points as and for every , of projection on ,
one has O_{X_κ, x} = O_{X, x} ⨶_k κ(s). This base change functor sends
into (cf. 1.6.A (i)).
One then has (cf. SGA 1, I 6.2):
Lemma 1.6.D. For every and , the canonical map
Hom_{Vaf_/k}(X, Y) ─→ Hom_{Vaf_/κ(k)}(X_κ, Y_κ)
is bijective. In particular, the functor is fully faithful (and one will see below that it is an equivalence).
Indeed, let (resp. ) be the affine algebra of (resp. ) and the radical of , and suppose given a
morphism B ⨶_k κ(k) → A ⨶_k κ(k) or, what amounts to the same, a morphism .
For every open ideal of , there exists such that , whence
, and since the multiplication map is continuous, one also has
, i.e., is a nilpotent ideal of . Consequently, lifts in a unique way to a
morphism . By uniqueness, these morphisms form a projective system, hence give a continuous
morphism . Moreover, is unique since if is a second lifting of ,
then and coincide modulo lA for every , hence are equal.
Proposition 1.6.E. (a) Let be a formal variety over and its affine algebra. The following conditions are equivalent:
(i) is étale over .
(ii) is topologically flat over and the diagonal morphism ∆ : X → X × X is a local isomorphism, i.e., ∆_X
induces an isomorphism O_{X×X, ∆(x)} ⥲ O_{X, x} for every point of .
(iii) For every , of projection on , is isomorphic to , where is a monic separable polynomial (cf. 1.6.A (ii)).
(iv) is topologically flat over , and, for every point , of projection on ,
O_{X, x} ⨶_k κ(s) is a finite separable extension of .
(v) For every open ideal of , each local component of A ⨶_k (k/l) is a finite étale algebra over the artinian
ring .
(b) is identified with the category of étale schemes over (cf. 1.6.C), and the functor induces an equivalence of categories (cf. SGA 1, I 6.1).
Proof. (a) Let denote the kernel of the multiplication morphism m : A ⨶_k A → A. Suppose étale over ,
i.e., formally étale over . Then, by EGA 0_{IV}, 20.7.4, the Hausdorff completion of , for the quotient
topology of that of , is zero, i.e., one has . Now, for every , is contained in the maximal
ideal m_{∆(x)} of A ⨶_k A, hence the localization I_{m_{∆(x)}} is contained in the maximal ideal of
O_{X×X, ∆(x)}, and so, by Nakayama's lemma 0.3, one has I_{m_{∆(x)}} = 0, and hence ∆ : X → X × X is a local
isomorphism.
Suppose now that ∆ is a local isomorphism and that is a field , and let us show that each is a
finite-dimensional étale -algebra. Replacing by , one may suppose that is
local. One proceeds then as in the proof of EGA IV_4, 17.4.1, (b) ⇒ (d''). Let be a finite normal extension of
containing the residue field , and let B = A ⨶_κ K = A ⨶_κ K (since , then
−⨶_κ K and − ⨶_κ K coincide) and X_K = Spf(B) = X ⨶_κ K. Then ∆_K : X_K → X_K ⨶_K X_K is again a local
isomorphism, so for every , the multiplication B_y ⨶_K B_y → B_y induces an isomorphism
(B_y ⨶_K B_y)_{m_{∆_K(y)}} ⥲ B_y. Now, since the residue field of is (cf. for example VI_A, 1.1.1, N.D.E.
(11)), C = B_y ⨶_K B_y is already a local ring (indeed, n = m_y ⨶_K B_y + B_y ⨶_K m_y consists of topologically
nilpotent elements, hence is contained in the radical of , and C/n = K ⨶_K K = K is a field), hence one obtains
that the multiplication morphism B_y ⨶_K B_y → B_y is an isomorphism. Taking a pseudobasis of over
containing the unit element 1, one deduces that . Since moreover is finite over , X_K is a finite
set, hence B = A ⨶_κ K is the product of a finite number of copies of , and this entails that is a finite étale
-algebra.
One thus obtains that, if is a field, every profinite -algebra étale over is the product of finite separable extensions of , endowed with the product topology, hence the formal variety is the direct sum of the , and one deduces that is identified with the category of étale -schemes.
What precedes shows the implication (ii) ⇒ (iv) (since O_{X, x} ⨶_k κ(s) is formally étale over ), and
entails point (b) of 1.6.E. Indeed, let be again an arbitrary pseudocompact ring. By what precedes,
is identified with the category of étale schemes over . Let us show that
induces an equivalence .
Taking 1.6.D into account, it suffices to show that for every and every finite separable extension of
, there exists an étale -algebra such that A ⨶_k κ(s) ≃ K. Let be a primitive element of
the extension , its degree, and a monic polynomial of degree whose image
in is the minimal polynomial of . Since is invertible in , it
follows from Nakayama's lemma that is invertible in , hence is a separable polynomial and hence,
by 1.6.A (ii), is an étale -algebra such that A ⨶_k κ(s) ≃ K. One thus obtains that every
local profinite étale -algebra is free of finite rank over (hence a fortiori topologically free over
), and hence every profinite étale -algebra is topologically free over .
On the other hand, condition (v) implies condition (d) of 1.6.B, hence implies (i). One has thus obtained that (i),
(iii) and (v) are equivalent, and imply (ii), which implies (iv). Finally, let be a profinite -algebra satisfying
(iv); let us show that is formally étale over . For this, one may suppose and local; denote by
the residue field of . By hypothesis, K = A ⨶_k κ is a finite separable extension of , say of degree .
By what we have seen above (and taking Lemma 1.6.D into account), there exists then a -algebra free of rank ,
formally étale over , and a continuous morphism such that φ ⨶_k κ is an isomorphism. Since is
topologically flat over , this entails that Coker(φ) ⨶_k κ = 0 and also Ker(φ) ⨶_k κ = 0; by Nakayama's lemma
0.3, one therefore has , hence is an isomorphism (cf. the proof of 0.2.B). This
completes the proof of 1.6.E.
Let be a formal variety over . For every , of projection on , the residue field is a finite extension of and one denotes by the separable closure of in .
Proposition 1.6.F. (i) The inclusion of in has a left adjoint : the variety has the same points as , and for every , of projection on , let be a primitive element of , its degree, an arbitrary lifting of in , and monic of degree annihilating ; one sets . Then for every , the canonical maps below are bijective:
Hom_{Vaf_/k}(X, Y) ────⥲────→ Hom_{Vaf_/κ(k)}(X_κ, Y_κ)
↑
≀
Hom_{Vaf_/k}(X_e, Y) ────⥲───→ Hom_{Vaf_/κ(k)}((X_e)_κ, Y_κ),
the vertical arrow being induced by the inclusions for every . This defines, in particular, a morphism , and every morphism of -formal varieties , with étale over , factors uniquely through .
(ii) The functor commutes with finite products.
Indeed, (i) follows from 1.6.E (b) and 1.6.D. Let us prove (ii). Taking the equivalence of categories 1.6.E (b) into
account, one may suppose that is a field. In this case, one sees easily that if is a semi-local -formal
variety, i.e., one whose affine algebra is semi-local, then the affine algebra of is the largest subalgebra
of which is étale over ; let us denote it by . One thus reduces to seeing that if K, L are two
finite-degree extensions of , then the inclusion K_e ⨶ L_e ⊂ (K ⨶ L)_e is an equality. Let be the
characteristic exponent of (i.e., if and otherwise), then for every x ∈ K ⨶ L,
there exists such that x^{p^n} ∈ K_e ⨶ L_e, hence every subalgebra of K ⨶ L is radicial over
K_e ⨶ L_e, and it follows that K_e ⨶ L_e = (K ⨶ L)_e.
Note, keeping the preceding notations, that is not necessarily a subalgebra of , but this is the case when is topologically flat over , by the following proposition.
1.6.1.
Let be an étale -formal variety and a morphism of . Then one has the cartesian square below, where is the graph morphism , with components and ,
Γ_f
X ───────→ X × Y
f f ⊠ id_Y
∆_Y
Y ───────→ Y × Y.
It follows that is a local isomorphism, hence that is topologically flat if is, for example if is topologically flat over .
Conversely, since is topologically flat, will be as well if is so (cf. 1.3.3). Taking in particular to be the canonical morphism of 1.6, one obtains:
Proposition 1.6.1. Let be a formal variety over . The morphism is topologically flat if and only if is topologically flat over .
Remark 1.6.2.73 When is a perfect field, the functor is also right adjoint to the inclusion . Indeed, in this case one has for every , and the canonical projections define a morphism , which is a section of . For every morphism the diagrams below are commutative:
f
O_{Y, f(x)} ─→ O_{X, x} X ──────→ Y
↑ ↑
s_X s_Y
f_e
κ(f(x)) ────→ κ(x) X_e ────→ Y_e
hence is functorial in , and it follows that is right adjoint to the inclusion
. Hence, being a right adjoint, commutes with inverse
limits when they exist in ,74 hence in particular with finite products. (This can
also be verified directly: for every -formal variety , of affine algebra , has as affine algebra the
quotient of by its radical , and since is perfect, the quotient of O_{X, x} ⨶ O_{Y, y} by its radical is
the algebra κ(x) ⨶_k κ(y), since the latter is semi-simple.)
2. Generalities on formal groups
2.1.
Let be a pseudocompact ring and a -formal group, that is, a group of the category of formal
varieties over . Let be the affine algebra of . The composition law of evidently defines a diagonal
morphism, that is, a homomorphism of profinite -algebras ∆_A : A → A ⨶_k A; this homomorphism satisfies the
following conditions:
(i) the diagram
∆_A
A ───────────────→ A ⨶_k A
∆_A ∆_A ⨶ id_A
id_A ⨶ ∆_A
A ⨶_k A ────────→ A ⨶_k A ⨶_k A
is commutative.
(ii) there exists an augmentation (necessarily unique), that is, a homomorphism of profinite -algebras such that the composite maps
∆_A ε_A ⨶ id_A
A ───────→ A ⨶_k A ───────────→ k ⨶_k A ≃ A
and A ───────→ A ⨶_k A ───────────→ A ⨶_k k ≃ A
∆_A id_A ⨶ ε_A
are the identity maps of .
(iii) there exists an antipodism (necessarily unique), that is, a homomorphism of profinite -algebras such that the composite map
∆_A c_A ⨶ id_A m_A
A ───────→ A ⨶_k A ─────────────→ A ⨶_k A ──────→ A
is equal to , where denotes the linear map sending a ⨶ b to ab and
the map from into .
Conversely, the data of (∆_A, ε_A, c_A) satisfying (i)–(iii) endows with a structure of -formal
group.75 Explicitly, for every profinite -algebra , the set of
continuous morphisms of -modules is endowed with a group structure, functorial in , defined by
φ · φ' = m_B ∘ (φ ⨶ φ') ∘ ∆_A,
the neutral element being (where is the multiplication of and the map from into ), and being the inverse of ; and the set of continuous morphisms of -algebras is a subgroup of it (since the algebra is commutative).
Definition 2.1. A morphism of -formal groups is, by definition, a morphism of -formal varieties which respects the group structures. If (resp. ) is the affine algebra of (resp. ) and if is the morphism corresponding to , this amounts to saying that is compatible with the comultiplications, i.e.,
(f ⨶ f) ∘ ∆_A = ∆_B ∘ f
(the conditions and being then automatically satisfied). One will denote by the category of -formal groups.
Notations. In what follows, we shall call augmentation ideal of the ideal , and we
shall denote by the pseudocompact -module , that is, the quotient of I_A by the
closed ideal generated by the products xy, for .
2.2.
Let be a group of the category of coalgebras over , i.e., for every object of , is
endowed with a structure of -coalgebra in groups (cf. VII_A 3.2; following Manin, we shall say
bialgebra76 instead of coalgebra in groups); moreover, if is a morphism of
, the map D ⨶_C H(C) → H(D) is a homomorphism of -bialgebras.
Definition 2.2. We shall summarize the above properties by saying that is a bialgebra over .
It is clear that the functor of 1.3.5 commutes with finite products. It therefore transforms a bialgebra over into a -group functor, that is, a (covariant) functor from to the category of groups.
And indeed, for every -algebra of finite length, the elements of
Spf*(H)(C) = Spf*(H(C)) = {x ∈ H(C) | ε(x) = 1 and ∆(x) = x ⊗ x}
form a group for the multiplication of the algebra (cf. VII_A 3.2.2). Note moreover that the condition
∆(x) = x ⊗ x entails the equality , hence also if is local and
.77
2.2.1.
A bialgebra over is said to be flat if the underlying module is flat (cf. 1.2.1).78
If is flat then, by 1.3.5, is a topologically flat profinite -algebra, and
is isomorphic, as a functor from to (Ens), to the functor
Spf(A) : C ↦ Hom_{Vaf_/k}(Spf(C), Spf(A)).
The group structure of thus endows with a structure of formal group, which is described explicitly as follows.
For every object of , since the -module underlying is projective, one deduces from Lemma 1.2.3.A, by induction on , natural isomorphisms:
H(C)*^⨶(n+1) ≃ Hom_C(H(C), (H(C)*)^⨶ n)
≃ Hom_C(H(C), (H(C)^⨶ n)*) ≃ (H(C)^⨶(n+1))*.
One deduces from this (for ) that the -algebra structure of endows with a diagonal map satisfying conditions 2.1 (i)–(iii), all of this functorially in .
Consequently, is endowed with a structure of cogroup in , which defines on the announced formal group structure.
Conversely, let be a topologically flat -formal group, of affine algebra , and denote by the
-coalgebra (cf. 1.2.3). The diagonal morphism ∆_A : A → A ⨶_k A then induces, for every -algebra
of finite length, a -linear map
V_kf(A)(C) ⊗_C V_kf(A)(C) ─→ V_kf(A)(C)
which makes the coalgebra into a -bialgebra. One says that is the covariant bialgebra of the formal group .79 Therefore, by Proposition 1.3.5.D:
Proposition 2.2.1. (i) The functors and define an equivalence between the category of topologically flat -formal groups and that of flat -bialgebras.80
(ii) This equivalence "commutes with base change": if is a morphism of pseudocompact rings, then
H(G ⨶_k K) = H(G) ⨶_k K and 𝒢(H ⨶_k K) = 𝒢(H) ⨶_k K.
When is an artinian ring and a topologically flat -formal group, the functor is evidently determined by its value at . One will also say that is the (covariant) bialgebra of .81 Consequently, denoting by the category of -Hopf algebras and the full subcategory formed by -Hopf algebras flat over and cocommutative, one obtains:
Corollary 2.2.1. Let be an artinian ring.
(i) The functors and define an equivalence between the category of topologically flat -formal groups and .
(ii) This equivalence "commutes with base change": if is a morphism of artinian rings, then
H(G ⨶_k K) = H(G) ⨶_k K and 𝒢(H ⨶_k K) = 𝒢(H) ⨶_k K.
On the other hand, let us denote the full subcategory of formed by the -Hopf algebras flat over and commutative, and recall that the functor is an anti-equivalence of the category of affine -group schemes onto .
2.2.2.
Let us suppose for simplicity that is artinian and let be a topologically flat -formal
group.82 Then is commutative if and only if its affine algebra has a cocommutative
comultiplication, which is equivalent to saying that the bialgebra has a commutative multiplication. In this
case, is a commutative and cocommutative Hopf algebra, flat over ; if one sets
, then D'(G) is a commutative -group scheme, affine and flat over .
Conversely, if is such a -group scheme, its affine algebra is a commutative group in the category of
cocommutative -coalgebras flat over and hence, by 1.3.5.C, one obtains a topologically flat -formal group
by setting:
D(T) = Spf* O(T) = Spf(𝒜), where 𝒜 = O(T)*.
As, by 1.3.5.D, one has canonical isomorphisms and , one obtains canonical isomorphisms:
D(D'(G)) = Spf* O(D'(G)) = Spf* H(G) = G,
D'(D(T)) = Spec H(D(T)) = Spec O(T) = T.
Moreover, denoting by -Gr. the category of -group schemes, one has, by Corollary 2.2.1, functorial isomorphisms:
Hom_{Grf/k}(G, D(T)) ≃ Hom_{H_k}(H(G), O(T)) ≃ Hom_{k-Gr.}(T, D'(G)),
One thus obtains:
Proposition (Cartier duality) 2.2.2. Let be an artinian ring.
(i) The functors and induce an
anti-equivalence between the category of commutative topologically flat -formal groups and the
category of commutative -group schemes, affine and flat, i.e., and D'(G) (resp. and
) are related by the equalities:83
H(G) = O(D'(G)) and O(T) = H(D(T)).
(ii) This anti-equivalence "commutes with base change": if is a morphism of artinian rings, then
D'(G ⨶_k K) = D'(G) ⨶_k K and D(T ⨶_k K) = D(T) ⨶_k K.
(iii) In particular, if is a field, one obtains an anti-equivalence between the category of commutative -formal groups and that of commutative affine -group schemes, which commutes with extension of the base field.
2.3.
Let us now consider an arbitrary -formal group84 , of affine algebra . Let us still denote by the -module dual to and let denote the functorial homomorphism
ϕ_G : H(G) ⨶_k H(G) ─→ H(G × G)
induced by the natural map (0.3.6), for every object of :
(A ⨶_k C)† ⊗_C (A ⨶_k C)† ─→ ((A ⨶_k C) ⨶_C (A ⨶_k C))†.
If is the multiplication of , the composite map
ϕ_G H(m)
H(G) ⨶_k H(G) ────→ H(G × G) ────────→ H(G)
makes into an algebra over ; for every , the unit element of H(G)(C) = (A ⨶_k C)† is the
augmentation of A ⨶_k C (cf. 2.1).85 If is not topologically flat over , is not
necessarily an isomorphism, and hence the morphism induced by the diagonal
morphism "" from into does not necessarily factor through H(G) ⨶_k H(G), i.e.,
is not necessarily an -bialgebra.
For this reason we shall simply say, in the general case, that is the "covariant algebra" of the formal group .
Of course, when is topologically flat over , is an isomorphism, and one recovers the structure of -bialgebra on defined in 2.2.1.
2.3.1. Proposition.
Proposition 2.3.1. Let and be two -formal groups, of affine algebras and . Assume topologically flat over . Then there exists a canonical bijection from onto the set of homomorphisms of unital -algebras such that the diagram
h ⨶ h
H(K) ⨶_k H(K) ──────────→ H(G) ⨶_k H(G)
↑ \
\ ϕ_G
\
(∗) ∆_{H(K)} H(G × G)
/
/
/ δ_G
h
H(K) ────────────────────→ H(G)
is commutative.
Since is topologically flat, is endowed with a structure of bialgebra (cf. 2.2) and ∆_{H(K)} is its
diagonal morphism; in other words, with the notations of 2.3, one has ∆_{H(K)} = ϕ_K⁻¹ ∘ δ_K. When is also
topologically flat over , our proposition follows from the equivalence of categories established in 2.2.1.
In the general case, one may suppose artinian and argue on the algebras H(K) = B† and H(G) = A†. Let
be the set of continuous -linear maps from into and Hom_k(B†, A†) the set of
-linear maps from B† into A†.
By 0.3.6.A, one knows that if M, P are pseudocompact -modules and is projective, the canonical map
Hom_c(M, P) ─→ Hom_k(P†, M†), f ↦ ᵗf
(where ᵗf denotes the transpose of ) is bijective. (One will apply this to M = A ⨶ A and , or and
P = B ⨶ B.)
Let . Consider the diagrams below, where the squares (0) are commutative, and where
the two unnamed vertical arrows are ᵗ(f ⨶ f).
m_A ∆_A
A ⨶ A ────────→ A ────────→ A ⨶ A
f ⨶ f (1) f (2) f ⨶ f
m_B ∆_B
B ⨶ B ────────→ B ────────→ B ⨶ B
ᵗm_A=δ_G ᵗ∆_A=ϕ_G
A† ⊗ A† ─→ (A ⨶ A)† ←────── A† ────── (A ⨶ A)† ←── A† ⊗ A†
↑ ↑ ↑ ↑
ᵗf⊗ᵗf (0) (1') ᵗf (2') ᵗf⊗ᵗf
B† ⊗ B† ─→ (B ⨶ B)† ←────── B† ────── (B ⨶ B)† ←── B† ⊗ B†
ᵗm_B=δ_K ᵗ∆_B=ϕ_K
If corresponds to a morphism of formal groups , then squares (1) and (2) are commutative, and
; consequently, squares (1') and (2') are commutative and ᵗf sends the unit of
B† = H(K) to that of A† = H(G), i.e., ᵗf is a morphism of unital -algebras such that the
diagram of the proposition is commutative.
Conversely, if ᵗf satisfies these conditions, then and the squares (1') and (2')
are commutative. Since, for M = A ⨶ A and (resp. and P = B ⨶ B), the map is
injective, one deduces that squares (1) and (2) are commutative, hence is compatible with the multiplications and
the diagonal morphisms of and . It remains to see that . But it follows from what precedes that
, ∆_B f(1) = f(1) ⨶ f(1) and . The first two conditions entail, by 2.1
(iii), that admits as inverse in ; consequently entails . So
is a morphism of , compatible with the comultiplications of and .
2.3.2.
Let us suppose now, for simplicity, that the ring is artinian. When is topologically flat over , the algebra may be characterized by a universal property (due to Cartier). Recall (cf. 1.2.1) that if is a -module, one denotes by the functor which to every -algebra of finite length associates the -module .86 If is a -algebra (associative, with unit element), so is ; we shall denote by the -group functor which to every associates the multiplicative group of the invertible elements of the algebra :
W(U)×(C) = (U ⊗_k C)×.
Moreover, let us identify with the -group functor C ↦ Hom_{Vaf_/k}(Spf(C), G) and denote by
the set of homomorphisms of -group functors from into .
One has the
Proposition 2.3.2. Let be an artinian ring. For every formal group topologically flat over and for every -algebra , there is a canonical isomorphism
Hom_{k-Gr.}(G, W(U)×) ⥲ Hom_{k-Alg.}(H(G), U).
Let us denote by the affine algebra of ; by hypothesis it is a projective object of , and H(G) = A†. For
every object of , let us denote by U ⨶_k P the projective limit of the -modules ,
where ranges over the open submodules of . One has linear maps
U ⊗_k (P/N) ─→ Hom_k((P/N)*, U)
sending to the -linear map , and forming a filtered projective system. One obtains therefore, by passage to the projective limit, a morphism
ψ_P
(1) U ⨶_k P ─────────────→ Hom_k(P†, U) .
When , is evidently an isomorphism; moreover, the two sides of (1), considered as functors in , commute with infinite products (every product being a filtered projective limit of finite products). One obtains therefore that (1) is an isomorphism when is a product of copies of , then when is a projective object of (the two sides of (1) commuting with finite direct sums).
Let us now denote by the set of morphisms of -functors from into . Since
G = Spf(A) = lim Spf(A/l), where ranges over the open ideals of , one has canonical isomorphisms
Hom_F(G, W(U)) = lim Hom_F(Spf(A/l), W(U)) = lim U ⊗_k (A/l) = U ⨶_k A.
By what precedes, one obtains therefore a canonical isomorphism:
ψ_A
(2) Hom_F(G, W(U)) = U ⨶_k A ──────────────→ Hom_k(H(G), U).
For every -algebra of finite length, the multiplication makes into a monoid with unit, and every morphism of monoids with unit is necessarily a morphism of groups . Consequently, one obtains that is the part of formed by the morphisms of -functors into monoids with unit element.
It remains to see that these morphisms correspond to the -linear maps from into which preserve
multiplication and the unit elements.87 To simplify the writing, H(G) = A† will be denoted and one
will write ⨶ instead of ⨶_k. Let ∆_A, m_A and (resp. ∆_H, m_H and ) denote the
comultiplication, multiplication and augmentation of (resp. ). Let ,
denote by its image in U ⨶ A and the associated -linear map. Then sends the unit
section onto an element of , and since corresponds to the augmentation ,
which is the unit element 1_H of , one sees that if and only if .
Moreover, the morphism corresponds to the element (id_U ⨶ ∆_A)(γ), and this
corresponds, by duality, to the map .
On the other hand, the morphism corresponds to the element γ ⨶ 1_A of
U ⨶ A ⨶ A, which corresponds by duality to . Similarly,
corresponds to the element τ(γ ⨶ 1_A) of U ⨶ A ⨶ A (where τ(u ⨶ a ⨶ b) = u ⨶ b ⨶ a), which
corresponds by duality to . Finally, the multiplication map
μ = m_{U ⨶ A ⨶ A} below:
(U ⨶ A ⨶ A) × (U ⨶ A ⨶ A), (u ⨶ a₁ ⨶ a₂, u' ⨶ a₃ ⨶ a₄) ↦ uu' ⨶ a₁a₃ ⨶ a₂a₄
can be seen as the composite of the endomorphism of (U ⊗ U) ⨶ A^{⨶ 4} which "exchanges the factors
and ", and the map
m_U ⨶ m_A ⨶ m_A
(U ⊗ U) ⨶ A^{⨶ 2} ⨶ A^{⨶ 2} ──────────────────→ U ⨶ A ⨶ A.
One deduces that the map corresponds to the composite map below:
β
H ⊗ H ─────────────────→ U
↑ ↑
id_H ∘ σ_{23} ∘ id_H m_U
H ⊗ H ⊗ H ⊗ H U ⊗ U
(id_H ⊗ ε_H) ⊗ (ε_H ⊗ id_H) φ ⊗ φ
H ⊗ H ────────────────────.
Finally, is compatible with the laws of and of if and only if equals which is equivalent, by what precedes, to . Now it is clear that , and one sees easily that .
2.4.
Let us now return to an arbitrary pseudocompact ring in order to apply to formal groups the results of 1.4–1.5 on passage to the quotient by a topologically flat equivalence relation.88
Let be a monomorphism of -formal groups, the "multiplication" morphism of , and the composite morphism
id_G × u μ
λ : G × H ────────────→ G × G ──────→ G.
Since is a monomorphism, the couple
pr_1
────→
G × H G
────→
λ
is an equivalence couple in (cf. V, 2.b)). Recall (cf. 1.2.C) that the cokernel of this couple is defined as follows.
Let and be the affine algebras of and , ∆ : O(G) → O(G) ⨶_k O(G) the diagonal morphism of ,
and the kernel of the morphism . (One knows, by Proposition 1.3, that
induces an isomorphism .) Then the affine algebra of is the kernel of the
couple of morphisms:
τ_1
───→
O(G) O(G) ⨶_k O(H),
───→
(id ⨶ u^♮)∆
where τ_1(x) = x ⨶ 1, i.e.,
O(G/H) = {x ∈ O(G) | ∆(x) − x ⨶ 1 ∈ O(G) ⨶ I}.
If, moreover, is topologically flat over , then is topologically flat and one deduces from Theorem 1.4 the following theorem.
Theorem 2.4. Let be a monomorphism of -formal groups. Assume topologically flat over . Then the projection is surjective and topologically flat, one has an isomorphism
(∗) G × H ⥲ G ×_{G/H} G
and represents the quotient-sheaf for the flat topology.
Consequently, is endowed with a canonical structure of object with group of operators , such that is a morphism of objects with operators. If moreover identifies with an invariant subgroup of , then is endowed with a canonical structure of -formal group, such that is a morphism of -formal groups, and is the kernel of .
Indeed, the first assertion follows from 1.4; the other two from IV, Corollaries 5.2.2 and 5.2.4.
Corollary 2.4.89 Let be a -formal group, a formal subgroup of , (resp. , )
the affine algebra of (resp. , ), I_A the augmentation ideal of , and . Assume
topologically flat over . Then equals AI_B, the closed ideal generated by I_B.
Indeed, the projection corresponds to the "unit section" of . By ,
is identified with the fiber product , and hence its affine algebra is identified with
(B/I_B) ⨶_B A ≃ A/AI_B.
2.4.A.
Let G, Q be topologically flat -formal groups; assume that there exist homomorphisms and
such that . In particular, is a monomorphism, so is a formal
subgroup of (cf. Remark 1.3). Let and the inclusion . Then is the
semi-direct product of by (cf. I, 2.3.8), i.e., for every , identifying and
with their images in via and , is an invariant subgroup of and the map
(1) μ : N(B) × Q(B) ─→ G(B), (x, q) ↦ xq
is bijective. Then the morphism of -formal varieties
(2) θ : G(B) ─→ N(B), g ↦ g · σπ(g⁻¹)
is a retraction of , the inverse of is the map
and is an isomorphism of -formal varieties. In particular, is topologically flat over , by 1.4 (ii). Denote by (resp. ) the map from (resp. ) to defined setwise by (resp. ). Then one has the following commutative diagram:
id × θ θ × id
G × G ───────────→ G × N ──────────→ N × N
m_G β m_N
θ
G ────────────────→ N.
This may be expressed as follows in terms of the affine algebras , and of , and (cf. 5.1.3 below). Let , and be the homomorphisms of -bialgebras corresponding to , and , and let . Then, by the preceding Corollary, is identified with , where denotes the augmentation ideal of .
On the other hand, let be the affine algebra of ; it is the kernel of the couple of morphisms
τ_1
────→
A A ⨶_k A₀,
────→
(id ⨶ ρ)∆_A
i.e., B = {x ∈ A | ∆_A(x) − x ⨶ 1 ∈ A ⨶ I}. Denote by the continuous morphism of -algebras
; it is a section of and an isomorphism of profinite -algebras from onto
. On the other hand, identifies with a sub-bialgebra of , which is none other than
the affine algebra of the quotient N \ G. One deduces from (1) and (3) that one has an isomorphism of profinite
-algebras
(∗) A' ⨶_k A₀ ⥲ A, a' ⨶ a₀ ↦ γ(a') τ(a₀),
whose inverse is the map a ↦ (ρ' ⨶ ρ)∆_A(a).
Finally, let us identify with its image in via , so that the projection is then
. Denoting by ∆_{A'} the comultiplication of , one deduces from (4) that ∆_A(A') ⊂ A ⨶ A' and that
the following diagram is commutative:
∆_A
A' ────────→ A ⨶ A'
γρ' ⨶ id
∆_{A'}
A' ────────→ A' ⨶ A'
(one also has therefore , where (resp. ) is the antipode of (resp. )). On the other hand, denoting by the multiplication of , one deduces from (2) that, for every ,
γρ'(a) = (m_A ∘ (id ⊗ τρ c_A) ∘ ∆_A)(a).
2.4.B.
Let us suppose, for simplicity, artinian. Then what precedes is expressed more simply in terms of the covariant
bialgebras of G, Q, N. Indeed, since as -formal varieties, then H(G) = H(N) ⨶_k H(Q) as
-coalgebras. Moreover, since the multiplication of is given by
(x, q) · (x', q') = (x α(q, x'), qq'), where α(q, x') = qx'q⁻¹,
the multiplication of is given as follows: for every ,
(x ⊗ q) · (x' ⊗ q') = x φ(q, x') ⊗ qq',
where φ : H(Q) ⨶_k H(N) is the morphism of -coalgebras induced by . Since is the composite
morphism below (where (resp. ) is the diagonal morphism (resp. multiplication) of , the
inversion morphism of , and v(q ⨶ q' ⨶ x) = q ⨶ x ⨶ q'):
v ∘ (δ_G × id) id × id × c_Q m_G
Q × N ────────────────────→ Q × N × Q ─────────────────→ Q × N × Q ──────→ G,
one obtains, denoting still by the antipode of , that
(⋆) φ(q ⊗ x') = Σ_i q_i x' c_Q(q'_i) if ∆_{H(Q)}(q) = Σ_i q_i ⊗ q'_i.
In particular, if is an abstract group and if is the group algebra kM (i.e., is the constant
-formal group ), then for every and one has
, and this defines an action of on by Hopf algebra
automorphisms.
2.4.1. Proposition.
Proposition 2.4.1. Let be a morphism of -formal groups. If is topologically flat over , the homomorphism induced by is a monomorphism.
This is a consequence of the results of Exposé IV;90 we nonetheless give a direct proof. Let be a formal variety of finite length over and an element of such that is the unit element of . We must show that is the unit element of . Denote by the projection and by the fiber product .
By 2.4, is surjective and topologically flat, hence so is the morphism , hence is an epimorphism by Proposition 1.3.1, hence it suffices to show that is the unit element of . Denote by the projection ; one has , whence the equality . Then the exact sequence
f
1 ─────→ H ──────→ G ──────→ K
shows that factors through , hence is the zero morphism. Since , this proves the proposition.
One deduces from the proposition the following corollary. Let and denote the affine algebras of , and ; one has seen (2.4) that induces an injection of into . Moreover, by Proposition 1.3, since is a monomorphism, the morphism is surjective, whence:
Corollary 2.4.1. Let be a morphism of -formal groups and . If is topologically flat over , then is the image of in .
2.4.2.
Let us keep the preceding notations and assume and topologically flat over . Then is topologically flat over and over , hence, by 1.3.3, is topologically flat over . Consequently, by 2.4, the canonical projection from onto is topologically flat and is an isomorphism from onto . It is clear on the other hand that one has . Hence, under the hypothesis that and are topologically flat over , one has obtained an isomorphism between , the image of , and , the coimage of . This entails the theorem below.
Theorem 2.4.2. Let be a field. The commutative -formal groups form an abelian category.
Corollary 2.4.2. Let be a field. The commutative affine -group schemes form an abelian category.91
This follows from the theorem and the equivalence of categories 2.2.2.
2.5.
A -formal group is said to be étale if the underlying formal variety is étale (cf. 1.6); these formal groups have a very simple structure. Indeed, suppose local; let be the residue field of , a separable closure of , and the topological Galois group of over . Let us call a -set the datum of a set and a continuous operation of on (i.e., the isotropy group of every element is an open subgroup of ).
For every -formal variety , one sets:
X(κ_s) = lim X(ℓ),
──→
ℓ
where ranges over the finite extensions of contained in .92 Then
operates continuously on each , hence also on . Moreover, let X_κ = X ⨶_k κ (cf. 1.6.C); for
every one has , whence .
Suppose now étale over ; then is the -formal variety direct sum of the
, for , and if one denotes by the -scheme direct sum of
the , one sees that is none other than
X'_κ(κ_s) = Hom_{(Sch/κ)}(Spec κ_s, X'_κ).
Let us denote the full subcategory of formed by the étale -schemes. One knows that the functor is an equivalence of onto the category of -sets (cf. SGA 1, V §§ 7–8 or [DG70], § I.4 6.4); it therefore induces an equivalence between the category of -groups and that of -groups; now one sees at once that a -group is the same thing as an abstract group endowed with a continuous operation of by group automorphisms (one will then say that is a -group).
Taking into account the equivalences Vaf^ét_/k ⥲ Vaf^ét_/κ ⥲ (Sch^ét_/κ) of 1.6.E, one therefore obtains:
Proposition 2.5. Let be a local pseudocompact ring, its residue field, a separable closure of , and .
(i) The functor is an equivalence of the category of étale -formal varieties onto that of -sets.
(ii) It induces an equivalence of the category of étale -formal groups onto that of -groups.
Remark 2.5.A.93 Let be a field, a separable closure of , an étale -formal group
and the abstract group . Let us denote by a set of representatives of the orbits of
in , and for every let be its stabilizer, which is a
subgroup of of finite index, and , which is an extension of of degree
(see, for example, [BAlg], V § 10.10). Then, by the equivalence of categories above, the affine
algebra of is the product of the , endowed with the product topology, and hence the
are precisely the simple quotients , where is a maximal open ideal of . Since
these correspond by duality to the subcoalgebras of , one obtains that is pointed (i.e.,
for every simple subcoalgebra ) if and only if for every , and in this case is the
topological algebra , hence is the group algebra kM, and one has
M = {x ∈ H(G) | ε(x) = 1 and ∆(x) = x ⊗ x} = G(k).
2.5.1.
Let us now suppose an arbitrary pseudocompact ring. Since the functor of 1.6.F commutes with finite products, it transforms every formal group into an étale formal group , and since the morphism of loc. cit. is functorial in , then is in this case a morphism of formal groups.
Consider the kernel ;94 it is the fiber product of the diagram:
G
p
ε
Spf(k) ──────→ G_e
where is the unit section of . Since induces a bijection on the underlying sets, one deduces (cf.
1.2, N.D.E. (41)) that has as underlying set the image of under and that for every point
of , the local algebra of at the point is O_{G, ε(s)} ⨶_{O_{G_e, ε(s)}} k_s.
Moreover, at each point , the residue field of is , and hence
, whence . For these reasons we shall say
that is the infinitesimal neighborhood of the origin of and we shall write , thereby
obtaining an exact sequence:
incl. p
1 ──────→ G⁰ ─────────────→ G ──────→ G_e.
In what follows, we shall say that is infinitesimal if .95 This is equivalent to saying that for every , or also for every continuous morphism , where is a field endowed with the discrete topology, the unit element is the unique element of resp. of .
Suppose furthermore that is topologically flat over .96 Then, by 1.6.1, the morphism is topologically flat, and since it is bijective, it is therefore an effective epimorphism by Proposition 1.3.1. Consequently, is identified with the quotient . One has therefore obtained:
Corollary 2.5.1. Let be a formal group topologically flat over . Then is identified with the quotient ; i.e., one has an exact sequence of formal groups:
incl. p
1 ──────→ G⁰ ─────────────→ G ──────→ G_e ──────→ 1.
2.5.2.
Suppose is a perfect field. In this case, one has seen (cf. 1.6.2) that the morphism admits a section which depends functorially on ; this section is therefore a morphism of formal groups when is a formal group. One obtains thus:
Proposition 2.5.2. When is a perfect field, every -formal group is canonically isomorphic to the semi-direct product of an infinitesimal group and an étale group operating on .97
If, moreover, is commutative, then is the product of and of . By 2.2.2, this canonical decomposition of commutative -formal groups corresponds to an analogous decomposition of affine commutative -group schemes; see paragraph 2.5.3 below.
Remark 2.5.2.A.98 The exact sequence is not necessarily split when is not perfect: let us give the following example, taken from [DG70], § III.6, 8.6. Let be a non-perfect field of characteristic . Let , let be the abelian -Lie algebra with basis , the symbolic -th power (cf. VII_A, 5.2) being given by and , let be the restricted enveloping algebra of (cf. VII_A, 5.3), and let be the commutative -formal group with affine algebra . Then is a non-split extension of the étale constant -group by the infinitesimal -group , i.e., one has a non-split exact sequence of commutative -formal groups:99
0 ─────→ α_{p,k} ─────→ G_λ ─────→ (ℤ/pℤ)_k ─────→ 0.
It corresponds by duality to a non-split exact sequence of commutative -algebraic groups:
0 ─────→ μ_{p,k} ─────→ D'(G_λ) ─────→ α_{p,k} ─────→ 0,
where (and one obtains thus all extensions of by , cf. [DG70], § III.6, 8.6).
2.5.3.
Let be a field.
Definition 2.5.3.A. One says that a commutative -group scheme is unipotent if it is isomorphic to , where is an infinitesimal commutative -formal group.100
On the other hand, following Exp. IX, Definition 1.1, one says that a -group scheme is of multiplicative type
if there exists a scheme , faithfully flat and quasi-compact over , such that H_S is a
diagonalizable -group, i.e., is isomorphic to for some "abstract" abelian group .101 By
(fpqc) descent, this implies that is affine and commutative. On the other hand, since one may replace by the
residue field of one of its points, one sees that is of multiplicative type if and only if there exists an extension
of such that H_K is a diagonalizable -group.
Proposition 2.5.3.B. Let be an affine commutative -group scheme and let be a separable closure of .
(i) For to be of multiplicative type, it is necessary and sufficient that its dual be an étale commutative -formal group.
(ii) Consequently, is of multiplicative type if and only if T ⨶_k k_s is diagonalizable.
Proof. Let denote the affine algebra of and its local component at the neutral element; then
is étale over if and only if . If is an extension of , then the algebra A₀ ⨶_k K is local (since
it is a projective limit of local artinian rings), so it coincides with the local component (A ⨶_k K)₀; moreover,
since the formation of commutes with base change (cf. 2.2.2), one also has A ⨶_k K ≃ D(T_K).
Suppose of multiplicative type; then there exists an extension of such that O(T) ⨶_k K is isomorphic, as a
-Hopf algebra, to the group algebra KM, for some abelian group . Then A ⨶_k K is isomorphic to the algebra
, endowed with the product topology, hence one has K = (A ⨶_k K)₀ = A₀ ⨶_k K and this entails that ,
so is étale.
Conversely, suppose étale. Then D(T) ⨶_k k_s = D(T_{k_s}) is a -constant group , so its covariant
bigèbre is the group algebra (cf. Remark 2.5.A), so O(T) ⨶_k k_s = k_s M, which proves that is of
multiplicative type, and split by the extension . The proposition follows.
By 2.2.2, 2.5.1, and 2.5, one obtains:
Corollary 2.5.3.C. Let be a field and an affine commutative -group scheme.
(i) contains a subgroup of multiplicative type such that is unipotent.
(ii) When is perfect, there exists furthermore a canonical retraction of onto , so that is the product of a unipotent group and a group of multiplicative type.
(iii)102 Let be a separable closure of and . The category of -group schemes of multiplicative type is anti-equivalent to the category of continuous -modules.
2.6.
We shall now study infinitesimal formal groups, to which the following paragraphs are devoted. In this study, Lie algebras play a primordial role.
Suppose first that the base ring is artinian and let be a formal group over . One can give three different interpretations of the Lie algebra of , all of which we shall use:
a) Let be the algebra of dual numbers over and the homomorphism from to which annihilates . For every formal group over , is the kernel of , so that by definition one has an exact sequence of groups
1 ────→ Lie(G) ────→ G(D) ──G(δ)──→ G(k) ────→ 1.
b) Let be the affine algebra of and its augmentation ideal. The group has as elements the morphisms of profinite -algebras . The condition is equivalent to . Since for every , this is equivalent to , hence contains and therefore also (the closure), so induces a continuous linear map such that, for every , one has the equality
f(x) = ε_A(x) · 1_D + f'(x̄) · d,
where designates the image of in . One sees then that the
map defines a bijection of onto the topological dual ω_{G/k}† of (cf. 0.2.2).
This bijection respects the group structures. Indeed, let and be two elements of ; their product
is the composite map h ∘ ∆_A, where h : A ⨶ A → D is such that h(b ⨶ b') = f(b) g(b'). Now if
one has, by 2.1 (ii), ∆_A(a) − a ⨶ 1 − 1 ⨶ a ∈ I_A ⨶ I_A, whence (cf.
also II 3.10).
In what follows, we identify with ω_{G/k}† by means of the bijection described above. The
group is thus endowed with a structure of -module.
c) Let A† and D† be the -modules dual to and , {1_D†, d†} the dual basis of the basis of
over (one has 1_D† = δ). Since is free of finite rank over , the canonical map
Hom_c(A, D) ─→ Hom_k(D†, A†), f ↦ ᵗf
is bijective. On the other hand, is determined by the values and .
The condition is equivalent to the equality . One sees easily on the other hand that is compatible with multiplication if and only if one has (cf. 2.3):
Finally, it is clear that a continuous linear map which is compatible with multiplication and such that sends the unit element of to that of .103 The map thus permits us to identify with the set of "primitive elements" of (i.e., the satisfying relation ). If and are two such elements, one has
δ_G(xy) = δ_G(x) δ_G(y) = ϕ_G(x ⊗ 1 + 1 ⊗ x)(y ⊗ 1 + 1 ⊗ y)
= ϕ_G(xy ⊗ 1 + x ⊗ y + y ⊗ x + 1 ⊗ xy),
whence .
This shows that the -module is identified with a Lie subalgebra of : we shall say that is the Lie algebra of .104
2.6.1.
When is an arbitrary pseudocompact ring and a formal group over , we call -Lie algebra of the
functor which associates to every object of the -Lie algebra of the -formal group
G' = G ⨶_k C:105 set A' = A ⨶_k C, since I_A is a direct factor of , then equals
I_A ⨶_k C = I_A ⨶_A A', and since ω_{G/k} = I_A ⨶_A k and similarly ω_{G'/C} = I_{A'} ⨶_{A'} C, one obtains that
ω_{G'/C} = ω_{G/k} ⨶_A C and hence
Lie(G)(C) = Hom_c(ω_{G/k} ⨶_A C, C) i.e. Lie(G) = V_kf(ω_{G/k})
(with the notations of 1.2.3.B). Therefore, by Proposition 1.2.3.E, is flat over if and only if is a projective pseudocompact -module.
2.6.2.
Conversely, every Lie algebra over defines a -group functor. Indeed, let us denote by the functor
which associates to every object of the enveloping algebra of the -Lie algebra . By
VII_A, 3.2.2, is a bialgebra over and therefore determines, by 2.2, a -group functor which
we shall henceforth denote . Thus, is the group of elements of
augmentation 1 and such that ∆_{U(L(C))}(z) = z ⊗ z.
Moreover, when is flat over , one has the following proposition.
Proposition 2.6.2.106 Let be a flat -Lie algebra.
(i) is a formal group topologically flat over , having as -bialgebra.
(ii) is infinitesimal.
(iii) For every object of , is identified with the set
Prim U(L(C)) = {x ∈ U(L(C)) | ε(x) = 0 and ∆(x) = x ⊗ 1 + 1 ⊗ x}
of primitive elements of . In particular, one has a natural morphism of -Lie algebras .
Indeed, the hypothesis that be flat over means that for every morphism of , one has , and that for each local component of , is a free -module. The first condition entails that (by the universal property of the tensor product and that of the functor ), and the second condition entails, by the Poincaré–Birkhoff–Witt theorem (cf. Bourbaki, Groupes et algèbres de Lie, I 2.7), that is a free -module. Therefore the bialgebra is flat over .
To prove (ii) and (iii), one may suppose artinian. Set then , , and let be the two-sided ideal of generated by the image of . Set in addition, for every ,
U_n = {u ∈ U | ∆_U(u) − u ⊗ 1 ∈ U_{n−1} ⊗ U⁺}.
By 1.3.6, it suffices to show that is the union of the . Now, if one identifies with its
canonical image in , is evidently contained in U_1. If are elements of
, one has ∆_U(x_1 ⋯ x_n) = (x_1 ⊗ 1 + 1 ⊗ x_1) ⋯ (x_n ⊗ 1 + 1 ⊗ x_n), which shows, by induction on , that the
product belongs to , hence that . This proves (ii).
On the other hand, let be the algebra of dual numbers over . By hypothesis one has
, whence , by the universal properties of the tensor product and of
the enveloping algebra. It follows that is identified with the set of elements of
(where ) such that and ∆(z) = z ⊗ z, which is equivalent to
and ∆(x) = x ⊗ 1 + 1 ⊗ x, i.e., to . In particular, the map is a morphism
of -Lie algebras, from to .
2.6.3.
If is a Lie algebra flat over , the formal group may be characterized by a universal
property.107 Indeed, every morphism from into a formal group induces a
morphism Lie(φ) : Lie(𝒢(L)) → Lie(G); composing it with the morphism (cf.
2.6.2), one obtains a morphism , and one has:
Proposition 2.6.3. If is a -formal group and a flat -Lie algebra, the map defined above is a bijection
Hom_{Grf/k}(𝒢(L), G) ⥲ Hom_{Lie}(L, Lie(G))
where the right-hand term designates the set of morphisms of -Lie algebras from to .
One reduces at once to the case where is artinian. Set . By 2.3.1, is in bijection with the set of unital algebra morphisms such that the following diagram is commutative:
h
U(L) ────────→ H(G)
↑ \
\ δ_G
\
∆_{U(L)} H(G × G)
/
/
/ ϕ_G
h ⊗ h
U(L) ⊗ U(L) ─→ H(G) ⊗ H(G)
Now is determined by its restriction to , which is a morphism of Lie algebras from to the Lie algebra underlying , and the commutativity of the diagram means that sends into the part of formed by the such that , which is none other than , cf. 2.6 c).
2.7.
We end these generalities with a statement which goes back to S. Lie and which will serve us in paragraph 5.1. A formal monoid over is by definition a couple consisting of a formal variety and a morphism such that makes into a monoid for every object of .108 In particular, the "unit section", which associates to every object the unit element of , defines a section of the canonical projection . We shall say that the formal monoid is infinitesimal if induces a bijection of the underlying sets.
Proposition 2.7. Every topologically flat infinitesimal -formal monoid is a -formal group.109
We must show that is a group for every object of . One reduces immediately to the case where is artinian. Let then be the coalgebra of (1.3.5); the multiplication induces a morphism of coalgebras , which makes into an associative algebra over ; this algebra has as unit element the image of the unit element of by the map from into induced by the unit section of . Similarly, the projection induces a homomorphism from to ; we shall denote the kernel of .
We must show that there exists an antipodism, that is, a morphism of coalgebras such that, for every ,
(∗) (m_U ∘ (c_U ⊗ id_U) ∘ ∆_U)(x) = ε_U(u) · 1_U.
Let be the filtration of defined in 1.3.6, set . Since is infinitesimal,
is the union of the submodules .110 One sets and if
, i.e., if is a primitive element. Suppose constructed so as to satisfy
for every , and let . By the proof of Lemma 1.3.6.A, one has
∆_U(x) − x ⊗ 1 ∈ U_{n−1} ⊗ U⁺ (this is where the hypothesis that be flat over intervenes), so one may write
∆_U(x) = x ⊗ 1 + Σ_i y_i ⊗ z_i, with ; one then sets .
One obtains thus a -linear map , which is the left inverse of for the monoid law on
, defined by f · g = m_U ∘ (f ⊗ g) ∘ ∆_U (the unit element being the map
). It follows that is uniquely determined, and is also the right inverse
of , i.e., one also has m_U ∘ (c_U ⊗ id_U) ∘ ∆_U = η (without supposing cocommutative).
2.8. Unipotent group schemes over a field.
Let be a field. "Recall" that a -group scheme is said to be unipotent if it satisfies the following two conditions (cf. [DG70], § IV.2, Prop. 2.5):
(a) is affine.
(b) Every simple -comodule is trivial, i.e., if is an -comodule structure on a -vector space , and if there exists no nonzero subspace such that , then is one-dimensional and for every .
By loc. cit., when is of finite type over , this is equivalent to the definition given in Exp. XVII, § 1, namely that possesses a finite composition series whose successive quotients are isomorphic to -subgroups of .
Now, for every affine -group scheme , the comultiplication of endows the pseudocompact -module
with a structure of profinite -algebra, not necessarily commutative, the unit element 1_A being the
augmentation . On the other hand, let ; this is a two-sided
ideal of , and one has , cf. 1.3.6.
Let be a subspace of of finite codimension, consider the continuous -bilinear map
, ; by Lemma 0.3.1, there exist two subspaces of
finite codimension in such that contains AL_2 and ; then is a subspace of
of finite codimension, and contains the two-sided ideal ALA, which is of finite codimension. This shows that the
two-sided ideals of finite codimension form a basis of neighborhoods of 0. One deduces that an -comodule "is the
same thing" as a continuous -module, i.e., an -module such that the map is continuous,
being endowed with the discrete topology. Such a module is evidently the union of submodules of finite dimension
over , each of which is a module over a -algebra quotient of , of finite dimension over . It follows
that if is a simple continuous module, it is of finite dimension over , and is a faithful simple module over the
finite-dimensional -algebra ; the latter is therefore a finite-dimensional simple -algebra, i.e.,
is a maximal open ideal of . Conversely, let be an open prime ideal111 of ; then
is a finite-dimensional -algebra in which the ideal (0) is prime, hence it is a finite-dimensional simple
-algebra, so there exists, up to isomorphism, a unique simple continuous -module whose annihilator is . It
follows that the map defines a bijection between the isomorphism classes of simple continuous
-modules and the open prime ideals of . In particular, the -module , which is one-dimensional over , is
called the "trivial module"; it corresponds to the one-dimensional -comodule which is trivial, i.e., such that
for every . One thus obtains the following proposition:
Proposition 2.8.1. Let be a field, an affine -group scheme and .
(i) Then is unipotent if and only if is the unique open prime ideal of .112
(ii) In particular, if is commutative, so that , where designates the Cartier dual of , then is unipotent if and only if is infinitesimal.
2.9. Pointed cocommutative Hopf algebras over a field.
Let be a field, a -coalgebra, the algebra endowed with the structure of profinite -algebra (not
necessarily commutative) described in 2.8; by 0.2.2, one has C = A† = Hom_c(A, k). One deduces that the map
is a bijection from the set of subcoalgebras of onto that of closed
two-sided ideals (in the sequel, one will simply say "ideals") of ; the inverse bijection being given by
I ↦ I⊥ = {x ∈ C = A† | x(I) = 0}. Since every maximal closed ideal is a maximal open ideal (cf. 0.2.1), every
subcoalgebra therefore contains a simple subcoalgebra, necessarily of finite dimension.
Recall that a subcoalgebra of is called irreducible if it contains only one simple subcoalgebra S_0, which
is equivalent to saying that is the unique maximal open ideal containing , i.e.,
for every maximal open ideal . This is in particular the case if . Then the
sum of all the irreducible subcoalgebras containing S_0 is evidently a subcoalgebra, and it is
irreducible because, for every , one has, by 0.2.D:
m + ∩_i C_i⊥ = ∩_i (m + C_i⊥) = A.
One says that is the irreducible component of corresponding to C_0.
Moreover, one says that is pointed if every simple -subcoalgebra of is one-dimensional; this is equivalent to saying that for every maximal open ideal of , one has . Recall also that is said to be connected if it is irreducible and pointed. (Let us note in passing that if is a bialgebra, it is connected if and only if it is irreducible, since is a simple subcoalgebra.)
Suppose henceforth that is cocommutative. Then is commutative and is therefore the product of its local
components , for (cf. 0.1.1); denote by the simple subcoalgebra
and by its irreducible component. One may describe as follows. Denote
by the kernel of the projection ; it is contained in and is the smallest closed ideal of
such that for every . Indeed, if has this property, then contains for every
, so contains . Since , it follows that is
identified with A_m†. One can now prove the:
Proposition 2.9.1. Let be a field.
(i) Let be a -formal group such that all the residue fields of equal . Then is the constant
-group , where M = G(k) = {x ∈ H(G) | ε(x) = 1 and ∆(x) = x ⊗ x}, and is the semi-direct product of
by kM (cf. 2.4.B).
(ii) Equivalently: let be a cocommutative pointed -Hopf algebra. Then is the semi-direct product of the
irreducible component H_0 of the unit element 1_H by kM, where M = {x ∈ H | ε(x) = 1 and ∆(x) = x ⊗ x}.
Let us prove (i). Since all the residue fields of equal , the projection admits the section
defined by , for every ; moreover, for every ,
O_{G,g} ⨶_k O_{G,h} is local with residue field , and one therefore obtains that is a section of the
projection . Since is a group morphism, it
follows that , and since is an
epimorphism this entails that is a group morphism. One obtains therefore that G = G⁰ ⋊ G_e, and hence is
the semi-direct product of by . Moreover, since all the residue fields of equal , then
is the group algebra kM, where (cf. 2.5.A). Finally, since is infinitesimal, the
morphism is injective; it is therefore bijective (since it admits a section), so . Point
(i) follows.
To prove (ii), it remains only to see that H_0 equals . Now the unit element 1_H of is none other than
the augmentation , which is the unit section of , so the local component of
corresponding to H_0 is none other than and therefore, by what was seen above,
one has H_0 = 𝒜(G⁰)† = H(G⁰). This proves the proposition.
Remarks 2.9.2. (a) The proposition above, contained implicitly in 2.5.2, has been obtained independently by B. Kostant (cf. [Sw69], Preface). Combined with Cartier's Theorem 3.3 below (cf. [Ca62], § 12, Th. 3), also obtained by Kostant (cf. [Sw69], loc. cit.), this result is often called the "Cartier–Gabriel–Kostant theorem".
(b) In the form (ii), 2.9.1 has been extended by R. G. Heyneman and M. E. Sweedler to the case where one assumes that is pointed and a direct sum of its irreducible components (but not necessarily cocommutative), cf. [HS69], Th. 3.5.8.
3. Phenomena specific to characteristic 0
Throughout Section 3, we assume that the pseudocompact ring contains the field of rational numbers .
3.1. Lemma.
Lemma 3.1. Let be a commutative unital -algebra, a Lie algebra over whose underlying -module is free. Then the canonical map is an isomorphism of onto the set of primitive elements of .
Indeed, let us identify with its canonical image in ; let be a totally ordered set and a basis of indexed by ; let us denote by the set of families of natural integers such that is zero except perhaps for a finite number of indices (these indices depend on ); set finally
x^n = x_{i_1}^{n_{i_1}} x_{i_2}^{n_{i_2}} ⋯ x_{i_s}^{n_{i_s}} and n! = (n_{i_1}!)(n_{i_2}!) ⋯ (n_{i_s}!).
One knows then that the form a basis of (Poincaré–Birkhoff–Witt theorem) and one sees easily that one has
x^n x^m x^{n−m}
(∗) ∆_{U(L)}(─────) = Σ ─── ⊗ ────────,
n! m! (n − m)!
the sum being extended over all elements of such that (i.e., such
that for every ). It evidently follows that one has ∆_{U(L)}(u) = u ⊗ 1 + 1 ⊗ u
if and only if is a linear combination of the .
3.2.
Suppose now artinian, of radical . For every -algebra (associative, unital),
the ideal rU therefore consists of nilpotent elements; if belongs to rU, we shall set
x²
exp_U x = 1 + x + ─── + ⋯
2!
One thus obtains a bijection of rU onto ; the inverse bijection sends an element of to
y² y³
log_U(1 + y) = y − ─── + ─── − ⋯
2 3
Moreover, it is clear that the map is functorial in .114
The ring still being artinian, suppose endowed with a structure of bialgebra over (cf. 2.2). For every
primitive element of rU (cf. VII_A 3.2.3), one has then
∆_U(exp_U x) = exp_{U⊗U}(∆_U(x))
= exp_{U⊗U}(x ⊗ 1 + 1 ⊗ x)
= exp_{U⊗U}(x ⊗ 1) · exp_{U⊗U}(1 ⊗ x)
= ((exp_U x) ⊗ 1) · (1 ⊗ (exp_U x))
= (exp_U x) ⊗ (exp_U x).
One thus sees that the bijection transforms a primitive element of rU into an element of such
that ∆_U(z) = z ⊗ z. Conversely, if satisfies these conditions then, setting , the preceding
computation shows that equals z ⊗ z = ∆(exp_U x) = exp_{U⊗U}(∆_U(x)),
whence x ⊗ 1 + 1 ⊗ x = ∆_U(x).115 Let us moreover note that if satisfies
∆_U(z) = z ⊗ z, then , and since is invertible (since is,
being nilpotent), it follows that .
Consider in particular a Lie algebra flat over , take for the enveloping algebra of over , and
identify with its canonical image in . By Lemma 3.1, is therefore the set of primitive elements of
(indeed is a product of free modules over the local components of ). Consider then the
-formal group , which has as covariant bialgebra (cf. 2.6.2). Let be a
maximal ideal of and . Since is infinitesimal (loc. cit.), the unit element of
is the only element of Ū such that116
and ∆_Ū(z) = z ⊗ z. It follows that the elements of such that and ∆_U(z) = z ⊗ z
necessarily belong to .
Finally, since is identified with , one sees finally that: defines a bijection of onto the group . We summarize:
Proposition 3.2. Let be a pseudocompact ring containing and a flat -Lie algebra.
(i) For every object of , denote by its radical; then the map
exp_{U(L(C))} : L(C) ⊗_C r(C) ─→ 𝒢(L)(C)
is bijective and functorial in and .
(ii) The natural morphism (cf. 2.6.2) is an isomorphism of -Lie algebras.117
3.2.1.
The bijection permits one to define by transport of structure a group law on the set (which one identifies with a part of as in 3.2). If and are two elements of , this law is such that
x^p y^q
x · y = log((exp x)(exp y)) = log(1 + Σ_{p+q > 0} ─────────)
p! q!
(−1)^{m−1} x^{p_1} y^{q_1} x^{p_m} y^{q_m}
= Σ_{m ⩾ 1} Σ_{p_i + q_i > 0} ──────── ───────────── ⋯ ──────────────── = Σ_{ℓ ⩾ 1} P_ℓ(x, y)
m p_1! q_1! p_m! q_m!
where designates the sum of the monomials of total degree in and . One has for example:
P_1(x, y) = x + y
x² y² 1
P_2(x, y) = ─── + xy + ─── − ─── (x² + xy + yx + y²)
2 2 2
1 1
(terms with m=1) (terms with m=2) = ─── (xy − yx) = ─── [x, y]
2 2
and is the sum of the three terms below:
x³ x²y xy² y³ 1 1
─── + ──── + ──── + ─── − ─── (x³ + x²y + yx² + xyx + yxy + y²x + xy² + y³)
6 2 2 6 2 2
(m=1) (m=2)
1
+ ─── (x³ + x²y + yx² + xyx + yxy + y²x + xy² + y³)
3
(m=3)
whence
1 1
P_3(x, y) = ──── (x²y + yx² − 2 xyx − 2 yxy + y²x + xy²) = ──── ([y, x], x] + [y, [y, x]]).
12 12
One can show more generally that one has the Campbell–Hausdorff formula:118
ℓ m−1
Σ (−1)^{m−1} ┌──┐ (ad x)^{p_i} (ad y)^{q_i} (ad x)^{p_m}
P_ℓ(x,y)= ─── ─────────── Σ_{p_1,…,p_m, q_1,…,q_{m−1}} │ │ ───────────────────────── · ──────────── (y)
m=1 m · ℓ └──┘ p_i! q_i! p_m!
i=1
ℓ m−1
Σ (−1)^{m−1} ┌──┐ (ad x)^{p_i} (ad y)^{q_i}
+ ─── ─────────── Σ_{p_1,…,p_{m−1}, q_1,…,q_{m−1}} │ │ ───────────────────────── (x)
m=1 m · ℓ └──┘ p_i! q_i!
i=1
where the verify for and (i.e., in the sums above, each non-zero "Lie monomial" is of total degree ); for a proof, see N. Jacobson, Lie Algebras (Interscience, 1962), § V.5, or [BLie], II § 6.4, Th. 2.
3.3.
If is a -formal group of affine algebra , recall that one denotes by I_A the augmentation ideal of and
by the pseudocompact -module I_A / I_A² ≃ I_A ⨶_A k.
Theorem 3.3 (Cartier). Let be a pseudocompact ring119 containing and a -formal group. The following assertions are equivalent:
(i) There exists a flat -Lie algebra such that is isomorphic to (and in this case by 3.2).
(ii) There exists a projective pseudocompact -module such that the formal variety underlying is isomorphic to the formal variety (cf. 1.2.5) of affine algebra (and in this case ).
(iii) is infinitesimal and is a projective pseudocompact -module.
(iv) is infinitesimal and topologically flat over .
(i) ⇒ (ii): Let be the pseudocompact -module dual to (cf. 1.2.3.D). For every object
of , we must exhibit an isomorphism from onto which is functorial
in . By 1.2.5, is identified with the set of
continuous -linear maps from into the radical of . This set is naturally isomorphic to the set
Hom_c(ω ⨶_k C, r(C)) of continuous -linear maps from ω ⨶_k C into ; finally, since ω ⨶_k C is a
projective pseudocompact -module, the canonical map
(ω ⨶_k C)† ⊗_C r(C) ─→ Hom_c(ω ⨶_k C, r(C))
is bijective (cf. 0.3.6.A). Since, by 1.2.3.E, is identified with V_kf(Γ*(L))(C) = (ω ⨶_k C)†, one obtains that
is canonically isomorphic to , which is canonically isomorphic to
by Proposition 3.2. This proves implication (i) ⇒ (ii).
(ii) ⇒ (iii): Let be a projective object of and an isomorphism from onto the affine
algebra of . Composing with the augmentation , one obtains a homomorphism
, which is determined by its restriction to ; the latter
sends into the radical of . Therefore, the map , from into the
radical of , extends by the universal property of (cf. 1.2.5) to an endomorphism
of . The equalities
show that is an
automorphism of . Consequently, is, like , an isomorphism from
onto , and moreover sends to 0. Replacing by
if necessary, one may therefore suppose that vanishes on the closed
ideal of generated by . In this case, induces an isomorphism from onto
; since , it follows that is isomorphic to
, hence projective. It is clear on the other hand that is infinitesimal, as is .
(iii) ⇒ (i): Suppose that is infinitesimal and that is projective. Let be the -Lie algebra of ; the underlying -module is , by 2.6.1. Consequently, is flat over , and , by Proposition 1.2.3.E. Hence, by the proof of (i) ⇒ (ii), the affine algebra of the -formal group is identified with . On the other hand, by 2.6.3, the identity morphism of is canonically associated with a morphism of formal groups , hence with a continuous morphism of -algebras
φ : A ─→ k[[ω_{G/k}]].
Let be the closed ideal of generated by ; let us filter (resp. ) by the closures of the ideals (resp. ). We have to show that , which by definition induces the identity on , is an isomorphism.
Since is a projective object of , there exists a section of the canonical projection . By the universal property of (cf. 1.2.5), defines a continuous morphism of algebras
ψ : k[[ω_{G/k}]] ─→ A
and induces the identity map on , hence also on the associated graded of . It follows that is an isomorphism, by [CA], § V.7, Lemma 1.120
Moreover, induces an isomorphism from onto , hence a surjection of the associated
gradeds of and . On the other hand, since is radicial, I_A is contained in the radical of
, so that the intersection of the is zero. Therefore, by loc. cit., is surjective. Then, since
is an isomorphism and a surjection, and are isomorphisms. This proves (iii) ⇒
(i).
Let us note finally that it is clear that (i) or (ii) entail (iv), so that it remains to prove the implication (iv) ⇒
(ii). For this, one may suppose local, with residue field . Set then G_0 = G ⨶_k k_0,
, ω_0 = ω ⨶_k k_0, etc.121 Since is a field, the pseudocompact
-module has a pseudobasis ; denoting the
topologically free -module product of copies of , for , and lifting each
to an element of , one obtains a continuous -linear map
such that f_0 = f ⨶_k k_0 is invertible.122 Since is a projective pseudocompact -module,
lifts to a continuous -linear map such that , where is the
projection . By the universal property of (cf. 1.2.5), induces a morphism of
topological algebras .
Now ω' ⨶_k k_0 is identified with ω ⨶_k k_0 = ω_{G_0/k_0} and hence k[[ω']] ⨶_k k_0 is identified with
. Since hypotheses (iii) are satisfied for and G_0, the proof of (iii) ⇒ (i)
shows that φ_0 = φ ⨶_k k_0 is invertible. Since, on the other hand, and are projective
pseudocompact -modules, is invertible by 0.3.4. (In particular, denoting the augmentation ideal of
, induces an isomorphism from onto .)
3.3.1.
Corollary 3.3.1. Let be a locally noetherian scheme over and an -group scheme that is flat
and locally of finite type.123 If is a locally free O_S-module, is smooth over
at every point of the unit section.
Indeed, let be a point of the unit section, its image in , and the local algebras of and
.124 Since, by hypothesis, and are noetherian local rings, the -adic
topology on each of these rings coincides with the "pseudocompact" topology defined by the ideals of finite codimension.
Denote then by and the completions for this topology. By (EGA IV₄, 17.5.3), is smooth
over at the point if and only if is formally smooth over , these two algebras being
endowed with the -adic topology; it therefore suffices to show this latter property. Now and
are the local rings of and in the formal varieties and Ŝ defined in 1.2.6. Set
and ; then is a -formal variety that is infinitesimal and, since the
formation of commutes with products (loc. cit.), is an infinitesimal -formal group. Denote by
the augmentation ideal of . By hypothesis, is a locally free -module of
finite rank . Since is noetherian, it follows that , which is the completion of
, is identified with , hence is a topologically free
-module of rank . Hence, by the implication (iv) ⇒ (ii) of 3.3, is isomorphic to
, i.e., to a formal power series algebra . Finally, this last is formally
smooth over , by (EGA 0_IV, 19.3.3). This proves the corollary.
We thus recover a result obtained otherwise for group schemes locally of finite presentation over an arbitrary scheme , cf. VI_B, 1.6.
3.3.2.
Corollary 3.3.2. Let be a field of characteristic 0. The functor is an equivalence from the category of -Lie algebras onto that of infinitesimal -formal groups.125
Indeed, when runs through the infinitesimal -formal groups, the functor is isomorphic, by Theorem 3.3, to the identity functor of the category of infinitesimal -groups. Likewise, by 3.2 (ii), the functor is isomorphic to the identity functor of the category of -Lie algebras.
3.3.3.
Suppose still that is a field of characteristic 0. Let be an algebraic closure of and the topological Galois group of over .
For every -formal group , we denote by the -group functor that associates to every commutative -algebra of finite dimension the group of automorphisms of the -formal group .126 Since is topologically flat over (since is a field), i.e., its affine algebra is topologically flat over , or, equivalently, its covariant bialgebra is flat over , this -functor is a -formal group. Indeed, since is identified with the fibered product of the following diagram (cf. Exp. I, 1.7.3):
**End**_k(G) × **End**_k(G)
↓
Spf(k) ⟶ **End**_k(G) × **End**_k(G)
where the vertical (resp. horizontal) arrow is given by (resp. is the unit section), it suffices to check that the -functor is represented by an element of , that is (cf. 1.1 and 0.4.2), that it is left exact, i.e., commutes with fibered products of -algebras. Now to give an element of is equivalent to giving, say, a morphism of -algebras that also respects the coalgebra structure, i.e., such that the well-known diagrams are commutative; since is flat over , the functor commutes with fibered products of -algebras, and one deduces that the -functor is left exact, so we can treat it as a -formal group.
If is a -Lie algebra and the formal group , Theorem 3.3 shows that is isomorphic to the -group functor which associates to a finite-dimensional -algebra the group of automorphisms of the -Lie algebra .
If is an arbitrary -formal group, we saw in 2.5.2 that decomposes canonically into a semi-direct product of an étale formal group and an infinitesimal formal group . This semi-direct product is determined by the data of , of the -group , and of a morphism of -formal groups
Φ : G_e ⟶ **Aut**_k(G^0) ≃ **Aut**_k(L).
Such a morphism sends into the "étale part" of , cf. 2.5.1. It is therefore determined by the data of a morphism of -groups:
φ = Φ(k̄) : M ⟶ (**Aut**_k L)(k̄) = **Aut**_{k̄}(L ⊗_k k̄).
If we let act on by the formula , then makes act on by automorphisms of -Lie algebra in such a way that one has , i.e.:
γ(m)(ℓ ⊗ t) = γ(m(ℓ ⊗ γ^{−1}(t)))
for every , and . We express this last condition by saying that acts on compatibly with .
One can summarize the situation by means of a "highbrow" statement: let us call -Lie algebra over the data of a triple formed by a -Lie algebra , a -group , and an action of on that is "compatible with the action of on and on ".
If and are two such -Lie algebras, a morphism of the first into the second is a pair formed by a morphism of -Lie algebras and a morphism of -groups such that
(f ⊗ 1)(m · x) = θ(m) · (f ⊗ 1)(x)
for every and . One then obtains:
Theorem. Let be a field of characteristic 0. Then the functor that associates to the triple is an equivalence of the category of -formal groups onto that of -Lie algebras.127
4. Phenomena specific to characteristic
Throughout Section 4, we denote by a prime number, by a pseudocompact ring of characteristic , and by the continuous endomorphism of .
4.1.
Let be a -formal variety with affine algebra ; one denotes by or the -formal variety obtained by the base change (cf. 1.2.D); it has as affine algebra the completed tensor product . Then, the continuous morphism which sends onto induces a morphism of -formal varieties
In what follows, we shall say that is the Frobenius morphism of relative to and we shall often write
Fr instead of .
4.1.1.
128 Consider now a scheme over the prime field and an -scheme ; let be the "absolute" Frobenius morphism of (it induces the identity on the underlying topological space and sends every section of the structure sheaf onto ; cf. VII_A 4.1) and let be the -scheme (VII_A, loc. cit.), i.e., the structure morphism is .
Let Ŝ be the formal scheme whose underlying topological space is the set of closed points of , endowed with the
discrete topology, the local ring at such a closed point being the separated completion
of for the linear topology defined by the ideals of finite colength (cf. 1.2.6); its affine
algebra is therefore the product of the , as runs through the closed points of
. Recall (loc. cit.) that one denotes by the -formal variety formed by the points such
that , where is the image of in , the local ring
being the separated completion of for the linear topology defined by the ideals such
that is of finite length as -module (and therefore also as -module). One can therefore
form, by base change, the -formal variety .
One can also consider the -formal variety : the underlying set is formed by the such that, denoting by the image of in , the morphism
κ(s) ─fr→ κ(s) ─η^♯→ κ(x)
makes an extension of finite degree of ; in this case, the same holds for , i.e., is a point of , and one then has
O_{X̂^{(p)}/Ŝ, x} = Ô_{X, x} ⊗̂_π Ô_{S, s} = Ô_{X^{(p)}, x}
(the second equality since commutes with products, cf. 1.2.6). One therefore sees that: is identified with a formal subvariety of . Moreover, equality holds if and only if for every closed point of , is of finite degree over , which is the case for example if is a scheme locally of finite type over a field such that .
4.1.2.
Let be a -formal group. Since the functor commutes with finite products, it transforms a -formal group into a -formal group. Moreover, since is functorial in , the morphism
is a homomorphism of -formal groups. If one sets , the same holds for the composite morphism
Fr^n = Fr^n(G/k) : G ─Fr→ G^{(p)} ─Fr→ G^{(p²)} ─Fr→ ⋯ ─Fr→ G^{(p^n)}.
Denote by the affine algebra of and by I_A its augmentation ideal.
Definitions. (a) The kernel of will be denoted . It follows directly from the definitions that
is infinitesimal and has as affine algebra the quotient , where
denotes the closed ideal of generated by the -th powers of the elements of I_A.
(b) One says that is of height if , that is to say if one has .
4.2.
It is clear that the Lie algebra of a -formal group is a -Lie subalgebra of the algebra (cf. 2.3). Indeed, one reduces immediately to the case where is artinian; in this case, is the part of formed by the elements such that with the notations of 2.3 and 2.6 (c). One then has
φ_G(x^p ⊗ 1 + 1 ⊗ x^p) = φ_G((x ⊗ 1 + 1 ⊗ x))^p
= (φ_G(x ⊗ 1 + 1 ⊗ x))^p = Δ_G(x)^p = Δ_G(x^p).
4.2.1.
Conversely, every -Lie algebra over defines a -group functor. Denote indeed by the functor that associates to every object of the restricted enveloping algebra of the -Lie algebra over (VII_A 5.3). By VII_A 5.4, is an -bialgebra and therefore determines, by 2.2, a -group functor that we shall henceforth denote .
Thus, is the group of elements of augmentation 1 and such that
.
4.2.2.
Suppose is a -Lie algebra that is flat over . Then, taking account of VII_A 5.3.3, one shows as in point (i) of Proposition 2.6.2 that is flat over ; hence is a topologically flat -formal group which has as covariant -bialgebra.
129 By the proof of 2.6.2 (iii), for every -algebra of finite length, is the set of primitive elements of (see also VII_A 3.2.3); moreover, by VII_A 5.5.3, the canonical morphism induces an isomorphism of -Lie algebras
τ_{p, L} : L ⥲ Lie(**G**_p(L))
(compare with 3.1 in characteristic 0).
The formal group can be characterized by a universal property. Indeed, every morphism of
into a formal group induces a morphism Lie(h) : Lie(**G**_p(L)) → Lie(G). Composing this with the
isomorphism , one obtains a morphism .
Proposition. If is a pseudocompact ring of characteristic , a -formal group, and a -Lie algebra that is flat over , the map defined above is a bijection
Hom_{Grf/k}(**G**_p(L), G) ⥲ Hom_{p-Lie}(L, Lie(G))
where the right-hand term denotes the set of morphisms of -Lie algebras from into .
130 One reduces indeed immediately to the case where is artinian. Set . By 2.3.1, is in bijection with the set of morphisms of unitary algebras such that the following diagram is commutative:
U_p(L) ────h──── **H**(G) ────δ_G──── **H**(G × G)
│ ↑
Δ_{U_p(L)} φ_G
↓ │
U_p(L) ⊗ U_p(L) ────h⊗h──── **H**(G) ⊗ **H**(G)
Now is determined by its restriction to , which is a morphism of -Lie algebras from into the -Lie algebra underlying , and the commutativity of the diagram means that sends into the part of formed by the such that , which is none other than , cf. 2.6 (c).
4.3.
We now propose to study in greater detail the -formal group when is a -Lie algebra that is flat over .
For this, we first consider a ring of characteristic and a -Lie algebra over whose underlying module is free with basis . Denote moreover by the set of families of natural integers such that and that the are zero except possibly a finite number of them. If we endow with a total order and if we call () the indices such that , we can therefore set and
x^n = x_{i₁}^{n_{i₁}} · x_{i₂}^{n_{i₂}} ⋯ x_{i_r}^{n_{i_r}}, n! = (n_{i₁}!) ⋯ (n_{i_r}!).
It is known that the monomials form a basis of (VII_A 5.3.3) and it is clear that one has
(∗) Δ(x^n/n!) = ∑_{m ⩽ n} (x^m/m!) ⊗ (x^{n−m}/(n − m)!)
the sum being extended to all such that (i.e., for all ).
Formula allows an easy determination of the natural filtration of (cf. 1.3.6). Set , let be the two-sided ideal generated by , and let . As in 1.3.6, one defines a filtration of (by -subcoalgebras) by setting, for :
U_n = {u ∈ U | Δ_U(u) − u ⊗ 1 ∈ U_{n−1} ⊗ U^+}.
Formula then entails that is the free -module having as basis the monomials such that .
4.3.1.
With the notations of 4.3, let us determine the elements of such that and
. Every element of is written ,
with . The condition entails the equality , where 0 denotes the
element of all of whose components are zero. The condition entails:
∑_{m ⩽ n} ξ_n (x^m/m!) ⊗ (x^{n−m}/(n − m)!) = ∑_{q, r} ξ_q ξ_r (x^q/q!) ⊗ (x^r/r!)
that is to say,
ξ_{q+r} = ξ_q ξ_r if q_i + r_i < p, and ξ_q ξ_r = 0 otherwise.
If one denotes by the value of when and for , these conditions mean that one has
ξ_n = ∏_i ξ_i^{n_i} if n ∈ P, and ξ_i^p = 0 ∀ i ∈ I.
One deduces from this:
Proposition. Let be a local pseudocompact ring131 of characteristic , a -Lie algebra that is flat over , an object of , and the ideal of formed by the elements such that . There exists a bijection "functorial in ":
L(C) ⊗_C ^p√0_C ⥲ **G**_p(L)(C).
By Remark 1.2.3.F, one can indeed choose a basis of over in such a way that, for every morphism of , sends onto . By what precedes, the map
∑_i (^C x_i) ⊗ ξ_i ↦ ∑_{n ∈ P} (∏_i ξ_i^{n_i}) · ((^C x)^n / n!)
is a functorial bijection from onto .
4.3.2.
"There is no Campbell–Hausdorff formula in characteristic ". Let us explain ourselves: the functorial isomorphism of 4.3.1 depends on the choice of the bases . Unlike what happens in 3.2 (case of characteristic 0), there is no, in general, bijection from onto that is "functorial both in and in ". The argument that follows shows for example that such an isomorphism does not exist when is a field containing the -th roots of unity.
Choose indeed in such a way that, for every , is the abelian -Lie algebra over generated by an element subject to the relation . One has therefore
L(C) = Cx ⊕ Cx^{(p)}, U_p(L(C)) ≅ k[x]/(x^{p²}).
We shall show that the only functorial morphism
χ_C : L(C) ⊗_C ^p√0_C ⟶ U_p(L(C))
that is compatible with the endomorphisms of and that sends into
is the constant morphism of value 1.
Indeed, let be the bijection from onto given by 4.3.1, i.e.,
x ⊗ a + x^{(p)} ⊗ b ↦ ∑_{0 ⩽ i, j < p} a^i b^j x^{i + pj}.
Composing with , one obtains a functorial morphism (in ):
θ_C : L(C) ⊗_C ^p√0_C → L(C) ⊗_C ^p√0_C
x ⊗ a + x^{(p)} ⊗ b ↦ x ⊗ P(a, b) + x^{(p)} ⊗ Q(a, b).
Functoriality in implies that and are the values at of two polynomials that one can assume of degree in as well as in .132 Let be an element of and the -Lie algebra endomorphism of that sends onto (and therefore onto ). Then is the algebra endomorphism that sends onto (and therefore each onto , for ), and one sees easily that the square below
L(C) ⊗_C ^p√0_C ──ψ_C──→ U_p(L(C))
│ │
ℓ_α(C) ⊗_C id U_p(ℓ_α)(C)
↓ ↓
L(C) ⊗_C ^p√0_C ──ψ_C──→ U_p(L(C))
is commutative. The hypothesis then entails the equalities:
P(α a, α^p b) = α P(a, b) and Q(α a, α^p b) = α^p Q(a, b).
Writing and , and taking for the algebra , one deduces that if (resp. ) then
(resp. ). Hence, taking for a primitive root of unity of order , one deduces that and , with . Consequently, one has:
χ_C(x ⊗ a + x^{(p)} ⊗ b) = ∑_{0 ⩽ i, j < p} (λ a)^i (μ b)^j x^{i + pj}.
132 Finally, consider the endomorphism of that sends onto ; taking and comparing the coefficients of and in and in , one obtains that and , whence .
4.4.
Theorem 4.4. Let be a pseudocompact ring of characteristic and a -formal group. The following assertions are equivalent:
(i) There exists a -Lie algebra that is flat over such that is isomorphic to (and in this case by 4.2.2).
(ii) There exists a projective pseudocompact -module such that the affine algebra of is isomorphic to the quotient of by the closed ideal generated by the , for (and in this case ).
(iii) is of height and is a projective pseudocompact -module.
(iv) is of height and is topologically flat over .
(i) ⇒ (ii): Let (cf. 1.2.3.D) and the quotient of by the closed ideal generated by the , for . Every continuous morphism , where is an object of , is determined by its restriction to ; this restriction sends into . One thus obtains a canonical bijection from onto the set of continuous -linear maps from into . This last set is canonically isomorphic to (see the proof of 3.3). The implication (i) ⇒ (ii) thus follows from the functorial bijection established in 4.3.1.
For the other implications, consult the proofs of Theorems 3.3 and VII_A 7.4.1, which are analogous.
Remark 4.4.A.133 Let be an infinitesimal -formal group, with affine algebra , such that is a projective pseudocompact -module. Then there exists a section of the projection , and induces a continuous morphism of algebras that is surjective, cf. the proof of the implication (iii) ⇒ (i) in 3.3.
4.4.1.
Corollary 4.4.1. If is a field of characteristic , the functor is an equivalence of the category of -Lie algebras over onto that of -formal groups of height .
Indeed, when runs through the formal groups of height , the functor is isomorphic to the identity functor by Theorem 4.4; likewise, we saw in 4.2.2 that the functor is isomorphic to the identity functor (see also VII_A, 5.5.3).134
4.4.2.
Take still to be a field of characteristic . Let be an infinitesimal -formal group, with affine algebra . Since is infinitesimal, every open ideal of contains for large enough, hence is the inverse limit of the affine algebras of the groups (cf. 4.1.2). Every infinitesimal -formal group is therefore a direct limit of -formal groups of finite height.
Suppose is of height and write .135 By 2.4 and 2.4.1, factorizes through an epimorphism followed by a monomorphism . One has then the following commutative diagram:
G ──π──→ H ──Fr^{n−1}──→ H^{(p^{n−1})}
│ │
Fr i^{(p^{n−1})}
↓ ↓
G^{(p)} ──Fr^{n−1}──→ G^{(p^n)}
and since the functor commutes with fibered products, is still a monomorphism. Since is zero and is an epimorphism, then is zero, and hence, being a monomorphism, is zero, so is of height . One therefore sees that: every -formal group of finite height possesses a composition series whose quotients are of height , hence can be described by -Lie algebras over .
Finally, the affine algebra of is a quotient of , cf. 4.4.A; hence if is of finite dimension over , then all the algebras are -vector spaces of finite dimension. One therefore sees that: every infinitesimal formal group over a field of characteristic , such that is of finite dimension over , is a direct limit of finite formal groups (i.e., of finite length, cf. 1.2.6).
5. Homogeneous spaces of infinitesimal formal groups over a field
5.0.
136 Assume, for simplicity, that is a field. Let be a -formal group with affine algebra . Let be the augmentation ideal of ; for every we shall denote by its projection onto . Let be a formal subgroup
of , defined by the closed ideal of , and let (resp. ) be the projection (resp. the composition of the projections ). Note that, for every , the projection of onto is .
By Theorem 2.4, one can form the quotient -formal variety , its affine algebra is
τ₁
B = Ker( A ⇒ A ⊗̂_k (A/J) )
(id_A ⊗̂ π) Δ_A
= { a ∈ A | (id_A ⊗̂ π) Δ_A(a) = a ⊗̂ π(1) }
= Ker( (id_A ⊗̂ π̄) Δ_A ).
It is also the subalgebra of formed by the elements such that, for every and , , one has . For every and , one has , hence belongs to the kernel of , which equals since is topologically flat over . One has therefore , i.e., the closed subalgebra is also a left coideal.
On the other hand, determines since, by Corollary 2.4.1, one has , i.e., is the closed ideal generated by . One thus obtains an injective map from the set of formal subgroups of into the set of closed subalgebras of that are left coideals. The question then arises of determining the image of this map, and Proposition 5.1 below shows that is bijective when is infinitesimal. In fact, this is true for every -formal group .
Indeed, recall (cf. 2.2.1) that the functor is an equivalence between the category of -formal
groups and that of cocommutative -Hopf algebras; if is a formal subgroup of , defined by the closed ideal
of , then the Hopf subalgebra of is the orthogonal of for the duality between
and H = A^† (cf. 0.2.2). On the other hand, if is a closed subalgebra of that is also a left
coideal, then its orthogonal is a coideal of (i.e.,
and ) and a left ideal. Denote by (resp.
) the set of Hopf subalgebras (resp. left ideals that are coideals) of . For every , one will
denote by (resp. ) the projection (resp. the composition of the projections
), where is the augmentation ideal of .
Let be a Hopf subalgebra of and . If is the formal subgroup corresponding to , then and is identified with the dual of , and since is the kernel of the map
A ──Δ_A──→ A ⊗̂_k A ──id ⊗̂ π̄──→ A ⊗̂_k (A^+/J)
one obtains that corresponds by duality to the map which to associates the image of
H ←──m_H── H ⊗_k H ←──id ⊗̂ can.── H ⊗_k K^+
i.e., the left ideal , which is also a coideal. One sees similarly that the map which to associates corresponds by duality to the map which to every
associates the kernel of , i.e., one has
Ψ(I) = { x ∈ H | (id ⊗_k π_I) Δ_H(x) = x ⊗ π_I(1) }.
One then has the following theorem:
Theorem 5.0.1. Let be a field and a cocommutative Hopf algebra. Then the maps and above are inverse bijections between the set of Hopf subalgebras of and that of left ideals that are coideals.
This theorem was first proved by K. Newman, cf. [Ne75], Th. 4.1 (where the word "cocommutative" was forgotten). Its
proof uses "the Cartier–Gabriel–Kostant theorem" (cf. 2.9) to reduce to the case where is connected, then the
existence in that case of a "Sweedler basis" (cf. [Sw67], Th. 3), a result dual to the Dieudonné–Cartier theorem 5.2.2
below. Another proof, shorter, was given by H. J. Schneider [Sch90], Th. 4.15. A generalization was then obtained by A.
Masuoka when one assumes only that the coradical H_0 of (i.e., the sum of the simple subcoalgebras) is commutative
[Ma91], Th. 1.3 (3).
Let us point out finally that for a commutative -Hopf algebra, corresponding therefore to an affine -group scheme , one cannot expect an analogue of 5.0.1 without additional hypotheses, since for a -subgroup of , the quotient is not necessarily affine. But M. Takeuchi established in [Tak72], Th. 4.3 (resp. [Tak79], Th. 3), an analogous bijection between the set of -subgroups of which are invariant (resp. such that is affine), and that of subalgebras of such that and which are stable under the antipode (resp. and such that is faithfully flat).
5.1.
Let be a pseudocompact ring.137 Let be a topologically flat infinitesimal -formal group, its affine algebra, a closed subalgebra of , , and the epimorphism induced by the inclusion of into . One proposes to see under what condition makes the right quotient of by a subgroup (cf. 2.4).138
Proposition. Let be a topologically flat infinitesimal -formal group, its affine algebra, I_A the
augmentation ideal of , a closed subalgebra of , and , where . Assume
that is topologically flat over , as well as for every . Then the
following two assertions are equivalent:
(i) For every , belongs to .
(ii) The sequence below (where and is the projection ) is exact:
τ₁
(∗) B ⟶ A ⇒ A ⊗̂_k (A/J_B)
(π ⊗̂ id_A) Δ_A
that is, is the set of all such that belongs to .
In this case, is a formal subgroup of , and the sequence below (where is the restriction to of the multiplication of ) is exact:
pr₁
(∗∗) G × H ⇒ G ⟶ Spf(B)
λ
that is, is isomorphic to .
Set and ; then is a formal subvariety of . Since , the augmentation induces a continuous morphism of -algebras .
If (i) is satisfied, then , and hence induces by passage to the quotient a diagonal morphism . Then and endow with a structure of formal submonoid of . Since is infinitesimal, so is ; hence, by Proposition 2.7, is a formal subgroup of . It then follows from the definition of (cf. 2.4) that (ii) entails the last assertion of the proposition.
On the other hand, it is clear that (ii) implies (i). The proof of the converse occupies paragraphs 5.1.1 to 5.1.5.
5.1.1.
Let us first consider the following category : an object of is a pair formed by a profinite -algebra and a closed ideal of ; a morphism of is a continuous homomorphism of -algebras that sends into . If one associates to the pair , one obtains evidently an anti-equivalence of onto the category of pairs formed by a -formal variety and a formal subvariety , a morphism being a morphism of -formal varieties that sends into .
A cogroup structure on an object of consists of the data of a structure of formal group on such that the following conditions are realized (notations of 2.1):
(1) ;
(2) ;
(3) .
These conditions also mean that is a formal subgroup of .139
Suppose moreover that is local, i.e., that is an infinitesimal formal group. Then, if ,
conditions (2) and (3) are consequences of (1). Indeed, if is a closed ideal distinct from , it is contained in
the augmentation ideal I_A, hence (2) is verified, and is a formal submonoid of . Since is
infinitesimal, it follows from 2.7 that is a formal subgroup of , i.e., condition (3) is verified.
5.1.2.
Denote by the category of graded profinite -algebras: an object of this category consists of the data of a sequence of pseudocompact -modules and of a profinite algebra structure on the product such that one has ( being identified with a part of by means of the canonical injection); a morphism is a sequence of continuous linear maps such that one has if and .
Definitions. It is clear that two graded profinite -algebras and have a coproduct140 in , which has as -th component the product of the pseudocompact -modules . This coproduct will be denoted .
Then, a cogroup structure on an object of is the data of continuous -linear maps and , which induce on (setting for ) a cogroup structure in .
Finally, for every object of , one denotes by the graded profinite algebra associated with the filtration of by the closures of the powers of ; one has therefore and the multiplication of is induced by that of .
Lemma.141 Let U, V be two pseudocompact -modules, with topologically flat, and let
and be two decreasing sequences of
closed -submodules. Filter the completed tensor product by means of the closed
submodules
W_n = U_n ⊗̂_k V_0 + U_{n−1} ⊗̂_k V_1 + ⋯ + U_0 ⊗̂_k V_n.
Suppose that each is topologically flat over (so that and hence are also so, for every ). Then, for every , one has an isomorphism
W_n / W_{n+1} ≃ ⨁_{i + j = n} (U_i/U_{i+1}) ⊗̂_k (V_j/V_{j+1}).
Proof. Set and , for every . Let us show by induction on that the natural map
π_n : W_n ⟶ ⨁_{i + j = n} W̄_{i, j}
is surjective and that the inclusion is an equality. For , the projection
π_0 : U_0 ⊗̂_k V_0 ⟶ (U_0/U_1) ⊗̂_k (V_0/V_1)
is surjective and, since U_0, and hence U_1 are topologically flat over , one sees that
and that, moreover,
.
Suppose then and the result established for . Set and . One has and hence, by what precedes applied to instead of , one has
M_0 ∩ S_0 ⊂ U_0 ⊗̂_k V_n ∩ U_1 ⊗̂_k V = U_1 ⊗̂_k V_n
from which one deduces that . Since , one obtains a commutative diagram with exact rows, where one has set and for :
0 ⟶ S_0 ⟶ W_n ⟶ (U_0/U_1) ⊗̂_k V_n ⟶ 0
│π′_{n−1} │π_n │p
↓ ↓ ↓
0 ⟶ ⨁_{i=0}^{n−1} W̄′_{i, n−1−i} ⟶ ⨁_{i=0}^n W̄_{i, n−1} ⟶ W̄_{0, n} ⟶ 0.
Then is surjective, with kernel . Moreover, by the induction hypothesis applied to the sequence , is surjective, with kernel equal to . It follows that is surjective, and that the inclusion is an equality. This proves the lemma.
Let us return to an object of and note that, by 0.2.G, the hypothesis that each is topologically flat over is equivalent to saying that is topologically flat over .
Corollary. Let be the full subcategory of formed by the objects such that and are topologically flat over . Then the functor , , commutes with finite coproducts, hence transforms a cogroup of into a cogroup of .
In particular, if is a field then, for every cogroup of , is a cogroup of .142
5.1.3.
Identify every profinite -algebra with the graded profinite -algebra such
that and if . In particular, if is a graded
profinite -algebra, we shall consider A_0 indifferently as a profinite -algebra or as a graded profinite
-algebra. We shall then denote by the morphism of such that
and if . Similarly, will denote the section of
such that and if .
Every cogroup structure on induces a cogroup structure on A_0 such that and
are homomorphisms of cogroups. In this case, denote by I_0 the augmentation ideal of A_0 and set
for every (so that ).
Then, is a cogroup in (note that, since , then
is a direct factor of , for every ). Since is a
section of , then, by 2.4.A, the cogroup is the "semi-direct coproduct" of A_0 and
of the cogroup . More precisely, is isomorphic, as an object
of , to the kernel of the pair:
τ₁
(A_n) ⇒ (A_n) ⊗̂_k A_0
(id ⊗̂ ρ) Δ
(where is the comultiplication of and ), and, identifying with its image in , the map
(A′_n ⊗̂_k A_0) ⟶ (A_n), a′_n ⊗̂ a_0 ↦ a′_n a_0
is an isomorphism in . (N.B. This is not an isomorphism of cogroups, but and , where is the comultiplication of and the projection , cf. 2.4.A.)
5.1.4.
Let be an object of and the object of associated, i.e.,
for every . It is clear that the algebra is
generated by A_0 and A_1, that is to say that, for , the map
(1) A_1 ⊗̂_{A_0} A_1 ⊗̂_{A_0} ⋯ ⊗̂_{A_0} A_1 ⟶ A_n
defined by multiplication is surjective.
Suppose moreover that is a cogroup of and that and the quotients are flat over . Then, by Corollary 5.1.2, is a cogroup of . Therefore, by 5.1.3, if one sets
(2) A′_n = { x ∈ J^n/J^{n+1} | Δ(x) − x ⊗̂ 1 ∈ ⨁_{i=1}^n (J^{n−i}/J^{n−i+1}) ⊗̂ (J^i/J^{i+1}) },
then the map , , is an isomorphism in .143
Denoting by I_0 the augmentation ideal of A_0, one deduces from (1) and the commutative diagram below, where
denotes ( factors):
A_1 ⊗̂_{A_0} ⋯ ⊗̂_{A_0} A_1 ⥲ A′_1 ⊗̂^n ⊗̂_k A_0 ⥲ (A′_1 ⊗̂^n ⊗̂_k I_0) ⊕ A′_1 ⊗̂^n
│m │m′ ⊗̂ id │m′ ⊗̂ id ⊕ m′
↓ ↓ ↓
A_n ⥲ A′_n ⊗̂_k A_0 ⥲ (A′_n ⊗̂_k I_0) ⊕ A′_n
that the map
(3) m′ : A′_1 ⊗̂_k ⋯ ⊗̂_k A′_1 ⟶ A′_n
induced by multiplication is surjective; in other words, the profinite -algebra is generated by its terms of degree 1.
144 Let us now return to the hypothesis (i) of Proposition 5.1: let be a topologically flat
infinitesimal -formal group, its affine algebra, I_A the augmentation ideal of , a closed subalgebra of
, and , where . Denote by the formal subgroup and the
projection . Suppose that is topologically flat over , for every , and that
is contained in the kernel of the pair:
τ₁
A ⇒ A ⊗̂_k (A/J).
(id_A ⊗̂_k π) Δ_A
Let , let be the augmentation ideal of , and define as in (2) above. Denote by (resp. ) the object of associated to the filtration of (resp. ) induced by that of , i.e., defined by the ideals (resp. ). Then, it is clear that for every , and that
**B** = ∏_{n ⩾ 0} B_n ⊂ **B̃** = ∏_{n ⩾ 0} B̃_n
are subalgebras of .
On the other hand, (resp. ) is the image in of (resp. of ). Consequently, the map
(I_B/I_B²) ⊗̂_k A ⟶ J/J² = A_1 ≃ A′_1 ⊗̂_k A_0
is surjective, and it factors through . Since , one deduces from the commutative and exact diagram:
(I_B/I_B²) ⊗̂_k A_0 ⥲ ((I_B/I_B²) ⊗̂_k I_0) ⊕ (I_B/I_B²)
↓ ↓
J/J² ⥲ (A′_1 ⊗̂_k I_0) ⊕ A′_1
↓ ↓
0 0
that is the image of , so that one has . Since is generated by , it follows that, for every , one has
A′_n ⊂ B_n ⊂ B̃_n ⊂ A′_n,
whence .145
Finally, since the formal group is infinitesimal, one has and hence the ideals
tend to 0 (cf. 0.1.2); a fortiori, the ideals tend to 0, and hence the induced filtrations on
and are separated. Moreover, since is a closed subalgebra of , it is complete for the topology defined by the
ideals . Consequently, it follows from [CA], § V.7, Lemma 1 (see also 5.1.5 below) that .
This completes the proof of Proposition 5.1.
One has moreover the following supplement. For every , is the image in of and also of . Now, by hypothesis, the affine algebra of the formal subgroup is topologically flat over . Hence, by Theorem 2.4, the morphism is surjective and topologically flat; one has therefore
A ⊗̂_B I_B^n = J^n = A ⊗̂_B (B ∩ J^n),
and this entails that for every . This also follows from the fact that the maps
I_B^n / I_B^{n+1} ⟶ A′_i = (B ∩ J^n)/(B ∩ J^{n+1})
are surjective, and from 5.1.5 (ii) below, applied to and .
5.1.5.
Lemma 5.1.5.146 (i) Let and be two abelian groups filtered by decreasing sequences of subgroups and . Suppose that the union of the (resp. ) equals (resp. ), that the intersection of the (resp. ) is zero, and that is complete for the topology defined by the . Let be a morphism of filtered groups.
a) If induces a surjection of the associated graded modules, then is a surjection and is complete for the topology defined by the .
b) If induces an injection of the associated graded modules, then is an injection.
(ii) Let be an abelian group, and two separated filtrations of by subgroups such that for every . Suppose is complete for the topology defined by the filtration .
If the map is surjective for every , then for every .
Indeed, (i) is Lemma 1 of [CA], § V.7 (see also [BAC], III, § 2.8), and (ii) follows from it by taking and .
5.2.
In all the rest of Section 5, denotes a perfect field of characteristic .
We set . If is a profinite -algebra and , we denote by the closed ideal of generated by the elements , where runs through the radical of . If , we use the same notation, with the convention that is the zero ideal. In both cases, denotes the quotient .
We say that is of height if is the zero ideal; if this holds and is finite, we say that is of finite height.
Consider in particular the case where is of the form , being a pseudocompact -vector space (cf. 1.2.5).147 We then say that is a formal power series algebra and that is a truncated formal power series algebra (; we therefore agree to say that is also "truncated"). If , we also write instead of .
Notations. Let be a pseudocompact -vector space filtered by an increasing sequence of closed vector subspaces
0 = ω_0 ⊂ ω_1 ⊂ ω_2 ⊂ ω_3 ⊂ ⋯
(a) The closed ideal of generated by the elements , where runs through and runs through , will be denoted .
(b) On the other hand, we shall denote by the filtered pseudocompact vector space such that
^r ω_i = ω_i if i < r and ^r ω_i = ω if i ⩾ r.
Theorem (Dieudonné–Cartier). Let be a monomorphism of infinitesimal formal groups over a perfect field of characteristic . Let be the affine algebra of the homogeneous space and suppose one of the following three conditions verified:148
(i) is of finite height (this is the case in particular if is of finite height).
(ii) is a complete noetherian local ring.
(iii) is a reduced ring.
Then is isomorphic to the completed tensor product of a finite family of truncated formal power series algebras.
The proof of this theorem occupies paragraphs 5.2.1 to 5.2.5.
5.2.1.
Let be the affine algebra of , I_A its augmentation ideal, and . By 2.4, one has
and . Set . One
denotes by the closed sub-ideal of formed by the such that , and by the
canonical image of in . We shall prove:
Proposition. If there exists a continuous section of the projection , such that for every , then is isomorphic to .
Such a section indeed extends into a continuous morphism , which factors through . We prove from 5.2.2 to 5.2.5 that the morphism
φ : B′ = k[[ω]] / ((x^{p^r}))_{x ∈ ω_r} ⟶ B
thus obtained is an isomorphism.
5.2.1.A.
149 For each , set , so that ; one then has a commutative diagram with exact rows:
and since is a field, the rows are split: one can complete a pseudobasis of into a pseudobasis of , and then the closed subspace with pseudobasis is a supplement of in , and the projection induces an isomorphism of onto a supplement of in . Denote by the closed ideal ; it admits similarly a supplement in , and induces an isomorphism of (resp. of ) onto the closure of the union of the (resp. onto a supplement of in ). Denote by the isomorphism . One then obtains continuous linear maps:
I² × S_∞ × ⨁^c_r S_r ──φ──→ I
│
η × θ
↓
ω = ω′_∞ × ω_∞
where is the direct sum of the in , i.e., (∏_r S_r^†)^* (cf. N.D.E. (16) of
0.2.2) and where is induced by the maps
. One therefore sees that a sufficient condition
(but not necessary, see below) to obtain a section as desired is that be an
isomorphism. By duality (cf. 0.2.2), this amounts to saying that the linear map ω_∞^† → ∏_r S_r^† is bijective.
5.2.1.B.
Denote, as before, . A second case in which a section
as desired exists is the case where possesses a pseudobasis
that is a union of pseudobases of the , for (one can then complete it by
a pseudobasis of to obtain a pseudobasis of compatible with the
filtration). Setting V = ω_∞^† and denoting by the orthogonal in of , this amounts to saying
that, in the category of "ordinary" -vector spaces, the decreasing separated filtration
V = V_0 ⊃ V_1 ⊃ V_2 ⊃ ⋯
is split, i.e., that is the direct sum, for , of subspaces such that . This is not necessarily the case: for example, if is the space of sequences of elements of and the subspace of sequences such that for , so that , then is not isomorphic to the direct sum of the since is not of countable dimension (on the other hand, is here the product of the , cf. 5.2.1.A). It is however the case if is of countable dimension.150 Indeed, let be a basis of ; we shall construct by induction on an increasing function and subspaces , for , such that and that is a supplement of containing ; one will then have . Let ; we may assume the assertion established for (the assertion being vacuous for ). If , set ; otherwise write with and nonzero. Let then be the smallest integer such that ; for , choose a supplement of in , so that ; one then sets .
5.2.1.C.
151 In particular, the two preceding conditions (5.2.1.A and B) are verified when the filtration of is stationary, i.e., when there exists an integer such that for . In this case, one obtains an isomorphism of onto the completed tensor product:
( k[[ω_1]] / ((x^p))_{x ∈ ω_1} ) ⊗̂ ( k[[ω′_2]] / ((x^{p²}))_{x ∈ ω′_2} ) ⊗̂ ⋯ ⊗̂ ( k[[ω′_{n_0}]] / ((x^{p^{n_0}}))_{x ∈ ω′_{n_0}} ) ⊗̂ k[[ω′_∞]]
where (resp. ) is a supplement of in (resp. of in ). The filtration of is obviously stationary in case (i), i.e., if for large enough, and in case (ii), i.e., if is of finite dimension, and also in case (iii), i.e., if for every (and in this case will be isomorphic to the formal power series algebra
). The remarks above therefore imply our theorem, modulo points 5.2.2–5.2.5 below.
5.2.2.
Suppose first that is of height , that is to say that if . By 5.1.4, the graded ring associated with for the filtration is endowed with a cogroup structure in the category , i.e., the profinite algebra is the affine algebra of a -formal group . It is clear that one has and that is infinitesimal of height . By 4.4, the identity map of therefore induces an isomorphism of onto . This implies in particular that the map of 5.2.1 induces an isomorphism of the associated graded rings of and when one filters and by the powers of the augmentation ideal. Hence is an isomorphism, by [CA], § V.7, Lemma 1 (see also 5.1.5).
5.2.3.
Suppose now of finite height . Let be the isomorphism of onto . The linear map of into which sends onto has a closed image which is none other than the closed subalgebra of . Set .
152 Denote by G_1 the kernel of the Frobenius morphism and by the
formal subgroup of inverse image of the formal subgroup of . Then is defined by the
closed ideal generated by the -th powers of elements of AI, which equals AJ. On the other hand, since the
formation of commutes with base change (since represents the sheaf-quotient for the flat topology, cf. 2.4),
then , and one therefore has commutative diagrams:
G ──Fr──→ G^{(p)} A ←──a ⊗̂ 1 ↦ a^p──── A ⊗̂_π k
↓ ↓ ↑ ↑
G/H ──Fr──→ G^{(p)}/H^{(p)} B ←──b ⊗̂ 1 ↦ b^p──── B ⊗̂_π k
from which one deduces that is the affine algebra of the quotient .153 Denote provisionally by the affine algebra of the quotient . Since the formation of commutes with base change, one has a cartesian square:
whence an isomorphism , and since is topologically free over (by 2.4, since and are local), it follows that the natural morphism is an isomorphism, hence is the affine algebra of ,153 and of course is of height since .
Let , the morphism introduced in 5.2.1, the subalgebra , and the augmentation ideal of . Then, one has a commutative diagram:
B′ ──φ──→ B
↓ ↓
B′_1 = B′/B′J′ ⟶ B_1 = B/BJ
and, by 5.2.2, is an isomorphism.
On the other hand, by 2.4, is topologically flat over and over ; hence, by 1.3.3, is topologically flat over . Moreover, by 5.2.4 below, the morphism induced by is an isomorphism. One can then apply 0.3.4 to the pseudocompact ring and to the pseudocompact -modules , : by what precedes, is an isomorphism, and it follows that is an isomorphism. This proves 5.2 when is of finite height, modulo point 5.2.4 below.
5.2.4.
For every pseudocompact vector space over , we denote by the space deduced from by the extension of the field of scalars.154 One then has a commutative diagram with exact rows
0 ⟶ ^π I² ──α──→ ^π I ──β──→ ^π ω ⟶ 0
│u │v │w
↓ ↓ ↓
0 ⟶ J² ──γ──→ J ──δ──→ ω̄ ⟶ 0
where one has set and where the maps u, v, w are induced by the linear map
from into . Since and are surjections, is a
surjection and has as kernel the image of .
Then, setting and , one has and , for every . The section , which is induced by the section of 5.2.1, therefore defines by passage to the quotient a section that is compatible with the filtrations of and . Since is of height , this section induces, by induction hypothesis, an isomorphism
ψ : B′′ = k[[ω̄]] / ((x^{p^n}))_{x ∈ ω̄_n} ⥲ B^p.
Now is identified with and with the morphism induced by , hence our
theorem is proved when is of finite height.
Remark 5.2.4.A.155 Suppose of height (with ). Then and one has an isomorphism
(1) B ≃ (k[[S_1]]/((x_1^p))_{x_1 ∈ S_1}) ⊗̂_k ⋯ ⊗̂_k (k[[S_r]]/((x_r^{p^r}))_{x_r ∈ S_r}) ⊗̂_k (k[[S_{r+1}]]/((x_{r+1}^{p^{r+1}}))_{x_{r+1} ∈ S_{r+1}})
where each is a supplement of in . Then is identified with , and one sees easily that, for , the image of in is identified with .
This has the following consequence. Let , where , and let be the augmentation ideal of ; since , then is identified with . For , denote by the image in of ; it is also the image in of , hence contains . On the other hand, it follows from isomorphism (1) that one has , whence
(2) B_r ≃ (k[[S_1]]/((x_1^p))_{x_1 ∈ S_1}) ⊗̂_k ⋯ ⊗̂_k (k[[S_r]]/((x_r^{p^r}))_{x_r ∈ S_r}) ⊗̂_k (k[[S_{r+1}]]/((x_{r+1}^{p^r}))_{x_{r+1} ∈ S_{r+1}})
and therefore, by what precedes, is identified with for . One thus obtains that the inclusion is an equality, for .
5.2.5.
It remains to consider the case where is of infinite height, and where the projection possesses a section compatible with the filtrations of and . Consider the morphism
φ : B′ = k[[ω]] / ((x^{p^n}))_{x ∈ ω_n} ⟶ B
induced by ; it suffices to show that for every , the map induced by is invertible.156
For every , denote by the kernel of the iterated Frobenius morphism
and by the formal subgroup of inverse image of the formal subgroup of , so that
is defined by the closed ideal generated by the -th powers of elements of AI, which equals
, where . One obtains then, exactly as in 5.2.3, that
is the affine algebra of (and is of course of height ).
Denote by the augmentation ideal of ; the canonical projection of onto obviously induces an isomorphism of onto , which allows us to identify these two spaces. Let be the image in of the closed ideal ; it is also the image in of the closed ideal
.157 It is clear that if
; let us show that if . For every r, n, the sequence below is
exact:
0 ⟶ I(r)_n ∩ I² ⟶ I(r)_n ⟶ ω(r)_n ⟶ 0.
Moreover, for fixed, one has , since . Since in filtered inverse limits are exact (cf. 0.2), it follows that, for every , one has
On the other hand, by Remark 5.2.4.A, one has if . Combined with , this entails that if .
Consequently, the vector space filtered by the subspaces is none other than (Notations 5.2). A fortiori, the map composed of and of the projection is compatible with the filtrations and of and . Since is none other than and is the morphism induced by , the result already established for algebras of finite height shows that is an isomorphism.
5.2.6.
Definition 5.2.6.158 Let be a family of profinite -algebras, each endowed with an augmentation (this is the case in particular if each is local with residue field ). One defines then the infinite completed tensor product
**A** = ⊗̂^c_{λ ∈ Λ} A_λ
as the inverse limit in of the , for running through the finite subsets of , the transition morphisms , for , being .
In particular, if and if one denotes by the -formal variety , then represents the functor that to every associates the set of "finite" sequences of elements of , i.e., sequences
(x_1, x_2, …) ∈ ∏_{n ⩾ 1} X_n(C)
such that for large enough, where denotes, by abuse of notation, the composite
of and of the structure morphism . (If moreover each is a quotient of an
algebra , one can denote by 0 the unique morphism that vanishes on , and
one therefore obtains the set of sequences such that "" for large enough.)
5.3.
Remarks. (a) Let us call stationary every profinite -algebra that is the completed tensor product of a family of truncated formal power series algebras.159
If is an infinitesimal -formal group and the affine algebra of a homogeneous space of , it follows from Theorem 5.2 that the algebra is stationary for every integer . This implies in particular that is an inverse limit of stationary algebras.160
(b) I do not know if, with the notations of 5.2.1, one can choose and in such a way that there exists no section compatible with the filtrations.161 One will however note that one can have for any pseudocompact vector space filtered by an increasing sequence of closed subspaces. Indeed, if is such a filtered space, one can define in the algebra a diagonal morphism satisfying conditions (i), (ii), (iii) of 2.1; it suffices to set when is the image in of an element of .
5.4.
Corollary 5.4. Let be an algebraic group over a perfect field of characteristic , an algebraic
subgroup of , the image of the neutral element of in , and the local algebra of at . Then
 is isomorphic to an algebra of the form
k[[X_1, …, X_r, … X_s]] / (X_1^{p^{n_1}}, …, X_r^{p^{n_r}}).
Indeed, consider the infinitesimal formal groups and ; by
1.3.4, the completion  of is isomorphic to , and the corollary therefore
follows from Theorem 5.2 (ii).162
5.5. Complements.
163 Recall the following definitions. On the one hand, one says that a noetherian local ring is a
complete intersection if the completion  is a quotient of a complete regular noetherian local ring by an ideal
generated by a regular sequence of elements of (cf. EGA IV₄, 19.3.1). On the other hand, let
be a closed immersion of schemes. If , one says that is a regular
immersion at the point if the kernel of is generated by a regular sequence; if moreover
is locally noetherian and if is a regular immersion at every point, one says that is a regular immersion
(cf. loc. cit., Prop. 16.9.10 and Déf. 16.9.2).
Corollary 5.5.1. If is an algebraic group over a field , the local ring is a complete intersection.
Indeed, by EGA IV₄, 19.3.4, one can assume algebraically closed. If , we already know that is smooth (cf. 3.3.1 or VI_B, 1.6.1) and hence is a -algebra of formal power series, by EGA IV₄, 17.5.3 (d′′). If , it follows from 5.4, applied to , that is a complete intersection.
Remarks 5.5.2. Let be a field, a smooth -algebraic group, and a closed subgroup of .
a) We saw in Exp. III, 4.15, that the immersion is regular; this can also be deduced from 5.4, as follows. As in loc. cit., one can assume algebraically closed, and it suffices to show that the kernel of is generated by a regular sequence. Set , and . Since is noetherian, one has an exact sequence
0 ⟶ I ⊗_A Â ⟶ Â ──π──→ **A**(Ĥ) → 0
and  is faithfully flat over . Hence, by EGA IV₄, 16.9.10 (ii) and 19.1.5 (ii), it suffices to show that the
kernel of is generated by a regular sequence of elements of Â.
Now, since is smooth, Â is reduced; by 5.4, the subalgebra is therefore isomorphic to
a formal power series algebra , and hence the unit section of is defined in
by the regular sequence . Since  is noetherian, the ideal of  generated by
is closed, hence equal to Î, by Corollary 1.4. Moreover, since  is topologically flat, hence
flat over (cf. 0.3.8), then is a regular sequence in Â, by EGA IV₄, 19.1.5 (ii).
b) One can also deduce from 5.2 (ii) the following more precise result. Suppose perfect. By 5.2 (ii) applied to the algebra , there exists a basis of and integers such that is isomorphic to the quotient of by the ideal generated by the for . Lift the to elements of and complete into a basis of . Since is reduced, the morphism is an isomorphism, by 5.2 (iii). One thus obtains: there exists a "system of coordinates" of (i.e., an isomorphism ) such that is defined by the equations for and for ("Dieudonné's theorem", compare with [Di55], § 19, Th. 6 and [Di73], II § 3.2, Prop. 3 and what precedes it).
Bibliography
[CA] P. Gabriel, Des catégories abéliennes, Bull. Soc. Math. France 90 (1962), 323–448.164
[Ab80] E. Abe, Hopf algebras, Cambridge Univ. Press, 1980.
[Br00] C. Breuil, Groupes -divisibles, groupes finis et modules filtrés, Ann. of Math. 152 (2000), no. 2, 489–549.
[BAlg] N. Bourbaki, Algèbre, Chap. I–III et IV–VII, Hermann, 1970, et Masson, 1981.
[BAC] N. Bourbaki, Algèbre commutative, Chap. I–IV, Masson, 1985.
[BEns] N. Bourbaki, Théorie des ensembles, Chap. I–IV, Hermann, 1970.
[BLie] N. Bourbaki, Groupes et algèbres de Lie, Chap. II–III, Hermann, 1970.
[Ca62] P. Cartier, Groupes algébriques et groupes formels, pp. 87–111 in: Colloque sur la théorie des groupes algébriques (Bruxelles, 1962), Gauthier-Villars, 1962.
[DG70] M. Demazure, P. Gabriel, Groupes algébriques, Masson & North-Holland, 1970.
[De72] M. Demazure, Lectures on -divisible groups, Lect. Notes Math. 302, Springer-Verlag, 1972.
[Di55] J. Dieudonné, Groupes de Lie et hyperalgèbres de Lie sur un corps de caractéristique , Comm. Math. Helv. 28 (1955), 87–118.
[Di73] J. Dieudonné, Introduction to the theory of formal groups, Marcel Dekker, 1973.
[Fo77] J.-M. Fontaine, Groupes -divisibles sur les corps locaux, Astérisque 47–48, Soc. Math. France, 1977.
[Gr57] A. Grothendieck, Sur quelques points d'algèbre homologique, Tôhoku Math. J. 9 (1957), 119–221.
[Gr74] A. Grothendieck, Groupes de Barsotti–Tate et cristaux de Dieudonné, Presses Univ. Montréal, 1974.
[HS69] R. G. Heyneman, M. E. Sweedler, Affine Hopf Algebras I, J. Algebra 13 (1969), 194–241.
[Il85] L. Illusie, Déformations de groupes de Barsotti–Tate, d'après A. Grothendieck, pp. 151–198 in: Séminaire sur les pinceaux arithmétiques: la conjecture de Mordell, Astérisque 127, Soc. Math. France, 1985.
[Ja65] I. M. James, review of [MM65] in Math. Reviews, MR0174052.
[La75] M. Lazard, Commutative formal groups, Lect. Notes Math. 443, Springer-Verlag, 1975.
[LT65] J. Lubin, J. Tate, Formal complex multiplication in local fields, Ann. of Math. 81 (1965), 380–387.
[LT66] J. Lubin, J. Tate, Formal moduli for one-parameter formal Lie groups, Bull. Soc. Math. France 94 (1966), 49–60.
[Ma91] A. Masuoka, On Hopf algebras with cocommutative coradicals, J. Algebra 144 (1991), 451–466.
[Me72] W. Messing, The crystals associated with Barsotti–Tate Groups: with applications to abelian schemes, Lect. Notes Math. 264, Springer-Verlag, 1972.
[MM65] J. W. Milnor, J. C. Moore, On the structure of Hopf algebras, Ann. of Math. 81 (1965), 211–264.
[Mi65] B. Mitchell, Theory of categories, Academic Press, 1965.
[Ne75] K. Newman, A correspondence between bi-ideals and sub-Hopf algebras in cocommutative Hopf algebras, J. Algebra 36 (1975), 1–15.
[Po73] N. Popescu, Abelian categories with applications to rings and modules, Academic Press, 1973.
[Sch90] H. J. Schneider, Principal homogeneous spaces for arbitrary Hopf algebras, Israel J. Math. 72 (1990), nos. 1–2, 167–195.
[Sw67] M. Sweedler, Hopf algebras with one grouplike element, Trans. Amer. Math. Soc. 127 (1967), no. 3, 515–526.
[Sw69] M. Sweedler, Hopf algebras, Benjamin, 1969.
[Tak72] M. Takeuchi, A correspondence between Hopf ideals and sub-Hopf algebras, Manuscripta Math. 7 (1972), 251–270.
[Tak79] M. Takeuchi, Relative Hopf modules—Equivalence and freeness criteria, J. Algebra 60 (1979), 452–471.
[Ta67] J. Tate, -divisible groups, pp. 158–183 in: Proc. Conf. Local Fields (Driebergen, 1966) (ed. T. A. Springer), Springer-Verlag, 1967.
[We95] C. A. Weibel, An introduction to homological algebra, Cambridge Univ. Press, 1995.
N.D.E.: Version of 13/10/2024.
N.D.E.: The interest of formal groups over a complete noetherian local ring appears, for example, in the work of Lubin and Tate (cf. [LT65]). The study of formal groups over an arbitrary base, and questions of lifting and deformation, in particular for Barsotti–Tate groups ("-divisible groups"), has given rise to an abundant literature; cf. for example [LT66, Ta67, Gr74, Me72, La75, Fo77, Il85, Br00]. In particular, the results of the present Exposé are largely taken up again in Chapter I of [Fo77].
N.D.E.: The editors have found only such a seminar dated 1965/66, entitled "Linear algebraic groups", in which the notion of formal group does not appear; see instead [De72].
N.D.E.: (when endowed with the -adic topology).
N.D.E.: Indeed, if , there exists an open ideal such that , and then is an open ideal not containing . On the other hand, in what follows, we have made explicit the fact that every "closed maximal" ideal is maximal and open.
N.D.E.: We note that is the localization of at the maximal ideal . Indeed, the unit element of is an idempotent of not belonging to , and since , where , then is identified with the localization and thus also with the localization , where . On the other hand, since , then contains and hence also , and so is identified with .
N.D.E.: Indeed, let ; if is a maximal ideal not containing , there exists such that , and since , is invertible, whence a contradiction. We note the following consequence: if is a finite set , the are all the maximal ideals of .
N.D.E.: We have added these remarks, in order to be able to compare the definition of the formal spectrum given in 1.1 with those of (EGA I, 10.1.2) and (EGA I, 10.4.2).
N.D.E.: We have brought out the results of this paragraph in the proposition that follows, and have indicated below the steps of the proof; cf. [CA], § IV.3 or [DG70], § V.2.
N.D.E.: cf. [Gr57], I § 1.5 and Prop. 1.8; one may also consult, for example, [Po73], § 2.8 or [We95], Append. A.4.
N.D.E.: We have inserted into this paragraph Proposition 0.2.E and Corollary 0.2.F, which will be useful in 0.2.2. (In the original, these results appeared in 0.3.)
N.D.E.: Indeed, has a set of artinian cogenerators, filtered inverse limits in it are exact, and is the subcategory of artinian objects. The dual category therefore has a set of noetherian generators, and filtered direct limits in it are exact. By the proof of [CA] § II.4, th. 1, the functor is an anti-equivalence of with . Likewise, Lemma 4 and Cor. 1 of loc. cit. state results "dual" to those of Corollary 0.2.F. For a "direct" proof, see [DG70], § V.2, th. 3.1, Lemma 3.5, Cor. 3.3 & 3.4.
N.D.E.: As every infinite product is a filtered inverse limit of finite products, every additive functor that commutes with filtered inverse limits also commutes with infinite products.
N.D.E.: This refers to the "dual" statements established in loc. cit., § 2, Th. 2 and § 1, Prop. 2; for a "direct" proof, see [DG70], V, § 2, Th. 4.5 and Example 4.6 b).
N.D.E.: We have detailed the results of this paragraph, which play an important role in what follows (cf. 1.2.3, 1.3.5, 2.2.1, etc.).
N.D.E.: Recall on the other hand that, over an artinian ring, a module is projective if and only if it is flat; see for example (VI_B, N.D.E. (54)) or 0.3.7 below.
N.D.E.: One will note that the direct sum in of a family of linearly
compact -vector spaces is (∏_{i ∈ I} V_i^†)^*.
N.D.E.: We have modified this paragraph, taking into account the additions made in 0.2.
N.D.E.: We have added this corollary.
N.D.E.: We have added this remark.
N.D.E.: Up to replacing by its closure, one can assume closed.
N.D.E.: since equal to the inverse limit of the .
N.D.E.: Consequently, every pseudocompact -module is a quotient of a topologically free -module (one first reduces to the case where is local), cf. the proof of 0.3.7.
N.D.E.: We have corrected to , and likewise for below.
N.D.E.: One thus recovers 0.3.1.1: , where ranges over the open ideals of .
N.D.E.: cf. N.D.E. (12).
N.D.E.: We have added this remark, which will be useful in 2.3.1.
N.D.E.: This shows the result announced in N.D.E. (22): every pseudocompact -module is a quotient of a topologically free -module. (Since products are exact in , one reduces to the case where is local, treated above.)
N.D.E.: A fully analogous proof, using "nilpotent Nakayama's Lemma", shows that if is artinian and is a flat -module, then each local component of is a free -module (cf. [BAC], II § 3.2, cor. 2 of prop. 5).
N.D.E.: We have added the following lemma, cf. N.D.E. (36) in Proposition 0.5.
N.D.E.: We will see in 0.4.2 that it possesses arbitrary direct limits.
N.D.E.: Caution: is an object of only if is artinian, cf. 1.2.2 below.
N.D.E.: i.e., which commutes with finite inverse limits.
N.D.E.: Indeed, every discrete -module of length is isomorphic to , where is an open submodule of of colength . One can then consider the set of (isomorphism classes of) profinite -algebra structures on each such module.
N.D.E.: If is a direct system in , its direct limit in is the separated completion of the -algebra , direct limit of the underlying -algebras, for the topology defined by the ideals such that is an open ideal of for every , and . Note that if, for example, is an algebraic extension of fields, of infinite degree, and if denotes the filtered direct system of subextensions of finite degree, then the direct limit of the system in is the zero ring!
N.D.E.: We have detailed this paragraph.
N.D.E.: Consequently, if is a profinite -algebra, the functor is left adjoint to the restriction-of-scalars functor.
N.D.E.: cf. Remarks 0.1.2.
N.D.E.: We have added the numbering 1.2.A to 1.2.E, for later references.
N.D.E.: We note that, by the definition of morphisms (1.1), every is the direct sum in of the pointwise formal varieties , for .
N.D.E.: In particular, cokernels exist in , see below. We note moreover that a filtered inverse limit in , all of whose transition morphisms are surjective, can be empty, cf. N.D.E. (34).
N.D.E.: We note that is the direct sum, for , of the formal varieties , where is the product of the for such that , and is defined analogously. This will be used in 2.5.1.
N.D.E.: i.e., the quotient set of by the identifications , for every , endowed with the quotient topology, which is here the discrete topology.
N.D.E.: We have introduced this terminology, cf. N.D.E. (47) in 1.2.3.
N.D.E.: and hence projective, since is artinian.
N.D.E.: We have added the lemma that follows and have introduced the numbering 1.2.3.A to 1.2.3.F, for later references.
N.D.E.: In fact, we shall not use this second notation, see N.D.E. (47).
N.D.E.: The editors do not understand the following definition if is not assumed admissible,
whence the addition of this hypothesis. On the other hand, we have written instead of
, in order to avoid confusions between , the dual module of the functor , and **N**^†,
the dual functor of the module , cf. N.D.E. (46). Finally, we have detailed the construction of
.
N.D.E.: We have added point (ii) below, as well as the proof that follows. The original stated: "If is a flat -module, it is clear that is nothing other than the dual of , so the functors and define an anti-equivalence…"
N.D.E.: In this paragraph, we have modified the order, by first defining and then stating that represents .
N.D.E.: For example, let be a field, a pseudocompact -vector space, ; one has (cf. 0.2.2). For every finite-dimensional subspace of , let be the set of closed points of the -scheme . Denote by the direct limit of the . Then is the product, for , of the pseudocompact -algebras , where ranges over the finite-dimensional subspaces of such that , and denotes the separated completion of the local ring for the topology defined by the ideals of finite codimension (which here coincides with the -adic topology). If is algebraically closed and a basis of , so that possesses a pseudobasis , then each local component is isomorphic to the ring of formal series , endowed with the topology defined by the ideals of finite codimension.
N.D.E.: We have detailed the rest of this paragraph.
N.D.E.: We have added the following sentence.
N.D.E.: We have amplified the following proposition by inserting in it the fact that the functor commutes with finite inverse limits (in the original, this appeared in the proof of 1.3.4 — the proof given here is more direct than the original). Moreover, this result will be useful in Section 2 and in 3.3.1.
N.D.E.: We have detailed the beginning of the proof.
N.D.E.: We have added this remark.
N.D.E.: i.e., in the opposite category , the morphism corresponding to is an effective epimorphism. This is the case, because is surjective, hence induces (cf. the proof of 0.2.B) an isomorphism of profinite -algebras , where . Consequently, every morphism of that is zero on descends to a morphism such that .
N.D.E.: i.e., let be a field, and , where is the -subalgebra of generated topologically by and (i.e., is formed by the formal series such that for ). Then is an epimorphism that is not effective; indeed, the cokernel of is , where is the subalgebra of formed by the such that , and contains .
N.D.E.: We have added this lemma, which explains the terminology "topologically flat".
N.D.E.: We have detailed what follows; then we have taken advantage of the addition made in 1.2.6.
N.D.E.: We have added the following lemma, used implicitly in the original; on the other hand, we have introduced the numbering 1.3.5.A to 1.3.5.D, for later references.
N.D.E.: We have detailed what follows.
N.D.E.: In Lemma 1.3.6.A that follows, we have detailed the proof of points (i) and (ii), and have added point (iii).
N.D.E.: For example, let be a field, , where , , with and , where is the image of in . Then for , but for , does not belong to the image of in .
N.D.E.: In this case, one says that the coalgebra is connected, cf. the addition 2.9.
N.D.E.: This also holds without assuming cocommutative ( remaining a commutative artinian
ring): in this case, a basis of neighborhoods of 0 in is given by the two-sided ideals such that
is of finite length over , and the preceding proof shows that if and only
if the are the only open prime ideals of .
The following has been added; the original was limited to the case where is artinian.
One may therefore suppose local.
cf. Exp. V, § 2.b).
The original continued thus: "A formal variety over is said to be étale if the diagonal
morphism ∆_X : X → X × X is a local isomorphism, that is, if ∆_X induces an isomorphism of O_{X×X, ∆_X(x)}
onto for every point of . One sees easily with the aid of SGA I that this formulation is equivalent
to the following two: the formal variety is topologically flat, and, for every point , of projection
, O_{X,x} ⨶_k κ(s) is a finite separable extension of the residue field of ; or also,
if denotes the affine algebra of , the local components (0.1) of A ⨶_k (k/l) are finite étale algebras over
, for every open ideal of ." In what follows, we have rectified the omission of the flatness hypothesis
in the first condition above, and detailed the equivalence of the said conditions.
Let us point out in passing that the proof given in EGA 0_{IV}, 19.3.5 (v) is erroneous.
Note that is stable under finite inverse limits.
We have inserted this remark here, which in the original appeared in 2.5.2.
This is the case for finite inverse limits.
One will also say that is a cogroup in the category of profinite -algebras. On the other hand, we have detailed what follows; in particular, we have made explicit what a morphism of formal groups is, cf. Proposition 2.3.1.
One also says bigèbre (cf. [BAlg], III § 11.4); recall (cf. VII_A, 3.1, N.D.E. (26)) that all the "bialgebras" considered here are assumed cocommutative and equipped with an antipode, i.e., they are in fact cocommutative Hopf algebras.
Since ∆(x) = x ⊗ x one has , hence can occur only if .
We have detailed the original in what follows.
We have added the adjective "covariant" to make it visible that the functor is covariant; this terminology is used in [Di73], I § 2.14.
Recall that in this Exposé, "bialgebra" means "cocommutative Hopf algebra".
We have introduced here the notation , which will be useful below.
We have detailed the original in what follows, in order to introduce the notations D'(G) and
, cf. [Ca62], § 14.
If one denotes by (resp. ) the full subcategory of (resp. ) formed by the objects (resp. ) such that (resp. ) is a finite -module (and hence finite locally free), then and both have the same objects as the category of commutative and cocommutative Hopf -algebras, finite and flat over , the correspondence (resp. ) being covariant (resp. contravariant), and one thus recovers the "Cartier duality" of the category , already seen in VII_A, 3.3.1.
That is, not necessarily topologically flat over .
We have modified the order of the sentences in what follows.
We have added the preceding sentence, and in what follows we have denoted instead of . Recall on the other hand (cf. 1.2.1) that one calls "-functor" a covariant functor .
The original indicated: "(this) follows from the functorial character of ". We have detailed this in what follows.
We have detailed the original in what follows.
We have made this corollary explicit, since it is used, for example, in 5.2.1/5.2.3.
cf. IV, 5.2.6.
See also the remarks following VI_A, 5.4.3.
Note that if , is not a profinite -algebra, so the preceding notation is an abuse of notation. On the other hand, we have detailed the original in what follows.
We have added this remark.
We have detailed the original in what follows.
We have added the following sentence.
We have detailed what follows.
The same argument shows also that, for an arbitrary field , if all the residue fields of
equal , then is the constant -group , where , and is the
semi-direct product of by the group algebra kM, cf. the addition 2.9 further below.
We have added this remark.
, and are also -algebraic groups, finite and flat over , cf. N.D.E. (84) in 2.2.2.
This coincides with the "usual" notion of unipotent -group scheme, cf. the addition 2.8 at the end of Section 2.
The original indicated: "let us say that a commutative -group scheme is of multiplicative type if it is isomorphic to , where is an étale commutative -formal group." We have given here the "usual" definition, drawn from Exp. IX, 1.1, and we have shown its equivalence with the preceding condition; see also [DG70], § IV.1, Th. 2.2.
We have added point (iii), a consequence of Proposition 2.5.
Indeed, entails , with , and then gives .
Comparing with VII_A 2.5, one sees that if is a -group scheme of finite type and if is the formal completion of at the origin (i.e., is the completion of the local ring for the -adic topology, where is the kernel of the augmentation ), then is identified with the algebra of distributions , and with . (The condition that be of finite type over is used to ensure that is a -module of finite length, hence discrete, so that its topological dual coincides with its ordinary dual.) In particular, when is a finite -formal group (i.e., such that is a finite -module), in which case may also be considered as the -group scheme , the two definitions of coincide.
We have detailed the original in what follows.
We have highlighted points (i) and (ii), and added point (iii), which will be useful in 2.6.3 and 3.3.2.
We have modified what follows, taking advantage of the addition made in 2.6.2.
Here and in what follows, we have written "monoid" instead of "monoid with unit element" (recall that a monoid is by definition a set endowed with an associative composition law and possessing a unit element).
By the equivalence of categories 1.3.5.D, a monoid in the category of topologically flat -formal varieties "is the same thing" as a monoid in the category of cocommutative flat -coalgebras, i.e., a cocommutative -bialgebra (in the usual sense, i.e., not necessarily equipped with an antipode). Moreover, by 1.3.6, the hypothesis that be infinitesimal is equivalent to saying that the corresponding bialgebra is connected. So, if is an artinian ring, the proposition is equivalent to saying that: every cocommutative connected -bialgebra, flat over , is a -Hopf algebra, i.e., possesses an antipode (and the cocommutativity hypothesis is in fact superfluous, cf. the proof).
The original continued thus: "one shows then easily, by induction on , that there exists one and
only one linear map such that the composite map m_U ∘ (c_n ⊗ id_U) ∘ ∆_U : U⁺_n → U be
zero"; we have detailed the proof, which rests on that of Lemma 1.3.6.A.
Recall that a two-sided ideal of a ring is called prime if in the product of two nonzero two-sided ideals is nonzero.
This is also equivalent to saying that is the unique simple -subcoalgebra of ; see for example [Ab80], 3.1.4. Let us point out in passing a misprint in loc. cit., p. 130, line 4: is to be replaced by .
If commute, one has therefore exp_U(x + x') = (exp_U x)(exp_U x').
That is, for every morphism of -algebras, one has .
We have detailed what precedes and added the following sentence.
We have added the condition , omitted in the original.
We have added point (ii), an immediate consequence of 3.1.
We have corrected the formula given, which was erroneous, and added the reference [BLie].
We have removed the hypothesis that be local (the proof reduces to this case).
cf. 5.1.5 further below; see also [BAC], III, § 2.8, Th. 1 and corollaries. On the other hand, we have detailed the original in what follows.
We have detailed the original in what follows.
We do not know a priori that is a projective pseudocompact -module, but this will follow from what follows: compare with the proof of (iv) ⇒ (iii) in VII_A, 7.4.
N.D.E.: We have added the flatness hypothesis, omitted in the original.
N.D.E.: We have detailed the original in what follows.
N.D.E.: Since, by 2.7, 2.2.1 and 1.3.6, an infinitesimal -formal group is "the same thing" as a connected cocommutative -bialgebra (cf. 2.9), this statement is equivalent to the theorem below, obtained independently by Kostant (cf. 2.9.2). This theorem had been obtained earlier by J. W. Milnor and J. C. Moore ([MM65]), under the additional hypothesis that is generated as an algebra by its primitive elements (although published in 1965, this text had circulated before 1960, cf. the review [Ja65]), so that it is often called the "Cartier–Kostant–Milnor–Moore theorem".
Theorem (Cartier–Kostant–Milnor–Moore). Let be a field of characteristic 0. The functors and define an equivalence between the category of -Lie algebras and that of connected cocommutative -bialgebras.
On the other hand, if is an artinian ring containing , then 3.2 (ii) and 3.3 (combined with 2.7, 2.2.1 and 1.3.6) similarly show that the functor (resp. ) is an equivalence of the category of flat -Lie algebras onto that of infinitesimal -formal groups topologically flat (resp. onto that of connected cocommutative -bialgebras that are flat).
N.D.E.: The original stated: "This -functor is manifestly left exact ( is topologically flat over !)". We have detailed this in what follows.
N.D.E.: In particular, when , one thus recovers the "Cartier–Gabriel–Kostant theorem" mentioned in 2.9.2.
N.D.E.: We have corrected the original, which gave the inclusion instead of the opposite inclusion. Let us point out moreover that this paragraph is not used in the sequel.
N.D.E.: We have detailed what follows.
N.D.E.: The proof is identical to that of 2.6.3.
N.D.E.: We have added the hypothesis that be local, so that every topologically flat pseudocompact -module be topologically free; cf. the proof.
N.D.E.: We have detailed the original in what follows.
N.D.E.: We have added this remark, used in 4.4.2.
N.D.E.: If is an artinian ring of characteristic , the same proof gives an equivalence between the category of -Lie algebras that are flat over and that of -formal groups of height , topologically flat over .
N.D.E.: We have detailed the original in what follows.
N.D.E.: We have added subsection 5.0, in order to express in the language of cocommutative Hopf algebras the proposition 5.1 that follows, and to cite the results obtained since in this direction.
N.D.E.: In the original, it is supposed in 5.1 that is a field. In fact, this hypothesis can be replaced by flatness hypotheses; we have modified accordingly nos. 5.1 to 5.1.5.
N.D.E.: We have replaced "left" by "right" and have modified the statement of Proposition 5.1, in order to bring out more clearly, on the one hand, the equivalent conditions (i), (ii), and, on the other hand, the conclusion .
N.D.E.: Note that if is a second cogroup of , corresponding to a pair of -formal groups, then to give a morphism of cogroups amounts to giving a morphism of -formal groups that sends into .
N.D.E.: We have replaced "direct sum" by "coproduct".
N.D.E.: In the original, the lemma is stated when is a field, the proof in this case being left to the reader.
N.D.E.: To a pair of -formal groups, one therefore associates the "formal completion of along ", which is a -formal group; moreover, one shall see in 5.1.3–5.1.4 that the inclusion admits a retraction and that the -formal group is identified, as a formal variety, with the completion of the homogeneous space along the unit section. This will be useful in 5.2.2.
N.D.E.: Let G, H and be the -formal groups corresponding to ,
and ; then corresponds to a retraction
of the inclusion , and what precedes means that is the semi-direct
product of by .
N.D.E.: We have detailed the original in what follows, and we have put at the end the "supplement" (which is not necessary to establish Proposition 5.1).
N.D.E.: With the notations of N.D.E. 143, this entails that the formal completion of along the unit section (which has as affine algebra) is isomorphic, as a formal variety, to the -formal group .
N.D.E.: The original stated only point (ii); for the reader's convenience, we have stated in (i) Lemma 1 of [CA], § V.7.
N.D.E.: In the original, the author uses "linearly compact vector space", which is equivalent to "pseudocompact vector space" (cf. [BAC], § III.2, Exercises 15 a), 19 a), and 20 d)). We have preferred to keep the terminology "pseudocompact" used so far.
N.D.E.: On the one hand, we have replaced by , and likewise in the proof; on the other hand, we have added condition (iii).
N.D.E.: We have added paragraphs 5.2.1.A and 5.2.1.B.
N.D.E.: This paragraph is the fruit of discussions with J.-M. Fontaine and E. Bouscaren; in particular Bouscaren indicated to us the proof that follows.
N.D.E.: We return here to the original, which we have shortened taking account of the preceding additions.
N.D.E.: We have added what follows.
N.D.E.: As indicated in the original, this also follows from Proposition 5.1, but we have preferred to indicate the argument above, which does not use the implication (i) ⇒ (ii) of loc. cit.
N.D.E.: Since is perfect, one can identify with the abelian group on which acts by .
N.D.E.: We have added this remark, used in 5.2.5.
N.D.E.: Indeed, (resp. ) is the inverse limit of the (resp. ). On the other hand, we have modified the original in what follows, taking account of the addition made in 5.2.3.
N.D.E.: We have detailed the original in what follows.
N.D.E.: We have added this number, in order to define the infinite tensor products used in 5.3 (a).
N.D.E.: The author no doubt had in mind a tensor product , where the are arbitrary pseudocompact -vector spaces. In this case, one sees without difficulty that is identified with the product of the , and the filtration is given by , i.e., one is in case 5.2.1.B. For this reason, it would be preferable to name these algebras stable (rather than "stationary"), cf. [Di73], II § 2.9, p. 75. If for example for every , then represents the functor that to every associates the set of sequences of elements of such that , and for large enough. Let us note finally that this case (i.e., the case where ) corresponds to the case studied, in the dual situation of connected cocommutative Hopf algebras, by M. E. Sweedler, cf. [Sw67], Th. 3.
N.D.E.: But such an inverse limit is not necessarily a stable profinite -algebra (in the sense of the previous N.D.E.). For example, let be the "ordinary" -vector space of sequences of elements of and let ; then is the direct sum in of copies of , for , i.e., one is in case 5.2.1.A. If one denotes by the element of defined by , for every sequence , then the -algebra is such that and , but is not stable: represents the functor that to every associates the set of "infinite" sequences of elements of such that for every .
N.D.E.: The editors do not know either, outside the cases considered in 5.2.1.A and B.
N.D.E.: See also [DG70], § III.3, Th. 6.1.
N.D.E.: We have added this subsection, in order to give some consequences of 5.4, mentioned in Exposés III and VI_A.
N.D.E.: We have added to this reference, which appeared in the original, the references which follow.