1: \begin{definition}

2: \label{definition:tube-of-closed-radii}

3: Let \(X\) be an admissible weak formal scheme. Let \(\mathcal{I}\) be a coherent open

4: ideal of \(\mathcal{O}_X\). In the sequel, let \(T_{m,\mathcal{I}}(X)\) be the

5: open formal subscheme of the admissible blowup

6: \(X_{\varpi+\mathcal{I}^{m}}\)

7: (which is the weak completion of the scheme

8: \(\text{Proj}_{X}\big(\bigoplus_{j=0}^{\infty} \{(\varpi)+\mathcal{I}^{m}\}^{j}\big)\))

9: defined by the nonvanishing locus of the

10: Cartier divisor \(\varpi\). Thus, the weak formal scheme \(T_{m,\mathcal{I}}(X)\) is

11: admissible, thanks to Theorem~\ref{theorem:flat-admissible-formal-blow-up}, and there exists a natural morphism of

12: weak formal schemes over \(\mathfrak{o}\):

13: \begin{equation*}

14: \tau_{m} : T_{m,\mathcal{I}}(X) \to X

15: \end{equation*}

16: such that the ideal

17: \((\varpi + \mathcal{I}^{m})\cdot \mathcal{O}_{T_{m,\mathcal{I}}(X)}\)

18: generated by the inverse image of \(\varpi\) and elements in \(\mathcal{I}^{m}\)

19: is the principal ideal \(\varpi \cdot \mathcal{O}_{T_{m,\mathcal{I}}(X)}\).

20: \end{definition}

21: