Related papers: Algorithms for singularities and real structures o…
Recently, there has been significant interest in various supervised machine learning techniques that can help reduce the time and effort consumed by manual interpretation workflows. However, most successful supervised machine learning…
The Welschinger invariants of real rational algebraic surfaces are natural analogues of the Gromov-Witten invariants, and they estimate from below the number of real rational curves passing through prescribed configurations of points. We…
We investigate, using purely combinatorial methods, structural and algorithmic properties of linear equivalence classes of divisors on tropical curves. In particular, an elementary proof of the Riemann-Roch theorem for tropical curves,…
We compute global log canonical thresholds of a large class of quasismooth well-formed del Pezzo weighted hypersurfaces in $\mathbb{P}(a_{1},a_{2},a_{3},a_{4})$. As a corollary we obtain the existence of orbifold K\"ahler--Einstein metrics…
We complete the classification of automorphism groups of del Pezzo surfaces over algebraically closed fields of odd positive characteristic.
Every simple quadrangulation of the sphere is generated by a graph called a pseudo-double wheel with two local expansions (Brinkmann et al. "Generation of simple quadrangulations of the sphere." Discrete Math., Vol. 305, No. 1-3, pp. 33-54,…
It is well known but rather mysterious that root spaces of the $E_k$ Lie groups appear in the second integral cohomology of regular, complex, compact, del Pezzo surfaces. The corresponding groups act on the scalar fields (0-forms) of…
This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures for instance the theory of real algebraic numbers, a decidable subset of real numbers with good algorithmic…
In this paper, we study compactifications of the moduli of smooth del Pezzo surfaces using K-stability and the line arrangement. We construct K-moduli of log del Pezzo pairs with sum of lines as boundary divisors, and prove that for…
We prove algorithmic weak and \Szemeredi{} regularity lemmas for several classes of sparse graphs in the literature, for which only weak regularity lemmas were previously known. These include core-dense graphs, low threshold rank graphs,…
We study the birational properties of geometrically rational surfaces from a derived categorical point of view. In particular, we give a criterion for the rationality of a del Pezzo surface over an arbitrary field, namely, that its derived…
We consider del Pezzo surfaces $X$ with du Val singularities. Assume that $X$ has a $-K_X$-polar cylinder and $\deg X=1$. Let $H$ be an ample divisor. We'll prove that $X$ has a $H$-polar cylinder.
We prove Manin's conjecture for a split singular quartic del Pezzo surface with singularity type $2\Aone$ and eight lines. This is achieved by equipping the surface with a conic bundle structure. To handle the sum over the family of conics,…
We construct the first examples of regular del Pezzo surfaces for which the irregularity (i.e. the dimension of the first cohomology group of the structure sheaf) is nonzero. We also find a restriction on the integer pairs that are possible…
We classify all log del Pezzo surfaces of Picard number one defined over algebraically closed fields of characteristic different from two and three. We also discuss some consequences of the classification. For example, we show that log del…
Let $X$ be a minimal del Pezzo surface of degree $2$ over a finite field $\mathbb{F}_q$. The image $\Gamma$ of the Galois group $\operatorname{Gal}(\overline{\mathbb{F}}_q / \mathbb{F}_q)$ in the group…
The global log canonical threshold of each non-singular complex del Pezzo surface was computed by Cheltsov. The proof used Koll\'ar-Shokurov's connectedness principle and other results relying on vanishing theorems of Kodaira type, not…
Segre surfaces in the title mean quartic surfaces in $\mathbb{CP}^4$ which are the images of weak del Pezzo surfaces of degree four under the anti-canonical map. We first show that minimal minitwistor spaces with genus one are exactly Segre…
With the development of computational power and techniques for data collection, deep learning demonstrates a superior performance over most existing algorithms on visual benchmark data sets. Many efforts have been devoted to studying the…
We investigate torsion exceptional sheaves on a weak del Pezzo surface of degree greater than two whose anticanonical model has at most $A_n$-singularities. We show that every torsion exceptional sheaf can be obtained from a line bundle on…