Related papers: New outlook on the Minimal Model Program, II
We establish the relative minimal model program with scaling for locally projective morphisms of quasi-excellent algebraic spaces admitting dualizing complexes, quasi-excellent formal schemes admitting dualizing complexes, semianalytic…
We prove that commutator subgroups of topological full groups arising from minimal subshifts have exponential growth. We also prove that the measurable full group associated to the countable, measure-preserving, ergodic and hyperfinite…
We prove the finite generation of the adjoint ring for $\mathbb{Q}$-factorial log surfaces over any algebraically closed field.
In this short note we prove a finite generation result for the coordinate ring of certain affine group schemes over a discrete valuation ring. This may be used to simplify the use of results of Prasad and Yu on quasi-reductive groups by…
Using techniques from the theory of foliations, we establish the cone theorem and the contraction theorem for lc generalized pairs in full generality, and meanwhile develop the minimal model program for $\mathbb Q$-factorial foliated dlt…
The existence of a maximal ideal in a general nontrivial commutative ring is tied together with the axiom of choice. Following Berardi, Valentini and thus Krivine but using the relative interpretation of negation (that is, as "implies 0 =…
We prove the existence of good minimal models for any klt algebraically integrable adjoint foliated structure of general type, and that Fano algebraically integrable adjoint foliated structures with total minimal log discrepancies and…
We prove the finite generation of canonical rings of projective variety of general type defined over complex numbers.
For lc algebraically integrable foliations on klt varieties, we prove the base-point-freeness theorem, the contraction theorem, and the existence of flips. The first result resolves a conjecture of Cascini and Spicer, while the latter two…
For a commutative ring R we investigate the property that the sets of minimal primes of finitely generated ideals of R is always finite. We prove this property passes to polynomial ring extensions (in an arbitrary number of variables) over…
In this paper we generalize classical results regarding minimal realizations of non-commutative (nc) rational functions using nc Fornasini-Marchesini realizations which are centred at an arbitrary matrix point. We prove the existence and…
We prove that one can run the log minimal model program for log canonical $3$-fold pairs in characteristic $p>5$. In particular we prove the Cone Theorem, Contraction Theorem, the existence of flips and the existence of log minimal models…
Let (X, g, J, f ) be a non-compact gradient shrinking Kahler-Ricci soliton. We prove that if the scalar curvature of X satisfies a mild assumption, then OP (X), the ring of holomorphic functions with polynomial growth on X, is finitely…
To construct a resulting model in LMMP is sufficient to prove existence of log flips and their termination for certain sequences. We prove that LMMP in dimension $d-1$ and termination of terminal log flips in dimension $d$ imply, for any…
In this article we prove a non-vanishing statement, as well as several properties of metrics with minimal singularities of adjoint bundles. Our arguments involve many ideas from Y.-T. Siu's analytic proof of the finite generation of the…
We prove that the canonical ring of a smooth projective variety is finitely generated.
There are two main examples where a version of the Minimal Model Program can, at least conjecturally, be performed successfully: the first is the classical MMP associated to the canonical divisor, and the other is Mori Dream Spaces. In this…
We give a generalization of "Curious Identity" of De Concini and Procesi. Our proof is based on the recent result of Waldspurger about the decomposition of the cone dual to the fundamental chamber of a finite reflection group as a disjoint…
We find necessary and sufficient conditions for the finite separability of finitely generated commutative rings. Namely, we prove that every such ring is a finite extension of its torsion ideal $I_k$ where $k$ is square-free, and $I_k$ is a…
We prove a stronger version of a termination theorem appeared in the paper "On existence of log minimal models II". We essentially just get rid of the redundant assumptions so the proof is almost the same as in there. However, we give a…