Related papers: Point counting on $K3$ surfaces and an application…

Let $\mathbb{R}$ be the field of real numbers. We consider the problem of computing the real isolated points of a real algebraic set in $\mathbb{R}^n$ given as the vanishing set of a polynomial system. This problem plays an important role…

We construct a lot of K3 surface automorphisms of positive entropy having rotation domains of ranks 1 and 2. To carry out this construction, we first lay theoretical foundations concerning equivariant linearization of nonlinear maps under…

We introduce certain rational functions on a smooth projective surface X in IP^3 which facilitate counting the lines on X. We apply this to smooth quintics in characteristic zero to prove that they contain no more than 127 lines, and that…

We explain how the current knowledge on the set of complete noncompact constant mean curvature surfaces can be exploited to produce new examples of compact constant mean curvature surfaces of genus greater than or equal to 3.

We outline a method to compute rational models for the Hilbert modular surfaces Y_{-}(D), which are coarse moduli spaces for principally polarized abelian surfaces with real multiplication by the ring of integers in Q(sqrt{D}), via moduli…

We introduce new rounding methods to improve the accuracy of finite precision quantum arithmetic. These quantum rounding methods are applicable when multiple samples are being taken from a quantum program. We show how to use multiple…

We characterize all projective K3 surfaces on which every integral pseudoeffective divisor admits an integral Zariski decomposition, using an explicit, terminating finite-step algorithm.

In general, not much is known about the arithmetic of K3 surfaces. Once the geometric Picard number, which is the rank of the Neron-Severi group over an algebraic closure of the base field, is high enough, more structure is known and more…

We study the curvature of a smooth algebraic surface $X\subset \mathbb R^3$ of degree $d$ from the point of view of algebraic geometry. More precisely, we consider umbilical points and points of critical curvature. We prove that the number…

We classify quadratic spaces over endomorphism fields of K3 surfaces. We consider both totally real and CM cases.

We prove a variant of the reciprocity laws for CM abelian varieties, CM K3 surfaces, and CM points on Shimura varieties. Given a CM object over the complex numbers, our variation describes the set of all models over a given number field $F$…

Let $k$ be a finite field extension of the function field $\bfF_p(T)$ and $\bar{k}$ its algebraic closure. We count points in projective space $\Bbb P ^{n-1}(\bar{k})$ with given height and of fixed degree $d$ over the field $k$. If…

We shall give, in an optimal form, a sufficient numerical condition for the finiteness of the fundamental group of the smooth locus of a normal K3 surface. We shall moreover prove that, if the normal K3 surface is elliptic and the above…

For a family of K3 surfaces we implement a variation of a general construction of towers of algebraic curves over finite fields given in a previous paper. As a result we get a good tower over $k=\mathbb{F}_{p^2}$, that is optimal if $p=3$.

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…

The purpose of this paper is to present simple and fast methods for computing control points for polynomial curves and polynomial surfaces given explicitly in terms of polynomials (written as sums of monomials). We give recurrence formulae…

We present a simple, accurate method for computing singular or nearly singular integrals on a smooth, closed surface, such as layer potentials for harmonic functions evaluated at points on or near the surface. The integral is computed with…

Point containment queries on trimmed surfaces are fundamental to CAD modeling, solid geometry processing, and surface tessellation. Existing approaches such as ray casting and generalized winding numbers often face limitations in robustness…

We complete the remaining cases of the conjecture predicting existence of infinitely many rational curves on K3 surfaces in characteristic zero, prove almost all cases in positive characteristic and improve the proofs of the previously…

We give examples of non-isotrivial K3 surfaces over complex function fields with Zariski-dense rational points and N'eron-Severi rank one.