1: \begin{definition}

2:   With the notations as in \Cref{defux}, let $X$ be a rigid space over $\mathrm{Sp}(k)$

3:   with an SSNC divisor $D$. Consider the following sheaves on $X_{\log}$ and $X_{\mathrm{prolog}}$.

4: \begin{enumerate}

5: \item The integral structure sheaf $\mathcal{O}_{X_{\log}}^+$ on $X_{\log}$ is

6:   given by $u_{X,*}(\mathcal{O}_{U_{\mathrm{\acute{e}t}}}^+)$. By~\cite[Theorem 2.6]{Hansen17} we have

7:   $\mathcal{O}_{X_{\log}}^+\left((V,N)\right)=\mathcal{O}_N^+(N)$ for an object

8:   $(V,N)\in X_{\log}$. The structure sheaf

9:   $\mathcal{O}_{X_{\log}}$ on $X_{\log}$ is given by

10:   $\mathcal{O}_{X_{\log}}^+[\frac{1}{p}]=

11:   u_{X,*}(\mathcal{O}_{U_{\mathrm{\acute{e}t}}}^+)[\frac{1}{p}]$, namely,

12:   $\mathcal{O}_{X_{\log}}(V,N)=\mathcal{O}_N(N)$ for quasi-compact and

13:   quasi-separated $(V,N)$.

14: 

15: \item The (uncompleted) structure sheaf is defined to be

16:   $\nu^*\mathcal{O}_{X_{\log}}$ on $X_{\mathrm{prolog}}$ with

17:   subring of integral elements $\nu^*\mathcal{O}_{X_{\log}}^+$. 

18:   If no confusion seems to arise, we will still denote them by $\mathcal{O}_{X_{\log}}$

19:   and $\mathcal{O}_{X_{\log}}^+$ respectively.

20: 

21: \item We define the completed integral structure sheaf (on $X_{\mathrm{prolog}}$) to be $\hat{\mathcal{O}}_{X_{\log}}^+=\varprojlim

22:   \mathcal{O}_{X_{\log}}^+/p^n$, and the completed structure is defined as

23:   $\hat{\mathcal{O}}_{X_{\log}}=\hat{\mathcal{O}}_{X_{\log}}^+[\frac{1}{p}]$.

24: \end{enumerate}

25: \end{definition}

26: