Related papers: K3 surfaces with real or complex multiplication
Mukai showed that projective models of Brill-Noether general polarized K3 surfaces of genus $6-10$ and $12$ are obtained as linear sections of projective homogeneous varieties, and that their hyperplane sections are Brill-Noether general…
Given a finite field k of characteristic at least 5, we show that the Tate conjecture holds for K3 surfaces defined over the algebraic closure of k if and only if there are only finitely many K3 surfaces over each finite extension of k.
Let $M$ be a smooth surface in $\mathbb R^3$ (or a complex surface in $\mathbb C^3$) and $k\geq 2$ be an integer. At any point on $M$ and for any plane in $\mathbb R^3$, we construct a holomorphic map-germ $(\mathbb C^2,0)\to(\mathbb…
We introduce a conjecture on homological mirror symmetry relating the symplectic topology of the complement of a smooth ample divisor in a K3 surface to algebraic geometry of type III degenerations, and prove it when the degree of the…
We investigate the construction of real analytic Levi-flat hypersurfaces in K3 surfaces. By taking images of real hyperplanes, one can construct such hypersurfaces in two-dimensional complex tori. We show that "almost every" K3 surfaces…
Artin's conjecture states that supersingular K3 surfaces over finite fields have Picard number 22. In this paper, we prove Artin's conjecture over fields of characteristic p>3. This implies Tate's conjecture for K3 surfaces over finite…
We prove the existence of $(20-2K^2)$-dimensional families of simply-connected surfaces with ample canonical class, $p_g=1$, and $1 \leq K^2 \leq 9$, and we study the relation with configurations of rational curves in K3 surfaces via…
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 under the hypotheses of Strominger, Yau and Zaslow's paper, a mirror partner of a K3 surface $X$ with a fibration in special Lagrangian tori can be obtained by rotating the complex structure of $X$ within its hyperk\"ahler…
We introduce a notion of highly Kummer-faithful fields and study its relationship with the notion of Kummer-faithful fields. We also give some examples of highly Kummer-faithful fields. For example, if $k$ is a number field of finite degree…
Let $h_{(m,k)}$ be the class number of $\mathbb{Q}(\sqrt{1-2m^k}).$ We prove that for any odd natural number $k,$ there exists $m_0$ such that $k \mid h_{(m,k)}$ for all odd $m > m_0.$ We also prove that for any odd $m \geq 3,$ $k \mid…
We develop a new method for constructing K3 surfaces. We construct such a K3 surface $X$ by patching two open complex surfaces obtained as the complements of tubular neighborhoods of elliptic curves embedded in blow-ups of the projective…
For $m=2$ and $m=3$ we prove that any connected, oriented, open manifold $M^m$ admits a simple branched covering map over $\mathbb{R}^m$. When $M$ has $k$ ends and $k$ is finite, the degree of the cover can be taken to be $mk$. Regardless…
We study a two-parameter family of K3 surfaces of (generic) Picard rank $18$ which is mirror to the $18$-dimensional family of elliptically fibered K3 surfaces with a section. Members of this family are given as compactifications of…
We determine all complete projective special real surfaces. By the supergravity r-map, they give rise to complete projective special K\"ahler manifolds of dimension 6, which are distinguished by the image of their scalar curvature function.…
Let $X$ be a normal crossing compact complex surface with triple points. We prove that there exists a family of smoothings of $X$ when $X$ satisfies suitable conditions. Since our differential geometric proof also includes the case where…
We construct an arithmetic period map for cubic fourfolds, in direct analogy with Rizov's work on K3 surfaces. For each $N\geq 1$, we introduce a Deligne-Mumford stack $\widetilde{\mathcal{C}^{[N]}}$ of cubic fourfolds with level structure…
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 show that a generic real projective n-dimensional hypersurface of degree 2n-1 contains "many" real lines, namely, not less than (2n-1)!!, which is approximately the square root of the number of complex lines. This estimate is based on…
Let k=F_q be a finite field of even characteristic. We obtain in this paper a complete classification, up to k-isomorphism, of non singular quartic plane curves defined over k. We find explicit rational normal models and we give closed…