Related papers: Linear systems representing threefolds which are s…
We investigate the interplay between linear systems on curves and graphs in the context of specialization of divisors on an arithmetic surface. We also provide some applications of our results to graph theory, arithmetic geometry, and…
We study a family of birational maps of smooth affine quadric 3-folds, {over the complex numbers}, of the form $x_1x_4-x_2x_3=$ constant, which seems to have some (among many others) interesting/unexpected characters: a) they are…
A complex compact surface which carries an automorphism of positive topological entropy has been proved by Cantat to be either a torus, a K3 surface, an Enriques surface or a rational surface. Automorphisms of rational surfaces are quite…
We construct polylogarithms on families of pointed Riemann surfaces of any genus which describe monodromies of meromorphic connections with simple poles. Furthermore, we show that the polylogaritms are computable as power series in…
In this paper we provide, first, a general symbolic algorithm for computing the symmetries of a given rational surface, based on the classical differential invariants of surfaces, i.e. Gauss curvature and mean curvature. In practice, the…
In this article we describe a program -- called planar_draw -- to draw maps on oriented surfaces in the plane. The drawings are coded as tikz files that can easily be manipulated and used in latex documents. Next to plane maps -- a case for…
We present an algorithm that covers any given rational ruled surface with two rational parametrizations. In addition, we present an algorithm that transforms any rational surface parametrization into a new rational surface parametrization…
In this paper, we give a Zariski triple of the arrangements for a smooth quartic and its four bitangents. A key criterion to distinguish the topology of such curves is given by a matrix related to the height pairing of rational points…
We consider the rational linear relations between real numbers whose squared trigonometric functions have rational values, angles we call ``geodetic''. We construct a convenient basis for the vector space over Q generated by these angles.…
We present a method for computing projective isomorphisms between rational surfaces that are given in terms of their parametrizations. The main idea is to reduce the computation of such projective isomorphisms to five base cases by…
We give a linear-time algorithm to decide 3-colorability of a triangle-free graph embedded in a fixed surface, and a quadratic-time algorithm to output a 3-coloring in the affirmative case. The algorithms also allow to prescribe the…
We define a period map for classical Campedelli surfaces, using a covering trick as in the case of Enriques surfaces: the period map is shown to come from a family of Enriques surfaces, obtained as quotients of the Campedelli surface by an…
In planar algebras, we show how to project certain simple "quadratic" tangles onto the linear space spanned by "linear" and "constant" tangles. We obtain some corollaries about the principal graphs and annular structure of subfactors.
We propose a categorical framework to reason about scientific explanations: descriptions of a phenomenon meant to translate it into simpler terms, or into a context that has been already understood. Our motivating examples come from systems…
We prove that the linear system of hypersurfaces in P^3 of degree d, 14 <= d <= 40, with double, triple and quadruple points in general position are non-special. This solves the cases that have not been completed in a paper by E. Ballico…
This paper presents new examples of projective surfaces of general type over $\mathbb{C}$ with canonical map of degree $ 3 $ onto a surface of general type. Very few examples are known of such surfaces and some of the examples in this paper…
We present a moduli space for similar triangles, then classify triangle maps $f$ that arise from linear maps on this space, with the well-studied pedal map as a special case. Each linear triangle map admits a Markov partition, showing that…
To each del Pezzo surface (resp. ruled surface, ruled surface with a section), we describe a natural Lie algebra bundle of type E_n (resp. D_n, A_n) over it. Using lines and rulings on any such surface, we describe various representation…
In this survey we discuss the problem of the existence of rational curves on complex surfaces, both in the K\"ahler and non-K\"ahler setup. We systematically go through the Enriques--Kodaira classification of complex surfaces to highlight…
The ruled surface is a typical modeling surface in computer aided geometric design. It is usually given in the standard parametric form. However, it can also be in the forms than the standard one. For these forms, it is necessary to…