ScalingStacks

Definition 2.89 . [00JV]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Definition 2.89.

An analytic function on open set U⊆(Spec⁡AZ)a​nU\subseteq(\spec A_{Z})^{an} is a map h:U→∐z∈Uκ^​(z)h:U\to\coprod_{z\in U}\hat{\kappa}(z) which is a local uniform limit of rational functions: every z∈Uz\in U has an open neighbourhood U′⊆UU^{\prime}\subseteq U such that for every ϵ>0\epsilon>0, there exists fU′,gU′∈AZf_{U^{\prime}},g_{U^{\prime}}\in A_{Z} with |h⁡(z)−fU′​(z)gU′​(z)|<ϵ|h(z)-\frac{f_{U^{\prime}}(z)}{g_{U^{\prime}}(z)}|<\epsilon and g⁡(z)≠0g(z)\neq 0 for all z∈U′z\in U^{\prime}. Denote by ℛan​(U)\mathcal{R}^{\mathrm{an}}(U) the kk-algebra of all analytic functions on UU.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.