Related papers: Introduction to the Minimal Model Program and the …

Let I be a finitely supported complete m-primary ideal of a regular local ring (R, m). A theorem of Lipman implies that I has a unique factorization as a *-product of special *-simple complete ideals with possibly negative exponents for…

The main purpose of this notes is to supplement the paper reid, which treated Minimal Model Program (also called Mori's Program) on toric varieties. We calculate lengths of negative extremal rays of toric varieties. As an application, we…

This work is motivated by the problem of finding the limit of the applicability of the first incompleteness theorem ($\sf G1$). A natural question is: can we find a minimal theory for which $\sf G1$ holds? We examine the Turing degree…

This is a revised version of my paper which appeared in J. Math. Sci. Univ. Tokyo. We prove that for a flipping contraction from a Gorenstein terminal 4-fold, the pull back of a general hyperplane section of the down-stair has only…

This paper shows that Mustata-Nakamura's conjecture holds for pairs consisting of a smooth surface and a multiideal with a real exponent over the base field of positive characteristic. As corollaries, we obtain the ascending chain condition…

This paper resolves several outstanding questions regarding the Minimal Model Program for klt threefolds in mixed characteristic. Namely termination for pairs which are not pseudo-effective, finiteness of minimal models and the Sarkisov…

We give an alternative proof of Kov\'acs' vanishing theorem. Our proof is based on the standard arguments of the minimal model theory. We do not need the notion of Du Bois pairs. We reduce Kov\'acs' vanishing theorem to the well-known…

The purpose of this paper is to establish a Nadel vanishing theorem for big line bundles with multiplier ideal sheaves of singular metrics admitting an analytic Zariski decomposition (such as, metrics with minimal singularities and Siu's…

We give an introduction to the theory of varieties of minimal rational tangents, emphasizing its aspect as a fusion of algebraic geometry and differential geometry, more specifically, a fusion of Mori geometry of minimal rational curves and…

The notion off-ideals is recent and has been studied in the papers[1] [2], [5], [10], [11], [12], [13], [14] and [15]. In this paper, we have generalized the idea off-ideals to quasi f-ideals. This extended class of ideals is much bigger…

The purpose of this survey is to present analytic versions of the injectivity theorem and their applications. The proof of our injectivity theorems is based on a combination of the L^2-method for the dbar-equation and the theory of harmonic…

This text is an introduction to the study of NIP (or dependent) theories. It is meant to serve two purposes. The first is to present various aspects of NIP theories and give the reader the background material needed to understand almost any…

We present algorithms for basic computations with monoids in finitely generated abelian groups such as monoid membership testing and computing an element of the conductor ideal. Applying them to Mori dream spaces, we obtain algorithms to…

In this paper, we will study the existence problem of minmax minimal torus. We use classical conformal invariant geometric variational methods. We prove a theorem about the existence of minmax minimal torus in Theorem 5.1. Firstly we prove…

In this paper, we investigate the structure of the most general kind of substitution shifts, including non-minimal ones, and allowing erasing morphisms. We prove the decidability of many properties of these morphisms with respect to the…

The first part of the paper contains a detailed proof of M. Saito's generalization of the Kodaira vanishing theorem, following the original argument and with ample background, based on a lecture given at a Clay workshop on mixed Hodge…

We prove the existence of pl-flips.

We construct complete nonorientable minimal surfaces whose Gauss map omits two points of the projective plane. This result proves that Fujimoto's theorem is sharp in nonorientable case.

This article belongs to a series on geometric complexity theory (GCT), an approach to the P vs. NP and related problems through algebraic geometry and representation theory. The basic principle behind this approach is called the flip. In…

In previous papers on this project a general static logical framework for formalizing and mechanizing set theories of different strength was suggested, and the power of some predicatively acceptable theories in that framework was explored.…