8ee62b587f263150.tex
1: \begin{definition}\label{def:0_order_space_from_gross_siebert}
2: 	Given $(B,\mathcal{P},\mathbf{s})$, we let $(X,\mathcal{O}_X)$ be the $d$-dimensional complex analytic space given by the analytification of the log scheme $X_0(B,\mathcal{P},\mathbf{s})$ constructed in \cite[Theorem 5.2.]{Gross-Siebert-logI}. It is  equipped with a log structure over the $Q$-log point $\logsk{0}$. The existence of $\varphi$ ensures that $X$ is projective.
3: \end{definition}
4: