Related papers: Non-projective K3 surfaces with real or Salem mult…
The endomorphism algebra of a K3 type Hodge structure is a totally real field or a CM field. In this paper we give a low brow introduction to the case of a totally real field. We give existence results for the Hodge structures, for their…
Let $E$ be a totally real number field of degree $d$ and let $m \geqslant 3$ be an integer. We show that if $md \leqslant 21$ then there exists an $(m-2)$-dimensional family of complex projective $K3$ surfaces with real multiplication by…
The aim of these notes is to acquaint the reader with important objects in complex algebraic geometry: K3 surfaces and their higher-dimensional analogs, hyperk\"ahler manifolds. These manifolds are interesting from several points of view:…
For families of $K3$ surfaces, we establish a sufficient criterion for real or complex multiplication. Our criterion is arithmetic in nature. It may show, at first, that the generic fibre of the family has a nontrivial endomorphism field.…
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…
We study K3 surfaces with a pair of commuting involutions that are non-symplectic with respect to two anti-commuting complex structures that are determined by a hyper-K\"ahler metric. One motivation for this paper is the role of such…
In this paper we give a general construction of transcendental lattices for K3 surfaces with real multiplication by arbitrary field up to degree 6 along with formula for their discriminants. We also show that all simple Abelian fourfolds…
Arithmetic of K3 surfaces defined over finite fields is investigated. In particular, we show that any K3 surface of finite height over a finite field k of characteristic p > 3 has a quasi-canonical lifting to characteristic 0, and that for…
Using the theory of totally real number fields we construct a new class of compact complex non-K{\"a}hler manifolds in every even complex dimension and study their analytic and geometric properties.
For a real algebraic K3 surface $X(R)$, we give all possible values of the dimension $h^1_{alg}(X(R)$ of the group $\H^1_{alg}(X(R),Z/2)$ of algebraic cycles of $X(R)$. In particular, we prove that if $X(R)$ is not an M-surface, $X(R)$ can…
We exhibit large families of K3 surfaces with real multiplication, both abstractly using lattice theory, the Torelli theorem and the surjectivity of the period map, as well as explicitly using dihedral covers and isogenies.
We classify quadratic spaces over endomorphism fields of K3 surfaces. We consider both totally real and CM cases.
The aim of this paper is twofold. First of all, we confirm a few basic criteria of the finiteness of real forms of a given smooth complex projective variety, in terms of the Galois cohomology set of the discrete part of the automorphism…
Based on the result on derived categories on K3 surfaces due to Mukai and Orlov and the result concerning almost-prime numbers due to Iwaniec, we remark the following fact: For any given positive integer N, there are N (mutually…
We report on our project to find explicit examples of $K3$ surfaces having real or complex multiplication. Our strategy is to search through the arithmetic consequences of RM and CM. In order to do this, an efficient method is needed for…
We investigate the interplay between the moduli spaces of ample <2>-polarized IHS manifolds of type K3^[2] and of IHS manifolds of type K3^[2] with a nonsymplectic involution with invariant lattice of rank one. In particular we…
We consider real forms of relatively minimal rational surfaces F_m. Connected components of moduli of real non-singular curves in |-2K_{F_m}| had been classified recently for m=0, 1, 4 in math.AG/0312396. Applying similar methods, here we…
By restricting to (a linear subspace of) an affine chart in projective space, a complex stably rational or unirational manifold of dimension $m$ is meromorphically dominable by $\mathbb C^m$, i.e., admits a meromorphic dominating map from…
We study the geometry underlying the difference between non-negative polynomials and sums of squares. The hypersurfaces that discriminate these two cones for ternary sextics and quaternary quartics are shown to be Noether-Lefschetz loci of…
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…