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

We give a certain method for computations of real regulator on K_1 of elliptic surfaces. We also give an examples of a regulator indecomposable element for an elliptic surface with an arbitrary large p_g.

Generalizing the well-known relations on characteristic functions on a plane to the case of a one-dimensional regular surface (curve) with compact support, we establish implicit equations for these functions. Introducing an approximation,…

Let $\mathcal{C}$ be a plane curve given by an equation $f(x,y)=0$ with $f\in K[x][y]$ a monic squarefree polynomial. We study the problem of computing an integral basis of the algebraic function field $K(\mathcal{C})$ and give new…

We verify that elliptic K3 surfaces and algebraic groups have many rational points over function fields, i.e., they are geometrically special in the sense of Javanpeykar-Rousseau. We also show that under additional assumptions, this…

This survey focuses on the computational complexity of some of the fundamental decision problems in 3-manifold theory. The article discusses the wide variety of tools that are used to tackle these problems, including normal and almost…

A finite semifield is a division algebra over a finite field where multiplication is not necessarily associative. We consider here the complexity of the multiplication in small semifields and finite field extensions. For this operation, the…

We investigate geometric properties of surfaces given by certain formulae. In particular, we calculate the singular curvature and the limiting normal curvature of such surfaces along the set of singular points consisting of singular points…

For any affine hypersurface defined by a complete symmetric polynomial in $k\geq 3$ variables of degree $m$ over the finite field $\mathbb{F}_{q}$ of $q$ elements, a special case of our theorem says that this hypersurface has at least…

The aim of these notes is to explain the remarkable formula found by Yau and Zaslow to express the number of rational curves on a K3 surface. Projective K3 surfaces fall into countably many families F(g) (g>0); a surface in F(g) admits a…

Let M be a Q-divisor on a smooth surface over C. In this paper we give criteria for very ampleness of the adjoint of the round-up of M. (Similar results for global generation were given by Ein and Lazarsfeld and used in their proof of…

Let $K$ be a number field. We show that, up to allowing a finite set of denominators in the partial quotients, it is possible to define algorithms for $\mathfrak P$-adic continued fractions satisfying the finiteness property on $K$ for…

We study a wide spectrum of incidence problems involving points and curves or points and surfaces in $\mathbb R^3$. The current (and in fact the only viable) approach to such problems, pioneered by Guth and Katz [2010,2015], requires a…

We give examples of smooth plane quartics over $\mathbb{Q}$ with complex multiplication over $\overline{\mathbb{Q}}$ by a maximal order with primitive CM type. We describe the required algorithms as we go, these involve the reduction of…

Quadratic residue patterns modulo a prime are studied since 19th century. In the first part we extend existing results on the number of consecutive $\ell$-tuples of quadratic residues, studying corresponding algebraic curves and their…

Totally real surfaces in the nearly K\"ahler $\mathbb{C}P^3$ are investigated and are completely classified under various additional assumptions, resulting in multiple new examples. Among others, the classification includes totally real…

For a real K3-surface $X$, one can introduce areas of connected components of the real point set $\mathbb{R} X$ of $X$ using a holomorphic symplectic form of $X$. These areas are defined up to simultaneous multiplication by a positive real…

We show that Mukai's classification of finite groups which may act symplectically on a complex K3 surface extends to positive characteristic $p$ under the assumptions that (i) the order of the group is coprime to $p$ and (ii) either the…

An overview of computational methods to describe high-dimensional potential energy surfaces suitable for atomistic simulations is given. Particular emphasis is put on accuracy, computability, transferability and extensibility of the methods…

For an algebraic K3 surface with complex multiplication (CM), algebraic fibres of the associated twistor space away from the equator are again of CM type. In this paper, we show that algebraic fibres corresponding to points at the same…

We study the behavior of geometric Picard ranks of K3 surfaces over the rationals under reduction modulo primes. We compute these ranks for reductions of smooth quartic surfaces modulo all primes $p<2^{16}$ in several representative…