Toroidal embedding

In algebraic geometry, a toroidal embedding is an open embedding of algebraic varieties that locally looks like the embedding of the open torus into a toric variety. The notion was introduced by Mumford to prove the existence of semistable reductions of algebraic varieties over one-dimensional bases.

Definition

Let X be a normal variety over an algebraically closed field $\overline{k}$ and $U\subset X$ a smooth open subset. Then $U\hookrightarrow X$ is called a toroidal embedding if for every closed point x of X, there is an isomorphism of local $\overline{k}$-algebras:

${\widehat{𝒪}}_{X,x}\simeq {\widehat{𝒪}}_{X_{\sigma },t}$

for some affine toric variety $X_{\sigma }$ with a torus T and a point t such that the above isomorphism takes the ideal of $X-U$ to that of $X_{\sigma }-T$.

Let X be a normal variety over a field k. An open embedding $U\hookrightarrow X$ is said to a toroidal embedding if $U_{\overline{k}}\hookrightarrow X_{\overline{k}}$ is a toroidal embedding.

Examples

Tits' buildings

Main article: Tits' buildings

See also

• tropical compactification

References

• Abramovich, D., Denef, J. & Karu, K.: Weak toroidalization over non-closed fields. manuscripta math. (2013) 142: 257.

External links

• Toroidal embedding