Related papers: Subadjunction for quasi-log canonical pairs and it…

We develop a semigroup-theoretic analogue of liaison for relative ideals of a numerical semigroup. Two parallel linkage notions are proposed: a theory based on translates of the semigroup and a theory based on translates of the canonical…

1) Assuming log Minimal Model Conjecture, we give a construction of a complete moduli space of stable log pairs of arbitrary dimension generalizing directly the space M_{g,n} of pointed stable curves. Each stable pair has semi log canonical…

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…

We obtain a correct generalization of Shokurov's non-vanishing theorem for log canonical pairs. It implies the base point free theorem for log canonical pairs. We also prove the rationality theorem for log canonical pairs. As a corollary,…

This paper is a gentle introduction to the theory of quasi-log varieties by Ambro. We explain the fundamental theorems for the log minimal model program for log canonical pairs. More precisely, we give a proof of the base point free theorem…

We prove that the pull-back of a quasi-log scheme by a smooth quasi-projective morphism has a natural quasi-log structure. We treat an application to log Fano pairs. This paper also contains a proof of the simple connectedness of log Fano…

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.

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.

We prove the abundance theorem for numerically trivial log canonical divisors of log canonical pairs and semi-log canonical pairs.

We investigate which plane curves admit rational families of quasi-toric relations. This extends previous results of Takahashi and Tokunaga in the positive case and of the author in the negative case.

We prove a result on the inversion of adjunction for log canonical pairs that generalizes Kawakita's result to log canonical centers of arbitrary codimension.

We present an inductive strategy to show the existence of rational curves on compact Kaehler manifolds which are not minimal models but have a pseudoeffective canonical bundle. The tool for this inductive strategy is a weak subadjunction…

We establish adjunction and inversion of adjunction for log canonical centers of arbitrary codimension in full generality.

We show that quasi-projective relation algebras and directed cylindric algebras are equivalent categorialy. We work out a Godels second incompleteness theorem for finite varibale fragments of first order logic. We show that distinct set…

A plurisubharmonic weight is log canonical if it is at the critical point of turning non-integrable. Given a log canonical plurisubharmonic weight, we show that locally there always exists a log canonical `holomorphic' weight having the…

We discuss a difference between the rational and the real non-vanishing conjecture for pseudo-effective log canonical divisors of log canonical pairs. We also show the log non-vanishing theorem for rationally connected varieties under…

We prove the Kodaira vanishing theorem for log-canonical and semi-log-canonical pairs. We also give a relative vanishing theorem of Reid--Fukuda type for semi-log-canonical pairs.

We define a very general class of rational functions f:CP^1 --> CP^1 such that for every function f of this class, there exists a countable family of smooth curves \gamma_i and a critically finite hyperbolic function R such that the…

We introduce the notion of a quasi-connected reductive group over an arbitrary field to be an almost direct product of a connected semisimple group and a quasi-torus (a smooth group of multiplicative type). We show that a linear algebraic…

Let S be a finite graph and G be the corresponding free partially commutative group. In this paper we study subgroups generated by vertices of the graph S, which we call canonical parabolic subgroups. A natural extension of the definition…