Related papers: Minimal model program for algebraically integrable…

We discuss the log minimal model theory for log surfaces. We show that the log minimal model program, the finite generation of log canonical rings, and the log abundance theorem for log surfaces hold true under assumptions weaker than the…

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 the existence of pl-flips.

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 discuss the birational geometry of singular surfaces in positive characteristic. More precisely, we establish the minimal model program and the abundance theorem for Q-factorial surfaces and for log canonical surfaces. Moreover, in the…

We construct klt projective varieties with ample canonical class and the smallest known volume. We also find exceptional klt Fano varieties with the smallest known anticanonical volume. We conjecture that our examples have the smallest…

We use the theory of foliations to study the relative canonical divisor of a normalized inseparable base-change. Our main technical theorem states that it is linearly equivalent to a divisor with positive integer coefficients divisible by…

We prove that one can run the log minimal model program for log canonical $3$-fold pairs in characteristic $p>5$. In particular we prove the Cone Theorem, Contraction Theorem, the existence of flips and the existence of log minimal models…

In this paper, we give a new proof of the splitting theorem on manifolds with nonnegative spectral Ricci curvature proved in [APX24, CMMR24, HW26]. Furthermore, by constructing weighted minimizing geodesics at infinity, we show that minimal…

In this paper, we demonstrate that any asymptotically flat manifold $(M^n, g)$ with $4\leq n\leq 7$ can be foliated by a family of area-minimizing hypersurfaces, each of which is asymptotic to Cartesian coordinate hyperplanes defined at an…

Let $X$ be a variety with at most terminal $\mathbb Q$-factorial singularities of dimension $n$. We study local contractions $f:X\to Z$ supported by a $\mathbb Q$-Cartier divisor of the type $K_X+ \tau L$, where $L$ is an $f$-ample Cartier…

We prove that every irreducible component of the coarse Koll\'ar-Shepherd-Barron and Alexeev (KSBA) moduli space of stable log Calabi--Yau surfaces admits a finite cover by a projective toric variety. This verifies a conjecture of…

The main theorem of this paper asserts that the inclusion of the space of projective Lagrangian planes into the space of Lagrangian submanifolds of complex projective space induces an injective homomorphism of fundamental groups. We…

We give a geometric invariant theory (GIT) construction of the log canonical model $\bar M_g(\alpha)$ of the pairs $(\bar M_g, \alpha \delta)$ for $\alpha \in (7/10 - \epsilon, 7/10]$ for small $\epsilon \in \mathbb Q_+$. We show that $\bar…

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…

The main result of the present paper concerns finiteness properties of Floer theoretic invariants on affine log Calabi-Yau varieties $X$. Namely, we show that: (a) the degree zero symplectic cohomology $SH^0(X)$ is finitely generated and is…

We introduce a new version of Floer theory of a non-monotone Lagrangian submanifold which only uses least area holomorphic disks with boundary on it. We use this theory to prove non-displaceability theorems about continuous families of…

We prove the existence of minimal models for fibrations between dendroidal sets in the model structure for infinity-operads, as well as in the covariant model structure for algebras and in the stable one for connective spectra. In an…

We prove that, under mild restrictions, the space of codimension-one foliations of degree one on a smooth projective complete intersection has two irreducible components of logarithmic type. We also prove that the same conclusion holds for…

Let $(X,B)$ be an $\epsilon$-lc pair of dimension $d$ with a closed point $x\in X$. Birkar and Shokurov conjectured that there is an effective Cartier divisor $H$ passing through $x$ such that $(X,B+tH)$ is lc near $x$, where $t$ is a…