Related papers: Minimal model program for log canonical pairs on c…

We prove the finiteness of log pluricanonical representations for projective log canonical pairs with semi-ample log canonical divisor. As a corollary, we obtain that the log canonical divisor of a projective semi log canonical pair is…

We prove that many of the results of the LMMP hold for $3$-folds over fields of characteristic $p>5$ which are not necessarily perfect. In particular, the existence of flips, the cone theorem, the contraction theorem for birational extremal…

We obtain a Bernstein type result for entire two dimensional minimal graphs in $\mathbb{R}^{4}$, which extends a previous one due to L. Ni. Moreover, we provide a characterization for complex analytic curves.

We prove that the log canonical thresholds of a large class of binomial ideals, such as complete intersection binomial ideals and the defining ideals of space monomial curves, are computable by linear programming.

Let $\phi$ be a birational map of the complex projective plane. We know that $\phi$ can be written as a composition of automorphisms of $\mathbb{P}^2_\mathbb{C}$ and the standard quadratic birational map $\sigma$. This writing, that is…

We prove new necessary and sufficient conditions to carry out a compact linearization approach for a general class of binary quadratic problems subject to assignment constraints as it has been proposed by Liberti in 2007. The new conditions…

We show that there is a minimal pair in the nonuniform generic degrees, and hence also in the uniform generic degrees. This fact contrasts with Igusa's result that there are no minimal pairs for relative generic computability, and answers a…

This is a survey of the theory of complex projective (CP^1) structures on compact surfaces. After some preliminary discussion and definitions, we concentrate on three main topics: (1) Using the Schwarzian derivative to parameterize the…

Minimal representations of a real reductive group G are the "smallest" irreducible unitary representations of G. The author suggests a program of global analysis built on minimal representations from the philosophy: small representation of…

We give a new method for manufacturing complete minimal submanifolds of compact Lie groups and their homogeneous quotient spaces. For this we make use of harmonic morphisms and basic representation theory of Lie groups. We then apply our…

Fujino and Tanaka established the minimal model theory for $\mathbb Q$-factorial log surfaces in characteristic $0$ and $p$, respectively. We prove that every intermediate surface has only log terminal singularities if we run the minimal…

We construct log canonical pairs $(X,B)$ with $B$ a nonzero reduced divisor and $K_X+B$ ample that have the smallest known volume. We conjecture that our examples have the smallest volume in each dimension. The conjecture is true in…

Using the isomorphism between highest weight U_q(sl_2)-modules and homologies of certain local systems on the configuration spaces, constructed by Varchenko, we give a geometric construction of the dual of the Lusztig's canonical basis in a…

This document contains notes from the lectures of Corti, Koll\'ar, Lazarsfeld, and Musta\c{t}\u{a} at the workshop ``Minimal and canonical models in algebraic geometry" at MSRI, Berkeley, April 2007. The lectures give an overview of the…

We develop a theory of $P$-trivial MMP whose each step is $P$-trivial for a given nef divisor $P$. As an application, we prove that, given a projective generalised klt pair $(X,B+M)$ with data $M'$ being just a nef $\mathbb{R}$-divisor, if…

By adapting arguments of Annala-Hoyois-Iwasa in the log setting, we prove Poincar\'e duality for smooth projective morphisms in logarithmic motivic homotopy theory. As an application, we show that the crystalline cohomology of a log…

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…

A systematic algebraic framework for composing and decomposing logic programs is currently missing, limiting our ability to analyze and construct programs in a modular way. In this paper, we introduce set-like operations for (propositional…

Usual termination proofs for a functional program require to check all the possible reduction paths. Due to an exponential gap between the height and size of such the reduction tree, no naive formalization of termination proofs yields a…

A theorem of Lawson and Simons states that the only stable minimal submanifolds in complex projective spaces are complex submanifolds. We generalize their result to the cases of quaternionic and octonionic projective spaces. Our approach…