Related papers: The Sarkisov program on log surfaces

Let X be a smooth variety over a field of positive characteristic, and let E be an overconvergent isocrystal on X. We establish a criterion for the existence of a "canonical logarithmic extension" of E to a good compactification of X. In…

Recent work ([18], [1]) has produced a complete list of weighted homogeneous surface singularities admitting smoothings whose Milnor fibre has only trivial rational homology (a "rational homology disk"). Though these special singularities…

Let $\Bbbk$ be any field of characteristic zero, $X$ be a cubic surface in $\mathbb{P}^3_{\Bbbk}$ and $G$ be a group acting on $X$. We show that if $X(\Bbbk) \ne \varnothing$ and $G$ is not trivial and not a group of order $3$ acting in a…

This paper considers the family $\mathscr{S}_0$ of smooth affine factorial surfaces of logarithmic Kodaira dimension 0 with trivial units over an algebraically closed field $k$. Our main result (Theorem 4.1) is that the number of…

In this paper, combining the works of Miyanishi-Tsunoda and Keel-McKernan, we prove the log Castelnuovo's rationality criterion for smooth quasiprojective surfaces over complex numbers.

Building over recent results, we expand the basic theory of algebraic extensions to the realm of superfields -a field with multivalued sum and product-, showing that every superfield has a (unique up to isomorphism) strong algebraic…

We determine a necessary and sufficient condition for a polynomial over an algebraically closed field $k$ to induce a surjective map on matrix algebras $M_n(k)$ for $n \ge 2$. The criterion is given in terms of critical points and uses…

We describe KSB smoothings of log canonical surface pairs $(S, D)$, where $D$ is a reduced curve. In sharp contrast with the $D=\emptyset$ case, cyclic quotient pairs always have KSB smoothings, usually forming many irreducible components.…

Let $k$ be an algebraically closed field. Let $C$ be an irreducible smooth projective curve over $k$. Let $E$ be a locally free sheaf on $C$ of rank $\geq 2$. Fix an integer $d \geq 2$. Let $\mathcal{Q}$ denote the Quot scheme…

We show that if f: X --> Y is a finite, separable morphism of smooth curves defined over a finite field F_q, where q is larger than an explicit constant depending only on the degree of f and the genus of X, then f maps X(F_q) surjectively…

We characterize the Zariski topologies over an algebraically closed field in terms of general dimension-theoretic properties. Some applications are given to complex manifold and to strongly minimal sets.

We prove that the log canonical thresholds of a large class of binomial ideals, such as complete intersection binomial ideals and the defining ideals of space monomial curves, are computable by linear programming.

We study log canonical thresholds on quartic threefolds, quintic fourfolds, and double spaces. As an application, we show that they have a Kaehler-Einstein metric if they are general.

We characterize all projective K3 surfaces on which every integral pseudoeffective divisor admits an integral Zariski decomposition, using an explicit, terminating finite-step algorithm.

We present a restriction theorem for the Fourier transform to a 2-dimensional conical surface of finite type, obtaining a sharp result, which improves previous work by Barcelo.

In this paper, we prove that Bloch's conjecture holds for all smooth, complex, projective surfaces with $p_g=q=0$ and $K^2=9$.

We prove a generalization of the Jacobian criterion of Fargues-Scholze for spaces of sections of a smooth quasi-projective variety over the Fargues-Fontaine curve. Namely, we show how to use their criterion to deduce an analogue for spaces…

Extending the work of Freese and Cook, which develop the basic theory of calculus and power series over real associative algebras, we examine what can be said about the logarithmic functions over an algebra. In particular, we find that for…

Given a three-dimensional projective log canonical pair over a perfect field of characteristic larger than five, there exists a minimal model program that terminates after finitely many steps.

Let $R$ be a commutative ring with identity and a fixed invertible element $q^{\frac{1}{2}}$, and suppose $q+q^{-1}$ is invertible in $R$. For each planar surface $\Sigma_{0,n+1}$, we present its Kauffman bracket skein algebra over $R$ by…