Related papers: Minimal model program for excellent surfaces

We completely prove the ACC for minimal log discrepancies on smooth threefolds. It implies on smooth threefolds the ACC for a-lc thresholds, the uniform m-adic semi-continuity of minimal log discrepancies and the boundedness of the log…

In this paper we describe an algorithm for implicitizing rational hypersurfaces in case there exists at most a finite number of base points. It is based on a technique exposed in math.AG/0210096, where implicit equations are obtained as…

We present the novel method for generation of periodic surfaces based on the simple Landau-Ginzburg model of microemulsion. We test the method on four minimal surfaces (P,D,G, and I-WP), find two new surfaces of cubic symmetry, show how to…

We prove Fujita-type basepoint-freeness for projective quasi-log canonical curves and surfaces.

Marginally trapped surfaces are spacelike surfaces in the Minkowski space whose mean curvature vector is lightlike at each point. In general, the marginally trapped surfaces are determined by seven functions satisfying several conditions…

Given a finitely presented Graded Commutative Differential Algebra (GCDA), we present a method to compute its minimal model, together with a map that is a quasi-isomorphism up to a given degree. The method works by adding generators one by…

Let $(X,\Delta)$ be a normal pair with a projective morphism $X \to Z$ and let $A$ be a relatively ample $\mathbb{R}$-divisor on $X$. We prove the termination of some minimal model program on $(X,\Delta+A)/Z$ and the abundance conjecture…

We construct minimal smooth models of coarse moduli schemes of rational Drinfeld modules of rank 4 as well as their smooth compactifications.

We prove that the non-vanishing conjecture and the log minimal model conjecture for projective log canonical pairs can be reduced to the non-vanishing conjecture for smooth projective varieties such that the boundary divisor is zero.

This paper presents new examples of projective surfaces of general type over $\mathbb{C}$ with canonical map of degree $ 3 $ onto a surface of general type. Very few examples are known of such surfaces and some of the examples in this paper…

We use intersection theory, degeneration techniques and jet schemes to study log canonical thresholds. Our first result gives a lower bound for the log canonical threshold of a pair in terms of the log canonical threshold of the image by a…

The log canonical thresholds of irreducible quasi-ordinary hypersurface singularities are computed, using an explicit list of pole candidates for the motivic zeta function found by the last two authors.

This research note provides algebraic characterizations of the least model, subsumption, and uniform equivalence of propositional Krom logic programs.

Let $f\colon X \to \mathbb{A}^1_t$ be an affine flat morphism of finite type, and let $V = f^{-1}(0)$. Then, we obtain a morphism of log schemes $f\colon (X|V) \to (\mathbb{A}^1_t|0)$. In this article, we develop algorithmic tools to study…

An introduction to geography of log models with applications to positive cones of FT varieties and to geometry of minimal models and Mori fibrations.

We study relations between two log minimal models of a fixed lc pair. For any two log minimal models of an lc pair constructed with log MMP, we prove that there are small birational models of the log minimal models which can be connected by…

We provide a detailed proof of the validity of the Minimal Model Program for threefolds over excellent Dedekind separated schemes whose residue fields do not have characteristic 2 or 3.

This is the continuation of Montes' paper "On the canonical discussion of polynomial systems with parameters". In this paper we define the Minimal Canonical Comprehensive Groebner System (MCCGS) of a parametric ideal and fix under which…

We describe algorithms for computing geometric invariants for Hilbert modular surfaces, and we report on their implementation.

We carry out an analysis of the canonical system of a minimal complex surface of general type with irregularity q>0. Using this analysis we are able to sharpen in the case q>0 the well known Castelnuovo inequality K^2>=3p_g+q-7. Then we…