加载中…
Let be a variety over a complete nontrivially valued field . We construct an algebraizable formal model for the analytification of in the case admits a closed embedding into a toric variety. By algebraizable we mean that the formal model is given by the completion along the special fiber of a locally finite type flat scheme over the valuation ring . We construct the formal model via the combinatorial theory of -toric varieties over .

生成讲解博客的中文版本

生成AI智能校验的中文版本