Related papers: On log canonical rational singularities

We formulate a stable reduction conjecture that extends Deligne-Mumford's stable reduction to higher dimensions and provide a simple proof that it holds in large characteristic, assuming two standard conjectures of the Minimal Model…

We construct a normal projective $\mathbb{Q}$-Gorenstein surface over an algebraically closed field whose canonical ring is not finitely generated. Moreover, we provide a counterexample to the minimal model program for…

Let $(X/Z,B+A)$ be a $\Q$-factorial dlt pair where $B,A\ge 0$ are $\Q$-divisors and $K_X+B+A\sim_\Q 0/Z$. We prove that any LMMP$/Z$ on $K_X+B$ with scaling of an ample$/Z$ divisor terminates with a good log minimal model or a Mori fibre…

We consider minimal compactifications of the complex affine plane. Minimal compactifications of the affine plane with at most log canonical singularities are classified. Moreover, every minimal compactification of the affine plane with at…

In this paper, we prove compatibilities of various definitions of relatively unipotent log de Rham fundamental groups for certain proper log smooth integral morphisms of fine log schemes of characteristic zero. Our proofs are purely…

We prove that if a contact 3-manifold admits an open book decomposition of genus 0, a certain intersection pattern cannot appear in the homology of any of its minimal symplectic fillings, and moreover, fillings cannot contain symplectic…

In this article, we propose a boundedness conjecture for the regional fundamental group of klt singularities. We prove that this boundedness conjecture, the Zariski closedness of the diminished base locus of $K_X$, and an upper bound for…

Over any partially ordered abelian group whose positive cone is closed in an appropriate sense and has finitely many faces, modules that satisfy a weak finiteness condition admit finite primary decompositions. This conclusion rests on the…

Every definite logic program has as its meaning a least Herbrand model with respect to the program-independent ordering "set-inclusion". In the case of normal logic programs there do not exist least models in general. However, according to…

We describe Milnor open books and Legendrian surgery diagrams for canonical contact structures of links of some rational surface singularities. We also describe an infinite family of Milnor fillable contact 3-manifolds so that the Milnor…

We present a practical algorithm to compute models of rational functions with minimal resultant under conjugation by fractional linear transformations. We also report on a search for rational functions of degrees 2 and 3 with rational…

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.

We give a precise formulation of the modularity principle for the log canonical models of $\bar{M}_g$. Assuming the modularity principle holds, we develop and compare two methods for determining the critical alpha-values at which a…

We present a comprehensive programme analysing the decomposition of proof systems for non-classical logics into proof systems for other logics, especially classical logic, using an algebra of constraints. That is, one recovers a proof…

We prove that a Kawamata log terminal pair has the canonical model.

This paper introduces and studies the sequential composition and decomposition of propositional logic programs. We show that acyclic programs can be decomposed into single-rule programs and provide a general decomposition result for…

Consider modular forms arising from a finite-area quotient of the upper-half plane by a Fuchsian group. By the classical results of Kodaira-Spencer, this ring of modular forms may be viewed as the log spin canonical ring of a stacky curve.…

We construct canonical semi-orthogonal decompositions for derived categories of smooth projective surfaces. These decompositions are compatible with the operations in the minimal model program, such as blow-ups and conic bundles. Therefore…

The purpose of this article is to give an overview of the construction of moduli spaces of curves from the viewpoint of the log minimal model program for M_g by providing an update of recent developments and discussing future problems. This…

We prove that the linear syzygy spaces of a general canonical curve are spanned by syzygies of minimal rank.