Related papers: Finite generation and geography of models

We give a light introduction to some recent developments in Mori theory, and to our recent direct proof of the finite generation of the canonical ring.

We give a new and self-contained proof of the finite generation of adjoint rings with big boundaries. As a consequence, we show that the canonical ring of a smooth projective variety is finitely generated.

This paper is the first of two steps in a project to prove finite generation of the log canonical ring without Mori theory.

The aim is to give a geometric characterization of the finite generation of the Cox ring of anticanonical rational surfaces. This characterization is encoded in the finite generation of the effective monoid. Furthermore, we prove that in…

Let $(X,\Delta)$ be a projective log canonical pair such that $\Delta \geq A$ where $A \geq 0$ is an ample $\mathbb{R}$-divisor. We prove that either $(X,\Delta)$ has a good minimal model or a Mori fibre space. Moreover, if $X$ is…

In this paper, we discuss a proof of existence of log minimal models or Mori fibre spaces for klt pairs $(X/Z,B)$ with $B$ big$/Z$. This then implies existence of klt log flips, finite generation of klt log canonical rings, and most of the…

If $(X, \mcF, \D)$ is a projective rank two foliated log canonical triple such that $(X,B)$ is klt for some $0 \leq B \leq \D$, we show that we can run a $(K_\mcF +\Delta)$-MMP and any such MMP terminates with either a minimal model or Mori…

We address two aspects of finitely generated modules of finite projective dimension over local rings and their connection in between: embeddability and grade of order ideals of minimal generators of syzygies. We provide a solution of the…

Statistical evaluation aims to estimate the generalization performance of a model using held-out i.i.d.\ test data sampled from the ground-truth distribution. In supervised learning settings such as classification, performance metrics such…

Understanding the generative mechanism of a natural system is a vital component of the scientific method. Here, we investigate one of the fundamental steps toward this goal by presenting the minimal generator of an arbitrary binary Markov…

We show that minimal models of $\mathbb{Q}$-factorial NQC log canonical generalised pairs exist, assuming the existence of minimal models of smooth varieties. More generally, we prove that on a $\mathbb{Q}$-factorial NQC log canonical…

Let R be a commutative ring. If P is a maximal ideal of R whose a power is finitely generated then we prove that P is finitely generated if R is either locally coherent or arithmetical or a polynomial ring over a ring of global dimension…

We study birational geometry of the moduli space of parabolic bundles over a projective line, in the framework of Mori's program. We show that the moduli space is a Mori dream space. As a consequence, we obtain the finite generation of the…

The purpose of this note is to review an algebraic proof of the finite generation theorem due to Birkar-Cascini-Hacon-McKernan whose method is based on the Minimal Model Program. A survey article for Current Development in Mathematics 2007.

This paper continues the functional approach to the P-versus-NP problem, begun in [1]. Here we focus on the monoid RM_2^P of right-ideal morphisms of the free monoid, that have polynomial input balance and polynomial time-complexity. We…

Generative models have been successfully used for generating realistic signals. Because the likelihood function is typically intractable in most of these models, the common practice is to use "implicit" models that avoid likelihood…

We can run the MMP for any divisor on any $\mathbb{Q}$-factorial projective toric variety. We show that two Mori fiber spaces, which are outputs of the above MMP, are connected by finitely many elementary transforms.

We characterize the smallest finite spaces with the same homotopy groups of the spheres. Similarly, we describe the minimal finite models of any finite graph. We also develop new combinatorial techniques based on finite spaces to study…

We prove the existence of global minimal models for rational morphisms $\phi:{\mathbb P}^N\rightarrow{\mathbb P}^N$ of projective space defined over the field of fractions of a principal ideal domain.

We prove that the finite generation of adjoint rings proved in [Cascini and Lazi\'c] implies all the foundational results of the Minimal Model Program: the Rationality, Cone and Contraction theorems, the existence of flips, and termination…