指導教授：齊震宇臺灣大學：數學研究所黃星詠Huang, Shing-YeongShing-YeongHuang2014-11-302018-06-282014-11-302018-06-282014http://ntur.lib.ntu.edu.tw//handle/246246/264023In this thesis, we will assume basic facts about toric varieties and commutative algebra, and give a survey of [3], chapter II, with detailed proofs of all the theorems. First of all, the idea of equivariant torus embeddings will be generalized to that of so-called toroidal embeddings, which means intuitively "locally similar to some torus embeddings". More precisely, a toroidal embedding is a smooth variety $X$ containing a smooth open subset $U$, such that for every closed point $x in X$, there exists an $T$-equivariant embedding $X_{sigma}$ of some torus $T$, a closed point $t in X_{sigma}$, and an $k$-local algebra isomorphism:[ widehat{mathcal{O}}_{X,x} simeq widehat{mathcal{O}}_{X_{sigma},t}] and the ideal in $widehat{mathcal{O}}_{X,x} $ generated by the ideal of $Xsetminus U$ corresponds to the ideal in $widehat{mathcal{O}}_{X_{sigma},t}$ generated by the ideal of $X_{sigma}setminus T$. Next, we can stratify a toroidal embedding into different components which generalize the idea of orbits. And then we can analyze a toroidal embedding as toric cases and obtain many similar results. The main goal of this generalization is to apply those developed theorems to reduce the proof of semi-stable reduction theorem to a specific combinatorial construction. Section 1 gives the definition of toroidal embeddings and the stratification of a toroidal embedding, and then consider the two crucial parts: $M^Y$ and $S^U({ m star}! Y)$ for a stratum $Y$ (Lemma 1.1.7 and Definition 1.1.11), which generalize the idea of $T$-invariant Cartier divisors and 1-parameter subgroup of a $T$-equivariant embedding, and we can also define a cone $sigma^Y$ in some euclidean space relative to the stratum $Y$. At the end of this section, we show that a toroidal embedding can be associated to a "polyhedral complex", which is a collection of cones patched together similar to a fan. Section 2 introduces "canonical morphism" to a fixed toroidal embedding, and shows that this is equivalent to give a sub-polyhedral complex (Theorem 1.2.2). With this theorem, we then generalize theorems of toric varieties by using polyhedral complices instead of fans, including the existence of morphisms, non-singularity of such varieties and blowing-ups (Theorem 1.2.8, Theorem 1.2.9 and Theorem 1.2.16), and eventually show that there exists a non-singular blowing-up. Section 3 provides concrete methods that we can convert the semi-stable reduction theorem to the construction of some toroidal embeddings, and then use the theorem in cite{Tor}, chapter III to show the semi-stable reduction theorem.0 Preliminary 7 0.1 Notation 7 0.2 Some Facts of toric varieties 8 0.3 Some Facts of commutative algebras 8 1 Semi-stable reduction 11 1.1 Toroidal embeddings - definitions 12 1.2 Toroidal embeddings - theorems 25 1.3 Reduction of the theorem to a construction 56 Bibliography 71468004 bytesapplication/pdf論文公開時間：2014/08/26論文使用權限：同意有償授權(權利金給回饋學校)環面嵌入thesishttp://ntur.lib.ntu.edu.tw/bitstream/246246/264023/1/ntu-103-R00221012-1.pdf