bf0559c7ae40c730.tex
1: \begin{definition}
2: %(1) Let $f\:X'=Bl_\cJ(X)\to X$ be a Kummer blowing up of a toroidal orbifold $X$. By a {\em chart} of $f$ we mean a diagram
3: %$$
4: %\xymatrix{Y'_i\ar[r]\ar[d] & Y=\Spec(A)\ar[d]\\
5: %X'\ar[r] & X,}
6: %$$
7: %where $Y\to X$ is a Kummer logarithmically \'etale morphism, such that $\cJ A$ is an ordinary ideal, and $Y'\to Y$ is a chart of $Bl_{\cJ A}(Y)\to Y$. Note that by Theorem~\ref{Kummertheorem}(iv), this is a Cartesian diagram in the category of toroidal orbifolds.
8: 
9: %(2) An {\em atlas} of $f$ is a family of charts $Y'_i\to Y_i$ such that the morphism $\coprod Y'_i\to Y$ is surjective.
10: %\end{definition}
11: