Related papers: Point counting on $K3$ surfaces and an application…
A determination of the fixed components, base points and irregularity is made for arbitrary numerically effective divisors on any smooth projective rational surface having an effective anticanonical divisor. All of the results are proven…
In this paper, we study $\mathbb{A}^1$ curves on log K3 surfaces. We classify all genuine log K3 surfaces of type II which admits countably infinite $\mathbb{A}^1$ curves.
This paper presents a method for computing two-dimensional constant mean curvature surfaces. The method in question uses the variational aspect of the problem to implement an efficient algorithm. In principle it is a flow like method in…
Following recent works by E. Fuchs et al. and by the author, we study rational and integral points on Markoff-type K3 (MK3) surfaces, i.e., Wehler K3 surfaces of Markoff type. In particular, we construct a family of MK3 surfaces which have…
We give some methods for computing equations for certain Shimura curves, natural maps between them, and special points on them. We then illustrate these methods by working out several examples in varying degrees of detail. For instance, we…
We give a short proof of polynomial recurrence with large intersection for additive actions of finite-dimensional vector spaces over countable fields on probability spaces, improving upon the known size and structure of the set of strong…
We discuss different approaches for the enumeration of triangulated surfaces. In particular, we enumerate all triangulated surfaces with 9 and 10 vertices. We also show how geometric realizations of orientable surfaces with few vertices can…
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…
The family of complex projective surfaces in projective three space of degree $d$ having precisely $\delta$ nodes as their only singularities has codimension $\delta$ in the linear system of surfaces of degree $d$ for sufficiently large $d$…
We test R. van Luijk's method for computing the Picard group of a $K3$ surface. The examples considered are the resolutions of Kummer quartics in $\bP^3$. Using the theory of abelian varieties, in this case, the Picard group may be computed…
A new, simple method to approach enumerative questions about rational curves on rational surfaces is described. Applications include a short proof of Kontsevich's formula for plane curves and a the solution of the analogous problem for the…
Let $X$ be a hypersurface in $\mathbb{P}^N$ with $N\geq 3$ defined over a finite field. The main result of this note is the classification, up to projective equivalence, of hypersurfaces $X$ as above without a linear component when the…
The goal of this study is to provide a method for computing the following: Given a network of curves in 3d (satisfying a condition at the intersection points), compute efficiently a smooth surface such that the curves are geodesics on it.…
A study on the relation between the smooth structure of a symplectic homotopy K3 surface and its symplectic symmetries is initiated. A measurement of exoticness of a symplectic homotopy K3 surface is introduced, and the influence of an…
A K3 surface $X$ over a $p$-adic field $K$ is said to have good reduction if it admits a proper smooth model over the ring of integers of $K$. Assuming this, we say that a subgroup $G$ of $\mathrm{Aut}(X)$ is extendable if $X$ admits a…
Modeling electronic systems is an important application for quantum computers. In the context of materials science, an important open problem is the computational description of chemical reactions on surfaces. In this work, we outline a…
These notes will give an introduction to the theory of K3 surfaces. We begin with some general results on K3 surfaces, including the construction of their moduli space and some of its properties. We then move on to focus on the theory of…
A well-known and difficult problem in computational number theory and algebraic geometry is to write down equations for branched covers of algebraic curves with specified monodromy type. In this article, we present a technique for computing…
We study the good reduction modulo p of K3 surfaces with complex multiplication. If a K3 surface with complex multiplication has good reduction, we calculate the Picard number and the height of the formal Brauer group of the reduction.…
Given a rational projective parametrization $\cP(\ttt,\sss,\vvv)$ of a rational projective surface $\cS$ we present an algorithm such that, with the exception of a finite set (maybe empty) $\cB$ of projective base points of $\cP$,…