Related papers: The Sarkisov program on log surfaces

In this paper, we apply the method developed in [Ti97] and [TZ00] to proving the properness of log $F$-functional on any conic K\"ahler-Einstein manifolds. As an application, we give an alternative proof for the openness of the continuity…

We prove the base point free theorem for log canonical foliated pairs of rank one on a Q-factorial projective klt threefold. Moreover, we show abundance in the case of numerically trivial log canonical foliated pairs of rank one in any…

We prove that every quasi-projective semi log canonical pair has a quasi-log structure with several good properties. It implies that various vanishing theorems, torsion-free theorem, and the cone and contraction theorem hold for semi log…

We prove that for any rationally connected threefold $X$, there exists a smooth projective surface $S$ and a family of $1$-cycles on $X$ parameterized by $S$, inducing an Abel-Jacobi isomorphism ${\rm Alb}(S)\cong J^3(X)$. This statement…

We generalize Iskovskih's theorem about surfaces without irregularity and bigenus from the smooth case to regular surfaces over arbitrary fields, with special focus on the case of imperfect fields. This includes surfaces that are…

We generalize Elkies's method, an essential ingredient in the SEA algorithm to count points on elliptic curves over finite fields of large characteristic, to the setting of p.p. abelian surfaces. Under reasonable assumptions related to the…

We prove that Nash mapping is bijective for any algebraic surface defined over an algebraically closed field of characteristic 0.

We prove that the overpartition function is log-concave for all n>1. The proof is based on Sills Rademacher type series for the overpartition function and inspired by Desalvo and Pak's proof for the partition function.

We prove that the Euler-Chow series for ruled surfaces and scrolls is rational by means of an explicit computation.

In this paper we define $q$-spherical surfaces as the surfaces that contain the absolute conic of the Euclidean space as a $q-$fold curve. Particular attention is paid to the surfaces with singular points of the highest order. Two classes…

In the previous article, we showed the Rasmussen-Tamagawa conjecture for QM-abelian surfaces over imaginary quadratic fields. In this article, we generalize the previous work to QM-abelian surfaces over number fields of higher degree. We…

CoqQ is a framework for reasoning about quantum programs in the Coq proof assistant. Its main components are: a deeply embedded quantum programming language, in which classic quantum algorithms are easily expressed, and an expressive…

We consider the question of determining the maximum number of $\mathbb{F}_q$-rational points that can lie on a hypersurface of a given degree in a weighted projective space over the finite field $\mathbb{F}_q$, or in other words, the…

For any field k of characteristic at most 5 we exhibit an explicit smooth quartic surface in projective threespace over k with trivial automorphism group over the algebraic closure of k. We also show how this can be extended to higher…

We prove that the complex surfaces parametrizing cuboids and face cuboids, as well as their minimal resolution of singularities, have trivial fundamental group. We then compute the fundamental group of certain open smooth subvarieties of…

Let $X$ be a smooth hypersurface of degree $n\geq 3$ in $\mathbb{P}^n$. We prove that the log canonical threshold of $H\in|-K_X|$ is at least $\frac{n-1}{n}$. Under the assumption of the Log minimal model program, we also prove that a…

Let k be an algebraically closed field of characteristic zero. An element F from k(x_1,...,x_n) is called a closed rational function if the subfield k(F) is algebraically closed in the field k(x_1,...,x_n). We prove that a rational function…

In this paper, we continue the study of the relation between rational points of rational elliptic surfaces and plane curves. As an application, we give first examples of Zariski pairs of cubic-line arrangements that do not involve…

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

We develop a general theory of log spaces, in which one can make sense of the basic notions of logarithmic geometry, in the sense of Fontaine-Illusie-Kato. Many of our general constructions with log spaces are new, even in the algebraic…