Related papers: On the finiteness of ample models

We show that the finiteness of the fundamental groups of the smooth locus of lower dimensional log Fano pairs would imply the finiteness of the local fundamental group of klt singularities. As an application, we verify that the local…

We prove the existence of good log minimal models for dlt pairs of numerical log Kodaira dimension 0.

We define canonical and $n$-canonical modules on a module-finite algebra over a Noether commutative ring and study their basic properties. Using $n$-canonical modules, we generalize a theorem on $(n,C)$-syzygy by Araya and Iima which…

We show that there exists a natural number $p_0$ such that any three-dimensional Kawamata log terminal singularity defined over an algebraically closed field of characteristic $p>p_0$ is rational and in particular Cohen-Macaulay.

We give a topological bound on the number of minimal models of a class of three dimensional log smooth pairs of general type.

We describe the foundation of the log minimal model program for log canonical pairs according to Ambro's idea. We generalize Koll\'ar's vanishing and torsion-free theorems for embedded simple normal crossing pairs. Then we prove the cone…

Let (X_0,B_0) be the canonical limit of a one-parameter family of stable pairs, provided by the log Minimal Model Program. We prove that X_0 is S2 and that [B_0] is S_1, as an application of a general local statement: if (X,B+\epsilon D) is…

We describe a model-theoretic setting for the study of Shimura varieties, and study the interaction between model theory and arithmetic geometry in this setting. In particular, we show that the model-theoretic statement of a certain…

In this paper, we use canonical bundle formulas to prove some generalizations of an old theorem of Kawamata on the semiampleness of nef and abundant log canonical divisors. In particular, we show that for klt pairs $(X,B)$ with $K_X+B$…

In this paper, we generalise the theory of complements to log canonical log fano varieties and prove boundedness of complements for them in dimension less than or equal to 3. We also prove some boundedness results for the canonical index of…

We consider pairs (X,A), where X is a variety with klt singularities and A is a formal product of ideals on X with exponents in a fixed set that satisfies the Descending Chain Condition. We also assume that X has (formally) bounded…

A $\lambda$-quiddity of size $n$ is an $n$-tuple of elements from a fixed set, which is a solution to a matrix equation that arises in the study of Coxeter's friezes. The study of these solutions involves in particular the use of a notion…

We compare the minimal model of a log canonical pair with the minimal model of its reduced boundary. These results are then used to study the existence of the minimal model of a semi-log-canonical pair using its normalization.

Assuming the Morrison-Kawamata cone conjecture for the generic fiber of a Calabi-Yau fibration and the abundance conjecture, we show (1) the finiteness of minimal models, (2) the existence of a weak rational polyhedral fundamental domain…

We prove a relative Kawamata Viehweg vanishing type theorem for birational morphisms. We use this to prove a Grauert Riemenschneider theorem over log canonical threefolds without zero dimensional log canonical centers, in residue…

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 $f:X\to U$ be a projective morphism of normal varieties and $(X,\Delta)$ a dlt pair. We prove that if there is an open set $U^0\subset U$, such that $(X,\Delta)\times_U U^0$ has a good minimal model over $U^0$ and the images of all the…

We prove a finiteness result for dominant rational maps whose orbifold base is of general type. Our finiteness result generalizes Maehara's theorem that a given variety dominates only finitely many projective varieties of general type up to…

In this paper we characterize two-dimensional semi-log canonical hypersurfaces in arbitrary characteristic from the viewpoint of the initial term of the defining equation. As an application, we prove a conjecture about a uniform bound of…

We generalize the well-studied notion of a modular pair of a finite matroid to arbitrary families of sets in infinite matroids, and use it to develop the theory of infinite matroids in several as-yet-unexplored areas. Our results include a…