# On formal complex spaces

*1978*

#### Translator’s note

*This page is a translation into English of the following:*

Bingener, J. “Über formale komplexe Räume.” *manuscripta mathematica* **24** (1978), 253–293. DOI: 10.1007/BF01167833.

*The translator (Tim Hosgood) takes full responsibility for any errors introduced, and claims no rights to any of the mathematical content herein.*

Version: `cba9a66`

The formal complex spaces, introduced by Krasnov [**24?**] and independently by the author, are the analytic analogues of the formal schemes of Zariski and Grothendieck.
Special cases are the formal completions of complex spaces along analytic sets, see Banica [**3?**].
The technique of formal complex spaces has proved to be a useful tool in analytic geometry and allows even applications to purely algebraic problems, see [**24?**], [**4?**] and [**7?**].
Here the basic theory of these spaces is developed: coherence of the structure sheave, description of the coherent modules, Grauert’s coherence theorem for proper maps….
We further study the question of exactness of the formal Dolbeault and de Rham complexes.

# Introduction

In 1958, Grothendieck introduced formal schemes in algebraic geometry, following on from earlier ideas by Zariski.
Since then, the theory of formal schemes has become an important tool in algebraic geometry, cf. e.g. [**13?**,**20?**,**2?**].
Formal structures appeared in (global) analytic geometry for the first time in Grauert’s comparison theorem;
this is clearly expressed in the proof given in [**3?**].
In [**24?**], Krasnov then explicitly introduced formal complex spaces, and, in particular, formal complex manifolds, and used this to prove theorems about modifications of complex manifolds.

In the present article, we first develop the basic theory of formal complex spaces.
These are introduced in §1 as inductive limits of a suitable system of complex spaces.
We obtain special formal complex spaces if we consider the formal completions of complex spaces along analytical subsets.
Of course, every complex space is also a formal complex space.
The structure sheaf **???** of compact Stein subsets of **???**, cf. (1.7).

Formal complex manifolds, i.e. formal complex spaces whose stalks are all regular, are studied in §2.
Every point of a formal manifold has an open neighbourhood that is isomorphic to the formal completion of an open subspace of

Let

The fact that

An analogous statement can be made for the formal de Rham complex. In fact, the following more general statement ((2.11)) holds:

Let

In the special case where **16?**].

In §3, **???** between formal complex spaces are considered.
For such maps, Grauert’s coherent law ((3.1)) applies.
In §4 we show how the most important statements of the relative comparison theory between algebraic and analytic geometry [**15?**,**5?**] can be transferred to the case where the base is a formal complex space.

In §5 we use the results of §4 to study formal meromorphic functions. We mention here the following statement ((5.2)):

Let

In addition, we determine the ring of meromorphic functions on the product of a normal formal complex space **1?**, Theorem 6.9].

Some results from the present article have already been used in [**4?**] and [**7?**].

# 1 Formal complex spaces

Let