Related papers: Log pluricanonical representations and abundance c…

Consider a pair consisting of an abstract tropical curve and an effective divisor from the linear system associated to $k$ times the canonical divisor for $k \in \mathbb{Z}_{\geq 1}$. In this article we give a purely combinatorial criterion…

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…

In this paper, we discuss a generalization of log canonical singularities in the non-$\mathbb{Q}$-Gorenstein setting. We prove that if a normal complex projective variety has a non-invertible polarized endomorphism, then it has log…

We prove that the log canonical ring of a projective log canonical pair in Kodaira dimension two is finitely generated.

We give another alternative proof to the Kawamata semiampleness theorem for the log canonical divisors on klt varieties which are nef and abundant. After the first version of this article was posted to the e-print Arxiv, Prof. Fujino…

Let X be a smooth variety and Y a closed subscheme of X. By comparing motivic integrals on X and on a log resolution of (X,Y), we prove the following formula for the log canonical threshold of (X,Y): c(X,Y)=dim X-sup_m{(dim Y_m}/(m+1)},…

We study certain modules over the algebra of a Cartier divisor on a scheme. Using these modules, we present an inductive method for studying finite generation properties of algebras and modules. In the context of the minimal model program,…

Let T_n denote the set of log canonical thresholds of pairs (X,Y), with X a nonsingular variety of dimension n, and Y a nonempty closed subscheme of X. Using non-standard methods, we show that every limit of a decreasing sequence in T_n…

We prove that two infinite p-adic semi-algebraic sets are isomorphic (i.e. there exists a semi-algebraic bijection between them) if and only if they have the same dimension.

In this paper we give an elementary proof of the Zariski-Lipman conjecture for log canonical spaces.

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…

We prove that the abundance conjecture holds on a variety $X$ with mild singularities if $X$ has many reflexive differential forms with coefficients in pluricanonical bundles, assuming the Minimal Model Program in lower dimensions. This…

We consider log-convex sequences that satisfy an additional constraint imposed on their rate of growth. We call such sequences log-balanced. It is shown that all such sequences satisfy a pair of double inequalities. Sufficient conditions…

In this note, we show how to apply the original $L^2$-extension theorem of Ohsawa and Takegoshi to the standard basis of a multiplier ideal sheaf associated with a plurisubharmonic function. In this way, we are able to reprove the strong…

The development of compositional distributional models of semantics reconciling the empirical aspects of distributional semantics with the compositional aspects of formal semantics is a popular topic in the contemporary literature. This…

Let X be a normal variety such that $K_X$ is Q-Cartier, and let $f: X \rightarrow X$ be a finite surjective morphism of degree at least two. We establish a close relation between the irreducible components of the locus of singularities that…

We establish a version of a semistable reduction theorem over a log point with a non-trivial nilpotent structure. In order to do this we extend the classical desingularization theories to non-reduced schemes with generically principal…

For smooth projective 3-folds of general type, we prove that the relative canonical stability $\mu_s(3)\leq 8$. This is induced from our improved result of Koll\'ar: the m-canonical map of a smooth projective 3-fold of general type is…

We prove that the overpartition function is log-concave for all n>1. The proof is based on Sills Rademacher type series for the overpartition function and inspired by Desalvo and Pak's proof for the partition function.

The conjecture called algebraic Montgomery-Yang problem is still open for rational $\mathbb{Q}$-homology projective planes with cyclic quotient singularities having ample canonical divisor. All known such surfaces have a special birational…