Related papers: Fundamental theorems for the log minimal model pro…

Let (X,D) be a dlt pair, where X is a normal projective variety. Let S denote the support of the rounddown of D, and K the canonical divisor of X. We show that any smooth family of canonically polarized varieties over X\S is isotrivial if…

We study deformations of pairs (X,D), with X smooth projective variety and D a smooth or a normal crossing divisor, defined over an algebraically closed field of characteristic 0. Using the differential graded Lie algebras theory and the…

We give a survey of the meaning, status and applications of the Baum-Connes Conjecture about the topological K-theory of the reduced group C^*-algebra and the Farrell-Jones Conjecture about the algebraic K- and L-theory of the group ring of…

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…

I provide simplified proofs for each of the following fundamental theorems regarding selection principles: 1. The Quasinormal Convergence Theorem, due to the author and Zdomskyy, asserting that a certain, important property of the space of…

We extend the Cone Theorem of the Log Minimal Model Program to log varieties with arbitrary singularities.

We prove that the finite generation of adjoint rings proved in [Cascini and Lazi\'c] implies all the foundational results of the Minimal Model Program: the Rationality, Cone and Contraction theorems, the existence of flips, and termination…

Let $E$ be a vector bundle on a smooth complex projective variety $X$. We study the family of sections $s_t\in H^0(E\otimes L_t)$ where $L_t\in Pic^0(X)$ is a family of topologically trivial line bundle and $L_0=\mathcal O_X,$ that is, we…

We discuss the relative log minimal model theory for log surfaces in the analytic setting. More precisely, we show that the minimal model program, the abundance theorem, and the finite generation of log canonical rings hold for log pairs of…

We prove some basic properties of the relative Nakayama-Zariski decomposition. We apply them to the study of lc generalized pairs. We prove the existence of log minimal models or Mori fiber spaces for (relative) lc generalized pairs…

The structure of the set of positivity-preserving maps between matrix algebras is notoriously difficult to describe. The notable exceptions are the results by St{\o}rmer and Woronowicz from 1960s and 1970s settling the low dimensional…

Let $f:X\to U$ be a projective morphism of normal varieties and $(X,\Delta)$ a dlt pair. We prove that if there is an open set $U^0\subset U$, such that $(X,\Delta)\times_U U^0$ has a good minimal model over $U^0$ and the images of all the…

We show that if $\mathcal{F}$ is an algebraically integrable foliation on a $\mathbb{Q}$-factorial normal projective variety $X$, $ A, B \geq 0$ are $\mathbb{Q}$-divisors on $X$ with $A$ ample such that $(\mathcal{F}, B)$ is foliated dlt…

In this paper we present short algebraic proofs of the Linear Conway--Gordon--Sachs and the Linear van Kampen--Flores theorems in the spirit of the Radon theorem on convex hulls. {\bf Theorem.} {\it Take any $n+3$ general position points in…

In this paper we give a new proof, relying on Banach's contraction mapping principle, of a celebrated theorem of Andr\'e Bloch. Also, via the same contraction mapping principle, we give a proof of a Bloch type theorem for normalised Wu…

Let $R$ be the homogeneous coordinate ring of a smooth projective variety $X$ over a field $\k$ of characteristic~0. We calculate the $K$-theory of $R$ in terms of the geometry of the projective embedding of $X$. In particular, if $X$ is a…

We prove a model theoretic Baire category theorem for $\tilde\tau_{low}^f$-sets in a countable simple theory in which the extension property is first-order and show some of its applications. We also prove a trichotomy for minimal types in…

Let $A$ be a $m\times m$ complex matrix with zero trace and let $\e>0$. Then there are $m\times m$ matrices $B$ and $C$ such that $A=[B,C]$ and $\|B\|\|C\|\le K_\e m^\e\|A\|$ where $K_\e$ depends only on $\e$. Moreover, the matrix $B$ can…

We prove that if $(X,A+B)$ is a pair defined over an algebraically closed field of positive characteristic such that $(X,B)$ is strongly $F$-regular, $A$ is ample and $K_X+A+B$ is strictly nef, then $K_X+A+B$ is ample. Similarly, we prove…

Let $Y$ be an effective Cartier divisor of a smooth variety $Z$. Let $X_{i}$, $i\in \{1,\cdots,n\}$ be a set of pairwise disjoint smooth subvarieties in $Y$ such that their union contains the singular locus of $Y$. In this paper, we give a…