Related papers: Presque toute surface K3 contient une infinit\'e d…

We analyze the structure of simply-connected Enriques surface in characteristic two whose K3-like covering is normal, building on the work of Ekedahl, Hyland and Shepherd-Barron. We develop general methods to construct such surfaces and the…

We compute Coxeter diagrams of several ``large'' reflective even 2-elementary hyperbolic lattices and their maximal parabolic subdiagrams, and give some applications of these results to the theory of K3 surfaces and hyperkahler varieties.

We study complex algebraic K3 surfaces of Picard ranks 11,12, and 13 of finite automorphism group that admit a Jacobian elliptic fibration with a section of order two. We prove that the K3 surfaces admit a birational model isomorphic to a…

Let $X$ be a K3 surface defined over a number field $K$. Assume that $X$ admits a structure of an elliptic fibration or an infinite group of automorphisms. Then there exists a finite extension $K'/K$ such that the set of $K'$-rational…

We provide methods to construct explicit examples of $K3$ surfaces. This leads to unirational constructions of Noether--Lefschetz divisors inside the moduli space of $K3$ surfaces of genus $g$. We implement Mukai's unirationality…

Compact hyperkaehler manifolds are higher-dimensional generalizations of K3 surfaces. The classical Global Torelli theorem for K3 surfaces, however, does not hold in higher dimensions. More precisely, a compact hyperkaehler manifold is in…

We give a geometric characterization of certain hypersurfaces of cohomogeneity one in the complex projective and hyperbolic planes. We also obtain some partial classifications of austere hypersurfaces and of Levi-flat hypersurfaces with…

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…

We report on a new approach, as well as some related experiments, to construct families of K3 surfaces having real or complex multiplication. The approach is based on an explicit description of the transcendental part of the cohomology in a…

The main goal of this work is to prove that a very generic surface of degree at least 21 in complex projective 3-dimensional space is hyperbolic in the sense of Kobayashi. This means that every entire holomorphic map $f:{\Bbb C} \to X$ to…

Objects with large symmetry groups have been an interest for many mathematicians. A classical question in geometry is whether a surface with certain geometric features, such as completeness, curvature, etc..., can embed in $\mathbb{R}^3.$…

We show the finiteness of the N\'eron-Severi lattices of complex projective K3 surfaces whose automorphism groups are non-elementary hyperbolic with explicit descriptions, under the assumption that the Picard number $\ge 6$ which is optimal…

We give a constructive proof of the Hodge conjecture for complex $K3$ surfaces that does not rely on Torelli-type results. Starting with an arbitrary rational $(1,1)$-class $\alpha\in H^{1,1}(X,\mathbb{Q})$, we algorithmically build a…

We study the cohomological properties of quasi-canonical lifts of an ordinary K3 surface over a finite field. As applications, we prove a Torelli type theorem for ordinary K3 surfaces over finite fields and establish the Hodge conjecture…

Using toric geometry, lattice theory, and elliptic surface techniques, we compute the Picard Lattice of certain K3 surfaces. In particular, we examine the generic member of each of M. Reid's list of 95 families of Gorenstein K3 surfaces…

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

Using the theory of holes of the Leech lattice and Borcherds method for the computation of the automorphism group of a K3 surface, we give an effective bound for the set of isomorphism classes of projective models of fixed degree for…

In response to a question of Reid, we find all anti-canonical Calabi-Yau hypersurfaces $X$ in toric weighted projective bundles over the projective line where the general fiber is a weighted K3 hypersurface. This gives a direct…

We develop a mixed-characteristic version of the Mori-Mukai technique for producing rational curves on K3 surfaces. We reduce modulo p, produce rational curves on the resulting K3 surface over a finite field, and lift to characteristic…

The purpose of this article is to classify the real hypersurfaces in complex space forms of dimension 2 that are both Levi-flat and minimal. The main results are as follows: When the curvature of the complex space form is nonzero, there is…