Related papers: The Sarkisov program on log surfaces

Suppose G is an almost simple group containing a subgroup isomorphic to the three-dimensional integer Heisenberg group. For example any finite index subgroup of SL(3,Z) is such a group. The main result of this paper is that every action of…

We apply polynomial techniques (linear programming) to obtain lower and upper bounds on the covering radius of spherical designs as function of their dimension, strength, and cardinality. In terms of inner products we improve the lower…

We show that minimal models of $\mathbb{Q}$-factorial NQC log canonical generalised pairs exist, assuming the existence of minimal models of smooth varieties. More generally, we prove that on a $\mathbb{Q}$-factorial NQC log canonical…

We show that normalized Schur polynomials are strongly log-concave. As a consequence, we obtain Okounkov's log-concavity conjecture for Littlewood-Richardson coefficients in the special case of Kostka numbers.

Over a global field any finite number of central simple algebras of exponent dividing $m$ is split by a common cyclic field extension of degree $m$. We show that the same property holds for function fields of two-dimensional excellent…

We show that any stack $\mathfrak{X}$ of finite type over a Noetherian scheme has a presentation $X \rightarrow \mathfrak{X}$ by a scheme of finite type such that $X(F) \rightarrow \mathfrak{X}(F)$ is onto, for every finite or real closed…

We generalize results by Wakabayashi and Orevkov about rational cuspidal curves on the projective plane to that on $\mathbb{Q}$-homology projective planes. It turns out that the result is exactly the same as the projective plane case under…

Let $S$ be a minimal surface of general type with $p_g(S)=2$ and $K^2_S=1$, so called by a minimal $(1,2)$-surface. Then we obtain that the global log canonical threshold of the surface $S$ via $K_S$ is greater than equal to $\frac{1}{2}$.…

Let K be an algebraically closed valued field, and let f:X--->Y be a universally open morphism of K-schemes of finite type. We show that the induced map on K-rational points is open for the topologies deduced from the absolute value of K.…

We show that any pseudo-effective divisor on a normal surface decomposes uniquely into its "integral positive" part and "integral negative" part, which is an integral analog of Zariski decompositions. By using this decomposition, we give…

We present an improved algorithm for the computation of Zariski chambers on algebraic surfaces. The new algorithm significantly outperforms the so far available method and allows therefore to treat surfaces of high Picard number, where huge…

We prove that for every Scott set $S$ there are $S$-saturated real closed fields and models of Presburger arithmetic.

We introduce the notion of a regular quadratic equation and a regular NTQ system over a free group. We prove the results that can be described as Implicit function theorems for algebraic varieties corresponding to regular quadratic and NTQ…

We prove that the Cox ring of a smooth rational surface with big anticanonical class is finitely generated. We classify surfaces of this type that are blow-ups of the plane at distinct points lying on a (possibly reducible) cubic.

We prove that any surjective self-morphism with $\delta_f > 1$ on a potentially dense smooth projective surface defined over a number field $K$ has densely many $L$-rational points for a finite extension $L/K$.

We show that the zero locus of an admissible normal function on a smooth complex algebraic variety is algebraic.

In this paper, we give a new proof of the foundational result, due to S. Cutkosky, on the existence of a monomialisation of a morphism from a 3-fold to a surface. Our proof brings to the fore the notion of log-Fitting ideals, and requires…

In this article we consider exceptional sequences of invertible sheaves on smooth complete rational surfaces. We show that to every such sequence one can associate a smooth complete toric surface in a canonical way. We use this structural…

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

In this paper, extending our earlier program, we derive maximal canonical extensions for multiplicative summations into algebraically closed fields. We show that there is a well-defined analogue to minimal polynomials for a series algebraic…