Related papers: On the finiteness of ample models

Given a canonical algebraically integrable foliation on a klt projective variety, we study the variation of the ample models of the associated adjoint foliated structures with respect to the parameter. When the foliation is of general type,…

We prove that every quasi-log canonical pair has only Du Bois singularities. Note that our arguments are free from the minimal model program.

We prove several finiteness theorems for the normal bundles to souls in nonnegatively curved manifolds. More generally, we obtain finiteness results for open Riemannian manifolds whose topology is concentrated on compact domains of…

We generalize Miyanishi's theory of almost minimal models of log smooth surfaces with reduced boundary to the case of arbitrary log surfaces defined over an algebraically closed field. Given an MMP run of a log surface $(X,D)$ we define and…

In this paper, I prove a very general extension theorem for log pluricanonical systems. The main application of this extension theorem is (together with Kawamata's subadjunction theorem) to give an optimal subadjunction theorem which…

We study the spectrum of limit models assuming the existence of a nicely behaved independence notion. Under reasonable assumptions, we show that all `long' limit models are isomorphic, and all `short' limit models are non-isomorphic.…

We prove that every globally $F$-regular variety is log Fano. In other words, if a prime characteristic variety $X$ is globally $F$-regular, then it admits an effective $\bQ$-divisor $\Delta$ such that $-K_X - \Delta$ is ample and $(X,…

We establish new, and surprisingly tight, connections between propositional proof complexity and finite model theory. Specifically, we show that the power of several propositional proof systems, such as Horn resolution, bounded-width…

We investigate infinitary wellfounded systems for linear logic with fixed points, with transfinite branching rules indexed by some closure ordinal $\alpha$ for fixed points. Our main result is that provability in the system for some…

We study pairs of finitely generated modules over a principal ideal domain and their corresponding matrix representations. We introduce equivalence relations for such pairs and determine invariants and canonical forms.

If a Nakayama algebra is not cyclic, it has finite global dimension. For a cyclic Nakayama algebra, there are many characterizations of when it has finite global dimension. In [She17], Shen gave such a characterization using Ringel's…

It is proved by Kawamata that the canonical bundle of a projective manifold is semi-ample if it is big and nef. We give an analytic proof using the Ricci flow, degeneration of Riemannian manifolds and $L^2$-theory. Combined with our earlier…

We generalize the finiteness theorem for the locus of Hodge classes with fixed self-intersection number, due to Cattani, Deligne, and Kaplan, from Hodge classes to self-dual classes. The proof uses the definability of period mappings in the…

Let $(X, \Delta)$ be a four-dimensional log variety that is projective over the field of complex numbers. Assume that $(X, \Delta)$ is not Kawamata log terminal (klt) but divisorial log terminal (dlt). First we introduce the notion of "log…

We conjecture the equality of the numerical and Kodaira dimensions $\nu_1^*(X)$ and $\kappa_1^*(X)$ for the cotangent bundle of compact K\"ahler manifolds $X$, generalising the classical case of the canonical bundle. We show or reduce it to…

We prove the uniqueness of high cofinality limit models in stable abstract elementary classes (AECs) with amalgamation, assuming the existence of a rather weak independence relation. $\textbf{Theorem.}$ Suppose $\mathbf{K}$ is a…

Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction is well understood for Kripke semantics, non-normal modal logics…

Let $(P\in X,\Delta)$ be a three dimensional log canonical pair such that $\Delta$ has only standard coefficients and $P$ is a center of log canonical singularities for $(X,\Delta)$. Then we get an effective bound of the indices of these…

We establish the minimal model theory for normal pairs along log canonical locus in the complex analytic setting. This is the complex analytic analog of the previous result by the author.

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…