Related papers: Flop between algebraically integrable foliations o…

In this article we show that the Log Minimal Model Program for $\mathbb{Q}$-factorial dlt pairs $(X, B)$ on a compact K\"ahler $3$-fold holds. More specifically, we show that after finitely many divisorial contractions and flips we obtain…

In this paper, we discuss a proof of existence of log minimal models or Mori fibre spaces for klt pairs $(X/Z,B)$ with $B$ big$/Z$. This then implies existence of klt log flips, finite generation of klt log canonical rings, and most of the…

Smooth threefold flops with irreducible centres are classified by the length invariant, which takes values 1, 2, 3, 4, 5 or 6. This classification by Katz and Morrison identifies 6 possible partial resolutions of Kleinian singularities that…

This paper classifies t-structures on the local derived category of a 3-fold flopping contraction, that are intermediate with respect to the heart of perverse coherent sheaves. Equivalently, this describes the complete lattice of torsion…

Trees with labelled leaves and with all other vertices of degree three play an important role in systematic biology and other areas of classification. A classical combinatorial result ensures that such trees can be uniquely reconstructed…

A remark on a paper by Birkar-Cascini-Hacon-McKernan.

We show that 3-fold terminal flips and divisorial contractions may be factored into a sequence of flops, blow-downs to a smooth curve in a smooth 3-fold or divisorial contractions to points with minimal discrepancies.

We prove a general result on the existence of irreducible symplectic compactifications of non-compact Lagrangian fibrations. As an application, we show that the relative Jacobian fibration of cubic fivefolds containing a fixed cubic…

We introduce linearly decomposable (LD) generalized pairs, which serve as a workable substitute for rational decompositions in the non-NQC setting. Using LD generalized pairs, together with a refinement of special termination and…

In this article parametric versions of Wilson's plug and Kuperberg's plug are discussed. We show that there is a weak homotopy equivalence induced by the inclusion between the space of non-singular vector fields tangent to a foliation and…

This paper resolves several outstanding questions regarding the Minimal Model Program for klt threefolds in mixed characteristic. Namely termination for pairs which are not pseudo-effective, finiteness of minimal models and the Sarkisov…

We introduce type-theoretic algebraic weak factorisation systems and show how they give rise to homotopy-theoretic models of Martin-L\"of type theory. This is done by showing that the comprehension category associated to a type-theoretic…

This paper contains a complete description of minimal non-gatherable triangle triples in the lambda-sequences for the affine classical root systems and some claims for arbitrary (reduced) affine root systems. It continues our previous paper…

In this article we show that the Log Minimal Model Program holds for $\mathbb{Q}$-factorial lc pair $(X,\Delta)$ with $X$ being a compact K\"ahler $3$-fold having only klt singularities.

We prove that rationally connected Calabi--Yau 3-folds with kawamata log terminal (klt) singularities form a birationally bounded family, or more generally, rationally connected $3$-folds of $\epsilon$-CY type form a birationally bounded…

We survey recent progress on the birational geometry of foliations on complex varieties. We focus on the MMP viewpoint: singularities, adjunction and applications to the MMP for foliations on surfaces and to the existence of flips on…

The explicit McKay correspondence, as formulated by Gonzalez-Sprinberg and Verdier, associates to each exceptional divisor in the minimal resolution of a rational double point a matrix factorization of the equation of the rational double…

Roughly speaking, by using the semi-stable minimal model program, we prove that the moduli part of an lc-trivial fibration coincides with that of a klt-trivial fibration induced by adjunction after taking a suitable generically finite…

We classify elliptic fibrations birational to a nonsingular, minimal cubic surface over a field of characteristic zero. Our proof is adapted to provide computational techniques for the analysis of such fibrations, and we describe an…

We present a systematic study of threefolds fibred by K3 surfaces that are mirror to sextic double planes. There are many parallels between this theory and the theory of elliptic surfaces. We show that the geometry of such threefolds is…