Related papers: Computing Cox rings
Following Valloni, we study complex projective K3 surfaces having complex multiplication by rings of integers.
In this paper we investigate the relation between the finite generation of the Cox ring R(X) of a smooth projective surface X and its anticanonical Iitaka dimension k(-K_X).
After briefly recalling some computational aspects of blowing up and of representation of resolution data common to a wide range of desingularization algorithms (in the general case as well as in special cases like surfaces or binomial…
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…
Gotzmann's persistence theorem provides a method for determining the Hilbert polynomial of a subscheme of projective space by evaluating the Hilbert function at only two points, irrespective of the dimension of the ambient space. In…
We study Cox rings of crepant resolutions of quotient singularities $\mathbb{C}^3/G$ where $G$ is a finite subgroup of $SL(3,\mathbb{C})$. We use them to obtain information on the geometric structure of these resolutions, number of…
We consider log del Pezzo surfaces coming with a non-trivial torus action. Such a surface is 1/k-log canonical if it allows a resolution of singularities with discrepanies all greater or equal to 1/k-1. We provide a concrete classification…
In order to count the number of smooth cubic hypersurfaces tangent to a prescribed number of lines and passing through a given number of points, we construct a compactification of their moduli space. We term the latter a…
We study the birational geometry of a Fano 4-fold X from the point of view of Mori dream spaces; more precisely, we study rational contractions of X. Here a rational contraction is a rational map f: X-->Y, where Y is normal and projective,…
We use geometrical optics and the caustic-touching theorem to study, in an exact way, the change in the topology of the image of an object obtained by reflections on an arbitrary smooth surface. Since the procedure that we use to compute…
Fixed a point O on a non-singular surface S and a complete mO-primary ideal I in its local ring, the curves on the surface X obtained by blowing-up I are studied in terms of the base points of I. Criteria for the principality of these…
We review recent developments in the arithmetic of K3 surfaces. Our focus lies on aspects of modularity, Picard number and rational points. Throughout we emphasise connections to geometry.
We give a large family of weighted projective planes, blown up at a smooth point, that do not have finitely generated Cox rings. We then use the method of Castravet and Tevelev to prove that the moduli space of stable n-pointed genus zero…
We discuss the problem of existence of rational curves on a certain del Pezzo surface from a computational point of view and suggest a computer algorithm implementing search. In particular, our computations reveal that the surface contains…
An algorithm due to Shioda computes the Picard number for certain surfaces which are defined by a single equation with exactly four monomials, called Delsarte surfaces. We consider this method for surfaces in weighted projective $3$-space…
Based on high precision computation of periods and lattice reduction techniques, we compute the Picard group of smooth surfaces. We also study the lattice reduction technique that is employed in order to quantify the possibility of…
We determine that the Chow ring (with ${\bf Q}$-coefficients) of the Hurwitz space parametrizing degree three covers of ${\bf P}^{1}$ is tautological. We also compute the rational Picard groups of auxiliary spaces of degree three maps with…
We extend the decoupling results of the first two authors to the case of real analytic surfaces of revolution in $\mathbb{R}^3$. New examples of interest include the torus and the perturbed cone.
Let X be a non-singular projective hypersurface of degree 4, which is defined over the rational numbers. Assume that X has dimension 39 or more, and that X contains a real point and p-adic points for every prime p. Then X is shown to…
Although it is well-known that the complex cobordism ring is a polynomial ring $\Omega_{*}^{U}\cong\mathbb{Z}\left[\alpha_{1},\alpha_{2},\ldots\right]$, an explicit description for convenient generators $\alpha_{1},\alpha_{2},\ldots$ has…