In the definition of a complex space (in the sense of Grauert), one defines a model space (one to which we require a complex space to be locally isomorphic) to be the support of the quotient sheaf $\mathscr O\_X/\mathscr I$ for an analytic set $X\subset\mathbb C^n$ and a *finitely generated* sheaf of ideals on it. Indeed there seems to be a reccuring motiff of finite generatedness of ideals within the theory of complex spaces; for example, only finitely generated maximal ideals of a Stein algebra correspond to the points of the associated Stein space.


Likewise a complex space is allways (in the literature I am aware of anyway) defined to be Hausdorff.
Those two structural requirements bother me, though admittedly more or less only because with schemes, the algebro-geometric analogues of complex spaces, nothing of such is imposed (though in applications one often deals only with separated schemes of finite type).


Could somebody please explain the reasons for these requirements, where they come into play in essential ways, and potentially if they can be dropped and still make for an interesting theory?



Definition of a complex space
If X is a scheme and $\mathcal{I} \subset \mathcal{O}\_X$ is a sheaf of ideals, then in general $\mathcal{I}$ does not define a closed subscheme. For example, suppose that $X = \mathbf{A}^n\_k$ where $k$ is a field and $\mathcal{I} = j\_!\mathcal{O}\_U$ where $j : U \to \mathbf{A}^n\_k$ is the inclusion of the complement of zero and $j\_!$ is the extension by zero functor. To get a closed subscheme you have to assume that $\mathcal{I}$ is locally generated by sections, see [Lemma Tag 01QQ](http://stacks.math.columbia.edu/tag/01QQ).


I think that if $\mathcal{I}$ is a sheaf of ideals in the sheaf of holomorphic functions on an open ball in $\mathbf{C}^n$ generated by global sections, then its restriction to a strictly smaller ball is in fact generated by finitely many sections (didn't work out all details; maybe user76758 can help). Thus the situation (wrt ideal sheaves) is similar.


