Related papers: On log canonical rational singularities
For any non-simply laced Lie group $G$ and elliptic curve $\Sigma$, we show that the moduli space of flat $G$ bundles over $\Sigma$ can be identified with the moduli space of rational surfaces with $G$-configurations which contain $\Sigma$…
We classify $G$-solid rational surfaces over the field of complex numbers.
Consider a simple algebraic group G of adjoint type, and its wonderful compactification X. We show that X admits a unique family of minimal rational curves, and we explicitly describe the subfamily consisting of curves through a general…
In this article we prove a finiteness result on the number of log minimal models for $3$-folds in char $p>5$. We then use this result to prove a version of Batyrev's conjecture on the structure of nef cone of curves on $3$-folds in…
We present an algebraic view on logic programming, related to proof theory and more specifically linear logic and geometry of interaction. Within this construction, a characterization of logspace (deterministic and non-deterministic)…
In this paper, we generalize the finiteness of models theorem in [BCHM06] to Kawamata log terminal pairs with fixed Kodaira dimension. As a consequence, we prove that a Kawamata log terminal pair with $\mathbb{R}-$boundary has a canonical…
In this paper, a $\mathbb{Q}$HD singularity is a weighted homogeneous normal surface singularity admitting a rational homology disk ($\mathbb{Q}$HD) smoothing. These singularities are rational but often not log canonical. We classify all…
Let $(X,\Delta)$ be a projective log canonical pair such that $\Delta \geq A$ where $A \geq 0$ is an ample $\mathbb{R}$-divisor. We prove that either $(X,\Delta)$ has a good minimal model or a Mori fibre space. Moreover, if $X$ is…
We show that the derived category of any singularity over a field of characteristic 0 can be embedded fully and faithfully into a smooth triangulated category which has a semiorthogonal decomposition with components equivalent to derived…
We show that the resolution graph of a plane curve singularity admits a canonical decomposition into elementary graphs.
Given a minimal surface equipped with a generically finite map to an Abelian variety, we give an optimal bound on the canonical degree of a rational or an elliptic curve. As a corollary, we obtain the finiteness of rational and elliptic…
We classify all complex surfaces with quotient singularities that do not contain any smooth rational curves, under the assumption that the canonical divisor of the surface is not pseudo-effective. As a corollary we show that if $X$ is a log…
Let $V$ be a finite-dimensional vector space over the complex numbers and let $G\leq \operatorname{SL}(V)$ be a finite group. We describe the class group of a minimal model (that is, $\mathbb Q$-factorial terminalization) of the linear…
We establish the existence and uniqueness of rational conformal maps of minimal degree $n+1$ for opening up $n$ arcs. In earlier results, the degree was exponential in $n$. We also discuss two related problems. (a) We establish existence of…
This paper shows that Mustata-Nakamura's conjecture holds for pairs consisting of a smooth surface and a multiideal with a real exponent over the base field of positive characteristic. As corollaries, we obtain the ascending chain condition…
Koll\'ar gave a series of examples of rational surfaces of Picard number $1$ with ample canonical divisor having cyclic singularities. In this paper, we construct several series of new examples in a geometric way, i.e., by blowing up…
The aim of this paper is to study all the natural first steps of the minimal model program for the moduli space of stable pointed curves. We prove that they admit a modular interpretation and we study their geometric properties. As a…
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…
We construct a moduli space of stable projective pairs with a nontrivial action of a connected reductive group. These stable reductive pairs are higher-dimensional analogs of stable n-pointed curves and generalize to the non-commutative…
We show the validity of the Minimal Model Program for threefolds in characteristic five.