forked from stacks/stacks-project
-
Notifications
You must be signed in to change notification settings - Fork 0
/
formal-spaces.tex
8067 lines (7211 loc) · 313 KB
/
formal-spaces.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
\input{preamble}
% OK, start here.
%
\begin{document}
\title{Formal Algebraic Spaces}
\maketitle
\phantomsection
\label{section-phantom}
\tableofcontents
\section{Introduction}
\label{section-introduction}
\noindent
Formal schemes were introduced in \cite{EGA}. A more general version
of formal schemes was introduced in \cite{McQuillan} and another
in \cite{Yasuda}. Formal algebraic spaces were introduced in \cite{Kn}.
Related material and much besides can be found in
\cite{Abbes} and \cite{Fujiwara-Kato}.
This chapter introduces the notion of formal algebraic spaces
we will work with. Our definition is general enough to allow most
classes of formal schemes/spaces in the literature as full subcategories.
\medskip\noindent
Although we do discuss the comparison of some of these alternative theories
with ours, we do not always give full details when it is not necessary for
the logical development of the theory.
\medskip\noindent
Besides introducing formal algebraic spaces, we also prove a few very
basic properties and we discuss a few types of morphisms.
\section{Formal schemes \`a la EGA}
\label{section-formal-schemes-EGA}
\noindent
In this section we review the construction of formal schemes in \cite{EGA}.
This notion, although very useful in algebraic geometry,
may not always be the correct one to consider. Perhaps it is better to say
that in the setup of the theory a number of choices are made, where for
different purposes others might work better. And indeed in the literature
one can find many different closely related theories
adapted to the problem the authors may want to consider. Still, one
of the major advantages of the theory as sketched here is that one
gets to work with definite geometric objects.
\medskip\noindent
Before we start we should point out an issue with the sheaf condition
for sheaves of topological rings or more generally sheaves of topological
spaces. Namely, the big categories
\begin{enumerate}
\item category of topological spaces,
\item category of topological groups,
\item category of topological rings,
\item category of topological modules over a given topological ring,
\end{enumerate}
endowed with their natural forgetful functors to $\textit{Sets}$ are not
examples of types of algebraic structures as defined in
Sheaves, Section \ref{sheaves-section-algebraic-structures}.
Thus we cannot blithely apply to them the machinery developed in that
chapter. On the other hand, each of the categories
listed above has limits and equalizers and the forgetful functor
to sets, groups, rings, modules commutes with them
(see Topology, Lemmas \ref{topology-lemma-limits},
\ref{topology-lemma-topological-group-limits},
\ref{topology-lemma-topological-ring-limits}, and
\ref{topology-lemma-topological-module-limits}).
Thus we can define the notion of a
sheaf as in Sheaves, Definition
\ref{sheaves-definition-sheaf-values-in-category}
and the underlying presheaf of sets, groups, rings, or modules
is a sheaf. The key difference is that for an open covering
$U = \bigcup_{i \in I} U_i$ the diagram
$$
\xymatrix{
\mathcal{F}(U) \ar[r]
&
\prod\nolimits_{i\in I}
\mathcal{F}(U_i)
\ar@<1ex>[r] \ar@<-1ex>[r]
&
\prod\nolimits_{(i_0, i_1) \in I \times I}
\mathcal{F}(U_{i_0} \cap U_{i_1})
}
$$
has to be an equalizer diagram in the category of topological
spaces, topological groups, topological rings, topological modules,
i.e., that the first map identifies
$\mathcal{F}(U)$ with a subspace of $\prod_{i \in I} \mathcal{F}(U_i)$
which is endowed with the product topology.
\medskip\noindent
The stalk $\mathcal{F}_x$ of a sheaf $\mathcal{F}$
of topological spaces, topological groups, topological rings, or
topological modules at a point $x \in X$ is defined as the colimit over
open neighbourhoods
$$
\mathcal{F}_x = \colim_{x\in U} \mathcal{F}(U)
$$
in the corresponding category. This is the same as taking
the colimit on the level of sets, groups, rings, or modules
(see Topology, Lemmas \ref{topology-lemma-colimits},
\ref{topology-lemma-topological-group-colimits},
\ref{topology-lemma-topological-ring-colimits}, and
\ref{topology-lemma-topological-module-colimits})
but comes equipped with a topology. Warning:
the topology one gets depends on which category one is working with, see
Examples, Section \ref{examples-section-colimit-topology}.
One can sheafify presheaves of topological spaces,
topological groups, topological rings, or topological modules
and taking stalks commutes with this operation, see
Remark \ref{remark-sheafification-of-presheaves-in-top}.
\medskip\noindent
Let $f : X \to Y$ be a continuous map of topological spaces.
There is a functor $f_*$ from the category of sheaves of topological
spaces, topological groups, topological rings, topological modules,
to the corresponding category of sheaves on $Y$ which is defined by setting
$f_*\mathcal{F}(V) = \mathcal{F}(f^{-1}V)$ as usual.
(We delay discussing the pullback in this setting till later.)
We define the notion of an $f$-map $\xi : \mathcal{G} \to \mathcal{F}$
between a sheaf of topological spaces $\mathcal{G}$ on $Y$ and
a sheaf of topological spaces $\mathcal{F}$ on $X$ in exactly the
same manner as in Sheaves, Definition \ref{sheaves-definition-f-map}
with the additional constraint that
$\xi_V : \mathcal{G}(V) \to \mathcal{F}(f^{-1}V)$ be continuous
for every open $V \subset Y$. We have
$$
\{f\text{-maps from }\mathcal{G}\text{ to }\mathcal{F}\} =
\Mor_{\Sh(Y, \textit{Top})}(\mathcal{G}, f_*\mathcal{F})
$$
as in Sheaves, Lemma \ref{sheaves-lemma-f-map}. Similarly for
sheaves of topological groups, topological rings, topological modules. Finally,
let $\xi : \mathcal{G} \to \mathcal{F}$ be an $f$-map as above.
Then given $x \in X$ with image $y = f(x)$ there is a continuous
map
$$
\xi_x : \mathcal{G}_y \longrightarrow \mathcal{F}_x
$$
of stalks defined in exactly the same manner as in the discussion
following Sheaves, Definition \ref{sheaves-definition-composition-f-maps}.
\medskip\noindent
Using the discussion above, we can define a category $LTRS$ of
``locally topologically ringed spaces''. An object is a pair
$(X, \mathcal{O}_X)$ consisting of a topological space
$X$ and a sheaf of topological rings $\mathcal{O}_X$ whose stalks
$\mathcal{O}_{X, x}$ are local rings (if one forgets about the topology).
A morphism $(X, \mathcal{O}_X) \to (Y, \mathcal{O}_Y)$ of
$LTRS$ is a pair $(f, f^\sharp)$ where $f : X \to Y$ is a continuous
map of topological spaces and $f^\sharp : \mathcal{O}_Y \to \mathcal{O}_X$
is an $f$-map such that for every $x \in X$ the induced map
$$
f^\sharp_x : \mathcal{O}_{Y, f(x)} \longrightarrow \mathcal{O}_{X, x}
$$
is a local homomorphism of local rings (forgetting about the topologies).
The composition works in exactly the same manner as composition of
morphisms of locally ringed spaces.
\medskip\noindent
Assume now that the topological space $X$ has a basis consisting
of quasi-compact opens. Given a sheaf $\mathcal{F}$ of sets, groups,
rings, modules over a ring, one can endow $\mathcal{F}$ with
the structure of a sheaf of topological spaces, topological groups,
topological rings, topological modules.
Namely, if $U \subset X$ is quasi-compact open,
we endow $\mathcal{F}(U)$ with the discrete topology. If $U \subset X$
is arbitrary, then we choose an open covering $U = \bigcup_{i \in I} U_i$
by quasi-compact opens and we endow $\mathcal{F}(U)$ with
the induced topology from $\prod_{i \in I} \mathcal{F}(U_i)$
(as we should do according to our discussion above).
The reader may verify (omitted) that we obtain a sheaf of topological spaces,
topological groups, topological rings, topological modules in this fashion.
Let us say that a sheaf of topological spaces, topological groups,
topological rings, topological modules is
{\it pseudo-discrete} if the topology on $\mathcal{F}(U)$ is
discrete for every quasi-compact open $U \subset X$. Then
the construction given above is an adjoint to the forgetful functor
and induces an equivalence between the category of sheaves
of sets and the category of pseudo-discrete sheaves of topological spaces
(similarly for groups, rings, modules).
\medskip\noindent
Grothendieck and Dieudonn\'e first define formal affine schemes.
These correspond to admissible topological rings $A$, see
More on Algebra, Definition \ref{more-algebra-definition-topological-ring}.
Namely, given $A$ one considers a fundamental system $I_\lambda$ of ideals
of definition for the ring $A$. (In any admissible topological ring
the family of all ideals of definition forms a fundamental system.)
For each $\lambda$ we can consider the
scheme $\Spec(A/I_\lambda)$. For $I_\lambda \subset I_\mu$ the induced
morphism
$$
\Spec(A/I_\mu) \to \Spec(A/I_\lambda)
$$
is a thickening because $I_\mu^n \subset I_\lambda$ for some $n$.
Another way to see this, is to notice that the image of each of the
maps
$$
\Spec(A/I_\lambda) \to \Spec(A)
$$
is a homeomorphism onto the set of open prime ideals of $A$.
This motivates the definition
$$
\text{Spf}(A) = \{\text{open prime ideals }\mathfrak p \subset A\}
$$
endowed with the topology coming from $\Spec(A)$. For each $\lambda$
we can consider the structure sheaf $\mathcal{O}_{\Spec(A/I_\lambda)}$
as a sheaf on $\text{Spf}(A)$. Let $\mathcal{O}_\lambda$ be the corresponding
pseudo-discrete sheaf of topological rings, see above.
Then we set
$$
\mathcal{O}_{\text{Spf}(A)} = \lim \mathcal{O}_\lambda
$$
where the limit is taken in the category of sheaves of topological rings.
The pair $(\text{Spf}(A), \mathcal{O}_{\text{Spf}(A)})$ is called the
{\it formal spectrum} of $A$.
\medskip\noindent
At this point one should check several things. The first is that
the stalks $\mathcal{O}_{\text{Spf}(A), x}$ are local rings
(forgetting about the topology). The second is that given
$f \in A$, for the corresponding open $D(f) \cap \text{Spf}(A)$
we have
$$
\Gamma(D(f) \cap \text{Spf}(A), \mathcal{O}_{\text{Spf}(A)})
= A_{\{f\}} = \lim (A/I_\lambda)_f
$$
as topological rings where $I_\lambda$ is a fundamental system of ideals
of definition as above. Moreover, the ring $A_{\{f\}}$ is admissible too and
$(\text{Spf}(A_f), \mathcal{O}_{\text{Spf}(A_{\{f\}})})$
is isomorphic to
$(D(f) \cap \text{Spf}(A),
\mathcal{O}_{\text{Spf}(A)}|_{D(f) \cap \text{Spf}(A)})$.
Finally, given a pair of admissible topological rings $A, B$
we have
\begin{equation}
\label{equation-morphisms-affine-formal-schemes}
\Mor_{LTRS}((\text{Spf}(B), \mathcal{O}_{\text{Spf}(B)}),
(\text{Spf}(A), \mathcal{O}_{\text{Spf}(A)}))
= \Hom_{cont}(A, B)
\end{equation}
where $LTRS$ is the category of ``locally topologically ringed spaces''
as defined above.
\medskip\noindent
Having said this, in \cite{EGA} a {\it formal scheme} is defined as a pair
$(\mathfrak X, \mathcal{O}_\mathfrak X)$ where $\mathfrak X$
is a topological space and $\mathcal{O}_\mathfrak X$ is a sheaf
of topological rings such that every point has an open neighbourhood
isomorphic (in $LTRS$) to an affine formal scheme.
A {\it morphism of formal schemes}
$f : (\mathfrak X, \mathcal{O}_\mathfrak X) \to
(\mathfrak Y, \mathcal{O}_\mathfrak Y)$
is a morphism in the category $LTRS$.
\medskip\noindent
Let $A$ be a ring endowed with the discrete topology. Then $A$ is
admissible and the formal scheme $\text{Spf}(A)$ is equal to
$\Spec(A)$. The structure sheaf $\mathcal{O}_{\text{Spf}(A)}$
is the pseudo-discrete sheaf of topological rings associated
to $\mathcal{O}_{\Spec(A)}$, in other words, its underlying
sheaf of rings is equal to $\mathcal{O}_{\Spec(A)}$ and the
ring $\mathcal{O}_{\text{Spf}(A)}(U) = \mathcal{O}_{\Spec(A)}(U)$
over a quasi-compact open $U$ has the discrete topology,
but not in general. Thus we can associate to every affine scheme
a formal affine scheme. In exactly the same manner we can start
with a general scheme $(X, \mathcal{O}_X)$ and associate to
it $(X, \mathcal{O}'_X)$ where $\mathcal{O}'_X$ is the
pseudo-discrete sheaf of topological rings whose underlying
sheaf of rings is $\mathcal{O}_X$. This construction is
compatible with morphisms and defines a functor
\begin{equation}
\label{equation-compare-schemes-formal-schemes}
\textit{Schemes} \longrightarrow \textit{Formal Schemes}
\end{equation}
It follows in a straightforward manner from
(\ref{equation-morphisms-affine-formal-schemes})
that this functor is fully faithful.
\medskip\noindent
Let $\mathfrak X$ be a formal scheme. Let us define the {\it size}
of the formal scheme by the formula
$\text{size}(\mathfrak X) = \max(\aleph_0, \kappa_1, \kappa_2)$
where $\kappa_1$ is the cardinality of the formal affine opens of
$\mathfrak X$ and $\kappa_2$ is the supremum of the cardinalities
of $\mathcal{O}_\mathfrak X(\mathfrak U)$ where
$\mathfrak U \subset \mathfrak X$ is such a formal affine open.
\begin{lemma}
\label{lemma-fully-faithful}
Choose a category of schemes $\Sch_\alpha$
as in Sets, Lemma \ref{sets-lemma-construct-category}.
Given a formal scheme $\mathfrak X$ let
$$
h_\mathfrak X : (\Sch_\alpha)^{opp} \longrightarrow \textit{Sets},\quad
h_\mathfrak X(S) = \Mor_{\textit{Formal Schemes}}(S, \mathfrak X)
$$
be its functor of points. Then we have
$$
\Mor_{\textit{Formal Schemes}}(\mathfrak X, \mathfrak Y) =
\Mor_{\textit{PSh}(\Sch_\alpha)}(h_\mathfrak X, h_\mathfrak Y)
$$
provided the size of $\mathfrak X$ is not too large.
\end{lemma}
\begin{proof}
First we observe that $h_\mathfrak X$ satisfies the sheaf property for
the Zariski topology for any formal scheme $\mathfrak X$ (see
Schemes, Definition \ref{schemes-definition-representable-by-open-immersions}).
This follows from the local nature of morphisms in the category
of formal schemes. Also, for an open immersion
$\mathfrak V \to \mathfrak W$ of formal schemes,
the corresponding transformation of functors $h_\mathfrak V \to h_\mathfrak W$
is injective and representable by open immersions (see
Schemes, Definition \ref{schemes-definition-representable-by-open-immersions}).
Choose an open covering $\mathfrak X = \bigcup \mathfrak U_i$
of a formal scheme by affine formal schemes $\mathfrak U_i$.
Then the collection of functors
$h_{\mathfrak U_i}$ covers $h_\mathfrak X$ (see
Schemes, Definition \ref{schemes-definition-representable-by-open-immersions}).
Finally, note that
$$
h_{\mathfrak U_i} \times_{h_\mathfrak X} h_{\mathfrak U_j} =
h_{\mathfrak U_i \cap \mathfrak U_j}
$$
Hence in order to give a map $h_\mathfrak X \to h_\mathfrak Y$
is equivalent to giving a family of maps
$h_{\mathfrak U_i} \to h_\mathfrak Y$ which agree on overlaps.
Thus we can reduce the bijectivity (resp.\ injectivity) of the map
of the lemma to bijectivity (resp.\ injectivity) for the pairs
$(\mathfrak U_i, \mathfrak Y)$
and injectivity (resp.\ nothing)
for $(\mathfrak U_i \cap \mathfrak U_j, \mathfrak Y)$.
In this way we reduce to the case where $\mathfrak X$ is an
affine formal scheme. Say $\mathfrak X = \text{Spf}(A)$
for some admissible topological ring $A$. Also, choose a
fundamental system of ideals of definition $I_\lambda \subset A$.
\medskip\noindent
We can also localize on $\mathfrak Y$.
Namely, suppose that $\mathfrak V \subset \mathfrak Y$ is an
open formal subscheme and $\varphi : h_\mathfrak X \to h_\mathfrak Y$.
Then
$$
h_\mathfrak V \times_{h_\mathfrak Y, \varphi} h_\mathfrak X \to h_\mathfrak X
$$
is representable by open immersions. Pulling back to
$\Spec(A/I_\lambda)$ for all $\lambda$ we find an open subscheme
$U_\lambda \subset \Spec(A/I_\lambda)$. However, for
$I_\lambda \subset I_\mu$ the morphism $\Spec(A/I_\lambda) \to \Spec(A/I_\mu)$
pulls back $U_\mu$ to $U_\lambda$. Thus these glue to give
an open formal subscheme $\mathfrak U \subset \mathfrak X$.
A straightforward argument (omitted) shows that
$$
h_\mathfrak U = h_\mathfrak V \times_{h_\mathfrak Y} h_\mathfrak X
$$
In this way we see that given an open covering
$\mathfrak Y = \bigcup \mathfrak V_j$ and a transformation
of functors $\varphi : h_\mathfrak X \to h_\mathfrak Y$
we obtain a corresponding open covering of $\mathfrak X$.
Since $\mathfrak X$ is affine, we can refine this covering by
a finite open covering
$\mathfrak X = \mathfrak U_1 \cup \ldots \cup \mathfrak U_n$
by affine formal subschemes. In other words, for each $i$ there
is a $j$ and a map $\varphi_i : h_{\mathfrak U_i} \to h_{\mathfrak V_j}$
such that
$$
\xymatrix{
h_{\mathfrak U_i} \ar[r]_{\varphi_i} \ar[d] & h_{\mathfrak V_j} \ar[d] \\
h_{\mathfrak X} \ar[r]^\varphi & h_\mathfrak Y
}
$$
commutes. With a few additional arguments (which we omit) this implies
that it suffices to prove the bijectivity of the lemma in case
both $\mathfrak X$ and $\mathfrak Y$ are affine formal schemes.
\medskip\noindent
Assume $\mathfrak X$ and $\mathfrak Y$ are affine formal schemes.
Say $\mathfrak X = \text{Spf}(A)$ and $\mathfrak Y = \text{Spf}(B)$.
Let $\varphi : h_\mathfrak X \to h_\mathfrak Y$ be a transformation
of functors. Let $I_\lambda \subset A$ be a fundamental system of
ideals of definition. The canonical inclusion morphism
$i_\lambda : \Spec(A/I_\lambda) \to \mathfrak X$ maps to a morphism
$\varphi(i_\lambda) : \Spec(A/I_\lambda) \to \mathfrak Y$.
By (\ref{equation-morphisms-affine-formal-schemes}) this corresponds
to a continuous map $\chi_\lambda : B \to A/I_\lambda$.
Since $\varphi$ is a transformation of functors it follows
that for $I_\lambda \subset I_\mu$ the composition
$B \to A/I_\lambda \to A/I_\mu$ is equal to $\chi_\mu$.
In other words we obtain a ring map
$$
\chi = \lim \chi_\lambda : B \longrightarrow \lim A/I_\lambda = A
$$
This is a continuous homomorphism because the inverse image
of $I_\lambda$ is open for all $\lambda$ (as $A/I_\lambda$ has the discrete
topology and $\chi_\lambda$ is continuous). Thus we obtain
a morphism $\text{Spf}(\chi) : \mathfrak X \to \mathfrak Y$ by
(\ref{equation-morphisms-affine-formal-schemes}).
We omit the verification that this construction is the inverse
to the map of the lemma in this case.
\medskip\noindent
Set theoretic remarks. To make this work on the given category
of schemes $\Sch_\alpha$ we just have to make sure all the
schemes used in the proof above are isomorphic to objects of $\Sch_\alpha$.
In fact, a careful analysis shows that it suffices if the
schemes $\Spec(A/I_\lambda)$ occurring above are isomorphic to
objects of $\Sch_\alpha$. For this it certainly suffices to assume
the size of $\mathfrak X$ is at most the size of
a scheme contained in $\Sch_\alpha$.
\end{proof}
\begin{lemma}
\label{lemma-formal-scheme-sheaf-fppf}
\begin{slogan}
Formal schemes are fpqc sheaves
\end{slogan}
Let $\mathfrak X$ be a formal scheme. The functor of points
$h_\mathfrak X$ (see Lemma \ref{lemma-fully-faithful})
satisfies the sheaf condition for fpqc coverings.
\end{lemma}
\begin{proof}
Topologies, Lemma \ref{topologies-lemma-sheaf-property-fpqc}
reduces us to the case of a Zariski covering and a covering
$\{\Spec(S) \to \Spec(R)\}$ with $R \to S$ faithfully flat.
We observed in the proof of Lemma \ref{lemma-fully-faithful}
that $h_\mathfrak X$ satisfies the sheaf condition for Zariski coverings.
\medskip\noindent
Suppose that $R \to S$ is a faithfully flat ring map.
Denote $\pi : \Spec(S) \to \Spec(R)$ the
corresponding morphism of schemes. It is surjective and flat.
Let $f : \Spec(S) \to \mathfrak X$ be a morphism
such that $f \circ \text{pr}_1 = f \circ \text{pr}_2$
as maps $\Spec(S \otimes_R S) \to \mathfrak X$.
By Descent, Lemma \ref{descent-lemma-equiv-fibre-product}
we see that as a map on the underlying
sets $f$ is of the form $f = g \circ \pi$ for some
(set theoretic) map $g : \Spec(R) \to \mathfrak X$.
By Morphisms, Lemma \ref{morphisms-lemma-fpqc-quotient-topology}
and the fact that $f$ is continuous we see that $g$
is continuous.
\medskip\noindent
Pick $y \in \Spec(R)$. Choose $\mathfrak U \subset \mathfrak X$
an affine formal open subscheme containing $g(y)$.
Say $\mathfrak U = \text{Spf}(A)$ for some admissible topological
ring $A$. By the above we may choose an $r \in R$ such that
$y \in D(r) \subset g^{-1}(\mathfrak U)$.
The restriction of $f$ to $\pi^{-1}(D(r))$ into $\mathfrak U$
corresponds to a continuous ring map $A \to S_r$ by
(\ref{equation-morphisms-affine-formal-schemes}). The two induced ring maps
$A \to S_r \otimes_{R_r} S_r = (S \otimes_R S)_r$ are equal
by assumption on $f$.
Note that $R_r \to S_r$ is faithfully flat.
By Descent, Lemma \ref{descent-lemma-ff-exact} the equalizer of
the two arrows $S_r \to S_r \otimes_{R_r} S_r$ is $R_r$.
We conclude that $A \to S_r$ factors uniquely through a map $A \to R_r$
which is also continuous as it has the same (open) kernel as the
map $A \to S_r$. This map in turn gives a morphism $D(r) \to \mathfrak U$ by
(\ref{equation-morphisms-affine-formal-schemes}).
\medskip\noindent
What have we proved so far? We have shown that for any $y \in \Spec(R)$
there exists a standard affine open
$y \in D(r) \subset \Spec(R)$ such that the morphism
$f|_{\pi^{-1}(D(r))} : \pi^{-1}(D(r)) \to \mathfrak X$ factors uniquely
though some morphism $D(r) \to \mathfrak X$. We omit the
verification that these morphisms glue to the desired
morphism $\Spec(R) \to \mathfrak X$.
\end{proof}
\begin{remark}[McQuillan's variant]
\label{remark-mcquillan}
There is a variant of the construction of formal schemes due to
McQuillan, see \cite{McQuillan}.
He suggests a slight weakening of the condition of admissibility.
Namely, recall that an admissible topological ring is a complete
(and separated by our conventions) topological ring $A$
which is linearly topologized such that there exists an
ideal of definition: an
open ideal $I$ such that any neighbourhood of $0$ contains $I^n$
for some $n \geq 1$.
McQuillan works with what we will call {\it weakly admissible}
topological rings. A weakly admissible topological ring $A$ is a
complete (and separated by our conventions) topological ring
which is linearly topologized such that there exists an
{\it weak ideal of definition}: an open ideal $I$ such that
for all $f \in I$ we have
$f^n \to 0$ for $n \to \infty$. Similarly to the admissible case,
if $I$ is a weak ideal of definition and $J \subset A$ is an
open ideal, then $I \cap J$ is a weak ideal of definition.
Thus the weak ideals of definition form a fundamental system of
open neighbourhoods of $0$ and
one can proceed along much the same route as above
to define a larger category of formal schemes based
on this notion. The analogues of Lemmas \ref{lemma-fully-faithful} and
\ref{lemma-formal-scheme-sheaf-fppf}
still hold in this setting (with the same proof).
\end{remark}
\begin{remark}[Sheafification of presheaves of topological spaces]
\label{remark-sheafification-of-presheaves-in-top}
\begin{reference}
\cite{Gray}
\end{reference}
In this remark we briefly discuss sheafification of presheaves
of topological spaces. The exact same arguments work for
presheaves of topological abelian groups, topological rings, and
topological modules (over a given topological ring). In order to
do this in the correct generality let us work over a site
$\mathcal{C}$. The reader who is interested in the case of (pre)sheaves
over a topological space $X$ should think of objects of $\mathcal{C}$
as the opens of $X$, of morphisms of $\mathcal{C}$ as inclusions of
opens, and of coverings in $\mathcal{C}$ as coverings in $X$, see
Sites, Example \ref{sites-example-site-topological}.
Denote $\Sh(\mathcal{C}, \textit{Top})$ the category of sheaves
of topological spaces on $\mathcal{C}$ and denote
$\textit{PSh}(\mathcal{C}, \textit{Top})$ the category of presheaves
of topological spaces on $\mathcal{C}$.
Let $\mathcal{F}$ be a presheaf of topological spaces on $\mathcal{C}$.
The sheafification $\mathcal{F}^\#$ should satisfy the formula
$$
\Mor_{\textit{PSh}(\mathcal{C}, \textit{Top})}(\mathcal{F}, \mathcal{G})
=
\Mor_{\Sh(\mathcal{C}, \textit{Top})}(\mathcal{F}^\#, \mathcal{G})
$$
functorially in $\mathcal{G}$ from $\Sh(\mathcal{C}, \textit{Top})$.
In other words, we are trying to construct the left adjoint
to the inclusion functor
$\Sh(\mathcal{C}, \textit{Top}) \to \textit{PSh}(\mathcal{C}, \textit{Top})$.
We first claim that $\Sh(\mathcal{C}, \textit{Top})$ has limits
and that the inclusion functor commutes with them.
Namely, given a category $\mathcal{I}$ and a functor
$i \mapsto \mathcal{G}_i$ into $\Sh(\mathcal{C}, \textit{Top})$
we simply define
$$
(\lim \mathcal{G}_i)(U) = \lim \mathcal{G}_i(U)
$$
where we take the limit in the category of topological spaces
(Topology, Lemma \ref{topology-lemma-limits}). This defines a sheaf
because limits commute with limits
(Categories, Lemma \ref{categories-lemma-colimits-commute})
and in particular products and equalizers (which are the
operations used in the sheaf axiom). Finally, a morphism
of presheaves from $\mathcal{F} \to \lim \mathcal{G}_i$ is
clearly the same thing as a compatible system of morphisms
$\mathcal{F} \to \mathcal{G}_i$. In other words, the object
$\lim \mathcal{G}_i$ is the limit in the category
of presheaves of topological spaces and a fortiori in the
category of sheaves of topological spaces.
Our second claim is that any morphism of presheaves
$\mathcal{F} \to \mathcal{G}$ with $\mathcal{G}$ an object of
$\Sh(\mathcal{C}, \textit{Top})$ factors through a subsheaf
$\mathcal{G}' \subset \mathcal{G}$ whose size is bounded.
Here we define the {\it size} $|\mathcal{H}|$
of a sheaf of topological spaces $\mathcal{H}$ to be the cardinal
$\sup_{U \in \Ob(\mathcal{C})} |\mathcal{H}(U)|$.
To prove our claim we let
$$
\mathcal{G}'(U) =
\left\{
\quad
s \in \mathcal{G}(U)
\quad \middle| \quad
\begin{matrix}
\text{there exists a covering }\{U_i \to U\}_{i \in I} \\
\text{such that }
s|_{U_i} \in \Im(\mathcal{F}(U_i) \to \mathcal{G}(U_i))
\end{matrix}
\quad
\right\}
$$
We endow $\mathcal{G}'(U)$ with the induced topology.
Then $\mathcal{G}'$ is a sheaf of topological spaces (details omitted)
and $\mathcal{G}' \to \mathcal{G}$ is a morphism through which
the given map $\mathcal{F} \to \mathcal{G}$ factors. Moreover,
the size of $\mathcal{G}'$ is bounded by some cardinal
$\kappa$ depending only on $\mathcal{C}$ and the presheaf $\mathcal{F}$
(hint: use that coverings in $\mathcal{C}$
form a set by our conventions). Putting everything together we see
that the assumptions of Categories, Theorem
\ref{categories-theorem-adjoint-functor}
are satisfied and we obtain sheafification as the left
adjoint of the inclusion functor from sheaves to presheaves.
Finally, let $p$ be a point of the
site $\mathcal{C}$ given by a functor $u : \mathcal{C} \to \textit{Sets}$,
see Sites, Definition \ref{sites-definition-point}.
For a topological space $M$ the presheaf defined by the rule
$$
U \mapsto \text{Map}(u(U), M) = \prod\nolimits_{x \in u(U)} M
$$
endowed with the product topology is a sheaf of topological spaces.
Hence the exact same argument as given in the proof of
Sites, Lemma \ref{sites-lemma-point-pushforward-sheaf} shows that
$\mathcal{F}_p = \mathcal{F}^\#_p$, in other words, sheafification
commutes with taking stalks at a point.
\end{remark}
\section{Conventions and notation}
\label{section-conventions}
\noindent
The conventions from now on will be similar to the conventions in
Properties of Spaces, Section \ref{spaces-properties-section-conventions}.
Thus from now on the standing assumption is that all schemes are contained
in a big fppf site $\Sch_{fppf}$. And all rings $A$ considered have the
property that $\Spec(A)$ is (isomorphic) to an object of this big site.
For topological rings $A$ we assume only that all discrete quotients have
this property (but usually we assume more, compare with
Remark \ref{remark-set-theoretic}).
\medskip\noindent
Let $S$ be a scheme and let $X$ be a ``space'' over $S$, i.e., a sheaf on
$(\Sch/S)_{fppf}$. In this chapter we will write $X \times_S X$ for the
product of $X$ with itself in the category of sheaves on $(\Sch/S)_{fppf}$
instead of $X \times X$. Moreover, if $X$ and $Y$ are ``spaces'' then
we say "let $f : X \to Y$ be a morphism" to indicate that $f$ is a
natural transformation of functors, i.e., a map of sheaves on
$(\Sch/S)_{fppf}$. Similarly, if $U$ is a scheme over $S$ and
$X$ is a ``space'' over $S$, then we say
"let $f : U \to X$ be a morphism" or
"let $g : X \to U$ be a morphism" to indicate that $f$ or $g$
is a map of sheaves $h_U \to X$ or $X \to h_U$ where $h_U$ is as in
Categories, Example \ref{categories-example-hom-functor}.
\section{Topological rings and modules}
\label{section-topological-module}
\noindent
This section is a continuation of
More on Algebra, Section \ref{more-algebra-section-topological-ring}.
Let $R$ be a topological ring and let $M$ be a linearly topologized
$R$-module. When we say ``{\it let $M_\lambda$ be a fundamental system of
open submodules}'' we will mean that each $M_\lambda$ is an open submodule
and that any neighbourhood of $0$ contains one of the $M_\lambda$.
In other words, this means that $M_\lambda$ is a fundamental system
of neighbourhoods of $0$ in $M$ consisting of submodules.
Similarly, if $R$ is a linearly topologized ring, then we say
``{\it let $I_\lambda$ be a fundamental system of open ideals}''
to mean that $I_\lambda$ is a fundamental system
of neighbourhoods of $0$ in $R$ consisting of ideals.
\begin{example}
\label{example-what-does-it-mean}
Let $R$ be a linearly topologized ring and let $M$ be a linearly
topologized $R$-module. Let $I_\lambda$ be a fundamental system of
open ideals in $R$ and let $M_\mu$ be a fundamental system of
open submodules of $M$. The continuity of $+ : M \times M \to M$
is automatic and the continuity of $R \times M \to M$ signifies
$$
\forall f, x, \mu\ \exists \lambda, \nu,\ (f + I_\lambda)(x + M_\nu)
\subset fx + M_\mu
$$
Since $fM_\nu + I_\lambda M_\nu \subset M_\mu$ if
$M_\nu \subset M_\mu$ we see that the condition is equivalent to
$$
\forall x, \mu\ \exists \lambda\ I_\lambda x \subset M_\mu
$$
However, it need not be the case that given $\mu$ there is a $\lambda$
such that $I_\lambda M \subset M_\mu$. For example, consider
$R = k[[t]]$ with the $t$-adic topology and
$M = \bigoplus_{n \in \mathbf{N}} R$ with fundamental system of
open submodules given by
$$
M_m = \bigoplus\nolimits_{n \in \mathbf{N}} t^{nm}R
$$
Since every $x \in M$ has finitely many nonzero coordinates we see
that, given $m$ and $x$ there exists a $k$ such that $t^k x \in M_m$.
Thus $M$ is a linearly topologized $R$-module, but it isn't true
that given $m$ there is a $k$ such that $t^kM \subset M_m$.
On the other hand, if $R \to S$ is a continuous map of linearly
topologized rings, then the corresponding statement does hold, i.e.,
for every open ideal $J \subset S$ there exists an open ideal
$I \subset R$ such that $IS \subset J$ (as the reader can easily
deduce from continuity of the map $R \to S$).
\end{example}
\begin{lemma}
\label{lemma-closed}
Let $R$ be a topological ring. Let $M$ be a linearly topologized
$R$-module and let $M_\lambda$, $\lambda \in \Lambda$ be a fundamental
system of open submodules. Let $N \subset M$ be a submodule.
The closure of $N$ is $\bigcap_{\lambda \in \Lambda} (N + M_\lambda)$.
\end{lemma}
\begin{proof}
Since each $N + M_\lambda$ is open, it is also closed. Hence the
intersection is closed. If $x \in M$ is not in the closure of $N$,
then $(x + M_\lambda) \cap N = 0$ for some $\lambda$. Hence
$x \not \in N + M_\lambda$. This proves the lemma.
\end{proof}
\noindent
Unless otherwise mentioned we endow submodules and quotient modules
with the induced topology. Let $M$ be a linearly topologized module
over a topological ring $R$, and let $0 \to N \to M \to Q \to 0$
be a short exact sequence of $R$-modules. If $M_\lambda$ is a
fundamental system of open submodules of $M$, then
$N \cap M_\lambda$ is a fundamental system of open submodules of $N$.
If $\pi : M \to Q$ is the quotient map, then $\pi(M_\lambda)$ is a
fundamental system of open submodules of $Q$. In particular these induced
topologies are linear topologies.
\begin{lemma}
\label{lemma-closure}
Let $R$ be a topological ring. Let $M$ be a linearly topologized
$R$-module. Let $N \subset M$ be a submodule. Then
\begin{enumerate}
\item $0 \to N^\wedge \to M^\wedge \to (M/N)^\wedge$ is exact, and
\item $N^\wedge$ is the closure of the image of $N \to M^\wedge$.
\end{enumerate}
\end{lemma}
\begin{proof}
Let $M_\lambda$, $\lambda \in \Lambda$ be a fundamental system of
open submodules. Then $N \cap M_\lambda$ is a fundamental system
of open submodules of $N$ and $M_\lambda + N/N$ is a fundamental system
of open submodules of $M/N$. Thus we see that (1) follows from
the exactness of the sequences
$$
0 \to N/N \cap M_\lambda \to M/M_\lambda \to M/(M_\lambda + N) \to 0
$$
and the fact that taking limits commutes with limits. The second
statement follows from this and the fact that $N \to N^\wedge$
has dense image and that the kernel of $M^\wedge \to (M/N)^\wedge$ is closed.
\end{proof}
\begin{lemma}
\label{lemma-quotient-by-closed}
Let $R$ be a topological ring. Let $M$ be a complete, linearly topologized
$R$-module. Let $N \subset M$ be a closed submodule. If $M$ has a
countable fundamental system of neighbourhoods of $0$, then
$M/N$ is complete and the map $M \to M/N$ is open.
\end{lemma}
\begin{proof}
Let $M_n$, $n \in \mathbf{N}$ be a fundamental system of open submodules of $M$.
We may assume $M_{n + 1} \subset M_n$
for all $n$. The system $(M_n + N)/N$ is a fundamental system in $M/N$.
Hence we have to show that $M/N = \lim M/(M_n + N)$. Consider
the short exact sequences
$$
0 \to N/N \cap M_n \to M/M_n \to M/(M_n + N) \to 0
$$
Since the transition maps of the system $\{N/N\cap M_n\}$ are surjective
we see that $M = \lim M/M_n$ (by completeness of $M$) surjects onto
$\lim M/(M_n + N)$ by
Algebra, Lemma \ref{algebra-lemma-ML-exact-sequence}.
As $N$ is closed we see that the kernel of $M \to \lim M/(M_n + N)$
is $N$ (see Lemma \ref{lemma-closed}). Finally, $M \to M/N$
is open by definition of the quotient topology.
\end{proof}
\begin{lemma}
\label{lemma-ses}
\begin{reference}
\cite[Theorem 8.1]{Ma}
\end{reference}
Let $R$ be a topological ring. Let $M$ be a linearly topologized
$R$-module. Let $N \subset M$ be a submodule. Assume $M$ has a
countable fundamental system of neighbourhoods of $0$. Then
\begin{enumerate}
\item $0 \to N^\wedge \to M^\wedge \to (M/N)^\wedge \to 0$ is exact,
\item $N^\wedge$ is the closure of the image of $N \to M^\wedge$,
\item $M^\wedge \to (M/N)^\wedge$ is open.
\end{enumerate}
\end{lemma}
\begin{proof}
We have $0 \to N^\wedge \to M^\wedge \to (M/N)^\wedge$ is exact
and statement (2) by Lemma \ref{lemma-closure}.
This produces a canonical map $c : M^\wedge/N^\wedge \to (M/N)^\wedge$.
The module $M^\wedge/N^\wedge$ is complete and
$M^\wedge \to M^\wedge/N^\wedge$ is open by
Lemma \ref{lemma-quotient-by-closed}.
By the universal property of completion we obtain a canonical
map $b : (M/N)^\wedge \to M^\wedge/N^\wedge$.
Then $b$ and $c$ are mutually inverse as they are on a dense subset.
\end{proof}
\begin{lemma}
\label{lemma-completion-adic-star}
Let $R$ be a topological ring. Let $M$ be a topological $R$-module.
Let $I \subset R$ be a finitely generated ideal. Assume $M$
has an open submodule whose topology is $I$-adic. Then $M^\wedge$
has an open submodule whose topology is $I$-adic and we have
$M^\wedge/I^n M^\wedge = M/I^nM$ for all $n \geq 1$.
\end{lemma}
\begin{proof}
Let $M' \subset M$ be an open submodule whose topology is $I$-adic.
Then $\{I^nM'\}_{n \geq 1}$ is a fundamental system of open submodules
of $M$. Thus $M^\wedge = \lim M/I^nM'$ contains
$(M')^\wedge = \lim M'/I^nM'$
as an open submodule and the topology on $(M')^\wedge$ is
$I$-adic by Algebra, Lemma \ref{algebra-lemma-hathat-finitely-generated}.
Since $I$ is finitely generated, $I^n$ is finitely generated,
say by $f_1, \ldots, f_r$. Observe that the surjection
$(f_1, \ldots, f_r) : M^{\oplus r} \to I^n M$ is continuous
and open by our description of the topology on $M$ above.
By Lemma \ref{lemma-ses} applied to this surjection and to the
short exact sequence $0 \to I^nM \to M \to M/I^nM \to 0$
we conclude that
$$
(f_1, \ldots, f_r) :
(M^\wedge)^{\oplus r} \longrightarrow M^\wedge
$$
surjects onto the kernel of the surjection $M^\wedge \to M/I^nM$.
Since $f_1, \ldots, f_r$ generate $I^n$ we conclude.
\end{proof}
\begin{definition}
\label{definition-toplogy-tensor-product}
Let $R$ be a topological ring. Let $M$ and $N$ be linearly
topologized $R$-modules. The {\it tensor product} of $M$ and $N$
is the (usual) tensor product $M \otimes_R N$ endowed
with the linear topology defined by declaring
$$
\Im(M_\mu \otimes_R N + M \otimes_R N_\nu \longrightarrow M \otimes_R N)
$$
to be a fundamental system of open submodules, where
$M_\mu \subset M$ and $N_\nu \subset N$ run through fundamental
systems of open submodules in $M$ and $N$.
The {\it completed tensor product}
$$
M \widehat{\otimes}_R N =
\lim M \otimes_R N/(M_\mu \otimes_R N + M \otimes_R N_\nu) =
\lim M/M_\mu \otimes_R N/N_\nu
$$
is the completion of the tensor product.
\end{definition}
\noindent
Observe that the topology on $R$ is immaterial for the construction
of the tensor product or the completed tensor product.
If $R \to A$ and $R \to B$ are continuous maps of
linearly topologized rings, then the construction above
gives a tensor product $A \otimes_R B$ and a completed
tensor product $A \widehat{\otimes}_R B$.
\medskip\noindent
We record here the notions introduced in Remark \ref{remark-mcquillan}.
\begin{definition}
\label{definition-weakly-admissible}
Let $A$ be a linearly topologized ring.
\begin{enumerate}
\item An element $f \in A$ is called {\it topologically nilpotent}
if $f^n \to 0$ as $n \to \infty$.
\item A {\it weak ideal of definition} for $A$ is an open ideal
$I \subset A$ consisting entirely of topologically nilpotent elements.
\item We say $A$ is {\it weakly pre-admissible} if $A$ has a weak
ideal of definition.
\item We say $A$ is {\it weakly admissible} if $A$ is weakly pre-admissible
and complete\footnote{By our conventions this includes separated.}.
\end{enumerate}
\end{definition}
\noindent
Given a weak ideal of definition $I$ in a linearly topologized ring
$A$ and an open ideal $J$ the intersection $I \cap J$ is a
weak ideal of definition. Hence if there is one weak ideal of definition,
then there is a fundamental system of open ideals
consisting of weak ideals of definition. In particular,
given a weakly admissible topological ring $A$ then
$A = \lim A/I_\lambda$ where $\{I_\lambda\}$ is a fundamental system
of weak ideals of definition.
\begin{lemma}
\label{lemma-weakly-admissible-henselian}
Let $A$ be a weakly admissible topological ring. Let $I \subset A$
be a weak ideal of definition. Then $(A, I)$ is a henselian pair.
\end{lemma}
\begin{proof}
Let $A \to A'$ be an \'etale ring map and let $\sigma : A' \to A/I$
be an $A$-algebra map. By More on Algebra, Lemma
\ref{more-algebra-lemma-characterize-henselian-pair} it suffices
to lift $\sigma$ to an $A$-algebra map $A' \to A$.
To do this, as $A$ is complete, it suffices to find,
for every open ideal $J \subset I$, a unique $A$-algebra map $A' \to A/J$
lifting $\sigma$. Since $I$ is a weak ideal of definition,
the ideal $I/J$ is locally nilpotent. We conclude by
More on Algebra, Lemma \ref{more-algebra-lemma-locally-nilpotent-henselian}.
\end{proof}
\begin{lemma}
\label{lemma-topologically-nilpotent}
Let $B$ be a linearly topologized ring. The set of topologically nilpotent
elements of $B$ is a closed, radical ideal of $B$.
Let $\varphi : A \to B$ be a continuous map of linearly topologized rings.
\begin{enumerate}
\item If $f \in A$ is topologically nilpotent, then $\varphi(f)$ is
topologically nilpotent.
\item If $I \subset A$ consists of topologically nilpotent elements,
then the closure of $\varphi(I)B$ consists of topologically nilpotent
elements.
\end{enumerate}
\end{lemma}
\begin{proof}
Let $\mathfrak b \subset B$ be the set of topologically nilpotent elements.
We omit the proof of the fact that $\mathfrak b$ is a radical ideal
(good exercise in the definitions). Let $g$ be an element of the closure
of $\mathfrak b$. Our goal is to show that $g$ is topologically nilpotent.
Let $J \subset B$ be an open ideal. We have to show
$g^e \in J$ for some $e \geq 1$. We have $g \in \mathfrak b + J$
by Lemma \ref{lemma-closed}. Hence $g = f + h$
for some $f \in \mathfrak b$ and $h \in J$. Pick $m \geq 1$ such that
$f^m \in J$. Then $g^{m + 1} \in J$ as desired.
\medskip\noindent
Let $\varphi : A \to B$ be as in the statement of the lemma.
Assertion (1) is clear and assertion (2) follows from this and
the fact that $\mathfrak b$ is a closed ideal.
\end{proof}
\begin{lemma}
\label{lemma-closure-image-ideal}
Let $A \to B$ be a continuous map of linearly topologized rings.
Let $I \subset A$ be an ideal. The closure of $IB$
is the kernel of $B \to B \widehat{\otimes}_A A/I$.
\end{lemma}
\begin{proof}
Let $J_\mu$ be a fundamental system of open ideals of $B$.
The closure of $IB$ is $\bigcap (IB + J_\lambda)$ by Lemma \ref{lemma-closed}.
Let $I_\mu$ be a fundamental system of open ideals in $A$.
Then
$$
B \widehat{\otimes}_A A/I = \lim (B/J_\lambda \otimes_A A/(I_\mu + I)) =
\lim B/(J_\lambda + I_\mu B + I B)
$$
Since $A \to B$ is continuous, for every $\lambda$ there
is a $\mu$ such that $I_\mu B \subset J_\lambda$, see discussion in
Example \ref{example-what-does-it-mean}. Hence the limit
can be written as $\lim B/(J_\lambda + IB)$ and the result is clear.
\end{proof}
\begin{lemma}
\label{lemma-completed-tensor-product}
Let $B \to A$ and $B \to C$ be continuous homomorphisms of
linearly topologized rings.
\begin{enumerate}
\item If $A$ and $C$ are weakly pre-admissible, then
$A \widehat{\otimes}_B C$ is weakly admissible.
\item If $A$ and $C$ are pre-admissible, then
$A \widehat{\otimes}_B C$ is admissible.
\item If $A$ and $C$ have a countable fundamental system of open
ideals, then $A \widehat{\otimes}_B C$ has a countable fundamental
system of open ideals.
\item If $A$ and $C$ are pre-adic and have finitely generated ideals
of definition, then $A \widehat{\otimes}_B C$ is adic and has
a finitely generated ideal of definition.
\item If $A$ and $C$ are pre-adic Noetherian rings and
$B/\mathfrak b \to A/\mathfrak a$ is of finite type
where $\mathfrak a \subset A$ and $\mathfrak b \subset B$
are the ideals of topologically nilpotent elements, then
$A \widehat{\otimes}_B C$ is adic Noetherian.
\end{enumerate}
\end{lemma}
\begin{proof}
Let $I_\lambda \subset A$, $\lambda \in \Lambda$ and
$J_\mu \subset C$, $\mu \in M$
be fundamental systems of open ideals, then by definition
$$
A \widehat{\otimes}_B C =
\lim_{\lambda, \mu} A/I_\lambda \otimes_B C/J_\mu
$$
with the limit topology. Thus a fundamental system of open ideals
is given by the kernels $K_{\lambda, \mu}$ of the maps
$A \widehat{\otimes}_B C \to A/I_\lambda \otimes_B C/J_\mu$.
Note that $K_{\lambda, \mu}$ is the closure of the ideal