Abstract
The main purpose of this paper is to give a simple and non-combinatorial proof of the toric Mori theory. Here, the toric Mori theory means the (log) Minimal Model Program (MMP, for short) for toric varieties. We minimize the arguments on fans and their decompositions. We recommend this paper to the following people:
(A) those who are uncomfortable with manipulating fans and their decompositions,
(B) those who are familiar with toric geometry but not with the MMP. People in the category (A) will be relieved from tedious combinatorial arguments in several problems. Those in the category (B) will discover the potential of the toric Mori theory.
As applications, we treat the Zariski decomposition on toric varieties and the partial resolutions of non-degenerate hypersurface singularities. By these applications, the reader will learn to use the toric Mori theory.