Related papers: Effective basepoint-free theorem for semi-log cano…

We prove an effective version of the Shafarevich conjecture (as proven by Faltings) for smooth quartic curves. To do so, we establish an effective version of Scholl's finiteness result for smooth del Pezzo surfaces of degree at most four.

Building on results of Koll\'ar, we prove Shokurov's ACC Conjecture for log canonical thresholds on smooth varieties, and more generally, on varieties with quotient singularities.

We give algorithms of computing bases of logarithmic cohomology groups for square-free polynomials in two variables. (Fixed typos of v1)

We provide further analytical insights into the newly established noninteracting (free-fermion) Page curve, focusing on both the kinematic and dynamical aspects. First, we unveil the underlying canonical typicality and atypicality for…

We prove divisorial canonicity of Fano double hypersurfaces of general position.

We introduce the notion of generalized MR log canonical surfaces and establish the minimal model theory for generalized MR log canonical surfaces in full generality.

Let $(X, \Delta)/U$ be klt pairs and $Q$ be a convex set of divisors. Assuming that the relative Kodaira dimensions are non-negative, then there are only finitely many log canonical models when the boundary divisors varying in a relatively…

We prove a canonical bundle formula for generically finite morphisms in the setting of generalized pairs (with $\mathbb{R}$-coefficients). This complements Filipazzi's canonical bundle formula for morphisms with connected fibres. It is then…

Given a logarithmic $1$-form on the snc locus of a log canonical surface pair $(X, D)$ over a perfect field of characteristic $p \ge 7$, we show that it extends with at worst logarithmic poles to any resolution of singularities. We also…

We determine the fixed locus of the anticanonical complete linear system of a given anticanonical rational surface. The case of a geometrically ruled rational surface is fully studied, e.g., the monoid of numerically effective divisor…

This paper is an announcement of the minimal model theory for log surfaces in all characteristics and contains some related results including a simplified proof of the Artin-Keel contraction theorem in the surface case.

We prove an upper bound on the log canonical threshold of a hypersurface that satisfies a certain power condition and use it to prove several generalizations of Igusa's conjecture on exponential sums, with the log-canonical threshold in the…

The purpose of this note is to provide some applications of Faltings' recent proof of S. Lang's conjecture to smooth plane curves. Let $C$ be a smooth plane curve defined by an equation of degree $d$ with integral coefficients. We show that…

We show that if a divisor centered over a point on a smooth surface computes a minimal log discrepancy, then the divisor also computes a log canonical threshold. To prove the result, we study the asymptotic log canonical threshold of the…

Beyond the crucial role they play in the foundations of the theory of overconvergent modular forms, canonical subgroups have found new applications to analytic continuation of overconvergent modular forms. For such applications, it is…

We prove the ideal-adic semi-continuity of minimal log discrepancies on surfaces.

In this note we look at the freeness for complex affine hypersurfaces. If $X \subset \mathbb{C}^n$ is such a hypersurface, and $D$ denotes the associated projective hypersurface, obtained by taking the closure of $X$ in $\mathbb{P}^n$, then…

We prove a gluing theorem which allows to construct an ample divisor on a rational surface from two given ample divisors on simpler surfaces. This theorem combined with the Cremona action on the ample cone gives rise to an algorithm for…

In this note we prove the semiampleness conjecture for klt Calabi--Yau surface pairs over an excellent base ring. As applications we deduce that generalised abundance and Serrano's conjecture hold for surfaces. Finally, we study the…

We use the Borisov-Keum equations of a fake projective plane and the Borisov-Yeung equations of the Cartwright-Steger surface to show the existence of a regular surface with canonical map of degree 36 and of an irregular surface with…