Related papers: Counting Lines with Vinberg's algorithm

We test the methods for computing the Picard group of a $K3$ surface in a situation of high rank. The examples chosen are resolutions of quartics in $\bP^3$ having 14 singularities of type $A_1$. Our computations show that the method of R.…

We prove a correspondence theorem for singular tropical surfaces in real three space, which recovers singular algebraic surfaces in an appropriate toric three-fold that tropicalize to a given singular tropical surface. Furthermore, we…

Over an algebraically closed field k, there are 16 lines on a degree 4 del Pezzo surface, but for other fields the situation is more subtle. In order to improve enumerative results over perfect fields, Kass and Wickelgren introduce a method…

We enumerate the singular algebraic curves in a complete linear system on a smooth projective surface. The system must be suitably ample in a rather precise sense. The curves may have up to eight nodes, or a triple point of a given type and…

For each $1\leq n\leq6$ we present formulas for the number of $n-$nodal curves in an $n-$dimensional linear system on a smooth, projective surface. This yields in particular the numbers of rational curves in the system of hyperplane…

The paper establishes a correspondence relating two specific classes of complex algebraic K3 surfaces. The first class consists of K3 surfaces polarized by the rank-sixteen lattice H+E_7+E_7. The second class consists of K3 surfaces…

Let K be a field of characteristic 2. We give a geometric proof that there are no smooth quartic surfaces in IP^3 with more than 64 lines (predating work of Degtyarev which improves this bound to 60). We also exhibit a smooth quartic…

The aim of this paper is to describe algebraic K3 surfaces with an even set of rational curves or of nodes. Their minimal possible Picard number is nine. We completely classify these K3 surfaces and after a carefull analysis of the divisors…

We study the projective models of complex K3 surfaces polarized by a line bundle L such that all smooth curves in |L| have non-general Clifford index. Such models are in a natural way contained in rational normal scrolls. We use this study…

In [BN] the authors construct a special complex of degree 20 over M, which for an open three dimensional set parametrizes smooth complex surfaces of degree four invariant which are Heisenberg invariant and each member of the family contains…

We determine all posible orders of automorphisms of finite order of complex K3 surfaces or of K3 surfaces in characteristic $p>3$. E.g., a positive integer $N$ is the order of an automorphism of a complex K3 surface if and only if…

We study spaces of lines that meet a smooth hypersurface X in P^n to high order. As an application, we give a polynomial upper bound on the number of planes contained in a smooth degree d hypersurface in P^5 and provide a proof of a result…

We show that on graphs with n vertices, the 2-dimensional Weisfeiler-Leman algorithm requires at most O(n^2/log(n)) iterations to reach stabilization. This in particular shows that the previously best, trivial upper bound of O(n^2) is…

We explain how to use the computer algebra system OSCAR to find all elliptic fibrations (up to automorphism) on a given surface and compute their Weierstrass models. This is illustrated for Vinberg's most algebraic K3 surface, the unique K3…

We develop a technique to study curves in a variety which has a degeneration into some union of varieties. The class of such varieties is very broad, but the theory becomes particularly useful when the variety has a degeneration into a…

We say that a line in $\mathbb P^{n+1}_k$ is osculating to a hypersurface $Y$ if they meet with contact order $n+1$. When $k=\mathbb C$, it is known that through a fixed point of $Y$, there are exactly $n!$ of such lines. Under some parity…

In each characteristic $p\neq 2, 3$, it was shown in a previous work that the order of an automorphism of a K3 surface is bounded by 66, if finite. Here, it is shown that in each characteristic $p\neq 2, 3$ a K3 surface with a cyclic action…

We construct, on a supersingular K3 surface with Artin invariant 1 in characteristic 2, a set of 21 disjoint smooth rational curves and another set of 21 disjoint smooth rational curves such that each curve in one set intersects exactly 5…

Let X be a complex algebraic K3 surface or a supersingular K3 surface in odd characteristic. We present an algorithm by which, under certain assumptions on X, we can calculate a finite set of generators of the image of the natural…

We enrich the classical count that there are two complex lines meeting four lines in space to an equality of isomorphism classes of bilinear forms. For any field $k$, this enrichment counts the number of lines meeting four lines defined…