(Translated by https://www.hiragana.jp/)
[0903.2173] Torified varieties and their geometries over F_1